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::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#[derive(Clone, JSTraceable, MallocSizeOf)]
41#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
42pub(crate) enum AbortAlgorithm {
43 DomEventListener(RemovableDomEventListener),
45 StreamPiping(PipeTo),
47 Fetch(
49 #[no_trace]
50 #[conditional_malloc_size_of]
51 Arc<Mutex<Option<FetchContext>>>,
52 ),
53 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#[dom_struct]
69pub(crate) struct AbortSignal {
70 eventtarget: EventTarget,
71
72 #[ignore_malloc_size_of = "mozjs"]
74 abort_reason: Heap<JSVal>,
75
76 abort_algorithms: RefCell<Vec<AbortAlgorithm>>,
78
79 dependent: Cell<bool>,
81
82 #[no_trace]
84 #[ignore_malloc_size_of = "WeakRef"]
85 source_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
86
87 #[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 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 if self.Aborted() {
130 return;
131 }
132
133 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 let mut dependent_signals_to_abort = vec![];
146
147 for weak in self.dependent_signals.borrow().iter() {
149 if let Some(dependent_signal) = weak.root() {
150 if !dependent_signal.aborted() {
152 dependent_signal.abort_reason.set(self.abort_reason.get());
154 dependent_signals_to_abort.push(dependent_signal);
156 }
157 }
158 }
159
160 self.run_the_abort_steps(cx, &global, realm, can_gc);
162
163 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 pub(crate) fn add(&self, algorithm: &AbortAlgorithm) {
171 if self.aborted() {
173 return;
174 }
175
176 self.abort_algorithms.borrow_mut().push(algorithm.clone());
178
179 if self.dependent.get() {
181 self.global().register_dependent_abort_signal(self);
182 }
183 }
184
185 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 fn run_the_abort_steps(
224 &self,
225 cx: SafeJSContext,
226 global: &GlobalScope,
227 realm: InRealm,
228 can_gc: CanGc,
229 ) {
230 for algo in self.abort_algorithms.borrow().iter() {
232 self.run_abort_algorithm(cx, global, algo, realm, can_gc);
233 }
234 self.abort_algorithms.borrow_mut().clear();
236
237 self.upcast::<EventTarget>()
239 .fire_event(atom!("abort"), can_gc);
240 }
241
242 pub(crate) fn aborted(&self) -> bool {
244 !self.abort_reason.get().is_undefined()
246 }
247
248 pub(crate) fn create_dependent_abort_signal(
250 signals: Vec<DomRoot<AbortSignal>>,
251 global: &GlobalScope,
252 can_gc: CanGc,
253 ) -> DomRoot<AbortSignal> {
254 let result_signal = Self::new_with_proto(global, None, can_gc);
256 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 result_signal.dependent.set(true);
266 for signal in signals.iter() {
268 if !signal.dependent.get() {
270 result_signal
272 .source_signals
273 .borrow_mut()
274 .insert(WeakRef::new(signal));
275 signal
277 .dependent_signals
278 .borrow_mut()
279 .insert(WeakRef::new(&*result_signal));
280 } else {
281 for source_signal_weak in signal.source_signals.borrow().iter() {
283 if let Some(source_signal) = source_signal_weak.root() {
284 assert!(!source_signal.aborted() && !source_signal.dependent.get());
286 result_signal
288 .source_signals
289 .borrow_mut()
290 .insert(WeakRef::new(&*source_signal));
291 source_signal
293 .dependent_signals
294 .borrow_mut()
295 .insert(WeakRef::new(&*result_signal));
296 }
297 }
298 }
299 }
300 global.register_dependent_abort_signal(&result_signal);
302 result_signal
303 }
304
305 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 fn has_abort_algorithms(&self) -> bool {
313 !self.abort_algorithms.borrow().is_empty()
314 }
315
316 fn has_abort_listeners(&self) -> bool {
318 self.upcast::<EventTarget>()
319 .has_listeners_for(&atom!("abort"))
320 }
321
322 pub(crate) fn must_keep_alive_for_gc(&self) -> bool {
328 self.prune_dead_weak_refs();
330
331 if self.aborted() {
333 return false;
334 }
335
336 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 fn Aborted(&self) -> bool {
351 self.aborted()
353 }
354
355 fn Abort(
357 cx: SafeJSContext,
358 global: &GlobalScope,
359 reason: HandleValue,
360 can_gc: CanGc,
361 ) -> DomRoot<AbortSignal> {
362 let signal = AbortSignal::new_with_proto(global, None, can_gc);
364
365 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 signal
378 }
379
380 fn Timeout(global: &GlobalScope, milliseconds: u64, can_gc: CanGc) -> DomRoot<AbortSignal> {
382 let signal = AbortSignal::new_with_proto(global, None, can_gc);
384
385 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 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 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_for_task.signal_abort(
423 cx,
424 reason.handle(),
425 comp,
426 CanGc::note(),
427 );
428 }));
429 },
430 );
431
432 signal
434 }
435
436 fn Any(
438 global: &GlobalScope,
439 signals: Vec<DomRoot<AbortSignal>>,
440 can_gc: CanGc,
441 ) -> DomRoot<AbortSignal> {
442 Self::create_dependent_abort_signal(signals, global, can_gc)
445 }
446
447 fn Reason(&self, _cx: SafeJSContext, mut rval: MutableHandleValue) {
449 rval.set(self.abort_reason.get());
451 }
452
453 #[expect(unsafe_code)]
455 fn ThrowIfAborted(&self, cx: &mut JSContext) -> Fallible<()> {
456 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 event_handler!(abort, GetOnabort, SetOnabort);
472}