Linux Kernel Memory Management

Initialization

This occurs in the file mm/mm_init.c.

One thing that I notice is that many of the functions are marked with macros designating them as initialization functions. In include/linux/init.h, you will find the most notable: __init and __meminit.

__init macro …

eBPF Verifier

eBPF Verifier checks two things:

1. DAG to disallow loops and other CFG validation - detect unreachable instructions
2. Starts with first instructions, decends all possible paths

   • simulates execution of every instruction and observes state change of registers and stack

   • At program start, …

I’m writing this article to share my opinion on the Rust vs C/C++ debate. This is my opinion, and it’s not backed by research. Admittedly, I’m biased toward C/C++; as a systems enthusiast, I appreciate the aspect of memory management and prefer being responsible for it. …