System for assisting a programmer find errors in concurrent prog

Details System for assisting a programmer find errors in concurrent prog System for assisting a programmer find errors in concurrent prog

1996-12-23

2000-05-23

Trammell, James P.

395701, 395702, 395706, G06F 1500, G06F 945

Patent

active

060674156

ABSTRACT:
A designer creates a program with the editor 1. The division means 2 divides each process of the program into a plurality of controllable sections. The detection means 3 finds the dependency relations among the sessions of the program. The generation means 4 represents as a scenario all the possible execution sequences of the sections in each process. When the designer selects the edge of a section to be executed first at each branch in the scenario with the use of the selection means 6, a scenario containing only the combinations of intended execution sequences is generated. Based on this scenario, the conversion means 9 inserts execution timing control instructions into the first program to convert the first program to a second program. The resulting second program does not contain a harmful nondeterminism. Therefore, a hyper sequential programming system or method for developing reliable concurrent programs is provided easily.

REFERENCES:
patent: 3905023 (1975-09-01), Perpiglia
patent: 5048018 (1991-09-01), Bernstein et al.
patent: 5682535 (1997-10-01), Knudsen
M. Girkar, et al., "Extracting Task-Level Parallelism", ACM Transactions on Programming Languages and Systems, vol. 17, No. 4, pp. 600-634, Jul. 1995.
P. V. Koppol et al., "An Incremental Approach to Structural Testing of Concurrent Software", ACM International Symposium of Software Testing and Analysis (ISSTA), pp. 14-23, 1996.

Affiliated with

Also associated with

Rating

System for assisting a programmer find errors in concurrent prog does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System for assisting a programmer find errors in concurrent prog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for assisting a programmer find errors in concurrent prog will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1842776