公开(公告)号：US20190332520A1

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

申请号：US16174273

申请日：2018-10-29

Applicant: Microsoft Technology Licensing, LLC

Inventor： Del MYERS ,  Thomas LAI ,  Patrick NELSON ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA ,  Stephen Harris TOUB

IPC: G06F11/36

Abstract: Described technologies support selectively tracing a process's execution, with some extra tracing done beyond the code the developer wanted traced, but with significantly reduced computational cost, by reducing the number of trace enablement and disablement operations. A trace controller uses a tracing disablement distance variable whose values indicate the computational distance from trace disablement. A distance variable modifier automatically moves the distance variable closer to a stop-tracing value as the process executes. A create task function is modified to include the setting of an indicator that a newly created task is to be traced if a current task or thread is being traced. An execute task function is modified to request the tracing of the newly created task when it is executed based on the indicator, thereby enabling selective tracing that operates across process boundaries and traces asynchronous code execution.

公开(公告)号：US20190340103A1

公开(公告)日：2019-11-07

申请号：US15969721

申请日：2018-05-02

Applicant: Microsoft Technology Licensing, LLC

Inventor： Patrick NELSON ,  Jackson DAVIS ,  Del MYERS ,  Thomas LAI ,  Deborah CHEN ,  Jordi MOLA ,  Noah FALK

IPC: G06F11/36

Abstract: Described technologies aid execution control during replays of traced program behavior. Cross-level mapping correlates source code, an intermediate representation, and native instructions in a trace. The trace includes a record of native code instructions which were executed by a runtime-managed program. The trace does not include any executing instance of the runtime. Breakpoints are set to align trace locations with source code expressions or statements, and to skip over garbage collection and other code unlikely to interest a developer. A live debugging environment is adapted to support trace-based reverse execution. An execution controller in a debugger or other tool may utilize breakpoint ranges, cross-level mappings, backward step-out support, and other items to control a replay execution of the trace. Aspects of familiar compilers or familiar runtimes may be re-purposed for innovative execution control which replays previously generated native code, as opposed to their established purpose of generating native code.

公开(公告)号：US20190325980A1

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

申请号：US15960177

申请日：2018-04-23

Applicant: Microsoft Technology Licensing, LLC

Inventor： Patrick NELSON ,  Jackson DAVIS ,  Del MYERS ,  Thomas LAI ,  Deborah CHEN ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA

IPC: G11C29/38 ,  G11C29/44

Abstract: Described technologies extend the information available from an execution trace of a program by providing heuristically-derived values for memory contents when the trace does not include data expressly showing the value of a memory cell at a particular execution time. Various heuristics are described. The heuristics may use information about the memory cell at other times to produce the derived value. Some heuristics use other trace data, such as whether the memory cell is in a stack, whether there are gaps in the trace, or whether garbage collection or compilation occurred near the time in question. Grounds for the derived value are reported along with the derived value. A time-travel debugger or other program analysis tool can then present the derived values to users, or make other use of the derived values and grounds to assist debugging and other efforts to improve the functioning of a computing system.

公开(公告)号：US20200218639A1

公开(公告)日：2020-07-09

申请号：US16239474

申请日：2019-01-03

Applicant: Microsoft Technology Licensing, LLC

Inventor： Charles Joseph RIES ,  Patrick NELSON ,  Cagri ASLAN ,  Gregory MISKELLY ,  Isadora Sophia GARCIA RODOPOULOS

IPC: G06F11/36 ,  G06F11/34

Abstract: To set data breakpoints on properties and certain other functions, constituent data locations (CDLs) that can contribute to computation of the property value or other function result are identified, and respective constituent data breakpoints are added at one or more CDLs by data breakpoint adder code. Each constituent data breakpoint will suspend execution of an inspectable software in response to occurrence of a CDL data entry. The CDLs are identified by CDL identifier code using static data flow analysis, enhanced interpretation, or disassembly, with recursion as appropriate. Kernel or runtime routines, and other routines designated as known, can be excluded from the CDL search. Data locations marked read-only, or that are effectively read-only because they will not be written, can also be excluded. The resulting data breakpoint functionality makes internal program state information available, thus facilitating computing system accuracy, flexibility, security, speed, memory usage efficiency, and other functional characteristics.

公开(公告)号：US20190332519A1

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

申请号：US15965026

申请日：2018-04-27

Applicant: Microsoft Technology Licensing, LLC

Inventor： Del MYERS ,  Jackson DAVIS ,  Thomas LAI ,  Patrick NELSON ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA

IPC: G06F11/36 ,  G06F11/30 ,  G06F11/34

Abstract: Expressly turning tracing on and off at each juncture between code that a developer wants to have traced and other code may reduce trace file size but adds computational cost. Described technologies support selectively tracing a process's execution, with some extra tracing done beyond the code the developer wanted traced, but with significantly reduced computational cost, by reducing the number of trace enablement and disablement operations. A trace controller uses a tracing disablement distance variable whose values indicate the computational distance from trace disablement. A distance variable modifier automatically moves the distance variable closer to a stop-tracing value as the process executes. The amount of extra tracing is balanced against the reduction in trace enablement/disablement operations by tuning thresholds, based on information about routine size and computational cost. Operation of the trace controller is illustrated by sample APIs, a tracing state diagram, and a side-by-side comparison, among other items.