added 'fence' instructions to the barrier

This commit is contained in:
Araq 2014-06-06 02:05:17 +02:00
commit b7cbb08f99
3 changed files with 24 additions and 39 deletions

View file

@ -8,8 +8,11 @@ Concurrency
- implement 'deepCopy' builtin
- implement 'foo[1..4] = spawn(f[4..7])'
- the disjoint checker needs to deal with 'a = spawn f(); g = spawn f()'
- support for exception propagation
- Minor: The copying of the 'ref Promise' into the thead local storage only
happens to work due to the write barrier's implementation
- 'gcsafe' inferrence needs to be fixed
- implement lock levels --> first without the more complex race avoidance
Misc