GoDetector: Detecting Concurrent Bug in Go

Go provides a new concurrency mechanism based on message-passing, which brings a series of new concurrency bugs. The existing tools are highly dependent on model-checking methods in which they take the source program as the input of model-checking tools to detect the potential concurrent bugs. Howev...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: Dongwen Zhang, Penghao Qi, Yang Zhang
Fformat: Artigo
Iaith:Inglês
Cyhoeddwyd: IEEE 2021-01-01
Cyfres:IEEE Access
Pynciau:
Concurrency bugs
channel
WaitGroup
static analysis
pushdown automaton
Mynediad Ar-lein:https://ieeexplore.ieee.org/document/9550776/
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg