Searched hist:"02 fbb41a1869fdcd50e6580abeb2d2e102a56335" (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/include/kernel/ |
| H A D | lockdep.h | 02fbb41a1869fdcd50e6580abeb2d2e102a56335 Thu Jun 27 15:18:28 UTC 2019 Jerome Forissier <jerome.forissier@linaro.org> core: lockdep: support non-blocking acquire
Adds support for non-blocking lock semantics such as mutex_trylock().
A new function is introduced to instrument this operation:
lockdep_tryacquire(). It should be called when it is known that
ownership of the underlying object has been granted to the caller. It
behaves similarly to lockdep_acquire() in that it does record the call
stack and records that the lock is owned. But it does not create any
dependencies to the locks that are currently owned by the caller. See
"Dynamic Lock Dependency Analysis of Concurrent Systems" [1] section
5.3.
Link: [1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87.132&rep=rep1&type=pdf
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
|
| /optee_os/core/kernel/ |
| H A D | lockdep.c | 02fbb41a1869fdcd50e6580abeb2d2e102a56335 Thu Jun 27 15:18:28 UTC 2019 Jerome Forissier <jerome.forissier@linaro.org> core: lockdep: support non-blocking acquire
Adds support for non-blocking lock semantics such as mutex_trylock().
A new function is introduced to instrument this operation:
lockdep_tryacquire(). It should be called when it is known that
ownership of the underlying object has been granted to the caller. It
behaves similarly to lockdep_acquire() in that it does record the call
stack and records that the lock is owned. But it does not create any
dependencies to the locks that are currently owned by the caller. See
"Dynamic Lock Dependency Analysis of Concurrent Systems" [1] section
5.3.
Link: [1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87.132&rep=rep1&type=pdf
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
|