On 01.04.24 19:09, Bart Van Assche wrote:
On 4/1/24 03:03, Alexander Wetzel wrote:
commit 27f58c04a8f4 ("scsi: sg: Avoid sg device teardown race") introduced an incorrect WARN_ON_ONCE() and missed a sequence where sg_device_destroy() was used after scsi_device_put().
Isn't that too negative? I think that the WARN_ON_ONCE() mentioned above has proven to be useful: it helped to catch a bug.
It helped to find the other issue. But the WARN_ON_ONCE() here is still plain wrong. Any only explained by my lack of understanding of the code and stupid assumptions I should have checked a bit more.
The warning always triggers when we have more than one user of the sg device (and then free one of them). While trying to understand the issue I tripped over the other wrong sequence. Which is probably very seldom really executed...
That said I can of course update the wording when you have a better suggestion. But I only have some variations of "Ups... sorry. I thought that was a good idea. Turns out it's not"
sg_device_destroy() is accessing the parent scsi_device request_queue which will already be set to NULL when the preceding call to scsi_device_put() removed the last reference to the parent scsi_device.
Drop the incorrect WARN_ON_ONCE() - allowing more than one concurrent access to the sg device - and make sure sg_device_destroy() is not used after scsi_device_put() in the error handling.
Link: https://lore.kernel.org/all/5375B275-D137-4D5F-BE25-6AF8ACAE41EF@linux.ibm.c... Fixes: 27f58c04a8f4 ("scsi: sg: Avoid sg device teardown race")
The "goto sg_put" removed by this patch was introduced by commit cc833acbee9d ("sg: O_EXCL and other lock handling"). Since the latter commit is older than the one mentioned above, shouldn't the Fixes tag refer to the latter commit?
The order was not wrong till commit db59133e9279 ("scsi: sg: fix blktrace debugfs entries leakage"), the one my original patch tried to fix. Prior to that one sg_device_destroy() was not using the scsi device request_queue.
I guess I (or one maintainer) could add that commit here again, too...
My reasoning here is, that this patch here fixes what my first patch got wrong. Which is already heading into the stable trees. And I would prefer to not have any kernel release with commit 27f58c04a8f4 ("scsi: sg: Avoid sg device teardown race") without this fix, too.
diff --git a/drivers/scsi/sg.c b/drivers/scsi/sg.c index 386981c6976a..833c9277419b 100644 --- a/drivers/scsi/sg.c +++ b/drivers/scsi/sg.c @@ -372,8 +372,9 @@ sg_open(struct inode *inode, struct file *filp) error_out: scsi_autopm_put_device(sdp->device); sdp_put: + kref_put(&sdp->d_ref, sg_device_destroy); scsi_device_put(sdp->device); - goto sg_put; + return retval; }
Please add a comment above "return retval" that explains which code will drop the sg reference.
Hm, don't get that. That kref_put() is the one dropping the reference. The matching kref_get() is in sg_add_sfp(). Which is called a few lines prior to the code here (line 350).
The patch is literally only swapping the order of scsi_device_put() and kref_put().
Which *again* causes a use-after free. So I'll send out v3 immediately and if any of the thinks discussed here require a v4 we'll do that.
Alexander