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