staging: comedi: do extra checks for becoming non-busy for "read"
authorIan Abbott <abbotti@mev.co.uk>
Mon, 12 Oct 2015 16:21:22 +0000 (17:21 +0100)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Tue, 13 Oct 2015 17:29:48 +0000 (10:29 -0700)
`comedi_read()` is the handler for the "read" file operation for COMEDI
devices.  It mostly runs without using the main mutex of the COMEDI
device, but uses the `attach_lock` rwsemaphore to protect against the
COMEDI device becoming "detached".  A file object can read data
resulting from a COMEDI asynchonous command if it initiated the command.
The COMEDI subdevice is marked as busy when the command is started.  At
some point, the "read" handler detects that the command has terminated
and all available data has been read and so marks the subdevice as
non-busy.

In order to mark the subdevice as non-busy, the "read" handler needs to
release the `attach_lock` rwsemaphore and `acquire the main `mutex`.
There is a vulnerable point between the two, so it checks that the
device is still attached after acquiring the mutex.  However, it does
not currently check that the conditions for becoming non-busy still
hold.  Add some more checks that the subdevice is still busy with a
command initiated by the same file object, that command is in the correct
direction (in case the subdevice supports both "read" and "write"), that
command has terminated, and has no data available to be read.

Signed-off-by: Ian Abbott <abbotti@mev.co.uk>
Reviewed-by: H Hartley Sweeten <hsweeten@visionengravers.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
drivers/staging/comedi/comedi_fops.c

index c74c50a6e52dc9aaf8b29fa7df3fb244878bf01a..49c46651ad236590c2506262b37298cb34f86988 100644 (file)
@@ -2567,14 +2567,17 @@ static ssize_t comedi_read(struct file *file, char __user *buf, size_t nbytes,
                 * sufficient (unless there have been 2**32 detaches in the
                 * meantime!), but check the subdevice pointer as well just in
                 * case.
+                *
+                * Also check the subdevice is still in a suitable state to
+                * become non-busy in case it changed behind our back.
                 */
                new_s = comedi_file_read_subdevice(file);
                if (dev->attached && old_detach_count == dev->detach_count &&
-                   s == new_s && new_s->async == async) {
-                       if (become_nonbusy ||
-                           comedi_buf_read_n_available(s) == 0)
-                               do_become_nonbusy(dev, s);
-               }
+                   s == new_s && new_s->async == async && s->busy == file &&
+                   !(async->cmd.flags & CMDF_WRITE) &&
+                   !comedi_is_subdevice_running(s) &&
+                   comedi_buf_read_n_available(s) == 0)
+                       do_become_nonbusy(dev, s);
                mutex_unlock(&dev->mutex);
        }
 out: