reentrant functions可重入函数;可重入性函数;再入函数
reentrant oscillator凹状空腔振荡器
reentrant orifice凹入孔口
reentrant cathode[电] 凹形阴极
reentrant procedure[计] 重入过程;可重入过程;可重入过程英语
reentrant execution重入操作
reentrant surface重入表面
Reentrant Locks可重入锁
reentrant movement折返运动
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.
本课题小组的研究方向是验证使用多种同步机制的并行程序正确性,本论文则重点关注如何验证使用读写锁和可重入锁这两种同步机制的低级并行代码的正确性,并探讨同时使用锁和事务内存混合同步机制的并行程序的形式化验证方法。
参考来源 - 低级并行代码中几种同步机制的验证