BR0301970A - Algoritmo de verificação de linguagem intermediária de passagem única - Google Patents
Algoritmo de verificação de linguagem intermediária de passagem únicaInfo
- Publication number
- BR0301970A BR0301970A BR0301970-5A BR0301970A BR0301970A BR 0301970 A BR0301970 A BR 0301970A BR 0301970 A BR0301970 A BR 0301970A BR 0301970 A BR0301970 A BR 0301970A
- Authority
- BR
- Brazil
- Prior art keywords
- program
- single pass
- intermediate language
- verification algorithm
- memory
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
"ALGORITMO DE VERIFICAçãO DE LINGUAGEM INTERMEDIáRIA DE PASSAGEM úNICA". Um programa de linguagem intermediária (IL) é verificado por meio do processamento do programa de IL em uma passagem única. As instruções de IL processadas podem ser providas para um compilador just-in-time (JIT) de modo que o programa de IL possa ser convertido para um programa de linguagem nativa de um dispositivo alvo. Um aparelho de verificação pode compreender uma memória, um módulo de sequenciamento, um módulo de atualização de memória, e um módulo de lógica de regras. A memória compreende uma pilha de desvio de IL e uma estrutura de dados que armazena informações de uma pilha de IL correspondente a uma instrução de IL processada. O aparelho de verificação processa o programa de IL de uma maneira em linha reta exceto ao encontrar instruções de IL que correspondem a tipos de código op designados. Em tais casos, o aparelho de verificação pode alterar um sequenciamento de processamento do programa de IL pot meio da utilização da pilha de deslocamento de IL.
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US10/180,733 US20040003380A1 (en) | 2002-06-26 | 2002-06-26 | Single pass intermediate language verification algorithm |
Publications (1)
Publication Number | Publication Date |
---|---|
BR0301970A true BR0301970A (pt) | 2004-08-31 |
Family
ID=29717923
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR0301970-5A BR0301970A (pt) | 2002-06-26 | 2003-05-26 | Algoritmo de verificação de linguagem intermediária de passagem única |
Country Status (5)
Country | Link |
---|---|
US (1) | US20040003380A1 (pt) |
EP (1) | EP1376342A3 (pt) |
AR (1) | AR040104A1 (pt) |
BR (1) | BR0301970A (pt) |
MX (1) | MXPA03004606A (pt) |
Families Citing this family (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7370321B2 (en) * | 2002-11-14 | 2008-05-06 | Microsoft Corporation | Systems and methods to read, optimize, and verify byte codes for a multiplatform jit |
US7320129B2 (en) * | 2003-05-14 | 2008-01-15 | Hewlett-Packard Development Company, L.P. | Native language verification system and method |
US20060041940A1 (en) * | 2004-08-21 | 2006-02-23 | Ko-Cheng Fang | Computer data protecting method |
US9009688B2 (en) * | 2005-12-30 | 2015-04-14 | Intel Corporation | Type checking for object-oriented programming languages |
US7926037B2 (en) * | 2006-01-19 | 2011-04-12 | Microsoft Corporation | Hiding irrelevant facts in verification conditions |
WO2007139840A2 (en) * | 2006-05-24 | 2007-12-06 | Syver, Llc | Method and tool for automatic verification of software protocols |
US8200983B1 (en) * | 2006-09-09 | 2012-06-12 | 9Rays.Net, Inc. | System and method for tamper-proofing executable binary assemblies |
US8413125B2 (en) * | 2007-01-26 | 2013-04-02 | Oracle International Corporation | Asynchronous dynamic compilation based on multi-session profiling to produce shared native code |
US8341609B2 (en) * | 2007-01-26 | 2012-12-25 | Oracle International Corporation | Code generation in the presence of paged memory |
US8037460B2 (en) * | 2007-01-26 | 2011-10-11 | Oracle International Corporation | Code persistence and dependency management for dynamic compilation in a database management system |
US8276131B2 (en) * | 2007-08-30 | 2012-09-25 | International Business Machines Corporation | Method and system for dynamic loop transfer by populating split variables |
US8539464B2 (en) * | 2008-10-30 | 2013-09-17 | International Business Machines Corporation | Distributed just-in-time compilation |
US20110219357A1 (en) * | 2010-03-02 | 2011-09-08 | Microsoft Corporation | Compressing source code written in a scripting language |
US8843908B2 (en) | 2010-12-23 | 2014-09-23 | Microsoft Corporation | Compiler validation via program verification |
US9659156B1 (en) * | 2014-03-20 | 2017-05-23 | Symantec Corporation | Systems and methods for protecting virtual machine program code |
US11409508B1 (en) * | 2021-06-25 | 2022-08-09 | Microsoft Technology Licensing, Llc | Reload ordering for executable code modules |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5918046A (en) * | 1994-01-03 | 1999-06-29 | Intel Corporation | Method and apparatus for a branch instruction pointer table |
US5630066A (en) * | 1994-12-20 | 1997-05-13 | Sun Microsystems, Inc. | System and method for locating object view and platform independent object |
US5748964A (en) * | 1994-12-20 | 1998-05-05 | Sun Microsystems, Inc. | Bytecode program interpreter apparatus and method with pre-verification of data type restrictions |
US6347398B1 (en) * | 1996-12-12 | 2002-02-12 | Microsoft Corporation | Automatic software downloading from a computer network |
US6092147A (en) * | 1997-04-15 | 2000-07-18 | Sun Microsystems, Inc. | Virtual machine with securely distributed bytecode verification |
US5909579A (en) * | 1997-04-23 | 1999-06-01 | Sun Microsystems, Inc. | Method and apparatus for encoding and decoding delta encoded information to locate live pointers in program data stacks |
DE19926467C1 (de) * | 1999-06-10 | 2001-01-11 | Siemens Ag | Verfahren zum Betreiben eines Computersystems, Bytecode-Verifier und Computersystem |
FR2797963B1 (fr) * | 1999-08-23 | 2002-11-29 | Trusted Logic | Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants |
US6964039B2 (en) * | 2000-12-13 | 2005-11-08 | Esmertec Ag | Method to create optimized machine code through combined verification and translation of JAVA™ bytecode |
US6978451B2 (en) * | 2001-05-31 | 2005-12-20 | Esmertec Ag | Method for fast compilation of preverified JAVA bytecode to high quality native machine code |
-
2002
- 2002-06-26 US US10/180,733 patent/US20040003380A1/en not_active Abandoned
-
2003
- 2003-05-23 MX MXPA03004606A patent/MXPA03004606A/es not_active Application Discontinuation
- 2003-05-26 AR ARP030101828A patent/AR040104A1/es not_active Application Discontinuation
- 2003-05-26 EP EP03011837A patent/EP1376342A3/en not_active Withdrawn
- 2003-05-26 BR BR0301970-5A patent/BR0301970A/pt not_active IP Right Cessation
Also Published As
Publication number | Publication date |
---|---|
US20040003380A1 (en) | 2004-01-01 |
MXPA03004606A (es) | 2004-09-06 |
AR040104A1 (es) | 2005-03-16 |
EP1376342A2 (en) | 2004-01-02 |
EP1376342A3 (en) | 2007-06-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR0301970A (pt) | Algoritmo de verificação de linguagem intermediária de passagem única | |
CN1141647C (zh) | 赋予高级微处理器内存储器数据别名的方法和装置 | |
US5815719A (en) | Method and apparatus for easy insertion of assembler code for optimization | |
BR0008675A (pt) | Processo para gerar código de linguagem orientada para procedimento para extrair dados de um sistema operacional | |
IL142484A0 (en) | Impact analysis of a model | |
DE602005006126D1 (de) | Verfahren und system zur off-line-programmierung von mehreren interagierenden robotern | |
HK1051729A1 (en) | Method and processor for branch instruction | |
BR9504355A (pt) | Processo de carregamento de uma zona de memória protegida de um dispositivo de processamento de dados e dispositivo associado | |
KR970703561A (ko) | 초장 명령어 워드 프로그램의 오브젝트-코드 호환가능 표현(Object-Code Com-patible Representation of Very Long Instruction Word Programs) | |
ES2168329T3 (es) | Metodo y aparato para mejorar el comportamiento del sistema en un sistema de tratamiento de datos. | |
CA2037708A1 (en) | General purpose compound apparatus for instruction-level parallel processors | |
ATE422070T1 (de) | Sicherheitssteuerung zum fehlersicheren steuern von sicherheitskritischen prozessen sowie verfahren zum aufspielen eines neuen betriebsprogramms auf eine solche | |
CN104049963B (zh) | 汉语语音控制机电设备运行的方法 | |
WO2005052760A3 (en) | System for optimizing application start-up | |
DE60028069D1 (de) | Verfahren und vorrichtung zur kontexterhaltung unter ausführung von übersetzten befehlen | |
BRPI0700955A (pt) | dispositivo de comando protegido e processo de comando protegido de um sistema | |
ATE350702T1 (de) | Bearbeitung von message-digest-befehlen | |
ATE493704T1 (de) | Verfahren und vorrichtung zur verwendung eines hilfsrechners zur befehlsvorausholung für einen hauptprozessor | |
ATE467201T1 (de) | Sicheres offline interaktives wetten | |
BR9100576A (pt) | Metodo para melhoramento da utilizacao dos ciclos de relogio por uma sequencia de instrucoes em um computador,compilador melhorado para otimizacao de um programa de computador e sistema de processamento de dados | |
BRPI0507185A (pt) | processo e sistemas para a transmissão de dados úteis entre aparelhos de telecomunicação | |
ATE268919T1 (de) | Prozessorssystem | |
WO2006136943A3 (en) | High-level language processor apparatus and method | |
ATE371732T1 (de) | Verfahren zur genexpression | |
BR0205813A (pt) | Método para adaptar um agendamento de entretenimento, aparelho arranjado para adaptar um agendamento de entretenimento, e, utilitário de software |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B08F | Application fees: application dismissed [chapter 8.6 patent gazette] |
Free format text: CONFORME ARTIGO 10O DA RESOLUCAO 124/06, CABE SER ARQUIVADO REFERENTE AO NAO RECOLHIMENTO DA 9A ANUIDADE. |
|
B08K | Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette] |
Free format text: NAO APRESENTADA A GUIA DE CUMPRIMENTO DE EXIGENCIA. |
|
B15K | Others concerning applications: alteration of classification |
Ipc: G06F 9/445 (2018.01) |