Commit Graph

646 Commits (ff32f702029e4e127e6c4b78d4d77a280386ba1b)
 

Author SHA1 Message Date
SabrinaJewson ff32f70202
Fix CI
2 years ago
SabrinaJewson 09c428ee7b
Remove the signals section for now
2 years ago
SabrinaJewson d9dabf4653
Note that a release fence followed by multiple stores is not necessarily faster than many release stores
2 years ago
SabrinaJewson 2384caab54
Define “unsequenced” early on
2 years ago
SabrinaJewson c19184a94a
Fix Unicode art incorrectly interpreted as Rust code
2 years ago
SabrinaJewson 805070e0f6
Write about `SeqCst` fences
2 years ago
SabrinaJewson 5e27ed5c03
Improve the `SeqCst` explanation
2 years ago
SabrinaJewson d4f8f47439
Write about acquire and release fences
2 years ago
SabrinaJewson 3c76e35449
Add a more formal explanation of happens-before
2 years ago
SabrinaJewson 8068390a90
Show the final correct execution in mutex example
2 years ago
SabrinaJewson a9eb1f69ba
Improve the explanations of coherence
2 years ago
SabrinaJewson b3c2e626a3
Explain the Abstract Machine
2 years ago
SabrinaJewson dc6a942194
Explain the C++20 release sequence changes
2 years ago
SabrinaJewson 493c671b69
Dispel the myth that RMWs “see the latest value”
2 years ago
SabrinaJewson 390754b28b
Explain the ABA problem
2 years ago
SabrinaJewson 40b06fef66
Add note about duplication of `1` in M.O.
2 years ago
SabrinaJewson 52d5d13a3d
Define the term “race condition”
2 years ago
SabrinaJewson 29707ee398
“isomorphic” → “functionally equivalent”
2 years ago
SabrinaJewson 6dc3d549b1
Remove old sections and introduce “AM” in intro
2 years ago
SabrinaJewson 59fde6f6bb
Use “coherence” terminology from the start
2 years ago
SabrinaJewson b89639939f
Introduce synchronizes-with terminology
2 years ago
SabrinaJewson c1129e31c8
“happens before” → “happens-before”
2 years ago
SabrinaJewson afe0ee2bf0
Write the `SeqCst` section
2 years ago
SabrinaJewson 715e67ffbe
Write about `Acquire` and `Release`
2 years ago
SabrinaJewson d01fb667fd
Remove specification chapter
2 years ago
SabrinaJewson a26eab47d2
Write the “Relaxed” section
2 years ago
SabrinaJewson 103a733af9
Replace reads with explicit `println!`s
2 years ago
SabrinaJewson 46f31aeaab
Replace accidental rs code blocks with rust
2 years ago
SabrinaJewson 42f46d2054
Fix one broken link
2 years ago
SabrinaJewson 0347b0183f
Write “Multithreaded Execution” and add simplified atomic spec
2 years ago
5225225 8d1e4dccf7 Should be `align_of` instead of `size_of`
2 years ago
gftea 70db9e4189
should be `size_of` instead of `align_of` (#371)
2 years ago
Eric Huss 155ea82ab0
Merge pull request #366 from JohnTitor/tweak-aliasing
2 years ago
Yuki Okushi 74faa41117
Fix a typo on aliasing
3 years ago
Yuki Okushi c192af31ce
Fix wording on the aliasing section
3 years ago
Kyle J Strand 3a43983b76
Changes for `c_unwind` (#365)
3 years ago
Eric Huss 16ad2674ec
Merge pull request #367 from JohnTitor/checkout
3 years ago
Yuki Okushi 249713601e
Upgrade actions/checkout to v3
3 years ago
Arthur Milchior 09044272ec
Clarification of borrowck (#354)
3 years ago
Daniel Henry-Mantilla 7284d09164
Update the now stale warning about `PhantomData<T>` and dropck (#363)
3 years ago
diffuse 708c774ff5
Minor language fixes (#364)
3 years ago
Arthur Milchior 10d40c59a5
Introducing init/uninit before its use (#355)
3 years ago
Arthur Milchior eaa3a92cc5
Change will to would to discuss what don't occur (#361)
3 years ago
Arthur Milchior 20dec1d016
State that pop for length 1 is an example (#360)
3 years ago
Arthur Milchior c564f0fbf3
Correct a sentence that didn't seem to be proper (#358)
3 years ago
Arthur Milchior 6ea5877b07
Indicate that C reference are C reference (#357)
3 years ago
Arthur Milchior 784685cc48
Introduce and avoid dropck (#353)
3 years ago
Arthur Milchior 45a76e867a
Rephrase improperly reduced borrows introduction (#352)
3 years ago
Arthur Milchior 44428ea589
Two lifetime clarification (#350)
3 years ago
Arthur Milchior 946038b2f9
"UB" vs "Undefined Behavior" (#349)
3 years ago