基于CMP的推测多线程机制下的独立栈函数调用方法

摘要

本发明公开了基于CMP的推测多线程机制下的独立栈函数调用方法，克服共享栈函数调用方法存在的栈加锁问题，以保证推测多线程下程序调用函数正确高效的进行。处理器在初始化的时候，在共享的内存空间中为每个处理器单元划分出一段私有的内存空间作为栈空间，并为每个处理器单元设置一个记录其对应栈空间栈顶的内部栈顶寄存器；函数栈桢的分配通过get指令的调用、栈指针的移动和update指令的调用来完成；函数栈桢的释放则通过处理器单元栈指针的恢复和update指令的调用来完成。

主权项

一种基于CMP的推测多线程机制下的独立栈函数调用方法，其特征在于，处理器在初始化的时候，从共享的内存空间上为每个处理器单元划分出一段私有的内存空间作为栈空间，每个处理器单元记录其对应栈空间的起始地址和结束地址；每个处理器单元内部设置一个记录其对应栈空间栈顶的内部栈顶寄存器，处理器单元通过update(reg，immed)指令用reg寄存器的值更新内部栈顶寄存器INTERNAL_SP的值，处理器单元通过get(reg，immed)指令用内部栈顶寄存器INTERNAL_SP的值更新reg寄存器的值；其中立即数immed用于区分活动记录的分配和释放这两种情况；当发生函数调用时，处理器首先执行get($sp，immed)指令以获取保存函数活动记录的栈桢的开始位置，然后通过移动当前处理器栈指针以分配保存函数活动记录所需的内存空间，再调用update$sp，0更新当前处理器单元的内部栈顶寄存器INTERNAL_SP，从而完成当前函数调用活动记录空间的分配；当函数调用返回时，编译器首先进行栈指针SP寄存器的恢复，然后调用update$sp，1更新当前处理器单元的内部栈顶寄存器INTERNAL_SP，完成当前函数调用活动记录空间的释放。