问题描述
我正在使用pthreads API实现线程库。我需要做的一件事是分配一个大小为32767字节的堆栈,然后将函数指针放在堆栈顶部的pthread_exit处,并将堆栈指针递减到该函数指针下方。
我想出的代码如下:
void *stackPointer = malloc(32767);
stackPointer += 32767;
stackPointer -= sizeof(&pthread_exit);
stackPointer = memcpy(stackPointer,pthread_exit,sizeof(&pthread_exit));
根据我的判断,通过使用memcpy函数,函数指针未正确放置在内存中。我应该有另一种方法(或者应该使用的功能)吗?
编辑: 修复了代码,使堆栈指针从头开始位于顶部
解决方法
所提供的代码中有很多可疑的东西。其中有
- 使用类型为
void *
的指针进行指针算术是不符合要求的; - 您似乎正在丢弃指向动态分配的块的唯一指针,这使得在以后可能的情况下分配该块变得非常棘手;和
- 取决于您打算如何使用它,可能无法确保您要正确推入栈中的值的对齐方式。
但是它们相对较小:一些编译器使用空指针算术执行了您想要的操作,您可能能够重新计算释放该块所需的指针,也许对齐并不是您的目的。
但是,
根据我的判断,通过使用memcpy函数,函数指针未正确放置在内存中。
不,绝对不是。 memcpy()
函数将源指针指向的数据复制到目标指针指示的位置。您要编写指针本身,这完全是另一回事。
还有另一种方法(或者我应该使用的功能)吗?
您可以将指针存储在变量中,然后从那里复制它:
#define STACK_SIZE 32767
void (*pte)(void *) = pthread_exit;
void *stackLimit = malloc(STACK_SIZE);
void *stackBottom = stackLimit + STACK_SIZE;
void *stackPointer = (char *) stackBottom - sizeof(pte);
memcpy(stackPointer,pte,sizeof(pte));
或者如果不成问题的访问不是问题(或者如果堆栈大小略大于或小于32767是可以的),那么您可以使用简单的分配来更简单地做到这一点:
void *stackLimit = malloc(STACK_SIZE);
void *stackBottom = stackLimit + STACK_SIZE;
typedef void (*pte_type)(void *);
((pte_type) stackBottom)[-1] = pthread_exit;
void *stackPointer = (pte_type) stackBottom - 1;
typedef的目的是使内容清晰易读。等效代码可以不用编写。
请注意,函数类型的表达式(例如pthread_exit
在该函数的声明在作用域中时)会自动转换为函数指针。您无需在它们上使用&
运算符,尽管这样做是无害的。