Überprüfungsalgorithmus einer Zwischensprache in einem einzigen Zug

Single pass intermediate language verification algorithm

Algorithme de vérification d'un langage intermédiaire à une seule passe

Abstract

An intermediate language (IL) program is verified by processing the IL program in a single pass. Processed IL instructions may be provided to a just-in-time (JIT) compiler so that the IL program can be converted into a native language program of a targeted device. A verification apparatus may comprise a memory, a sequencing module, a memory updating module, and a rule logic module. The memory comprises an IL offset stack and a data structure that stores information of an IL stack corresponding to a processed IL instruction. The verification apparatus processes the IL program in a straight-line manner except when encountering IL instructions that correspond to designated op code types. In such cases, the verification apparatus may alter a sequencing of processing the IL program by utilizing the IL offset stack.

Claims

Description

Topics

Download Full PDF Version (Non-Commercial Use)

Patent Citations (4)

    Publication numberPublication dateAssigneeTitle
    DE-19926467-C1January 11, 2001Siemens AgComputer system operating method has each individual program command of loaded computer program checked before program execution
    EP-0718761-A1June 26, 1996Sun Microsystems, Inc.Plattformunabhängiges Objekt und Verfahren zum Laden eines Objektdarstellers
    FR-2797963-A1March 02, 2001Trusted LogicProtocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants
    US-6247171-B1June 12, 2001Sun Microsystems, Inc.Bytecode program interpreter apparatus and method with pre-verification of a data type restrictions and object initialization

NO-Patent Citations (0)

    Title

Cited By (0)

    Publication numberPublication dateAssigneeTitle