[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id: <20180109.115943.1711214677643324564.davem@davemloft.net>
Date: Tue, 09 Jan 2018 11:59:43 -0500 (EST)
From: David Miller <davem@...emloft.net>
To: nstange@...e.de
Cc: kuznet@....inr.ac.ru, yoshfuji@...ux-ipv6.org,
simo.ghannam@...il.com, mkubecek@...e.cz, mbenes@...e.cz,
sbrivio@...hat.com, netdev@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH v2] net: ipv4: emulate READ_ONCE() on ->hdrincl
bit-field in raw_sendmsg()
From: Nicolai Stange <nstange@...e.de>
Date: Mon, 8 Jan 2018 15:54:44 +0100
> Commit 8f659a03a0ba ("net: ipv4: fix for a race condition in
> raw_sendmsg") fixed the issue of possibly inconsistent ->hdrincl handling
> due to concurrent updates by reading this bit-field member into a local
> variable and using the thus stabilized value in subsequent tests.
>
> However, aforementioned commit also adds the (correct) comment that
>
> /* hdrincl should be READ_ONCE(inet->hdrincl)
> * but READ_ONCE() doesn't work with bit fields
> */
>
> because as it stands, the compiler is free to shortcut or even eliminate
> the local variable at its will.
>
> Note that I have not seen anything like this happening in reality and thus,
> the concern is a theoretical one.
>
> However, in order to be on the safe side, emulate a READ_ONCE() on the
> bit-field by doing it on the local 'hdrincl' variable itself:
>
> int hdrincl = inet->hdrincl;
> hdrincl = READ_ONCE(hdrincl);
>
> This breaks the chain in the sense that the compiler is not allowed
> to replace subsequent reads from hdrincl with reloads from inet->hdrincl.
>
> Fixes: 8f659a03a0ba ("net: ipv4: fix for a race condition in raw_sendmsg")
> Signed-off-by: Nicolai Stange <nstange@...e.de>
Applied, thank you.
Powered by blists - more mailing lists