[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

SV: There is always the lecture circuit


"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
home.no.net/oyvteig/pub - Publications


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