BjoManual/modules/std
Linus Björnstam 56a5e7c141 Transactions: a guide in Part II, and reference pages for (std stm)
Part II's section on concurrency has a new subsection, "Shared state:
atomics and transactions": when to share data instead of sending it,
locations and atomically, the rules for a transaction function, waiting
with tx-retry, a transaction as an event in a choose, tx-or-else, the
queue, map and counter, and what transactions cost. The examples use
the card game and were compiled and run.

Part III has a section on std/stm that links the four reference pages:
(std stm), and (std stm queue), (std stm map) and (std stm counter) in
a directory of their own, as (text xml) has.

🤖 Generated with [ECA](https://eca.dev)

Co-Authored-By: eca-agent <git@eca.dev>
2026-10-09 14:05:10 +02:00
..
stm Transactions: a guide in Part II, and reference pages for (std stm) 2026-10-09 14:05:10 +02:00
atomic.sz (std atomic) has a reference page, and Part III a section on it 2026-10-09 08:25:26 +02:00
datetime.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
fmt.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
http.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
index.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
maths.sz (std maths) has a reference page, and Part III a section on it 2026-10-06 20:09:22 +02:00
prelude.sz The prelude's reference, beside the other modules' 2026-10-06 18:08:04 +02:00
random.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
run.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
rx.sz The manual as a site: a landing page, the chapters, and a page per module 2026-10-01 18:37:22 +02:00
stm.sz Transactions: a guide in Part II, and reference pages for (std stm) 2026-10-09 14:05:10 +02:00