このアプリケーションの一部のコンテンツは現時点では利用できません。
このような状況が続く場合は、にお問い合わせくださいフィードバック & お問い合わせ
1. (WO2018044629) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
国際事務局に記録されている最新の書誌情報    第三者情報を提供

国際公開番号: WO/2018/044629 国際出願番号: PCT/US2017/048094
国際公開日: 08.03.2018 国際出願日: 23.08.2017
IPC:
G06F 11/36 (2006.01)
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
11
エラー検出;エラー訂正;監視
36
ソフトウェアを検査またはデバッグすることによるエラー防止
出願人:
MICROSOFT TECHNOLOGY LICENSING, LLC [US/US]; One Microsoft Way Redmond, Washington 98052-6399, US
発明者:
MOLA, Jordi; US
代理人:
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
優先権情報:
15/252,99831.08.2016US
発明の名称: (EN) PROGRAM TRACING FOR TIME TRAVEL DEBUGGING AND ANALYSIS
(FR) SUIVI DE PROGRAMME DESTINÉ À L'ANALYSE ET AU DÉBOGAGE DE DÉPLACEMENT TEMPOREL
要約:
(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
指定国: 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
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(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)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
国際公開言語: 英語 (EN)
国際出願言語: 英語 (EN)