| ... | @@ -104,9 +104,7 @@ The only differences between implementations are in the granularity and position |
... | @@ -104,9 +104,7 @@ The only differences between implementations are in the granularity and position |
|
|
- For yhc, yield is inserted after some count of bytecode instructions.
|
|
- For yhc, yield is inserted after some count of bytecode instructions.
|
|
|
|
|
|
|
|
|
|
|
|
|
Arguably, Hugs has made the wrong choice from a fairness point of view,
|
|
Arguably, Hugs has made the wrong choice from a fairness point of view. It would be possible to make Hugs yield more often, such as in IO-monad's bind operator, but even this wouldn't be quite enough for fairness, because a thread might hang indefinitely performing a non-IO computation. Yielding outside of the IO monad in Hugs doesn't seem possible without overhauling the concurrency implementation completely.
|
|
|
but moving the position of the yield, or inserting them more frequently,
|
|
|
|
|
should not be a big deal.
|
|
|
|
|
|
|
|
|
|
---
|
|
---
|
|
|
|
|
|
| ... | | ... | |