flyology-cachelines
Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
similar
-
flyology-allocators github.com
Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.
-
flyology-debug github.com
Bounded in-memory tracing, producer shards, retained batches, and persistent gauges.
-
flyology-numa github.com
Memory-node topology reporting, memory placement on a chosen node, and node-bound storage pools.
-
flyology-bench github.com
Adaptive microbenchmarking with balanced comparisons, diagnostics, baselines, and machine-readable reports.
-
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-http github.com
HTTP/1.1 clients and servers with opt-in HTTP/2 and HTTP/3 engines and WebSocket support, built on flyology task-aware I/O.
Ada/SPARK › Libraries > Algorithms, Containers and Protocols: “Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.”