Rogue Engineer's Diary / やさぐれ日記

■ [Modern Compiler Implementation in ML]第6章"Activation Records"突入

"mciML"は第6章"Activation Records"に進む。この章はスタックフレームに関する解説が中心となっている。

スタックフレームは通常、関数呼び出しの際の引数の受け渡しやローカル変数の保持などに使われる。単純な実装では関数呼び出しが起こるたびに引数をスタックに積んで受け渡しをするが、RISC系のアーキテクチャでは、メモリからの読み書きの回数を減らすために引数の授受を可能な限りレジスタで行うというお話などが書かれている。現在は143ページまで読了。これから再びMLでのプログラミングに入る予定。