Data processing: software development – installation – and managem – Software program development tool – Programming language
Reexamination Certificate
2008-12-30
2010-02-09
Deng, Anna (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Programming language
C717S126000
Reexamination Certificate
active
07661092
ABSTRACT:
A source code file can be compiled to generate bytecode. During compilation, a first use of a local variable within a set of instructions of the source code can be detected. A local variable usage list can be examined for at least one inactive local variable in use by the set of instructions. An existence of an acceptable type pairing between a type descriptor corresponding to a local variable and a type descriptor of the local variable may be determined. When the acceptable type pairing exists, an index of the local variable array corresponding to the determined acceptable type pairing for the local variable can be reused. Otherwise, a new index can be assigned for the local variable. Compiling bytecode in this manner avoids extraneous class loads that would otherwise occur during a verification phase of the bytecode, which has still been optimized to reuse local variable slots.
REFERENCES:
patent: 6282698 (2001-08-01), Baker et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6964039 (2005-11-01), Heeb
patent: 7120572 (2006-10-01), Liang
patent: 7130972 (2006-10-01), Yamamoto et al.
patent: 7171655 (2007-01-01), Gordon et al.
patent: 2005/0028132 (2005-02-01), Srinivasamurthy et al.
patent: 2006/0048095 (2006-03-01), Meijer et al.
patent: 2006/0070049 (2006-03-01), Chung
patent: 2009/0064114 (2009-03-01), Bottomley et al.
Binder et al. “Flexible and Efficient Measurement of Dynamic Bytecode Metrics”, Oct. 2006, ACM, pp. 171-180.
Stata et al. “A Type System for Java Bytecode Subroutines”, Jan. 1999, ACM TOPLAS vol. 21, Issue 1, pp. 90-137.
Klein et al. “A Machine-Checked Model for a Java-Like language, Virtual Machine, and Compiler”, Jul. 2006, ACM TOPLAS vol. 28, Issue 4, pp. 619-695.
Leroy, X., “Bytecode Verification on Java Smart Cards,” [online] Software—Practice & Experience, vol. 32, No. 4, pp. 319-340, Apr. 2002, [retrieved Dec. 29, 2008] retrieved from the Internet: <http://gallium.inria.fr/˜xleroy/publi/oncard-verifier-spe.pdf>. See, Abstract; p. 6, para. 4, beginning “Also, an . . . ”; Requirement R2, p. 7, para. 4; p. 11, sec. 4, Off-Card Code Transformations; Fig. 3.
Bottomley T. Mark W.
Burka Peter W.
Thomann Olivier P.
Buchheit Brian K.
Deng Anna
International Business Machines - Corporation
Patents On Demand PA
LandOfFree
Intelligent reuse of local variables during bytecode... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Intelligent reuse of local variables during bytecode..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intelligent reuse of local variables during bytecode... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4161311