#2608
100%

Ran 03 Jul 2021 10:51PM UTC

Jobs 1

Files 73

Run time 5s

Badge

Embed ▾

pending completion

Build # #2608

Build Type

push

github-actions

Committed by

ben-manes

Commit Message

Stronger memory-order for when setting a value

The plain write to the value piggybacked on the volatile fence when the
lock is released for guaranteed visibility. However, we should not
assume that visibility delayed until this fence, as the underlying
system may inject a fence earlier (e.g. safepont, context switch). As
the compiler may change program order for plain reads and writes, those
cases must ensure that there is are no dependencies for partial
visibility. While true for strong values, the change in 37c51d5 shows a
dependency order is needed for weak/soft values. For stricter
correctness, clearing the Reference must occur after the entry's value
has been visibly changed. Therefore, the release/acquire ordering is
used to ensure we abide by the Java Memory Model, rather than on x86's
total store order (TSO).

For more details, see
http://gee.cs.oswego.edu/dl/html/j9mm.html

Coverage Stats

6204 of 6708 relevant lines covered (92.49%)

0.92 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#2608.1	03 Jul 2021 10:51PM UTC	0	92.49

Source Files on build #2608

Detailed source file information is not available for this build.

ben-manes / caffeine / #2608
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2608

ben-manes / caffeine / #2608 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2608

ben-manes / caffeine / #2608
100%

README BADGES
x