blob: 672038e3ef8cd48328ed3eec0808093f00bf30cc [file] [log] [blame]
/*
* Copyright (C) 2025 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
* THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include <JavaScriptCore/CatchScope.h>
#include <JavaScriptCore/Debugger.h>
#include <JavaScriptCore/MicrotaskQueue.h>
namespace JSC {
template<bool useCallOnEachMicrotask>
inline void MicrotaskQueue::performMicrotaskCheckpoint(VM& vm, NOESCAPE const Invocable<QueuedTask::Result(QueuedTask&)> auto& functor)
{
auto catchScope = DECLARE_CATCH_SCOPE(vm);
if (vm.executionForbidden()) [[unlikely]]
clear();
else {
while (!m_queue.isEmpty()) {
auto task = m_queue.dequeue();
auto result = functor(task);
if (!catchScope.clearExceptionExceptTermination()) [[unlikely]] {
clear();
break;
}
if constexpr (useCallOnEachMicrotask) {
vm.callOnEachMicrotaskTick();
if (!catchScope.clearExceptionExceptTermination()) [[unlikely]] {
clear();
break;
}
}
switch (result) {
case QueuedTask::Result::Executed:
break;
case QueuedTask::Result::Discard:
// Let this task go away.
break;
case QueuedTask::Result::Suspended: {
m_toKeep.enqueue(WTFMove(task));
break;
}
}
}
}
m_queue.swap(m_toKeep);
}
} // namespace JSC