13

以下の例では、スタックサイズを1kbに設定しようとしています。

8kbサイズがinのintの配列をスタックに割り当てることができるようになったのはなぜfoo()ですか？

#include <stdio.h>
#include <sys/resource.h>

void foo(void);

int main() {
 struct rlimit lim = {1024, 1024};

 if (setrlimit(RLIMIT_STACK, &lim) == -1)
  return 1;

 foo();

 return 0;
}

void foo() {
 unsigned ints[2048];

 printf("foo: %u\n", ints[2047]=42);
}
4

2 に答える 2

9

制限はすぐに設定されますが、新しいスタックを割り当てようとするとき、または既存のスタックを拡張しようとするときにのみチェックされます。カーネル ソースの RLIMIT_STACK (または LXR 識別子検索) の grep でわかるはずです。

どうやら、スタックの初期サイズは、ファイル名 + env 文字列 + arg 文字列に加えて、割り当てられたいくつかの余分なページに必要なものですsetup_arg_pages(2.6.33 1では20 ページ、 2.6.34では 128 Kb 3 )。

要約すれば：

initial stack size = MIN(size for filename + arg strings + env strings + extra pages, MAX(size for filename + arg strings + env strings, RLIMIT_STACK))

どこ

size for filename + arg strings + env strings <= MAX(ARG_MAX(32 pages), RLIMIT_STACK/4)

さらに、Ingo Molnar のexec-shieldパッチを適用したカーネル (Fedora、Ubuntu、...) には、追加の EXEC_STACK_BIAS "(ランダム化の影響をカバーするために 2MB 以上。)"があります。( [Ubuntu1]over_stack_limit()、[Ubuntu2]、[ Ubuntu3] )。acct_stack_growth()

これを示すために元のプログラムを編集しました。

#include <stdio.h>
#include <sys/resource.h>

void foo(void);

int main(int argc, char *argv[]) {
        struct rlimit lim = {1, 1};


        if (argc > 1 && argv[1][0] == '-' && argv[1][8]=='l') {
                printf("limiting stack size\n");
                if (setrlimit(RLIMIT_STACK, &lim) == -1) {
                        printf("rlimit failed\n");
                        return 1;
                }
        }

        foo();

        return 0;
}

void foo() {
        unsigned ints[32768];

        printf("foo: %u\n", ints[2047]=42);
}

結果は次のとおりです。

$./rl
foo: 42
$./rl -l
limiting stack size
Segmentation fault
$
于 2010-11-07T16:18:39.317 に答える
4

「リソースポインター」を移動すると思いますが、プログラムの新しいコピーが作成setrlimitされるまで、新しい制限は適用されません。exec

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/resource.h>

void foo(int chk) {
  unsigned ints[2048];
  ints[2047] = 42;
  printf("foo %d: %u\n", chk, ints[2047]);
}

int main(int argc, char **argv) {
  char *newarg[] = { "argv[0]", "one", "two" };
  char *newenv[] = { NULL };
  struct rlimit lim;

  newarg[0] = argv[0];
  getrlimit(RLIMIT_STACK, &lim);
  printf("lim: %d / %d\n", (int)lim.rlim_cur, (int)lim.rlim_max);
  switch (argc) {
    case 1: /* first call from command line */
      lim.rlim_cur = 65536;
      lim.rlim_max = 65536;
      if (setrlimit(RLIMIT_STACK, &lim) == -1) return EXIT_FAILURE;
      newarg[2] = NULL;
      foo(1);
      execve(argv[0], newarg, newenv);
      break;
    case 2: /* second call */
      lim.rlim_cur = 1024;
      lim.rlim_max = 1024;
      if (setrlimit(RLIMIT_STACK, &lim) == -1) return EXIT_FAILURE;
      foo(2);
      execve(argv[0], newarg, newenv);
      break;
    default: /* third call */
      foo(3);
      break;
  }
  return 0;
}

そしてテスト実行：

$ ./a.out
リム: 8388608 / -1
ふー1:42
リム: 65536 / 65536
ふー2:42
殺された

制限を出力する前 (および foo を呼び出す前) にプロセスが強制終了される理由はわかりません。

于 2010-11-07T15:11:14.530 に答える