Deterministic Replay Method Based on Adaptive Release
An adaptive and deterministic technology, applied in multi-program devices, inter-program communication, program control design, etc., can solve problems such as poor recording performance, small parallel program processing pages, and inability to single increase or decrease release synchronization points, etc. Achieve the effect of improving recording performance and reducing overhead
Active Publication Date: 2021-11-16
CHINA ELECTRIC POWER RES INST +1
View PDF4 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
However, the more the number of release synchronization points is, the less the number of page protection exceptions is, and the program parallelism is low, but the overhead of parallel program processing page protection exceptions is small; on the contrary, the less the number of release synchronization points is, the less the number of page protection exceptions is. The more times, the higher the degree of program parallelism, but the overhead of parallel program handling page protection exceptions is greater
At present, for different parallel programs, it is impossible to improve the recording performance of parallel programs by simply increasing or reducing the number of released synchronization points. The existing deterministic replay method based on page protection mechanism has poor recording performance and cannot Meet the design requirements
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0027] The present invention will be further described below in conjunction with the accompanying drawings and specific embodiments, so that those skilled in the art can better understand the present invention and implement it, but the examples given are not intended to limit the present invention.
[0028] Such as figure 1 As shown, a deterministic playback method based on adaptive release, which specifically includes the following steps:
[0029] 1) Before each thread in the parallel program executes, all shared pages are set to inaccessible state, and the thread of the parallel program will enter the shared page access permission request processing when the page protection exception is triggered due to the lack of access permission of the shared page module;
[0030] 2) The thread requests the access authority of the shared page in the shared page access authority request module. If the request is successful, the thread sets the corresponding access authority of the shared...
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
Login to View More Abstract
The invention discloses a deterministic replay method based on self-adaptive release, which determines the order in which threads execute synchronous operations based on library function overloading, and calls the self-adaptive release module when the thread request fails to obtain the access authority of the shared page, and self-adaptive The release module temporarily stores all the shared pages that cause each thread to block in the candidate set, and selects the appropriate release thread and the released shared pages from the candidate set and moves them into the set to be released; all threads traverse the set to be released to determine whether they are release threads , if the judgment result is yes, then the current thread releases the corresponding shared page, if the judgment result is no, then the current thread releases the corresponding shared page for the release thread, and the release thread cancels the access right of the released shared page in the subsequent execution process. The invention enables the most suitable thread to release the most suitable shared page at the right time, reduces the overhead of processing page protection exceptions in the recording phase of the parallel program, and improves the recording performance.
Description
technical field [0001] The invention relates to the technical field of parallel program debugging, in particular to a deterministic playback method based on adaptive release. Background technique [0002] Different from traditional serial programs, the execution of parallel programs is non-deterministic, that is, in the case of the same input, the result of executing the same parallel program multiple times is not the same. The main factor causing the uncertainty of parallel programs is the uncertainty of the order in which each thread accesses the shared memory. The uncertainty of parallel programs will bring difficulties to debugging. In order to solve this problem, deterministic replay technology is usually used at present. The deterministic replay technology includes two steps: recording and replaying. The memory access dependency of is recorded in the log file; in the replay phase, each thread is forced to perform the memory access operation according to the recorded l...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/54
CPCG06F9/544
Inventor 应欢王磊朱朝阳韩丽芳周亮梅文明缪思薇邱意民余文豪李梦涛范永王海翔
Owner CHINA ELECTRIC POWER RES INST