AN EXCEPTION HANDLING MECHANISM FOR SR

This paper defines an exception handling mechanism for the SR concurrent programming language. It uses the language's communication primitives as the basis for exception signaling and handling. Exceptions are declared, signaled, and handled much like SR's operations. Each operation declaration must define possible exceptions that its body may raise to an invoker. An invoker must provide exception handling capabilities with its invocation statement. An exception can be propagated explicitly along the invocation chain or signaled directly to its handler. The novel integration of exception handling with operations results in parameterized exceptions and both synchronous and asynchronous signaling and handling, thus allowing programmers to simulate any of the common exception handling models. © 1990.