Einige Inhalte dieser Anwendung sind momentan nicht verfügbar.
Wenn diese Situation weiterhin besteht, kontaktieren Sie uns bitte unterFeedback&Kontakt
1. (WO2018044629) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
Aktuellste beim Internationalen Büro vorliegende bibliographische Daten    Einwendung einreichen

Veröff.-Nr.: WO/2018/044629 Internationale Anmeldenummer PCT/US2017/048094
Veröffentlichungsdatum: 08.03.2018 Internationales Anmeldedatum: 23.08.2017
IPC:
G06F 11/36 (2006.01)
G Physik
06
Datenverarbeitung; Rechnen; Zählen
F
Elektrische digitale Datenverarbeitung
11
Fehlererkennung; Fehlerkorrektur; Überwachung
36
Verhindern von Fehlern durch Überprüfen oder Debugging der Software
Anmelder:
MICROSOFT TECHNOLOGY LICENSING, LLC [US/US]; One Microsoft Way Redmond, Washington 98052-6399, US
Erfinder:
MOLA, Jordi; US
Vertreter:
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
Prioritätsdaten:
15/252,99831.08.2016US
Titel (EN) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
(FR) SUIVI DE PROGRAMME DESTINÉ À L'ANALYSE ET AU DÉBOGAGE DE DÉPLACEMENT TEMPOREL
Zusammenfassung:
(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
Designierte Staaten: 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)
Eurasische Patentorganisation (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Europäisches Patentamt (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)
Veröffentlichungssprache: Englisch (EN)
Anmeldesprache: Englisch (EN)