Skip to content

Commit 8babf2d

Browse files
committed
added link from RAP8 to RAP10
1 parent 5f5521a commit 8babf2d

File tree

1 file changed

+1
-1
lines changed
  • courses/RascalAmendmentProposals/RAP8

1 file changed

+1
-1
lines changed

courses/RascalAmendmentProposals/RAP8/RAP8.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ As file locations, the `loc` type, in Rascal is highly prominent and these “po
7575
* Each loop iteration has access to the same shared but immutable data, this is cheap since only references to shared data need to be passed. (Shallow) cloning is never even necessary to share data safely.
7676
* Deadlocks and races are not possible for code which does not pass closure values to the body of fork loops.
7777
* Deadlocks and races are indeed pretty hard to construct, but still possible:
78-
* The fork would need to share references to previously constructed variable-reference capturing closures, or share file locks.
78+
* The fork would need to share references to previously constructed variable-reference capturing closures, or share file locks ((RAP10)).
7979
* To make this sane and usable, at least all such captured variables should be declared `volatile` in the generated code. However, this may be overkill.
8080
* Open question: do we need to provide locking mechanisms for reference captured variables on the language level?
8181
* Hopefully not, since it is only required by corner cases due to the above design. Almost never will writable references be captured by concurrent blocks of code.

0 commit comments

Comments
 (0)