1use 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#[derive(Clone, JSTraceable, MallocSizeOf)]
43#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
44pub(crate) enum AbortAlgorithm {
45 DomEventListener(RemovableDomEventListener),
47 StreamPiping(PipeTo),
49 Fetch(
51 #[no_trace]
52 #[conditional_malloc_size_of]
53 Arc<Mutex<Option<FetchContext>>>,
54 ),
55 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#[dom_struct]
71pub(crate) struct AbortSignal {
72 eventtarget: EventTarget,
73
74 #[ignore_malloc_size_of = "mozjs"]
76 abort_reason: Heap<JSVal>,
77
78 abort_algorithms: RefCell<Vec<AbortAlgorithm>>,
80
81 dependent: Cell<bool>,
83
84 #[no_trace]
86 #[ignore_malloc_size_of = "WeakRef"]
87 source_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
88
89 #[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 pub(crate) fn signal_abort(&self, cx: &mut CurrentRealm, reason: HandleValue) {
122 let global = self.global();
123
124 if self.Aborted() {
126 return;
127 }
128
129 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 let mut dependent_signals_to_abort = vec![];
147
148 for weak in self.dependent_signals.borrow().iter() {
150 if let Some(dependent_signal) = weak.root() {
151 if !dependent_signal.aborted() {
153 dependent_signal.abort_reason.set(self.abort_reason.get());
155 dependent_signals_to_abort.push(dependent_signal);
157 }
158 }
159 }
160
161 self.run_the_abort_steps(cx, &global);
163
164 for dependent_signal in dependent_signals_to_abort.iter() {
166 dependent_signal.run_the_abort_steps(cx, &global);
167 }
168 }
169
170 pub(crate) fn add(&self, algorithm: &AbortAlgorithm) {
172 if self.aborted() {
174 return;
175 }
176
177 self.abort_algorithms.borrow_mut().push(algorithm.clone());
179
180 if self.dependent.get() {
182 self.global().register_dependent_abort_signal(self);
183 }
184 }
185
186 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 fn run_the_abort_steps(&self, cx: &mut CurrentRealm, global: &GlobalScope) {
223 for algo in self.abort_algorithms.borrow().iter() {
225 self.run_abort_algorithm(cx, global, algo);
226 }
227 self.abort_algorithms.borrow_mut().clear();
229
230 self.upcast::<EventTarget>().fire_event(cx, atom!("abort"));
232 }
233
234 pub(crate) fn aborted(&self) -> bool {
236 !self.abort_reason.get().is_undefined()
238 }
239
240 pub(crate) fn create_dependent_abort_signal(
242 signals: Vec<DomRoot<AbortSignal>>,
243 global: &GlobalScope,
244 can_gc: CanGc,
245 ) -> DomRoot<AbortSignal> {
246 let result_signal = Self::new_with_proto(global, None, can_gc);
248 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 result_signal.dependent.set(true);
258 for signal in signals.iter() {
260 if !signal.dependent.get() {
262 result_signal
264 .source_signals
265 .borrow_mut()
266 .insert(WeakRef::new(signal));
267 signal
269 .dependent_signals
270 .borrow_mut()
271 .insert(WeakRef::new(&*result_signal));
272 } else {
273 for source_signal_weak in signal.source_signals.borrow().iter() {
275 if let Some(source_signal) = source_signal_weak.root() {
276 assert!(!source_signal.aborted() && !source_signal.dependent.get());
278 result_signal
280 .source_signals
281 .borrow_mut()
282 .insert(WeakRef::new(&*source_signal));
283 source_signal
285 .dependent_signals
286 .borrow_mut()
287 .insert(WeakRef::new(&*result_signal));
288 }
289 }
290 }
291 }
292 global.register_dependent_abort_signal(&result_signal);
294 result_signal
295 }
296
297 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 fn has_abort_algorithms(&self) -> bool {
305 !self.abort_algorithms.borrow().is_empty()
306 }
307
308 fn has_abort_listeners(&self) -> bool {
310 self.upcast::<EventTarget>()
311 .has_listeners_for(&atom!("abort"))
312 }
313
314 pub(crate) fn must_keep_alive_for_gc(&self) -> bool {
320 self.prune_dead_weak_refs();
322
323 if self.aborted() {
325 return false;
326 }
327
328 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 fn Aborted(&self) -> bool {
343 self.aborted()
345 }
346
347 fn Abort(
349 cx: SafeJSContext,
350 global: &GlobalScope,
351 reason: HandleValue,
352 can_gc: CanGc,
353 ) -> DomRoot<AbortSignal> {
354 let signal = AbortSignal::new_with_proto(global, None, can_gc);
356
357 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 signal
370 }
371
372 fn Timeout(global: &GlobalScope, milliseconds: u64, can_gc: CanGc) -> DomRoot<AbortSignal> {
374 let signal = AbortSignal::new_with_proto(global, None, can_gc);
376
377 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 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 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_for_task.signal_abort(
414 &mut realm,
415 reason.handle(),
416 );
417 }));
418 },
419 );
420
421 signal
423 }
424
425 fn Any(
427 global: &GlobalScope,
428 signals: Vec<DomRoot<AbortSignal>>,
429 can_gc: CanGc,
430 ) -> DomRoot<AbortSignal> {
431 Self::create_dependent_abort_signal(signals, global, can_gc)
434 }
435
436 fn Reason(&self, _cx: SafeJSContext, mut rval: MutableHandleValue) {
438 rval.set(self.abort_reason.get());
440 }
441
442 #[expect(unsafe_code)]
444 fn ThrowIfAborted(&self, cx: &mut JSContext) -> Fallible<()> {
445 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 event_handler!(abort, GetOnabort, SetOnabort);
461}