[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <bdc8ff42-d4a2-8701-45de-4c8ab6657571@kernel.org>
Date: Sat, 3 Sep 2016 16:23:11 +0100
From: Jonathan Cameron <jic23@...nel.org>
To: Pavel Andrianov <andrianov@...ras.ru>
Cc: Hartmut Knaack <knaack.h@....de>,
Lars-Peter Clausen <lars@...afoo.de>,
Peter Meerwald-Stadler <pmeerw@...erw.net>,
linux-iio@...r.kernel.org, linux-kernel@...r.kernel.org,
Vaishali Thakkar <vaishali.thakkar@...cle.com>,
ldv-project@...uxtesting.org
Subject: Re: A potential race in drivers/iio/adc/vf610_adc.ko
On 02/09/16 09:05, Pavel Andrianov wrote:
>
> Hi!
Hi Pavel,
>
> There is a potential race in drivers/iio/adc/vf610_adc.ko. Handlers
> vf610_set_conversion_mode and vf610_write_raw are called via
> device_attibute interface, but they are related to different
> attributes, so may be executed in parallel. vf610_set_conversion_mode
> acquires the mutex indio_dev->mlock, and vf610_write_raw does not.
> Thus updating the structure 'info' may be performed simultaneously.
>
> Should vf610_write_raw also acquire the same mutex indio_dev->mlock?
>
As Alison observed, mlock is not a general purpose lock for use by
drivers. It's there to prevent state changes between direct reads
(polled) and buffered/triggered reads (pushed).
The write raw simply sets the sampling frequency. That's not a problem
whilst buffered capture is running or otherwise. Interesting question
of whether changing mode causes any trouble as well. It's possible
something is undefined in the hardware during a mode change...
Anyhow, that covers mlock. Next question: Is there a race condition in
general?
Yes there definitely is as we have read modify write cycles
on VF610_REG_ADC_CFG in both paths. So what is needed is a local lock
to protect these accesses. Whilst in theory mlock could be used
it should not be as it has a clearly stated purpose and using it
for other purposes makes for much fiddlier and harder to read code!
(as an aside IIRC there is no locking in sysfs attributes to prevent
a single attribute being read twice at the same time.)
Jonathan
Powered by blists - more mailing lists