[Gardeners] Shared State Concurrency specification.

[Gregory Martin Pfeil]

On 16 Jul 2006, at 6:07, Marco Monteiro wrote:

> The document in the link is not yet ready for prime time, but I've  
> been
> working on it for a while and I need feedback. Please comment.
>
> http://bragatel.pt/masm/ssc-spec.pdf
>
> Thank you.

Searching for "shared state concurrency" on Cliki returns some  
results (http://www.cliki.net/admin/search?words=shared-state 
+concurrency), the notable one being Bordeaux-Threads (http://common- 
lisp.net/project/bordeaux-threads/). While I've only taken a quick  
glance at your PDF, it seems to have a lot of the same functionality  
with some higher-level functionality that can be built on top of the  
lower stuff. Why not build on top of Bordeaux-Threads? It already  
works in six+ implementations, so gives you a portable layer to build  
the counting semaphores, cyclic barriers, and thread-mailbox on top of.

Disclaimer: Bordeaux-Threads is my implementation, based on a spec  
developed by Marco Baringer, and so I have a personal stake in it. I  
have done work to pull together the ad hoc and partial  
implementations found in Erlisp, CLOCC, and other sources, with the  
goal of having a single threading API that developers can target.

If there are specific issues or concerns with Bordeaux-Threads,  
please let me know about them. I think a higher-level library would  
be quite useful, but there's no need to re-write the portability  
layer underneath.