WoTUG - The place for concurrent processes

Communicating Process Architectures 2008

CPA 2008 will start on the evening of Sunday 7th September, through to lunchtime on Wednesday 10th September, at the University of York in Yorkshire (UK).

Welcome!

WoTUG is a forum set up to support those applying the CSP model of parallel processing. You will find on this site articles and information that can help you design and build concurrent software and hardware systems that really work, day in, day out, without any need to spend man-years of debugging effort.

  • Information on CSP, the mathematical basis of our work
  • Our papers, the distilled results of our work
  • The KRoC retargettable occam compiler
  • A page about the group.

The Abstract below is from a paper in our database:

Transactional CSP Processes

By Gail Cassar, Patrick Abela

Long-lived transactions (LLTs) are transactions intended to be executed over an extended period of time ranging from seconds to days. Traditional transactions maintain data integrity through ACID properties which ensure that: a transaction will achieve an "all-or-nothing" effect (atomicity); system will be in a legal state before a transaction begins and after it ends (consistency); a transaction is treated independently from any other transactions (isolation); once a transaction commits, its effects are not lost (durability). However, it is impractical and undesirable to maintain full ACID properties throughout the whole duration of a long lived transaction. Transaction models for LLTs, relax the ACID properties by organizing a long-lived transaction as a series of activities. Each activity is a discrete transactional unit of work which releases transactional locks upon its execution. Activities are executed in sequence and can either commit, rollback or suspend execution of the transaction. The long-lived transaction commits if all its activities complete successfully. If any of the activities fail, the long lived transaction should roll back by undoing any work done by already completed activities. Unless an activity requires the result of a previously committed activity, there is no constraint which specifies that the various activities belonging to a long lived transaction execute sequentially. Our proposed research focuses on combining long lived transactions and CSP such that independent activities execute in parallel thus achieving flexibility and better performance for long lived transactions. Very much as the occam CSP-based constructs, SEQ and PAR, allow processes to be executed sequentially or concurrently, the proposed SEQ_LLT and PAR_LLT constructs can be used to specify the sequential or concurrent execution of transactions. Two activities that are coordinated with the SEQ_LLT construct are evaluated in such a way that the second activity is executed only after the first activity commits. This corresponds to the SEQ construct which, from a concurrency perspective, executes in such a way that the second process starts its execution after the first process is complete. Similarly, PAR_LLT specifies that activities can start their execution, independently from whether any other activities have committed their transaction or not. We also use the same synchronization mechanisms provided by CSP to have concurrent activities communicate with one another. An activity which "waits" on a channel for communication with another concurrent activity is automatically suspended (and its transactional locks released) until it receives a message from another activity. A prototype implementation of the described constructs and some example applications have been implemented on SmartPay LLT (a platform loosely based on JSR95 developed by Ixaris Systems). This work has been part of an undergraduate dissertation at the University of Malta.

Complete record...

News

+ Wotug.org changing IP addresses. DNS might be slowto catch up !
+ CPA 2008 Announced this September in York, UK.
+ CPA 2007 Announced in Surrey, UK.
+ CPA 2006 papers added to the Papers Database.
+ CPA 2006 Announced in Edinburgh, UK.
+ CPA 2005 papers added to the Papers Database.
+ See the online books, including Networks, Routers and Transputers.
+ WoTUG Site awarded 4 Star Computing Coolsites by Emerald Insight.
+ CPA 2004 papers added to the Papers Database.
+ HENSA Parallel Archive now hosted at wotug.org as well as kent.ac.uk.

Page last modified on 6th April 2008
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org