Formal Semantics
and Interactive Environment
for Parallel Object-Oriented Programming

 INRIA
CNRS
UNSA

Isabelle Attali and Denis Caromel
Marjorie Russo

Isabelle.Attali@sophia.inria.fr
Denis.Caromel@sophia.inria.fr
Marjorie.Russo@sophia.inria.fr


An Example

As an illustration, the following Figure presents a Java program. This program is a well known producer-consumer program.



This program is using multi-threading : the main thread (the one which executes the main method) begins by creating a simple object (represented by c) and three others threads (represented by c1, p1 and c2) and then the three threads execute themselves with interleaving. Interleaving enables us to simulate the concurrent execution of several threads on a one-processor computer.

Contacts

Isabelle Attali
Croap
INRIA Sophia Antipolis BP 93
06902 Sophia Antipolis - France
(33) 4 92 38 79 10
Isabelle.Attali@sophia.inria.fr
 Denis Caromel
Sloop
INRIA Sophia Antipolis BP 93
06902 Sophia Antipolis - France
(33) 4 92 38 76 31
Denis.Caromel@sophia.inria.fr
 Marjorie Russo
Croap
INRIA Sophia Antipolis BP 93
06902 Sophia Antipolis - France
Marjorie.Russo@sophia.inria.fr

Since March, 16, 1998, you are our    th   visitor.
Thanks for visiting!