如何使用Memory Model Tool内存模型工具？

导读

本文是一个如何使用Memory Model Tool 的工作示例。这个软件提供了一个机会来试验模型，从而对它如何工作有一个直观的理解。这些信息对软件开发人员、编译器编写人员和验证工程师很有用。这是关于 Memory Model Tool系列文章的第一部分。

作者： Jade Alglave

阅读直达链接: https://community.arm.com/dev...

欢迎大家点赞留言，更多Arm技术文章动态请关注极术社区Arm技术专栏。