基于Elastos线程同步机制的死锁检测技术研究

Research on Techniques for Deadlock Detection Based on Synchronization Mechanism of Thread in Elastos

Elastos是基于构件的操作系统,构件对象的行为模式决定了内核底层机制的实现。在Elastos中,进程对象、线程对象以及线程的同步对象等都是构件对象。介绍了Elastos的CAR构件技术及与之相应的线程同步机制,在此基础上分析了一类资源死锁产生的可能原因;结合Elastos本身的相关特点,讨论了实现死锁检测技术的各个环节,综合考虑了可靠性、正确性及效率方面的要求,给出了一个可行的死锁检测算法。通过实际验证,此算法可以得到正确的结果。

Elastos is a component-based os. The behavior model of component object determines bottom mechanism in kernel. In Elastos, process object, thread object and synchronized object of thread are all component objects. Introduced the CAR component technique and the corresponding synchronization mechanism of thread in Elastos, analysed the possible reason for causing deadlock;Combining with the characteristic of Elastos,it discussed each tache of implemention for deadlock detection techniques, considered demands of credibility, correctness and efficiency, and put forward a feasible algotithm of deadlock detection. This algotithm can obtain correct results by verification of actual case.