On Wed, Feb 08, 2023 at 05:35:22PM +0200, Mikko Perttunen wrote: > On 2/8/23 12:43, Thierry Reding wrote: > > On Tue, Feb 07, 2023 at 03:56:09PM +0200, Mikko Perttunen wrote: > > > From: Mikko Perttunen <mperttunen@xxxxxxxxxx> > > > > > > In the rare case that calculation of trip temperatures would result > > > in the same trip temperatures that were previously programmed, the > > > thermal core skips calling .set_trips. > > > > That seems like an appropriate optimization. > > > > > However, presently, if it is not called, we may end up with no trip > > > temperatures programmed at all. > > > > I have a hard time understanding when this would happen. prev_low_trip > > and prev_high_trip are -INT_MAX and INT_MAX, respectively, so these are > > unlikely to be the result of anything we compute at runtime, based on > > temperatures specified in DT, for example. > > Consider: > > Temperature is 45C. > set_trips is called with low=40C high=50C. We program accordingly. > Temperature goes to 55C. Trip point triggers. > Before execution gets to CPU, temperature returns to 45C. > CPU gets the MRQ, calls into thermal core to update. > Thermal core notices that temperature is 45C and sets again the same low=40C > high=50C trip points, does not call set_trips. > No trip point is programmed to BPMP and we never get trips again. So does this mean that trip points in BPMP are "one-shot". That is, once they are triggered, BPMP will automatically delete them? And we actively need to reprogram them to trigger again? Perhaps a better alternative would be to force the previous temperatures to be invalid when the trip point triggers to ensure they always get reprogrammed. Or perhaps we could add a flag to the thermal subsystem to mark "one-shot" triggers so that the core skips over the temperature check and always reprograms. > The above, of course, is rather unlikely to happen, but theoretically > possible nevertheless. > > Alternatively, where I discovered the issue originally, was the issue > described in the last paragraph of the commit message; see below. > > > > > So I would expect ->set_trips() to get called at least once when the > > thermal zones are first registered. Are you saying there are cases where > > ->set_trips() doesn't get called at all? > > No, not saying that. It will get called when registering the zone initially, > but see below. > > > > > > To avoid this, make set_trips a no-op and in places where it would be > > > called, instead unconditionally program trip temperatures to the last > > > specified temperatures. > > > > Again, this seems more like a workaround for an issue that exists > > elsewhere. If ->set_trips() doesn't always get called when it should be, > > then that's what we should fix. > > I think it depends on what the interpretation is with set_trips. If the > interpretation is that the the trips configured in the hardware are > persistent (not disabled when a trip occurs), then the current > implementation and this patch make sense. Otherwise a change in the thermal > core would make sense. > > > > > > This also fixes the situation where a trip is triggered between > > > registering a thermal zone and registering the trip MRQ handler, in > > > which case we would also get stuck. > > > > Could this be fixed by requesting the MRQ prior to registering the > > zones? That seems like the more appropriate fix for this issue. It's > > similar to how we typically register IRQ handlers before enabling a > > device to make sure we don't miss any interrupts. > > I considered that -- there are two reasons I didn't go for it: > > 1. It doesn't solve the race condition described in the first part of the > message These are two different problems, though, so trying to swat them with the same fix is not likely the best solution. > 2. To handle the incoming MRQ, zone->tzd needs to be set. But we only get > tzd from the zone registration call, and already before that call returns, > set_trips has been called and we might have received an MRQ. I tested using > a completion object to block in the MRQ handler until the initialization > completes, but that's pretty ugly as well. Sounds to me like we may need to split the registration and activation steps. I recall discussions about similar issues in other subsystems. With interrupts this can sometimes be worked around by installing handlers and keeping interrupts masked and once unmasked they will immediately trigger and cause the handler to run. We probably don't want that for BPMP MRQs, though. Thierry
Attachment:
signature.asc
Description: PGP signature