Messages in this thread | | | Date | Sat, 3 Sep 2022 11:54:27 -0400 | From | Alan Stern <> | Subject | Re: [PATCH v3] tools/memory-model: Weaken ctrl dependency definition in explanation.txt |
| |
On Sat, Sep 03, 2022 at 01:41:34PM +0200, Paul Heidekrüger wrote: > On 3. Sep 2022, at 03:27, Alan Stern <stern@rowland.harvard.edu> wrote: > > > On Fri, Sep 02, 2022 at 09:13:40PM +0000, Paul Heidekrüger wrote: > >> +Finally, a read event X and another memory access event Y are linked by > >> +a control dependency if Y syntactically lies within an arm of an if > >> +statement and X affects the evaluation of the if condition via a data or > >> +address dependency (or similarly for a switch statement). Simple > >> +example: > >> > >> int x, y; > > Hang on, shouldn't this read "a write event" instead of "another memory > access event"? Control dependencies only provide ordering from READ_ONCE to > WRITE_ONCE, not from READ_ONCE to (READ | WRITE)_ONCE? > > Or am I missing something?
Whoops, you're right. Somehow I missed that. Go ahead and change it; you can keep by S-O-B.
Alan
| |