DE602004026713D1 - Architektur zum generieren von zwischendarstellungen für programmkodekonversion - Google Patents

Architektur zum generieren von zwischendarstellungen für programmkodekonversion

Info

Publication number
DE602004026713D1
DE602004026713D1 DE602004026713T DE602004026713T DE602004026713D1 DE 602004026713 D1 DE602004026713 D1 DE 602004026713D1 DE 602004026713 T DE602004026713 T DE 602004026713T DE 602004026713 T DE602004026713 T DE 602004026713T DE 602004026713 D1 DE602004026713 D1 DE 602004026713D1
Authority
DE
Germany
Prior art keywords
program code
code conversion
nodes
architecture
generating intermediate
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
DE602004026713T
Other languages
English (en)
Inventor
Daniel Owen
Jonathan Jay Andrews
Miles Philip Howson
David 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
Publication of DE602004026713D1 publication Critical patent/DE602004026713D1/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements 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/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45516Runtime code conversion or optimisation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
DE602004026713T 2003-05-02 2004-04-28 Architektur zum generieren von zwischendarstellungen für programmkodekonversion Expired - Lifetime DE602004026713D1 (de)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
GB0310180 2003-05-02
GB0326437A GB2401217B (en) 2003-05-02 2003-11-13 Improved architecture for generating intermediate representations for program code conversion
PCT/GB2004/001824 WO2004097631A2 (en) 2003-05-02 2004-04-28 Architecture for generating intermediate representations for program code conversion

Publications (1)

Publication Number Publication Date
DE602004026713D1 true DE602004026713D1 (de) 2010-06-02

Family

ID=33312370

Family Applications (1)

Application Number Title Priority Date Filing Date
DE602004026713T Expired - Lifetime DE602004026713D1 (de) 2003-05-02 2004-04-28 Architektur zum generieren von zwischendarstellungen für programmkodekonversion

Country Status (11)

Country Link
US (3) US20040221277A1 (de)
EP (2) EP1620793B1 (de)
JP (2) JP4536718B2 (de)
KR (3) KR20060004953A (de)
AT (1) ATE465445T1 (de)
DE (1) DE602004026713D1 (de)
ES (1) ES2341339T3 (de)
GB (2) GB2401217B (de)
IL (1) IL181941A (de)
TW (2) TWI350482B (de)
WO (1) WO2004097631A2 (de)

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
EP1995787A3 (de) 2005-09-29 2012-01-18 Semiconductor Energy Laboratory Co, Ltd. Halbleitervorrichtung mit halbleitender Oxidschicht und Herstellungsverfahren dafür
US7873952B2 (en) * 2006-03-09 2011-01-18 Oracle America, Inc. Code transformation to optimize fragments that implement constant loading
US20070294675A1 (en) 2006-06-20 2007-12-20 Transitive Limited Method and apparatus for handling exceptions during binding to native code
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
US8381202B2 (en) * 2006-06-20 2013-02-19 Google Inc. Runtime system for executing 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
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
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
US8443348B2 (en) * 2006-06-20 2013-05-14 Google Inc. Application program interface of a parallel-processing computer system that supports multiple programming languages
US8261270B2 (en) 2006-06-20 2012-09-04 Google Inc. Systems and methods for generating reference results using a parallel-processing computer system
US8001535B2 (en) 2006-10-02 2011-08-16 International Business Machines Corporation 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 パナソニック株式会社 データ転送制御装置、データ転送装置、データ転送制御方法及び再構成回路を用いた半導体集積回路
US8225120B2 (en) 2008-02-01 2012-07-17 International Business Machines Corporation Wake-and-go mechanism with data exclusivity
US8316218B2 (en) * 2008-02-01 2012-11-20 International Business Machines Corporation Look-ahead wake-and-go engine with speculative execution
US8788795B2 (en) * 2008-02-01 2014-07-22 International Business Machines Corporation Programming idiom accelerator to examine pre-fetched instruction streams for multiple processors
US8341635B2 (en) 2008-02-01 2012-12-25 International Business Machines Corporation Hardware wake-and-go mechanism with look-ahead polling
US8127080B2 (en) 2008-02-01 2012-02-28 International Business Machines Corporation Wake-and-go mechanism with system address bus transaction master
US8640141B2 (en) * 2008-02-01 2014-01-28 International Business Machines Corporation Wake-and-go mechanism with hardware private array
US8015379B2 (en) * 2008-02-01 2011-09-06 International Business Machines Corporation Wake-and-go mechanism with exclusive system bus response
US8171476B2 (en) 2008-02-01 2012-05-01 International Business Machines Corporation Wake-and-go mechanism with prioritization of threads
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
US8516484B2 (en) 2008-02-01 2013-08-20 International Business Machines Corporation Wake-and-go mechanism for a data processing system
US8145849B2 (en) * 2008-02-01 2012-03-27 International Business Machines Corporation Wake-and-go mechanism with system bus response
US8250396B2 (en) * 2008-02-01 2012-08-21 International Business Machines Corporation Hardware wake-and-go mechanism for a data processing system
US8312458B2 (en) 2008-02-01 2012-11-13 International Business Machines Corporation Central repository for wake-and-go mechanism
US8612977B2 (en) * 2008-02-01 2013-12-17 International Business Machines Corporation Wake-and-go mechanism with software save of thread state
US8732683B2 (en) 2008-02-01 2014-05-20 International Business Machines Corporation Compiler providing idiom to idiom accelerator
US8386822B2 (en) * 2008-02-01 2013-02-26 International Business Machines Corporation Wake-and-go mechanism with data monitoring
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
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
US8713528B1 (en) 2008-10-06 2014-04-29 The Mathworks, Inc. Verification of 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
US8869103B2 (en) * 2008-10-06 2014-10-21 The Mathworks, Inc. Using intermediate representations to verify 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
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
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
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
EP2801028A4 (de) * 2012-01-06 2015-08-12 Intel Corp Verfahren und vorrichtung zum ersetzen integrierter compiler-helferfunktionen mit maschinenbefehlen
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
CN114063997A (zh) * 2020-07-31 2022-02-18 伊姆西Ip控股有限责任公司 生成程序代码的方法、设备和计算机程序产品
EP4357982A1 (de) * 2021-06-16 2024-04-24 Moreh Corp. Verfahren und system zur erzeugung von zwischendarstellungen
WO2022265413A1 (ko) * 2021-06-16 2022-12-22 주식회사 모레 가속기에서 실행되는 프로그램에 대한 중간표현을 생성하는 방법 및 시스템
KR102457152B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 프로그램의 중간표현에 대한 최적화 적용 가능성을 판단하는 방법 및 시스템
KR102457153B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 프로그램에 대한 중간 표현을 관리하는 방법 및 시스템
KR102405886B1 (ko) * 2022-03-17 2022-06-08 주식회사 넷아스 아키텍처 변경을 위한 소스 변환 솔루션 제공 장치 및 방법

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 (de) * 1990-07-18 1992-03-27
DE69219420T2 (de) * 1991-03-07 1997-12-11 Digital Equipment Corp Verfahren und gerät zur rechnercode-verarbeitung in einem codeübersetzer
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
WO1997027536A1 (en) * 1996-01-24 1997-07-31 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
ATE457492T1 (de) * 1998-10-10 2010-02-15 Ibm Programmkodekonvertierung mit verringerter übersetzung
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
EP1183601A2 (de) * 1999-04-27 2002-03-06 Transitive Technologies Limited Ausnahmebehandlungsverfahren und gerät zur verwendung bei programmkodeumwandlung
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
US6662356B1 (en) * 1999-06-30 2003-12-09 Microsoft Corporation Application program interface for transforming 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 (de) * 2000-11-29 2002-06-05 Texas Instruments Incorporated Datenverarbeitungsvorrichtung, System und Verfahren
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
TW200502850A (en) 2005-01-16
IL181941A (en) 2015-02-26
EP1620793A2 (de) 2006-02-01
US7921413B2 (en) 2011-04-05
GB0326437D0 (en) 2003-12-17
TWI350478B (en) 2011-10-11
ATE465445T1 (de) 2010-05-15
KR20060004953A (ko) 2006-01-16
TWI350482B (en) 2011-10-11
US8104027B2 (en) 2012-01-24
KR101005775B1 (ko) 2011-01-05
JP2007249991A (ja) 2007-09-27
KR100968326B1 (ko) 2010-07-09
JP2006525572A (ja) 2006-11-09
US20090007085A1 (en) 2009-01-01
JP4536718B2 (ja) 2010-09-01
EP1727044A2 (de) 2006-11-29
US20040221277A1 (en) 2004-11-04
WO2004097631A2 (en) 2004-11-11
GB2401217B (en) 2005-11-09
KR20090107062A (ko) 2009-10-12
IL181941A0 (en) 2007-07-04
GB0507620D0 (en) 2005-05-25
WO2004097631A3 (en) 2006-03-16
EP1727044A3 (de) 2007-02-14
GB2411990B (en) 2005-11-09
GB2401217A (en) 2004-11-03
KR20070049247A (ko) 2007-05-10
JP4534234B2 (ja) 2010-09-01
US20070106983A1 (en) 2007-05-10
TW200745950A (en) 2007-12-16
GB2411990A (en) 2005-09-14
EP1620793B1 (de) 2010-04-21
ES2341339T3 (es) 2010-06-18

Similar Documents

Publication Publication Date Title
DE602004026713D1 (de) Architektur zum generieren von zwischendarstellungen für programmkodekonversion
ATE353193T1 (de) Vorrichtung zum anziehen von schuhwerk
ATE458219T1 (de) Verfahren zur datenverarbeitung mit modularer potenzierung und dazugehörige vorrichtung
DE69818217D1 (de) Methode und Vorrichtung zum Simulieren von Kunstmalerei oder künstlerischem Zeichnen
DE60226797D1 (de) Instrument zum Einbringen von Befestigungselementen für Transplantate
DE60239608D1 (de) Vorrichtung zur erzeugung von bewegung von mobilen robotern mit beinen
ATE412002T1 (de) Gruppen zum einfangen von nukleinsäuren
ATE340593T1 (de) Ermittlung der auswirkung von einem clostridial toxin auf muskeln
NO20071575L (no) Generereing av brukerutstyrsidentifikasjonsspesifikk forvrengningskode for den hoyhastighetsdelte kontrollkanalen
DK1562941T3 (da) Trans-9,10-dehydroepothilon C og D, analoger deraf og fremstillingsmåder til fremstilling heraf
ATE392430T1 (de) Verfahren zur herstellung von dipeptiden
BR9917534A (pt) Método e aparelho para gerar pulsos a partir de formas de onda analógicas
FI20031453A (fi) Järjestely ja menetelmä tiedon tarjoamiseksi käyttäjälle
EP1065591A3 (de) Programmkonvertierungsgerät, -prozessor und -aufzeichnungsmedium
DE60221323D1 (de) Dokumentenerzeugungsverfahren, Druckgerät angepasst an dieses Verfahren, und Rechnerprogrammelement, das einen Programmkode zur Ausführung des Verfahrens enthält
TR199902801T2 (xx) Temizleme arac� ve y�ntemi.
ATE460492T1 (de) ßGEN-FALLEN-VEKTORß UND VERFAHREN ZUM ßEINFANGENß VON GENEN MITTELS DIESES VEKTORS
NO20031908L (no) Polyanhydrider, fremgangsmate for fremstilling, anvendelse i begroingshindrende maling og begroingshindrende maling inneholdende polyanhydrider
ATE425485T1 (de) Eine repräsentation der digitalen waren, die auf matrixinvarianten basiert
EP2390785A3 (de) Codeerzeugung dank Komponentenkombinierung
ATE235711T1 (de) Operandenstapelspeicher und verfahren zum betreiben eines operandenstapelspeichers
DE50311784D1 (de) Uten, pelzen oder pelzfellen
DE60226859D1 (de) Verfahren zur klonierung mittels doppelter selektion und vektoren dafür
Samia et al. Experimental validation of a systematic determination approach ofa models' base.
ATE445584T1 (de) Verfahren zur herstellung von 2,3,6,7,10,11- hexahydroxytriphenylen

Legal Events

Date Code Title Description
8320 Willingness to grant licences declared (paragraph 23)
8364 No opposition during term of opposition