...序可以「在任意时刻被中断然后操作系统调度执行另外一段代码,这段代码又调用了该子程序不会出错,则称其为可重入(reentrant或re-entrancy)的。
基于16个网页-相关网页
可重入程序 [计] reenterable program ; reentrant program ; [计] reenterable routine
可重入性 Reentrancy ; [计] reenterability
可重入的 [计] reenterable ; reentrant
可重入函数 reentrant function
可重入锁 ReentrantLock ; RLock ; Shared Reentrant Lock
可重入模块 reenterable module
可重入辅程序 reenterable subprogram
可重入性函数 reentrant functions
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.
本课题小组的研究方向是验证使用多种同步机制的并行程序正确性,本论文则重点关注如何验证使用读写锁和可重入锁这两种同步机制的低级并行代码的正确性,并探讨同时使用锁和事务内存混合同步机制的并行程序的形式化验证方法。
参考来源 - 低级并行代码中几种同步机制的验证Semiconductor manufacturing system is a class of complex manufacturing system with re-entrant being its feature. Because of the re-entrant, equipments are shared by many lots even though they may be at different stages of their manufacturing life.
半导体制造系统存在可重入现象,即工件在工艺流程的不同阶段使用同一台设备进行加工,半导体生产线因此被称为第三类系统。
参考来源 - 可重入半导体生产线的仿真与调度·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐