/jmm-litmus-tests

Java Memory Model Litmus Tests

Primary LanguageJavaMIT LicenseMIT

jmm-litmus-tests

Build Status

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)