BR112016021725A2 - Apoio de comportamento dinâmico em programas estatisticamente compilados - Google Patents

Apoio de comportamento dinâmico em programas estatisticamente compilados

Info

Publication number
BR112016021725A2
BR112016021725A2 BR112016021725A BR112016021725A BR112016021725A2 BR 112016021725 A2 BR112016021725 A2 BR 112016021725A2 BR 112016021725 A BR112016021725 A BR 112016021725A BR 112016021725 A BR112016021725 A BR 112016021725A BR 112016021725 A2 BR112016021725 A2 BR 112016021725A2
Authority
BR
Brazil
Prior art keywords
runtime
support
dynamic behavior
metadata
compilation
Prior art date
Application number
BR112016021725A
Other languages
English (en)
Inventor
Strehovsky Michal
Charles Wrighton David
Kanamori Atsushi
Trofin Mircea
Martin Rudi
Original Assignee
Microsoft Technology Licensing Llc
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
Priority claimed from US14/227,036 external-priority patent/US9292270B2/en
Priority claimed from US14/227,029 external-priority patent/US9389890B2/en
Application filed by Microsoft Technology Licensing Llc filed Critical Microsoft Technology Licensing Llc
Publication of BR112016021725A2 publication Critical patent/BR112016021725A2/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/423—Preprocessors
    • 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/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

Abstract

PROCESSO DE COMPILAÇÃO DE SOFTWARE, MEIO DE ARMAZENAMENTO LEGÍVEL POR COMPUTADOR, E SISTEMA DE COMPUTADOR PARA APOIO DE COMPORTAMENTO DINÂMICO EM PROGRAMAS ESTATICAMENTE COMPILADOS. A presente invenção refere-se a um suporte para comportamento dinâmico que está provido durante compilação estática enquanto reduzindo a dependência em compilação JIT e grandes tempos de execução. Um mapeamento é criado entre metadados e artefatos de tempo de execução de código nativo, tal como entre metadados de definição de tipo e uma descrição de tipo de tempo de execução, ou entre metadados de definição de método, uma descrição de tipo de tempo de execução, e uma localização de método código nativo, ou metadados de definição de campo, uma descrição de tipo de tempo de execução, e uma localização de campo. Um mapeamento entre artefatos de tempo de execução pode também ser criado. Alguns resultados de compilação incluem um código trampolim para suportar uma invocação de reflexão de um artefato no ambiente de suporte de tempo de execução reduzido, para chamadas de método virtuais, verificação de limites de tempo de chamada, conversão de convenção de chamada, ou métodos intrínsecos de compilador. Alguns resultados suportam diagnósticos de tempo de execução incluindo certos metadados mesmo quando um comportamento dinâmico total não é suportado.
BR112016021725A 2014-03-27 2015-03-24 Apoio de comportamento dinâmico em programas estatisticamente compilados BR112016021725A2 (pt)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US14/227,036 US9292270B2 (en) 2014-03-27 2014-03-27 Supporting dynamic behavior in statically compiled programs
US14/227,029 US9389890B2 (en) 2014-03-27 2014-03-27 Hierarchical directives-based management of runtime behaviors
PCT/US2015/022106 WO2015148424A1 (en) 2014-03-27 2015-03-24 Supporting dynamic behavior in statically compiled programs

Publications (1)

Publication Number Publication Date
BR112016021725A2 true BR112016021725A2 (pt) 2017-08-15

Family

ID=52815333

Family Applications (2)

Application Number Title Priority Date Filing Date
BR112016021725A BR112016021725A2 (pt) 2014-03-27 2015-03-24 Apoio de comportamento dinâmico em programas estatisticamente compilados
BR112016021673-3A BR112016021673B1 (pt) 2014-03-27 2015-03-24 Meio de armazenamento legível por computador e sistema de computador para gerenciamento com base em diretivas hierárquicas de comportamentos de tempo de execução

Family Applications After (1)

Application Number Title Priority Date Filing Date
BR112016021673-3A BR112016021673B1 (pt) 2014-03-27 2015-03-24 Meio de armazenamento legível por computador e sistema de computador para gerenciamento com base em diretivas hierárquicas de comportamentos de tempo de execução

Country Status (4)

Country Link
EP (2) EP3123316B1 (pt)
CN (2) CN106133684B (pt)
BR (2) BR112016021725A2 (pt)
WO (2) WO2015148423A1 (pt)

Families Citing this family (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107515739B (zh) * 2016-06-16 2021-02-26 斑马智行网络(香港)有限公司 提高代码执行性能的方法及装置
CN107168870B (zh) * 2017-04-28 2021-10-29 福建星瑞格软件有限公司 一种运行时程序信息获取方法
US10521208B2 (en) * 2017-06-23 2019-12-31 Microsoft Technology Licensing, Llc. Differentiated static analysis for dynamic code optimization
US10642582B2 (en) * 2017-08-24 2020-05-05 Google Llc System of type inference for tuple graph programs method of executing a tuple graph program across a network
CN109151012A (zh) * 2018-08-11 2019-01-04 宁波亿拍客网络科技有限公司 一种推送方式运行程序方法及其运用方法、相关方法
FR3087026A1 (fr) * 2018-10-04 2020-04-10 Movida Production Procede pour generer une liaison (binding) entre une bibliotheque c/c++ et un langage interprete, et mise en œuvre de ce procede pour la transformation d’un modele tridimensionnel (3d)
CN109858226A (zh) * 2019-01-31 2019-06-07 叶春林 联网存储安全的保障系统
CN111723719B (zh) * 2020-06-12 2021-08-13 中国科学院自动化研究所 基于类别外部记忆的视频目标检测方法、系统、装置
CN111722849A (zh) * 2020-07-17 2020-09-29 思客云(北京)软件技术有限公司 Java语言虚拟编译实现方法、系统及装置
CN111768184A (zh) 2020-08-31 2020-10-13 支付宝(杭州)信息技术有限公司 一种执行智能合约的方法及区块链节点
CN111768183B (zh) 2020-08-31 2024-04-19 支付宝(杭州)信息技术有限公司 一种执行智能合约的方法、区块链节点和存储介质
CN111770204B (zh) 2020-08-31 2021-10-22 支付宝(杭州)信息技术有限公司 一种执行智能合约的方法、区块链节点和存储介质
CN111770202B (zh) * 2020-08-31 2021-10-29 支付宝(杭州)信息技术有限公司 一种执行智能合约的方法、区块链节点和存储介质
WO2023050036A1 (en) * 2021-09-28 2023-04-06 Huawei Technologies Co., Ltd. Fine-grained control of instruction attributes
CN114385388B (zh) * 2022-03-25 2022-09-13 广东美的暖通设备有限公司 算法的处理方法、装置、电子设备及存储介质

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6907599B1 (en) * 2001-06-15 2005-06-14 Verisity Ltd. Synthesis of verification languages
CN100346304C (zh) * 2003-01-24 2007-10-31 Bea系统公司 用于排列和解排列XML和Java中的数据类型的系统和方法
CN1285034C (zh) * 2004-02-19 2006-11-15 中国科学院计算技术研究所 耦合寄存器的中间表示实现方法
US8291375B2 (en) * 2004-03-29 2012-10-16 Sybase, Inc. Attribute-based component programming system and methodology for object-oriented languages
US8214811B2 (en) * 2006-10-23 2012-07-03 International Business Machines Corporation Instantiating an interface or abstract class in application code
US8479178B2 (en) * 2008-06-27 2013-07-02 Microsoft Corporation Compiler in a managed application context
US8464233B2 (en) * 2010-06-21 2013-06-11 Microsoft Corporation Compile time interpretation of markup codes
US9460224B2 (en) * 2011-06-16 2016-10-04 Microsoft Technology Licensing Llc. Selection mapping between fetched files and source files
US20130113809A1 (en) * 2011-11-07 2013-05-09 Nvidia Corporation Technique for inter-procedural memory address space optimization in gpu computing compiler
US8959495B2 (en) * 2012-09-14 2015-02-17 Oracle International Corporation Unifying static and dynamic compiler optimizations in source-code bases

Also Published As

Publication number Publication date
WO2015148423A1 (en) 2015-10-01
BR112016021673B1 (pt) 2022-09-20
EP3123316A1 (en) 2017-02-01
WO2015148424A1 (en) 2015-10-01
CN106133685A (zh) 2016-11-16
EP3123315B1 (en) 2018-11-14
EP3123315A1 (en) 2017-02-01
CN106133684B (zh) 2019-08-16
BR112016021673A2 (pt) 2017-08-15
CN106133684A (zh) 2016-11-16
CN106133685B (zh) 2019-10-18
EP3123316B1 (en) 2020-09-02

Similar Documents

Publication Publication Date Title
BR112016021725A2 (pt) Apoio de comportamento dinâmico em programas estatisticamente compilados
Katsifodimos et al. Apache flink: Stream analytics at scale
PH12019501795A1 (en) Method and apparatus for writing service data into block chain and method for determining service subset
MY181735A (en) Generating native code from intermediate language code for an application
WO2011116987A8 (en) A method for automatically generating a trace data set for a software system, a computer system, and a computer program product
BR112016024522A2 (pt) meio de armazenamento legível por computador não transitório, e, método
MX2013008072A (es) Sistema, metodo y articulo para inducir un cambio de conducta.
MX336195B (es) Sistema de tiempo de ejecucion.
JP2015524126A5 (pt)
WO2011088414A3 (en) Systems and methods for per-action compiling in contact handling systems
BR112015031760A2 (pt) sistema e método para projeção e uso de constelações multidimensionais
BRPI0618302A8 (pt) Modelagem da entrada do usuário e interação em aplicativos baseados em fluxo de trabalho
GB2508553A (en) Protecting memory of a virtual guest
RU2014107726A (ru) Проецирование собственных интерфейсов прикладного программирования операционной системы в другие языки программирования
WO2015124116A3 (en) System and method for isolating i/o execution via compiler and os support
JP2013545169A5 (pt)
JP2014500564A5 (pt)
BR112015010016A2 (pt) compilador, computador, método de compilação e programa de computador
GB2519900A (en) Image instance mapping
EP4220399A3 (en) Dynamic reconfiguration of applications on a multi-processor embedded system
JP2014501412A5 (pt)
JP2013539888A5 (pt)
MX2009000858A (es) Proteccion de transaccion de software de punteros manejados.
ATE459917T1 (de) Verringern von mit privaten variablen in parallelen programmen assoziiertem speicherreferenz-overhead
JP2016509714A5 (pt)

Legal Events

Date Code Title Description
B15K Others concerning applications: alteration of classification

Ipc: G06F 9/455 (2006.01)

B08F Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette]

Free format text: REFERENTE A 5A 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: REFERENTE AO DESPACHO 8.6 PUBLICADO NA RPI 2559 DE 21/01/2020.

B350 Update of information on the portal [chapter 15.35 patent gazette]
B350 Update of information on the portal [chapter 15.35 patent gazette]