0

我正在阅读 boost fcontext 的实现。

make_fcontext 的函数原型是 typedef void* fcontext_t; fcontext_t BOOST_CONTEXT_CALLDECL make_fcontext( void * sp, std::size_t size, void (* fn)( intptr_t) );

第一个参数是上下文堆栈的顶部，来自 boost 文档的示例如下：

// context-function
void f(intptr);


// creates a new stack
std::size_t size = 8192;
void* sp(std::malloc(size));

// context fc uses f() as context function
// fcontext_t is placed on top of context stack
// a pointer to fcontext_t is returned
fcontext_t fc(make_fcontext(sp,size,f));

当我在 i386_elf 中阅读 make_context 的实现时，该实现总是减少 sp，它会使上下文存储在 sp 之前的内存中，这是 malloc 内存不足的。它可以覆盖不属于协程的内存吗？

/* first arg of make_fcontext() == top of context-stack */
movl  0x4(%esp), %eax

/*decrease the adress of sp here*/
/* reserve space for first argument of context-function
   rax might already point to a 16byte border */
leal  -0x8(%eax), %eax

/* shift address in EAX to lower 16 byte boundary */
andl  $-16, %eax

/* reserve space for context-data on context-stack */
/* size for fc_mxcsr .. EIP + return-address for context-function */
/* on context-function entry: (ESP -0x4) % 8 == 0 */
leal  -0x20(%eax), %eax

/* third arg of make_fcontext() == address of context-function */
movl  0xc(%esp), %edx
movl  %edx, 0x18(%eax)

/* save MMX control- and status-word */
stmxcsr  (%eax)
/* save x87 control-word */
fnstcw  0x4(%eax)
4

1 回答 1

2

根据您的 CPU 架构，堆栈可能会向上（朝向更高地址）或向下（朝向较低地址，如 x86 上的情况）增长。这通常通过push和pop指令修改堆栈指针的方式在指令集中进行硬编码。例如，x86push指令从[er]?sp.

make_fcontext期望堆栈指针在平台所需的特定于体系结构的方向上有足够的空间。在 x86 上，这意味着指针之前必须有可用空间，而不是之后。通过传递您直接收到的指针malloc，您违反了本合同。

这就是stack_allocator抽象存在的原因。它们返回指向堆栈右端的指针，具体取决于体系结构。

（附带说明一下，我相信 Boost.Context 当前支持的所有架构都有向下增长的堆栈。）

于 2017-04-21T08:31:42.403 回答