Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2018044629) SUIVI DE PROGRAMME DESTINÉ À L'ANALYSE ET AU DÉBOGAGE DE DÉPLACEMENT TEMPOREL
Dernières données bibliographiques dont dispose le Bureau internationalFormuler une observation

N° de publication : WO/2018/044629 N° de la demande internationale : PCT/US2017/048094
Date de publication : 08.03.2018 Date de dépôt international : 23.08.2017
CIB :
G06F 11/36 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36
Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
Déposants :
MICROSOFT TECHNOLOGY LICENSING, LLC [US/US]; One Microsoft Way Redmond, Washington 98052-6399, US
Inventeurs :
MOLA, Jordi; US
Mandataire :
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
Données relatives à la priorité :
15/252,99831.08.2016US
Titre (EN) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
(FR) SUIVI DE PROGRAMME DESTINÉ À L'ANALYSE ET AU DÉBOGAGE DE DÉPLACEMENT TEMPOREL
Abrégé :
(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
États désignés : 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : Anglais (EN)
Langue de dépôt : Anglais (EN)