CN106201730A - A kind of linux User space mutual exclusion lock deadlock detection method and system - Google Patents
A kind of linux User space mutual exclusion lock deadlock detection method and system Download PDFInfo
- Publication number
- CN106201730A CN106201730A CN201610532713.1A CN201610532713A CN106201730A CN 106201730 A CN106201730 A CN 106201730A CN 201610532713 A CN201610532713 A CN 201610532713A CN 106201730 A CN106201730 A CN 106201730A
- Authority
- CN
- China
- Prior art keywords
- mutual exclusion
- exclusion lock
- user space
- deadlock
- lockdep
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
- G06F9/524—Deadlock detection or avoidance
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
- G06F9/526—Mutual exclusion algorithms
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
The invention discloses a kind of linux User space mutual exclusion lock deadlock detection method, including: User space mutual exclusion lock data structure is packaged with lockdep data structure；The User space mutual exclusion lock interface introducing kernel lockdep deadlock free program is packaged；By the User space mutual exclusion lock interface after encapsulation, it is compiled into User space mutual exclusion lock detection dynamic chained library, generates mutual exclusion lock Deadlock Detection library file；According to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；Perform the operation of described mutual exclusion lock Deadlock Detection, if there is deadlock, then record deadlock information；The method can detect linux User space mutual exclusion lock deadlock accurately by calling lockdep module；The invention also discloses a kind of linux User space mutual exclusion lock Deadlock Detection system.
Description
Technical field
The present invention relates to operating system failure management domain, particularly to a kind of linux User space mutual exclusion lock Deadlock Detection
Method and system.
Background technology
Deadlock is exactly multiple process (thread) to be absorbed in because of waiting oneself required resource that other process occupied
A kind of state blocked, deadlock state is once formed, and process can't resolve itself, needs external promotion, could solve,
The most important thing is that deadlock not only influences the course business, but also can occupying system resources, affect other processes.Kernel deadlock is
One of problem of long-standing problem kernel development personnel；Linux system User space c program equally exists Deadlock, therefore, how
Detect linux User space mutual exclusion lock deadlock accurately, be those skilled in the art's technical issues that need to address.
Summary of the invention
It is an object of the invention to provide a kind of linux User space mutual exclusion lock deadlock detection method and system, all can pass through
Call lockdep module and can detect linux User space mutual exclusion lock deadlock accurately.
For solving above-mentioned technical problem, the present invention provides a kind of linux User space mutual exclusion lock deadlock detection method, including:
User space mutual exclusion lock data structure is packaged with lockdep data structure；
The User space mutual exclusion lock interface introducing kernel lockdep deadlock free program is packaged；
By the User space mutual exclusion lock interface after encapsulation, it is compiled into User space mutual exclusion lock detection dynamic chained library, generates
Mutual exclusion lock Deadlock Detection library file；
According to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；
Perform the operation of described mutual exclusion lock Deadlock Detection, if there is deadlock, then record deadlock information.
Wherein, User space mutual exclusion lock data structure is packaged with lockdep data structure, including:
User space mutual exclusion lock data structure pthread_mutex_t is added the lockdep_map of lockdep Deadlock Detection
Data structure.
Wherein, the User space mutual exclusion lock interface introducing kernel lockdep deadlock free program is packaged, including:
Introduce kernel lockdep deadlock free program, define User space file；Wherein, described User space file includes
Lockdep.c, lockdep_states.h and lockdep_internals.h；
According to described User space file, User space mutual exclusion lock interface is packaged；Wherein, described User space mutual exclusion interlocking
Mouthful include: PTHREAD_MUTEX_INITIALIZER, pthread_mutex_init, pthread_mutex_lock,
pthread_mutex_unlock、pthread_mutex_trylock、pthread_mutex_destroy。
Wherein, perform the operation of described mutual exclusion lock Deadlock Detection, including:
Judge whether introduce described mutual exclusion lock Deadlock Detection library file during compiling；
If introducing, then perform the operation of described mutual exclusion lock Deadlock Detection.
Wherein, record deadlock information, including:
Print deadlock information.
The present invention provides a kind of linux User space mutual exclusion lock Deadlock Detection system, including:
Data structure package module, for being packaged User space mutual exclusion lock data structure with lockdep data structure；
Interface encapsulation module, for being packaged the User space mutual exclusion lock interface introducing kernel lockdep deadlock free program；
Collector, for by the User space mutual exclusion lock interface after encapsulation, is compiled into the detection of User space mutual exclusion lock the most quiet
State chained library, generates mutual exclusion lock Deadlock Detection library file；
User space program module, for according to described mutual exclusion lock Deadlock Detection library file compiling mutual exclusion lock Deadlock Detection behaviour
Make；Perform the operation of described mutual exclusion lock Deadlock Detection, if there is deadlock, then record deadlock information.
Wherein, described data structure package module is specially User space mutual exclusion lock data structure pthread_mutex_t
Add the module of the lockdep_map data structure of lockdep Deadlock Detection.
Wherein, interface encapsulation module is specially and introduces kernel lockdep deadlock free program, defines User space file；According to institute
State the module that User space mutual exclusion lock interface is packaged by User space file；
Wherein, described User space mutual exclusion lock interface includes: PTHREAD_MUTEX_INITIALIZER, pthread_
mutex_init、pthread_mutex_lock、pthread_mutex_unlock、pthread_mutex_trylock、
pthread_mutex_destroy；Described User space file includes lockdep.c, lockdep_states.h and lockdep_
internals.h。
Wherein, User space program module, including:
Compilation unit, for according to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；
Judging unit, is used for judging whether introduce described mutual exclusion lock Deadlock Detection library file during compiling；
Performance element, if for there is described mutual exclusion lock Deadlock Detection library file, performs described mutual exclusion lock Deadlock Detection behaviour
Make；
Record unit, if for there is deadlock, then record deadlock information.
Wherein, described record unit is specially the unit printing deadlock information.
Linux User space mutual exclusion lock deadlock detection method provided by the present invention, including: User space mutual exclusion lock data are tied
Structure is packaged with lockdep data structure；The User space mutual exclusion lock interface introducing kernel lockdep deadlock free program is sealed
Dress；By the User space mutual exclusion lock interface after encapsulation, it is compiled into User space mutual exclusion lock detection dynamic chained library, generates mutual exclusion lock
Deadlock Detection library file；According to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；Perform described mutually
Scold lock Deadlock Detection operation, if there is deadlock, then record deadlock information；Visible the method is by encapsulation lockdep module, in making
Core carries out User space mutual exclusion lock Deadlock Detection by calling kernel lockdep Deadlock Detection function, it is possible to detect accurately
Linux User space mutual exclusion lock deadlock；Present invention also offers a kind of linux User space mutual exclusion lock Deadlock Detection system, have on
State beneficial effect, do not repeat them here.
Accompanying drawing explanation
In order to be illustrated more clearly that the embodiment of the present invention or technical scheme of the prior art, below will be to embodiment or existing
In having technology to describe, the required accompanying drawing used is briefly described, it should be apparent that, the accompanying drawing in describing below is only this
Inventive embodiment, for those of ordinary skill in the art, on the premise of not paying creative work, it is also possible to according to
The accompanying drawing provided obtains other accompanying drawing.
The flow chart of the linux User space mutual exclusion lock deadlock detection method that Fig. 1 is provided by the embodiment of the present invention；
The structured flowchart of the linux User space mutual exclusion lock Deadlock Detection system that Fig. 2 is provided by the embodiment of the present invention.
Detailed description of the invention
The core of the present invention is to provide a kind of linux User space mutual exclusion lock deadlock detection method and system, all can pass through
Call lockdep module and can detect linux User space mutual exclusion lock deadlock accurately.
For making the purpose of the embodiment of the present invention, technical scheme and advantage clearer, below in conjunction with the embodiment of the present invention
In accompanying drawing, the technical scheme in the embodiment of the present invention is clearly and completely described, it is clear that described embodiment is
The a part of embodiment of the present invention rather than whole embodiments.Based on the embodiment in the present invention, those of ordinary skill in the art
The every other embodiment obtained under not making creative work premise, broadly falls into the scope of protection of the invention.
Refer to the stream of the linux User space mutual exclusion lock deadlock detection method that Fig. 1, Fig. 1 are provided by the embodiment of the present invention
Cheng Tu；The method may include that
S100, User space mutual exclusion lock data structure is packaged with lockdep data structure；
Wherein, this step is the encapsulation of User space mutual exclusion lock data structure, concrete by User space mutual exclusion lock data structure
Pthread_mutex_t adds the lockdep_map data structure of lockdep Deadlock Detection.
Mutual exclusion lock data structure encapsulates, and adds lockdep_ on the basis of original data structure pthread_mutex_t
Map data structure, is defined as lockdep_pthread_mutex data structures.Detailed process is as follows:
Variable-definition is as follows:
#define NR_LOCKDEP_CACHING_CLASSES 2
#define MAX_LOCKDEP_SUBCLASSES 8UL
S110, to introduce kernel lockdep deadlock free program User space mutual exclusion lock interface be packaged；
Wherein, this step is User space mutual exclusion lock interface encapsulation, introduces kernel lockdep deadlock free program, defines user
State file；Wherein, described User space file includes lockdep.c, lockdep_states.h and lockdep_
internals.h；
According to described User space file, User space mutual exclusion lock interface is packaged；Wherein, described User space mutual exclusion interlocking
Mouthful include: PTHREAD_MUTEX_INITIALIZER, pthread_mutex_init, pthread_mutex_lock,
pthread_mutex_unlock、pthread_mutex_trylock、pthread_mutex_destroy。
Wherein, mutual exclusion lock calling interface encapsulates, and is the mutual exclusion lock PTHREAD_MUTEX_ that is supplied to user
INITIALIZER、pthread_mutex_init、pthread_mutex_lock、pthread_mutex_unlock、
The interfaces such as pthread_mutex_trylock, pthread_mutex_destroy are packaged, and introduce kernel lockdep code
I.e. kernel lockdep deadlock free program, calls kernel lockdep code by the way of being introduced directly into kernel file.
Introduce lockdep code, define User space file lockdep.c, lockdep_states.h and lockdep_
internals.h。
lockdep.c.Code is as follows:
Interface redefines:
#define pthread_mutex_t lockdep_pthread_mutex_t
#define pthread_mutex_init lockdep_pthread_mutex_init
#define pthread_mutex_lock lockdep_pthread_mutex_lock
#define pthread_mutex_unlock lockdep_pthread_mutex_unlock
#define pthread_mutex_trylock lockdep_pthread_mutex_trylock
#define pthread_mutex_destroy lockdep_pthread_mutex_destroy
S120, will encapsulation after User space mutual exclusion lock interface, be compiled into User space mutual exclusion lock detection dynamic chained library,
Generate mutual exclusion lock Deadlock Detection library file；
Wherein, this step is compiling user state mutual exclusion lock detection dynamic chained library, i.e. compiles the mutual of Reseal
Scold the interface of lock.The generation of User space mutual exclusion lock Deadlock Detection library file is completed from step S100 to S120.First to
Data structure and the API of family state mutual exclusion lock are packaged, and introduce lockdep kernel Deadlock Detection function, and compiling generates mutual exclusion lock
Deadlock Detection library file；Introducing mutual exclusion lock Deadlock Detection library file during the compiling of User space program, the operation of user program mutual exclusion lock refers to
Interface to the encapsulation of mutual exclusion lock Deadlock Detection library file.
S130, according to described mutual exclusion lock Deadlock Detection library file compiling mutual exclusion lock Deadlock Detection operation；
S140, perform described mutual exclusion lock Deadlock Detection operation, if there is deadlock, then record deadlock information.
Wherein, user's c program recompilates and performs detection process；I.e. step S130 and S140 completes User space program
Mutual exclusion lock Deadlock Detection flow process；First judge whether compiling introduces mutual exclusion lock Deadlock Detection library file, without introducing, directly
The function of operation program own terminates；If introducing mutual exclusion lock Deadlock Detection library file, then detect whether to there is mutual exclusion lock deadlock, as
There is deadlock in fruit, records the deadlock end of message；If there is no deadlock, the function of program execution own terminates.Here record letter
Breath can be specifically to print deadlock information.
Based on technique scheme, the linux User space mutual exclusion lock deadlock detection method that the embodiment of the present invention provides, right
Data structure and the mutual exclusion lock interface API of linux User space mutual exclusion lock are packaged, and examine by calling kernel lockdep deadlock
Survey function User space mutual exclusion lock deadlock is detected；I.e. real by encapsulation User space mutual exclusion lock data structure and mutual exclusion lock interface
Now to kernel lockdep code call；Can effectively detect the deadlock of User space c program.
Embodiments provide linux User space mutual exclusion lock deadlock detection method, it is possible to by calling lockdep mould
Block can detect linux User space mutual exclusion lock deadlock accurately.
The linux User space mutual exclusion lock Deadlock Detection system provided the embodiment of the present invention below is introduced, and hereafter retouches
The linux User space mutual exclusion lock Deadlock Detection system stated and above-described linux User space mutual exclusion lock deadlock detection method can
Mutually to should refer to.
Refer to the knot of the linux User space mutual exclusion lock Deadlock Detection system that Fig. 2, Fig. 2 are provided by the embodiment of the present invention
Structure block diagram；This system may include that
Data structure package module 100, for sealing User space mutual exclusion lock data structure with lockdep data structure
Dress；
Interface encapsulation module 200, for sealing the User space mutual exclusion lock interface introducing kernel lockdep deadlock free program
Dress；
Collector 300, for by the User space mutual exclusion lock interface after encapsulation, is compiled into the detection of User space mutual exclusion lock dynamically
Static link library, generates mutual exclusion lock Deadlock Detection library file；
User space program module 400, for compiling mutual exclusion lock Deadlock Detection according to described mutual exclusion lock Deadlock Detection library file
Operation；Perform the operation of described mutual exclusion lock Deadlock Detection, if there is deadlock, then record deadlock information.
Optionally, described data structure package module 100 is specially User space mutual exclusion lock data structure pthread_
Mutex_t adds the module of the lockdep_map data structure of lockdep Deadlock Detection.
Optionally, interface encapsulation module 200 is specially and introduces kernel lockdep deadlock free program, defines User space file；Root
Module User space mutual exclusion lock interface being packaged according to described User space file；
Wherein, described User space mutual exclusion lock interface includes: PTHREAD_MUTEX_INITIALIZER, pthread_
nutex_init、pthread_mutex_lock、pthread_mutex_unlock、pthread_mutex_trylock、
pthread_mutex_destroy；Described User space file includes lockdep.c, lockdep_states.h and lockdep_
internals.h。
Optionally, User space program module 400, including:
Compilation unit, for according to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；
Judging unit, is used for judging whether introduce described mutual exclusion lock Deadlock Detection library file during compiling；
Performance element, if for there is described mutual exclusion lock Deadlock Detection library file, performs described mutual exclusion lock Deadlock Detection behaviour
Make；
Record unit, if for there is deadlock, then record deadlock information.
Wherein, described record unit is specially the unit printing deadlock information.
In description, each embodiment uses the mode gone forward one by one to describe, and what each embodiment stressed is real with other
Executing the difference of example, between each embodiment, identical similar portion sees mutually.For device disclosed in embodiment
Speech, owing to it corresponds to the method disclosed in Example, so describe is fairly simple, relevant part sees method part explanation
?.
Professional further appreciates that, in conjunction with the unit of each example that the embodiments described herein describes
And algorithm steps, it is possible to electronic hardware, computer software or the two be implemented in combination in, in order to clearly demonstrate hardware and
The interchangeability of software, the most generally describes composition and the step of each example according to function.These
Function performs with hardware or software mode actually, depends on application-specific and the design constraint of technical scheme.Specialty
Technical staff specifically should can be used for using different methods to realize described function to each, but this realization should not
Think beyond the scope of this invention.
The method described in conjunction with the embodiments described herein or the step of algorithm can direct hardware, processor be held
The software module of row, or the combination of the two implements.Software module can be placed in random access memory (RAM), internal memory, read-only deposit
Reservoir (ROM), electrically programmable ROM, electrically erasable ROM, depositor, hard disk, moveable magnetic disc, CD-ROM or technology
In any other form of storage medium well known in field.
Above linux User space mutual exclusion lock deadlock detection method provided by the present invention and system are carried out detailed Jie
Continue.Principle and the embodiment of the present invention are set forth by specific case used herein, and the explanation of above example is only
It is the method and core concept thereof being adapted to assist in and understanding the present invention.It should be pointed out that, for those skilled in the art
For, under the premise without departing from the principles of the invention, it is also possible to the present invention is carried out some improvement and modification, these improve and repair
Decorations also fall in the protection domain of the claims in the present invention.
Claims (10)
1. a linux User space mutual exclusion lock deadlock detection method, it is characterised in that including:
User space mutual exclusion lock data structure is packaged with lockdep data structure；
The User space mutual exclusion lock interface introducing kernel lockdep deadlock free program is packaged；
By the User space mutual exclusion lock interface after encapsulation, it is compiled into User space mutual exclusion lock detection dynamic chained library, generates mutual exclusion
Lock Deadlock Detection library file；
According to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；
Perform the operation of described mutual exclusion lock Deadlock Detection, if there is deadlock, then record deadlock information.
2. linux User space mutual exclusion lock deadlock detection method as claimed in claim 1, it is characterised in that by User space mutual exclusion
Lock data structure is packaged with lockdep data structure, including:
User space mutual exclusion lock data structure pthread_mutex_t is added the lockdep_map data of lockdep Deadlock Detection
Structure.
3. linux User space mutual exclusion lock deadlock detection method as claimed in claim 2, it is characterised in that to introducing kernel
The User space mutual exclusion lock interface of lockdep deadlock free program is packaged, including:
Introduce kernel lockdep deadlock free program, define User space file；Wherein, described User space file include lockdep.c,
Lockdep_states.h and lockdep_internals.h；
According to described User space file, User space mutual exclusion lock interface is packaged；Wherein, described User space mutual exclusion lock interface bag
Include: PTHREAD_MUTEX_INITIALIZER, pthread_mutex_init, pthread_mutex_lock, pthread_
mutex_unlock、pthread_mutex_trylock、pthread_mutex_destroy。
4. linux User space mutual exclusion lock deadlock detection method as claimed in claim 3, it is characterised in that perform described mutual exclusion
Lock Deadlock Detection operation, including:
Judge whether introduce described mutual exclusion lock Deadlock Detection library file during compiling；
If introducing, then perform the operation of described mutual exclusion lock Deadlock Detection.
5. linux User space mutual exclusion lock deadlock detection method as claimed in claim 4, it is characterised in that record deadlock information,
Including:
Print deadlock information.
6. a linux User space mutual exclusion lock Deadlock Detection system, it is characterised in that including:
Data structure package module, for being packaged User space mutual exclusion lock data structure with lockdep data structure；
Interface encapsulation module, for being packaged the User space mutual exclusion lock interface introducing kernel lockdep deadlock free program；
Collector, for by the User space mutual exclusion lock interface after encapsulation, is compiled into User space mutual exclusion lock detection dynamic chain
Connect storehouse, generate mutual exclusion lock Deadlock Detection library file；
User space program module, for according to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；Hold
Row described mutual exclusion lock Deadlock Detection operation, if there is deadlock, then record deadlock information.
7. linux User space mutual exclusion lock Deadlock Detection system as claimed in claim 6, it is characterised in that described data structure
Package module is specially and User space mutual exclusion lock data structure pthread_mutex_t is added lockdep Deadlock Detection
The module of lockdep_map data structure.
8. linux User space mutual exclusion lock Deadlock Detection system as claimed in claim 7, it is characterised in that interface encapsulation module
It is specially and introduces kernel lockdep deadlock free program, define User space file；According to described User space file to User space mutual exclusion lock
The module that interface is packaged；
Wherein, described User space mutual exclusion lock interface includes: PTHREAD_MUTEX_INITIALIZER, pthread_mutex_
init、pthread_mutex_lock、pthread_mutex_unlock、pthread_mutex_trylock、pthread_
mutex_destroy；Described User space file includes lockdep.c, lockdep_states.h and lockdep_
internals.h。
9. linux User space mutual exclusion lock Deadlock Detection system as claimed in claim 8, it is characterised in that User space program mould
Block, including:
Compilation unit, for according to the compiling mutual exclusion lock Deadlock Detection operation of described mutual exclusion lock Deadlock Detection library file；
Judging unit, is used for judging whether introduce described mutual exclusion lock Deadlock Detection library file during compiling；
Performance element, if for there is described mutual exclusion lock Deadlock Detection library file, performs the operation of described mutual exclusion lock Deadlock Detection；
Record unit, if for there is deadlock, then record deadlock information.
10. linux User space mutual exclusion lock Deadlock Detection system as claimed in claim 9, it is characterised in that described record unit
It is specially the unit printing deadlock information.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610532713.1A CN106201730A (en) | 2016-07-07 | 2016-07-07 | A kind of linux User space mutual exclusion lock deadlock detection method and system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610532713.1A CN106201730A (en) | 2016-07-07 | 2016-07-07 | A kind of linux User space mutual exclusion lock deadlock detection method and system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN106201730A true CN106201730A (en) | 2016-12-07 |
Family
ID=57473400
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610532713.1A Pending CN106201730A (en) | 2016-07-07 | 2016-07-07 | A kind of linux User space mutual exclusion lock deadlock detection method and system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN106201730A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106897161A (en) * | 2017-02-23 | 2017-06-27 | 郑州云海信息技术有限公司 | A kind of data guard method and device |
| CN107450990A (en) * | 2017-07-18 | 2017-12-08 | 浙江大华技术股份有限公司 | A kind of deadlock detection method and device based on RAII |
| CN110597640A (en) * | 2019-08-29 | 2019-12-20 | 深圳市优必选科技股份有限公司 | Inter-process data transmission method and device, terminal and computer storage medium |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101206692A (en) * | 2006-12-20 | 2008-06-25 | 联想(北京)有限公司 | Method and equipment for detecting course |
| CN102129391A (en) * | 2011-03-14 | 2011-07-20 | 华中科技大学 | Method for implementing spin lock in database |
| CN102222015A (en) * | 2010-04-13 | 2011-10-19 | 三星电子（中国）研发中心 | System and method for detecting deadlock in multithreaded program |
| CN105022692A (en) * | 2015-08-06 | 2015-11-04 | 四川大学 | Deadlock detection verification method |
| CN105740080A (en) * | 2016-03-11 | 2016-07-06 | 深圳市茁壮网络股份有限公司 | Program sticking detection method and processor |
-
2016
- 2016-07-07 CN CN201610532713.1A patent/CN106201730A/en active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101206692A (en) * | 2006-12-20 | 2008-06-25 | 联想(北京)有限公司 | Method and equipment for detecting course |
| CN102222015A (en) * | 2010-04-13 | 2011-10-19 | 三星电子（中国）研发中心 | System and method for detecting deadlock in multithreaded program |
| CN102129391A (en) * | 2011-03-14 | 2011-07-20 | 华中科技大学 | Method for implementing spin lock in database |
| CN105022692A (en) * | 2015-08-06 | 2015-11-04 | 四川大学 | Deadlock detection verification method |
| CN105740080A (en) * | 2016-03-11 | 2016-07-06 | 深圳市茁壮网络股份有限公司 | Program sticking detection method and processor |
Non-Patent Citations (2)
| Title |
|---|
| SASHA LEVIN: "[PATCH v3 1/7] liblockdep: wrap kernel/lockdep.c to allow usage from user space", 《HTTPS://LWN.NET/ARTICLES/536366/》 * |
| SKYWALKZF: "ARM Linux系统启动start_kernel函数", 《HTTPS://WWW.LINUXIDC.COM/LINUX/2011-09/43680.HTM》 * |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106897161A (en) * | 2017-02-23 | 2017-06-27 | 郑州云海信息技术有限公司 | A kind of data guard method and device |
| CN107450990A (en) * | 2017-07-18 | 2017-12-08 | 浙江大华技术股份有限公司 | A kind of deadlock detection method and device based on RAII |
| CN110597640A (en) * | 2019-08-29 | 2019-12-20 | 深圳市优必选科技股份有限公司 | Inter-process data transmission method and device, terminal and computer storage medium |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104834590B (en) | Method for testing software and system | |
| CN107092488B (en) | Method and system for realizing non-invasive point burying of application | |
| US20220365862A1 (en) | Systems and methods of formal verification | |
| CN106201730A (en) | A kind of linux User space mutual exclusion lock deadlock detection method and system | |
| CN108459962A (en) | Code specification detection method, device, terminal device and storage medium | |
| CN103530552B (en) | Native api function reconstructing method and device | |
| RU2008126264A (en) | OBJECT MODEL OF OPERATION FLOW | |
| CN107292180B (en) | A kind of screen watermark handling method and device | |
| US10198309B2 (en) | Unexpected event detection during execution of an application | |
| CN104267972A (en) | Brower local interface expansion method and device | |
| CN109478148B (en) | Workflow-based object destructor | |
| CN106201731A (en) | A kind of User space Read-Write Locks deadlock detection method and system | |
| CN104392169B (en) | A kind of Native api functions reconstructing method and device | |
| CN110975279B (en) | Game data processing method and device, game server and storage medium | |
| CN107122656B (en) | Method and device for preventing external debugging through self-debugging | |
| CN107239698A (en) | A kind of anti-debug method and apparatus based on signal transacting mechanism | |
| CN108376066A (en) | Code processing apparatus and code process method | |
| CN106227550A (en) | Generation method, system and the computer of a kind of Internationalized Graphical User Interface | |
| CN106294137A (en) | A kind of linux User space spin lock deadlock detection method and system | |
| JP2015531529A (en) | Reference attribute annotation that asserts that there is no external reference | |
| CN107133503A (en) | A kind of anti-debug method and apparatus detected based on process status | |
| CN109491806A (en) | Adaptation method and device between a kind of kernel and third-party application | |
| CN106055935A (en) | Process control method and device and electronic equipment | |
| CN102096622B (en) | Based on the method and system of progress information in event-driven real-time acquisition system | |
| CN112883374B (en) | General Android platform application program shelling method and system based on ART environment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20161207 |
|
| RJ01 | Rejection of invention patent application after publication |