allocaはどうやってスタックからメモリを確保するのか？

How do functions like alloca allocate memory from the stack?

コンパイラが大きなスタック割り当てを行う際にガードページをスキップしないようにする仕組みについて、以前の記事で解説しました。今回は、_alloca関数が同様に__chkstk関数を呼び出してスタックをプローブし、スタックポインタを調整することを、x86-64アセンブリの例を使って説明します。ローカルフレーム作成時とalloca()の両方で同じ__chkstkが使われる点がポイントです。