JavaMemoryModel: [ANN]: JmmSolve 0.1.2: generative implementation of CCMs

From: Tom Schrijvers (Tom.Schrijvers@cs.kuleuven.ac.be)
Date: Fri Mar 19 2004 - 03:10:04 EST


The next release of the generative implementation of CCMs, JmmSolve 0.1.2,
is available from:

http://www.cs.kuleuven.ac.be/~toms/jmmsolve/

JmmSolve automatically generates all possible valid behaviors, linkings of
reads and writes and corresponding values.

The current version is limited to normal variables and read and
(conditional) write events in the event language. We are planning to do
weekly updates, adding locking and volatile variables.

NEW in this release is a compiler from source language to event language.
This allows you to run simple CJ programs in more or less the syntax they
are posted here and see all the solutions. You can also look at the
generated intermediate event program, paste it in a file and modify (e.g.
change ordering between events).

Please have a look and let us know what you think.

Best,

Tom

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:01 EDT