Bytecode program interpreter apparatus and method with pre-verif

Details Bytecode program interpreter apparatus and method with pre-verif Bytecode program interpreter apparatus and method with pre-verif

1995-12-20

1998-04-14

Toplu, Lucien U.

395705, 395707, G06F 945

Patent

active

057404410

ABSTRACT:
A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes a bytecode program verifier procedure that verifies the integrity of a specified program by identifying any bytecode instruction that would process data of the wrong type for such a bytecode and any bytecode instruction sequences in the specified program that would cause underflow or overflow of the operand stack. If the program verifier finds any instructions that violate predefined stack usage and data type usage restrictions, execution of the program by the interpreter is prevented. After pre-processing of the program by the verifier, if no program faults were found, the interpreter executes the program without performing operand stack overflow and underflow checks and without performing data type checks on operands stored in operand stack. As a result, program execution speed is greatly improved.

REFERENCES:
patent: 5179734 (1993-01-01), Candy et al.
patent: 5450575 (1995-09-01), Sites
patent: 5590329 (1996-12-01), Goodnow, II et al.
Ken Thompson, "Regular Expression Search Algorithm," Communications of the ACM, Jun. 1968, vol. 11, No. 6, pp. 419-422.
Kin-Man Chung and Herbert Yuen, "A `Tiny` Pascal Compiler; Part 1: The P-Code Interpreter," BYTE Publications, Inc. , Sep. 1978.
Kin-Man Chung and Herbert Yuen, "A `Tiny` Pascal Complier; Part 2: The P-Complier," BYTE Publications, Inc., Oct. 1978.
Gene McDaniel, "An Analysis of a Mesa Instruction Set," Association for Computing Machinery, May 1982.
Kenneth A. Pier, "A Retrospective on the Dorado, A High-Performance Personal Computer," IEEE Computer Society, 10th Annual Intl. Symposium on Computer Architecture, 1983, pp. 252-269.
James G. Mitchell, et al., "Mesa Language Manual," Xerox Corporation, Palo Alto Research Center.

Affiliated with

Also associated with

Rating

Bytecode program interpreter apparatus and method with pre-verif does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Bytecode program interpreter apparatus and method with pre-verif, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bytecode program interpreter apparatus and method with pre-verif will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-647780