Physical Sciences Division
Published March 24, 2020 | Version v1
Patent Open

Automatically detecting distributed concurrency errors in cloud systems

Creators

  • 1. University of Chicago
  • 2. Futurewei Technologies

Contributors

Description

A method for detecting distributed concurrency errors in a distributed cloud computing system includes 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.

Files

US10599551.pdf

Files (1.3 MB)

Name Size Download all
md5:4f6f20b3292c02d85321a0167757bdaf
1.3 MB Preview Download

Additional details

Identifiers

Patent number
US 10599551 B2
Patent application number
US 201715668469 A
Other
oai:uchicago.tind.io:6965

Dates

Patent filed
2017-08-03

UChicago Information

Division(s)
Physical Sciences Division
Department(s)
Computer Science