Continuation-based multiprocessing

摘要: Any multiprocessing facility must include three features: elementary exclusion, data protection, and process saving. While exclusion rest on some hardware (e.g. a test-and-set instruction), the other two requirements are fulfilled by features already present in applicative languages. Data protection may be obtained through use of procedures (closures or funargs),and saving CATCH operator. The CATCH, particular, allows an elegant treatment saving.We demonstrate these techniques writing kernel modules for system. is very small. Many functions which one would normally expect to find inside completely decentralized. We consider implementation schedulers, interrupts, implications ideas language design.