flyology-allocators
Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
similar
-
flyology github.com
Experimental GNAT runtime extension for ordinary Ada tasking, adding task-aware I/O and an opt-in lightweight lane that runs designated tasks as fibers on shared event loops.
-
flyology-cachelines github.com
Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.
-
flyology-debug github.com
Bounded in-memory tracing, producer shards, retained batches, and persistent gauges.
-
-
-
flyology-bench github.com
Adaptive microbenchmarking with balanced comparisons, diagnostics, baselines, and machine-readable reports.
Ada/SPARK › Libraries > Algorithms, Containers and Protocols: “Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.”