/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at https://mozilla.org/MPL/2.0/. */ //! Implementation of [microtasks](https://html.spec.whatwg.org/multipage/#microtask) and //! microtask queues. It is up to implementations of event loops to store a queue and //! perform checkpoints at appropriate times, as well as enqueue microtasks as required. use std::cell::Cell; use std::mem; use std::rc::Rc; use base::id::PipelineId; use js::jsapi::{JSAutoRealm, JobQueueIsEmpty, JobQueueMayNotBeEmpty}; use crate::dom::bindings::callback::ExceptionHandling; use crate::dom::bindings::cell::DomRefCell; use crate::dom::bindings::codegen::Bindings::PromiseBinding::PromiseJobCallback; use crate::dom::bindings::codegen::Bindings::VoidFunctionBinding::VoidFunction; use crate::dom::bindings::root::DomRoot; use crate::dom::globalscope::GlobalScope; use crate::dom::htmlimageelement::ImageElementMicrotask; use crate::dom::htmlmediaelement::MediaElementMicrotask; use crate::dom::mutationobserver::MutationObserver; use crate::realms::enter_realm; use crate::script_runtime::{notify_about_rejected_promises, JSContext}; use crate::script_thread::ScriptThread; /// A collection of microtasks in FIFO order. #[derive(Default, JSTraceable, MallocSizeOf)] pub struct MicrotaskQueue { /// The list of enqueued microtasks that will be invoked at the next microtask checkpoint. microtask_queue: DomRefCell>, /// performing_a_microtask_checkpoint: Cell, } #[derive(JSTraceable, MallocSizeOf)] pub enum Microtask { Promise(EnqueuedPromiseCallback), User(UserMicrotask), MediaElement(MediaElementMicrotask), ImageElement(ImageElementMicrotask), CustomElementReaction, NotifyMutationObservers, } pub trait MicrotaskRunnable { fn handler(&self) {} fn enter_realm(&self) -> JSAutoRealm; } /// A promise callback scheduled to run during the next microtask checkpoint (#4283). #[derive(JSTraceable, MallocSizeOf)] pub struct EnqueuedPromiseCallback { #[ignore_malloc_size_of = "Rc has unclear ownership"] pub callback: Rc, #[no_trace] pub pipeline: PipelineId, pub is_user_interacting: bool, } /// A microtask that comes from a queueMicrotask() Javascript call, /// identical to EnqueuedPromiseCallback once it's on the queue #[derive(JSTraceable, MallocSizeOf)] pub struct UserMicrotask { #[ignore_malloc_size_of = "Rc has unclear ownership"] pub callback: Rc, #[no_trace] pub pipeline: PipelineId, } impl MicrotaskQueue { /// Add a new microtask to this queue. It will be invoked as part of the next /// microtask checkpoint. #[allow(unsafe_code)] pub fn enqueue(&self, job: Microtask, cx: JSContext) { self.microtask_queue.borrow_mut().push(job); unsafe { JobQueueMayNotBeEmpty(*cx) }; } /// /// Perform a microtask checkpoint, executing all queued microtasks until the queue is empty. #[allow(unsafe_code)] pub fn checkpoint( &self, cx: JSContext, target_provider: F, globalscopes: Vec>, ) where F: Fn(PipelineId) -> Option>, { if self.performing_a_microtask_checkpoint.get() { return; } // Step 1 self.performing_a_microtask_checkpoint.set(true); debug!("Now performing a microtask checkpoint"); // Steps 2 while !self.microtask_queue.borrow().is_empty() { rooted_vec!(let mut pending_queue); mem::swap(&mut *pending_queue, &mut *self.microtask_queue.borrow_mut()); for (idx, job) in pending_queue.iter().enumerate() { if idx == pending_queue.len() - 1 && self.microtask_queue.borrow().is_empty() { unsafe { JobQueueIsEmpty(*cx) }; } match *job { Microtask::Promise(ref job) => { if let Some(target) = target_provider(job.pipeline) { let was_interacting = ScriptThread::is_user_interacting(); ScriptThread::set_user_interacting(job.is_user_interacting); let _realm = enter_realm(&*target); let _ = job.callback.Call_(&*target, ExceptionHandling::Report); ScriptThread::set_user_interacting(was_interacting); } }, Microtask::User(ref job) => { if let Some(target) = target_provider(job.pipeline) { let _realm = enter_realm(&*target); let _ = job.callback.Call_(&*target, ExceptionHandling::Report); } }, Microtask::MediaElement(ref task) => { let _realm = task.enter_realm(); task.handler(); }, Microtask::ImageElement(ref task) => { let _realm = task.enter_realm(); task.handler(); }, Microtask::CustomElementReaction => { ScriptThread::invoke_backup_element_queue(); }, Microtask::NotifyMutationObservers => { MutationObserver::notify_mutation_observers(); }, } } } // Step 3 for global in globalscopes.into_iter() { notify_about_rejected_promises(&global); } // TODO: Step 4 - Cleanup Indexed Database transactions. // Step 5 self.performing_a_microtask_checkpoint.set(false); } pub fn empty(&self) -> bool { self.microtask_queue.borrow().is_empty() } pub fn clear(&self) { self.microtask_queue.borrow_mut().clear(); } }