WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2013119441) TRANSFERRING PROGRAM EXECUTION FROM COMPILED CODE TO INTERPRETED CODE
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2013/119441    International Application No.:    PCT/US2013/023958
Publication Date: 15.08.2013 International Filing Date: 31.01.2013
IPC:
G06F 9/45 (2006.01), G06F 9/30 (2006.01)
Applicants: MICROSOFT CORPORATION [US/US]; One Microsoft Way Redmond, Washington 98052-6399 (US) (For All Designated States Except US)
Inventors: LAFRENIERE, Louis; (US).
MAN, Curtis; (US)
Priority Data:
13/368,330 07.02.2012 US
Title (EN) TRANSFERRING PROGRAM EXECUTION FROM COMPILED CODE TO INTERPRETED CODE
(FR) TRANSFERT D'EXÉCUTION D'UN PROGRAMME D'UN CODE COMPILÉ À UN CODE INTERPRÉTÉ
Abstract: front page image
(EN)Optimized compiled code can be generated from bytecode derived from a program written in a dynamic language such as JavaScript. Optimizations can be based on one or more assumptions. During execution of the optimized compiled code, the assumption or assumptions on which the optimization was based can be examined for validity. In response to determining that the optimization was based on an invalid assumption or assumptions, execution of the optimized code can stop, the state of variables used by an interpreter can be restored and execution of the program can resume in the interpreter using the unoptimized bytecode derived from the program. Resumption of the program can resume at the point in the bytecode analogous to the point in the optimized compiled code at which the assumption or assumptions was determined to be false.
(FR)La présente invention concerne un code compilé pouvant être généré à partir d'un code octet issu d'un programme écrit dans un langage dynamique tel que JavaScript. Certaines optimisations peuvent être fondées sur une ou plusieurs hypothèses. Pendant l'exécution du code compilé optimisé, la validité de l'hypothèse ou des hypothèses sur laquelle ou lesquelles a été fondée l'optimisation, peut ou peuvent être examinée(s). En réponse à la détermination du fait que l'optimisation a été fondée sur une hypothèse ou des hypothèses invalide(s), l'exécution du code optimisé peut s'arrêter, l'état de variables utilisées par un interpréteur peut être rétabli et l'exécution du programme peut reprendre dans l'interpréteur en utilisant le code octet non optimisé issu du programme. La reprise du programme peut consister à reprendre en un point du code octet qui est analogue au point du code compilé optimisé où il a été déterminé que l'hypothèse ou les hypothèses était ou étaient fausse(s).
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)