alloca関数は一体どうやってスタック領域からメモリを確保しているのか？

C言語のalloca関数のように、動的にスタック領域からメモリを確保する仕組みはどうなっているのでしょうか。通常のmallocとは異なり、スタックポインタを直接操作して領域を広げるような低レイヤーの挙動について詳しく知りたいです。