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. (WO2018026540) DEBUGGING TOOL FOR A JIT COMPILER
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.:    WO/2018/026540    International Application No.:    PCT/US2017/043188
Publication Date: 08.02.2018 International Filing Date: 21.07.2017
IPC:
G06F 11/36 (2006.01)
Applicants: MICROSOFT TECHNOLOGY LICENSING, LLC [US/US]; One Microsoft Way Redmond, Washington 98052-6399 (US)
Inventors: WADSWORTH, Brandon Scott; (US)
Agent: MINHAS, Sandip; (US).
CHEN, Wei-Chen Nicholas; (US).
DRAKOS, Katherine J.; (US).
HINOJOSA, Brianna L.; (US).
HOLMES, Danielle J.; (US).
SWAIN, Cassandra T.; (US).
WONG, Thomas S.; (US).
CHOI, Daniel; (US).
HWANG, William C.; (US).
WIGHT, Stephen A.; (US).
CHATTERJEE, Aaron C.; (US)
Priority Data:
15/224,586 31.07.2016 US
Title (EN) DEBUGGING TOOL FOR A JIT COMPILER
(FR) OUTIL DE DÉBOGAGE POUR COMPILATEUR JIT
Abstract: front page image
(EN)A JIT compiler is debugged by comparing the native code it generates with the native code generated from a reliable JIT compiler. The different compilations are performed using the same input data. The input data is recorded by intercepting the communication exchanges between a runtime environment and the reliable JIT compiler during the compilation of a program. The input data of each communication is stored using a key based on at least one parameter in an API call from a JIT compiler to the runtime environment. A debugging tool is then used to initiate the compilation of a method using a JIT compiler under test using the previously recorded input data.
(FR)Un compilateur JIT est débogué en comparant le code natif qu'il génère avec le code natif généré à partir d'un compilateur JIT fiable. Les différentes compilations sont effectuées à l'aide des mêmes données d'entrée. Les données d'entrée sont enregistrées en interceptant les échanges de communication entre un environnement d'exécution et le compilateur JIT fiable pendant la compilation d'un programme. Les données d'entrée de chaque communication sont stockées à l'aide d'une clé sur la base d'au moins un paramètre dans un appel d'API provenant d'un compilateur JIT dans l'environnement d'exécution. Un outil de débogage est ensuite utilisé pour lancer la compilation d'un procédé à l'aide d'un compilateur JIT à l'essai à l'aide des données d'entrée précédemment enregistrées.
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, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, 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, SA, 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, ST, 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, KM, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)