公开(公告)号：US20210406154A1

公开(公告)日：2021-12-30

申请号：US17473707

申请日：2021-09-13

Applicant: Microsoft Technology Licensing, LLC

Inventor： Del MYERS ,  Jackson Michael DAVIS ,  Thomas LAI ,  Andrew R. STERLAND ,  Deborah CHEN ,  Patrick Lothian NELSON ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA ,  James M. PINKERTON ,  Leslie Yvette RICHARDSON ,  Kenneth Walter SYKES

IPC: G06F11/36 ,  G06F16/23 ,  G06F9/48

Abstract: Based on replay of a thread, one implementation observes an influx of a value of a memory cell comprising an interaction between the thread and the value of the memory cell at an execution time point in the replaying, and determines whether the value of the memory cell observed from the influx is inconsistent with a prior value of the memory cell as known by the thread at the execution time point. If so, this implementation initiates an indication of a data inconsistency. Based on replay of a plurality of threads, another implementation identifies a memory cell that was accessed by a first thread while a thread synchronization mechanism was active on the first thread. Then, if there was another access to the memory cell by a second thread without use of the thread synchronization mechanism, this implementation initiates an indication of a potential data contention.

公开(公告)号：US20190171547A1

公开(公告)日：2019-06-06

申请号：US16252180

申请日：2019-01-18

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jordi MOLA ,  Kenneth Walter SYKES

IPC: G06F11/36 ,  G06F16/903 ,  G06F16/43 ,  G06F16/31 ,  G06F16/9038

CPC classification number: G06F11/3636 ,  G06F11/3466 ,  G06F16/328 ,  G06F16/43 ,  G06F16/90335 ,  G06F16/9038 ,  G06F2201/865

Abstract: Querying resource lifetime using a trace of program execution. An embodiment includes identifying a query expression targeted at least a portion of the trace of program execution. The query expression specifies at least (i) a data object representing a plurality of events identified in the trace, each event associated with one or more attributes relating to resource lifetime, and (ii) one or more conditions matching the one attributes relating to resource lifetime. In response to receiving the query expression, the query expression is processed based at least on an analysis of an identified subset of the trace. Based on processing the query expression, a result data set that includes or identifies at least one of the plurality of events that meets the one or more conditions is presented.

公开(公告)号：US20180260302A1

公开(公告)日：2018-09-13

申请号：US15631872

申请日：2017-06-23

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jordi MOLA ,  Kenneth Walter SYKES

IPC: G06F11/36 ,  G06F17/30

CPC classification number: G06F11/3636 ,  G06F11/3466 ,  G06F17/30023 ,  G06F17/30631 ,  G06F17/30979 ,  G06F17/30991

Abstract: Querying resource lifetime using a trace of program execution. An embodiment includes identifying a query expression targeted at least a portion of the trace of program execution. The query expression specifies at least (i) a data object representing a plurality of events identified in the trace, each event associated with one or more attributes relating to resource lifetime, and (ii) one or more conditions matching the one attributes relating to resource lifetime. In response to receiving the query expression, the query expression is processed based at least on an analysis of an identified subset of the trace. Based on processing the query expression, a result data set that includes or identifies at least one of the plurality of events that meets the one or more conditions is presented.

公开(公告)号：US20200349053A1

公开(公告)日：2020-11-05

申请号：US16398672

申请日：2019-04-30

Applicant: Microsoft Technology Licensing, LLC

Inventor： Del MYERS ,  Jackson Michael DAVIS ,  Thomas LAI ,  Andrew R. STERLAND ,  Deborah CHEN ,  Patrick Lothian NELSON ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA ,  James M. PINKERTON ,  Leslie Yvette RICHARDSON ,  Kenneth Walter SYKES

IPC: G06F11/36 ,  G06F16/23 ,  G06F9/48

Abstract: Identifying and reporting potential data inconsistencies and/or potential data contentions based on historic debugging traces. Based on replay of a thread, some implementations observe an influx of a value to a memory cell, and determine whether the value of the memory cell observed from the influx is inconsistent with a prior value of the memory cell as known by the thread. If so, these implementations can initiate an indication of a data inconsistency. Based on replay of a plurality of threads, other implementations identify a memory cell that was accessed by a first thread while a thread synchronization mechanism was active on the first thread. Then, if there was another access to the memory cell by a second thread without use of the thread synchronization mechanism, these implementations might initiate an indication of a potential data contention.

公开(公告)号：US20190324891A1

公开(公告)日：2019-10-24

申请号：US15959881

申请日：2018-04-23

Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC

Inventor： Jordi MOLA ,  Henry GABRYJELSKI ,  Jackson Michael DAVIS ,  Deborah Liang CHEN ,  Del MYERS ,  Thomas LAI ,  Patrick Lothian NELSON ,  Juan Carlos AREVALO BAEZA ,  Kenneth Walter SYKES

IPC: G06F11/36

Abstract: Presenting historical state of a code element of a prior execution of an entity. An embodiment includes presenting historical state of the code element based on replaying segment(s) of the prior execution from trace data. Presenting the historical state includes presenting a first state of the code element, in connection with a first execution time point. The first state is based on a first memory access for the code element at the first execution time point. Presenting the historical state also includes presenting the first state of the code element along with an indication that the first state is a last known state (in connection with a subsequent execution time point) or a next known state (in connection with a prior execution time point).