Concurrent Programming in T-Cham

Wanli Ma
Computer Sciences Laboratory, RSISE, ANU, ACT 0200, Australia.
ma@cslab.anu.edu.au

Christopher W. Johnson
Department of Computer Science, ANU, ACT 0200, Australia.
Chris.Johnson@cs.anu.edu.au

Richard P. Brent
Computer Sciences Laboratory, RSISE, ANU, ACT 0200, Australia.
rpb@cslab.anu.edu.au

Abstract

A coordination style programming language, T-Cham, is proposed. It is based on chemical abstract machine (Cham) and transaction programming paradigm. Hierarchical tuple spaces, where the ``molecules'' of the Cham reside, are used to coordinate the concurrent transactions, which could be written in any language, such as C, Pascal, or Fortran etc., even T-Cham itself (nested transaction happens), as long as they satisfy their pre-conditions and post-conditions. A transaction can begin its execution whenever its execution condition is met. T-Cham has an intuitive presentation and yet a formal background. A T-Cham program can be executed in a parallel, distributed, or sequential manner based on the available resources.

Conference Home Page