首页>
外国专利>
DEADLOCK FREE SYNCHRONIZATION SYNTHESIZER FOR MUST-HAPPEN-BEFORE RELATIONS IN PARALLEL PROGRAMS AND METHOD THEREOF
DEADLOCK FREE SYNCHRONIZATION SYNTHESIZER FOR MUST-HAPPEN-BEFORE RELATIONS IN PARALLEL PROGRAMS AND METHOD THEREOF
展开▼
机译:并行程序中必须先发生的无锁止同步合成器及其方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A deadlock free synchronization synthesizer for must-happen-before relations in at least two parallel programs or at least two threads each having multiple code segments has an input device to specify a synchronization point to involving code segments for each parallel program or thread and must-happen-before relations to the synchronization point, an analyzing module connected to the input device to detect existence of a deadlock in the parallel programs by using the must-happen-before relations, and a synthesizing module connected to the analyzing module to synthesize a practice code corresponding to the parallel programs if the deadlock existence detection is negative.
展开▼