Code

Rewrite atomics section#378

Code

Open

SabrinaJewson wants to merge 35 commits intorust-lang:masterrust-lang/nomicon:masterfrom SabrinaJewson:atomicsSabrinaJewson/rust-nomicon:atomicsCopy head branch name to clipboard

+1,921-241

Commits

Commits on Aug 4, 2022

• Write “Multithreaded Execution” and add simplified atomic spec

  SabrinaJewson

  committed
  0347b01

• Fix one broken link

  SabrinaJewson

  committed
  42f46d2

• Replace accidental rs code blocks with rust

  SabrinaJewson

  committed
  46f31ae

• Replace reads with explicit println!s

  SabrinaJewson

  committed
  103a733

Commits on Aug 5, 2022

• Write the “Relaxed” section

  SabrinaJewson

  committed
  a26eab4

• Remove specification chapter

  Show description for d01fb66
  SabrinaJewson

  committed
  d01fb66

Commits on Aug 14, 2022

• Write about Acquire and Release

  SabrinaJewson

  committed
  715e67f

Commits on Aug 28, 2022

• Write the SeqCst section

  SabrinaJewson

  committed
  afe0ee2

• “happens before” → “happens-before”

  SabrinaJewson

  committed
  c1129e3

• Introduce synchronizes-with terminology

  SabrinaJewson

  committed
  b896399

• Use “coherence” terminology from the start

  SabrinaJewson

  committed
  59fde6f

• Remove old sections and introduce “AM” in intro

  SabrinaJewson

  committed
  6dc3d54

• “isomorphic” → “functionally equivalent”

  SabrinaJewson

  committed
  29707ee

• Define the term “race condition”

  SabrinaJewson

  committed
  52d5d13

• Add note about duplication of 1 in M.O.

  SabrinaJewson

  committed
  40b06fe

• Explain the ABA problem

  SabrinaJewson

  committed
  390754b

• Dispel the myth that RMWs “see the latest value”

  SabrinaJewson

  committed
  493c671

• Explain the C++20 release sequence changes

  SabrinaJewson

  committed
  dc6a942

• Explain the Abstract Machine

  SabrinaJewson

  committed
  b3c2e62

• Improve the explanations of coherence

  SabrinaJewson

  committed
  a9eb1f6

• Show the final correct execution in mutex example

  SabrinaJewson

  committed
  8068390

• Add a more formal explanation of happens-before

  SabrinaJewson

  committed
  3c76e35

Commits on Aug 29, 2022

• Write about acquire and release fences

  SabrinaJewson

  committed
  d4f8f47

Commits on Sep 4, 2022

• Improve the SeqCst explanation

  SabrinaJewson

  committed
  5e27ed5

• Write about SeqCst fences

  SabrinaJewson

  committed
  805070e

• Fix Unicode art incorrectly interpreted as Rust code

  SabrinaJewson

  committed
  c19184a

• Define “unsequenced” early on

  Show description for 2384caa
  SabrinaJewson

  committed
  2384caa

• Note that a release fence followed by multiple stores is not necessarily faster than many release stores

  SabrinaJewson

  committed
  d9dabf4

Commits on Oct 1, 2022

• Remove the signals section for now

  SabrinaJewson

  committed
  09c428e

Commits on Nov 4, 2022

• Fix CI

  SabrinaJewson

  committed
  ff32f70

Commits on Jan 12, 2024

• Fix typos

  SabrinaJewson

  committed
  af524a5

• Mention that Rust atomics correspond to atomic_ref

  SabrinaJewson

  committed
  f3277bf

• Explain the terms “strongly/weakly-ordered hardware”

  SabrinaJewson

  committed
  6d16ea5

• Merge branch 'master' into atomics

  SabrinaJewson

  committed
  19b059a

Commits on Mar 10, 2024

• Simplify SeqCst demonstration, and remove incorrect claim

  SabrinaJewson

  committed
  b139a3c