Microsoft Technology Licensing, LLC

Mike Barnett

Badrish Chandramouli

Robert Anthony DeLine

Steven Mark Drucker

John Carlton Platt

Jonathan David Goldstein

Danyel Aharon Fisher

Donald Kossmann

Justin Jon Levandoski

James Adam Hunter

Gunaprasaad Jeganathan

Shaz Qadeer

Akash Lal

A system includes a processor and a memory storing multiple records in a key-value data structure and processor executable instructions for managing access to records in the key-value data structure. The instructions are executable to perform operations including managing a shared atomic epoch counter and thread epoch counters, determining a maximal safe epoch as a function of the shared atomic epoch counter and the thread epoch counters, maintaining a drain list of trigger actions, and triggering the trigger actions in the drain list as a function of an update of the shared atomic epoch counter and the maximal safe epoch.

Key-value store system

The described implementations relate to processing of electronic data. One implementation is manifest as a technique that can include obtaining a relational query that references one or more data items and associating progress intervals with the data items. The technique can also include converting the relational query into a corresponding streaming query, and providing the streaming query and the data items with the progress intervals to a stream engine that produces incremental results of the query. For example, the progress intervals can be based on row numbers of a relational database table. The progress intervals can be used to define event lifetimes of streaming events that are provided as inputs to the stream engine.

Progressive query computation using streaming architectures

Various technologies pertaining to answering reachability queries are described herein. A reachability query includes a user-specified destination line of code in source code that is desirably analyzed. A theorem prover is employed to identify an execution path through the source code that reaches the destination line of code. Graphical data is presented to the user that illustrates to the user the execution path through the source code that reaches the destination line of code.

Identifying execution paths that satisfy reachability queries

Growing community of inventors

Seattle, WA, United States of America

Mike Barnett