manual: fix bullet list.
This commit is contained in:
parent
d471e24214
commit
0b1a401bb7
|
@ -2979,6 +2979,7 @@ and data races on memory are prohibited by the type system.
|
||||||
|
|
||||||
Inter-task communication and co-ordination facilities are provided in the standard library.
|
Inter-task communication and co-ordination facilities are provided in the standard library.
|
||||||
These include:
|
These include:
|
||||||
|
|
||||||
- synchronous and asynchronous communication channels with various communication topologies
|
- synchronous and asynchronous communication channels with various communication topologies
|
||||||
- read-only and read-write shared variables with various safe mutual exclusion patterns
|
- read-only and read-write shared variables with various safe mutual exclusion patterns
|
||||||
- simple locks and semaphores
|
- simple locks and semaphores
|
||||||
|
|
Loading…
Reference in a new issue