• 可重入 - 引用次数：9

  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.

  本课题小组的研究方向是验证使用多种同步机制的并行程序正确性,本论文则重点关注如何验证使用读写锁和可重入锁这两种同步机制的低级并行代码的正确性,并探讨同时使用锁和事务内存混合同步机制的并行程序的形式化验证方法。

  参考来源 - 低级并行代码中几种同步机制的验证
  再入，重入 [亦作re-entrant]
  可重新进入
  可重入的
  可再入
  再进入
• 可重入的
• 可再入的

·2,447,543篇论文数据，部分数据来源于NoteExpress