Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2018044629) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2018/044629 International Application No.: PCT/US2017/048094
Publication Date: 08.03.2018 International Filing Date: 23.08.2017
IPC:
G06F 11/36 (2006.01)
G PHYSICS
06
COMPUTING; CALCULATING; COUNTING
F
ELECTRIC DIGITAL DATA PROCESSING
11
Error detection; Error correction; Monitoring
36
Preventing errors by testing or debugging of software
Applicants:
MICROSOFT TECHNOLOGY LICENSING, LLC [US/US]; One Microsoft Way Redmond, Washington 98052-6399, US
Inventors:
MOLA, Jordi; US
Agent:
MINHAS, Sandip S.; 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/252,99831.08.2016US
Title (EN) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
(FR) SUIVI DE PROGRAMME DESTINÉ À L'ANALYSE ET AU DÉBOGAGE DE DÉPLACEMENT TEMPOREL
Abstract:
(EN) Recording a replay-able trace of execution of a multi-threaded process includes identifying a trace memory model that defines one or more orderable events that are to be ordered across a plurality of threads of the multi-threaded process. The plurality of threads are executed concurrently across one or more processing units of one or more processors. During execution of the plurality of threads, a separate replay-able trace is recorded for each thread independently. Recording includes, for each thread, recording initial state for the thread, recording at least one memory read performed by at least one processor instruction executed by the thread that takes memory as input, and recording a least one orderable event performed by the thread with a monotonically increasing number that orders the event among other orderable events across the plurality of threads.
(FR) Selon la présente invention, l'enregistrement d'une trace d'exécution pouvant être lue d'un processus multifile consiste : à identifier un modèle de mémoire de trace qui définit un ou plusieurs événements pouvant être classés qui doivent être classés à travers une pluralité de fils du processus multifile. La pluralité de fils sont exécutés simultanément à travers une ou plusieurs unités de traitement d'au moins un processeur. Pendant l'exécution de la pluralité de fils, une trace distincte pouvant être lue est enregistrée pour chaque fil de façon indépendante. L'enregistrement consiste, pour chaque fil : à enregistrer un état initial pour le fil, à enregistrer au moins une lecture de mémoire réalisée par au moins une instruction de processeur exécutée par le fil qui prend la mémoire en tant qu'entrée, et à enregistrer au moins un événement pouvant être classé réalisé par le fil avec un nombre croissant de manière monotone qui classe l'événement parmi d'autres événements pouvant être classés à travers la pluralité de fils.
front page image
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 (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (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)