Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2004-07-01
2008-10-07
Bullock, Jr., Lewis A. (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
Reexamination Certificate
active
07434212
ABSTRACT:
A method and apparatus to guarantee type safety in multithreaded programs, and to guarantee initialization safety in well-behaved multithreaded programs. A plurality of bytecodes representing a program are received and examined to identify bytecodes defining object creation operations and object initialization operations. Upon execution of the plurality of bytecodes, memory barrier operations are performed subsequent to the performance of both the object creation operations and the object initialization operations. This guarantees type safety, and further guarantees initialization safety if the program is well-behaved. Optimization algorithms may also be applied in the compilation of bytecodes to improve performance.
REFERENCES:
patent: 5860126 (1999-01-01), Mittal
patent: 6061520 (2000-05-01), Yellin et al.
patent: 6233725 (2001-05-01), Beadle et al.
patent: 6256784 (2001-07-01), Grove
patent: 6324687 (2001-11-01), Beadle et al.
patent: 6530075 (2003-03-01), Beadle et al.
patent: 6546477 (2003-04-01), Russo et al.
patent: 6691307 (2004-02-01), Long
patent: 6799315 (2004-09-01), Waki et al.
patent: 6857063 (2005-02-01), Moyer
patent: 6895579 (2005-05-01), Lueh
patent: 6959430 (2005-10-01), Sokolov et al.
patent: 7194735 (2007-03-01), Barclay
patent: 2002/0095453 (2002-07-01), Steensgaard
patent: 2002/0144240 (2002-10-01), Lueh et al.
Bullock, Jr. Lewis A.
Chauhan Loren
International Business Machines - Corporation
Patents On Demand, P.A.
LandOfFree
Method and apparatus to guarantee type and initialization... 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 to guarantee type and initialization..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus to guarantee type and initialization... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4001229