| ... | @@ -41,7 +41,7 @@ Papers and other docs: |
... | @@ -41,7 +41,7 @@ Papers and other docs: |
|
|
At least the following interface will be provided
|
|
At least the following interface will be provided
|
|
|
|
|
|
|
|
- Control.Concurrent.MVar - everything except addMVarFinalizer
|
|
- Control.Concurrent.MVar - everything except addMVarFinalizer
|
|
|
- Control.Concurrent - ThreadId?,myThreadId,forkIO,yield,threadWaitRead\[1\],threadWaitWrite\[1\],threadDelay,threadSetPriority\[2\],threadGetPriority\[2\]
|
|
- Control.Concurrent - ThreadId?,myThreadId,forkIO,yield,threadWaitRead\[1\],threadWaitWrite\[1\],threadDelay
|
|
|
|
|
|
|
|
|
|
|
|
|
the FFI must be able to handle 'concurrent nonrentrant' imports, but not
|
|
the FFI must be able to handle 'concurrent nonrentrant' imports, but not
|
| ... | @@ -71,9 +71,6 @@ perhaps a better phrasing of the first proposal exists, in practice, from a user |
... | @@ -71,9 +71,6 @@ perhaps a better phrasing of the first proposal exists, in practice, from a user |
|
|
yield is guarenteed to choose an alternate thread if another one exists and is
|
|
yield is guarenteed to choose an alternate thread if another one exists and is
|
|
|
runnable.
|
|
runnable.
|
|
|
|
|
|
|
|
\[2\] priorities are advisory, but higher priority threads should be run in
|
|
|
|
|
preference to lower priority ones.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
threadDelay guarentees the thread will wait as long as its argument at a
|
|
threadDelay guarentees the thread will wait as long as its argument at a
|
|
|
minimum. it may be blocked for longer.
|
|
minimum. it may be blocked for longer.
|
| ... | @@ -83,8 +80,6 @@ minimum. it may be blocked for longer. |
... | @@ -83,8 +80,6 @@ minimum. it may be blocked for longer. |
|
|
\[1\] may be moved to another module (Control.Concurrent.IO?) , routines working on Handles should be
|
|
\[1\] may be moved to another module (Control.Concurrent.IO?) , routines working on Handles should be
|
|
|
added too.
|
|
added too.
|
|
|
|
|
|
|
|
\[2\] possibly, if we decide to go with priorities
|
|
|
|
|
|
|
|
|
|
# Optional extensions to basic standard
|
|
# Optional extensions to basic standard
|
|
|
|
|
|
|
|
|
|
|
| ... | | ... | |