Additional Resources

Exploring the Memory Model Further

This Learning Path took you through a practical approach to exploring the Arm memory model and thread synchronization.

If you would like to explore this topic further and more formally, read through these posts from the Arm Architectures and Processors Blog:

• A working example of how to use the herd7 Memory Model Tool .
• How to generate litmus tests automatically with the diy7 tool .
• Running litmus tests on hardware using litmus7 .
• Expanding the Memory Model Tools to System-level architecture .

The diy7 documentation also provides links to papers that explore memory models more formally.

Documentation on Barriers

• Barriers on Armv8 .
• Load-Acquire and Store-Release on Armv8 .
• Barrier Litmus Tests and Cookbook . This was written in 2009, but is still relevant.

More Tests to Explore

There are many more tests that can be explored in the herd7 simulator tool .