Aspects of the design and implementation of CSP/80, a language based on Hoare9;s communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare9;s original notation ...
详细信息
Aspects of the design and implementation of CSP/80, a language based on Hoare's communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare's original notation as possible. the goal of the implementation has been to reduce the amount of reinvention by making utmost use of facilities provided by the operating system (UNIX). this has shortened the implementation time considerably. CSP/80 is to be used for evaluating CSP as a programming language for distributed processing applications.
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware...
详细信息
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware evaluator envisioned in the Applicative Multi-Processor Systems AMPS. Included in the analysis are a formalization of demand-driven computation, the introduction of an intermediate graphic language IGL to aid in the proofs, and discussion of pragmatic issues involved in the AMPS machine language design.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer...
详细信息
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer″ and a ″worker″ . the observer implements a Petri net-based abstract model of high level control specifications. the worker is composed of the set of running processes, implemented by standard methods. the basic principle consists of comparing at run time the current control states of both worker and observer through checkpoints. Both formal description and actual implementation are analyzed.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer...
详细信息
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer″ and a ″worker″ . the observer implements a Petri net-based abstract model of high level control specifications. the worker is composed of the set of running processes, implemented by standard methods. the basic principle consists of comparing at run time the current control states of both worker and observer through checkpoints. Both formal description and actual implementation are analyzed.
this paper outlines some of the things that an operating system designer looks for in a programming language. this working paper was submitted to the ***. SIGPLAN/SIGOPS Interface Meeting held at Savannah, Georgia fro...
the 705 Autocoder is a system of automatic coding for use withthe international Business Machines Corporation (IBM) EDPM type 705. However, before description of the system, the distinction between automatic programm...
详细信息
暂无评论