rafaeldff + systems + concurrent   2

Bell Labs and CSP Threads
This page is a slice of the history of concurrent programming, focusing on one particular lineage of Hoare's language of communicating sequential processes (CSP) [1] [1a]. Concurrent programming in this style is interesting for reasons not of efficiency but of clarity. That is, it is a widespread mistake to think only of concurrent programming as a means to increase performance, e.g., to overlap disk I/O requests, to reduce latency by prefetching results to expected queries, or to take advantage of multiple processors. Such advantages are important but not relevant to this discussion. After all, they can be realized in other styles, such as asynchronous event-driven programming. Instead, we are interested in concurrent programming because it provides a natural abstraction that can make some programs much simpler.
CSP  Hoare  C.A.R.Hoare  PiCalculus  concurrency  concurrent  programming  thread  theading  threads  Inferno  Plan9  Aleph  Squeak  Newsqueak  DougMcIlroy  Pan  Promela  Alef  Limbo  Libthread  Go  GoogleGo  language  languages  systems  SystemsProgramming  RobPike  history  BellLabs 
april 2012 by rafaeldff

Copy this bookmark:



description:


tags: