Check patentability & draft patents in minutes with Patsnap Eureka AI!

Deadlock detection method in operating system

A deadlock detection and operating system technology, applied in software testing/debugging, multiprogramming, etc., to solve problems such as performance sensitivity, large amount of operating system code, and inability to detect operating system deadlocks.

Active Publication Date: 2013-11-20
SUZHOU INST FOR ADVANCED STUDY USTC
View PDF3 Cites 21 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Due to the large amount of operating system code and sensitivity to performance, there were few studies on operating system deadlocks in the past. The deadlock detection tool pluse is implemented at the operating system layer, but this tool can only detect deadlocks in applications, and Cannot detect deadlocks in the operating system itself

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Deadlock detection method in operating system
  • Deadlock detection method in operating system
  • Deadlock detection method in operating system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] The above solution will be further described below in conjunction with specific embodiments. It should be understood that these examples are used to illustrate the present invention and not to limit the scope of the present invention. The implementation conditions used in the examples can be further adjusted according to the conditions of specific manufacturers, and the implementation conditions not indicated are usually the conditions in routine experiments.

[0032] Embodiment deadlock detection method and experimental result

[0033]1. Principle description of deadlock detection method

[0034] The principle of the deadlock detection method in this embodiment is to check whether the lock holder linked list HOLDER_LIST is empty at regular intervals (specify search_cycle), and if it is not empty, check whether the lock holders are lock waiters. If the check result is true, check whether a circular waiting graph is formed between the lock holders and the waiters, and ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a deadlock detection method in an operating system. Aiming at the phenomenon that multiple processes or threads in the operating system are executed simultaneously, the method comprises the following steps: 1), detecting whether a lock holder list (HOLDER_LIST) is empty or not every other predeterminated deadlock detection period; 2), detecting whether each lock holder in the HOLDER_LIST is a lock waiter or not when the HOLDER_LIST is not empty; 3) detecting whether a circulating waiting map can be formed between the lock holder and the lock waiter or not when the lock holder is the lock waiter, wherein only when the HOLDER_LIST is not empty, the lock holder in the HOLDER_LIST is the lock waiter, and the circulating waiting map can be formed between the lock holder and the lock waiter, deadlock exists when the processes or threads in the operating system are executed simultaneously; or the deadlock does not exist when the processes or threads in the operating system are executed simultaneously. According to the method, the deadlock in the operating system can be detected accurately, the source code of the operating system and a source program to be detected are not required to be modified, and the impact on the performance of the operating system is lower than 1 percent.

Description

technical field [0001] The invention belongs to the technical field of operating system optimization, and in particular relates to a deadlock detection method in an operating system. Background technique [0002] In order to give full play to the performance of multi-core cpu, concurrent program design has been very extensive, but the development of concurrent programs faces many challenges, deadlock is one of them. 19% of device driver errors are due to concurrency, and 72% (67 / 93) of these concurrency errors are related to deadlocks, literature S.Lu, S.Park, E.Seo, et al.Learning from mistakes–a comprehensive study on real world concurrency bug characteristics. In Proc.13th Intl.Conf.on Architectural Support for Programming Languages ​​and Operating Systems, 2008, through concurrency errors in 4 major open source software: MySQL, Apache, Mozilla and OpenOffice Analysis was performed and it was found that 30% (31 / 105) of the errors were caused by deadlocks. [0003] The m...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F11/36G06F9/46
Inventor 李曦陈香兰周学海张海鹏贾刚勇朱宗卫
Owner SUZHOU INST FOR ADVANCED STUDY USTC
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More