Microsoft Technology Licensing, LLC

Zhenyu Guo

Zheng Zhang

Xuezheng Liu

Jian Tang

Lidong Zhou

Madhavan Kesavan

Kun Cong

Haoxiang Lin

Xi Wang

Lintao Zhang

Brian Robert Crawford

Arun Ramadasan Mannengal

Ming Wu

Shiding Lin

JunFeng Yang

Jiaxing Zhang

Mao Yang

Tanmay Dileep Bhagwat

Ritesh Rao

Christopher Samuel Green

Harini Avula

Hucheng Zhou

Ravi Kumar Reddy Yellasiri

One disclosed example provides, enacted on a computing system, a method of resolving a device capability model (DCM) for a network connected device, the method comprising receiving, from the network connected device, an identifier of the DCM, based on the identifier received, determining whether the DCM is stored on the computing system, when the DCM is stored on the computing system, then retrieving the DCM from the computing system, when the DCM is not stored on the computing system, then retrieving the DCM from one or more of the network connected device and a DCM repository and storing the DCM on the computing system, receiving, from a software solution, an application programming interface (API) call to retrieve the DCM from the computing system, and in response to receiving the API call, returning the DCM to the software solution.

Discovery and resolution of network connected devices

A computing system includes a logic subsystem and memory storing instructions executable by the logic subsystem. The instructions are executable by the logic subsystem to store, in the memory, a plurality of software models that each describe aspects of a network connected device or a software service, the plurality of software models comprising a first version of a selected software model. The logic subsystem is configured to receive a second version of the selected software model and validate the second version of the selected software model via validation logic by applying one or more versioning rules to the second version of the selected software model. Based on the application of the one or more versioning rules, the logic subsystem is configured to execute a versioning action on the selected software model.

Software versioning for network connected devices

Data-parallel computation programs may be improved by, for example, determining the functional properties user defined functions (UDFs), eliminating unnecessary data-shuffling stages, and/or changing data-partition properties to cause desired data properties to appear after one or more user defined functions are applied.

Data-parallel computation management

Analyzing and detecting soft hang program errors may lead to suggestions for either curing the programming errors at runtime or refactoring the source code. For instance, responsive function invocation patterns and blocking function invocation patterns may be used to detect soft hang program errors in a source code file. Deductive database rules may be compiled from the responsive and blocking function invocation patterns to find matching function invocations in a call graph.

Analysis and detection of soft hang responsiveness program errors

A distributed system checker may check a distributed system against events to detect bugs in the distributed system. The events may include machines crashes, network partitions, and packet losses, for example. The distributed system checker may check a distributed system that can have multiple threads and multiple processes running on multiple nodes. To obtain control over a distributed system, a distributed system checker may insert an interposition layer between a process and the operating system on each node.

Distributed system checker

Hybrid programming combines certain aspects of the synchronous calling nature of a thread-oriented programming model with certain aspects of the asynchronous calling nature of an event-oriented programming model by creating parallelized calls. In a described implementation, multiple synchronous calls are transformed into multiple asynchronous calls and encapsulated within a barrier time period. A hybrid programming model or protocol may be employed, for example, in conjunction with communication exchanges in a multiple-phase and multiple-party distributed programming environment.

Hybrid programming

Exemplary methods, computer-readable media, and systems describe detecting a performance bug or a nontrivial correctness in a distributed system. The techniques describe using an online predicate checker by specifying a predicate on distributed properties of the distributed system. The process describes monitoring and checking the predicate when the system is deployed and providing a service. In response to detection of the performance bug, the process describes performing modifications of the predicate or installing new predicate.

Online predicate checking for distributed systems

Growing community of inventors

Beijing, China

Zhenyu Guo