当今分布式架构系统越来越多，多线程并发问题也越来越成为关注的焦点。由于软件系统本身的复杂性和并发性的非确定性，并发软件系统中的错误很难检测和回放。数据争用是并发错误的主要来源，如何检测并回放数据争用过程成为解决多线程并发错误的关键。
为此，上海市计算机软件评测重点实验室（以下简称“重点实验室”）于2019年6月6日下午特邀美国西密西根大学计算机科学系Zijiang James Yang教授针对多线程并发的错误检测和回放问题做了题为“并发软件系统的错误检测和执行回放”的报告，本次报告由重点实验室主任刘振宇主持，并代表重点实验室全员对Yang教授的到访表示热烈欢迎。
本次报告中，Yang教授介绍了多线程并发死锁产生的原因、死锁检测以及回放原理。针对死锁检测，提出了在错误半径内选择优先级变化点的方法，该方法可以保证触发死锁的概率更大，实验结果表明由于错误半径的存在，可以将找到死锁错误的概率提高7000倍。此外，Yang教授还针对死锁回放提出了基于处理器的记录和回放解决方案，该解决方案不需要检测和记录共享内存依赖性，就能实现多处理器执行回放。在回放期间，使用基于SMT求解器的算法离线重构线程之间的共享内存依赖关系。
报告结束后，与会人员就Yang教授的报告内容进行提问，发表了自己的见解。Yang教授针对所提问的问题进行了详细解答，并展开了深入探讨。
