chenyahui / annotatedcode Goto Github PK

提议项目grpc

static void
_save_stack(struct coroutine *C, char *top) {
// 这个dummy很关键，是求取整个栈的关键
// 这个非常经典，涉及到linux的内存分布，栈是从高地址向低地址扩展，因此
// S->stack + STACK_SIZE就是运行时栈的栈底
// dummy，此时在栈中，肯定是位于最底的位置的，即栈顶
// top - &dummy 即整个栈的容量
char dummy = 0;
assert(top - &dummy <= STACK_SIZE);
if (C->cap < top - &dummy) {
free(C->stack);
C->cap = top-&dummy;
C->stack = malloc(C->cap);
}
C->size = top - &dummy;
memcpy(C->stack, &dummy, C->size);
}

请问 top - &dummy为什么是整个栈的容量，栈的容量不应该是STACK_SIZE吗？。
dummy的定义为char dummy = 0; 它代表了什么含义。&dummy指的是什么地址呢？