GoTcha: An Interactive Debugger for GoT-Based Distributed Systems

09/07/2019
by   Rohan Achar, et al.
0

Debugging distributed systems is hard. Most of the techniques that have been developed for debugging such systems use either extensive model checking, or postmortem analysis of logs and traces. Interactive debugging is typically a tool that is only effective in single threaded and single process applications, and is rarely applied to distributed systems. While the live observation of state changes using interactive debuggers is effective, it comes with a host of problems in distributed scenarios. In this paper, we discuss the requirements an interactive debugger for distributed systems should meet, the role the underlying distributed model plays in facilitating the debugger, and the implementation of our interactive debugger: GoTcha. GoTcha is a browser based interactive debugger for distributed systems built on the Global Object Tracker (GoT) programming model. We show how the GoT model facilitates the debugger, and the features that the debugger can offer. We also demonstrate a typical debugging workflow.

READ FULL TEXT

page 12

page 13

research
08/19/2023

Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems

Declarative Distributed Systems (DDSs) are distributed systems grounded ...
research
06/13/2018

A Graphical Interactive Debugger for Distributed Systems

Designing and debugging distributed systems is notoriously difficult. Th...
research
05/12/2020

Specifying and Model Checking Workflows of Single Page Applications with TLA+

Single Page Applications (SPAs) are different than hypertext-based web a...
research
09/23/2019

Towards Intelligent Interactive Theatre: Drama Management as a way of Handling Performance

In this paper, we present a new modality for intelligent interactive nar...
research
04/21/2021

Tutorial: Designing Distributed Software in mCRL2

Distributed software is very tricky to implement correctly as some error...
research
03/27/2018

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

This paper presents a modeling framework for schedulability analysis of ...
research
04/13/2023

Choreographic Programming of Isolated Transactions

Implementing distributed systems is hard; choreographic programming aims...

Please sign up or login with your details

Forgot password? Click here to reset