プログラムはここでどのようにスタックを使用していますか？

Question

以下に示すコードの場合、住所を印刷すると次のようになります。

&test_var1 = 0x7fff0067d87c 
&barrier (passed argument) = 0x7fff0067d770 
&i (passed argument) = 0x7fff0067d77c 
&test_var2 = 0x7fff0067d78c 

私がここで理解していない2つのことがあります。まず、Cが右から左に引数をプッシュし、次に& iが&のバリアよりも大きいことを読んでいます。スタックが上位アドレスから下位アドレスに増加することを知り、& iは、より低いアドレスにあるはずです。さらに、ローカル変数test_var2はさらに大きなアドレスにあります。

第二に、人は一緒に近いことが&バリアと& test_var1の値を期待するだろうが、いいえ、あなたは、268バイトの大きな違いを参照してください。その間にあるスタックは何ですか？

私は最適化O3を使用していることに注意してください。これが原因ですか？多分コンパイラがここでいくつかのトリックを果たしたでしょうか？私はvolatileを使用して、すべての変数がここにスタックにあり、いくつかのレジスタにキャッシュされていないことを確認します。

void some_func() 
{ 
......... 
{ 
    volatile int test_var1 = 0; 
} 
call_func(i, &barrier); 
........ 
} 

void call_func(volatile int i, volatile pthread_barrier* barrier) 
{ 
volatile int test_var2 = 0; 
........ 
} 

Answer 1

x86では、f（）がg（）を呼び出すときに使用されるスタックは、下に向かって大きくなります。

どのようにしても、コンパイラが特定の呼び出しに対してvar/sを整理する方法は実装依存です。

Answer 2

あなたが本当に保証されているいずれも、ここでの仮定の束を作っている：

• コンパイラは関数を呼び出すときのレジスタのいくつかの数をプッシュする必要があります。引数とローカル変数の間にあることができないというルールはありません。
• 引数が特定の順序でスタックに入れられなければならないというルールやスタック上にあるイベントはまったくありません。引数もレジスタに渡すことができます。
• メモリがプログラムスタックにどのように編成されるかは、プロセッサによって異なります。 x86アーキテクチャでは、が下向きになります。、上向きではありません。