Explore Thread Synchronization in the Arm memory model
Introduction
Thread Synchronization, Arm Memory Model, and Tools
Herd7 and Litmus7 Test Primer
Thread Synchronization Examples
Additional Resources
Next Steps
Explore Thread Synchronization in the Arm memory model
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 .