suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clarify in docs that threads provide sequential consistency

Browse Source
This commit is contained in:
Matthew Flatt 2015-05-16 15:18:50 -06:00
parent 32a2ca6eff
commit 12308e3f17
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/racket-doc/scribblings/reference/eval-model.scrbl
View File

@ -904,7 +904,9 @@ Threads are created explicitly by functions such as @racket[thread].
In terms of the evaluation model, each step in evaluation actually consists of multiple concurrent In terms of the evaluation model, each step in evaluation actually consists of multiple concurrent
expressions, up to one per thread, rather than a single expression. The expressions all expressions, up to one per thread, rather than a single expression. The expressions all
share the same objects and top-level variables, so that they can share the same objects and top-level variables, so that they can
communicate through shared state. Most evaluation steps involve a communicate through shared state, and sequential consistency is
guaranteed (i.e., the result is consistent with some global sequence
imposed on all evaluation steps across threads). Most evaluation steps involve a
single step in a single expression, but certain synchronization single step in a single expression, but certain synchronization
primitives require multiple threads to progress together in one step. primitives require multiple threads to progress together in one step.