| ... | ... | @@ -84,7 +84,7 @@ For (1), we have two choices: |
|
|
|
for example.
|
|
|
|
|
|
|
|
- Provide STM. Not entirely trivial to implement, even in a single-threaded implementation, because
|
|
|
|
exceptions have to abort a transaction.
|
|
|
|
exceptions have to abort a transaction. Ross Paterson provided an [ implementation](http://www.haskell.org//pipermail/haskell-prime/2006-March/001108.html).
|
|
|
|
|
|
|
|
|
|
|
|
For (2), one option is [ForeignBlocking](foreign-blocking).
|
| ... | ... | |