[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Database transactions, a Higher-level primitive in CSP?
Marcel writes (more far below):
> 3. As far as I know, it has been completely ignored by the
Bernard Sufrin mentions database transactions in his eCSP documents:
He has something he calls SERVICE and ASPECT.
"Database liaison for services is via abstract table descriptions"
I don't know if this matches your thoughts, Marcel.
@ Oyvind Teig (oyvind.teig@xxxxxxxxxxxx, oyvind.teig@xxxxxxxxxxxx)
@ Navia Maritime AS, division Autronica, 7005 Trondheim Norway
@ Tel: +47 73 58 12 68, Fax: +47 73 58 10 01
@ Now part of world's largest company in maritime electronics:
@ Publications at: http://www.autronica.no/pub/tech/rd/index.htm
Added by Teig:
You can subscribe to this group by sending a mail to
Peter Welch P.H.Welch@xxxxxxxxx
There are two groups: "occam-com" and "java-threads"
Rick mentiones the article:
> See SEMAPHOREs, RESOURCEs, EVENTs and BUCKETs
> (formerly: Higher Levels of Process Synchronisation in occam) by Welch &
> "Channels are not enough" is the opening introduction.
>- RESOURCE locks
>- EVENT (barrier) sync
>- BUCKET synchronisation
I think the following "primitive" should be added:
- TRANSACTION. A Database Transaction, or transaction for short
allows realiable communication between any number of Processes
without prior knowledge of their communication behavior. Processes
perform transactions on the Database. Deadlock situations are
detected by the Database, and the deadlock situation is broken.
Processes may be asked by the Database to retry their transaction.
The Database guarantees the absense of both lifelock and deadlock.
During a Transaction, the Database gives a consistent view of the
1. There is a world of literature on this subject.
2. It is a widely and succesfully used communication mechanism.
3. As far as I know, it has been completely ignored by the CSP community.
What do you think?
ps. I hope that by raising many questions, I also get a lot of answers.
Tell me if you get tired from reading my remarks.