Code

Normative: Add Mutex and Condition#30

Code

Merged

syg merged 19 commits intomaintc39/proposal-structs:mainfrom add-sync-primstc39/proposal-structs:add-sync-primsCopy head branch name to clipboardSep 26, 2024

+440-33

Commits

Commits on Sep 26, 2024

• Normative: Refactor shared struct creation; add Atomics.Mutex

  Show description for ab7538d
  syg

  committed
  ab7538d

  Copy full SHA for ab7538d

• withLock needs to check AgentCanSuspend

  syg

  committed
  abf23c9

  Copy full SHA for abf23c9

• bakkot review

  syg

  committed
  2463a32

  Copy full SHA for 2463a32

• Use RequireInternalSlot

  syg

  committed
  2728d2f

  Copy full SHA for 2728d2f

• Add Atomics.Condition

  syg

  committed
  12da7f5

  Copy full SHA for 12da7f5

• Fix %Mutex% -> %Atomics.Mutex% (and condition)

  syg

  committed
  1613e97

  Copy full SHA for 1613e97

• Expose UnlockToken and make it constructible

  syg

  committed
  c8f17e3

  Copy full SHA for c8f17e3

• tryLock -> lockIfAvailable

  syg

  committed
  9fa9645

  Copy full SHA for 9fa9645

• Add Symbol.dispose to UnlockToken

  syg

  committed
  3c982ad

  Copy full SHA for 3c982ad

• rbuckton review

  syg

  committed
  3322f3f

  Copy full SHA for 3322f3f

• Make Mutex.lock return null for timed out

  syg

  committed
  6858a1d

  Copy full SHA for 6858a1d

• Split Condition.wait into Condition.wait and Condition.waitFor

  Show description for 859880c
  syg

  committed
  859880c

  Copy full SHA for 859880c

• Typos

  syg

  committed
  a0f002c

  Copy full SHA for a0f002c

• Revert "Make Mutex.lock return null for timed out"

  Show description for b0937dc
  syg

  committed
  b0937dc

  Copy full SHA for b0937dc

• Require timeout in waitFor

  syg

  committed
  ab6defd

  Copy full SHA for ab6defd

• Address some review and remove withLock

  syg

  committed
  af68093

  Copy full SHA for af68093

• Count predicate time as part of timeout

  syg

  committed
  56c9a35

  Copy full SHA for 56c9a35

• Add trivial same-agent deadlock detection

  syg

  committed
  114668d

  Copy full SHA for 114668d

• Return null for lockIfAvailable timeout and call out open question

  syg

  committed
  cb6c334

  Copy full SHA for cb6c334