Skip to content

Commit 8b875c4

Browse files
committed
async_hooks: add using scopes to AsyncLocalStorage
Adds support for to do the equivalent of a with using syntax. This enables avoiding unnecessary closures.
1 parent 7bd2fea commit 8b875c4

File tree

6 files changed

+300
-0
lines changed

6 files changed

+300
-0
lines changed

doc/api/async_context.md

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -386,6 +386,83 @@ try {
386386
}
387387
```
388388

389+
### `asyncLocalStorage.withScope(store)`
390+
391+
<!-- YAML
392+
added: REPLACEME
393+
-->
394+
395+
> Stability: 1 - Experimental
396+
397+
* `store` {any}
398+
* Returns: {RunScope}
399+
400+
Creates a disposable scope that enters the given store and automatically
401+
restores the previous store value when the scope is disposed. This method is
402+
designed to work with JavaScript's explicit resource management (`using` syntax).
403+
404+
Example:
405+
406+
```mjs
407+
import { AsyncLocalStorage } from 'node:async_hooks';
408+
409+
const asyncLocalStorage = new AsyncLocalStorage();
410+
411+
{
412+
using scope = asyncLocalStorage.withScope('my-store');
413+
console.log(asyncLocalStorage.getStore()); // Prints: my-store
414+
}
415+
416+
console.log(asyncLocalStorage.getStore()); // Prints: undefined
417+
```
418+
419+
```cjs
420+
const { AsyncLocalStorage } = require('node:async_hooks');
421+
422+
const asyncLocalStorage = new AsyncLocalStorage();
423+
424+
{
425+
using scope = asyncLocalStorage.withScope('my-store');
426+
console.log(asyncLocalStorage.getStore()); // Prints: my-store
427+
}
428+
429+
console.log(asyncLocalStorage.getStore()); // Prints: undefined
430+
```
431+
432+
The `withScope()` method is particularly useful for managing context in
433+
synchronous code where you want to ensure the previous store value is restored
434+
when exiting a block, even if an error is thrown.
435+
436+
```mjs
437+
import { AsyncLocalStorage } from 'node:async_hooks';
438+
439+
const asyncLocalStorage = new AsyncLocalStorage();
440+
441+
try {
442+
using scope = asyncLocalStorage.withScope('my-store');
443+
console.log(asyncLocalStorage.getStore()); // Prints: my-store
444+
throw new Error('test');
445+
} catch (e) {
446+
// Store is automatically restored even after error
447+
console.log(asyncLocalStorage.getStore()); // Prints: undefined
448+
}
449+
```
450+
451+
```cjs
452+
const { AsyncLocalStorage } = require('node:async_hooks');
453+
454+
const asyncLocalStorage = new AsyncLocalStorage();
455+
456+
try {
457+
using scope = asyncLocalStorage.withScope('my-store');
458+
console.log(asyncLocalStorage.getStore()); // Prints: my-store
459+
throw new Error('test');
460+
} catch (e) {
461+
// Store is automatically restored even after error
462+
console.log(asyncLocalStorage.getStore()); // Prints: undefined
463+
}
464+
```
465+
389466
### Usage with `async/await`
390467

391468
If, within an async function, only one `await` call is to run within a context,
@@ -420,6 +497,22 @@ of `asyncLocalStorage.getStore()` after the calls you suspect are responsible
420497
for the loss. When the code logs `undefined`, the last callback called is
421498
probably responsible for the context loss.
422499

500+
## Class: `RunScope`
501+
502+
<!-- YAML
503+
added: REPLACEME
504+
-->
505+
506+
> Stability: 1 - Experimental
507+
508+
A disposable scope returned by [`asyncLocalStorage.withScope()`][] that
509+
automatically restores the previous store value when disposed. This class
510+
implements the [Explicit Resource Management][] protocol and is designed to work
511+
with JavaScript's `using` syntax.
512+
513+
The scope automatically restores the previous store value when the `using` block
514+
exits, whether through normal completion or by throwing an error.
515+
423516
## Class: `AsyncResource`
424517

425518
<!-- YAML
@@ -905,8 +998,10 @@ const server = createServer((req, res) => {
905998
}).listen(3000);
906999
```
9071000
1001+
[Explicit Resource Management]: https://github.com/tc39/proposal-explicit-resource-management
9081002
[`AsyncResource`]: #class-asyncresource
9091003
[`EventEmitter`]: events.md#class-eventemitter
9101004
[`Stream`]: stream.md#stream
9111005
[`Worker`]: worker_threads.md#class-worker
1006+
[`asyncLocalStorage.withScope()`]: #asynclocalstoragewithscopestore
9121007
[`util.promisify()`]: util.md#utilpromisifyoriginal

lib/internal/async_local_storage/async_context_frame.js

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ const {
1212
const AsyncContextFrame = require('internal/async_context_frame');
1313
const { AsyncResource } = require('async_hooks');
1414

15+
const RunScope = require('internal/async_local_storage/run_scope');
16+
1517
class AsyncLocalStorage {
1618
#defaultValue = undefined;
1719
#name = undefined;
@@ -77,6 +79,10 @@ class AsyncLocalStorage {
7779
}
7880
return frame?.get(this);
7981
}
82+
83+
withScope(store) {
84+
return new RunScope(this, store);
85+
}
8086
}
8187

8288
module.exports = AsyncLocalStorage;

lib/internal/async_local_storage/async_hooks.js

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,8 @@ const {
1919
executionAsyncResource,
2020
} = require('async_hooks');
2121

22+
const RunScope = require('internal/async_local_storage/run_scope');
23+
2224
const storageList = [];
2325
const storageHook = createHook({
2426
init(asyncId, type, triggerAsyncId, resource) {
@@ -142,6 +144,10 @@ class AsyncLocalStorage {
142144
}
143145
return this.#defaultValue;
144146
}
147+
148+
withScope(store) {
149+
return new RunScope(this, store);
150+
}
145151
}
146152

147153
module.exports = AsyncLocalStorage;
Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
'use strict';
2+
3+
const {
4+
SymbolDispose,
5+
} = primordials;
6+
7+
class RunScope {
8+
#storage;
9+
#previousStore;
10+
#disposed = false;
11+
12+
constructor(storage, store) {
13+
this.#storage = storage;
14+
this.#previousStore = storage.getStore();
15+
storage.enterWith(store);
16+
}
17+
18+
[SymbolDispose]() {
19+
if (this.#disposed) {
20+
return;
21+
}
22+
this.#disposed = true;
23+
this.#storage.enterWith(this.#previousStore);
24+
}
25+
}
26+
27+
module.exports = RunScope;
Lines changed: 165 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,165 @@
1+
/* eslint-disable no-unused-vars */
2+
'use strict';
3+
require('../common');
4+
const assert = require('node:assert');
5+
const { AsyncLocalStorage } = require('node:async_hooks');
6+
7+
// Test basic RunScope with using
8+
{
9+
const storage = new AsyncLocalStorage();
10+
11+
assert.strictEqual(storage.getStore(), undefined);
12+
13+
{
14+
using scope = storage.withScope('test');
15+
assert.strictEqual(storage.getStore(), 'test');
16+
}
17+
18+
// Store should be restored to undefined
19+
assert.strictEqual(storage.getStore(), undefined);
20+
}
21+
22+
// Test RunScope restores previous value
23+
{
24+
const storage = new AsyncLocalStorage();
25+
26+
storage.enterWith('initial');
27+
assert.strictEqual(storage.getStore(), 'initial');
28+
29+
{
30+
using scope = storage.withScope('scoped');
31+
assert.strictEqual(storage.getStore(), 'scoped');
32+
}
33+
34+
// Should restore to previous value
35+
assert.strictEqual(storage.getStore(), 'initial');
36+
}
37+
38+
// Test nested RunScope
39+
{
40+
const storage = new AsyncLocalStorage();
41+
const storeValues = [];
42+
43+
{
44+
using outer = storage.withScope('outer');
45+
storeValues.push(storage.getStore());
46+
47+
{
48+
using inner = storage.withScope('inner');
49+
storeValues.push(storage.getStore());
50+
}
51+
52+
// Should restore to outer
53+
storeValues.push(storage.getStore());
54+
}
55+
56+
// Should restore to undefined
57+
storeValues.push(storage.getStore());
58+
59+
assert.deepStrictEqual(storeValues, ['outer', 'inner', 'outer', undefined]);
60+
}
61+
62+
// Test RunScope with error during usage
63+
{
64+
const storage = new AsyncLocalStorage();
65+
66+
storage.enterWith('before');
67+
68+
const testError = new Error('test');
69+
70+
assert.throws(() => {
71+
using scope = storage.withScope('during');
72+
assert.strictEqual(storage.getStore(), 'during');
73+
throw testError;
74+
}, testError);
75+
76+
// Store should be restored even after error
77+
assert.strictEqual(storage.getStore(), 'before');
78+
}
79+
80+
// Test idempotent disposal
81+
{
82+
const storage = new AsyncLocalStorage();
83+
84+
const scope = storage.withScope('test');
85+
assert.strictEqual(storage.getStore(), 'test');
86+
87+
// Dispose via Symbol.dispose
88+
scope[Symbol.dispose]();
89+
assert.strictEqual(storage.getStore(), undefined);
90+
91+
// Double dispose should be idempotent
92+
scope[Symbol.dispose]();
93+
assert.strictEqual(storage.getStore(), undefined);
94+
}
95+
96+
// Test RunScope with defaultValue
97+
{
98+
const storage = new AsyncLocalStorage({ defaultValue: 'default' });
99+
100+
assert.strictEqual(storage.getStore(), 'default');
101+
102+
{
103+
using scope = storage.withScope('custom');
104+
assert.strictEqual(storage.getStore(), 'custom');
105+
}
106+
107+
// Should restore to default
108+
assert.strictEqual(storage.getStore(), 'default');
109+
}
110+
111+
// Test deeply nested RunScope
112+
{
113+
const storage = new AsyncLocalStorage();
114+
115+
{
116+
using s1 = storage.withScope(1);
117+
assert.strictEqual(storage.getStore(), 1);
118+
119+
{
120+
using s2 = storage.withScope(2);
121+
assert.strictEqual(storage.getStore(), 2);
122+
123+
{
124+
using s3 = storage.withScope(3);
125+
assert.strictEqual(storage.getStore(), 3);
126+
127+
{
128+
using s4 = storage.withScope(4);
129+
assert.strictEqual(storage.getStore(), 4);
130+
}
131+
132+
assert.strictEqual(storage.getStore(), 3);
133+
}
134+
135+
assert.strictEqual(storage.getStore(), 2);
136+
}
137+
138+
assert.strictEqual(storage.getStore(), 1);
139+
}
140+
141+
assert.strictEqual(storage.getStore(), undefined);
142+
}
143+
144+
// Test RunScope with multiple storages
145+
{
146+
const storage1 = new AsyncLocalStorage();
147+
const storage2 = new AsyncLocalStorage();
148+
149+
{
150+
using scope1 = storage1.withScope('A');
151+
152+
{
153+
using scope2 = storage2.withScope('B');
154+
155+
assert.strictEqual(storage1.getStore(), 'A');
156+
assert.strictEqual(storage2.getStore(), 'B');
157+
}
158+
159+
assert.strictEqual(storage1.getStore(), 'A');
160+
assert.strictEqual(storage2.getStore(), undefined);
161+
}
162+
163+
assert.strictEqual(storage1.getStore(), undefined);
164+
assert.strictEqual(storage2.getStore(), undefined);
165+
}

tools/doc/type-parser.mjs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,7 @@ const customTypesMap = {
6565
'https://tc39.github.io/ecma262/#sec-module-namespace-exotic-objects',
6666

6767
'AsyncLocalStorage': 'async_context.html#class-asynclocalstorage',
68+
'RunScope': 'async_context.html#class-runscope',
6869

6970
'AsyncHook': 'async_hooks.html#async_hookscreatehookoptions',
7071
'AsyncResource': 'async_hooks.html#class-asyncresource',

0 commit comments

Comments
 (0)