blob: 6878d18edae55b1979e3c3b33f92e6101cfdd628 [file] [log] [blame]
Patrick Venture863b9242018-03-08 08:29:23 -08001/**
2 * Copyright 2017 Google Inc.
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
Pete O_o765a6d82025-07-23 21:44:14 -070016#include "config.h"
Jonico Eustaquioaf97d8e2024-01-02 14:35:07 -060017
Patrick Ventureda4a5dd2018-08-31 09:42:48 -070018#include "dbuspassive.hpp"
19
Ed Tanousf8b6e552025-06-27 13:27:50 -070020#include "conf.hpp"
Patrick Ventureaadb30d2020-08-10 09:17:11 -070021#include "dbushelper_interface.hpp"
James Feist98b704e2019-06-03 16:24:53 -070022#include "dbuspassiveredundancy.hpp"
Patrick Ventureaadb30d2020-08-10 09:17:11 -070023#include "dbusutil.hpp"
James Zheng6df8bb52024-11-27 23:38:47 +000024#include "failsafeloggers/failsafe_logger_utility.hpp"
Ed Tanousf8b6e552025-06-27 13:27:50 -070025#include "interfaces.hpp"
James Feist0c8223b2019-05-08 15:33:33 -070026#include "util.hpp"
Patrick Ventureda4a5dd2018-08-31 09:42:48 -070027
Ed Tanousf8b6e552025-06-27 13:27:50 -070028#include <systemd/sd-bus.h>
29
Patrick Venturea83a3ec2020-08-04 09:52:05 -070030#include <sdbusplus/bus.hpp>
Ed Tanousf8b6e552025-06-27 13:27:50 -070031#include <sdbusplus/message.hpp>
Patrick Venturea83a3ec2020-08-04 09:52:05 -070032
Patrick Venture863b9242018-03-08 08:29:23 -080033#include <chrono>
34#include <cmath>
Ed Tanousf8b6e552025-06-27 13:27:50 -070035#include <cstdint>
36#include <exception>
37#include <limits>
38#include <map>
Patrick Venture0ef1faf2018-06-13 12:50:53 -070039#include <memory>
Patrick Venture863b9242018-03-08 08:29:23 -080040#include <mutex>
Ed Tanousf8b6e552025-06-27 13:27:50 -070041#include <set>
Patrick Venture0ef1faf2018-06-13 12:50:53 -070042#include <string>
Ed Tanousf8b6e552025-06-27 13:27:50 -070043#include <utility>
James Feist1f802f52019-02-08 13:51:43 -080044#include <variant>
Patrick Venture863b9242018-03-08 08:29:23 -080045
James Zheng6df8bb52024-11-27 23:38:47 +000046#include "failsafeloggers/failsafe_logger.cpp"
47
Patrick Venturea0764872020-08-08 07:48:43 -070048namespace pid_control
49{
50
Patrick Venture563a3562018-10-30 09:31:26 -070051std::unique_ptr<ReadInterface> DbusPassive::createDbusPassive(
Patrick Williamsb228bc32022-07-22 19:26:56 -050052 sdbusplus::bus_t& bus, const std::string& type, const std::string& id,
Patrick Venture8729eb92020-08-10 10:38:44 -070053 std::unique_ptr<DbusHelperInterface> helper, const conf::SensorConfig* info,
James Feist98b704e2019-06-03 16:24:53 -070054 const std::shared_ptr<DbusPassiveRedundancy>& redundancy)
Patrick Venture0ef1faf2018-06-13 12:50:53 -070055{
56 if (helper == nullptr)
57 {
58 return nullptr;
59 }
Patrick Venture7af157b2018-10-30 11:24:40 -070060 if (!validType(type))
Patrick Venture0ef1faf2018-06-13 12:50:53 -070061 {
62 return nullptr;
63 }
64
Patrick Venture863b9242018-03-08 08:29:23 -080065 /* Need to get the scale and initial value */
Patrick Venture863b9242018-03-08 08:29:23 -080066 /* service == busname */
Harvey.Wuf2efcbb2022-02-09 10:24:30 +080067 std::string path;
68 if (info->readPath.empty())
69 {
70 path = getSensorPath(type, id);
71 }
72 else
73 {
74 path = info->readPath;
75 }
Patrick Venture34ddc902018-10-30 11:05:17 -070076
Patrick Venture1df9e872020-10-08 15:35:01 -070077 SensorProperties settings;
Patrick Venturef8cb4642018-10-30 12:02:53 -070078 bool failed;
Eric Yang3bfece82025-08-26 10:20:01 +000079 bool objectMissing = false;
Eric Yang897f31c2025-05-16 20:40:56 +080080 std::string service;
Patrick Venture863b9242018-03-08 08:29:23 -080081
Patrick Venturef8cb4642018-10-30 12:02:53 -070082 try
83 {
Eric Yang897f31c2025-05-16 20:40:56 +080084 service = helper->getService(sensorintf, path);
Patrick Venturef8cb4642018-10-30 12:02:53 -070085 }
86 catch (const std::exception& e)
87 {
Chaul Lya552fe22024-11-15 10:20:28 +000088#ifndef HANDLE_MISSING_OBJECT_PATHS
Patrick Venturef8cb4642018-10-30 12:02:53 -070089 return nullptr;
Chaul Lya552fe22024-11-15 10:20:28 +000090#else
91 // CASE1: The sensor is not on DBus, but as it is not in the
92 // MissingIsAcceptable list, the sensor should be built with a failed
93 // state to send the zone to failsafe mode. Everything will recover if
94 // all important sensors are back to DBus. swampd will be informed
95 // through InterfacesAdded signals and the sensors will be built again.
96
Eric Yang897f31c2025-05-16 20:40:56 +080097 // CASE2: The sensor is on D-Bus (getService succeeds) but getProperties
98 // fails (e.g., D-Bus error or property fetch failure). In this case,
99 // handle-missing-object-paths does not apply. The sensor build fails,
100 // and the control loop will keep restarting until getProperties
101 // succeeds.
Chaul Lya552fe22024-11-15 10:20:28 +0000102
Eric Yang897f31c2025-05-16 20:40:56 +0800103 // Only CASE1 may send the zone to failsafe mode if the sensor is not
104 // in MissingIsAcceptable. CASE2 results in continuous restart until
105 // recovery.
Chaul Lya552fe22024-11-15 10:20:28 +0000106
107 failed = true;
Eric Yang3bfece82025-08-26 10:20:01 +0000108 objectMissing = true;
Chaul Lya552fe22024-11-15 10:20:28 +0000109 settings.value = std::numeric_limits<double>::quiet_NaN();
110 settings.unit = getSensorUnit(type);
111 settings.available = false;
Eric Yang897f31c2025-05-16 20:40:56 +0800112 settings.unavailableAsFailed = true;
113 if (info->ignoreDbusMinMax)
114 {
115 settings.min = 0;
116 settings.max = 0;
117 }
Chaul Lya552fe22024-11-15 10:20:28 +0000118 std::cerr << "DbusPassive: Sensor " << path
119 << " is missing from D-Bus, build this sensor as failed\n";
Eric Yang897f31c2025-05-16 20:40:56 +0800120 return std::make_unique<DbusPassive>(
Eric Yang3bfece82025-08-26 10:20:01 +0000121 bus, type, id, std::move(helper), settings, failed, objectMissing,
122 path, redundancy);
Chaul Lya552fe22024-11-15 10:20:28 +0000123#endif
Patrick Venturef8cb4642018-10-30 12:02:53 -0700124 }
125
Eric Yang897f31c2025-05-16 20:40:56 +0800126 try
127 {
128 helper->getProperties(service, path, &settings);
129 failed = helper->thresholdsAsserted(service, path);
130 }
131 catch (const std::exception& e)
132 {
133 return nullptr;
134 }
135
Patrick Venture6b9f5992019-09-10 09:18:28 -0700136 /* if these values are zero, they're ignored. */
137 if (info->ignoreDbusMinMax)
138 {
139 settings.min = 0;
140 settings.max = 0;
141 }
142
Alex.Song8f73ad72021-10-07 00:18:27 +0800143 settings.unavailableAsFailed = info->unavailableAsFailed;
144
Eric Yang3bfece82025-08-26 10:20:01 +0000145 return std::make_unique<DbusPassive>(
146 bus, type, id, std::move(helper), settings, failed, objectMissing, path,
147 redundancy);
Patrick Venturef8cb4642018-10-30 12:02:53 -0700148}
149
James Feist98b704e2019-06-03 16:24:53 -0700150DbusPassive::DbusPassive(
Patrick Williamsb228bc32022-07-22 19:26:56 -0500151 sdbusplus::bus_t& bus, const std::string& type, const std::string& id,
Patrick Venture8729eb92020-08-10 10:38:44 -0700152 std::unique_ptr<DbusHelperInterface> helper,
Eric Yang3bfece82025-08-26 10:20:01 +0000153 const SensorProperties& settings, bool failed, bool objectMissing,
154 const std::string& path,
James Feist98b704e2019-06-03 16:24:53 -0700155 const std::shared_ptr<DbusPassiveRedundancy>& redundancy) :
Patrick Williamsbd63bca2024-08-16 15:21:10 -0400156 ReadInterface(), _signal(bus, getMatch(path), dbusHandleSignal, this),
Eric Yang3bfece82025-08-26 10:20:01 +0000157 _id(id), _helper(std::move(helper)), _failed(failed),
158 _objectMissing(objectMissing), path(path), redundancy(redundancy)
James Feist98b704e2019-06-03 16:24:53 -0700159
Patrick Venturef8cb4642018-10-30 12:02:53 -0700160{
Patrick Venture863b9242018-03-08 08:29:23 -0800161 _scale = settings.scale;
Josh Lehan3e2f7582020-09-20 22:06:03 -0700162 _min = settings.min * std::pow(10.0, _scale);
163 _max = settings.max * std::pow(10.0, _scale);
Alex.Song8f73ad72021-10-07 00:18:27 +0800164 _available = settings.available;
165 _unavailableAsFailed = settings.unavailableAsFailed;
Josh Lehan3e2f7582020-09-20 22:06:03 -0700166
167 // Cache this type knowledge, to avoid repeated string comparison
168 _typeMargin = (type == "margin");
Alex.Song8f73ad72021-10-07 00:18:27 +0800169 _typeFan = (type == "fan");
Josh Lehan3e2f7582020-09-20 22:06:03 -0700170
171 // Force value to be stored, otherwise member would be uninitialized
172 updateValue(settings.value, true);
Patrick Venture863b9242018-03-08 08:29:23 -0800173}
174
175ReadReturn DbusPassive::read(void)
176{
177 std::lock_guard<std::mutex> guard(_lock);
178
Josh Lehanb3005752022-02-22 20:48:07 -0800179 ReadReturn r = {_value, _updated, _unscaled};
Patrick Venture863b9242018-03-08 08:29:23 -0800180
181 return r;
182}
183
Josh Lehanb3005752022-02-22 20:48:07 -0800184void DbusPassive::setValue(double value, double unscaled)
Patrick Venture863b9242018-03-08 08:29:23 -0800185{
186 std::lock_guard<std::mutex> guard(_lock);
187
188 _value = value;
Josh Lehanb3005752022-02-22 20:48:07 -0800189 _unscaled = unscaled;
Patrick Venture863b9242018-03-08 08:29:23 -0800190 _updated = std::chrono::high_resolution_clock::now();
191}
192
Josh Lehanb3005752022-02-22 20:48:07 -0800193void DbusPassive::setValue(double value)
194{
195 // First param is scaled, second param is unscaled, assume same here
196 setValue(value, value);
197}
198
James Feist36b7d8e2018-10-05 15:39:01 -0700199bool DbusPassive::getFailed(void) const
200{
James Feist98b704e2019-06-03 16:24:53 -0700201 if (redundancy)
202 {
203 const std::set<std::string>& failures = redundancy->getFailed();
204 if (failures.find(path) != failures.end())
205 {
James Zheng6df8bb52024-11-27 23:38:47 +0000206 outputFailsafeLogWithSensor(_id, true, _id,
207 "The sensor path is marked redundant.");
James Feist98b704e2019-06-03 16:24:53 -0700208 return true;
209 }
210 }
James Feist4b36f262020-07-07 16:56:41 -0700211
Alex.Song8f73ad72021-10-07 00:18:27 +0800212 /*
Eric Yang3bfece82025-08-26 10:20:01 +0000213 * If handle-missing-object-paths is enabled, and the expected D-Bus object
214 * path is not exported, this sensor is created to represent that condition.
215 * Indicate this sensor has failed so the zone enters failSafe mode.
216 */
217 if (_objectMissing)
218 {
219 outputFailsafeLogWithSensor(_id, true, _id,
220 "The sensor D-Bus object is missing.");
221 return true;
222 }
223
224 /*
Alex.Song8f73ad72021-10-07 00:18:27 +0800225 * Unavailable thermal sensors, who are not present or
226 * power-state-not-matching, should not trigger the failSafe mode. For
227 * example, when a system stays at a powered-off state, its CPU Temp
228 * sensors will be unavailable, these unavailable sensors should not be
229 * treated as failed and trigger failSafe.
230 * This is important for systems whose Fans are always on.
231 */
232 if (!_typeFan && !_available && !_unavailableAsFailed)
233 {
234 return false;
235 }
236
Josh Lehan3e2f7582020-09-20 22:06:03 -0700237 // If a reading has came in,
238 // but its value bad in some way (determined by sensor type),
239 // indicate this sensor has failed,
240 // until another value comes in that is no longer bad.
241 // This is different from the overall _failed flag,
242 // which is set and cleared by other causes.
243 if (_badReading)
244 {
James Zheng6df8bb52024-11-27 23:38:47 +0000245 outputFailsafeLogWithSensor(_id, true, _id,
246 "The sensor has bad readings.");
Josh Lehan3e2f7582020-09-20 22:06:03 -0700247 return true;
248 }
249
250 // If a reading has came in, and it is not a bad reading,
251 // but it indicates there is no more thermal margin left,
252 // that is bad, something is wrong with the PID loops,
253 // they are not cooling the system, enable failsafe mode also.
254 if (_marginHot)
255 {
James Zheng6df8bb52024-11-27 23:38:47 +0000256 outputFailsafeLogWithSensor(_id, true, _id,
257 "The sensor has no thermal margin left.");
Josh Lehan3e2f7582020-09-20 22:06:03 -0700258 return true;
259 }
260
James Zheng6df8bb52024-11-27 23:38:47 +0000261 if (_failed)
262 {
263 outputFailsafeLogWithSensor(
264 _id, true, _id, "The sensor has failed with a critical issue.");
265 return true;
266 }
267
268 if (!_available)
269 {
270 outputFailsafeLogWithSensor(_id, true, _id,
271 "The sensor is unavailable.");
272 return true;
273 }
274
275 if (!_functional)
276 {
277 outputFailsafeLogWithSensor(_id, true, _id,
278 "The sensor is not functional.");
279 return true;
280 }
281
282 outputFailsafeLogWithSensor(_id, false, _id, "The sensor has recovered.");
283
284 return false;
James Feist36b7d8e2018-10-05 15:39:01 -0700285}
286
Harvey Wua4270072024-05-29 16:11:13 +0800287std::string DbusPassive::getFailReason(void) const
288{
Eric Yang3bfece82025-08-26 10:20:01 +0000289 if (_objectMissing)
290 {
291 return "Sensor D-Bus object missing";
292 }
Harvey Wua4270072024-05-29 16:11:13 +0800293 if (_badReading)
294 {
295 return "Sensor reading bad";
296 }
297 if (_marginHot)
298 {
299 return "Margin hot";
300 }
301 if (_failed)
302 {
303 return "Sensor threshold asserted";
304 }
305 if (!_available)
306 {
307 return "Sensor unavailable";
308 }
309 if (!_functional)
310 {
311 return "Sensor not functional";
312 }
313 return "Unknown";
314}
315
James Feist36b7d8e2018-10-05 15:39:01 -0700316void DbusPassive::setFailed(bool value)
317{
318 _failed = value;
319}
320
James Feist4b36f262020-07-07 16:56:41 -0700321void DbusPassive::setFunctional(bool value)
322{
323 _functional = value;
324}
325
Alex.Song8f73ad72021-10-07 00:18:27 +0800326void DbusPassive::setAvailable(bool value)
327{
328 _available = value;
329}
330
Patrick Venture863b9242018-03-08 08:29:23 -0800331int64_t DbusPassive::getScale(void)
332{
333 return _scale;
334}
335
Patrick Venture563a3562018-10-30 09:31:26 -0700336std::string DbusPassive::getID(void)
Patrick Venture863b9242018-03-08 08:29:23 -0800337{
338 return _id;
339}
340
James Feist75eb7692019-02-25 12:50:02 -0800341double DbusPassive::getMax(void)
342{
343 return _max;
344}
345
346double DbusPassive::getMin(void)
347{
348 return _min;
349}
350
Josh Lehan3e2f7582020-09-20 22:06:03 -0700351void DbusPassive::updateValue(double value, bool force)
352{
353 _badReading = false;
354
355 // Do not let a NAN, or other floating-point oddity, be used to update
356 // the value, as that indicates the sensor has no valid reading.
357 if (!(std::isfinite(value)))
358 {
359 _badReading = true;
360
361 // Do not continue with a bad reading, unless caller forcing
362 if (!force)
363 {
364 return;
365 }
366 }
367
368 value *= std::pow(10.0, _scale);
369
370 auto unscaled = value;
371 scaleSensorReading(_min, _max, value);
372
373 if (_typeMargin)
374 {
375 _marginHot = false;
376
377 // Unlike an absolute temperature sensor,
378 // where 0 degrees C is a good reading,
379 // a value received of 0 (or negative) margin is worrisome,
380 // and should be flagged.
381 // Either it indicates margin not calculated properly,
382 // or somebody forgot to set the margin-zero setpoint,
383 // or the system is really overheating that much.
384 // This is a different condition from _failed
385 // and _badReading, so it merits its own flag.
386 // The sensor has not failed, the reading is good, but the zone
387 // still needs to know that it should go to failsafe mode.
388 if (unscaled <= 0.0)
389 {
390 _marginHot = true;
391 }
392 }
393
Josh Lehanb3005752022-02-22 20:48:07 -0800394 setValue(value, unscaled);
Josh Lehan3e2f7582020-09-20 22:06:03 -0700395}
396
Patrick Williamsb228bc32022-07-22 19:26:56 -0500397int handleSensorValue(sdbusplus::message_t& msg, DbusPassive* owner)
Patrick Venture863b9242018-03-08 08:29:23 -0800398{
Patrick Venture863b9242018-03-08 08:29:23 -0800399 std::string msgSensor;
James Feist1f802f52019-02-08 13:51:43 -0800400 std::map<std::string, std::variant<int64_t, double, bool>> msgData;
Patrick Ventured0c75662018-06-12 19:03:21 -0700401
402 msg.read(msgSensor, msgData);
Patrick Venture863b9242018-03-08 08:29:23 -0800403
404 if (msgSensor == "xyz.openbmc_project.Sensor.Value")
405 {
406 auto valPropMap = msgData.find("Value");
407 if (valPropMap != msgData.end())
408 {
Patrick Williamsbd63bca2024-08-16 15:21:10 -0400409 double value =
410 std::visit(VariantToDoubleVisitor(), valPropMap->second);
Patrick Venture863b9242018-03-08 08:29:23 -0800411
Josh Lehan3e2f7582020-09-20 22:06:03 -0700412 owner->updateValue(value, false);
Patrick Venture863b9242018-03-08 08:29:23 -0800413 }
414 }
James Feist36b7d8e2018-10-05 15:39:01 -0700415 else if (msgSensor == "xyz.openbmc_project.Sensor.Threshold.Critical")
416 {
417 auto criticalAlarmLow = msgData.find("CriticalAlarmLow");
418 auto criticalAlarmHigh = msgData.find("CriticalAlarmHigh");
419 if (criticalAlarmHigh == msgData.end() &&
420 criticalAlarmLow == msgData.end())
421 {
422 return 0;
423 }
424
425 bool asserted = false;
426 if (criticalAlarmLow != msgData.end())
427 {
James Feist1f802f52019-02-08 13:51:43 -0800428 asserted = std::get<bool>(criticalAlarmLow->second);
James Feist36b7d8e2018-10-05 15:39:01 -0700429 }
430
431 // checking both as in theory you could de-assert one threshold and
432 // assert the other at the same moment
433 if (!asserted && criticalAlarmHigh != msgData.end())
434 {
James Feist1f802f52019-02-08 13:51:43 -0800435 asserted = std::get<bool>(criticalAlarmHigh->second);
James Feist36b7d8e2018-10-05 15:39:01 -0700436 }
437 owner->setFailed(asserted);
438 }
Jonico Eustaquioaf97d8e2024-01-02 14:35:07 -0600439#ifdef UNC_FAILSAFE
440 else if (msgSensor == "xyz.openbmc_project.Sensor.Threshold.Warning")
441 {
442 auto warningAlarmHigh = msgData.find("WarningAlarmHigh");
443 if (warningAlarmHigh == msgData.end())
444 {
445 return 0;
446 }
447
448 bool asserted = false;
449 if (warningAlarmHigh != msgData.end())
450 {
451 asserted = std::get<bool>(warningAlarmHigh->second);
452 }
453 owner->setFailed(asserted);
454 }
455#endif
Alex.Song8f73ad72021-10-07 00:18:27 +0800456 else if (msgSensor == "xyz.openbmc_project.State.Decorator.Availability")
457 {
458 auto available = msgData.find("Available");
459 if (available == msgData.end())
460 {
461 return 0;
462 }
463 bool asserted = std::get<bool>(available->second);
464 owner->setAvailable(asserted);
465 if (!asserted)
466 {
467 // A thermal controller will continue its PID calculation and not
468 // trigger a 'failsafe' when some inputs are unavailable.
469 // So, forced to clear the value here to prevent a historical
470 // value to participate in a latter PID calculation.
471 owner->updateValue(std::numeric_limits<double>::quiet_NaN(), true);
472 }
473 }
James Feist4b36f262020-07-07 16:56:41 -0700474 else if (msgSensor ==
475 "xyz.openbmc_project.State.Decorator.OperationalStatus")
476 {
477 auto functional = msgData.find("Functional");
478 if (functional == msgData.end())
479 {
480 return 0;
481 }
482 bool asserted = std::get<bool>(functional->second);
483 owner->setFunctional(asserted);
484 }
Patrick Venture863b9242018-03-08 08:29:23 -0800485
486 return 0;
487}
Patrick Ventured0c75662018-06-12 19:03:21 -0700488
Harvey.Wua1ae4fa2022-10-28 17:38:35 +0800489int dbusHandleSignal(sd_bus_message* msg, void* usrData,
490 [[maybe_unused]] sd_bus_error* err)
Patrick Ventured0c75662018-06-12 19:03:21 -0700491{
Patrick Williamsb228bc32022-07-22 19:26:56 -0500492 auto sdbpMsg = sdbusplus::message_t(msg);
Patrick Ventured0c75662018-06-12 19:03:21 -0700493 DbusPassive* obj = static_cast<DbusPassive*>(usrData);
494
Patrick Venture7af157b2018-10-30 11:24:40 -0700495 return handleSensorValue(sdbpMsg, obj);
Patrick Ventured0c75662018-06-12 19:03:21 -0700496}
Patrick Venturea0764872020-08-08 07:48:43 -0700497
498} // namespace pid_control