Enable lock context analysis in drivers/block/ - #1042
Conversation
|
Upstream branch: 2d2338c |
|
Upstream branch: 2d2338c |
6efc2ea to
386b652
Compare
c0cc428 to
23d8cf0
Compare
|
Upstream branch: 0d83957 |
386b652 to
176d491
Compare
612ae31 to
863d43a
Compare
|
Upstream branch: 06cf618 |
176d491 to
1c63fc6
Compare
863d43a to
29ac21d
Compare
|
Upstream branch: d58772d |
1c63fc6 to
da1cbde
Compare
29ac21d to
ea2c39d
Compare
|
Upstream branch: f5bbbfe |
da1cbde to
1aff975
Compare
ea2c39d to
4082a30
Compare
|
Upstream branch: 3d6d817 |
1aff975 to
62819f1
Compare
4082a30 to
36bd7eb
Compare
|
Upstream branch: 3aa1dca |
62819f1 to
b500e10
Compare
d89ab11 to
fdba928
Compare
|
Upstream branch: fd923b3 |
b500e10 to
fd0dce3
Compare
fdba928 to
60442a3
Compare
|
Upstream branch: 8d3ae59 |
fd0dce3 to
4b9d218
Compare
60442a3 to
3df366e
Compare
Add a missing __must_hold() annotation. Enable lock context analysis in the Makefile. Reviewed-by: Christoph Hellwig <hch@lst.de> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Move the code that is protected by a mutex from loop_change_fd() into __loop_change_fd(). Move the code that is protected by a mutex from loop_configure() into __loop_configure(). Keep the behavior in loop_global_lock_killable() for the global == true case. Expand loop_global_lock_killable(lo, false) calls into a mutex_lock_killable() and a mutex_unlock() call. This patch prepares for adding lock context annotations. Cc: Haris Iqbal <haris.iqbal@linux.dev> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Add lock context annotations that are compatible with Clang. Swap the loop_ctl_mutex and loop_index_idr declarations such that __guarded_by() can be used. Cc: Nilay Shroff <nilay@linux.ibm.com> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Let the compiler verify lock and unlock calls. Enable lock context analysis in the Makefile. Reviewed-by: Christoph Hellwig <hch@lst.de> Signed-off-by: Bart Van Assche <bvanassche@acm.org> Reviewed-by: Nilay Shroff <nilay@linux.ibm.com>
Add __must_hold() annotations where these are missing. Document which mutex protects nbd_index_idr. Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Add __must_hold() annotations where these are missing. Because null_lock_zone() and null_unlock_zone() use conditional locking, instead of annotating these functions, introduce guard class null_zone. Replace null_lock_zone() and null_unlock_zone() calls with scoped_guard(null_zone, ...). Enable lock context analysis in the Makefile. Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Add lock context annotations. Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Add the lock context annotations that are required by Clang. Cc: Ming Lei <tom.leiming@gmail.com> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Let Clang verify lock and unlock calls. Enable lock context analysis in the Makefile. Acked-by: Roger Pau Monné <roger.pau@citrix.com> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Add the lock context annotations that are required by Clang. Enable lock context analysis in the Makefile. Reviewed-by: Sergey Senozhatsky <senozhatsky@chromium.org> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Let Clang verify lock and unlock calls. Enable lock context analysis in the Makefile. Acked-by: Jack Wang <jinpu.wang@ionos.com> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
Now that all locking functions in block drivers have been annotated, enable lock context analysis for all block drivers at the top level of drivers/block/. Signed-off-by: Bart Van Assche <bvanassche@acm.org>
|
Upstream branch: bd5f485 |
4b9d218 to
ee58368
Compare
Pull request for series with
subject: Enable lock context analysis in drivers/block/
version: 2
url: https://patchwork.kernel.org/project/linux-block/list/?series=1137673