Skip to main content

script/dom/
abortsignal.rs

1/* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
4
5use std::cell::{Cell, RefCell};
6use std::rc::Rc;
7use std::sync::{Arc, Mutex};
8
9use dom_struct::dom_struct;
10use indexmap::IndexSet;
11use js::context::JSContext;
12use js::jsapi::{ExceptionStackBehavior, Heap};
13use js::jsval::{JSVal, UndefinedValue};
14use js::realm::CurrentRealm;
15use js::rust::wrappers2::JS_SetPendingException;
16use js::rust::{HandleObject, HandleValue, MutableHandleValue};
17use script_bindings::cell::DomRefCell;
18use script_bindings::inheritance::Castable;
19use script_bindings::reflector::reflect_dom_object_with_proto;
20use script_bindings::weakref::WeakRef;
21
22use crate::dom::bindings::codegen::Bindings::AbortSignalBinding::AbortSignalMethods;
23use crate::dom::bindings::codegen::Bindings::EventListenerBinding::EventListener;
24use crate::dom::bindings::codegen::Bindings::EventTargetBinding::EventListenerOptions;
25use crate::dom::bindings::error::{Error, ErrorToJsval, Fallible};
26use crate::dom::bindings::refcounted::Trusted;
27use crate::dom::bindings::reflector::DomGlobal;
28use crate::dom::bindings::root::{Dom, DomRoot};
29use crate::dom::bindings::str::DOMString;
30use crate::dom::eventtarget::EventTarget;
31use crate::dom::globalscope::GlobalScope;
32use crate::dom::readablestream::PipeTo;
33use crate::fetch::{DeferredFetchRecordId, FetchContext};
34use crate::realms::enter_auto_realm;
35use crate::script_runtime::{CanGc, JSContext as SafeJSContext};
36
37impl js::gc::Rootable for AbortAlgorithm {}
38
39/// <https://dom.spec.whatwg.org/#abortcontroller-api-integration>
40/// TODO: implement algorithms at call point,
41/// in order to integrate the abort signal with its various use cases.
42#[derive(Clone, JSTraceable, MallocSizeOf)]
43#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
44pub(crate) enum AbortAlgorithm {
45    /// <https://dom.spec.whatwg.org/#add-an-event-listener>
46    DomEventListener(RemovableDomEventListener),
47    /// <https://streams.spec.whatwg.org/#readable-stream-pipe-to>
48    StreamPiping(PipeTo),
49    /// <https://fetch.spec.whatwg.org/#dom-global-fetch>
50    Fetch(
51        #[no_trace]
52        #[conditional_malloc_size_of]
53        Arc<Mutex<Option<FetchContext>>>,
54    ),
55    /// <https://fetch.spec.whatwg.org/#dom-window-fetchlater>
56    FetchLater(#[no_trace] DeferredFetchRecordId),
57}
58
59#[derive(Clone, JSTraceable, MallocSizeOf)]
60#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
61pub(crate) struct RemovableDomEventListener {
62    pub(crate) event_target: Dom<EventTarget>,
63    pub(crate) ty: DOMString,
64    #[conditional_malloc_size_of]
65    pub(crate) listener: Option<Rc<EventListener>>,
66    pub(crate) options: EventListenerOptions,
67}
68
69/// <https://dom.spec.whatwg.org/#abortsignal>
70#[dom_struct]
71pub(crate) struct AbortSignal {
72    eventtarget: EventTarget,
73
74    /// <https://dom.spec.whatwg.org/#abortsignal-abort-reason>
75    #[ignore_malloc_size_of = "mozjs"]
76    abort_reason: Heap<JSVal>,
77
78    /// <https://dom.spec.whatwg.org/#abortsignal-abort-algorithms>
79    abort_algorithms: RefCell<Vec<AbortAlgorithm>>,
80
81    /// <https://dom.spec.whatwg.org/#abortsignal-dependent>
82    dependent: Cell<bool>,
83
84    /// <https://dom.spec.whatwg.org/#abortsignal-source-signals>
85    #[no_trace]
86    #[ignore_malloc_size_of = "WeakRef"]
87    source_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
88
89    /// <https://dom.spec.whatwg.org/#abortsignal-dependent-signals>
90    #[no_trace]
91    #[ignore_malloc_size_of = "WeakRef"]
92    dependent_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
93}
94
95impl AbortSignal {
96    fn new_inherited() -> AbortSignal {
97        AbortSignal {
98            eventtarget: EventTarget::new_inherited(),
99            abort_reason: Default::default(),
100            abort_algorithms: Default::default(),
101            dependent: Default::default(),
102            source_signals: Default::default(),
103            dependent_signals: Default::default(),
104        }
105    }
106
107    pub(crate) fn new_with_proto(
108        global: &GlobalScope,
109        proto: Option<HandleObject>,
110        can_gc: CanGc,
111    ) -> DomRoot<AbortSignal> {
112        reflect_dom_object_with_proto(
113            Box::new(AbortSignal::new_inherited()),
114            global,
115            proto,
116            can_gc,
117        )
118    }
119
120    /// <https://dom.spec.whatwg.org/#abortsignal-signal-abort>
121    pub(crate) fn signal_abort(&self, cx: &mut CurrentRealm, reason: HandleValue) {
122        let global = self.global();
123
124        // Step 1. If signal is aborted, then return.
125        if self.Aborted() {
126            return;
127        }
128
129        // Step 2. Set signal’s abort reason to reason if it is given;
130        // otherwise to a new "AbortError" DOMException.
131        let abort_reason = reason.get();
132        if !abort_reason.is_undefined() {
133            self.abort_reason.set(abort_reason);
134        } else {
135            rooted!(&in(cx) let mut rooted_error = UndefinedValue());
136            Error::Abort(None).to_jsval(
137                cx.into(),
138                &global,
139                rooted_error.handle_mut(),
140                CanGc::from_cx(cx),
141            );
142            self.abort_reason.set(rooted_error.get())
143        }
144
145        // Step 3. Let dependentSignalsToAbort be a new list.
146        let mut dependent_signals_to_abort = vec![];
147
148        // Step 4. For each dependentSignal of signal’s dependent signals:
149        for weak in self.dependent_signals.borrow().iter() {
150            if let Some(dependent_signal) = weak.root() {
151                // Step 4.1. If dependentSignal is not aborted:
152                if !dependent_signal.aborted() {
153                    // Step 4.1.1. Set dependentSignal’s abort reason to signal’s abort reason.
154                    dependent_signal.abort_reason.set(self.abort_reason.get());
155                    // Step 4.1.2. Append dependentSignal to dependentSignalsToAbort.
156                    dependent_signals_to_abort.push(dependent_signal);
157                }
158            }
159        }
160
161        // Step 5. Run the abort steps for signal.
162        self.run_the_abort_steps(cx, &global);
163
164        // Step 6. For each dependentSignal of dependentSignalsToAbort, run the abort steps for dependentSignal.
165        for dependent_signal in dependent_signals_to_abort.iter() {
166            dependent_signal.run_the_abort_steps(cx, &global);
167        }
168    }
169
170    /// <https://dom.spec.whatwg.org/#abortsignal-add>
171    pub(crate) fn add(&self, algorithm: &AbortAlgorithm) {
172        // Step 1. If signal is aborted, then return.
173        if self.aborted() {
174            return;
175        }
176
177        // Step 2. Append algorithm to signal’s abort algorithms.
178        self.abort_algorithms.borrow_mut().push(algorithm.clone());
179
180        // if this is a dependent signal, it may now need to be kept alive.
181        if self.dependent.get() {
182            self.global().register_dependent_abort_signal(self);
183        }
184    }
185
186    /// Run a specific abort algorithm.
187    pub(crate) fn run_abort_algorithm(
188        &self,
189        cx: &mut CurrentRealm,
190        global: &GlobalScope,
191        algorithm: &AbortAlgorithm,
192    ) {
193        match algorithm {
194            AbortAlgorithm::StreamPiping(pipe) => {
195                rooted!(&in(cx) let mut reason = UndefinedValue());
196                reason.set(self.abort_reason.get());
197                pipe.abort_with_reason(cx, global, reason.handle());
198            },
199            AbortAlgorithm::Fetch(fetch_context) => {
200                rooted!(&in(cx) let mut reason = UndefinedValue());
201                reason.set(self.abort_reason.get());
202                if let Some(fetch_context) = &mut *fetch_context.lock().unwrap() {
203                    fetch_context.abort_fetch(reason.handle(), cx);
204                }
205            },
206            AbortAlgorithm::FetchLater(deferred_fetch_record_id) => {
207                global
208                    .deferred_fetch_record_for_id(deferred_fetch_record_id)
209                    .abort();
210            },
211            AbortAlgorithm::DomEventListener(removable_listener) => {
212                removable_listener.event_target.remove_event_listener(
213                    removable_listener.ty.clone(),
214                    &removable_listener.listener,
215                    &removable_listener.options,
216                );
217            },
218        }
219    }
220
221    /// <https://dom.spec.whatwg.org/#run-the-abort-steps>
222    fn run_the_abort_steps(&self, cx: &mut CurrentRealm, global: &GlobalScope) {
223        // Step 1. For each algorithm of signal’s abort algorithms: run algorithm.
224        for algo in self.abort_algorithms.borrow().iter() {
225            self.run_abort_algorithm(cx, global, algo);
226        }
227        // Step 2. Empty signal’s abort algorithms.
228        self.abort_algorithms.borrow_mut().clear();
229
230        // Step 3. Fire an event named abort at signal.
231        self.upcast::<EventTarget>().fire_event(cx, atom!("abort"));
232    }
233
234    /// <https://dom.spec.whatwg.org/#abortsignal-aborted>
235    pub(crate) fn aborted(&self) -> bool {
236        // An AbortSignal object is aborted when its abort reason is not undefined.
237        !self.abort_reason.get().is_undefined()
238    }
239
240    /// <https://dom.spec.whatwg.org/#create-a-dependent-abort-signal>
241    pub(crate) fn create_dependent_abort_signal(
242        signals: Vec<DomRoot<AbortSignal>>,
243        global: &GlobalScope,
244        can_gc: CanGc,
245    ) -> DomRoot<AbortSignal> {
246        // Step 1. Let resultSignal be a new object implementing signalInterface using realm.
247        let result_signal = Self::new_with_proto(global, None, can_gc);
248        // Step 2. For each signal of signals: if signal is aborted,
249        // then set resultSignal’s abort reason to signal’s abort reason and return resultSignal.
250        for signal in signals.iter() {
251            if signal.aborted() {
252                result_signal.abort_reason.set(signal.abort_reason.get());
253                return result_signal;
254            }
255        }
256        // Step 3. Set resultSignal’s dependent to true.
257        result_signal.dependent.set(true);
258        // Step 4. For each signal of signals:
259        for signal in signals.iter() {
260            // Step 4.1. If signal’s dependent is false:
261            if !signal.dependent.get() {
262                // Step 4.1.1. Append signal to resultSignal’s source signals.
263                result_signal
264                    .source_signals
265                    .borrow_mut()
266                    .insert(WeakRef::new(signal));
267                // Step 4.1.2. Append resultSignal to signal’s dependent signals.
268                signal
269                    .dependent_signals
270                    .borrow_mut()
271                    .insert(WeakRef::new(&*result_signal));
272            } else {
273                // Step 4.2. Otherwise, for each sourceSignal of signal’s source signals:
274                for source_signal_weak in signal.source_signals.borrow().iter() {
275                    if let Some(source_signal) = source_signal_weak.root() {
276                        // Step 4.2.1. Assert: sourceSignal is not aborted and not dependent.
277                        assert!(!source_signal.aborted() && !source_signal.dependent.get());
278                        // Step 4.2.2. Append sourceSignal to resultSignal’s source signals.
279                        result_signal
280                            .source_signals
281                            .borrow_mut()
282                            .insert(WeakRef::new(&*source_signal));
283                        // Step 4.2.3. Append resultSignal to sourceSignal’s dependent signals.
284                        source_signal
285                            .dependent_signals
286                            .borrow_mut()
287                            .insert(WeakRef::new(&*result_signal));
288                    }
289                }
290            }
291        }
292        // Step 5. Return resultSignal.
293        global.register_dependent_abort_signal(&result_signal);
294        result_signal
295    }
296
297    /// Remove weak references whose target has been collected.
298    fn prune_dead_weak_refs(&self) {
299        self.source_signals.borrow_mut().retain(|w| w.is_alive());
300        self.dependent_signals.borrow_mut().retain(|w| w.is_alive());
301    }
302
303    /// Whether this signal still has abort algorithms registered.
304    fn has_abort_algorithms(&self) -> bool {
305        !self.abort_algorithms.borrow().is_empty()
306    }
307
308    /// Whether this signal has any listeners for its "abort" event.
309    fn has_abort_listeners(&self) -> bool {
310        self.upcast::<EventTarget>()
311            .has_listeners_for(&atom!("abort"))
312    }
313
314    /// <https://dom.spec.whatwg.org/#abort-signal-garbage-collection>
315    /// A non-aborted dependent AbortSignal object must not be garbage
316    /// collected while its source signals is non-empty and it has
317    /// registered event listeners for its abort event or its abort
318    /// algorithms is non-empty.
319    pub(crate) fn must_keep_alive_for_gc(&self) -> bool {
320        // Treat dead weak entries as removed.
321        self.prune_dead_weak_refs();
322
323        // Only care about non-aborted signals.
324        if self.aborted() {
325            return false;
326        }
327
328        // If it has no live source signals left, it doesn’t need to be kept.
329        if self.source_signals.borrow().is_empty() {
330            return false;
331        }
332
333        let has_algos = self.has_abort_algorithms();
334        let has_listeners = self.has_abort_listeners();
335
336        has_algos || has_listeners
337    }
338}
339
340impl AbortSignalMethods<crate::DomTypeHolder> for AbortSignal {
341    /// <https://dom.spec.whatwg.org/#dom-abortsignal-aborted>
342    fn Aborted(&self) -> bool {
343        // The aborted getter steps are to return true if this is aborted; otherwise false.
344        self.aborted()
345    }
346
347    /// <https://dom.spec.whatwg.org/#dom-abortsignal-abort>
348    fn Abort(
349        cx: SafeJSContext,
350        global: &GlobalScope,
351        reason: HandleValue,
352        can_gc: CanGc,
353    ) -> DomRoot<AbortSignal> {
354        // Step 1. Let signal be a new AbortSignal object.
355        let signal = AbortSignal::new_with_proto(global, None, can_gc);
356
357        // Step 2. Set signal’s abort reason to reason if it is given;
358        // otherwise to a new "AbortError" DOMException.
359        let abort_reason = reason.get();
360        if !abort_reason.is_undefined() {
361            signal.abort_reason.set(abort_reason);
362        } else {
363            rooted!(in(*cx) let mut rooted_error = UndefinedValue());
364            Error::Abort(None).to_jsval(cx, global, rooted_error.handle_mut(), can_gc);
365            signal.abort_reason.set(rooted_error.get())
366        }
367
368        // Step 3. Return signal.
369        signal
370    }
371
372    /// <https://dom.spec.whatwg.org/#dom-abortsignal-timeout>
373    fn Timeout(global: &GlobalScope, milliseconds: u64, can_gc: CanGc) -> DomRoot<AbortSignal> {
374        // Step 1. Let signal be a new AbortSignal object.
375        let signal = AbortSignal::new_with_proto(global, None, can_gc);
376
377        // Step 2. Let global be signal’s relevant global object.
378        // We already have `global`.
379
380        let signal_keepalive: Trusted<AbortSignal> = Trusted::new(&signal);
381
382        let ms_i64 = if milliseconds > i64::MAX as u64 {
383            i64::MAX
384        } else {
385            milliseconds as i64
386        };
387
388        // Step 3. Run steps after a timeout given global, "AbortSignal-timeout", milliseconds, and the following step:
389        global.run_steps_after_a_timeout(
390            DOMString::from("AbortSignal-timeout"),
391            ms_i64,
392            move |_cx, global| {
393                let task_source = global.task_manager().timer_task_source().to_sendable();
394
395                // Step 3.1. Queue a global task on the timer task source given global to signal abort given signal and a new "TimeoutError" DOMException.
396                // For the duration of this timeout, if signal has any event listeners registered for its abort event,
397                // there must be a strong reference from global to signal.
398                task_source.queue(task!(abortsignal_timeout: move |cx| {
399                    let signal_for_task = signal_keepalive.root();
400
401                    rooted!(&in(cx) let mut reason = UndefinedValue());
402                    Error::Timeout(None).to_jsval(
403                        cx.into(),
404                        &signal_for_task.global(),
405                        reason.handle_mut(),
406                        CanGc::from_cx(cx),
407                    );
408
409                    let mut realm = enter_auto_realm(cx, &*signal_for_task.global());
410                    let mut realm = realm.current_realm();
411
412                    // “signal abort given signal and a new "TimeoutError" DOMException.”
413                    signal_for_task.signal_abort(
414                        &mut realm,
415                        reason.handle(),
416                    );
417                }));
418            },
419        );
420
421        // Step 4. Return signal.
422        signal
423    }
424
425    /// <https://dom.spec.whatwg.org/#dom-abortsignal-any>
426    fn Any(
427        global: &GlobalScope,
428        signals: Vec<DomRoot<AbortSignal>>,
429        can_gc: CanGc,
430    ) -> DomRoot<AbortSignal> {
431        // The static any(signals) method steps are to return the result
432        // of creating a dependent abort signal from signals using AbortSignal and the current realm.
433        Self::create_dependent_abort_signal(signals, global, can_gc)
434    }
435
436    /// <https://dom.spec.whatwg.org/#dom-abortsignal-reason>
437    fn Reason(&self, _cx: SafeJSContext, mut rval: MutableHandleValue) {
438        // The reason getter steps are to return this’s abort reason.
439        rval.set(self.abort_reason.get());
440    }
441
442    /// <https://dom.spec.whatwg.org/#dom-abortsignal-throwifaborted>
443    #[expect(unsafe_code)]
444    fn ThrowIfAborted(&self, cx: &mut JSContext) -> Fallible<()> {
445        // The throwIfAborted() method steps are to throw this’s abort reason, if this is aborted.
446        if self.aborted() {
447            unsafe {
448                JS_SetPendingException(
449                    cx,
450                    HandleValue::from_raw(self.abort_reason.handle()),
451                    ExceptionStackBehavior::Capture,
452                )
453            };
454            return Err(Error::JSFailed);
455        }
456        Ok(())
457    }
458
459    // <https://dom.spec.whatwg.org/#dom-abortsignal-onabort>
460    event_handler!(abort, GetOnabort, SetOnabort);
461}