0

後述のコードを実行すると、以下のような結果になりました。

私は基本的なメモリレイアウトとしてはmain関数やfunc関数を下記のように宣言してアドレスを出力した場合、stack領域に配置されるため、変数xと近いアドレスが出力結果として得られると予想しましたが、結果としてはグローバル変数として宣言し、bssセグメントに配置されるであろう変数jと限りなく近いアドレスにそれらは配置されることになることがわかりました。
メモリレイアウトは環境によって異なることは承知しているのですが、自作関数がstack領域でないメモリに配置されることは可能性としてあるのでしょうか。

実行結果:

0x1001a3edc
0x1001a3ee0
0x1001a8000
0x16fc5f4dc
0x6000000b0030

対象のコード:

#include <stdio.h>
#include <stdlib.h>

void func() {
    ;
}

int j;

int main() {
    int x = 1;
    printf("%p\n", func);
    printf("%p\n", main);
    printf("%p\n", &j);
    printf("%p\n", &x);
    void *ptr = malloc(1);
    printf("%p\n", ptr);
}
2
  • 実アドレスの配置の話なら、プロセッサや実行可能ファイルを作成するまでの処理系を記述しないと始まらない気がしますよ。
    – dameo
    Commented 2023年2月24日 10:23
  • 「自作関数がstack領域でないメモリに配置されることは」…スタック領域に関数が配置されるという記述はどこの資料にあったのでしょうか? 出典あったほうがよいかも
    – oriri
    Commented 2023年2月24日 11:24

4 件の回答 4

3

現代的な実行環境では通常はメモリはその用途ごとに属性をつけて管理され、実行可能なコード (C 的に言えば関数) は独立したセクションに配置されます。 逆に言えば他のセクションは実行できないように管理されています。

関数がスタックに配置されるということは普通はないです。 メモリの分離があまりされていない素朴な実行環境では結果的にかぶることもあるかもしれませんが、関数を意図的にスタックに配置することは古い環境でもまずないです。 そういう資料を読んだのだとしたらそれは誤った記述 (もしくは質問者の誤解) です。

例えば私の環境での実行結果はこうです。

00007ff6b1fe1450
00007ff6b1fe1457
00007ff6b1fed030
0000001a5f1ffab4
0000020ecb2b1400

メモリ配置はこうです。

メモリ配置

実行可能コードが配置される text セクションと未初期化のデータが配置される bss セクションはそれほどはなれていないませんので結果的に質問者の事例と似た感じですね。

スタックやヒープは後から伸ばしたりすることもあるので離れた位置に配置されています。

2

関数をスタック領域に配置する実行環境があると想定するする根拠を教えてください。
Windows, Unix, Linux のどれもそうなっていないと思います。

コード領域とデーター領域とがソースコードをコンパイルなりアッセンブルした時に翻訳系が
割り付けることはお分かりですか?
リンカーで実行ファイルにしたときにもデーター領域とコード領域とにまとめます。
そうしないと再配置(リロケーション)の計算が面倒になるからでしょう。

コード領域の大きさがスタック領域の大きさより小さいという保証があるのなら、無理をして
スタック領域の中にコード領域を押し込めることは可能かもしれませんが、その分スタックの使用可能量が
減ることになりませんか?

1
  • 「Windows, Unix, Linux のどれもそうなっていない」とありますが、組み込み制御系などOSがないマイコン基盤などでは特殊なプロセッサ・処理系、状況がないとも限りません。想定している環境の限定もなしに憶測で回答はあまり適切ではない気がしますよ。
    – dameo
    Commented 2023年2月24日 13:08
2

main関数やfunc関数を下記のように宣言してアドレスを出力した場合、stack領域に配置されるため、変数xと近いアドレスが出力結果として得られると予想

自作関数がstack領域でないメモリに配置されることは可能性としてあるのでしょうか。

今どきはマルチスレッドが広く使われていて、OSもそれを前提に設計されています。そしてstackはスレッド毎に用意する必要があります。
ということを知っていると…

stackの近くに存在するのはせいぜい隣のスレッドのstackでしょう。

それとは別に、ASLR; アドレス空間配置のランダム化というものもあり、OSによっては自作関数がランダムに配置される場合もあり得ます。

自作関数の配置場所やstackの配置場所はどちらも意識すべきではありません。

0

本題とは無関係ですが、gcc の拡張機能(Nested Functions (Using the GNU Compiler Collection (GCC)))を使うと、(ローカル変数なので)スタックに置かれることになります。

#include <stdio.h>
#include <stdlib.h>

int j;

int main() {
  auto void func(); // declaration, optional
  void func() {     // definition
    ;
  }
  int x = 1;
  printf("%p\n", func);
  printf("%p\n", main);
  printf("%p\n", &j);
  printf("%p\n", &x);
  void *ptr = malloc(1);
  printf("%p\n", ptr);
}
$ gcc --version
gcc (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0

$ gcc -Wall -Wextra -g test.c -o test && ./test
0x7ffe37cadaf0
0x558170386198
0x558170389014
0x7ffe37cadae4
0x5581722396b0

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。