lkml.org 
[lkml]   [2018]   [Apr]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Control dependency between prior load in while condition and later store?
On Thu, 5 Apr 2018, Peter Zijlstra wrote:

> On Thu, Apr 05, 2018 at 10:35:22AM -0400, Alan Stern wrote:
> > In this example, READ_ONCE() is in fact a volatile access, so we're
> > okay.
>
> But our documentation clearly states a control-dep can only be from a
> READ_ONCE() (or something stronger), right? So we should be good
> irrespectively.

Agreed. My point was that these are delicate issues. (And they will
become more relevant when we want to expand the Linux Kernel Memory
Consistency Model to cover ordinary accesses and data races.)

Alan

\
 
 \ /
  Last update: 2018-04-05 17:16    [W:0.033 / U:0.020 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site