Patents by Inventor Xuezheng Liu

Xuezheng Liu has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10203846
    Abstract: A system and method for non-deterministically providing denominated virtual currency in a virtual space are disclosed. The units of virtual currencies may be classified by different denominations and levels. Non-purchasing utilities may be obtained for the denomination and level of the virtual currencies and provided to users in the virtual space. In one example, the denomination and level of the virtual currencies may be used as socketing elements to provide boosts to base attributes to virtual items. In some implementations, an amount of boost provided by a denomination and level of virtual currency when socketed to a virtual item may be determined based on numerical relationships among the denomination and level of the virtual currencies. The denomination and level of virtual currencies may be harvested non-deterministically by users based on probabilities determined for the users.
    Type: Grant
    Filed: May 16, 2013
    Date of Patent: February 12, 2019
    Assignee: ELECTRONIC ARTS INC.
    Inventors: Weiwei Geng, Matthew Curtis, Michael C. Caldarone, Stephanie K. Schultz, Kellen Christopher Smalley, Xuezheng Liu
  • Publication number: 20120131559
    Abstract: Program partitioning of an application can include creating execution flow graphs and static flow graphs of targeted functions or operations of the application. Based on the execution flow graphs or static flow graphs, replay interfaces are created. The replay interfaces provide data flows that are usable in re-execution of the application during program development.
    Type: Application
    Filed: November 22, 2010
    Publication date: May 24, 2012
    Applicant: Microsoft Corporation
    Inventors: Ming Wu, Fan Long, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Zhenyu Guo, Zheng Zhang, Lidong Zhou
  • Patent number: 8166464
    Abstract: 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.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: April 24, 2012
    Assignee: Microsoft Corporation
    Inventors: Haoxiang Lin, Xi Wang, Zhenyu Guo, Xuezheng Liu, Zheng Zhang
  • Patent number: 8121824
    Abstract: Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing, at least one alarm is issued.
    Type: Grant
    Filed: March 31, 2011
    Date of Patent: February 21, 2012
    Assignee: Microsoft Corporation
    Inventors: Xuezheng Liu, Wei Lin, Zheng Zhang
  • Patent number: 8117155
    Abstract: Collection-based object replication for a system that includes a client computing device (client) connected to a server and multiple data storage nodes. In certain cases, a data storage node generates a replica of multiple replicas of a collection. The collection is a unit of data placement, access, replication, and repair. Other data storage nodes are also configured with a respective replica of the multiple replicas. The data storage node verifies whether an object received directly from the client for storage in the collection has been fully replicated by the other data storage nodes in respective replicas.
    Type: Grant
    Filed: June 30, 2006
    Date of Patent: February 14, 2012
    Assignee: Microsoft Corporation
    Inventors: Wei Chen, Dan Teodosiu, Cristian George Teodorescu, Xuezheng Liu, Zheng Zhang
  • Publication number: 20110178788
    Abstract: Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing, at least one alarm is issued.
    Type: Application
    Filed: March 31, 2011
    Publication date: July 21, 2011
    Applicant: MICROSOFT CORPORATION
    Inventors: Xuezheng Liu, Wei Lin, Zheng Zhang
  • Patent number: 7984332
    Abstract: 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.
    Type: Grant
    Filed: November 17, 2008
    Date of Patent: July 19, 2011
    Assignee: Microsoft Corporation
    Inventors: Junfeng Yang, Lintao Zhang, Lidong Zhou, Zhenyu Guo, Xuezheng Liu, Jian Tang, Mao Yang
  • Patent number: 7933759
    Abstract: Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing at least one alarm is issued.
    Type: Grant
    Filed: March 28, 2008
    Date of Patent: April 26, 2011
    Assignee: Microsoft Corporation
    Inventors: Xuezheng Liu, Wei Lin, Zheng Zhang
  • Patent number: 7925487
    Abstract: Replaying distributed systems involves playing a distributed system in a simulator using data from a real-world operation. In an example embodiment, a simulation process is to simulate a distributed system that has a first instance and a second instance. The simulation process includes a first simulation object corresponding to the first instance and a second simulation object corresponding to the second instance. In another example embodiment, communications between the first instance and the second instance are simulated within the simulation process using function calls between the first simulation object and the second simulation object.
    Type: Grant
    Filed: June 29, 2007
    Date of Patent: April 12, 2011
    Assignee: Microsoft Corporation
    Inventors: Wei Lin, Xuezheng Liu, Zheng Zhang
  • Patent number: 7747742
    Abstract: 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.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: June 29, 2010
    Assignee: Microsoft Corporation
    Inventors: Xuezheng Liu, Zheng Zhang, Jian Tang, Zhenyu Guo, Ming Wu
  • Publication number: 20100125758
    Abstract: 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.
    Type: Application
    Filed: November 17, 2008
    Publication date: May 20, 2010
    Applicant: Microsoft Corporation
    Inventors: Junfeng Yang, Lintao Zhang, Lidong Zhou, Zhenyu Guo, Xuezheng Liu, Jian Tang, Mao Yang
  • Patent number: 7673069
    Abstract: A structured peer-to-peer overlay performs a key-based routing (KBR) that achieves a strong routing consistency guarantee as well as reasonable scalability. The key space of the structured overlay is partitioned into zones, each separately managed by a group membership service that provides total ordering of membership query and change actions. The strongly consistent KBR has two phases: first, a key value is routed to a contact node in its zone via a weakly consistent KBR protocol; and then performing a lookup of the destination node for the key value by the contact node using the group membership service of the zone. By appropriately tuning the zone size, the strongly consistent KBR balances the trade-off between scalability and routing liveness. The KBR can maintain this balance by merging and splitting zones to account for system chum and scale changes.
    Type: Grant
    Filed: February 24, 2006
    Date of Patent: March 2, 2010
    Assignee: Microsoft Corporation
    Inventors: Wei Chen, Xuezheng Liu
  • Publication number: 20090327458
    Abstract: 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.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: Microsoft Corporation
    Inventors: Xuezheng Liu, Zheng Zhang, Jian Tang, Zhenyu Guo, Ming Wu
  • Publication number: 20090327995
    Abstract: Techniques for automatically generating replay-enabling code in a library based replay system. The technique requires a code template programmed by an operating system developer. Then, utilizing an application programming interface (API) annotation, either standard or user-defined, customized replay-enabled code is automatically generated for every specific API.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: Microsoft Corporation
    Inventors: Zhenyu Guo, Xuezheng Liu, Zheng Zhang
  • Publication number: 20090328002
    Abstract: Described techniques increase runtime performance of software running in user space by analyzing and detecting soft hang program errors and giving suggestions for cures. This disclosure pertains to techniques for the analysis, detection, and cure of soft hang program errors.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: Microsoft Corporation
    Inventors: Haoxiang Lin, Wang Xi, Zhenyu Guo, Xuezheng Liu, Zheng Zhang
  • Publication number: 20090328079
    Abstract: Techniques for separating application processes into a system space and a replay space are described in a record and replay tool. The technique permits applications to run in the replay space while a record and replay library runs and manages resources in system space ensuring accurate replay of saved data that are used by applications.
    Type: Application
    Filed: June 27, 2008
    Publication date: December 31, 2009
    Applicant: Microsoft Corportion
    Inventors: Zhenyu Guo, Xuezheng Liu, Zheng Zhang
  • Publication number: 20090248381
    Abstract: Predicate checking in conjunction with distributed systems can enable an investigating user to check predicates in the context of instance states and/or distributed states of a distributed system. In an example embodiment, a method entails accepting distributed system simulation data and performing a simulation of a distributed system using the distributed system simulation data to create distributed system simulated states. At least a portion of the distributed system simulated states are exposed. The exposed portion of the distributed system simulated states is retrieved and stored as exposed states for the distributed system. The exposed states for the distributed system are compared to predicate states for the distributed system. If an inconsistency is detected between the exposed states and the predicate states based on the comparing at least one alarm is issued.
    Type: Application
    Filed: March 28, 2008
    Publication date: October 1, 2009
    Applicant: Microsoft Corporation
    Inventors: Xuezheng Liu, Wei Lin, Zheng Zhang
  • Publication number: 20090006064
    Abstract: Replaying distributed systems involves playing a distributed system in a simulator using data from a real-world operation. In an example embodiment, a simulation process is to simulate a distributed system that has a first instance and a second instance. The simulation process includes a first simulation object corresponding to the first instance and a second simulation object corresponding to the second instance. In another example embodiment, communications between the first instance and the second instance are simulated within the simulation process using function calls between the first simulation object and the second simulation object.
    Type: Application
    Filed: June 29, 2007
    Publication date: January 1, 2009
    Applicant: Microsoft Corporation
    Inventors: Wei Lin, Xuezheng Liu, Zheng Zhang
  • Publication number: 20080005199
    Abstract: Collection-based object replication is described in a system that includes a client computing device (client) connected to a server and multiple data storage nodes. In one aspect, a data storage node generates a replica of multiple replicas of a collection. The collection is a unit of data placement, access, replication, and repair. Other data storage nodes are also configured with a respective replica of the multiple replicas. The data storage node verifies whether an object received directly from the client for storage in the collection has been fully replicated by the other data storage nodes in respective replicas.
    Type: Application
    Filed: June 30, 2006
    Publication date: January 3, 2008
    Applicant: Microsoft Corporation
    Inventors: Wei Chen, Dan Teodosiu, Cristian George Teodorescu, Xuezheng Liu, Zheng Zhang
  • Publication number: 20070204061
    Abstract: A structured peer-to-peer overlay performs a key-based routing (KBR) that achieves a strong routing consistency guarantee as well as reasonable scalability. The key space of the structured overlay is partitioned into zones, each separately managed by a group membership service that provides total ordering of membership query and change actions. The strongly consistent KBR has two phases: first, a key value is routed to a contact node in its zone via a weakly consistent KBR protocol; and then performing a lookup of the destination node for the key value by the contact node using the group membership service of the zone. By appropriately tuning the zone size, the strongly consistent KBR balances the trade-off between scalability and routing liveness. The KBR can maintain this balance by merging and splitting zones to account for system chum and scale changes.
    Type: Application
    Filed: February 24, 2006
    Publication date: August 30, 2007
    Applicant: Microsoft Corporation
    Inventors: Wei Chen, Xuezheng Liu