This adds lockdep asserts to the reservation functions which state in their documentation that obj->lock must be held. Allows builds with PROVE_LOCKING enabled to check that the locking requirements are met.
Signed-off-by: Lucas Stach l.stach@pengutronix.de --- v2: remove erroneous check from reservation_object_get_excl --- drivers/dma-buf/reservation.c | 8 ++++++++ 1 file changed, 8 insertions(+)
diff --git a/drivers/dma-buf/reservation.c b/drivers/dma-buf/reservation.c index b44d9d7db347..accd398e2ea6 100644 --- a/drivers/dma-buf/reservation.c +++ b/drivers/dma-buf/reservation.c @@ -71,6 +71,8 @@ int reservation_object_reserve_shared(struct reservation_object *obj) struct reservation_object_list *fobj, *old; u32 max;
+ reservation_object_assert_held(obj); + old = reservation_object_get_list(obj);
if (old && old->shared_max) { @@ -211,6 +213,8 @@ void reservation_object_add_shared_fence(struct reservation_object *obj, { struct reservation_object_list *old, *fobj = obj->staged;
+ reservation_object_assert_held(obj); + old = reservation_object_get_list(obj); obj->staged = NULL;
@@ -236,6 +240,8 @@ void reservation_object_add_excl_fence(struct reservation_object *obj, struct reservation_object_list *old; u32 i = 0;
+ reservation_object_assert_held(obj); + old = reservation_object_get_list(obj); if (old) i = old->shared_count; @@ -276,6 +282,8 @@ int reservation_object_copy_fences(struct reservation_object *dst, size_t size; unsigned i;
+ reservation_object_assert_held(dst); + rcu_read_lock(); src_list = rcu_dereference(src->fence);
The documentation was misleading, as for a lot of use-cases holding the RCU read side lock is sufficient.
Signed-off-by: Lucas Stach l.stach@pengutronix.de --- include/linux/reservation.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/include/linux/reservation.h b/include/linux/reservation.h index 21fc84d82d41..ae1175e5997c 100644 --- a/include/linux/reservation.h +++ b/include/linux/reservation.h @@ -204,7 +204,8 @@ reservation_object_unlock(struct reservation_object *obj) * @obj: the reservation object * * Returns the exclusive fence (if any). Does NOT take a - * reference. The obj->lock must be held. + * reference. Writers must hold obj->lock, readers may only + * hold a RCU read side lock. * * RETURNS * The exclusive fence or NULL
Am 11.01.2018 um 17:53 schrieb Lucas Stach:
This adds lockdep asserts to the reservation functions which state in their documentation that obj->lock must be held. Allows builds with PROVE_LOCKING enabled to check that the locking requirements are met.
Signed-off-by: Lucas Stach l.stach@pengutronix.de
Reviewed-by: Christian König christian.koenig@amd.com for the series.
v2: remove erroneous check from reservation_object_get_excl
drivers/dma-buf/reservation.c | 8 ++++++++ 1 file changed, 8 insertions(+)
diff --git a/drivers/dma-buf/reservation.c b/drivers/dma-buf/reservation.c index b44d9d7db347..accd398e2ea6 100644 --- a/drivers/dma-buf/reservation.c +++ b/drivers/dma-buf/reservation.c @@ -71,6 +71,8 @@ int reservation_object_reserve_shared(struct reservation_object *obj) struct reservation_object_list *fobj, *old; u32 max;
- reservation_object_assert_held(obj);
- old = reservation_object_get_list(obj);
if (old && old->shared_max) { @@ -211,6 +213,8 @@ void reservation_object_add_shared_fence(struct reservation_object *obj, { struct reservation_object_list *old, *fobj = obj->staged;
- reservation_object_assert_held(obj);
- old = reservation_object_get_list(obj); obj->staged = NULL;
@@ -236,6 +240,8 @@ void reservation_object_add_excl_fence(struct reservation_object *obj, struct reservation_object_list *old; u32 i = 0;
- reservation_object_assert_held(obj);
- old = reservation_object_get_list(obj); if (old) i = old->shared_count;
@@ -276,6 +282,8 @@ int reservation_object_copy_fences(struct reservation_object *dst, size_t size; unsigned i;
- reservation_object_assert_held(dst);
- rcu_read_lock(); src_list = rcu_dereference(src->fence);
linaro-mm-sig@lists.linaro.org