summaryrefslogtreecommitdiff
path: root/deps/v8/test/mjsunit/harmony/weakrefs/cleanup-on-detached-realm.js
blob: 6d46af6c82fa1b802cd257e50c8dd59794459e88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
// Copyright 2019 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// Flags: --expose-gc --noincremental-marking

(async function () {

  const r = Realm.create();
  const FG = Realm.eval(r, "FinalizationRegistry");
  Realm.detachGlobal(r);

  const cleanup_not_run = function (holdings) {
    assertUnreachable();
  }
  let fg_not_run = new FG(cleanup_not_run);

  (function () {
    const object = {};
    fg_not_run.register(object, "first");
    // Object becomes unreachable.
  })();

  let cleanedUp = false;
  let fg_run;

  // Schedule a GC, which will schedule fg_not_run for cleanup.
  // Here and below, we need to invoke GC asynchronously and wait for it to
  // finish, so that it doesn't need to scan the stack. Otherwise, the objects
  // may not be reclaimed because of conservative stack scanning and the test
  // may not work as intended.
  let task_1_gc = (async function () {
    await gc({ type: 'major', execution: 'async' });

    // Disposing the realm cancels the already scheduled fg_not_run's finalizer.
    Realm.dispose(r);

    const cleanup = function (holdings) {
      assertEquals(holdings, "second");
      assertFalse(cleanedUp);
      cleanedUp = true;
    }
    fg_run = new FG(cleanup);

    // FGs that are alive after disposal can still schedule tasks.
    (function () {
      const object = {};
      fg_run.register(object, "second");
      // Object becomes unreachable.
    })();
  })();

  // Schedule a second GC for execution after that, which will now schedule
  // fg_run for cleanup.
  let task_2_gc = (async function () {
    await gc({ type: 'major', execution: 'async' });

    // Check that the cleanup task has had the chance to run yet.
    assertFalse(cleanedUp);
  })();

  // Wait for the two GCs to be executed.
  await task_1_gc;
  await task_2_gc;

  // Give the cleanup task a chance to run and check it worked correctly.
  setTimeout(function () { assertTrue(cleanedUp); }, 0);

})();