Join Java

[attachment=17307]
Join Java is a programming language that extends the standard Java programming language with the join semantics of the join-calculus.

It was written at the University of South Australia within the Reconfigurable Computing Lab by Dr. Von Itzstein.


Join calculus



Join calculus has explicit synchronization based on a localized conjunction of events defined as reduction rules.

The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other process calculi

Join semantics try to provide explicit expressions of synchronization without breaching the object-oriented idea of modularization, including dynamic creation and destruction of processes and channels.

Advantages

The Join Java language can express virtually all published concurrency patterns without explicit recourse to low-level monitor calls.

In general, Join Java programs are more concise than their Java equivalents.

The overhead introduced in Join Java by the higher-level expressions derived from the Join calculus is manageable.

The synchronization expressions associated with monitors (wait and notify) which are normally located in the body of methods can be replaced by Join Java expressions (the Join methods) which form part of the method signature.


Asynchronous methods


Asynchronous methods are defined by using the signal return type.
This has the same characteristics as the void type except that the method will return immediately.

When an asynchronous method is called a new thread is created to execute the body of the method.