Eclipse Update Site

http://jscoop.googlecode.com/svn/update.site/

INTRODUCTION

Concurrent systems are becoming more commonplace quicker than developers are learning to leverage their potential. There is a distinct need for a simple, practical, and easy-to-use framework that allows developers to migrate new and existing code into a form that can utilize concurrent hardware more effectively.

SCOOP is a concurrent extension to the Eiffel programming language that adds support for objects running on different “processors”, but still with the ability to interact with each other. The SCOOP model eliminates race conditions and atomicity violations by construction.

In this work we describe JSCOOP: an implementation of the SCOOP system using multi-threaded Java. Our implementation is simple (adding only two keywords), allows use of both concurrent and sequential architecture, and best-of-all allows developers to re-use their existing sequential libraries.

@SEPARATE/@AWAIT

JSCOOP adds two new keywords (as Java annotations): @separate and @await. The @separate keyword applies to existing types, and designates that the operations on a given object will be executed on a different processor than the current one. Processor is an abstract notion which can be mapped to threads, processes or even physical CPUs. The @await keyword is a synchronization construct that applies to methods and is used to ensure a condition is satisfied before the method executes. The calling processor waits until the condition is satisfied.