Re: [PATCH v2 05/12] nbd: Enable lock context analysis

[Bart Van Assche <bvanassche@acm.org>]

On 8/3/26 6:26 AM, Nilay Shroff wrote:
> On 7/31/26 1:28 AM, Bart Van Assche wrote:
>> @@ -2773,7 +2776,11 @@ static void __exit nbd_cleanup(void)
>>       /* Also wait for nbd_dev_remove_work() completes */
>>       destroy_workqueue(nbd_del_wq);
>> -    idr_destroy(&nbd_index_idr);
>> +    {
>> +        __assume_ctx_lock(&nbd_index_mutex);
>> +        idr_destroy(&nbd_index_idr);
>> +    }
>> +
> 
> Could we instead introduce a scoped __assume_ctx_lock() helper so we
> don't need the explicit scope here? Alternatively, would annotating
> nbd_cleanup() with __context_unsafe be a better fit?
There is code in nbd_cleanup() that must be protected by a mutex so I
think that we shouldn't annotate nbd_cleanup() with __context_unsafe().

Introducing a scoped __assume_ctx_lock() might be overkill.

Thanks,

Bart.