Question

我正在使用堆栈进行一些实验，以下内容使我陷入困境。

可以看出，Linux的初始[stack]映射大小为132KiB。对于ulimit -s unlimited，如果我们相应地调整rsp，我们可以进一步扩展堆栈。因此，我设置了ulimit -s unlimited并运行了以下程序：

PAGE_SIZE     equ 0x1000

;mmap staff
PROT_READ     equ 0x01
PROT_WRITE    equ 0x02
MAP_ANONYMOUS equ 0x20
MAP_PRIVATE   equ 0x02
MAP_FIXED     equ 0x10

;syscall numbers
SYS_mmap      equ 0x09
SYS_exit      equ 0x3c

section .text

global _start

_start:
    ; page alignment
    and rsp, -0x1000

    ; call mmap 0x101 pages below the rsp with fixed mapping
    mov rax, SYS_mmap
    lea rdi, [rsp - 0x101 * PAGE_SIZE]
    mov rsi, PAGE_SIZE
    mov rdx, PROT_READ | PROT_WRITE
    mov r10, MAP_PRIVATE | MAP_ANONYMOUS | MAP_FIXED
    mov r8, -1
    mov r9, 0
    syscall

    sub rsp, 0x80 * PAGE_SIZE
    mov qword [rsp], -1 ; SEGV

    mov rax, SYS_exit
    mov rdi, 0
    syscall

即使调整了rsp，它仍然会断电。我不太明白这一点。我在rsp - 0x101 * PAGE_SIZE下面101页的地址rsp上手动创建了一个固定映射。

我的期望是，直到我们击中固定映射rsp - 0x80，它才会干扰堆栈的扩展（在我的情况下为rsp - 0x101 * PAGE_SIZE。

顺便说一句，如果我从映射中删除MAP_FIXED，则将不兑现，也不会发生段错误（如预期的那样）。这是strace的输出：

mmap(0x7ffe4e0fe000, 4096, PROT_READ|PROT_WRITE, 
     MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x1526e3f3a000

但是MAP_FIXED可以做到：

mmap(0x7ffd8979c000, 4096, PROT_READ|PROT_WRITE, 
     MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x7ffd8979c000

UPD：如果lea rdi, [rsp - 0x101 * PAGE_SIZE]不触发段故障被lea rdi, [rsp - 0x200 * PAGE_SIZE]替换。

Answer 1

Linux内核在堆栈和其他映射之间形成了间隙。如果无法保持该差距，那么堆栈将不会增长。

mm / mmap.c中的相关源代码，来自line 2498

/* enforced gap between the expanding stack and other mappings. */
unsigned long stack_guard_gap = 256UL<<PAGE_SHIFT;

static int __init cmdline_parse_stack_guard_gap(char *p)
{
    unsigned long val;
    char *endptr;

    val = simple_strtoul(p, &endptr, 10);
    if (!*endptr)
        stack_guard_gap = val << PAGE_SHIFT;

    return 0;
}
__setup("stack_guard_gap=", cmdline_parse_stack_guard_gap);

和line 2424：

int expand_downwards(struct vm_area_struct *vma,
                   unsigned long address)
{
    struct mm_struct *mm = vma->vm_mm;
    struct vm_area_struct *prev;
    int error = 0;

    address &= PAGE_MASK;
    if (address < mmap_min_addr)
        return -EPERM;

    /* Enforce stack_guard_gap */
    prev = vma->vm_prev;
    /* Check that both stack segments have the same anon_vma? */
    if (prev && !(prev->vm_flags & VM_GROWSDOWN) &&
            (prev->vm_flags & (VM_WRITE|VM_READ|VM_EXEC))) {
        if (address - prev->vm_end < stack_guard_gap)
            return -ENOMEM;
    }

您可以看到它可以通过内核参数进行调整，但默认值为256。因此，该间隙不适合0x80和0x101页面之间，但是如果您使用0x200，则可以满足要求。

如果涉及到MAP_FIXED，无限堆栈不能超过初始的132KiB？

1 个答案: