Smalltalk是如何操作调用栈帧(thisContext)的？

Question

Smalltalk对象thisContext看起来既奇怪又神奇。我不能理解它是什么以及它是如何工作的。甚至它是如何实现延续的。

对于C的调用栈，我可以很容易地想象它是如何实现和工作的。但为了这个..。我不能。请帮我理解一下。

Answer 1

我认为这不是一个简单的问题。该堆栈在图像中使用MethodContext的实例具体化。一个MethodContext可以有一个发送者，它是另一个MethodContext。其中一个可以有另一个one...generating和整个堆栈。VM在执行CompiledMethod时实例化MethodContext (这在语言中也是实例化的)。

MethodContext如何映射到C堆栈，这取决于VM。StackVM (CogVM位于StackVM之上)正是一个更好地映射MethodContext con C堆栈的虚拟机。

除了Lukas所说的BlueBook之外，请检查

http://www.mirandabanda.org/cogblog/检查左侧的帖子...

我建议您在http://lists.squeakfoundation.org/mailman/listinfo/vm-dev中询问

Answer 2

你可以在Smalltalk-80: The Language and its Implementation中找到的最好的解释，26章到30章。堆栈帧(上下文)在第580页进行了说明。

Answer 3

更准确的说法是，thisContext是一个延续--特别是当前的延续。

想象一下，在MethodContext激活之前，一个变量c被设置为指向该上下文。那是thisContext。