1use std::cell::UnsafeCell;
31use std::sync::atomic::{AtomicBool, AtomicUsize, Ordering};
32use std::sync::Arc;
33
34#[derive(Clone, Copy)]
38struct TaskPtr(*const (dyn Fn(usize, usize) + Sync));
39unsafe impl Send for TaskPtr {}
40
41struct Inner {
42 epoch: AtomicUsize,
44 remaining: AtomicUsize,
46 slot: UnsafeCell<Option<(TaskPtr, usize)>>,
50 shutdown: AtomicBool,
51 spin_budget: usize,
53 parked: Box<[AtomicBool]>,
56}
57
58unsafe impl Sync for Inner {}
62
63static DISPATCHES: AtomicUsize = AtomicUsize::new(0);
66
67pub fn dispatch_count() -> usize {
69 DISPATCHES.load(Ordering::Relaxed)
70}
71
72pub struct Pool {
75 inner: Arc<Inner>,
76 threads: Vec<std::thread::Thread>,
78 joins: Vec<std::thread::JoinHandle<()>>,
79}
80
81fn spin_budget_from_env() -> usize {
82 std::env::var("CMF_POOL_SPIN")
83 .ok()
84 .and_then(|v| v.parse::<usize>().ok())
85 .unwrap_or(4000)
86}
87
88impl Pool {
89 pub fn new(n_workers: usize) -> Self {
90 Self::with_spin(n_workers, spin_budget_from_env())
91 }
92
93 pub fn with_spin(n_workers: usize, spin_budget: usize) -> Self {
95 let inner = Arc::new(Inner {
96 epoch: AtomicUsize::new(0),
97 remaining: AtomicUsize::new(0),
98 slot: UnsafeCell::new(None),
99 shutdown: AtomicBool::new(false),
100 spin_budget,
101 parked: (0..n_workers).map(|_| AtomicBool::new(false)).collect(),
102 });
103 let mut joins = Vec::with_capacity(n_workers);
104 for w in 0..n_workers {
105 let inner = inner.clone();
106 let h = std::thread::Builder::new()
107 .name(format!("cmf-pool-{w}"))
108 .spawn(move || worker_loop(&inner, w))
109 .expect("spawn pool worker");
110 joins.push(h);
111 }
112 let threads = joins.iter().map(|h| h.thread().clone()).collect();
113 Self { inner, threads, joins }
114 }
115
116 #[cfg(all(target_arch = "aarch64", any(target_os = "linux", target_os = "android")))]
122 fn big_cores() -> Option<usize> {
123 let mut caps: Vec<u64> = Vec::new();
124 for cpu in 0.. {
125 let path = format!("/sys/devices/system/cpu/cpu{cpu}/cpu_capacity");
126 match std::fs::read_to_string(&path) {
127 Ok(v) => caps.push(v.trim().parse().ok()?),
128 Err(_) => break,
129 }
130 }
131 Self::cores_from_capacities(&caps)
132 }
133
134 #[cfg_attr(not(all(target_arch = "aarch64", any(target_os = "linux", target_os = "android"))), allow(dead_code))]
144 fn cores_from_capacities(caps: &[u64]) -> Option<usize> {
145 let max = *caps.iter().max()?;
146 let min = *caps.iter().min()?;
147 if caps.len() < 2 || max == min {
148 return None;
149 }
150 Some(caps.iter().filter(|&&c| c * 8 >= max * 5).count())
151 }
152
153 #[cfg(not(all(target_arch = "aarch64", any(target_os = "linux", target_os = "android"))))]
154 fn big_cores() -> Option<usize> {
155 None
156 }
157
158 pub fn from_env() -> Option<Arc<Self>> {
161 let n = match std::env::var("CMF_THREADS") {
162 Ok(v) => v.parse::<usize>().unwrap_or(0),
163 Err(_) => match Self::big_cores() {
164 Some(big) => big,
165 None => {
166 let avail = std::thread::available_parallelism()
167 .map(|n| n.get())
168 .unwrap_or(1);
169 avail.saturating_sub(1).min(8)
170 }
171 },
172 };
173 if n <= 1 {
174 None
175 } else {
176 Some(Arc::new(Self::new(n)))
177 }
178 }
179
180 pub fn n_workers(&self) -> usize {
182 self.threads.len()
183 }
184
185 pub fn run_rows(&self, rows: usize, f: &(dyn Fn(usize, usize) + Sync)) {
196 let grain = (rows / ((self.threads.len() + 1) * 8)).max(32);
199 let next = AtomicUsize::new(0);
200 self.run(&|_w, _n| loop {
201 let start = next.fetch_add(grain, Ordering::Relaxed);
202 if start >= rows {
203 break;
204 }
205 f(start, (start + grain).min(rows));
206 });
207 }
208
209 pub fn run_many(&self, parts: &[(usize, &(dyn Fn(usize, usize) + Sync))]) {
217 let total: usize = parts.iter().map(|p| p.0).sum();
218 if total == 0 {
219 return;
220 }
221 let grain = (total / ((self.threads.len() + 1) * 8)).max(32);
222 let next = AtomicUsize::new(0);
223 self.run(&|_w, _n| loop {
224 let s = next.fetch_add(grain, Ordering::Relaxed);
225 if s >= total {
226 break;
227 }
228 let e = (s + grain).min(total);
229 let mut base = 0usize;
230 for &(rows, f) in parts {
231 let a = s.max(base);
232 let b = e.min(base + rows);
233 if a < b {
234 f(a - base, b - base);
235 }
236 base += rows;
237 if base >= e {
238 break;
239 }
240 }
241 });
242 }
243
244 pub fn run(&self, f: &(dyn Fn(usize, usize) + Sync)) {
248 DISPATCHES.fetch_add(1, Ordering::Relaxed);
249 let nw = self.threads.len();
250 let n = nw + 1; let ptr: *const (dyn Fn(usize, usize) + Sync) = f;
254 let ptr: *const (dyn Fn(usize, usize) + Sync + 'static) =
255 unsafe { std::mem::transmute(ptr) };
256 unsafe { *self.inner.slot.get() = Some((TaskPtr(ptr), n)) };
259 self.inner.remaining.store(nw, Ordering::Relaxed);
260 self.inner.epoch.fetch_add(1, Ordering::SeqCst);
261 for (i, t) in self.threads.iter().enumerate() {
262 if self.inner.parked[i].load(Ordering::SeqCst) {
263 t.unpark();
264 }
265 }
266
267 f(nw, n);
270
271 let mut spins = 0usize;
273 while self.inner.remaining.load(Ordering::Acquire) != 0 {
274 spins += 1;
275 if spins < 10_000 {
276 std::hint::spin_loop();
277 } else {
278 std::thread::yield_now();
279 }
280 }
281 }
282}
283
284impl Drop for Pool {
285 fn drop(&mut self) {
286 self.inner.shutdown.store(true, Ordering::SeqCst);
287 for t in &self.threads {
288 t.unpark();
289 }
290 for h in self.joins.drain(..) {
291 let _ = h.join();
292 }
293 }
294}
295
296#[cfg(target_os = "android")]
297fn pin_thread_to_big_cores() {
298 use std::mem;
299 let mut caps: Vec<u64> = Vec::new();
300 for cpu in 0.. {
301 let path = format!("/sys/devices/system/cpu/cpu{cpu}/cpu_capacity");
302 match std::fs::read_to_string(&path) {
303 Ok(v) => if let Ok(cap) = v.trim().parse() {
304 caps.push(cap);
305 } else {
306 break;
307 },
308 Err(_) => break,
309 }
310 }
311 let max = caps.iter().copied().max().unwrap_or(0);
312 let min = caps.iter().copied().min().unwrap_or(0);
313
314 if caps.len() < 2 || max == min {
316 return;
317 }
318
319 unsafe {
320 let mut set: libc::cpu_set_t = mem::zeroed();
321 for (i, &c) in caps.iter().enumerate() {
322 if c * 8 >= max * 5 {
323 libc::CPU_SET(i, &mut set);
324 }
325 }
326 libc::sched_setaffinity(0, mem::size_of::<libc::cpu_set_t>(), &set);
327 }
328}
329
330fn worker_loop(inner: &Inner, idx: usize) {
331 #[cfg(target_os = "android")]
332 pin_thread_to_big_cores();
333
334 let mut seen = 0usize;
339 loop {
340 let mut spins = 0usize;
343 loop {
344 let e = inner.epoch.load(Ordering::Acquire);
345 if e != seen {
346 seen = e;
347 break;
348 }
349 if inner.shutdown.load(Ordering::Relaxed) {
350 return;
351 }
352 if spins < inner.spin_budget {
353 spins += 1;
354 std::hint::spin_loop();
355 } else {
356 inner.parked[idx].store(true, Ordering::SeqCst);
357 if inner.epoch.load(Ordering::SeqCst) == seen
362 && !inner.shutdown.load(Ordering::Relaxed)
363 {
364 std::thread::park();
365 }
366 inner.parked[idx].store(false, Ordering::SeqCst);
367 }
368 }
369 let (task, n) = unsafe { (*inner.slot.get()).expect("job published with epoch") };
373 let f = unsafe { &*task.0 };
374 f(idx, n);
375 inner.remaining.fetch_sub(1, Ordering::AcqRel);
376 }
377}
378
379pub fn matvec_rows(pool: Option<&Pool>, w: &[f32], x: &[f32], out: &mut [f32]) {
382 let in_dim = x.len();
383 let out_dim = out.len();
384 debug_assert!(w.len() >= out_dim * in_dim);
385
386 let row_dot = |o: usize| -> f32 {
387 let row = &w[o * in_dim..(o + 1) * in_dim];
388 let mut sum = 0.0f32;
389 for j in 0..in_dim {
390 sum += row[j] * x[j];
391 }
392 sum
393 };
394
395 match pool {
396 Some(pool) if out_dim >= 256 => {
397 let out_addr = SendMut(out.as_mut_ptr());
398 let run_range = move |start: usize, end: usize| {
399 for o in start..end {
400 unsafe { *out_addr.at(o) = row_dot(o) };
401 }
402 };
403 pool.run_rows(out_dim, &run_range);
404 }
405 _ => {
406 for (o, dst) in out.iter_mut().enumerate() {
407 *dst = row_dot(o);
408 }
409 }
410 }
411}
412
413pub fn matvec_rows2(
419 pool: Option<&Pool>,
420 w: &[f32],
421 x1: &[f32],
422 x2: &[f32],
423 out1: &mut [f32],
424 out2: &mut [f32],
425) {
426 let in_dim = x1.len();
427 debug_assert_eq!(x2.len(), in_dim);
428 let out_dim = out1.len();
429 debug_assert_eq!(out2.len(), out_dim);
430 debug_assert!(w.len() >= out_dim * in_dim);
431
432 let row_dots = |o: usize| -> (f32, f32) {
433 let row = &w[o * in_dim..(o + 1) * in_dim];
434 let (mut s1, mut s2) = (0.0f32, 0.0f32);
435 for j in 0..in_dim {
436 s1 += row[j] * x1[j];
437 s2 += row[j] * x2[j];
438 }
439 (s1, s2)
440 };
441
442 match pool {
443 Some(pool) if out_dim >= 256 => {
444 let o1 = SendMut(out1.as_mut_ptr());
445 let o2 = SendMut(out2.as_mut_ptr());
446 let run_range = move |start: usize, end: usize| {
447 for o in start..end {
448 let (s1, s2) = row_dots(o);
449 unsafe {
450 *o1.at(o) = s1;
451 *o2.at(o) = s2;
452 }
453 }
454 };
455 pool.run_rows(out_dim, &run_range);
456 }
457 _ => {
458 for o in 0..out_dim {
459 let (s1, s2) = row_dots(o);
460 out1[o] = s1;
461 out2[o] = s2;
462 }
463 }
464 }
465}
466
467#[derive(Clone, Copy)]
468struct SendMut(*mut f32);
469unsafe impl Send for SendMut {}
470unsafe impl Sync for SendMut {}
471
472impl SendMut {
473 #[inline]
476 fn at(self, i: usize) -> *mut f32 {
477 unsafe { self.0.add(i) }
478 }
479}
480
481#[cfg(test)]
482mod tests {
483 #[test]
484 fn capacity_split_clock_bins_vs_microarch() {
485 type P = super::Pool;
486 assert_eq!(P::cores_from_capacities(&[1024, 1024, 1024, 1024, 768, 768, 768, 768]), Some(8));
488 assert_eq!(P::cores_from_capacities(&[1024, 1024, 1024, 1024, 350, 350, 350, 350]), Some(4));
490 assert_eq!(
492 P::cores_from_capacities(&[1024, 800, 800, 800, 800, 300, 300, 300]),
493 Some(5)
494 );
495 assert_eq!(P::cores_from_capacities(&[1024; 8]), None);
497 assert_eq!(P::cores_from_capacities(&[]), None);
498 }
499
500 use super::*;
501
502 #[test]
503 fn parallel_matvec_equals_serial_bitexact() {
504 let (out_dim, in_dim) = (512, 64);
505 let w: Vec<f32> = (0..out_dim * in_dim).map(|i| (i as f32 * 0.013).sin()).collect();
506 let x: Vec<f32> = (0..in_dim).map(|i| (i as f32 * 0.07).cos()).collect();
507
508 let mut serial = vec![0.0f32; out_dim];
509 matvec_rows(None, &w, &x, &mut serial);
510
511 let pool = Pool::new(4);
512 let mut parallel = vec![0.0f32; out_dim];
513 matvec_rows(Some(&pool), &w, &x, &mut parallel);
514
515 assert_eq!(serial, parallel, "row-parallel must be bit-identical");
516 }
517
518 #[test]
519 fn fused_pair_equals_two_singles_bitexact() {
520 let (out_dim, in_dim) = (300, 48);
521 let w: Vec<f32> = (0..out_dim * in_dim).map(|i| (i as f32 * 0.011).sin()).collect();
522 let x1: Vec<f32> = (0..in_dim).map(|i| (i as f32 * 0.03).cos()).collect();
523 let x2: Vec<f32> = (0..in_dim).map(|i| (i as f32 * 0.09).sin()).collect();
524
525 let mut a1 = vec![0.0f32; out_dim];
526 let mut a2 = vec![0.0f32; out_dim];
527 matvec_rows(None, &w, &x1, &mut a1);
528 matvec_rows(None, &w, &x2, &mut a2);
529
530 for pool in [None, Some(Pool::new(3))] {
531 let mut b1 = vec![0.0f32; out_dim];
532 let mut b2 = vec![0.0f32; out_dim];
533 matvec_rows2(pool.as_ref(), &w, &x1, &x2, &mut b1, &mut b2);
534 assert_eq!(a1, b1, "fused lane 1 must be bit-identical");
535 assert_eq!(a2, b2, "fused lane 2 must be bit-identical");
536 }
537 }
538
539 #[test]
540 fn pool_survives_many_runs() {
541 let pool = Pool::new(3);
542 let counter = AtomicUsize::new(0);
543 for _ in 0..100 {
544 pool.run(&|_, _| {
545 counter.fetch_add(1, Ordering::Relaxed);
546 });
547 }
548 assert_eq!(counter.load(Ordering::Relaxed), 400);
550 }
551
552 #[test]
553 fn pool_wakes_after_park() {
554 let pool = Pool::with_spin(2, 0);
557 let counter = AtomicUsize::new(0);
558 for _ in 0..50 {
559 pool.run(&|_, _| {
560 counter.fetch_add(1, Ordering::Relaxed);
561 });
562 std::thread::sleep(std::time::Duration::from_micros(200));
564 }
565 assert_eq!(counter.load(Ordering::Relaxed), 150);
566 }
567
568 #[test]
569 fn worker_indices_are_distinct_and_cover_range() {
570 let pool = Pool::new(3);
571 let hits: Vec<AtomicUsize> = (0..4).map(|_| AtomicUsize::new(0)).collect();
572 for _ in 0..20 {
573 pool.run(&|widx, n| {
574 assert_eq!(n, 4);
575 hits[widx].fetch_add(1, Ordering::Relaxed);
576 });
577 }
578 for (i, h) in hits.iter().enumerate() {
579 assert_eq!(h.load(Ordering::Relaxed), 20, "participant {i} missed runs");
580 }
581 }
582}