reentrant angle [数] 凹角 ; 重入角 ; 褶沟 ; 凹入角
reentrant function 可重入函数 ; 可重入性函数 ; 再入函数
reentrant program 可重入程序 ; [计] 重入程序
reentrant winding 闭合绕组 ; 双线线圈
Reentrant atrial tachycardia 折返性房性心动过速
reentrant polygon [数] 凹多边形
reentrant functions 可重入函数 ; 可重入性函数 ; 再入函数
double reentrant winding 双重入绕组
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
应用推荐