A run-time system for SCOOP

Abstract

Over a period of a decade Bertrand Meyer has promoted SCOOP - a concurrency mechanism designed especially for Eiffel - but no implementation has been made widely available. In this paper we describe our initial implementation of SCOOP using the GNU Eiffel compiler. We focus on the run-time system, showing how SCOOP'S synchronization mechanisms depend on the solution of a dynamic mutual exclusion problem; we give a solution using a thread and lock manager. We present a number of benchmarks, and discuss which features remain to be completed. Show more