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_and_cx;
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;
35
36impl js::gc::Rootable for AbortAlgorithm {}
37
38#[derive(Clone, JSTraceable, MallocSizeOf)]
42#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
43pub(crate) enum AbortAlgorithm {
44 DomEventListener(RemovableDomEventListener),
46 StreamPiping(PipeTo),
48 Fetch(
50 #[no_trace]
51 #[conditional_malloc_size_of]
52 Arc<Mutex<Option<FetchContext>>>,
53 ),
54 FetchLater(#[no_trace] DeferredFetchRecordId),
56}
57
58#[derive(Clone, JSTraceable, MallocSizeOf)]
59#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)]
60pub(crate) struct RemovableDomEventListener {
61 pub(crate) event_target: Dom<EventTarget>,
62 pub(crate) ty: DOMString,
63 #[conditional_malloc_size_of]
64 pub(crate) listener: Option<Rc<EventListener>>,
65 pub(crate) options: EventListenerOptions,
66}
67
68#[dom_struct]
70pub(crate) struct AbortSignal {
71 eventtarget: EventTarget,
72
73 #[ignore_malloc_size_of = "mozjs"]
75 abort_reason: Heap<JSVal>,
76
77 abort_algorithms: RefCell<Vec<AbortAlgorithm>>,
79
80 dependent: Cell<bool>,
82
83 #[no_trace]
85 #[ignore_malloc_size_of = "WeakRef"]
86 source_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
87
88 #[no_trace]
90 #[ignore_malloc_size_of = "WeakRef"]
91 dependent_signals: DomRefCell<IndexSet<WeakRef<AbortSignal>>>,
92}
93
94impl AbortSignal {
95 fn new_inherited() -> AbortSignal {
96 AbortSignal {
97 eventtarget: EventTarget::new_inherited(),
98 abort_reason: Default::default(),
99 abort_algorithms: Default::default(),
100 dependent: Default::default(),
101 source_signals: Default::default(),
102 dependent_signals: Default::default(),
103 }
104 }
105
106 pub(crate) fn new_with_proto(
107 cx: &mut JSContext,
108 global: &GlobalScope,
109 proto: Option<HandleObject>,
110 ) -> DomRoot<AbortSignal> {
111 reflect_dom_object_with_proto_and_cx(
112 Box::new(AbortSignal::new_inherited()),
113 global,
114 proto,
115 cx,
116 )
117 }
118
119 pub(crate) fn signal_abort(&self, cx: &mut CurrentRealm, reason: HandleValue) {
121 let global = self.global();
122
123 if self.Aborted() {
125 return;
126 }
127
128 let abort_reason = reason.get();
131 if !abort_reason.is_undefined() {
132 self.abort_reason.set(abort_reason);
133 } else {
134 rooted!(&in(cx) let mut rooted_error = UndefinedValue());
135 Error::Abort(None).to_jsval(cx, &global, rooted_error.handle_mut());
136 self.abort_reason.set(rooted_error.get())
137 }
138
139 let mut dependent_signals_to_abort = vec![];
141
142 for weak in self.dependent_signals.borrow().iter() {
144 if let Some(dependent_signal) = weak.root() {
145 if !dependent_signal.aborted() {
147 dependent_signal.abort_reason.set(self.abort_reason.get());
149 dependent_signals_to_abort.push(dependent_signal);
151 }
152 }
153 }
154
155 self.run_the_abort_steps(cx, &global);
157
158 for dependent_signal in dependent_signals_to_abort.iter() {
160 dependent_signal.run_the_abort_steps(cx, &global);
161 }
162 }
163
164 pub(crate) fn add(&self, algorithm: &AbortAlgorithm) {
166 if self.aborted() {
168 return;
169 }
170
171 self.abort_algorithms.borrow_mut().push(algorithm.clone());
173
174 if self.dependent.get() {
176 self.global().register_dependent_abort_signal(self);
177 }
178 }
179
180 pub(crate) fn run_abort_algorithm(
182 &self,
183 cx: &mut CurrentRealm,
184 global: &GlobalScope,
185 algorithm: &AbortAlgorithm,
186 ) {
187 match algorithm {
188 AbortAlgorithm::StreamPiping(pipe) => {
189 rooted!(&in(cx) let mut reason = UndefinedValue());
190 reason.set(self.abort_reason.get());
191 pipe.abort_with_reason(cx, global, reason.handle());
192 },
193 AbortAlgorithm::Fetch(fetch_context) => {
194 rooted!(&in(cx) let mut reason = UndefinedValue());
195 reason.set(self.abort_reason.get());
196 if let Some(fetch_context) = &mut *fetch_context.lock().unwrap() {
197 fetch_context.abort_fetch(reason.handle(), cx);
198 }
199 },
200 AbortAlgorithm::FetchLater(deferred_fetch_record_id) => {
201 global
202 .deferred_fetch_record_for_id(deferred_fetch_record_id)
203 .abort();
204 },
205 AbortAlgorithm::DomEventListener(removable_listener) => {
206 removable_listener.event_target.remove_event_listener(
207 removable_listener.ty.clone(),
208 &removable_listener.listener,
209 &removable_listener.options,
210 );
211 },
212 }
213 }
214
215 fn run_the_abort_steps(&self, cx: &mut CurrentRealm, global: &GlobalScope) {
217 for algo in self.abort_algorithms.borrow().iter() {
219 self.run_abort_algorithm(cx, global, algo);
220 }
221 self.abort_algorithms.borrow_mut().clear();
223
224 self.upcast::<EventTarget>().fire_event(cx, atom!("abort"));
226 }
227
228 pub(crate) fn aborted(&self) -> bool {
230 !self.abort_reason.get().is_undefined()
232 }
233
234 pub(crate) fn create_dependent_abort_signal(
236 cx: &mut JSContext,
237 signals: Vec<DomRoot<AbortSignal>>,
238 global: &GlobalScope,
239 ) -> DomRoot<AbortSignal> {
240 let result_signal = Self::new_with_proto(cx, global, None);
242 for signal in signals.iter() {
245 if signal.aborted() {
246 result_signal.abort_reason.set(signal.abort_reason.get());
247 return result_signal;
248 }
249 }
250 result_signal.dependent.set(true);
252 for signal in signals.iter() {
254 if !signal.dependent.get() {
256 result_signal
258 .source_signals
259 .safe_borrow_mut(cx.no_gc())
260 .insert(WeakRef::new(signal));
261 signal
263 .dependent_signals
264 .safe_borrow_mut(cx.no_gc())
265 .insert(WeakRef::new(&*result_signal));
266 } else {
267 for source_signal_weak in signal.source_signals.borrow().iter() {
269 if let Some(source_signal) = source_signal_weak.root() {
270 assert!(!source_signal.aborted() && !source_signal.dependent.get());
272 result_signal
274 .source_signals
275 .safe_borrow_mut(cx.no_gc())
276 .insert(WeakRef::new(&*source_signal));
277 source_signal
279 .dependent_signals
280 .safe_borrow_mut(cx.no_gc())
281 .insert(WeakRef::new(&*result_signal));
282 }
283 }
284 }
285 }
286 global.register_dependent_abort_signal(&result_signal);
288 result_signal
289 }
290
291 fn prune_dead_weak_refs(&self) {
293 self.source_signals.borrow_mut().retain(|w| w.is_alive());
294 self.dependent_signals.borrow_mut().retain(|w| w.is_alive());
295 }
296
297 fn has_abort_algorithms(&self) -> bool {
299 !self.abort_algorithms.borrow().is_empty()
300 }
301
302 fn has_abort_listeners(&self) -> bool {
304 self.upcast::<EventTarget>()
305 .has_listeners_for(&atom!("abort"))
306 }
307
308 pub(crate) fn must_keep_alive_for_gc(&self) -> bool {
314 self.prune_dead_weak_refs();
316
317 if self.aborted() {
319 return false;
320 }
321
322 if self.source_signals.borrow().is_empty() {
324 return false;
325 }
326
327 let has_algos = self.has_abort_algorithms();
328 let has_listeners = self.has_abort_listeners();
329
330 has_algos || has_listeners
331 }
332}
333
334impl AbortSignalMethods<crate::DomTypeHolder> for AbortSignal {
335 fn Aborted(&self) -> bool {
337 self.aborted()
339 }
340
341 fn Abort(
343 cx: &mut JSContext,
344 global: &GlobalScope,
345 reason: HandleValue,
346 ) -> DomRoot<AbortSignal> {
347 let signal = AbortSignal::new_with_proto(cx, global, None);
349
350 let abort_reason = reason.get();
353 if !abort_reason.is_undefined() {
354 signal.abort_reason.set(abort_reason);
355 } else {
356 rooted!(&in(cx) let mut rooted_error = UndefinedValue());
357 Error::Abort(None).to_jsval(cx, global, rooted_error.handle_mut());
358 signal.abort_reason.set(rooted_error.get())
359 }
360
361 signal
363 }
364
365 fn Timeout(
367 cx: &mut JSContext,
368 global: &GlobalScope,
369 milliseconds: u64,
370 ) -> DomRoot<AbortSignal> {
371 let signal = AbortSignal::new_with_proto(cx, global, None);
373
374 let signal_keepalive: Trusted<AbortSignal> = Trusted::new(&signal);
378
379 let ms_i64 = if milliseconds > i64::MAX as u64 {
380 i64::MAX
381 } else {
382 milliseconds as i64
383 };
384
385 global.run_steps_after_a_timeout(
387 DOMString::from("AbortSignal-timeout"),
388 ms_i64,
389 move |_cx, global| {
390 let task_source = global.task_manager().timer_task_source().to_sendable();
391
392 task_source.queue(task!(abortsignal_timeout: move |cx| {
396 let signal_for_task = signal_keepalive.root();
397
398 rooted!(&in(cx) let mut reason = UndefinedValue());
399 Error::Timeout(None).to_jsval(
400 cx,
401 &signal_for_task.global(),
402 reason.handle_mut(),
403 );
404
405 let mut realm = enter_auto_realm(cx, &*signal_for_task.global());
406 let mut realm = realm.current_realm();
407
408 signal_for_task.signal_abort(
410 &mut realm,
411 reason.handle(),
412 );
413 }));
414 },
415 );
416
417 signal
419 }
420
421 fn Any(
423 cx: &mut JSContext,
424 global: &GlobalScope,
425 signals: Vec<DomRoot<AbortSignal>>,
426 ) -> DomRoot<AbortSignal> {
427 Self::create_dependent_abort_signal(cx, signals, global)
430 }
431
432 fn Reason(&self, mut rval: MutableHandleValue) {
434 rval.set(self.abort_reason.get());
436 }
437
438 #[expect(unsafe_code)]
440 fn ThrowIfAborted(&self, cx: &mut JSContext) -> Fallible<()> {
441 if self.aborted() {
443 unsafe {
444 JS_SetPendingException(
445 cx,
446 HandleValue::from_raw(self.abort_reason.handle()),
447 ExceptionStackBehavior::Capture,
448 )
449 };
450 return Err(Error::JSFailed);
451 }
452 Ok(())
453 }
454
455 event_handler!(abort, GetOnabort, SetOnabort);
457}