SV: There is always the lecture circuit

["Teig, Oyvind UTCFS" <Oyvind.Teig@xxxxxxxxxxxxxxxx>]

From
http://www.ddj.com/go-parallel/blog/archives/2009/02/herb_sutter_isn.html

"Running tasks in isolation and communicate via async messages "

Is this the same as a buffered channel, that blocks when it's full (like in Promela),
  or pipes (with some ALTing semantics)
    or send and forget into commen message queue (one per pri) 
      where it's not possible to stop a message arriving, like with guards?
        and no WYSIWYG semantics?
          Handling started sessions in "peace" is difficult with "async messages",
          because a process often becomes its own scheduler.

Letter to Edward A. Parrish, The Editor, IEEE Computer. Peter Welch (University of Kent, UK) et al. http://www.cs.bris.ac.uk/~alan/Java/ieeelet.html (1997)

A CSP Model for Java Threads (and Vice-Versa). Peter Welch. Jeremy M. R. Martin. Logic and Semantics Seminar (CU Computer Laboratory) (2000) http://www.cs.kent.ac.uk/projects/ofa/jcsp/csp-java-model-6up.pdf


Med vennlig hilsen / sincerely
Øyvind Teig

--
Øyvind Teig
Senior dev.eng./utviklingsingeniør, M.Sc.
Autronica Fire and Security AS
A UTC Fire & Security Company
Tlf: +47 7358 2468 
Fax: +47 7358 2502
Mob: +47 9596 1506
oyvind.teig@xxxxxxxxxxxxxxxx 
www.autronicafire.no
home.no.net/oyvteig/pub - Publications
http://oyvteig.blogspot.com/

 

> -----Opprinnelig melding-----
> Fra: Mailing_List_Robot [mailto:sympa@xxxxxxxxxx] På vegne av 
> Bob Gustafson
> Sendt: 25. februar 2009 23:55
> Til: occam-com@xxxxxxxxxx
> Emne: There is always the lecture circuit
> 
> I think Herb Sutter was a C++ expert.
> 
> Now he is into concurrency, parallelism, etc.
> 
> http://www.ddj.com/go-parallel/blog/archives/2009/02/
> herb_sutter_isn.html
> 
> =======
> 
> With more promotion, the occam, JCSP, CSP Networking crew can 
> get into the act too.
> 
> Bob G
> 
>