Automatically detecting distributed concurrency errors in cloud systems

A distributed and distributed computing technology, applied in transmission systems, response error generation, error detection/correction, etc., can solve problems such as large state space, uncertain occurrence of DC bugs, and difficulty in detecting DC bugs
CN109643255AActive Publication Date: 2019-04-16HUAWEI TECH CO LTD +1
4 Cites 8 Cited by

Patent Information

Authority / Receiving Office
CN ยท China
Patent Type
Applications(China)
Current Assignee / Owner
HUAWEI TECH CO LTD
Publication Date
2019-04-16

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

A method for detecting distributed concurrency errors in a distributed cloud computing system includes the steps of: tracing operations that access objects in functions involving inter-process messaging, applying a set of happens-before rules to the traced operations. Analyzing the traced operations to identify concurrent operations that access a common object to generate a list of potential distributed concurrency errors (DCbugs). Pruning the list of DCbugs to remove DCbugs having only local effect and that do not generate run-time errors.
Need to check novelty before this filing date? Find Prior Art

Description

[0001] Cross application

[0002] This application requires a U.S. non-provisional patent application filed on August 3, 2017, with the application number 15 / 668,469 and the invention title "Automatically Detecting Distributed Concurrency Errors in Cloud Systems" , This non-provisional patent application is required to be filed on August 12, 2016, with application number 62 / 374,449 and the title of the invention "Automatically Detecting Distributed Concurrency Bugs in Cloud Systems" Of the United States non-provisional patent application, the contents of the two applications are incorporated into this application by reference, such as copying in full. Technical field

[0003] The present disclosure relates to detecting operational errors in computing systems, and more specifically, to detecting concurrent errors in systems distributed across multiple computing systems. Background technique

[0004] Many big data and cloud computing systems are implemented by distributed cloud syste...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More