Detecting locking discipline violations on shared resources

A computerized system for detecting locking discipline violations of shared resources of a computing platform, the system comprising:

• a processor;
• a testing process adapted, to be executed concurrently with one or more other processes executed by said processor, wherein the testing process is configured:
• to lock a shared resource of said computing platform;
• to read a value of the shared resource;
• to locally store the value read from the shared resource to a location other than the shared resource;
• to reread the value of the shared resource that has been locked after a predefined time period,
• to generate a locking discipline violation report if the value of said shared resource as reread is different from the value of said resource as locally stored generating said list of locks prior to execution of a program which includes said testing process and said one or more other processes;
• wherein generating said list of locks comprises:
• performing a static analysis of a source code of said program, to detect one or more locks and one or more, respective, shared resources protected by the one or more locks;
• identifying substantially all the locks in said program;
• identify a scope of each lock of said locks;
• identifying one or more variables that are within the scope of each lock;
• and
• generating said list of locks, wherein each lock is associated with the one or more variables within its scope.

A computer program product comprising:

• a non-transitory computer useable medium
• a first program instruction for locking a shared resource of said computing platform;
• a second program instruction for reading a value of the shared resource;
• a third program instruction for locally storing the value read from the shared resource to a location other than the shared resource;
• a fourth program instruction for rereading the value of the shared resource that has been locked after a predefined time period;
• a fifth program instruction for generating a locking discipline violation report if the value of said shared resource as reread by said rereading is different from the value of said resource as locally stored by said locally storing,
• wherein said first, second, third, fourth and fifth program instructions are stored on said non-transitory computer readable media a sixth program instruction for generating said list of locks prior to execution of a program which includes said testing process and said one or more other processes;
• wherein generating said list of locks comprises:
• performing a static analysis of a source code of said program, to detect one or more locks and one or more, respective, shared resources protected by the one or more locks;
• identifying substantially all the locks in said program;
• identify a scope of each lock of said locks;
• identifying one or more variables that are within the scope of each lock;
• and
• generating said list of locks, wherein each lock is associated with the one or more variables within its scope.