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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
/*
* Copyright (C) 2014 Yoav Weiss (yoav@yoav.ws)
* Copyright (C) 2015 Akamai Technologies Inc. All rights reserved.
* Copyright (C) 2023 Apple Inc. All rights reserved.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Library General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Library General Public License for more details.
*
* You should have received a copy of the GNU Library General Public License
* along with this library; see the file COPYING.LIB. If not, write to
* the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
* Boston, MA 02110-1301, USA.
*
*/
#include "config.h"
#include "Microtasks.h"
#include "CommonVM.h"
#include "EventLoop.h"
#include "RejectedPromiseTracker.h"
#include "ScriptExecutionContext.h"
#include "WorkerGlobalScope.h"
#include <JavaScriptCore/CatchScope.h>
#include <wtf/MainThread.h>
#include <wtf/NeverDestroyed.h>
#include <wtf/SetForScope.h>
#include <wtf/TZoneMallocInlines.h>
namespace WebCore {
WTF_MAKE_TZONE_ALLOCATED_IMPL(MicrotaskQueue);
MicrotaskQueue::MicrotaskQueue(JSC::VM& vm, EventLoop& eventLoop)
: m_vm(vm)
, m_eventLoop(eventLoop)
{
}
MicrotaskQueue::~MicrotaskQueue() = default;
void MicrotaskQueue::append(std::unique_ptr<EventLoopTask>&& task)
{
m_microtaskQueue.append(WTFMove(task));
}
void MicrotaskQueue::performMicrotaskCheckpoint()
{
if (m_performingMicrotaskCheckpoint)
return;
SetForScope change(m_performingMicrotaskCheckpoint, true);
Ref vm = this->vm();
JSC::JSLockHolder locker(vm);
auto catchScope = DECLARE_CATCH_SCOPE(vm);
Vector<std::unique_ptr<EventLoopTask>> toKeep;
while (!m_microtaskQueue.isEmpty() && !vm->executionForbidden()) {
Vector<std::unique_ptr<EventLoopTask>> queue = WTFMove(m_microtaskQueue);
for (auto& task : queue) {
auto* group = task->group();
if (!group || group->isStoppedPermanently())
continue;
if (group->isSuspended())
toKeep.append(WTFMove(task));
else {
task->execute();
if (UNLIKELY(!catchScope.clearExceptionExceptTermination()))
break; // Encountered termination.
}
}
}
vm->finalizeSynchronousJSExecution();
m_microtaskQueue = WTFMove(toKeep);
if (!vm->executionForbidden()) {
auto checkpointTasks = std::exchange(m_checkpointTasks, { });
for (auto& checkpointTask : checkpointTasks) {
auto* group = checkpointTask->group();
if (!group || group->isStoppedPermanently())
continue;
if (group->isSuspended()) {
m_checkpointTasks.append(WTFMove(checkpointTask));
continue;
}
checkpointTask->execute();
if (UNLIKELY(!catchScope.clearExceptionExceptTermination()))
break; // Encountered termination.
}
}
// https://html.spec.whatwg.org/multipage/webappapis.html#perform-a-microtask-checkpoint (step 4).
Ref { *m_eventLoop }->forEachAssociatedContext([vm = vm.copyRef()](auto& context) {
if (UNLIKELY(vm->executionForbidden()))
return;
auto catchScope = DECLARE_CATCH_SCOPE(vm);
if (CheckedPtr tracker = context.rejectedPromiseTracker())
tracker->processQueueSoon();
catchScope.clearExceptionExceptTermination();
});
// FIXME: We should cleanup Indexed Database transactions as per:
// https://html.spec.whatwg.org/multipage/webappapis.html#perform-a-microtask-checkpoint (step 5).
}
void MicrotaskQueue::addCheckpointTask(std::unique_ptr<EventLoopTask>&& task)
{
m_checkpointTasks.append(WTFMove(task));
}
bool MicrotaskQueue::hasMicrotasksForFullyActiveDocument() const
{
return m_microtaskQueue.containsIf([](auto& task) {
auto group = task->group();
return group && !group->isStoppedPermanently() && !group->isSuspended();
});
}
} // namespace WebCore
|
