Reasoning about the Node.js Event Loop using Async Graphs

Haiyang Sun; Daniele Bonetta; Filippo Schiavio; Walter Binder

doi:10.1109/CGO.2019.8661173

Reasoning about the Node.js Event Loop using Async Graphs

Haiyang Sun
, Daniele Bonetta
, Filippo Schiavio
, Walter Binder

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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.

Original language	English
Title of host publication	CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization
Editors	T. Moseley, A. Jimborean, M.T. Kandemir
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	61-72
ISBN (Electronic)	9781728114361
DOIs	https://doi.org/10.1109/CGO.2019.8661173
Publication status	Published - 5 Mar 2019
Externally published	Yes
Event	17th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019 - Washington, United States Duration: 16 Feb 2019 → 20 Feb 2019

Conference

Conference	17th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019
Country/Territory	United States
City	Washington
Period	16/02/19 → 20/02/19

Access to Document

10.1109/CGO.2019.8661173

Persistent URL (handle)

Persistent link

Cite this

Sun, H., Bonetta, D., Schiavio, F., & Binder, W. (2019). Reasoning about the Node.js Event Loop using Async Graphs. In T. Moseley, A. Jimborean, & M. T. Kandemir (Eds.), CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization (pp. 61-72). Article 8661173 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CGO.2019.8661173

@inproceedings{6377e67b56ce422eb5852801ce4fc6c3,

title = "Reasoning about the Node.js Event Loop using Async Graphs",

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.",

author = "Haiyang Sun and Daniele Bonetta and Filippo Schiavio and Walter Binder",

year = "2019",

month = mar,

day = "5",

doi = "10.1109/CGO.2019.8661173",

language = "English",

pages = "61--72",

editor = "T. Moseley and A. Jimborean and M.T. Kandemir",

booktitle = "CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "17th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019 ; Conference date: 16-02-2019 Through 20-02-2019",

}

Sun, H, Bonetta, D, Schiavio, F & Binder, W 2019, Reasoning about the Node.js Event Loop using Async Graphs. in T Moseley, A Jimborean & MT Kandemir (eds), CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization., 8661173, Institute of Electrical and Electronics Engineers Inc., pp. 61-72, 17th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, United States, 16/02/19. https://doi.org/10.1109/CGO.2019.8661173

Reasoning about the Node.js Event Loop using Async Graphs. / Sun, Haiyang; Bonetta, Daniele; Schiavio, Filippo et al.
CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. ed. / T. Moseley; A. Jimborean; M.T. Kandemir. Institute of Electrical and Electronics Engineers Inc., 2019. p. 61-72 8661173.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reasoning about the Node.js Event Loop using Async Graphs

AU - Sun, Haiyang

AU - Bonetta, Daniele

AU - Schiavio, Filippo

AU - Binder, Walter

PY - 2019/3/5

Y1 - 2019/3/5

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85063766781

UR - https://www.scopus.com/pages/publications/85063766781#tab=citedBy

U2 - 10.1109/CGO.2019.8661173

DO - 10.1109/CGO.2019.8661173

M3 - Conference contribution

SP - 61

EP - 72

BT - CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization

A2 - Moseley, T.

A2 - Jimborean, A.

A2 - Kandemir, M.T.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 17th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019

Y2 - 16 February 2019 through 20 February 2019

ER -

Reasoning about the Node.js Event Loop using Async Graphs

Abstract

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this