Automated Dynamic Concurrency Analysis for Go

05/24/2021
by   Saeed Taheri, et al.
0

The concurrency features of the Go language have proven versatile in the development of a number of concurrency systems. However, correctness methods to address challenges in Go concurrency debugging have not received much attention. In this work, we present an automatic dynamic tracing mechanism that efficiently captures and helps analyze the whole-program concurrency model. Using an enhancement to the built-in tracer package of Go and a framework that collects dynamic traces from application execution, we enable thorough post-mortem analysis for concurrency debugging. Preliminary results about the effectiveness and scalability (up to more than 2K goroutines) of our proposed dynamic tracing for concurrent debugging are presented. We discuss the future direction for exploiting dynamic tracing towards accelerating concurrent bug exposure.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

08/26/2021

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency

The execution of concurrent programs generally involves some degree of n...
08/18/2021

Deep Graph Memory Networks for Forgetting-Robust Knowledge Tracing

Tracing a student's knowledge is vital for tailoring the learning experi...
02/08/2022

Automated Instantiation of Control Flow Tracing Exercises

One of the first steps in learning how to program is reading and tracing...
09/27/2019

Automatically Tracing Imprecision Causes in JavaScript Static Analysis

Researchers have developed various techniques for static analysis of Jav...
09/04/2019

Learning Test Traces

Modern software projects include automated tests written to check the pr...
03/06/2013

Causality in concurrent systems

Concurrent systems identify systems, either software, hardware or even b...
03/07/2017

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation

Software tracing techniques are well-established and used by instrumenta...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.