Chapitre 1 : Anatomie d’un noyau
- Architecture x86 Privilege Rings
- Terminologie kernel OS vs kernel moteur
- Linux Loadable Kernel Modules
- seL4 Formal Verification
- Nyquist-Shannon Theorem & OpenBCI Cyton (250 Hz)
- Gaffer on Games, « Fix Your Timestep! »
- Gabriel Gambetta, « Fast-Paced Multiplayer »
Chapitre 2 : Gestion mémoire
- Budget de frame à 90 Hz (11.11 ms)
- D. E. Knuth, The Art of Computer Programming, Vol. 1, §2.5
- J. Bonwick, « The Slab Allocator », USENIX 1994
- Oracle Linux Blog, « SLUB Allocator Internals »
- FOSDEM 2026, « SLUB allocator sheaves »
- Linux Kernel Documentation, « Memory Allocation Guide »
- sam4k.com, « Linternals: The Slab Allocator »
- Linux KFENCE Documentation
- J. Chukwu, « Memory Management in Game Engines »
- Intrusive Linked List technique
- Boost
spsc_queuedocumentation - TLSF project,
gii.upv.es/tlsf/ - OpenCyphal o1heap
- H. Sutter, « Eliminate False Sharing »
- Wikipedia, « Non-uniform memory access »
- E. Jones, « Huge Pages are a Good Idea » 17-18. NVIDIA Developer Blog, CDMM
Chapitre 3 : Déterminisme et virgule fixe
- R. Sun, « Game Networking Demystified, Part II »
- IEEE 754-2019
- Effet papillon numérique (propagation ULP)
- Agner Fog, « Instruction Tables »
- J. E. Volder, « CORDIC », 1959
VPMADDWDSSE/AVX instruction
Chapitre 4 : Architecture et patterns
- Mike Acton, « Data-Oriented Design and C++ », CppCon 2014
- Intel L2 Streamer Prefetcher
Chapitre 5 : GPU, Vulkan et animation
- Motion-to-Photon latency threshold (20 ms)
- Microsoft, « Evolving WDDM »
- Wayland DMA-BUF buffer sharing
- Khronos Group, Vulkan 1.3 Specification
- NVIDIA Tensor Cores & VK_KHR_cooperative_matrix
- S. Clavet, « Motion Matching », GDC 2016
- Kavan et al., « Skinning with Dual Quaternions », 2007
- Patney et al., « Foveated Rendering », NVIDIA 2016
- Microsoft, « DirectStorage 1.1 »
Chapitre 6 : Réseau déterministe
- Glenn Fiedler, « Networking for Game Programmers »
- Glenn Fiedler, « Reading and Writing Packets »
Chapitre 7 : BCI et neurofeedback
- Origine du terme « FullDive » (Sword Art Online)
- H. Jasper, « 10-20 electrode system », 1958
- Pfurtscheller & Lopes da Silva, « ERD/ERS principles », 1999
- Texas Instruments, ADS1299 Datasheet
- BrainFlow documentation
- Schumacher et al., « Muscle relaxation in neurofeedback »
- Sollfrank et al., « Multimodal and enriched feedback for SMR-BCI »
- A. Barachant et al., « BCI Classification by Riemannian Geometry », IEEE TBE 2012
- Fitzpatrick & Day, « GVS », 2004
Chapitre 8 : Noyaux quantiques
- IBM/Google/Microsoft quantum OS efforts
- Wootters & Zurek, « No-Cloning Theorem », Nature 1982
- Bennett et al., « Quantum Teleportation », PRL 1993
- Litinski, « Magic State Distillation », Quantum 2019
Chapitre 9 : Gestion énergétique
- Cadence, « CMOS Power Consumption ». TI SCAA035
- Northwestern ECE, « Leakage current: Moore’s law meets static power »
- arXiv:2601.08539, « Kernel-Level DVFS »
- AnySilicon, « Clock Gating Guide »
- AnySilicon, « Power Gating Guide »
- MSOE, « Dynamic Voltage and Frequency Scaling »
- ACPI Specification 6.5 (UEFI Forum)
- Wikipedia, « HLT ». Felix Cloutier, « MWAIT ». Linux
intel_idle.c - ARM Developer, « WFI and WFE ». Reddit r/embedded
- Red Hat, « Tickless Kernel ». FreeRTOS Tickless Mode
- Linux
drivers/cpuidle/governors/menu.c. LWN.net 12-14. ESA Rosetta mission documentation. NASA NTRS. AIAA SpaceOps 2014
Chapitre 10 : Vision architecturale
- LplKernel Architectural Notes, SASOS, Zero-Syscall, EDF
- Linux Kernel Documentation,
io_uring - Intel Architecture Software Developer’s Manual, Memory Protection Keys (MPK/PKRU)
- C. L. Liu & J. W. Layland, « Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment » (1973)
- DPDK (Data Plane Development Kit) Documentation