In this third part of the course we'll be expanding our toolkit by exploring some of the more nuanced uses of barriers in the Arm Architecture.

You'll learn:

  • Why Data Memory Barriers are not always sufficient to guarantee ordering.

  • How to use other barriers to enforce ordering in those situations.

  • How Arm formally defines ordering relationships in its weakly-ordered memory model.

  • How to test for missing barriers under simulation.

Total runtime: 2 hours 27 minutes.