summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-06-14 07:25:45 +0200
committerSon Ho2022-06-14 07:25:45 +0200
commitca29ee86221db6c115f498a1f8f6315325196d24 (patch)
tree31674735b02490f0bbaec74a9cdb9d95e6b0cdd9
parent6b2884a5347eca1607d1c9aaf5c77af12e3170d3 (diff)
Update the README
Diffstat (limited to '')
-rw-r--r--README.md5
1 files changed, 2 insertions, 3 deletions
diff --git a/README.md b/README.md
index 1a8fb901..c7b98b5e 100644
--- a/README.md
+++ b/README.md
@@ -77,8 +77,7 @@ We have the following limitations, that we plan to address one by one:
- **no interior mutability**: long-term effort. Interior mutability introduces
true aliasing: we will probably have to use a low-level memory model to address
this issue.
- Note that interior mutability is mostly anecdotal in sequential execution,
- but necessary for concurrent execution (it is exploited by the synchronisation
- primitives).
+ Note that interior mutability is truely necessary for concurrent execution (it
+ is exploited to implement the synchronisation primitives).
- **no concurrent execution**: long-term effort. We plan to address coarse-grained
parallelism as a long-term goal.