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.
| Original language | English |
|---|---|
| Pages (from-to) | 119-157 |
| Number of pages | 39 |
| Journal | Journal of Object Technology |
| Volume | 1 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2002 |