文档介绍：基于Elastos线程同步机制的死锁检测技术研究*
张捷1,2,陈榕1
(,上海 200092;,安徽芜湖 241000)
摘要: Elastos是基于构件的操作系统,构件对象的行为模式决定了内核底层机制的实现。在Elastos中,进程对象、线程对象以及线程的同步对象等都是构件对象。介绍了Elastos的CAR构件技术及与之相应的线程同步机制,在此基础上分析了一类资源死锁产生的可能原因;结合Elastos本身的相关特点,讨论了实现死锁检测技术的各个环节,综合考虑了可靠性、正确性及效率方面的要求,给出了一个可行的死锁检测算法。通过实际验证,此算法可以得到正确的结果。
关键词: Elastos;构件对象;线程同步;死锁检测
中图法分类号: 文献标识码: A
Research of Techniques for Deadlock Detection Based on Synchronization Mechanism of Thread in Elastos
Zhang Jie1,2,Chen Rong1
(1. System Software Center, Tongji University, Shanghai 200092,China; 2. Anhui Normal University, Wuhu Anhui 241000,China)
Abstract: Elastos is ponent-based os. The behavior model ponent object determines bottom mechanism in kernel. In Elastos, process object, thread object and synchronized object of thread are ponent objects. This paper introduces the ponent technique and the corresponding synchronization mechanism of thread in Elastos, analyses the possible reason for causing deadlock; Combining with the characteristic of Elastos, it discusses each tache of implemention for deadlock detection techniques, considers demands of credibility,correctness and efficiency, and puts forward a feasible algotithm of deadlock detection. This algotithm can obtain correct results by verification of actual case.
Key words: ponent object;Thread synchronization;Deadlock detection
0 引言
“和欣”[1](Elastos)操