Microsoft Technology Licensing, LLC

Kenneth W Sykes

Reed L Townsend

Xiao Tu

Bryan Douglas Scott

Todd A Torset

Jennifer A Teed

Samir Shiraz Pradhan

Jordi Mola

Raymond Edward Endres

Chia-Chi Teng

Lin F Shaw

Jackson Michael Davis

Patrick Nelson

Andrew R Sterland

Juan Carlos Arevalo Baeza

David J D'Souza

Thomas Lai

Del Myers

James M Pinkerton

Leslie Yvette Richardson

Deborah Chen

Lawrence William Osterman

Aaron Lahman

Hart Wilson

Benjamin Kuhn

Joaquin Guanter Gonzalbez

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.

Identifying data inconsistencies and data contention based on historic debugging traces

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.

The inertia system provides a common platform and application-programming interface (API) for applications to extend the input received from various multi-touch hardware devices to simulate real-world behavior of application objects. To move naturally, application objects should exhibit physical characteristics such as elasticity and deceleration. When a user lifts all contacts from an object, the inertia system provides additional manipulation events to the application so that the application can handle the events as if the user was still moving the object with touch. The inertia system generates the events based on a simulation of the behavior of the objects. If the user moves an object into another object, the inertia system simulates the boundary characteristics of the objects. Thus, the inertia system provides more realistic movement for application objects manipulated using multi-touch hardware and the API provides a consistent feel to manipulations across applications.

Multi-touch object inertia simulation

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.

Resource lifetime analysis using a time-travel trace

Performing a query over a trace of program execution. A method includes receiving a query expression targeted at least a portion of a trace of program execution. A data structure that represents the query expression is built. The data structure has a plurality of data elements representing concepts and operations of the query. Based on the data structure, an order for evaluating the data elements is identified. The plurality of data elements is evaluated. Based on the evaluation, at least a portion of a result set is conveyed for consumption.

Querying an indexed time-travel trace

Hybrid image format techniques are described in which multiple resolution images are concatenated to a standard bitmap image to create a hybrid image file. The hybrid image file is created through combining a relatively low resolution image with the additional images in a multi-frame format having higher resolution. The hybrid image file may contain data detectable to signal that higher resolution images are available in the hybrid image file. A hybrid aware application may be configured to detect and output a higher resolution image from the hybrid image file based on detection of the data. A legacy application that is not configured to detect the data may be unaware of higher resolution images contained in the hybrid image file, and accordingly outputs the relatively low resolution image.

Hybrid image format

Interface identifier parameterization techniques are described. In one or more implementations, a textual description is obtained of a parametric type represented in a binary standard of a programming model and an interface identifier is generated based at least in part on the obtained textual description of the parametric type.

Parameterized interface identifier techniques

Facilities are provided within an operating system for supporting deferred printing of print jobs. The process of spooling a print job and the process of despooling the print job are decoupled, such that a printer need not be available at the time of spooling. Print jobs are spooled in a device-independent format, such as the enhanced metafile format. The print jobs may be spooled without a printer driver being installed for a target printer or without the target printer being connected to the system. Later, when the target printer becomes available, the print job is despooled and printed. A configuration database holds different printer configurations that list available printers in different environments. For example, a user may have a different configuration for printers available when he uses his computer at home, at work and on the road, respectively. The configurations help the user to identify the printers that are currently available and those that are available in other settings. When a currently active machine configuration changes, the system checks for spooled jobs on printers that were previously unavailable and are now available and asks the user if the user wishes to start printing these spooled print jobs.

Deferred printing

Print jobs are automatically and transparently spooled in a device-independent format, such as an enhanced metafile format. The enhanced metafile format provides a format into which documents are readily converted and which occupies a minimal amount of storage space. Each spooled print job is asynchronously printed relative to a program that requested the print job. Such spooled print jobs are de-spooled in a background processor mode. An operating system provides the resources for converting a print job into enhanced metafile format and spooling the print job in the enhanced metafile format.

Growing community of inventors

Redmond, WA, United States of America

Kenneth W Sykes