Method and apparatus for performing correctness checks...

Details Method and apparatus for performing correctness checks... Method and apparatus for performing correctness checks...

2005-04-19

2005-04-19

Chaki, Kakali (Department: 2124)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

Reexamination Certificate

active

06883166

ABSTRACT:
A method and an apparatus that enable spare instruction slots within a code module to be utilized opportunistically for insertion of instructions associated with correctness check functions. The apparatus comprises a compiler that generates code and an initial instruction schedule. During generation of the initial instruction schedule, the compiler ignores code sequences associated with correctness check functions. After the initial instruction schedule has been generated, the compiler examines the initial instruction schedule and determines locations of spare instruction slots in the initial instruction schedule that can potentially be utilized for insertion of the code sequences associated with the correctness checks. The code sequences associated with the correctness checks are then inserted into the instruction schedule to the extent that insertion of the code sequences does not lengthen the final instruction schedule. Consequently, no performance penalty is incurred at run time.

REFERENCES:
patent: 5265254 (1993-11-01), Blasciak et al.
patent: 5551001 (1996-08-01), Cohen et al.
patent: 5644709 (1997-07-01), Austin
patent: 5758061 (1998-05-01), Plum
patent: 5787286 (1998-07-01), Hooker
patent: 6275929 (2001-08-01), Blum et al.
patent: 6526421 (2003-02-01), Houldsworth

Affiliated with

Also associated with

Rating

Method and apparatus for performing correctness checks... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for performing correctness checks..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for performing correctness checks... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3402473