コンパイラにおけるアリーナベースの割り当て

アリーナベースの割り当ては、大きなメモリ ブロックを事前割り当てし、そのブロックから多数の小さなオブジェクトをすばやく切り出すメモリ管理戦略です。

February 24, 2025

Cランタイムを理解する

Cランタイム(CRT)は、プログラムが実行されるために必要な初期化ルーチン、ライブラリのサポートコード、システムコールのラッパなどをまとめた仕組みです。本記事では、CRTのスタートアップオブジェクトに含まれる crt0.o、crt1.o、crti.o、crtn.o などのファイルがどのような役割を持ち、なぜ存在するのか、そしてC(およびC++)プログラムがスムーズに動作するためにどのように連携しているのかを解説します。

January 15, 2025

TLA+で結婚をコミットする パート2

レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。

May 1, 2024