JP2006525572A5 - - Google Patents

Download PDF

Info

Publication number
JP2006525572A5
JP2006525572A5 JP2006506194A JP2006506194A JP2006525572A5 JP 2006525572 A5 JP2006525572 A5 JP 2006525572A5 JP 2006506194 A JP2006506194 A JP 2006506194A JP 2006506194 A JP2006506194 A JP 2006506194A JP 2006525572 A5 JP2006525572 A5 JP 2006525572A5
Authority
JP
Japan
Prior art keywords
target
node
code
instruction
polymorphic
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.)
Granted
Application number
JP2006506194A
Other languages
English (en)
Japanese (ja)
Other versions
JP4536718B2 (ja
JP2006525572A (ja
Filing date
Publication date
Priority claimed from GB0326437A external-priority patent/GB2401217B/en
Application filed filed Critical
Publication of JP2006525572A publication Critical patent/JP2006525572A/ja
Publication of JP2006525572A5 publication Critical patent/JP2006525572A5/ja
Application granted granted Critical
Publication of JP4536718B2 publication Critical patent/JP4536718B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

JP2006506194A 2003-05-02 2004-04-28 プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ Expired - Fee Related JP4536718B2 (ja)

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

Related Child Applications (1)

Application Number Title Priority Date Filing Date
JP2007110752A Division JP4534234B2 (ja) 2003-05-02 2007-04-19 プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ

Publications (3)

Publication Number Publication Date
JP2006525572A JP2006525572A (ja) 2006-11-09
JP2006525572A5 true JP2006525572A5 (enExample) 2007-06-14
JP4536718B2 JP4536718B2 (ja) 2010-09-01

Family

ID=33312370

Family Applications (2)

Application Number Title Priority Date Filing Date
JP2006506194A Expired - Fee Related JP4536718B2 (ja) 2003-05-02 2004-04-28 プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ
JP2007110752A Expired - Fee Related JP4534234B2 (ja) 2003-05-02 2007-04-19 プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ

Family Applications After (1)

Application Number Title Priority Date Filing Date
JP2007110752A Expired - Fee Related JP4534234B2 (ja) 2003-05-02 2007-04-19 プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ

Country Status (11)

Country Link
US (3) US20040221277A1 (enExample)
EP (2) EP1727044A3 (enExample)
JP (2) JP4536718B2 (enExample)
KR (3) KR100968326B1 (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
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
US8443348B2 (en) * 2006-06-20 2013-05-14 Google Inc. Application program interface of a parallel-processing computer system that supports multiple programming languages
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
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
US8381202B2 (en) * 2006-06-20 2013-02-19 Google Inc. Runtime system for executing an application in a parallel-processing computer system
US8261270B2 (en) 2006-06-20 2012-09-04 Google Inc. Systems and methods for generating reference results using 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
US20100042751A1 (en) * 2007-11-09 2010-02-18 Kouichi Ishino Data transfer control device, data transfer device, data transfer control method, and semiconductor integrated circuit using reconfigured circuit
US8145849B2 (en) * 2008-02-01 2012-03-27 International Business Machines Corporation Wake-and-go mechanism with system bus response
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
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
US8225120B2 (en) 2008-02-01 2012-07-17 International Business Machines Corporation Wake-and-go mechanism with data exclusivity
US8612977B2 (en) * 2008-02-01 2013-12-17 International Business Machines Corporation Wake-and-go mechanism with software save of thread state
US8250396B2 (en) * 2008-02-01 2012-08-21 International Business Machines Corporation Hardware wake-and-go mechanism for a data processing system
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
US8015379B2 (en) * 2008-02-01 2011-09-06 International Business Machines Corporation Wake-and-go mechanism with exclusive system bus response
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
US8732683B2 (en) 2008-02-01 2014-05-20 International Business Machines Corporation Compiler providing idiom to idiom accelerator
US8788795B2 (en) * 2008-02-01 2014-07-22 International Business Machines Corporation Programming idiom accelerator to examine pre-fetched instruction streams for multiple processors
US8725992B2 (en) 2008-02-01 2014-05-13 International Business Machines Corporation Programming language exposing idiom calls to a programming idiom accelerator
US8640141B2 (en) 2008-02-01 2014-01-28 International Business Machines Corporation Wake-and-go mechanism with hardware private array
US8312458B2 (en) 2008-02-01 2012-11-13 International Business Machines Corporation Central repository for wake-and-go mechanism
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
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
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
US8145723B2 (en) * 2009-04-16 2012-03-27 International Business Machines Corporation Complex remote update programming idiom accelerator
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
US9098298B2 (en) * 2010-08-26 2015-08-04 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控股有限责任公司 生成程序代码的方法、设备和计算机程序产品
KR102457153B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 프로그램에 대한 중간 표현을 관리하는 방법 및 시스템
KR102467622B1 (ko) * 2021-06-16 2022-11-17 주식회사 모레 중간표현을 생성하는 방법 및 시스템
KR102457154B1 (ko) * 2021-06-16 2022-10-20 주식회사 모레 가속기에서 실행되는 프로그램에 대한 중간표현을 생성하는 방법 및 시스템
WO2022265411A1 (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
DE69226094T2 (de) * 1991-03-07 1999-02-25 Digital Equipment Corp., Maynard, Mass. 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 富士通株式会社 コンパイル方式
CA2643234C (en) * 1993-10-29 2012-05-15 Microsoft Corporation 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
KR100529416B1 (ko) * 1996-01-24 2006-01-27 선 마이크로시스템즈 인코퍼레이티드 스택기반컴퓨터를위한명령폴딩방법및장치
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
EP1183601A2 (en) * 1999-04-27 2002-03-06 Transitive Technologies Limited Exception handling method and apparatus for use in program code conversion
US6609248B1 (en) * 1999-06-30 2003-08-19 Microsoft Corporation Cross module representation of heterogeneous programs
US6802056B1 (en) * 1999-06-30 2004-10-05 Microsoft Corporation Translation and transformation 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 (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
US20030093774A1 (en) * 2001-11-14 2003-05-15 Ronald Hilton State-specific variants of translated code under emulation
US7092869B2 (en) * 2001-11-14 2006-08-15 Ronald Hilton Memory address prediction 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

Similar Documents

Publication Publication Date Title
JP2006525572A5 (enExample)
US7536682B2 (en) Method and apparatus for performing interpreter optimizations during program code conversion
US7543284B2 (en) Partial dead code elimination optimizations for program code conversion
US8108657B2 (en) Handling floating point operations
TWI377502B (en) Method and apparatus for performing interpreter optimizations during program code conversion
JP4536718B2 (ja) プログラム・コード変換用の中間表現を生成するための改善されたアーキテクチャ
CA2082070C (en) Branch resolution via backward symbolic execution
JPWO2019241416A5 (enExample)
US8732679B2 (en) Loop transformation for computer compiler optimization
JP2011530768A5 (enExample)
CN110245467B (zh) 基于Dex2C与LLVM的Android应用程序保护方法
JP5840014B2 (ja) コンパイル方法、プログラムおよび情報処理装置
JP2004038923A (ja) プログラムコード変換のための条件コードフラグのエミュレーション
CN101523348A (zh) 针对程序代码转换处理动态链接的函数调用的方法和设备
CN100530108C (zh) 一种调用函数的方法及系统
JP2003050715A (ja) コンパイラおよびデバッグ装置
US7200841B2 (en) Method and apparatus for performing lazy byteswapping optimizations during program code conversion
US9465595B2 (en) Computing apparatus, computing method, and computing program
US20060248262A1 (en) Method and corresponding apparatus for compiling high-level languages into specific processor architectures
WO2007016808A1 (en) A compiling and translating method and apparatus
CN114327482B (zh) 应用格式转换方法、装置、设备及存储介质
JP2006146613A (ja) プログラム変換方法
US8645758B2 (en) Determining page faulting behavior of a memory operation
JP2000056981A (ja) プログラム変換装置
KR20250048918A (ko) 디컴파일 특화 정적 이진 변환 방법 및 장치