Displaying 5 results from an estimated 5 matches for "interferenced".
Did you mean:
interference
2011 Aug 22
2
[LLVMdev] LLVM Concurrency and Undef
...ngRef and
http://llvm.org/docs/Atomics.html are like
1) monotonic atomic to the same location are totally ordered
2) all SC atomic to to any location are totally ordered
3) monotonic loads should see monotonic stores monotonically
...
However, these conditions can be broken if any of them are
'interferenced' by non-atomic memory accesses, since that can turn
some of the atomic loads to be undef (with any values). So it is
unlikely forming a total order any more.
So, do these properties hold only for data race free atomics? For example,
T1: T2:
a: sc stor...
2011 Aug 22
0
[LLVMdev] LLVM Concurrency and Undef
...mics.html are like
> 1) monotonic atomic to the same location are totally ordered
> 2) all SC atomic to to any location are totally ordered
> 3) monotonic loads should see monotonic stores monotonically
> ...
>
> However, these conditions can be broken if any of them are
> 'interferenced' by non-atomic memory accesses, since that can turn
> some of the atomic loads to be undef (with any values). So it is
> unlikely forming a total order any more.
>
> So, do these properties hold only for data race free atomics? For example,
>
> T1: ...
2011 Aug 23
1
[LLVMdev] LLVM Concurrency and Undef
...1) monotonic atomic to the same location are totally ordered
>> 2) all SC atomic to to any location are totally ordered
>> 3) monotonic loads should see monotonic stores monotonically
>> ...
>>
>> However, these conditions can be broken if any of them are
>> 'interferenced' by non-atomic memory accesses, since that can turn
>> some of the atomic loads to be undef (with any values). So it is
>> unlikely forming a total order any more.
>>
>> So, do these properties hold only for data race free atomics? For example,
>>
>> T1: ...
2011 Aug 22
0
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote:
> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte
>> <santosh.nagarakatte at gmail.com> wrote:
>>> Hi all,
>>>
>>> I have been trying to understand the use of undef in
2011 Aug 22
3
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte
> <santosh.nagarakatte at gmail.com> wrote:
>> Hi all,
>>
>> I have been trying to understand the use of undef in both sequential
>> and concurrent programs.
>>
>> >From the LLVM Language Reference Manual, I