On Wed, Feb 06, 2019 at 11:28:05AM +0100, Philipp Zabel wrote: > On Tue, 2019-02-05 at 23:13 +0100, Thierry Reding wrote: > [...] > > > Drivers that never call _acquire()/_release() must continue to work as > > > they are, so exclusive reset controls have to be acquired by default. > > > > I don't think they have to. See below. > > Currently the API makes guarantees about the state a reset line is in > after an assert() or deassert() call. I'm thinking of the following > scenario: > > driver A driver B > > request_exclusive() > deassert() > | request_exclusive() > | acquire() > | assert() > | driver A expects reset | driver B expects reset line > | line to stay deasserted | to stay asserted during this > | during this time | this time > | release() > assert() > > If driver A deassert() succeeds because the control refcnt is still 1, > and driver B acquire() succeeds because driver A didn't explicitly > acquire the control, driver B assert() should succeed as well > and that would cause a conflict without either driver getting an error. I see, that's a very good point. So it sounds indeed like we'll need to add some sort of implicit acquire to request_exclusive() to make this work. However, that's going to make the API a bit awkward to use, because in order to release the implicit acquisition the driver would have to do a release() that is, from a driver's point of view, unbalanced. Also, if we implicitly acquire() in request_exclusive(), aren't we going to get into a situation where both driver A and driver B will try to acquire on request and one of them is going to fail? > Also, how to decide at driver B request_exclusive() time whether or not > to throw a warning? We the core doesn't know at this point whether > driver B will use acquire()/release(). My suggestion was not to throw a warning a request_exclusive() time, but at acquire() time. > [...] > > > If the reset line is kept asserted while the power domain is turned off, > > > it could indeed stay acquired by the power domain. > > > > That's at least the way that it works on Tegra. Not sure if that is > > universally applicable, though it seems logical to me from a hardware > > point of view. It may not be required to keep the reset asserted while > > the power domain is turned off, but I'd be surprised if there was a > > requirement that it be deasserted while the power domain is off. > > There is hardware that doesn't allow to control the level of the reset > line, providing only a self clearing bit that can be used to trigger a > reset pulse (via reset_control_reset()). I don't think that really matters. The important part here is ownership. If the power domain owns the reset control upon turning off, no driver whose device is under that power domain should be handling the reset anyway. The device should only be able to take back control of the reset after the power domain has powered on again. > > > > Hm... actually this means that power domains would have to request the > > > > reset controls and call reset_control_acquire() during probe. That way > > > > when the domain is powered on it will release the reset and free it up > > > > for the SOR driver to use. > > > > > > If you can guarantee that the power domain is powered up and releases > > > the reset control before the SOR driver tries to request the reset line, > > > that would work. > > > > Well, that's the part that the acquire/release protocol would enforce. > > Only if both drivers use it. I'd prefer the API to provide consistent > behaviour even if one of the drivers doesn't use acquire/release. I'm not sure how to solve that, unless we make the API asymmetric. So if an exclusive reset is implicitly acquired at request time, you need to have an unbalanced release() to release it for a second driver to use. But you also don't know which one of the drivers will get the implicit acquire, so the second driver to request the reset control is already going to fail to acquire() at request time. Or if we build in some smart mechanism to only acquire() for the first driver to request, we'll end up with a situation where neither driver knows whether they own the reset control or not. To be honest, I have no idea if that could even work. It's like if you pass down a lock to two users but you don't tell them if it's locked or not. What are they supposed to do with that lock? None of them know who owns it, so the purpose of the lock is completely defeated. The simplest alternative would be to introduce some sort of flag that would enable the acquire/release protocol. Drivers that want to share exclusive resets this way would then explicitly request using this flag and have to implement the acquire/release protocol if they do. All consumers will get a released reset control and have to call acquire() on it first to gain exclusive access to it. > > If your device shares a reset control with a power domain, this should > > work fine, provided that the device driver uses the reset only between > > (or during) ->runtime_resume() and ->runtime_suspend(). > > There should be a clear error path in case drivers don't use the reset > control only during suspend/resume as expected. There are two things that I imagine could work. I think in general we should return an error (-EBUSY) if we call acquire() on a reset control that's already acquired. Something else that may make sense is to allow acquire() to block if the consumers wish to do that. This has the usual caveats in that it could block on consumer indefinitely if another consumer never releases the reset control. On the other hand, what's a consumer to do if they get -EBUSY? If they use this protocol, then surely they do so because they won't work without access to the reset control, so if they get -EBUSY, presumably there's no way forward for them. Perhaps that means that such a condition is actually a bug and we should throw a big warning to make sure it gets addressed. Maybe this means the users of this protocol need to be extra cautious about sequencing, and that would be, in my opinion, a good argument in favour of adding an extra flag for this type of reset control. > > > > This seems right because it also happens to work from a runtime PM > > > > sequencing point of view. > > > > > > > > I think the problem for single-user exclusive reset controls could be > > > > solved by making use of the reference counting that's already used by > > > > shared resets. We should be able to go ahead and use the reference > > > > counting in general, and the acquire()/release() dance would only have > > > > to be enforced when the reference count is > 1. > > > > > > I'm not sure I understand what you mean by making use of the shared > > > resets' refcounting. I suppose you could check the reset_control's > > > refcnt to determine whether there are other users. Or did you want to > > > repurpose deassert_count? > > > > Yes, if we make the new acquire/release protocol only apply if the > > reset control's refcnt is > 1, then I think we should be able to keep > > exclusive resets working exactly the same way they are now. Since the > > exclusive resets are guaranteed to have refcnt == 1 right now, there > > should be no need for them to be implicitly acquired at request time. > > Ok, thanks for the explanation. That is correct, but it would break the > guarantee we give for exclusive reset controls, that the state of the > reset line stays exactly as requested. refcnt could change at any time > due to a second driver being probed, that could acquire and (de)assert > the reset line. Perhaps one alternative would be for all consumers to be modified with an explicit acquire() and release() pair before the new semantics take effect. But that seems a bit daunting: $ git grep -n reset_control_get | wc -l 381 > > However, when you start using them from multiple users, the acquire/ > > release protocol would kick in and refuse to assert/deassert before > > you've acquired them. > > > > I think we should also be able to keep the WARN_ON(), albeit maybe in > > different form. We could have one if the user tries to acquire a reset > > control that's already acquired. And we could also have a warning if we > > assert or deassert a reset control that hasn't been acquired *and* that > > has refcnt > 1. With the above I think "acquired" really needs to mean > > acquired && refcnt > 1, and then the current exclusive resets should > > work out of the box. > > How would you resolve the above scenario? Implicitly acquiring exclusive > resets during request by default would be one method, but maybe there is > a better one? I'm beginning to wonder if we're on a wild goose chase here. We've been focusing on exclusive resets here, but we're really talking about shared resets here. What we really want to do is share resets across multiple users and then allow one user to take exclusive control over the reset for a limited amount of time. Would it be any easier to implement this on top of shared resets? Given the deassert count this would probably be difficult to do. Users of the shared reset could be at any point in their code execution when another user decides to acquire and assert/deassert. Hm... so I don't think the implicit acquire step during request would work because of the race conditions I mentioned above. The only other solution that I can think of is to have an explicit way to mark these resets as "exclusively shared" and require users of such resets to implement the acquire/release protocol. Thierry > > I was wondering whether maybe we needed a way to track the current owner > > of a reset control, so that we could be clever about when acquire needs > > to fail or succeed (e.g. acquiring twice by the same owner would be > > okay), but I think that's overkill. I think this should just be treated > > like a lock and drivers need to make sure they properly balance acquire > > and release calls. > > I agree. > > regards > Philipp
Attachment:
signature.asc
Description: PGP signature
