Почему я не получаю переполнение стека?

РЕДАКТИРОВАТЬ Прежде чем вы взволноваетесь, посмотрите важные изменения в конце, и если вам все еще интересно, они сообщаются как:

Я пробовал кусок кода и удивлен, увидев, что у меня не получается stackoverflow. Попытка упростить вещи, которые я даже получил до сих пор:

#include <stdio.h> int main() { int i; /* 1,500,000,000 x 4 bytes = 6,000,000,000 bytes = 6GB */ int size = 1500000000; int arr[size]; for (i = 0; i < size; i++) { arr[i] = 1; } printf("first: %d\n", arr[0]); printf("last: %d\n", arr[size - 1]); return 0; }

что заставило меня сомневаться в том, что я даже не знаю основ управления памятью. Я думал, что arr[size] должен выделять на стек и переполнение легко, но вместо этого он использует всю мою память и меняет и заканчивает успешно. Что мне не хватает?

Примечания

core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size (blocks, -f) unlimited pending signals (-i) 29569 max locked memory (kbytes, -l) 64 max memory size (kbytes, -m) unlimited open files (-n) 1024 pipe size (512 bytes, -p) 8 POSIX message queues (bytes, -q) 819200 real-time priority (-r) 0 stack size (kbytes, -s) 8192 cpu time (seconds, -t) unlimited max user processes (-u) 29569 virtual memory (kbytes, -v) unlimited file locks (-x) unlimited

(gdb) disassemble main Dump of assembler code for function main: 0x00000000004004f4 <+0>: push %rbp 0x00000000004004f5 <+1>: mov %rsp,%rbp 0x00000000004004f8 <+4>: push %rbx 0x00000000004004f9 <+5>: sub $0x38,%rsp 0x00000000004004fd <+9>: mov %rsp,%rax 0x0000000000400500 <+12>: mov %rax,%rbx 0x0000000000400503 <+15>: movl $0x59682f00,-0x14(%rbp) 0x000000000040050a <+22>: mov -0x14(%rbp),%eax 0x000000000040050d <+25>: movslq %eax,%rdx 0x0000000000400510 <+28>: sub $0x1,%rdx 0x0000000000400514 <+32>: mov %rdx,-0x28(%rbp) 0x0000000000400518 <+36>: cltq 0x000000000040051a <+38>: shl $0x2,%rax 0x000000000040051e <+42>: lea 0xf(%rax),%rdx 0x0000000000400522 <+46>: mov $0x10,%eax 0x0000000000400527 <+51>: sub $0x1,%rax 0x000000000040052b <+55>: add %rdx,%rax 0x000000000040052e <+58>: movq $0x10,-0x38(%rbp) 0x0000000000400536 <+66>: mov $0x0,%edx 0x000000000040053b <+71>: divq -0x38(%rbp) 0x000000000040053f <+75>: imul $0x10,%rax,%rax 0x0000000000400543 <+79>: sub %rax,%rsp 0x0000000000400546 <+82>: mov %rsp,%rax 0x0000000000400549 <+85>: add $0xf,%rax 0x000000000040054d <+89>: shr $0x4,%rax 0x0000000000400551 <+93>: shl $0x4,%rax 0x0000000000400555 <+97>: mov %rax,-0x20(%rbp) 0x0000000000400559 <+101>: movl $0x0,-0x18(%rbp) 0x0000000000400560 <+108>: jmp 0x400577 <main+131> 0x0000000000400562 <+110>: mov -0x20(%rbp),%rax 0x0000000000400566 <+114>: mov -0x18(%rbp),%edx 0x0000000000400569 <+117>: movslq %edx,%rdx 0x000000000040056c <+120>: movl $0x1,(%rax,%rdx,4) 0x0000000000400573 <+127>: addl $0x1,-0x18(%rbp) 0x0000000000400577 <+131>: mov -0x18(%rbp),%eax 0x000000000040057a <+134>: cmp -0x14(%rbp),%eax 0x000000000040057d <+137>: jl 0x400562 <main+110> 0x000000000040057f <+139>: mov -0x20(%rbp),%rax 0x0000000000400583 <+143>: mov (%rax),%edx 0x0000000000400585 <+145>: mov $0x4006bc,%eax 0x000000000040058a <+150>: mov %edx,%esi 0x000000000040058c <+152>: mov %rax,%rdi 0x000000000040058f <+155>: mov $0x0,%eax ---Type <return> to continue, or q <return> to quit--- 0x0000000000400594 <+160>: callq 0x4003f0 <[email protected]> 0x0000000000400599 <+165>: mov -0x14(%rbp),%eax 0x000000000040059c <+168>: lea -0x1(%rax),%edx 0x000000000040059f <+171>: mov -0x20(%rbp),%rax 0x00000000004005a3 <+175>: movslq %edx,%rdx 0x00000000004005a6 <+178>: mov (%rax,%rdx,4),%edx 0x00000000004005a9 <+181>: mov $0x4006c7,%eax 0x00000000004005ae <+186>: mov %edx,%esi 0x00000000004005b0 <+188>: mov %rax,%rdi 0x00000000004005b3 <+191>: mov $0x0,%eax 0x00000000004005b8 <+196>: callq 0x4003f0 <[email protected]> 0x00000000004005bd <+201>: mov $0x0,%eax 0x00000000004005c2 <+206>: mov %rbx,%rsp 0x00000000004005c5 <+209>: mov -0x8(%rbp),%rbx 0x00000000004005c9 <+213>: leaveq 0x00000000004005ca <+214>: retq End of assembler dump.

$ pmap 2840 2840: ./a.out 0000000000400000 4K r-x-- /home/gokce/play/a.out 0000000000600000 4K r---- /home/gokce/play/a.out 0000000000601000 4K rw--- /home/gokce/play/a.out 00002b572d7be000 136K r-x-- /lib/x86_64-linux-gnu/ld-2.15.so 00002b572d7e0000 8K rw--- [ anon ] 00002b572d9e0000 4K r---- /lib/x86_64-linux-gnu/ld-2.15.so 00002b572d9e1000 8K rw--- /lib/x86_64-linux-gnu/ld-2.15.so 00002b572d9e3000 1748K r-x-- /lib/x86_64-linux-gnu/libc-2.15.so 00002b572db98000 2044K ----- /lib/x86_64-linux-gnu/libc-2.15.so 00002b572dd97000 16K r---- /lib/x86_64-linux-gnu/libc-2.15.so 00002b572dd9b000 8K rw--- /lib/x86_64-linux-gnu/libc-2.15.so 00002b572dd9d000 28K rw--- [ anon ] 00007ffe080a2000 5859388K rw--- [ stack ] 00007fff6dbfc000 4K r-x-- [ anon ] ffffffffff600000 4K r-x-- [ anon ] total 5863408K

чтобы запустить программу, используя мои общие снимки редактора, и теперь я понял, что это так важно. Я получил segfault, когда я бегу с консоли, используя:

Когда я пытаюсь запустить ulimit -s в make run, например:

то я понял, что он изменился, когда я добавлю в него дополнительный #: (не символ комментария?)

Я также проверил свои псевдонимы bash и там нет make. which make дает /usr/bin/make и file /usr/bin/make дает:

Ответы

Ответ 1

arr явно выделяется в стеке, как и следовало ожидать. Из вывода pmap стек явно растет почти до 6 ГБ:

00007ffe080a2000 5859388K rw---    [ stack ]

Поэтому вопрос заключается не в вашей программе или компиляторе. Вопрос в том, почему ulimit -s 8192, по-видимому, не соблюдается.

Из ваших ответов на мой различный вопрос ясно, что как-то параметр ulimit -s не распространяется из вашей оболочки через make run в вашу программу. Это мне кажется очень странным.

Если бы я был на вашем месте, я бы прошел через систему limits.conf, а также файлы общего доступа и пользователя bash, чтобы увидеть, могу ли я обнаружить что-либо релевантное.

Ответ 2

Не проверял, но IMHO, вот что происходит:

int size = 1500000000;

Здесь вы получаете переполнение - число слишком велико для int. Значение фактическое для переменной "размер" будет намного ниже. Ваш компилятор должен действительно предупредить вас об этом. Опять же, я не подтвердил это, потому что я слишком ленив для этого. Попробуйте следующее:

#define SIZE 1500000000ULL
int arr[SIZE];

И, конечно, условие "i < SIZE" также необходимо исправить - я является int, поэтому условие всегда будет истинным (опять же, компилятор должен предупредить вас об этом тоже). Удачи.