This report describes the concurrent execution and synchronization facilities of a prototype systems implementation language for Intel's iAPX-432 microprocessor. Full exploitation of the 432's facilities places many demands on a language intended for systems implementation. This report describes the prototype languages support for the 432's dynamic, message-based model of concurrency. (Author)
展开▼