Date: Mon, 23 Jun 2008 12:53:48 -0700
From: Arjan van de Ven <arjan@infradead.org>
To: Marcin Slusarz <marcin.slusarz@gmail.com>
Cc: mchehab@infradead.org, linux-kernel@vger.kernel.org,
       Al Viro <viro@ftp.linux.org.uk>
Subject: Re: [PATCH] Fix open/close race in saa7134
Message-ID: <20080623125348.3133b30b@infradead.org>
In-Reply-To: <20080623192141.GB5593@joi>
References: <20080622100507.779acc59@infradead.org>
	<20080622172826.GA7487@joi>
	<20080622105832.1c61fb92@infradead.org>
	<20080623184937.GA5593@joi>
	<20080623115432.5ce376e5@infradead.org>
	<20080623192141.GB5593@joi>
Organization: Intel
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1029
Lines: 30

On Mon, 23 Jun 2008 21:22:03 +0200
Marcin Slusarz <marcin.slusarz@gmail.com> wrote:

> 
> If dev->empress_users could be > 1 then ok - it could break, but it
> can only be 1 or 0. If it's 1 you won't open the device. If it's 0
> you won't reach ts_close.
> 
> If you still see the race, please show me the sequence, because I
> don't (of course when decrementing is the last operation of ts_close).

a decrement in C, without locking, is NOT atomic.
It in fact is 
"load variable into register"
"increment register value"
"write register to variable"

which the compiler then takes and orders for maximum performance....


-- 
If you want to reach me at my work email, use arjan@linux.intel.com
For development, discussion and tips for power savings, 
visit http://www.lesswatts.org
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/