Exception handling for a communicating‐sequential‐processes‐based extension of C++

Abstract An exception handling system for a language defined as a CSP/OCCAM‐based extension of C++ is presented. This language is part of a project we are developing which aims at constructing a high level programming environment for transputer‐based multiprocessors. In this proposal, the replacement model of Yemini and Berry (1985) is considered, parallelism and exception handling are closely combined, making process pre‐emption available but raising problems of atomicity and non‐determinism. These problems are discussed, a solution is suggested and an efficient implementation we have carried out is presented.