Reasoning About the Node.Js Event Loop Using Async Graphs
H. Sun, D. Bonetta, F. Schiavio, and W. Binder. Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization, page 61--72. IEEE Press, (2019)
Abstract
With the popularity of Node.js, asynchronous, event-driven programming has become widespread in server-side applications. While conceptually simple, event-based programming can be tedious and error-prone. The complex semantics of the Node.js event loop, coupled with the different flavors of asynchronous execution in JavaScript, easily leads to bugs. This paper introduces a new model called Async Graph to reason about the runtime behavior of applications and their interactions with the Node.js event loop. Based on the model, we have developed AsyncG, a tool to automatically build and analyze the Async Graph of a running application, and to identify bugs related to all sources of asynchronous execution in Node.js. AsyncG is compatible with the latest ECMAScript language features and can be (de)activated at runtime. In our evaluation, we show how AsyncG can be used to identify bugs in real-world Node.js applications.
Description
Reasoning about the Node.js event loop using async graphs
%0 Conference Paper
%1 Sun:2019:RNE
%A Sun, Haiyang
%A Bonetta, Daniele
%A Schiavio, Filippo
%A Binder, Walter
%B Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization
%D 2019
%I IEEE Press
%K AsyncGraphs AsyncStackTraces Bugs Concurrency NodeJS
%P 61--72
%T Reasoning About the Node.Js Event Loop Using Async Graphs
%X With the popularity of Node.js, asynchronous, event-driven programming has become widespread in server-side applications. While conceptually simple, event-based programming can be tedious and error-prone. The complex semantics of the Node.js event loop, coupled with the different flavors of asynchronous execution in JavaScript, easily leads to bugs. This paper introduces a new model called Async Graph to reason about the runtime behavior of applications and their interactions with the Node.js event loop. Based on the model, we have developed AsyncG, a tool to automatically build and analyze the Async Graph of a running application, and to identify bugs related to all sources of asynchronous execution in Node.js. AsyncG is compatible with the latest ECMAScript language features and can be (de)activated at runtime. In our evaluation, we show how AsyncG can be used to identify bugs in real-world Node.js applications.
%@ 978-1-7281-1436-1
@inproceedings{Sun:2019:RNE,
abstract = {With the popularity of Node.js, asynchronous, event-driven programming has become widespread in server-side applications. While conceptually simple, event-based programming can be tedious and error-prone. The complex semantics of the Node.js event loop, coupled with the different flavors of asynchronous execution in JavaScript, easily leads to bugs. This paper introduces a new model called Async Graph to reason about the runtime behavior of applications and their interactions with the Node.js event loop. Based on the model, we have developed AsyncG, a tool to automatically build and analyze the Async Graph of a running application, and to identify bugs related to all sources of asynchronous execution in Node.js. AsyncG is compatible with the latest ECMAScript language features and can be (de)activated at runtime. In our evaluation, we show how AsyncG can be used to identify bugs in real-world Node.js applications.},
acmid = {3314882},
added-at = {2019-02-28T15:14:32.000+0100},
author = {Sun, Haiyang and Bonetta, Daniele and Schiavio, Filippo and Binder, Walter},
biburl = {https://www.bibsonomy.org/bibtex/20a931689610554d17fc5435182764665/gron},
booktitle = {Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization},
description = {Reasoning about the Node.js event loop using async graphs},
interhash = {01f9f4a6215264a774bdb0fd0fd3b385},
intrahash = {0a931689610554d17fc5435182764665},
isbn = {978-1-7281-1436-1},
keywords = {AsyncGraphs AsyncStackTraces Bugs Concurrency NodeJS},
location = {Washington, DC, USA},
numpages = {12},
pages = {61--72},
publisher = {IEEE Press},
series = {CGO 2019},
timestamp = {2019-02-28T15:14:32.000+0100},
title = {{Reasoning About the Node.Js Event Loop Using Async Graphs}},
year = 2019
}