Re: CSP for OS?

[Richard Beton <rdb@xxxxxxxxxx>]

dyke wrote:

> Has anyone ever worked on operating systems in CSP???

CSP and compositional semantics are just what's needed for designing a large
multi-threaded thing like an operating system.

<MUSE-ALOUD>
Wouldn't it be really nice to have a new all-dynamic version of occam suitable
to the task of handling the creation and deletion of all those application and
service level 'objects' on the fly (surely one of the primary tasks of an OS)!
Call it occam5. Then, just like C and Unix, everyone would want to do all their
systems level programming in occam5 and before you knew it, it would become the
applications language of first choice!
</MUSE-ALOUD>

Rick

PS I chose occam5 because occam1 through 3 are already defined and occam4 has
been mentioned in the past!
--
Richard Beton B.Sc. C.Phys. M.Inst.P.
Roke Manor Research Limited (http://www.roke.co.uk/)
--------- Standard Disclaimer about my own views etc etc --------
---------  My mail client accepts rich text (HTML) mail  --------
Welsh Highland Railway: http://www.whr.co.uk/WHR/WHR.html