ES2341339T3 - Arquitectura para generar representaciones intermedias para la conservacion de codigos de programas. - Google Patents

Arquitectura para generar representaciones intermedias para la conservacion de codigos de programas. Download PDF

Info

Publication number
ES2341339T3
ES2341339T3 ES04729922T ES04729922T ES2341339T3 ES 2341339 T3 ES2341339 T3 ES 2341339T3 ES 04729922 T ES04729922 T ES 04729922T ES 04729922 T ES04729922 T ES 04729922T ES 2341339 T3 ES2341339 T3 ES 2341339T3
Authority
ES
Spain
Prior art keywords
nodes
subject
code
architecture
instruction
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
ES04729922T
Other languages
English (en)
Spanish (es)
Inventor
Daniel Transitive Limited OWEN
Jonathan Jay Transitive Limited ANDREWS
Miles Philip Transitive Limited HOWSON
David Transitive Limited HAIKEN
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by International Business Machines Corp filed Critical International Business Machines Corp
Application granted granted Critical
Publication of ES2341339T3 publication Critical patent/ES2341339T3/es
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45516—Runtime code conversion or optimisation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Compression, Expansion, Code Conversion, And Decoders (AREA)
  • Executing Machine-Instructions (AREA)
  • Communication Control (AREA)
  • Machine Translation (AREA)
  • Numerical Control (AREA)
  • Storage Device Security (AREA)
ES04729922T 2003-05-02 2004-04-28 Arquitectura para generar representaciones intermedias para la conservacion de codigos de programas. Expired - Lifetime ES2341339T3 (es)

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
GB0310180 2003-05-02
GB0310180 2003-05-02
GB0326437 2003-11-13
GB0326437A GB2401217B (en) 2003-05-02 2003-11-13 Improved architecture for generating intermediate representations for program code conversion

Publications (1)

Publication Number Publication Date
ES2341339T3 true ES2341339T3 (es) 2010-06-18

Family

ID=33312370

Family Applications (1)

Application Number Title Priority Date Filing Date
ES04729922T Expired - Lifetime ES2341339T3 (es) 2003-05-02 2004-04-28 Arquitectura para generar representaciones intermedias para la conservacion de codigos de programas.

Country Status (11)

Country Link
US (3) US20040221277A1 (enExample)
EP (2) EP1727044A3 (enExample)
JP (2) JP4536718B2 (enExample)
KR (3) KR101005775B1 (enExample)
AT (1) ATE465445T1 (enExample)
DE (1) DE602004026713D1 (enExample)
ES (1) ES2341339T3 (enExample)
GB (2) GB2401217B (enExample)
IL (1) IL181941A (enExample)
TW (2) TWI350478B (enExample)
WO (1) WO2004097631A2 (enExample)

Families Citing this family (68)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7739696B2 (en) * 2005-09-08 2010-06-15 Honeywell International Inc. Message translation systems and methods
US7873952B2 (en) * 2006-03-09 2011-01-18 Oracle America, Inc. Code transformation to optimize fragments that implement constant loading
US8443348B2 (en) 2006-06-20 2013-05-14 Google Inc. Application program interface of a parallel-processing computer system that supports multiple programming languages
US8136102B2 (en) 2006-06-20 2012-03-13 Google Inc. Systems and methods for compiling an application for a parallel-processing computer system
US7814486B2 (en) 2006-06-20 2010-10-12 Google Inc. Multi-thread runtime system
US8261270B2 (en) 2006-06-20 2012-09-04 Google Inc. Systems and methods for generating reference results using a parallel-processing computer system
US8146066B2 (en) 2006-06-20 2012-03-27 Google Inc. Systems and methods for caching compute kernels for an application running on a parallel-processing computer system
US8381202B2 (en) * 2006-06-20 2013-02-19 Google Inc. Runtime system for executing an application in a parallel-processing computer system
US8136104B2 (en) 2006-06-20 2012-03-13 Google Inc. Systems and methods for determining compute kernels for an application in a parallel-processing computer system
US8108844B2 (en) 2006-06-20 2012-01-31 Google Inc. Systems and methods for dynamically choosing a processing element for a compute kernel
US20070294675A1 (en) 2006-06-20 2007-12-20 Transitive Limited Method and apparatus for handling exceptions during binding to native code
EP2069928A1 (en) 2006-10-02 2009-06-17 Transitive Limited Computer system and method of adapting a computer system to support a register window architecture
GB0623276D0 (en) * 2006-11-22 2007-01-03 Transitive Ltd Memory consistency protection in a multiprocessor computing system
GB2447968B (en) * 2007-03-30 2010-07-07 Transitive Ltd Improvements in and relating to floating point operations
GB2448523B (en) 2007-04-19 2009-06-17 Transitive Ltd Apparatus and method for handling exception signals in a computing system
US20090019525A1 (en) * 2007-07-13 2009-01-15 Dachuan Yu Domain-specific language abstractions for secure server-side scripting
JP5373620B2 (ja) * 2007-11-09 2013-12-18 パナソニック株式会社 データ転送制御装置、データ転送装置、データ転送制御方法及び再構成回路を用いた半導体集積回路
US8788795B2 (en) * 2008-02-01 2014-07-22 International Business Machines Corporation Programming idiom accelerator to examine pre-fetched instruction streams for multiple processors
US8145849B2 (en) * 2008-02-01 2012-03-27 International Business Machines Corporation Wake-and-go mechanism with system bus response
US8452947B2 (en) * 2008-02-01 2013-05-28 International Business Machines Corporation Hardware wake-and-go mechanism and content addressable memory with instruction pre-fetch look-ahead to detect programming idioms
US8225120B2 (en) 2008-02-01 2012-07-17 International Business Machines Corporation Wake-and-go mechanism with data exclusivity
US8015379B2 (en) * 2008-02-01 2011-09-06 International Business Machines Corporation Wake-and-go mechanism with exclusive system bus response
US8640141B2 (en) 2008-02-01 2014-01-28 International Business Machines Corporation Wake-and-go mechanism with hardware private array
US8732683B2 (en) 2008-02-01 2014-05-20 International Business Machines Corporation Compiler providing idiom to idiom accelerator
US8725992B2 (en) 2008-02-01 2014-05-13 International Business Machines Corporation Programming language exposing idiom calls to a programming idiom accelerator
US8880853B2 (en) 2008-02-01 2014-11-04 International Business Machines Corporation CAM-based wake-and-go snooping engine for waking a thread put to sleep for spinning on a target address lock
US8312458B2 (en) 2008-02-01 2012-11-13 International Business Machines Corporation Central repository for wake-and-go mechanism
US8516484B2 (en) 2008-02-01 2013-08-20 International Business Machines Corporation Wake-and-go mechanism for a data processing system
US8386822B2 (en) * 2008-02-01 2013-02-26 International Business Machines Corporation Wake-and-go mechanism with data monitoring
US8316218B2 (en) * 2008-02-01 2012-11-20 International Business Machines Corporation Look-ahead wake-and-go engine with speculative execution
US8127080B2 (en) 2008-02-01 2012-02-28 International Business Machines Corporation Wake-and-go mechanism with system address bus transaction master
US8341635B2 (en) 2008-02-01 2012-12-25 International Business Machines Corporation Hardware wake-and-go mechanism with look-ahead polling
US8250396B2 (en) * 2008-02-01 2012-08-21 International Business Machines Corporation Hardware wake-and-go mechanism for a data processing system
US8612977B2 (en) * 2008-02-01 2013-12-17 International Business Machines Corporation Wake-and-go mechanism with software save of thread state
US8171476B2 (en) 2008-02-01 2012-05-01 International Business Machines Corporation Wake-and-go mechanism with prioritization of threads
GB0813833D0 (en) 2008-07-29 2008-09-03 Transitive Ltd Apparatus and method for handling page protection faults in a computing system
US8281296B2 (en) * 2008-08-12 2012-10-02 Oracle America, Inc. Cross-ISA inlining in a system virtual machine
US8307353B2 (en) * 2008-08-12 2012-11-06 Oracle America, Inc. Cross-domain inlining in a system virtual machine
US8869103B2 (en) * 2008-10-06 2014-10-21 The Mathworks, Inc. Using intermediate representations to verify computer-executable code generated from a model
US8856726B2 (en) * 2009-09-14 2014-10-07 The Mathworks, Inc. Verification of computer-executable code generated from a slice of a model
US8713528B1 (en) 2008-10-06 2014-04-29 The Mathworks, Inc. Verification of computer-executable code generated from a model
US8732680B2 (en) * 2009-02-19 2014-05-20 International Business Machines Corporation Intermediate form for bitwidth sensitive applications and uses thereof
US8145723B2 (en) * 2009-04-16 2012-03-27 International Business Machines Corporation Complex remote update programming idiom accelerator
US8230201B2 (en) * 2009-04-16 2012-07-24 International Business Machines Corporation Migrating sleeping and waking threads between wake-and-go mechanisms in a multiple processor data processing system
US8082315B2 (en) * 2009-04-16 2011-12-20 International Business Machines Corporation Programming idiom accelerator for remote update
US8886919B2 (en) 2009-04-16 2014-11-11 International Business Machines Corporation Remote update programming idiom accelerator with allocated processor resources
US8246527B2 (en) * 2009-10-21 2012-08-21 J&L Group International, Llc Systems and methods for folding
US20110153306A1 (en) * 2009-12-23 2011-06-23 International Business Machines Corporation System, method and computer program product for processor verification using abstract test case
US8843904B2 (en) * 2010-01-26 2014-09-23 International Business Machines Corporation Automated building and retargeting of architecture-dependent assets
US8683451B1 (en) * 2010-04-30 2014-03-25 The United States Of America As Represented By The Secretary Of The Navy System and method for translating software code
US8756590B2 (en) * 2010-06-22 2014-06-17 Microsoft Corporation Binding data parallel device source code
WO2012025792A1 (en) * 2010-08-26 2012-03-01 Freescale Semiconductor, Inc. Optimization method for compiler, optimizer for a compiler and storage medium storing optimizing code
US9098307B2 (en) * 2011-07-22 2015-08-04 National Instruments Corporation Rearrangement of algebraic expressions based on operand ranking schemes
US9098355B2 (en) * 2012-01-06 2015-08-04 Intel Corporation Method and apparatus for substituting compiler built-in helper functions with machine instructions
US10747880B2 (en) * 2013-12-30 2020-08-18 University Of Louisiana At Lafayette System and method for identifying and comparing code by semantic abstractions
US9785777B2 (en) * 2014-12-19 2017-10-10 International Business Machines Corporation Static analysis based on abstract program representations
US10133655B1 (en) * 2017-06-12 2018-11-20 Sony Interactive Entertainment Inc. Emulation of target system using JIT compiler and bypassing translation of selected target code blocks
DE102019105418B3 (de) * 2019-03-04 2020-08-13 Fujitsu Technology Solutions Intellectual Property Gmbh Verfahren zum Erzeugen einer Darstellung einer Programmlogik, Dekompiliervorrichtung, Rekompiliersystem und Computerprogrammprodukte
US11074055B2 (en) * 2019-06-14 2021-07-27 International Business Machines Corporation Identification of components used in software binaries through approximate concrete execution
US10733303B1 (en) * 2020-04-23 2020-08-04 Polyverse Corporation Polymorphic code translation systems and methods
US11340875B2 (en) * 2020-06-02 2022-05-24 Sri International Searchable storage of sequential application programs
CN114063997B (zh) * 2020-07-31 2024-11-29 伊姆西Ip控股有限责任公司 生成程序代码的方法、设备和计算机程序产品
KR102457154B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 가속기에서 실행되는 프로그램에 대한 중간표현을 생성하는 방법 및 시스템
KR102457152B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 프로그램의 중간표현에 대한 최적화 적용 가능성을 판단하는 방법 및 시스템
WO2022265412A1 (ko) * 2021-06-16 2022-12-22 주식회사 모레 프로그램에 대한 중간 표현을 관리하는 방법 및 시스템
WO2022265410A1 (ko) * 2021-06-16 2022-12-22 주식회사 모레 중간표현을 생성하는 방법 및 시스템
KR102405886B1 (ko) * 2022-03-17 2022-06-08 주식회사 넷아스 아키텍처 변경을 위한 소스 변환 솔루션 제공 장치 및 방법
CN119248351A (zh) * 2024-10-13 2025-01-03 孙龙 一种web api请求自动生成数据库操作指令的方法、系统、设备和介质

Family Cites Families (40)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0414144A (ja) * 1990-05-08 1992-01-20 Fujitsu Ltd コンパイル処理方法
JPH0436646U (enExample) * 1990-07-18 1992-03-27
JPH0738159B2 (ja) * 1991-03-07 1995-04-26 ディジタル イクイップメント コーポレイション コードトランスレータのコンピュータコードを処理する方法および装置
JP3602857B2 (ja) * 1991-04-23 2004-12-15 株式会社日立製作所 多機種対応型情報処理システム、および、方法
US5355492A (en) * 1991-11-05 1994-10-11 Thinking Machines Corporation System for compiling parallel communications instructions including their embedded data transfer information
JP3280449B2 (ja) * 1993-03-01 2002-05-13 富士通株式会社 コンパイル装置
JP3276479B2 (ja) * 1993-10-05 2002-04-22 富士通株式会社 コンパイル方式
CA2134059C (en) * 1993-10-29 2009-01-13 Charles Simonyi Method and system for generating a computer program
US5748966A (en) * 1994-12-30 1998-05-05 The Trustees Of The University Of Pennsylvania Type error checker for type-free or polymorphic computer language
US5696956A (en) * 1995-11-08 1997-12-09 Digital Equipment Corporation Dynamically programmable reduced instruction set computer with programmable processor loading on program number field and program number register contents
EP0976030B1 (en) * 1996-01-24 2008-07-02 Sun Microsystems, Inc. Instruction folding for a stack-based machine
US6091897A (en) * 1996-01-29 2000-07-18 Digital Equipment Corporation Fast translation and execution of a computer program on a non-native architecture by use of background translator
US6021275A (en) * 1996-08-05 2000-02-01 General Magic, Inc. Object code structure and method for translation of architecture independent program implementations
US6049667A (en) * 1997-08-15 2000-04-11 International Business Machines Corporation Computer system, method of compiling and method of accessing address space with pointer of different width therefrom
US6151705A (en) * 1997-10-30 2000-11-21 Hewlett-Packard Company Efficient use of the base register auto-increment feature of memory access instructions
US6292935B1 (en) * 1998-05-29 2001-09-18 Intel Corporation Method for fast translation of java byte codes into efficient native processor code
EP1385090B1 (en) * 1998-10-10 2012-06-13 International Business Machines Corporation Program code conversion for variably sized registers
GB9825102D0 (en) * 1998-11-16 1999-01-13 Insignia Solutions Plc Computer system
US7065633B1 (en) * 1999-01-28 2006-06-20 Ati International Srl System for delivering exception raised in first architecture to operating system coded in second architecture in dual architecture CPU
US6502236B1 (en) * 1999-03-16 2002-12-31 Fujitsu Network Communications, Inc. Method and apparatus for automatic generation of programs for processing data units of multiple formats
US6286134B1 (en) * 1999-04-23 2001-09-04 Sun Microsystems, Inc. Instruction selection in a multi-platform environment
AU4580300A (en) * 1999-04-27 2000-11-10 Transitive Technologies Limited Exception handling method and apparatus for use in program code conversion
US6662356B1 (en) * 1999-06-30 2003-12-09 Microsoft Corporation Application program interface for transforming heterogeneous programs
US6802056B1 (en) * 1999-06-30 2004-10-05 Microsoft Corporation Translation and transformation of heterogeneous programs
US6609248B1 (en) * 1999-06-30 2003-08-19 Microsoft Corporation Cross module representation of heterogeneous programs
US6880152B1 (en) * 1999-10-13 2005-04-12 Transmeta Corporation Method of determining a mode of code generation
US20020129340A1 (en) * 1999-10-28 2002-09-12 Tuttle Douglas D. Reconfigurable isomorphic software representations
US6895494B1 (en) * 2000-06-26 2005-05-17 Texas Instruments Incorporated Sub-pipelined and pipelined execution in a VLIW
TW525091B (en) * 2000-10-05 2003-03-21 Koninkl Philips Electronics Nv Retargetable compiling system and method
EP1211598A1 (en) * 2000-11-29 2002-06-05 Texas Instruments Incorporated Data processing apparatus, system and method
CA2332085A1 (en) * 2001-01-23 2002-07-23 Ibm Canada Limited-Ibm Canada Limitee Adapting polymorphic inline caches for multithreaded computing
JP2002312180A (ja) * 2001-04-11 2002-10-25 Hitachi Ltd 動的命令変換機能を有するプロセッサシステム、該プロセッサシステムを備えたコンピュータにて実行されるバイナリートランスレーションプログラム及びそのプロセッサシステムを実装した半導体デバイス
US7487330B2 (en) * 2001-05-02 2009-02-03 International Business Machines Corporations Method and apparatus for transferring control in a computer system with dynamic compilation capability
US20030023958A1 (en) * 2001-07-17 2003-01-30 Patel Mukesh K. Intermediate language accelerator chip
US7234111B2 (en) * 2001-09-28 2007-06-19 Ntt Docomo, Inc. Dynamic adaptation of GUI presentations to heterogeneous device platforms
US7092869B2 (en) * 2001-11-14 2006-08-15 Ronald Hilton Memory address prediction under emulation
US20030093774A1 (en) * 2001-11-14 2003-05-15 Ronald Hilton State-specific variants of translated code under emulation
US20030167460A1 (en) * 2002-02-26 2003-09-04 Desai Vipul Anil Processor instruction set simulation power estimation method
US7076769B2 (en) * 2003-03-28 2006-07-11 Intel Corporation Apparatus and method for reproduction of a source ISA application state corresponding to a target ISA application state at an execution stop point
US7120898B2 (en) * 2003-06-26 2006-10-10 Microsoft Corporation Intermediate representation for multiple exception handling models

Also Published As

Publication number Publication date
US20070106983A1 (en) 2007-05-10
KR100968326B1 (ko) 2010-07-09
GB2411990A (en) 2005-09-14
GB2401217A (en) 2004-11-03
EP1620793A2 (en) 2006-02-01
GB0326437D0 (en) 2003-12-17
US7921413B2 (en) 2011-04-05
JP2007249991A (ja) 2007-09-27
KR20090107062A (ko) 2009-10-12
EP1727044A2 (en) 2006-11-29
JP4536718B2 (ja) 2010-09-01
JP2006525572A (ja) 2006-11-09
US8104027B2 (en) 2012-01-24
KR20070049247A (ko) 2007-05-10
WO2004097631A2 (en) 2004-11-11
US20040221277A1 (en) 2004-11-04
KR101005775B1 (ko) 2011-01-05
JP4534234B2 (ja) 2010-09-01
US20090007085A1 (en) 2009-01-01
ATE465445T1 (de) 2010-05-15
IL181941A0 (en) 2007-07-04
TWI350482B (en) 2011-10-11
WO2004097631A3 (en) 2006-03-16
TWI350478B (en) 2011-10-11
KR20060004953A (ko) 2006-01-16
GB0507620D0 (en) 2005-05-25
GB2401217B (en) 2005-11-09
EP1727044A3 (en) 2007-02-14
TW200745950A (en) 2007-12-16
EP1620793B1 (en) 2010-04-21
DE602004026713D1 (de) 2010-06-02
IL181941A (en) 2015-02-26
TW200502850A (en) 2005-01-16
GB2411990B (en) 2005-11-09

Similar Documents

Publication Publication Date Title
ES2341339T3 (es) Arquitectura para generar representaciones intermedias para la conservacion de codigos de programas.
ES2340370T3 (es) Conversion de codigo de programa con traduccion reducida.
JP4931583B2 (ja) ネイティブ結合を行なうための方法および装置
CN108614960B (zh) 一种基于前端字节码技术的JavaScript虚拟化保护方法
Sweetman See MIPS run
Alexandrescu The D programming language
TWI453671B (zh) 用於程式碼轉換期間之本機碼和目標碼的組合執行之方法與裝置
US7337438B1 (en) Macros to support structures for an assembler that does not support structures
JP5182814B2 (ja) プログラムコード変換中の実行制御
JPH0769833B2 (ja) 多言語最適化コンパイラ内のシンボル テーブル構成用インタフェイス
CN115408004A (zh) 一种Web应用系统存算一体化适配优化方法及装置
JP4088418B2 (ja) ソフトウェア・エミュレーションを改善するために異なるデータ・タイプの複数の結果を生成するコンピュータ命令
Sweeney et al. UnrealScript language reference
CN100377087C (zh) 生成用于程序代码转换的中间表示的方法和转换器装置
Korenčik Decompiling binaries into LLVM IR using McSema and Dyninst
Kovács Canonicity for Indexed Inductive-Recursive Types
Terei et al. Low level virtual machine for Glasgow Haskell Compiler
Durov Fift: A brief introduction
Gál et al. Extending A+ with Object-Oriented Elements: A Case Study for A+. NET
Harper Fusion on Haskell Unicode Strings
Sarkar SUPERWORD LEVEL PARALLELISM IN THE GLASGOW HASKELL COMPILER
Kapoor The Role of Transpilers and Polyfills
Smith A formal analysis of name accessing in programming languages.
Zhirkov Syntax, Semantics, and Pragmatics
Partain Graph reduction without pointers