公开(公告)号：US20180046565A1

公开(公告)日：2018-02-15

申请号：US15668469

申请日：2017-08-03

Applicant: Futurewei Technologies, Inc. ,  The University of Chicago

Inventor： Shan Lu ,  Haopeng Liu ,  Guangpu Li ,  Haryadi Gunawi ,  Chen Tian ,  Feng Ye

IPC: G06F11/36 ,  H04L29/08 ,  H04L12/24

Abstract: 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.

公开(公告)号：US20190303233A1

公开(公告)日：2019-10-03

申请号：US15938841

申请日：2018-03-28

Applicant: Futurewei Technologies, Inc.

Inventor： Haopeng Liu ,  Xu Wang ,  Guangpu Li ,  Shan Lu ,  Feng Ye ,  Chen Tian ,  Shen Chi Chen

IPC: G06F11/07 ,  G06F11/14 ,  G06F11/34 ,  G06F21/57 ,  G06F17/30

Abstract: A method implemented by a network element (NE) in a distributed system, the method comprising tracing an execution of a program in the distributed system to produce a record of the execution of the program, wherein the record indicates states of shared resources at various times during the execution of the program, identifying a vulnerable operation that occurred during the program execution based on the record, wherein the record indicates that a first shared resource of the shared resources is in a flawed state after a node that caused the first shared resource to be in the flawed state crashed, and determining that the vulnerable operation results in a time of fault (TOF) bug based on performing a fault-tolerance mechanism.

公开(公告)号：US10860411B2

公开(公告)日：2020-12-08

申请号：US15938841

申请日：2018-03-28

Applicant: Futurewei Technologies, Inc.

Inventor： Haopeng Liu ,  Xu Wang ,  Guangpu Li ,  Shan Lu ,  Feng Ye ,  Chen Tian ,  Shen Chi Chen

IPC: G06F11/00 ,  G06F11/07 ,  G06F11/14 ,  G06F11/34 ,  G06F21/57 ,  G06F16/27 ,  H04L29/08

Abstract: A method implemented by a network element (NE) in a distributed system, the method comprising tracing an execution of a program in the distributed system to produce a record of the execution of the program, wherein the record indicates states of shared resources at various times during the execution of the program, identifying a vulnerable operation that occurred during the program execution based on the record, wherein the record indicates that a first shared resource of the shared resources is in a flawed state after a node that caused the first shared resource to be in the flawed state crashed, and determining that the vulnerable operation results in a time of fault (TOF) bug based on performing a fault-tolerance mechanism.

公开(公告)号：US10599551B2

公开(公告)日：2020-03-24

申请号：US15668469

申请日：2017-08-03

Applicant: Futurewei Technologies, Inc. ,  The University of Chicago

Inventor： Shan Lu ,  Haopeng Liu ,  Guangpu Li ,  Haryadi Gunawi ,  Chen Tian ,  Feng Ye

IPC: G06F11/36 ,  H04L12/24 ,  H04L29/08 ,  G06F9/445

Abstract: 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.