Concurrent Programming

1  bool withdraw(int withdrawal) {

2     if( balance > withdrawal ) {

3         balance = balance - withdrawal;

4         return true;

5     } else return false;

6  }

• Ada


• Afnix – concurrent access to data is protected automatically (previously called ''Aleph'', but unrelated to ''Alef'')


• Alef – concurrent language with threads and message passing, used for systems programming in early versions of Plan 9 From Bell Labs


• Alice – extension to Standard ML , adding support for concurrency through futures.


• ChucK – domain specific programming language for audio


• Cilk – a concurrent C


• Cω – C Omega, a research language extending C#, uses asynchronous communication


• Concurrent Pascal – by Brinch-Hansen


• Corn


• Curry


• E – uses promises, ensures deadlocks cannot occur


• Erlang – uses asynchronous message passing with nothing shared


• Janus features distinct "askers" and "tellers" to logical variables, bag channels; is purely declarative


• Join Java – concurrent language based on the Java Programming Language


• Joule – dataflow language, communicates by message passing


• Limbo – relative of Alef , used for systems programming in Inferno (operating System)


• Oz – multiparadigm language, supports shared-state and message-passing concurrency, and futures


• --- Mozart Programming System – Multiplatform Oz


• MultiLisp – Scheme variant extended to support parallelism


• Occam – influenced heavily by Communicating Sequential Processes (CSP).


• --- Occam-π – a modern variant of Occam , which incorporates ideas from Milner's π-calculus


• Pict – essentially an executable implementation of Milner's π-calculus


• SALSA – actor language with token-passing, join, and first-class continuations for distributed computing over the Internet


• SR – research language

• The Actor Model


• Petri Net s


• Process Calculi such as


• --- Ambient Calculus


• --- Calculus Of Communicating Systems


• --- Communicating Sequential Processes


• --- π-calculus

• Message Passing Programming


• Ptolemy Project