An interrupt driven paradigm of concurrent programming

Abstract

This paper introduces a class of concurrent programming construct based on an interrupt driven paradigm. This programming model is designed to simplify the application of conventional imperative programming techniques to distributed parallel processing environments in which processors have no physical memory in common. The paper uses the notation of CSP to demonstrate a theoretical basis and identify safety properties for this approach, and describes the semantics and application of an actual programming construct which falls into this class.