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

• Next message: Sylvia Else: "Re: JavaMemoryModel: Are correctly synchronized code fragment executions SC?"
• Previous message: Thomas Wang: "Re: JavaMemoryModel: Another litmus test for strong vs. weak volatiles"
• In reply to: Tom Schrijvers: "JavaMemoryModel: [ANN]: JmmSolve 0.1: generative implementation of CCMs"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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

• Next message: Sylvia Else: "Re: JavaMemoryModel: Are correctly synchronized code fragment executions SC?"
• Previous message: Thomas Wang: "Re: JavaMemoryModel: Another litmus test for strong vs. weak volatiles"
• In reply to: Tom Schrijvers: "JavaMemoryModel: [ANN]: JmmSolve 0.1: generative implementation of CCMs"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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