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

page 1

page 2

page 3

page 4

research
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...
research
08/18/2021

Deep Graph Memory Networks for Forgetting-Robust Knowledge Tracing

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

Automated Instantiation of Control Flow Tracing Exercises

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

Automatically Tracing Imprecision Causes in JavaScript Static Analysis

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

Learning Test Traces

Modern software projects include automated tests written to check the pr...
research
04/11/2023

Tracing OCaml Programs

This presentation will cover a framework for application-level tracing o...
research
03/07/2017

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation

Software tracing techniques are well-established and used by instrumenta...

Please sign up or login with your details

Forgot password? Click here to reset