1 // Copyright 2020 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #include "src/heap/finalization-registry-cleanup-task.h"
6 
7 #include "src/execution/frames.h"
8 #include "src/execution/interrupts-scope.h"
9 #include "src/execution/stack-guard.h"
10 #include "src/execution/v8threads.h"
11 #include "src/heap/heap-inl.h"
12 #include "src/objects/js-weak-refs-inl.h"
13 #include "src/tracing/trace-event.h"
14 
15 namespace v8 {
16 namespace internal {
17 
FinalizationRegistryCleanupTask(Heap * heap)18 FinalizationRegistryCleanupTask::FinalizationRegistryCleanupTask(Heap* heap)
19     : CancelableTask(heap->isolate()), heap_(heap) {}
20 
SlowAssertNoActiveJavaScript()21 void FinalizationRegistryCleanupTask::SlowAssertNoActiveJavaScript() {
22 #ifdef ENABLE_SLOW_DCHECKS
23   class NoActiveJavaScript : public ThreadVisitor {
24    public:
25     void VisitThread(Isolate* isolate, ThreadLocalTop* top) override {
26       for (StackFrameIterator it(isolate, top); !it.done(); it.Advance()) {
27         DCHECK(!it.frame()->is_java_script());
28       }
29     }
30   };
31   NoActiveJavaScript no_active_js_visitor;
32   Isolate* isolate = heap_->isolate();
33   no_active_js_visitor.VisitThread(isolate, isolate->thread_local_top());
34   isolate->thread_manager()->IterateArchivedThreads(&no_active_js_visitor);
35 #endif  // ENABLE_SLOW_DCHECKS
36 }
37 
RunInternal()38 void FinalizationRegistryCleanupTask::RunInternal() {
39   Isolate* isolate = heap_->isolate();
40   DCHECK(!isolate->host_cleanup_finalization_group_callback());
41   SlowAssertNoActiveJavaScript();
42 
43   TRACE_EVENT_CALL_STATS_SCOPED(isolate, "v8",
44                                 "V8.FinalizationRegistryCleanupTask");
45 
46   HandleScope handle_scope(isolate);
47   Handle<JSFinalizationRegistry> finalization_registry;
48   // There could be no dirty FinalizationRegistries. When a context is disposed
49   // by the embedder, its FinalizationRegistries are removed from the dirty
50   // list.
51   if (!heap_->DequeueDirtyJSFinalizationRegistry().ToHandle(
52           &finalization_registry)) {
53     return;
54   }
55   finalization_registry->set_scheduled_for_cleanup(false);
56 
57   // Since FinalizationRegistry cleanup callbacks are scheduled by V8, enter the
58   // FinalizationRegistry's context.
59   Handle<Context> context(
60       Context::cast(finalization_registry->native_context()), isolate);
61   Handle<Object> callback(finalization_registry->cleanup(), isolate);
62   v8::Context::Scope context_scope(v8::Utils::ToLocal(context));
63   v8::TryCatch catcher(reinterpret_cast<v8::Isolate*>(isolate));
64   catcher.SetVerbose(true);
65 
66   // Exceptions are reported via the message handler. This is ensured by the
67   // verbose TryCatch.
68   InvokeFinalizationRegistryCleanupFromTask(context, finalization_registry,
69                                             callback);
70 
71   // Repost if there are remaining dirty FinalizationRegistries.
72   heap_->set_is_finalization_registry_cleanup_task_posted(false);
73   heap_->PostFinalizationRegistryCleanupTaskIfNeeded();
74 }
75 
76 }  // namespace internal
77 }  // namespace v8
78