RE: There is always the lecture circuit

[Kevin Chalmers <k.chalmers@xxxxxxxxxxxx>]

"Running tasks in isolation and communicate via async messages "

Most likely it's the fire and forget and hope the buffer doesn't overflow
variety - Erlang style concurrency.  This seems to be the current method
everyone is interested in (Erlang, Scala actors, F# Async Mailboxes,
Microsoft Concurrency and Coordination Runtime).  There is sometimes some
form of guard available, be it one that allows checking of the incoming
message, or selection of one from multiple inputs.

Kevin

-----Original Message-----
From: Mailing_List_Robot [mailto:sympa@xxxxxxxxxx] On Behalf Of Teig, Oyvind
UTCFS
Sent: 26 February 2009 08:24
To: Bob Gustafson; occam-com@xxxxxxxxxx
Cc: oyvind.teig@xxxxxxxx
Subject: SV: There is always the lecture circuit


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
> 
> 




Edinburgh Napier University is the best modern university in Scotland* and number one in Scotland for graduate employability**
(*Guardian University Guide 2009)
(**HESA 2008)

This message is intended for the addressee(s) only and should not be read, copied or disclosed to anyone else out-with the University without the permission of the sender.
It is your responsibility to ensure that this message and any attachments are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this email or any attachment, or for errors or omissions arising after it was sent. Email is not a secure medium. Email entering the University's system is subject to routine monitoring and filtering by the University.
Edinburgh Napier University is a registered Scottish charity. Registration number SC018373