Verifying synchronization coverage in logic code

Patent metadata

Field	Value
Publication number	US-9600347-B2
Application number	US-62665409-A
Country	US
Kind code	B2
Filing date	Nov 26, 2009
Priority date	Nov 26, 2009
Publication date	Mar 21, 2017
Grant date	Mar 21, 2017

Abstract

A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.

First claim

What is claimed is:

1. A computer program product, comprising a computer-readable storage medium having logic code stored thereon, wherein the logic code, when executed on a computer, causes the computer to:
execute a logic code under test on at least two runs;
for each of the at least two runs, update an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation, wherein the first thread is for the logic code under test;
for each of the at least two runs, associate the identifier of the first thread with one or more resources accessed by the first thread during a first execution path;
for each of the at least two runs, update an identifier of a second thread to comprise an operation identifier associated with a second operation, in response to determining that the second thread has performed the second operation, wherein the second thread is for the logic code under test;
for each of the at least two runs, associate the identifier of the second thread with one or more resources accessed by the second thread during a second execution path, wherein the second execution path is different from the first execution path: and
generate a synchronization coverage model by generating a relational data structure of said one or more resources;
and, wherein:
for at least the second of the at least two test runs, at least one of the first thread and the second thread accesses different resources than on a previous run;
a common resource is associated with at least the identifier of the first thread and an identifier of the second thread indicating that the common resource was accessed by both the first thread and the second thread during the first execution path and the second execution path;
a synchronization event in execution of the first thread and the second thread holding a lock on the common resource is recorded, when an analysis of the synchronization coverage model indicates that the second thread waited for the first thread before accessing said resource, but that the first thread did not wait for the second thread before accessing the common resource; and
the computer-readable storage medium is not a transitory, propagating signal per se.

2. The computer program product of claim 1 , wherein:
the identifier of the first thread comprises N units;
each unit comprises an identifier associated with an operation performed by the first thread; and
each time the identifier of the first thread is updated, the length of the identifier of the first thread is incremented by one unit.

3. The computer program product of claim 2 , wherein:
if the current number of units exceeds X, the oldest unit is removed, wherein X>N.

4. The computer program product of claim 3 , wherein:
N is a number utilized to adjust level of detail with which history of operations performed by the first thread is compiled.

Assignees

• Tzoref Rachel
• Farchi Eitan Daniel
• Trainin Ehud
• Zlotnick Aviad
• IBM

Inventors

• Tzoref Rachel
• Farchi Eitan Daniel
• Trainin Ehud
• Zlotnick Aviad

Classifications

• G06F11/3688 Primary

  for test execution, e.g. scheduling of test suites · CPC title

• G06F9/52 Primary

  Program synchronisation; Mutual exclusion, e.g. by means of semaphores · CPC title