morazow / jmm-litmus-tests

Java Memory Model Litmus Tests

jmm-litmus-tests

Java Memory Model Litmus Tests.

This repository contains JCStress tests for Understanding Java Memory Model (JMM) blog post.

Atomicity Tests

AtomicitySanityTests.java to check Java atomicity mechanisms.

• Plain variables
• Volatile variables
• Synchronized
• AtomicInteger

Java Memory Model (JMM) Litmus Tests

LitmusTests.java to evaluate Java JMM guarantees.

• Message Passing
• Store Buffering
• Load Buffering
• Coherence
• Independent Reads of Independent Writes (IRIW)

References

The official JCStress framework includes many more samples, for further information please refer to it.

License

MIT License (MIT)