Physical Sciences Division
Published February 15, 2018 | Version v1
Patent Open

AUTOMATICALLY DETECTING DISTRIBUTED CONCURRENCY ERRORS IN CLOUD SYSTEMS

Creators

  • 1. University of Chicago
  • 2. University of Wisconsin-Madison
  • 3. 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

US20180046565.pdf

Files (1.2 MB)

Name Size Download all
md5:5757e6dae612bded5a11893c00014538
1.2 MB Preview Download

Additional details

Identifiers

Patent application number
US 201715668469 A
Patent number
US 2018/0046565 A1
Other
oai:uchicago.tind.io:7935

Dates

Patent filed
2017-08-03

UChicago Information

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