13 Feb
2009
13 Feb
'09
4:11 a.m.
On Fri, Feb 13, 2009 at 2:05 AM, Chung-chieh Shan
... It's not unheard of for the scheduler to react in different ways to the same system call -- I'm thinking of reading from a file, for example.
Sure, I went implementing something slitghtly different to double check my understanding of delconts.
You clearly understand the whole idea, and your code demonstrates it in a nice way. Oleg and I have found this programming style particularly convenient when we need to - fork processes (i.e., backtrack in the monad), - run the same processes under different schedulers (e.g., a debugger), - nest the applications of schedulers (i.e., provide virtualization).
Thanks for your feedback. Cristiano