【Key words】 concurrency verification； read-write locks； reentrant locks； assembly code； transactional memory； concurrent separation logic；
基于1个网页-相关网页
Our group’s research topic is verification of concurrent programs using diverse synchronization mechanisms. This dissertation mainly focuses on the verification of low-level concurrent programs using read-write locks and reentrant locks.
本课题小组的研究方向是验证使用多种同步机制的并行程序正确性,本论文则重点关注如何验证使用读写锁和可重入锁这两种同步机制的低级并行代码的正确性,并探讨同时使用锁和事务内存混合同步机制的并行程序的形式化验证方法。
参考来源 - 低级并行代码中几种同步机制的验证·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐