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

Active Publication Date: 2019-04-16
HUAWEI TECH CO LTD +1
View PDF4 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Due to the large state space of distributed cloud systems, it may be difficult to detect DCbugs, and due to the timing of distributed computation and communication, DCbugs appear indefinitely

Method used

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
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automatically detecting distributed concurrency errors in cloud systems
  • Automatically detecting distributed concurrency errors in cloud systems
  • Automatically detecting distributed concurrency errors in cloud systems

Examples

Experimental program
Comparison scheme
Effect test

Embodiment approach

[0160] The following examples provide two implementations of the controller server: one is in a true distributed mode and communicates with test clients running on different machines through sockets; the other is in stand-alone mode, which uses file operations and Test clients running in different processes on the same machine communicate.

[0161] Using the above infrastructure, assuming there is a DCbug report (s, t), the remaining question is where to place the _request and _confirm API. The _confirm API can be inserted after the heap access in the defect report. Therefore, the following content focuses on the placement of the _request API.

[0162] Such as Picture 12 As shown in, one solution is to put _request before s and t. However, this method sometimes does not work, either because it causes a hang, or because it generates too many _request messages to be sent to the controller server due to a large number of dynamic instances of s / t. A sample DCatch system can be con...

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

PUM

No PUM Login to view more

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.

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

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/07
CPCG06F11/302G06F11/3404G06F11/3466G06F11/3636G06F2201/865G06F9/44505G06F11/3632G06F11/3688H04L41/0816H04L67/10H04L67/34
Inventor 陆善刘浩鹏李光普哈里迪·古纳维田琛叶枫
Owner HUAWEI TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products