System and method for detecting and logging in-line synchronization primitives in application program code
View Patent ↗A system, method, and computer-accessible medium for detecting and logging in-line synchronization primitives are disclosed. One or more in-line synchronization primitives in a computer program are programmatically detected during execution of the computer program. The one or more in-line synchronization primitives are stored in a log.
1. A method comprising:
programmatically detecting one or more in-line synchronization primitives in a computer program during execution of the computer program using dynamic binary compilation to detect the one or more in-line synchronization primitives in the computer program during the execution of the computer program;
replacing each of the one or more in-line synchronization primitives in the computer program with a corresponding substitute synchronization primitive during execution of the computer program;
executing at least one of the substitute synchronization primitives in a manner visible to an operating system;
using the operating system to detect the execution of the at least one of the substitute synchronization primitives;
storing information indicative of each of the detected substitute synchronization primitives in a log, wherein the information comprises an execution order of each of the detected substitute synchronization primitives and a result of each of the detected substitute synchronization primitives;
determining that the execution of the computer program has failed at a point in time; and
using the log to resume the execution of the computer program from the point in time by replaying the execution of the computer program in a manner that guarantees the execution order and the results of each of the detected substitute synchronization primitives as stored in the log.
2. The method of claim 1 , further comprising:
intercepting the one or more in-line synchronization primitives during the execution of the computer program using dynamic binary compilation.
3. The method of claim 1 , wherein the one or more in-line synchronization primitives comprise atomic synchronization instructions which are invisible to an operating system.
4. A computer-accessible storage medium comprising program instructions, wherein the program instructions are computer executable to implement:
detecting one or more in-line synchronization primitives in a computer program during execution of the computer program using dynamic binary compilation to detect the one or more in-line synchronization primitives in the computer program during the execution of the computer program;
replacing each of the one or more in-line synchronization primitives in the computer program with a corresponding substitute synchronization primitive during execution of the computer program;
executing at least one of the substitute synchronization primitives in a manner visible to an operating system;
using the operating system to detect the execution of the at least one of the substitute synchronization primitives;
storing information indicative of each of the detected substitute synchronization primitives in a log, wherein the information comprises an execution order of each of the detected substitute synchronization primitives and a result of each of the detected substitute synchronization primitives;
determining that the execution of the computer program has failed at a point in time; and
using the log to resume the execution of the computer program from the point in time by replaying the execution of the computer program in a manner that guarantees the execution order and the results of each of the detected substitute synchronization primitives as stored in the log.
5. The computer-accessible storage medium of claim 4 , wherein the program instructions are further computer-executable to implement: intercepting the one or more in-line synchronization primitives during the execution of the computer program using dynamic binary compilation.
6. A system comprising:
a storage device;
a CPU; and
a memory coupled to the CPU, wherein the memory stores program instructions which are executable by the CPU to:
detect one or more in-line synchronization primitives in a computer program using dynamic binary compilation to detect the one or more in-line synchronization primitives in the computer program during execution of the computer program;
replace each of the one or more in-line synchronization primitives in the computer program with a corresponding substitute synchronization primitive during execution of the computer program;
execute at least one of the substitute synchronization primitives in a manner visible to an operating system;
use the operating system to detect the execution of the at least one of the substitute synchronization primitives;
store information indicative of each of the detected substitute synchronization primitives in a log on the storage device, wherein the information comprises an execution order of each of the detected substitute synchronization primitives and a result of each of the detected substitute synchronization primitives;
determine that the execution of the computer program has failed at a point in time; and
use the log to resume the execution of the computer program from the point in time by replaying the execution of the computer program in a manner that guarantees the execution order and the results of each of the detected substitute synchronization primitives as stored in the log.
7. The system of claim 6 , wherein the program instructions are further executable by the CPU to: intercept the one or more in-line synchronization primitives during the execution of the computer program using dynamic binary compilation.