{"id":100,"date":"2011-03-04T20:32:48","date_gmt":"2011-03-05T04:32:48","guid":{"rendered":"http:\/\/www.mirandabanda.org\/cogblog\/?p=100"},"modified":"2011-03-06T08:15:23","modified_gmt":"2011-03-06T16:15:23","slug":"an-arranged-marriage","status":"publish","type":"post","link":"http:\/\/www.mirandabanda.org\/cogblog\/2011\/03\/04\/an-arranged-marriage\/","title":{"rendered":"An Arranged Marriage"},"content":{"rendered":"

Can an arranged marriage be a perfect one, or can only a love-match result in the truly perfect union? Is perfection when two hearts beat as one, when Kate submits to Petruchio, or when Mr. accepts that Mrs. is wearing the trousers? Personally I don’t think there’s such a thing as a perfect marriage. All marriages, especially the long-lived ones take work. There are complex issues to be resolved, which requires good communication and division of responsibility. And of course a marriage won’t last unless the partners are fundamentally compatible. And so it is with the two senior partners in the Cog JIT VM, the CoInterpreter, older spouse full of experience (the old interpreter, facelifted for the new context, the existing primitive set), and the Cogit, the younger partner, creative tear-away, needing lots of support from their other half, but bringing real energy to the marriage.<\/p>\n

But is it prudent, the anxious parents wonder, to arrange a marriage between these two souls in the first place? After all many JITs don’t have an interpreter. Well, doing without an interpreter means having to JIT all code at all times and this can be very tricky. For example, looking back at the Inline Cacheing<\/a> post, think what has to happen when a send miss requires the allocation of a Closed PIC but the system runs out of code memory and needs to do a reclamation to free up code memory. It has to keep hold of the method containing the send site and the old and new target methods while these are moving beneath its feet as the reclamation compacts the code in the machine code zone. Or consider being faced with a huge autogenerated bytecode method whose jitted form may be ten times larger. The former problem is tricky; the latter is often terminal.<\/p>\n

Aside: You may ask why restrict the amount of memory used to generate code? One reason is to bound footprint, but a better one is to increase performance; a smaller working set can result in far better instruction cache performance and hence better overall performance even if code reclamations are common. Still better for a dynamic language is that a limited contiguous code space is extremely easy to manage, for example when scanning all send sites in machine code to unlink sends when methods are redefined. Hence the way I’ve always implemented JITs is to compile code in a fixed-size space (the size of which can be determined at startup). It works well.<\/i><\/p>\n

Further, specfic to Cog, the precursor StackInterpreter already had lots of infrastructure I needed to either use directly or carry forward in some way, such as the context-to-stack mapping machinery and the existing primitive set. So a CoInterpreter solves a number of problems. It is already the home for the existing primitive set; it is a fall-back to interpreted execution at times when it would be tricky to continue in machine code (such as during machine code reclamations); it allows avoiding jitting code in unproductive cases (seldom used or huge methods).<\/p>\n

Stacked to Attract<\/H2>
\nThe most fundamental area of compatibility is the stack, and we choose two different formats to allow interpreter and JIT to share the Smalltalk stack, and carefully manage the C stack to allow the Cogit to call on services in the CoInterpreter. If you haven’t already done so you might like to read the post on context to stack mapping<\/a> that gives an in-depth account of Smalltalk stack management in Cog. In the StackInterpreter there was a single frame format:<\/p>\n
<\/font>\t        \t        \t        receiver for method activations\/closure for block activations
\n\t        \t        \t        arg0
\n\t        \t        \t        …
\n\t        \t        \t        argN
\n\t        \t        \t        caller’s method ip\/base frame’s sender context
\n\t        fp->\t        saved fp
\n\t        \t        \t        method
\n\t        \t        \t        frame flags (num args, is block flag, has context flag)
\n\t        \t        \t        context (uninitialized)
\n\t        \t        \t        receiver
\n\t        \t        \t        first temp
\n\t        \t        \t        …
\n\t        sp->\t        Nth temp<\/p>\n
I was alarmed to read in <\/font>the paper on the HiPE (High-Performance Erlang) VM<\/a> that the implementors decided to keep the interpreter and machine code stacks separate. The paper mentions the apparently many bugs they had keeping the two different kinds of frames on the same stack, that the co-located scheme was abandoned and then goes into some detail explaining the difficulties keeping the two stacks separate imposes. If some thought is given to how the two kinds of frame can interface I contend there is manageable complexity and nothing particularly hairy about the approach and I offer Cog as an existence proof.<\/p>\n
The two keys to the interpreter frame format are a) that it support the existing interpreter, hence having much the same layout as the above and b) that an interpreter caller frame can be returned to via a native return instruction executed by a machine code callee frame. Returning from machine code to a specific bytecode in an interpreted method can’t be easily done with a single return pointer (it <\/font>can<\/i><\/font> be done if one is prepared to synthesize a thunk of machine code for each particular return, but this doesn’t seem very sensible to me). Instead, the native return address can be that of a sequence of code that trampolines control back into the interpreter. We must be able to return to the interpreter from many points; for example in the middle of a process switch primitive, called from machine code that finds that the target process has an interpreted frame for its suspendedContext. Hence we establish a setjmp handler immediately prior to entry into the interpreter and return to the interpreter via longjmp. I’ll come back to<\/font> cogit<\/font> <\/font>ceCaptureCStackPointers<\/font> later.<\/p>\n
<\/font>\t        <\/font>CoInterpreter methods for initialization<\/i><\/font>
\n\t        <\/font>enterSmalltalkExecutiveImplementation<\/b>
\n\t        <\/font>\t        <\/font>"Main entry-point into the interpreter at each execution level, where an execution<\/font>
\n\t        <\/font>\t         level is either the start of execution or reentry for a callback. Capture the C stack<\/font>
\n\t        <\/font>\t         pointers so that calls from machine-code into the C run-time occur at this level.<\/font>
\n\t        <\/font>\t         This is the actual implementation, separated from enterSmalltalkExecutive so the<\/font>
\n\t        <\/font>\t         simulator can wrap it in an exception handler and hence simulate the setjmp\/longjmp."<\/font>
\n\t        <\/font>\t        <\/font><<\/font>inline:<\/b><\/font> <\/font>false<\/font>><\/font>
\n\t        <\/font>\t        <\/font>cogit<\/font> <\/font>assertCStackWellAligned<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>cogit<\/font> <\/font>ceCaptureCStackPointers<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>"Setjmp for reentry into interpreter from elsewhere, e.g. machine-code trampolines."<\/font>
\n\t        <\/font>\t        <\/font>self<\/font> <\/font>sigset:<\/font> <\/font>reenterInterpreter<\/font> <\/font>jmp:<\/font> <\/font>0<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        <\/font>\t        \t        <\/font>[<\/font>self<\/font> <\/font>returnToExecutive:<\/font> <\/font>false<\/font> <\/font>postContextSwitch:<\/font> <\/font>true<\/font>
\n\t        <\/font>\t        \t         <\/font>"NOTREACHED"<\/font>]<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>self<\/font> <\/font>setMethod:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeMethod:<\/font> <\/font>framePointer<\/font>)<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>instructionPointer<\/font> <\/font>=<\/font> <\/font>cogit<\/font> <\/font>ceReturnToInterpreterPC<\/font> <\/font>ifTrue:<\/font>
\n\t        <\/font>\t        \t        <\/font>[<\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>framePointer<\/font>]<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>self<\/font> <\/font>assertValidExecutionPointe:<\/font> <\/font>instructionPointer<\/font> <\/font>r:<\/font> <\/font>framePointer<\/font> <\/font>s:<\/font> <\/font>stackPointer<\/font> <\/font>imbar:<\/font> <\/font>true<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>self<\/font> <\/font>interpret<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>^<\/font>0<\/font><\/p>\n
In Smalltalk the setjmp\/longjmp pair is simulated via exception handling<\/p>\n
\t        <\/font>Notification<\/font> <\/font>subclass:<\/font> <\/font>#ReenterInterpreter<\/font>
\n\t        <\/font>\t        <\/font>instanceVariableNames:<\/font> <\/font>‘returnValue’<\/font>
\n\t        <\/font>\t        <\/font>classVariableNames:<\/font> <\/font>”<\/font>
\n\t        <\/font>\t        <\/font>poolDictionaries:<\/font> <\/font>”<\/font>
\n\t        <\/font>\t        <\/font>category:<\/font> <\/font>‘VMMaker-JITSimulation’<\/font><\/p>\n
<\/font>\t        <\/font>CoInterpreter methods for cog jit support<\/i><\/font>
\n\t        <\/font>sigset: <\/b>aJumpBuf<\/font> <\/font>jmp:<\/b> <\/font>sigSaveMask<\/font>
\n\t        <\/font>\t        <\/font>"Hack simulation of sigsetjmp\/siglongjmp.<\/font>
\n\t        <\/font>\t         Assign to reenterInterpreter the exception that when<\/font>
\n\t        <\/font>\t         raised simulates a longjmp back to the interpreter."<\/font> <\/font>
\n\t        <\/font>\t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        <\/font>\t        <\/font>reenterInterpreter<\/font> <\/font>:=<\/b> <\/font>ReenterInterpreter<\/font> <\/font>new<\/font> <\/font>returnValue:<\/font> <\/font>0<\/font>;<\/font> <\/font>yourself<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>^<\/font>0<\/p>\n
\t        <\/font>siglong:<\/b> <\/font>aJumpBuf<\/font> <\/font>jmp:<\/b> <\/font>returnValue<\/font>
\n\t        \t        <\/font>"Hack simulation of sigsetjmp\/siglongjmp.<\/font>
\n\t        <\/font>\t         Signal the exception that simulates a longjmp back to the interpreter."<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>>
\n\t        \t        <\/font>aJumpBuf<\/font> <\/font>==<\/font> <\/font>reenterInterpreter<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>assertValidExecutionPointe:<\/font> <\/font>instructionPointer<\/font> <\/font>r:<\/font> <\/font>framePointer<\/font> <\/font>s:<\/font> <\/font>stackPointer<\/font> <\/font>imbar:<\/font> <\/font>true<\/font>]<\/font>.
\n\t        \t        <\/font>aJumpBuf<\/font> <\/font>returnValue:<\/font> <\/font>returnValue<\/font>;<\/font> <\/font>signal<\/font><\/p>\n
<\/font>\t        <\/font>CoInterpreter methods for initialization<\/i><\/font>
\n\t        <\/font>enterSmalltalkExecutive<\/b>
\n\t        <\/font>\t        <\/font>"Main entry-point into the interpreter at each execution level, where an<\/font>
\n\t        <\/font>\t         execution level is either the start of execution or reentry for a callback."<\/font>
\n\t        <\/font>\t        <\/font><<\/font>cmacro:<\/b><\/font> <\/font>‘() enterSmalltalkExecutiveImplementation()’<\/font>><\/font>
\n\t        <\/font>\t        <\/font>"Simulation of the setjmp in enterSmalltalkExecutiveImplementation for reentry into interpreter."<\/font>
\n\t        <\/font>\t        <\/font>[<\/font>(<\/font>[<\/font>self<\/font> <\/font>enterSmalltalkExecutiveImplementation<\/font>]<\/font>
\n\t        <\/font>\t        \t        <\/font>on:<\/font> <\/font>ReenterInterpreter<\/font>
\n\t        <\/font>\t        \t        <\/font>do:<\/font> <\/font>[<\/font>:<\/font>ex<\/font>|<\/font> <\/font>ex<\/font> <\/font>return:<\/font> <\/font>ex<\/font> <\/font>returnValue<\/font>]<\/font>)<\/font> <\/font>=<\/font> <\/font>ReturnToInterpreter<\/font>]<\/font> <\/font>whileTrue<\/font><\/p>\n
We then save the bytecode pc to at which to resume interpretation in an additional interpreter frame slot. Hence in Cog an interpreter frame has the following format:<\/p>\n
<\/font>\t        \t        \t        receiver for method activations\/closure for block activations
\n\t        \t        \t        arg0
\n\t        \t        \t        …
\n\t        \t        \t        argN
\n\t        \t        \t        caller’s saved ip\/this stackPage (for a base frame)
\n\t        fp->\t        saved fp
\n\t        \t        \t        method
\n\t        \t        \t        context (initialized to nil)
\n\t        \t        \t        frame flags (num args, is block, has context)
\n\t        \t        \t        saved method bytecode pc
\n\t        \t        \t        receiver
\n\t        \t        \t        first temp
\n\t        \t        \t        …
\n\t        sp->\t        Nth temp<\/p>\n
\t        <\/font>CoInterpreter methods for trampolines<\/i><\/font>
\n\t        <\/font>ceReturnToInterpreter:<\/b> <\/font>anOop<\/font>
\n\t        \t        <\/font><<\/font>api<\/b><\/font>>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>(<\/font>objectMemory<\/font> <\/font>isIntegerObject:<\/font> <\/font>anOop<\/font>)<\/font> <\/font>or:<\/font> <\/font>[<\/font>objectMemory<\/font> <\/font>addressCouldBeObj:<\/font> <\/font>anOop<\/font>]<\/font>)<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>not<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>setStackPageAndLimit:<\/font> <\/font>stackPage<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>setMethod:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeMethod:<\/font> <\/font>framePointer<\/font>)<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assertValidExecutionPointe:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>framePointer<\/font>)
\n\t        \t        \t        <\/font>r:<\/font> <\/font>framePointer
\n\t        \t        \t        <\/font>s:<\/font> <\/font>stackPointer
\n\t        \t        \t        <\/font>imbar:<\/font> <\/font>true<\/font>.
\n\t        \t        <\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>framePointer<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>push:<\/font> <\/font>anOop<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>siglong:<\/font> <\/font>reenterInterpreter<\/font> <\/font>jmp:<\/font> <\/font>ReturnToInterpreter<\/font>.
\n\t        \t        <\/font>"NOTREACHED"<\/font>
\n\t        <\/font>^<\/font>nil<\/font><\/p>\n
Since with the JIT the VM spends the bulk of its time in machine code and since the JIT can use knowledge such as the method’s argument count at compile-time we can make the machine code frame two slots smaller:<\/p>\n
<\/font>\t        \t        \t        receiver for method activations\/closure for block activations
\n\t        \t        \t        arg0
\n\t        \t        \t        …
\n\t        \t        \t        argN
\n\t        \t        \t        caller’s saved ip\/this stackPage (for a base frame)
\n\t        fp->\t        saved fp
\n\t        \t        \t        machine-code method and lsb flags (has context, is block)
\n\t        \t        \t        context (initialized to nil)
\n\t        \t        \t        receiver
\n\t        \t        \t        first temp
\n\t        \t        \t        …
\n\t        sp->\t        Nth temp
\n\t        \t
\nSince machine code methods are aligned on an 8-byte bounday the least signficant three bits of the method address are zero and can be used for three flags, two of which are used (had context and is block); see <\/font>initializeFrameIndices<\/b> below. The smallest frame, a zero-argument method with no local temps hence looks like<\/p>\n
<\/font>\t        \t        \t        receiver
\n\t        \t        \t        caller’s saved ip
\n\t        fp->\t        saved fp
\n\t        \t        \t        machine-code method and lsb flags
\n\t        \t        \t        context
\n\t        sp->\t        receiver<\/p>\n
The minimum frame size is important; it defines the maximum number of contexts that may be allocated to flush a stack page to the heap, for which the garbage collector maintains reserve free space. Compared to a typical C frame layout method and context are extra. The former makes finding the metadata associated with a machine code frame (its argument count etc) trivial since all this is accessible via the machine code method. The context slot is required to allow the Smalltalk-specific mapping of stack frames to contexts. Of course the two formats mean that the CoInterpreter, which naturally inherits from the StackInterpreter must provide different offsets for the receiver, and in a number of cases must implement two variants of an accessor depending on the frame format:<\/p>\n
\t        CoInterpreter class methods for initialization
\n\t        <\/font>initializeFrameIndices<\/b>
\n\t        \t        <\/font>"Format of a stack frame. Word-sized indices relative to the frame pointer.<\/font>
\n\t        <\/font>\t         Terminology<\/font>
\n\t        <\/font>\t        \t        Frames are either single (have no context) or married (have a context).<\/font>
\n\t        <\/font>\t        \t        Contexts are either single (exist on the heap), married (have a context) or widowed (had a frame that has exited).<\/font>
\n\t        <\/font>\t         Stacks grow down:<\/font><\/p>\n
\t        <\/font>\t        \t        \t        receiver for method activations\/closure for block activations<\/font>
\n\t        <\/font>\t        \t        \t        arg0<\/font>
\n\t        <\/font>\t        \t        \t        …<\/font>
\n\t        <\/font>\t        \t        \t        argN<\/font>
\n\t        <\/font>\t        \t        \t        caller’s saved ip\/this stackPage (for a base frame)<\/font>
\n\t        <\/font>\t        fp->\t        saved fp<\/font>
\n\t        <\/font>\t        \t        \t        method<\/font>
\n\t        <\/font>\t        \t        \t        context (initialized to nil)<\/font>
\n\t        <\/font>\t        \t        \t        frame flags (interpreter only)<\/font>
\n\t        <\/font>\t        \t        \t        saved method ip (initialized to 0; interpreter only)<\/font>
\n\t        <\/font>\t        \t        \t        receiver<\/font>
\n\t        <\/font>\t        \t        \t        first temp<\/font>
\n\t        <\/font>\t        \t        \t        …<\/font>
\n\t        <\/font>\t        sp->\t        Nth temp<\/font><\/p>\n
\t        <\/font>\t        In an interpreter frame<\/font>
\n\t        <\/font>\t        \t        frame flags holds<\/font>
\n\t        <\/font>\t        \t        \t        the number of arguments (since argument temporaries are above the frame)<\/font>
\n\t        <\/font>\t        \t        \t        the flag for a block activation<\/font>
\n\t        <\/font>\t        \t        \t        and the flag indicating if the context field is valid (whether the frame is married).<\/font>
\n\t        <\/font>\t        \t        saved method ip holds the saved method ip when the callee frame is a machine code frame.<\/font>
\n\t        <\/font>\t        \t        This is because the saved method ip is actually the ceReturnToInterpreterTrampoline address.<\/font>
\n\t        <\/font>\t        In a machine code frame<\/font>
\n\t        <\/font>\t        \t        the flag indicating if the context is valid is the least significant bit of the method pointer<\/font>
\n\t        <\/font>\t        \t        the flag for a block activation is the next most significant bit of the method pointer<\/font><\/p>\n
\t        <\/font>\t        Interpreter frames are distinguished from method frames by the method field which will<\/font>
\n\t        <\/font>\t        be a pointer into the heap for an interpreter frame and a pointer into the method zone for<\/font>
\n\t        <\/font>\t        a machine code frame.<\/font><\/p>\n
\t        <\/font>\t        The first frame in a stack page is the baseFrame and is marked as such by a saved fp being its stackPage,<\/font>
\n\t        <\/font>\t        in which case the first word on the stack is the caller context (possibly hybrid) beneath the base frame."<\/font><\/p>\n
\t        \t        <\/font>|<\/font> <\/font>fxCallerSavedIP<\/font> <\/font>fxSavedFP<\/font> <\/font>fxMethod<\/font> <\/font>fxIFrameFlags<\/font> <\/font>fxThisContext<\/font> <\/font>fxIFReceiver<\/font> <\/font>fxMFReceiver<\/font> <\/font>fxIFSavedIP<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>fxCallerSavedIP<\/font> <\/font>:=<\/b> <\/font>1<\/font>.
\n\t        \t        <\/font>fxSavedFP<\/font> <\/font>:=<\/b> <\/font>0<\/font>.
\n\t        \t        <\/font>fxMethod<\/font> <\/font>:=<\/b> <\/font>–<\/font>1<\/font>.
\n\t        \t        <\/font>fxThisContext<\/font> <\/font>:=<\/b> <\/font>–<\/font>2<\/font>.
\n\t        \t        <\/font>fxIFrameFlags<\/font> <\/font>:=<\/b> <\/font>–<\/font>3<\/font>.<\/font>\t        <\/font>"Can find numArgs, needed for fast temp access. args are above fxCallerSavedIP.<\/font>
\n\t        <\/font>\t        \t        \t        \t        \t        \t        \t         Can find “is block” bit<\/font>
\n\t        <\/font>\t        \t        \t        \t        \t        \t        \t         Can find “has context” bit"<\/font>
\n\t        \t        <\/font>fxIFSavedIP<\/font> <\/font>:=<\/b> <\/font>–<\/font>4<\/font>.
\n\t        \t        <\/font>fxIFReceiver<\/font> <\/font>:=<\/b> <\/font>–<\/font>5<\/font>.
\n\t        \t        <\/font>fxMFReceiver<\/font> <\/font>:=<\/b> <\/font>–<\/font>3<\/font>.<\/p>\n
\t        \t        <\/font>"For debugging nil out values that differ in the StackInterpreter."<\/font>
\n\t        \t        <\/font>FrameSlots<\/font> <\/font>:=<\/b> <\/font>nil<\/font>.
\n\t        \t        <\/font>IFrameSlots<\/font> <\/font>:=<\/b> <\/font>fxCallerSavedIP<\/font> <\/font>–<\/font> <\/font>fxIFReceiver<\/font> <\/font>+<\/font> <\/font>1<\/font>.
\n\t        \t        <\/font>MFrameSlots<\/font> <\/font>:=<\/b> <\/font>fxCallerSavedIP<\/font> <\/font>–<\/font> <\/font>fxMFReceiver<\/font> <\/font>+<\/font> <\/font>1<\/font>.<\/p>\n
\t        \t        <\/font>FoxCallerSavedIP<\/font> <\/font>:=<\/b> <\/font>fxCallerSavedIP<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>"In Cog a base frame’s caller context is stored on the first word of the stack page."<\/font>
\n\t        \t        <\/font>FoxCallerContext<\/font> <\/font>:=<\/b> <\/font>nil<\/font>.
\n\t        \t        <\/font>FoxSavedFP<\/font> <\/font>:=<\/b> <\/font>fxSavedFP<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxMethod<\/font> <\/font>:=<\/b> <\/font>fxMethod<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxThisContext<\/font> <\/font>:=<\/b> <\/font>fxThisContext<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxFrameFlags<\/font> <\/font>:=<\/b> <\/font>nil<\/font>.
\n\t        \t        <\/font>FoxIFrameFlags<\/font> <\/font>:=<\/b> <\/font>fxIFrameFlags<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxIFSavedIP<\/font> <\/font>:=<\/b> <\/font>fxIFSavedIP<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxReceiver<\/font> <\/font>:=<\/b> <\/font>#undeclared<\/font> <\/font>asSymbol<\/font>.
\n\t        \t        <\/font>FoxIFReceiver<\/font> <\/font>:=<\/b> <\/font>fxIFReceiver<\/font> <\/font>*<\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        <\/font>FoxMFReceiver<\/font> <\/font>**:=<\/b> <\/font>fxMFReceiver<\/font> <\/font>*<\/font> <\/font>BytesPerWord<\/font>.<\/p>\n
\t        \t        <\/font>"N.B. There is room for one more flag given the current 8 byte alignment of methods (which<\/font>
\n\t        <\/font>\t         is at least needed to distinguish the checked and uncecked entry points by their alignment."<\/font>
\n\t        \t        <\/font>MFMethodFlagHasContextFlag<\/font> <\/font>:=<\/b> <\/font>1<\/font>.
\n\t        \t        <\/font>MFMethodFlagIsBlockFlag<\/font> <\/font>:=<\/b> <\/font>2<\/font>.
\n\t        \t        <\/font>MFMethodFlagsMask<\/font> <\/font>:=<\/b> <\/font>MFMethodFlagHasContextFlag<\/font> <\/font>+<\/font> <\/font>MFMethodFlagIsBlockFlag<\/font>.
\n\t        \t        <\/font>MFMethodMask<\/font> <\/font>:=<\/b> <\/font>(<\/font>MFMethodFlagsMask<\/font> <\/font>+<\/font> <\/font>1<\/font>)<\/font> <\/font>negated<\/font><\/p>\n**
\t        <\/font>CoInterpreter methods for frame access<\/i><\/font>
\n\t        <\/font>frameMethodObject:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#theFP<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>^<\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>theFP<\/font>)
\n\t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>(<\/font>self<\/font> <\/font>mframeHomeMethod:<\/font> <\/font>theFP<\/font>)<\/font> <\/font>methodObject<\/font>]
\n\t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>self<\/font> <\/font>iframeMethod:<\/font> <\/font>theFP<\/font>]<\/p>\n
\t        <\/font>frameReceiver:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#theFP<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>^<\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>theFP<\/font>)
\n\t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>self<\/font> <\/font>mframeReceiver:<\/font> <\/font>theFP<\/font>]
\n\t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>self<\/font> <\/font>iframeReceiver:<\/font> <\/font>theFP<\/font>]<\/p>\n
\t        <\/font>iframeReceiver:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#theFP<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>^<\/font>stackPages<\/font> <\/font>longAt:<\/font> <\/font>theFP<\/font> <\/font>+<\/font> <\/font>FoxIFReceiver<\/font><\/p>\n
\t        <\/font>mframeReceiver:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#theFP<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>^<\/font>stackPages<\/font> <\/font>longAt:<\/font> <\/font>theFP<\/font> <\/font>+<\/font> <\/font>FoxMFReceiver<\/font><\/p>\n
\t        <\/font>iframeNumArgs:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font>"See encodeFrameFieldHasContext:numArgs:"<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#theFP<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>^<\/font>stackPages<\/font> <\/font>byteAt:<\/font> <\/font>theFP<\/font> <\/font>+<\/font> <\/font>FoxIFrameFlags<\/font> <\/font>+<\/font> <\/font>1<\/font><\/p>\n
\t        <\/font>mframeNumArgs:<\/b> <\/font>theFP<\/font>
\n\t        \t        <\/font>^<\/font>(<\/font>self<\/font> <\/font>mframeCogMethod:<\/font> <\/font>theFP<\/font>)<\/font> <\/font>cmNumArgs<\/font>
\netc.<\/p>\n
Returning from the interpreter to machine-code is quite straight-forward; the interpreter can test the return pc and since all machine code pcs are lower than the object heap (another convenient consequence of having a fixed-size code zone) the interpreter simply compares against the heap base (localIP<\/font> <\/font>asUnsignedInteger<\/font> <\/font><<\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font>):<\/p>\n
\t        <\/font>CoInterpreter methods for return bytecodes<\/i><\/font>
\n\t        <\/font>commonCallerReturn<\/b>
\n\t        \t        <\/font>"Return to the previous context\/frame (sender for method activations, caller for block activations)."<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>callersFPOrNull<\/font> <\/font>|<\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#callersFPOrNull<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font><<\/font>sharedCodeNamed:<\/b><\/font> <\/font>‘commonCallerReturn’<\/font> <\/font>inCase:<\/b><\/font> <\/font>125<\/font>><\/font> <\/font>"returnTopFromBlock"<\/font><\/p>\n
\t        \t        <\/font>callersFPOrNull<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>frameCallerFP:<\/font> <\/font>localFP<\/font>.
\n\t        \t        <\/font>callersFPOrNull<\/font> <\/font>==<\/font> <\/font>0<\/font> <\/font>"baseFrame"<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>assert:<\/font> <\/font>localFP<\/font> <\/font>=<\/font> <\/font>stackPage<\/font> <\/font>baseFP<\/font>.
\n\t        \t        \t         <\/font>^<\/font>self<\/font> <\/font>baseFrameReturn<\/font>]<\/font>.<\/p>\n
\t        \t        <\/font>localIP<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>frameCallerSavedIP:<\/font> <\/font>localFP<\/font>.
\n\t        \t        <\/font>localSP<\/font> <\/font>:=<\/b> <\/font>localFP<\/font> <\/font>+<\/font> <\/font>(<\/font>self<\/font> <\/font>frameStackedReceiverOffset:<\/font> <\/font>localFP<\/font>)<\/font>.
\n\t        \t        <\/font>localFP<\/font> <\/font>:=<\/b> <\/font>callersFPOrNull<\/font>.
\n\t        \t        <\/font>localIP<\/font> <\/font>asUnsignedInteger<\/font> <\/font><<\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>localIP<\/font> <\/font>asUnsignedInteger<\/font> <\/font>~=<\/font> <\/font>cogit<\/font> <\/font>ceReturnToInterpreterPC<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>"localIP in the cog method zone indicates a return to machine code."<\/font>
\n\t        \t        \t        \t         <\/font>^<\/font>self<\/font> <\/font>returnToMachineCodeFrame<\/font>]<\/font>.
\n\t        \t        \t         <\/font>localIP<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>pointerForOop:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>localFP<\/font>)<\/font>]<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>internalStackTopPut:<\/font> <\/font>localReturnValue<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>setMethod:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeMethod:<\/font> <\/font>localFP<\/font>)<\/font>.
\n\t        \t        <\/font>^<\/font>self<\/font> <\/font>fetchNextBytecode<\/font><\/p>\n
\t        <\/font>returnToMachineCodeFrame<\/b>
\n\t        \t        <\/font>"Return to the previous context\/frame after assigning localIP, localSP and localFP."<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>true<\/font>>
\n\t        \t        <\/font>cogit<\/font> <\/font>assertCStackWellAligned<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>localIP<\/font> <\/font>asUnsignedInteger<\/font> <\/font><<\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>localFP<\/font>)<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assertValidExecutionPointe:<\/font> <\/font>localIP<\/font> <\/font>asUnsignedInteger<\/font> <\/font>r:<\/font> <\/font>localFP<\/font> <\/font>s:<\/font> <\/font>localSP<\/font> <\/font>imbar:<\/font> <\/font>false<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>internalStackTopPut:<\/font> <\/font>localIP<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>internalPush:<\/font> <\/font>localReturnValue<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>externalizeFPandSP<\/font>.
\n\t        \t        <\/font>cogit<\/font> <\/font>ceEnterCogCodePopReceiverReg<\/font>
\n\t        \t        <\/font>"NOTREACHED"<\/font><\/p>\n
The <\/font>baseFrameReturn<\/font> phrase is necessary since the Smalltalk stack is actually organized as a set of small (4kb) stack pages, reasons for which are explained in the stack mapping post. Handling a base frame return in machine code is tricky since by the time the return instruction has executed the frame has already been torn down (the frame pointer set to the saved frame pointer, which in the case of a base frame is zero). Base frames are connected to other pages or the rest of the sender context chain via a reference to the sender context (which may itself be a context on the sender stack page). So we must be able to locate the spouse context and sender context of a base frame after the base frame has been torn down. The uppermost top two words on a stack page hold these two contexts (<blush><\/font>and yes I should define accessors for these<\/blush>). Again the use of a special return address causes the VM to jump to the code for a machine code base frame return.<\/p>\n
\t        <\/font>CoInterpreter methods for trampolines<\/i><\/font>
\n\t        <\/font>ceBaseFrameReturn:<\/b> <\/font>returnValue<\/font>
\n\t        \t        <\/font>"Return across a stack page boundary. The context to return to (which may be married)<\/font>
\n\t        <\/font>\t         is stored in the first word of the stack. We get here when a return instruction jumps<\/font>
\n\t        <\/font>\t         to the ceBaseFrameReturn: address that is the return pc for base frames. A consequence<\/font>
\n\t        <\/font>\t         of this is that the current frame is no longer valid since an interrupt may have overwritten<\/font>
\n\t        <\/font>\t         its state as soon as the stack pointer has been cut-back beyond the return pc. So to have<\/font>
\n\t        <\/font>\t         a context to send the cannotReturn: message to we also store the base frame’s context<\/font>
\n\t        <\/font>\t         in the second word of the stack page."<\/font>
\n\t        \t        <\/font><<\/font>api<\/b><\/font>>
\n\t        \t        <\/font>|<\/font> <\/font>contextToReturnTo<\/font> <\/font>contextToReturnFrom<\/font> <\/font>isAContext<\/font> <\/font>thePage<\/font> <\/font>newPage<\/font> <\/font>frameAbove<\/font> <\/font>|<\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#thePage<\/font> <\/font>type:<\/b><\/font> <\/font>#’StackPage ’<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#newPage<\/font> <\/font>type:<\/b><\/font> <\/font>#’StackPage ’<\/font>>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#frameAbove<\/font> <\/font>type:<\/b><\/font> <\/font>#’char ’<\/font>>
\n\t        \t        <\/font>contextToReturnTo<\/font> <\/font>:=<\/b> <\/font>stackPages<\/font> <\/font>longAt:<\/font> <\/font>stackPage<\/font> <\/font>baseAddress<\/font>.<\/p>\n
\t        \t        <\/font>"The stack page is effectively free now, so free it. We must free it to be<\/font>
\n\t        <\/font>\t         correct in determining if contextToReturnTo is still married, and in case<\/font>
\n\t        <\/font>\t         makeBaseFrameFor: cogs a method, which may cause a code compaction,<\/font>
\n\t        <\/font>\t         in which case the frame must be free to avoid the relocation machinery<\/font>
\n\t        <\/font>\t         tracing the dead frame. Since freeing now temporarily violates the page-list<\/font>
\n\t        <\/font>\t         ordering invariant, use the assert-free version."<\/font>
\n\t        \t        <\/font>stackPages<\/font> <\/font>freeStackPageNoAssert:<\/font> <\/font>stackPage<\/font>.
\n\t        \t        <\/font>isAContext<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>isContext:<\/font> <\/font>contextToReturnTo<\/font>.
\n\t        \t        <\/font>(<\/font>isAContext<\/font>
\n\t        \t         <\/font>and:<\/font> <\/font>[<\/font>self<\/font> <\/font>isStillMarriedContext:<\/font> <\/font>contextToReturnTo<\/font>]<\/font>)
\n\t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>framePointer<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>frameOfMarriedContext:<\/font> <\/font>contextToReturnTo<\/font>.
\n\t        \t        \t        \t         <\/font>thePage<\/font> <\/font>:=<\/b> <\/font>stackPages<\/font> <\/font>stackPageFor:<\/font> <\/font>framePointer<\/font>.
\n\t        \t        \t        \t         <\/font>framePointer<\/font> <\/font>=<\/font> <\/font>thePage<\/font> <\/font>headFP<\/font>
\n\t        \t        \t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>[<\/font>stackPointer<\/font> <\/font>:=<\/b> <\/font>thePage<\/font> <\/font>headSP<\/font>]<\/font>
\n\t        \t        \t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>[<\/font>"Returning to some interior frame, presumably because of a sender assignment.<\/font>
\n\t        <\/font>\t        \t        \t        \t        \t         Move the frames above to another page (they may be in use, e.g. via coroutining).<\/font>
\n\t        <\/font>\t        \t        \t        \t        \t         Make the interior frame the top frame."<\/font>
\n\t        \t        \t        \t        \t        \t         <\/font>frameAbove<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>findFrameAbove:<\/font> <\/font>framePointer<\/font> <\/font>inPage:<\/font> <\/font>thePage<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>"Since we’ve just deallocated a page we know that newStackPage won’t deallocate an existing one."<\/font>
\n\t        \t        \t        \t        \t        \t         <\/font>newPage<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>newStackPage<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>newPage<\/font> <\/font>=<\/font> <\/font>stackPage<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>self<\/font> <\/font>moveFramesIn:<\/font> <\/font>thePage<\/font> <\/font>through:<\/font> <\/font>frameAbove<\/font> <\/font>toPage:<\/font> <\/font>newPage<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>stackPages<\/font> <\/font>markStackPageMostRecentlyUsed:<\/font> <\/font>newPage<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>framePointer<\/font> <\/font>:=<\/b> <\/font>thePage<\/font> <\/font>headFP<\/font>.
\n\t        \t        \t        \t        \t        \t         <\/font>stackPointer<\/font> <\/font>:=<\/b> <\/font>thePage<\/font> <\/font>headSP<\/font>]<\/font>]
\n\t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>(<\/font>isAContext<\/font>
\n\t        \t        \t        \t         <\/font>and:<\/font> <\/font>[<\/font>objectMemory<\/font> <\/font>isIntegerObject:<\/font> <\/font>(<\/font>objectMemory
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>fetchPointer:<\/font> <\/font>InstructionPointerIndex
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>ofObject:<\/font> <\/font>contextToReturnTo<\/font>)<\/font>]<\/font>)<\/font> <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        \t        <\/font>[<\/font>contextToReturnFrom<\/font> <\/font>:=<\/b> <\/font>stackPages<\/font> <\/font>longAt:<\/font> <\/font>stackPage<\/font> <\/font>baseAddress<\/font> <\/font>–<\/font> <\/font>BytesPerWord<\/font>.
\n\t        \t        \t        \t        \t         <\/font>self<\/font> <\/font>tearDownAndRebuildFrameForCannotReturnBaseFrameReturnFrom:<\/font> <\/font>contextToReturnFrom<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>to:<\/font> <\/font>contextToReturnTo<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>returnValue:<\/font> <\/font>returnValue<\/font>.
\n\t        \t        \t        \t        \t        <\/font>^<\/font>self<\/font> <\/font>externalCannotReturn:<\/font> <\/font>returnValue<\/font> <\/font>from:<\/font> <\/font>contextToReturnFrom<\/font>]<\/font>.
\n\t        \t        \t        \t         <\/font>"void the instructionPointer to stop it being incorrectly updated in a code<\/font>
\n\t        <\/font>\t        \t        \t         compaction in makeBaseFrameFor:."<\/font>
\n\t        \t        \t        \t         <\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>0<\/font>.
\n\t        \t        \t        \t         <\/font>thePage<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>makeBaseFrameFor:<\/font> <\/font>contextToReturnTo<\/font>.
\n\t        \t        \t        \t         <\/font>framePointer<\/font> <\/font>:=<\/b> <\/font>thePage<\/font> <\/font>headFP<\/font>.
\n\t        \t        \t        \t         <\/font>stackPointer<\/font> <\/font>:=<\/b> <\/font>thePage<\/font> <\/font>headSP<\/font>]<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>setStackPageAndLimit:<\/font> <\/font>thePage<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>stackPages<\/font> <\/font>stackPageFor:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>=<\/font> <\/font>stackPage<\/font>.
\n\t        \t        <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>push:<\/font> <\/font>returnValue<\/font>.
\n\t        \t        \t         <\/font>cogit<\/font> <\/font>ceEnterCogCodePopReceiverReg<\/font>.
\n\t        \t        \t         <\/font>"NOTREACHED"<\/font>]<\/font>.
\n\t        \t        <\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>stackTop<\/font>.
\n\t        \t        <\/font>instructionPointer<\/font> <\/font>=<\/font> <\/font>cogit<\/font> <\/font>ceReturnToInterpreterPC<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>framePointer<\/font>]<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>setMethod:<\/font> <\/font>(<\/font>self<\/font> <\/font>iframeMethod:<\/font> <\/font>framePointer<\/font>)<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>stackTopPut:<\/font> <\/font>returnValue<\/font>.<\/font> <\/font>"a.k.a. pop saved ip then push result"<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>self<\/font> <\/font>checkIsStillMarriedContext:<\/font> <\/font>contextToReturnTo<\/font> <\/font>currentFP:<\/font> <\/font>framePointer<\/font>)<\/font>.
\n*\t        \t        <\/font>self<\/font> <\/font>siglong:<\/font> <\/font>reenterInterpreter<\/font> <\/font>jmp:<\/font> <\/font>ReturnToInterpreter<\/font>.
\n\t        \t        <\/font>"NOTREACHED"<\/font>
\n\t        \t        <\/font>^<\/font>nil<\/font><\/p>\n
So between an interpreter caller and a machine code callee the return address must be ceReturnToInterpreterTrampoline and the caller’s iframeSavedIP: must be valid, whereas between a machine-code caller and an interpreted callee the machine code return address is fine. Similarly, the convention for the top frame on other than the active stack page is that it always contain a machine-code pc; ceReturnToInterpreter for an interpreted frame and the machine code return address for a machine code frame. The return pc for a base frame is ceBaseFrameReturnTrampoline.<\/p>\n
Managing the C Stack<\/H2>
\nSo far we’ve seen how trampolines are used to jump from machine-code to C, and how setjmp\/longjmp can be used to get back into the interpreter from any point. But how do we manage the C stack so that we can call into the run-time and know that the C frame containing the setjmp is valid? Since the C stack is contiguous and grows in one direction (typically down) – at least on the OS’s Cog runs on today (Windows, Mac OS X, linux) – all that’s needed is to record the C stack in enterSmalltalkExecutiveImplementation<\/b> via cogit<\/font> <\/font>ceCaptureCStackPointers<\/font>. Any jump into machine code will occur form a point further down the C stack. Any jump back to the C stack discards those intervening frames, cutting the C stack back to the activation of <\/font>enterSmalltalkExecutiveImplementation<\/b>. What we <\/font>mustn’t<\/i><\/font> do is capture the C stack pointers every time we jump into machine-code. That could cause uncontrolled stack growth.<\/font><\/p>\n
\t        Cogit methods for initialization<\/i>
\n\t        generateStackPointerCapture<\/b>
\n\t        \t        <\/font>"Generate a routine ceCaptureCStackPointers that will capture the C stack pointer,<\/font>
\n\t        \t         and, if it is in use, the C frame pointer. These are used in trampolines to call<\/font>
\n\t        \t         run-time routines in the interpreter from machine-code."<\/font>
\n\t
\n\t        \t        <\/font>|<\/font> <\/font>oldMethodZoneBase<\/font> <\/font>oldTrampolineTableIndex<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assertCStackWellAligned<\/font>.<\/font>
\n\t        \t        <\/font>oldMethodZoneBase<\/font> <\/font>:=<\/b> <\/font>methodZoneBase<\/font>.<\/font>
\n\t        \t        <\/font>oldTrampolineTableIndex<\/font> <\/font>:=<\/b> <\/font>trampolineTableIndex<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>generateCaptureCStackPointers:<\/font> <\/font>true<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>perform:<\/font> <\/font>#ceCaptureCStackPointers<\/font> <\/font>asSymbol<\/font>.<\/font>
\n\t        \t        <\/font>(<\/font>cFramePointerInUse<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>isCFramePointerInUse<\/font>)<\/font> <\/font>ifFalse:<\/font>
\n\t        \t        \t        <\/font>[<\/font>methodZoneBase<\/font> <\/font>:=<\/b> <\/font>oldMethodZoneBase<\/font>.<\/font>
\n\t        \t        \t         <\/font>trampolineTableIndex<\/font> <\/font>:=<\/b> <\/font>oldTrampolineTableIndex<\/font>.<\/font>
\n\t        \t        \t         <\/font>self<\/font> <\/font>generateCaptureCStackPointers:<\/font> <\/font>false<\/font>]<\/font>
\n\t
\n\t        generateCaptureCStackPointers:<\/b> <\/font>captureFramePointer<\/font>
\n\t        \t        <\/font>"Generate the routine that writes the current values of the C frame and stack pointers into<\/font>
\n\t        \t         variables. These are used to establish the C stack in trampolines back into the C run-time.<\/font>
\n\t
\n\t        \t         This is a presumptuous quick hack for x86. It is presumptuous for two reasons. Firstly<\/font>
\n\t        \t         the system’s frame and stack pointers may differ from those we use in generated code,<\/font>
\n\t        \t         e.g. on register-rich RISCs. Secondly the ABI may not support a simple frameless call<\/font>
\n\t        \t         as written here (for example 128-bit stack alignment on Mac OS X)."<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>startAddress<\/font> <\/font>|<\/font>
\n\t        \t        <\/font><<\/font>inline:<\/b><\/font> <\/font>false<\/font>><\/font>
\n\t        \t        <\/font>self<\/font> <\/font>allocateOpcodes:<\/font> <\/font>32<\/font> <\/font>bytecodes:<\/font> <\/font>0<\/font>.<\/font>
\n\t        \t        <\/font>initialPC<\/font> <\/font>:=<\/b> <\/font>0<\/font>.<\/font>
\n\t        \t        <\/font>endPC<\/font> <\/font>:=<\/b> <\/font>numAbstractOpcodes<\/font> <\/font>–<\/font> <\/font>1<\/font>.<\/font>
\n\t        \t        <\/font>startAddress<\/font> <\/font>:=<\/b> <\/font>methodZoneBase<\/font>.<\/font>
\n\t        \t        <\/font>captureFramePointer<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>FPReg<\/font> <\/font>Aw:<\/font> <\/font>self<\/font> <\/font>cFramePointerAddress<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>"Capture the stack pointer prior to the call."<\/font>
\n\t        \t        <\/font>backEnd<\/font> <\/font>leafCallStackPointerDelta<\/font> <\/font>=<\/font> <\/font>0<\/font>
\n\t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>SPReg<\/font> <\/font>Aw:<\/font> <\/font>self<\/font> <\/font>cStackPointerAddress<\/font>]<\/font>
\n\t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>SPReg<\/font> <\/font>R:<\/font> <\/font>TempReg<\/font>.<\/font>
\n\t        \t        \t        \t        \t        <\/font>self<\/font> <\/font>AddCq:<\/font> <\/font>backEnd<\/font> <\/font>leafCallStackPointerDelta<\/font> <\/font>R:<\/font> <\/font>TempReg<\/font>.<\/font>
\n\t        \t        \t        \t        \t        <\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>TempReg<\/font> <\/font>Aw:<\/font> <\/font>self<\/font> <\/font>cStackPointerAddress<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>RetN:<\/font> <\/font>0<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>outputInstructionsForGeneratedRuntimeAt:<\/font> <\/font>startAddress<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>recordGeneratedRunTime:<\/font> <\/font>‘ceCaptureCStackPointers’<\/font> <\/font>address:<\/font> <\/font>startAddress<\/font>.<\/font>
\n\t        \t        <\/font>ceCaptureCStackPointers<\/font> <\/font>**:=<\/b> <\/font>self<\/font> <\/font>cCoerceSimple:<\/font> <\/font>startAddress<\/font> <\/font>to:<\/font> <\/font>#’void (*)(void)’<\/font><\/p>\n
\t        isCFramePointerInUse<\/b>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>"This should be implemented externally, e.g. in sqPlatMain.c."<\/font>
\n\t        \t        <\/font>^<\/font>true<\/font><\/p>\n
and from e.g. platforms\/Mac OS\/vm\/sqMacMain.c<\/p>\n**
\t        <\/font>#if COGVM<\/font>
\n\t        <\/font>\/<\/font>
\n\t        <\/font> Support code for Cog.<\/font>
\n\t        <\/font> * a) Answer whether the C frame pointer is in use, for capture of the C stack<\/font>
\n\t        <\/font> * pointers.<\/font>
\n\t        <\/font> \/<\/font>
\n\t        <\/font># if defined(i386) || defined(i386) || defined(i386)<\/font>
\n\t        <\/font>\/<\/font>
\n\t        <\/font> * Cog has already captured CStackPointer before calling this routine. Record<\/font>
\n\t        <\/font> * the original value, capture the pointers again and determine if CFramePointer<\/font>
\n\t        <\/font> * lies between the two stack pointers and hence is likely in use. This is<\/font>
\n\t        <\/font> * necessary since optimizing C compilers for x86 may use %ebp as a general-<\/font>
\n\t        <\/font> * purpose register, in which case it must not be captured.<\/font>
\n\t        <\/font> \/<\/font>
\n\t        <\/font>int<\/font>
\n\t        <\/font>isCFramePointerInUse()<\/font>
\n\t        <\/font>{<\/font>
\n\t        \t        <\/font>extern unsigned long CStackPointer, CFramePointer;<\/font>
\n\t        \t        <\/font>extern void (ceCaptureCStackPointers)(void);<\/font>
\n\t        \t        <\/font>unsigned long currentCSP = CStackPointer;<\/font>
\n\t
\n\t        \t        <\/font>currentCSP = CStackPointer;<\/font>
\n\t        \t        <\/font>ceCaptureCStackPointers();<\/font>
\n\t        \t        <\/font>assert(CStackPointer < currentCSP);<\/font>
\n\t        \t        <\/font>return CFramePointer >= CStackPointer && CFramePointer <= currentCSP;<\/font>
\n\t        <\/font>}<\/font>
\n\t        <\/font># endif \/* defined(i386) || defined(i386) || defined(i386) \/<\/font>
\n\t        <\/font>#endif \/ COGVM \/<\/font>
\n
\n<\/font>So two variables define the C stack, CStackPointer and CFramePointer. <\/font>On x86 the machine-code for ceCaptureCStackPointers<\/font> looks like the following; the addl $4, %eax skips the return pc.<\/p>\n
\t        ceCaptureCStackPointers:
\n\t        \t        00000418: movl %ebp, %ds:0x10d530 : 89 2D 30 D5 10 00\t         0x10d530 = &CFramePointer
\n\t        \t        0000041e: movl %esp, %eax : 89 E0
\n\t        \t        00000420: addl $0x00000004, %eax : 83 C0 04
\n\t        \t        00000423: movl %eax, %ds:0x10d538 : A3 38 D5 10 00 \t        \t         0x10d538 = &CStackPointer
\n\t        \t        00000428: ret : C3
\n\t        \t        00000429: nop : 90
\n\t        \t        0000042a: nop : 90
\n\t        \t        0000042b: nop : 90
\n\t        \t        0000042c: nop : 90
\n\t        \t        0000042d: nop : 90
\n\t        \t        0000042e: nop : 90
\n\t        \t        0000042f: nop : 90 <\/p>\n
The C stack needs to be captured and restored on callbacks. Lets follow this through assuming a call to the FFI primitive from machine-code. First of all the machine-code method calls the interpreter’s FFI primitive, using the current values of CFramePointer and CStackPointer as established in a previous enterSmalltalkExecutiveImplementation<\/b> invocation. The primitive then marshalls arguments to the C stack and calls out to external code. If that code calls-back into the VM the C stack between the FFI call-out and the call-back must be preserved for the VM to return from the call-back. When the callback enters the VM it must do so via enterSmalltalkExecutiveImplementation<\/b>, and set-up a new reenterInterpreter jmpbuf for jumping into the interpreter at this level. So callbackEnter: must both save and restore the C stack pointers and<\/i> the reenterInterpreter jmpbuf.<\/p>\n*
\t        CoInterpreter methods for callback support<\/i>
\n\t        callbackEnter:<\/b> <\/font>callbackID<\/font>
\n\t        \t        <\/font>"Re-enter the interpreter for executing a callback"<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>currentCStackPointer<\/font> <\/font>currentCFramePointer<\/font> <\/font>savedReenterInterpreter<\/font>
\n\t        \t         <\/font>wasInMachineCode<\/font> <\/font>calledFromMachineCode<\/font> <\/font>|<\/font>
\n\t        \t        <\/font><<\/font>volatile<\/b><\/font>><\/font>
\n\t        \t        <\/font><<\/font>export:<\/b><\/font> <\/font>true<\/font>><\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#currentCStackPointer<\/font> <\/font>type:<\/b><\/font> <\/font>#’void ’<\/font>><\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#currentCFramePointer<\/font> <\/font>type:<\/b><\/font> <\/font>#’void ’<\/font>><\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#callbackID<\/font> <\/font>type:<\/b><\/font> <\/font>#’sqInt ’<\/font>><\/font>
\n\t        \t        <\/font><<\/font>var:<\/b><\/font> <\/font>#savedReenterInterpreter<\/font> <\/font>type:<\/b><\/font> <\/font>#’jmp_buf’<\/font>><\/font><\/p>\n
\t        \t        <\/font>"Check if we’ve exceeded the callback depth"<\/font>
\n\t        \t        <\/font>(<\/font>self<\/font> <\/font>asserta:<\/font> <\/font>jmpDepth<\/font> <\/font><<\/font> <\/font>MaxJumpBuf<\/font>)<\/font> <\/font>ifFalse:<\/font>
\n\t        \t        \t        <\/font>[<\/font>^<\/font>false<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>jmpDepth<\/font> <\/font>:=<\/b> <\/font>jmpDepth<\/font> <\/font>+<\/font> <\/font>1<\/font>.<\/font><\/p>\n
\t        \t        <\/font>wasInMachineCode<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>.<\/font>
\n\t        \t        <\/font>calledFromMachineCode<\/font> <\/font>:=<\/b> <\/font>instructionPointer<\/font> <\/font><=<\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font>.<\/font><\/p>\n
\t        \t        <\/font>"Suspend the currently active process"<\/font>
\n\t        \t        <\/font>suspendedCallbacks<\/font> <\/font>at:<\/font> <\/font>jmpDepth<\/font> <\/font>put:<\/font> <\/font>self<\/font> <\/font>activeProcess<\/font>.<\/font>
\n\t        \t        <\/font>"We need to preserve newMethod explicitly since it is not activated yet<\/font>
\n\t        \t        and therefore no context has been created for it. If the caller primitive<\/font>
\n\t        \t        for any reason decides to fail we need to make sure we execute the correct<\/font>
\n\t        \t        method and not the one ‘last used’ in the call back"<\/font>
\n\t        \t        <\/font>suspendedMethods<\/font> <\/font>at:<\/font> <\/font>jmpDepth<\/font> <\/font>put:<\/font> <\/font>newMethod<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>transferTo:<\/font> <\/font>self<\/font> <\/font>wakeHighestPriority<\/font> <\/font>from:<\/font> <\/font>CSCallbackLeave<\/font>.<\/font><\/p>\n
\t        \t        <\/font>"Typically, invoking the callback means that some semaphore has been <\/font>
\n\t        \t        signaled to indicate the callback. Force an interrupt check as soon as possible."<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>forceInterruptCheck<\/font>.<\/font><\/p>\n
i.e. from here:
\n\t        \t        <\/font>"Save the previous CStackPointers and interpreter entry jmp_buf."<\/font>
\n\t        \t        <\/font>currentCStackPointer<\/font> <\/font>:=<\/b> <\/font>cogit<\/font> <\/font>getCStackPointer<\/font>.<\/font>
\n\t        \t        <\/font>currentCFramePointer<\/font> <\/font>:=<\/b> <\/font>cogit<\/font> <\/font>getCFramePointer<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>mem:<\/font> <\/font>(<\/font>self<\/font> <\/font>cCoerceSimple:<\/font> <\/font>savedReenterInterpreter<\/font> <\/font>to:<\/font> <\/font>#’void ’<\/font>)<\/font>
\n\t        \t        \t        <\/font>cp:<\/font> <\/font>reenterInterpreter<\/font>
\n\t        \t        \t        <\/font>y:<\/font> <\/font>(<\/font>self<\/font> <\/font>sizeof:<\/font> <\/font>#’jmp_buf’<\/font> <\/font>asSymbol<\/font>)<\/font>.<\/font>
\n\t        \t        <\/font>cogit<\/font> <\/font>assertCStackWellAligned<\/font>.<\/font>
\n\t        \t        <\/font>(<\/font>self<\/font> <\/font>setjmp:<\/font> <\/font>(<\/font>jmpBuf<\/font> <\/font>at:<\/font> <\/font>jmpDepth<\/font>)<\/font>)<\/font> <\/font>==<\/font> <\/font>0<\/font> <\/font>ifTrue:<\/font> <\/font>"Fill in callbackID"<\/font>
\n\t        \t        \t        <\/font>[<\/font>callbackID<\/font> <\/font>at:<\/font> <\/font>0<\/font> <\/font>put:<\/font> <\/font>jmpDepth<\/font>.<\/font>
\n\t        \t        \t         <\/font>self<\/font> <\/font>enterSmalltalkExecutive<\/font>.<\/font>
\n\t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>false<\/font> <\/font>"NOTREACHED"<\/font>]<\/font>.<\/font><\/p>\n
\t        \t        <\/font>"Restore the previous CStackPointers and interpreter entry jmp_buf."<\/font>
\n\t        \t        <\/font>cogit<\/font> <\/font>setCStackPointer:<\/font> <\/font>currentCStackPointer<\/font>.<\/font>
\n\t        \t        <\/font>cogit<\/font> <\/font>setCFramePointer:<\/font> <\/font>currentCFramePointer<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>mem:<\/font> <\/font>reenterInterpreter<\/font>
\n\t        \t        \t        <\/font>cp:<\/font> <\/font>(<\/font>self<\/font> <\/font>cCoerceSimple:<\/font> <\/font>savedReenterInterpreter<\/font> <\/font>to:<\/font> <\/font>#’void ’<\/font>)<\/font>
\n\t        \t        \t        <\/font>y:<\/font> <\/font>(<\/font>self<\/font> <\/font>sizeof:<\/font> <\/font>#’jmp_buf’<\/font> <\/font>asSymbol<\/font>)<\/font>.<\/font>
\n:upto here
\n\t        \t        <\/font>"Transfer back to the previous process so that caller can push result"<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>putToSleep:<\/font> <\/font>self<\/font> <\/font>activeProcess<\/font> <\/font>yieldingIf:<\/font> <\/font>preemptionYields<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>transferTo:<\/font> <\/font>(<\/font>suspendedCallbacks<\/font> <\/font>at:<\/font> <\/font>jmpDepth<\/font>)<\/font> <\/font>from:<\/font> <\/font>CSCallbackLeave<\/font>.<\/font>
\n\t        \t        <\/font>newMethod<\/font> <\/font>:=<\/b> <\/font>suspendedMethods<\/font> <\/font>at:<\/font> <\/font>jmpDepth<\/font>.<\/font>\t        <\/font>"see comment above"<\/font>
\n\t        \t        <\/font>argumentCount<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>argumentCountOf:<\/font> <\/font>newMethod<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>wasInMachineCode<\/font> <\/font>=<\/font> <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>)<\/font>.<\/font>
\n\t        \t        <\/font>calledFromMachineCode<\/font>
\n\t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>instructionPointer<\/font> <\/font>>=<\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>iframeSavedIP:<\/font> <\/font>framePointer<\/font> <\/font>put:<\/font> <\/font>instructionPointer<\/font>.<\/font>
\n\t        \t        \t        \t        \t         <\/font>instructionPointer<\/font> <\/font>:=<\/b> <\/font>cogit<\/font> <\/font>ceReturnToInterpreterPC<\/font>]<\/font>]<\/font>
\n\t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>"Even if the context was flushed to the heap and rebuilt in transferTo:from:<\/font>
\n\t        \t        \t        \t         above it will remain an interpreted frame because the context’s pc would<\/font>
\n\t        \t        \t        \t         remain a bytecode pc. So the instructionPointer must also be a bytecode pc."<\/font>
\n\t        \t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>self<\/font> <\/font>isMachineCodeFrame:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>not<\/font>.<\/font>
\n\t        \t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>instructionPointer<\/font> <\/font>><\/font> <\/font>objectMemory<\/font> <\/font>startOfMemory<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>primFailCode<\/font> <\/font>=<\/font> <\/font>0<\/font>.<\/font>
\n\t        \t        <\/font>jmpDepth<\/font> <\/font>:=<\/b> <\/font>jmpDepth<\/font>–<\/font>1<\/font>.<\/font>
\n\t        \t        <\/font>^<\/font>true<\/font><\/p>\n
when the return from callback is done longjmp-ing back to the setjmp the C stack and reenterInterreter set-up in enterSmalltalkExecutiveImplementation<\/b> is cut-back and restored to their previous values.<\/p>\n
Keeping Up Appearances<\/H2>
\nOf course while the relationship between CoInterpreter and Cogit has to work in private (i.e. when compiled to C and executed in use) it also has to put on a good show in social settings. When being developed, simulated machine code must also be able to gain intimate access the CoInterpreter’s internals. This is on the one hand about faithful simulation, and on the other hand about the difference between, in the production vm, machine code calling into C code, and, in the simulator, turning a machine code call into a Smalltalk message send to a given receiver. This needs to be done when simulating run-time calls, and so we may as well use the same mechanism for accessing CoInterpreter variables as well. This of course takes us into the heart of the machine-code simulator, and I think this bit is particularly interesting.<\/p>\n
A simple way of breaking-out of machine code is simply to dole out illegal addresses for variables and run-time routines:<\/p>\n
\t        Cogit methods for initialization<\/i>
\n\t        simulatedAddressFor:<\/b> <\/font>anObject<\/font>
\n\t        \t        <\/font>"Answer a simulated address for a block or a symbol. This is an address that<\/font>
\n\t        \t         can be called, read or written by generated machine code, and will be mapped<\/font>
\n\t        \t         into a Smalltalk message send or block evaluation."<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>^<\/font>simulatedAddresses<\/font>
\n\t        \t        \t        <\/font>at:<\/font> <\/font>anObject<\/font>
\n\t        \t        \t        <\/font>ifAbsentPut:<\/font> <\/font>[<\/font>(<\/font>simulatedAddresses<\/font> <\/font>size<\/font> <\/font>+<\/font> <\/font>101<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>)<\/font> <\/font>negated<\/font> <\/font>bitAnd:<\/font> <\/font>self<\/font> <\/font>addressSpaceMask<\/font>]<\/font><\/p>\n
\t        simulatedVariableAddress:<\/b> <\/font>getter<\/font> <\/font>in:<\/b> <\/font>receiver<\/font>
\n\t        \t        <\/font>"Answer a simulated variable. This is a variable whose value can be read<\/font>
\n\t        \t         by generated machine code."<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>|<\/font> <\/font>address<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>address<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>simulatedAddressFor:<\/font> <\/font>getter<\/font>.<\/font>
\n\t        \t        <\/font>simulatedVariableGetters<\/font>
\n\t        \t        \t        <\/font>at:<\/font> <\/font>address<\/font>
\n\t        \t        \t        <\/font>ifAbsentPut:<\/font> <\/font>[<\/font>MessageSend<\/font> <\/font>receiver:<\/font> <\/font>receiver<\/font> <\/font>selector:<\/font> <\/font>getter<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>^<\/font>address<\/font><\/p>\n
\t        simulatedReadWriteVariableAddress:<\/b> <\/font>getter<\/font> <\/font>in:<\/b> <\/font>receiver<\/font>
\n\t        \t        <\/font>"Answer a simulated variable. This is a variable whose value can be read<\/font>
\n\t        \t         and written by generated machine code."<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>|<\/font> <\/font>address<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>address<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>simulatedVariableAddress:<\/font> <\/font>getter<\/font> <\/font>in:<\/font> <\/font>receiver<\/font>.<\/font>
\n\t        \t        <\/font>simulatedVariableSetters<\/font>
\n\t        \t        \t        <\/font>at:<\/font> <\/font>address<\/font>
\n\t        \t        \t        <\/font>ifAbsentPut:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>|<\/font> <\/font>setter<\/font> <\/font>|<\/font>
\n\t        \t        \t        \t        <\/font>setter<\/font> <\/font>:=<\/b> <\/font>(<\/font>getter<\/font>,<\/font> <\/font>‘:’<\/font>)<\/font> <\/font>asSymbol<\/font>.<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>:<\/font>value<\/font>|<\/font> <\/font>receiver<\/font> <\/font>perform:<\/font> <\/font>setter<\/font> <\/font>with:<\/font> <\/font>value<\/font>]<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>^<\/font>address<\/font><\/p>\n
\t        CoInterpreter methods for trampoline support<\/i>
\n\t        framePointerAddress<\/b>
\n\t        \t        <\/font><<\/font>api<\/b><\/font>><\/font>
\n\t        \t        <\/font><<\/font>returnTypeC:<\/b><\/font> <\/font>#usqInt<\/font>><\/font>
\n\t        \t        <\/font>^<\/font>self<\/font> <\/font>cCode:<\/font> <\/font>[<\/font>(<\/font>self<\/font> <\/font>addressOf:<\/font> <\/font>framePointer<\/font>)<\/font> <\/font>asUnsignedInteger<\/font>]<\/font>
\n\t        \t        \t        <\/font>inSmalltalk:<\/font> <\/font>[<\/font>cogit<\/font> <\/font>simulatedReadWriteVariableAddress:<\/font> <\/font>#framePointer<\/font> <\/font>in:<\/font> <\/font>self<\/font>]
\n<\/font>
\n\t        Cogit methods for trampoline support<\/i>
\n\t        <\/font>genLoadStackPointers<\/b>
\n\t        \t        <\/font>"Switch back to the Smalltalk stack. Assign SPReg first<\/font>
\n\t        <\/font>\t         because typically it is used immediately afterwards."<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>MoveAw:<\/font> <\/font>coInterpreter<\/font> <\/font>stackPointerAddress<\/font> <\/font>R:<\/font> <\/font>SPReg<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>MoveAw:<\/font> <\/font>coInterpreter<\/font> <\/font>framePointerAddress<\/font> <\/font>R:<\/font> <\/font>FPReg<\/font>.
\n\t        \t        <\/font>^<\/font>0<\/font><\/p>\n
\t        <\/font>genSaveStackPointers<\/b>
\n\t        \t        <\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>FPReg<\/font> <\/font>Aw:<\/font> <\/font>coInterpreter<\/font> <\/font>framePointerAddress<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>MoveR:<\/font> <\/font>SPReg<\/font> <\/font>Aw:<\/font> <\/font>coInterpreter<\/font> <\/font>stackPointerAddress<\/font>.
\n\t        \t        <\/font>^<\/font>0<\/font>
\n<\/font>
\nThe Bochs simulator will rase an exception whenever machine code tries to access an out-of-bounds address, which the internals of the Bochs plugin catch and turn into a primitive failure:<\/p>\n
platforms\/Cross\/plugins\/BochsIA32Plugin\/sqBochsIA32Plugin.cpp:<\/p>\n
\t        int
\n\t        runCPUInSizeMinAddressReadWrite(void cpu, void memory, ulong byteSize,
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        ulong minAddr, ulong minWriteMaxExecAddr)
\n\t        {
\n\t        \t        BX_CPU_C anx86 = (BX_CPU_C )cpu;<\/p>\n
\t        \t        if (anx86 != &bx_cpu)
\n\t        \t        \t        return BadCPUInstance;
\n\t        \t        theMemory = (unsigned char )memory;
\n\t        \t        theMemorySize = byteSize;
\n\t        \t        minReadAddress = minAddr;
\n\t        \t        minWriteAddress = minWriteMaxExecAddr;
\n\t        \t        if ((theErrorAcorn = setjmp(anx86->jmp_buf_env)) != 0) {
\n\t        \t        \t        anx86->gen_reg[BX_32BIT_REG_EIP].dword.erx = anx86->prev_rip;
\n\t        \t        \t        return theErrorAcorn;
\n\t        \t        }<\/p>\n
\t        \t        blidx = 0;
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_CS].cache.u.segment.limit_scaled
\n\t        \t        \t        = minWriteMaxExecAddr > 0 ? minWriteMaxExecAddr – 1 : 0;
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_DS].cache.u.segment.limit_scaled =
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_SS].cache.u.segment.limit_scaled = byteSize;
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_CS].cache.u.segment.limit = minWriteMaxExecAddr >> 16;
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_DS].cache.u.segment.limit =
\n\t        \t        bx_cpu.sregs[BX_SEG_REG_SS].cache.u.segment.limit = byteSize >> 16;
\n\t        \t        anx86->eipFetchPtr = theMemory;
\n\t        \t        anx86->eipPageWindowSize = minWriteMaxExecAddr;
\n\t        \t        bx_pc_system.kill_bochs_request = 0;
\n\t        \t        anx86->cpu_loop(0 \/ = "run forever" until exception or interupt \/);
\n\t        \t        if (anx86->stop_reason != STOP_NO_REASON) {
\n\t        \t        \t        anx86->gen_reg[BX_32BIT_REG_EIP].dword.erx = anx86->prev_rip;
\n\t        \t        \t        if (theErrorAcorn == NoError)
\n\t        \t        \t        \t        theErrorAcorn = ExecutionError;
\n\t        \t        \t        return theErrorAcorn;
\n\t        \t        }
\n\t        \t        return blidx == 0 ? 0 : SomethingLoggedError;
\n\t        }<\/font>
\n…
\n\t        void BX_CPU_C::access_read_linear(bx_address laddr, unsigned len, unsigned curr_pl, unsigned xlate_rw, void data)
\n\t        {
\n\t        \t        if (laddr < minReadAddress
\n\t        \t         || laddr + len > theMemorySize)
\n\t        \t        \t        longjmp(bx_cpu.jmp_buf_env,MemoryBoundsError);
\n\t        \t        last_read_address = laddr; \/ for RMW write cycles below \/
\n\t        \t        memcpy(data, theMemory + laddr, len);
\n\t        }<\/font><\/p>\n
Up in Smalltalk the primitive failure gets turned into a suitable exception:<\/p>\n
\t        BochsIA32Alien methods for primitives<\/i>
\n\t        primitiveRunInMemory:<\/b> <\/font>memoryArray<\/font> <\/font>"<Bitmap|ByteArray>"<\/font>
\n\t        \t        <\/font>minimumAddress:<\/b> <\/font>minimumAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        \t        <\/font>readOnlyBelow:<\/b> <\/font>minimumWritableAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>"Run the receiver using the argument as the store. Origin the argument at 0. i.e. the first byte of the<\/font>
\n\t        \t         memoryArray is address 0. Make addresses below minimumAddress illegal. Convert out-of-range<\/font>
\n\t        \t         call, jump and memory read\/writes into register instructions into ProcessorSimulationTrap signals."<\/font>
\n\t        \t        <\/font><<\/font>primitive:<\/b><\/font> <\/font>‘primitiveRunInMemoryMinimumAddressReadWrite’<\/font> <\/font>module:<\/b><\/font> <\/font>‘BochsIA32Plugin’<\/font> <\/font>error:<\/b><\/font> <\/font>ec<\/font>><\/font>
\n\t        \t        <\/font>^<\/font>ec<\/font> <\/font>==<\/font> <\/font>#’inappropriate operation’<\/font>
\n\t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>self<\/font> <\/font>handleExecutionPrimitiveFailureIn:<\/font> <\/font>memoryArray<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>minimumAddress:<\/font> <\/font>minimumAddress<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>readOnlyBelow:<\/font> <\/font>minimumWritableAddress<\/font>]<\/font>
\n\t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>self<\/font> <\/font>reportPrimitiveFailure<\/font>]<\/p>\n
<\/font>\t        BochsIA32Alien methods for error handling<\/i>
\n\t        <\/font>handleExecutionPrimitiveFailureIn:<\/b> <\/font>memoryArray<\/font> <\/font>"<Bitmap|ByteArray>"<\/font>
\n\t        \t        <\/font>minimumAddress:<\/b> <\/font>minimumAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        \t        <\/font>readOnlyBelow:<\/b> <\/font>minimumWritableAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>"Handle an execution primitive failure. Convert out-of-range call and absolute<\/font>
\n\t        <\/font>\t         memory read into register instructions into ProcessorSimulationTrap signals."<\/font>
\n\t        \t        <\/font>"self printIntegerRegistersOn: Transcript"<\/font>
\n\t        \t        <\/font>"self printRegistersOn: Transcript"<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>pc<\/font> <\/font>opcode<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>(<\/font>(<\/font>pc<\/font> <\/font>:=<\/b> <\/font>self<\/font> <\/font>eip<\/font>)<\/font> <\/font>between:<\/font> <\/font>minimumAddress<\/font> <\/font>and:<\/font> <\/font>memoryArray<\/font> <\/font>byteSize<\/font> <\/font>–<\/font> <\/font>1<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>opcode<\/font> <\/font>:=<\/b> <\/font>memoryArray<\/font> <\/font>byteAt:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>1<\/font>.
\n\t        \t        \t        <\/font>^<\/font>self<\/font>
\n\t        \t        \t        \t        <\/font>perform:<\/font> <\/font>(<\/font>OpcodeExceptionMap<\/font> <\/font>at:<\/font> <\/font>opcode<\/font> <\/font>+<\/font> <\/font>1<\/font>)<\/font>
\n\t        \t        \t        \t        <\/font>with:<\/font> <\/font>pc<\/font>
\n\t        \t        \t        \t        <\/font>with:<\/font> <\/font>memoryArray<\/font>
\n\t        \t        \t        \t        <\/font>with:<\/font> <\/font>minimumWritableAddress<\/font>]<\/font>.
\n\t        \t        <\/font>^<\/font>self<\/font> <\/font>reportPrimitiveFailure<\/p>\n
<\/font>\t        BochsIA32Alien class methods for class initialization<\/i>
\n\t        <\/font>initialize<\/b>
\n\t        <\/font>\t        <\/font>"BochsIA32Alien initialize"<\/font>
\n\t        <\/font>\t        <\/font>PostBuildStackDelta<\/font> <\/font>:=<\/b> <\/font>0<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>OpcodeExceptionMap<\/font> <\/font>:=<\/b> <\/font>Array<\/font> <\/font>new:<\/font> <\/font>256<\/font> <\/font>withAll:<\/font> <\/font>#handleExecutionPrimitiveFailureAt:in:readOnlyBelow:<\/font>.<\/font>
\n\t        <\/font>\t        <\/font>OpcodeExceptionMap<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>callOpcode<\/font>\t        \t        \t        <\/font>put:<\/font> <\/font>#handleCallFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>jmpOpcode<\/font>\t        \t        \t        <\/font>put:<\/font> <\/font>#handleJmpFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>retOpcode<\/font>\t        \t        \t        <\/font>put:<\/font> <\/font>#handleRetFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movALObOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovALObFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movObALOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovObALFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movGvEvOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovGvEvFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movEvGvOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovEvGvFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movGbEbOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovGbEbFailureAt:in:readOnlyBelow:<\/font>;<\/font>
\n\t        <\/font>\t        \t        <\/font>at:<\/font> <\/font>1<\/font> <\/font>+<\/font> <\/font>self<\/font> <\/font>basicNew<\/font> <\/font>movEbGbOpcode<\/font>\t        <\/font>put:<\/font> <\/font>#handleMovEbGbFailureAt:in:readOnlyBelow:<\/font><\/p>\n
and e.g.<\/p>\n
<\/font>\t        BochsIA32Alien methods for error handling<\/i>
\n\t        <\/font>handleCallFailureAt:<\/b> <\/font>pc<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>in:<\/b> <\/font>memoryArray<\/font> <\/font>"<Bitmap|ByteArray>"<\/font>
\n\t        \t        \t        <\/font>readOnlyBelow:<\/b> <\/font>minimumWritableAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>"Convert an execution primitive failure for a call into a ProcessorSimulationTrap signal."<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>relativeJump<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>relativeJump<\/font> <\/font>:=<\/b> <\/font>memoryArray<\/font> <\/font>longAt:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>2<\/font> <\/font>bigEndian:<\/font> <\/font>false<\/font>.
\n\t        \t        <\/font>^<\/font>(<\/font>ProcessorSimulationTrap
\n\t        \t        \t        \t        <\/font>pc:<\/font> <\/font>pc<\/font>
\n\t        \t        \t        \t        <\/font>nextpc:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>5<\/font>
\n\t        \t        \t        \t        <\/font>address:<\/font> <\/font>(<\/font>pc<\/font> <\/font>+<\/font> <\/font>5<\/font> <\/font>+<\/font> <\/font>relativeJump<\/font>)<\/font> <\/font>signedIntToLong<\/font>
\n\t        \t        \t        \t        <\/font>type:<\/font> <\/font>#call<\/font>)
\n\t        \t        \t        <\/font>signal<\/font><\/p>\n
\t        <\/font>handleMovGvEvFailureAt:<\/b> <\/font>pc<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>in:<\/b> <\/font>memoryArray<\/font> <\/font>"<Bitmap|ByteArray>"<\/font>
\n\t        \t        \t        <\/font>readOnlyBelow:<\/b> <\/font>minimumWritableAddress<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font>"Convert an execution primitive failure for a register load into a ProcessorSimulationTrap signal."<\/font>
\n\t        \t        <\/font>|<\/font> <\/font>modrmByte<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>^<\/font>(<\/font>(<\/font>(<\/font>modrmByte<\/font> <\/font>:=<\/b> <\/font>memoryArray<\/font> <\/font>byteAt:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>2<\/font>)<\/font> <\/font>bitAnd:<\/font> <\/font>16rC7<\/font>)<\/font> <\/font>=<\/font> <\/font>16r5<\/font>)<\/font> <\/font>"ModRegInd & disp32"<\/font>
\n\t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>(<\/font>ProcessorSimulationTrap
\n\t        \t        \t        \t        \t        \t        <\/font>pc:<\/font> <\/font>pc<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>nextpc:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>6<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>address:<\/font> <\/font>(<\/font>memoryArray<\/font> <\/font>unsignedLongAt:<\/font> <\/font>pc<\/font> <\/font>+<\/font> <\/font>3<\/font> <\/font>bigEndian:<\/font> <\/font>false<\/font>)<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>type:<\/font> <\/font>#read<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>accessor:<\/font> <\/font>(<\/font>#(<\/font>eax:<\/font> <\/font>ecx:<\/font> <\/font>edx:<\/font> <\/font>ebx:<\/font> <\/font>esp:<\/font> <\/font>ebp:<\/font> <\/font>esi:<\/font> <\/font>edi:<\/font>)<\/font> <\/font>at:<\/font> <\/font>(<\/font>(<\/font>modrmByte<\/font> <\/font>>><\/font> <\/font>3<\/font> <\/font>bitAnd:<\/font> <\/font>7<\/font>)<\/font> <\/font>+<\/font> <\/font>1<\/font>)<\/font>)<\/font>)<\/font>
\n\t        \t        \t        \t        \t        <\/font>signal<\/font>]
\n\t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>reportPrimitiveFailure<\/font>]<\/p>\n
The exception handler for ProcessorSimulationTraps is in the Cogit’s core machine-code simulation entry-point. I’m going to include it warts and all, since I think there’s lots of interest here. The exception handler almost right at the end.<\/p>\n
\t        <\/font>Cogit methods for simulation only<\/i><\/font>
\n\t        <\/font>simulateCogCodeAt:<\/b> <\/font>address<\/font> <\/font>"<Integer>"<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>>
\n\t        \t        <\/font>|<\/font> <\/font>stackZoneBase<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>stackZoneBase<\/font> <\/font>:=<\/b> <\/font>coInterpreter<\/font> <\/font>stackZoneBase<\/font>.
\n\t        \t        <\/font>processor<\/font> <\/font>eip:<\/font> <\/font>address<\/font>.
\n\t        \t        <\/font>[<\/font>[<\/font>[<\/font>singleStep<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>[<\/font>processor<\/font> <\/font>sp<\/font> <\/font><<\/font> <\/font>stackZoneBase<\/font> <\/font>ifTrue:<\/font> <\/font>[<\/font>self<\/font> <\/font>halt<\/font>]<\/font>.
\n\t        \t        \t         <\/font>self<\/font> <\/font>recordRegisters<\/font>.
\n\t        \t        \t         <\/font>printRegisters<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>processor<\/font> <\/font>printRegistersOn:<\/font> <\/font>coInterpreter<\/font> <\/font>transcript<\/font>]<\/font>.
\n\t        \t        \t         <\/font>self<\/font> <\/font>recordLastInstruction<\/font>.
\n\t        \t        \t         <\/font>printInstructions<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>Transcript<\/font> <\/font>nextPutAll:<\/font> <\/font>lastNInstructions<\/font> <\/font>last<\/font>;<\/font> <\/font>cr<\/font>;<\/font> <\/font>flush<\/font>]<\/font>.
\n\t        \t        \t         <\/font>(<\/font>breakPC<\/font> <\/font>isInteger<\/font>
\n\t        \t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        \t        <\/font>[<\/font>processor<\/font> <\/font>pc<\/font> <\/font>=<\/font> <\/font>breakPC
\n\t        \t        \t        \t        \t         <\/font>and:<\/font> <\/font>[<\/font>breakBlock<\/font> <\/font>value:<\/font> <\/font>self<\/font>]<\/font>]<\/font>
\n\t        \t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        \t        <\/font>[<\/font>breakBlock<\/font> <\/font>value:<\/font> <\/font>self<\/font>]<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>"printRegisters := printInstructions := true"<\/font>
\n\t        \t        \t        \t         <\/font>"self reportLastNInstructions"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter printExternalHeadFrame"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter printFrameAndCallers: coInterpreter framePointer SP: coInterpreter stackPointer"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter shortPrintFrameAndCallers: coInterpreter framePointer"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter printFrame: processor fp WithSP: processor sp"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter printFrameAndCallers: processor fp SP: processor sp"<\/font>
\n\t        \t        \t        \t         <\/font>"coInterpreter shortPrintFrameAndCallers: processor fp"<\/font>
\n\t        \t        \t        \t        <\/font>"self disassembleMethodFor: processor pc"<\/font>
\n\t        \t        \t        \t         <\/font>coInterpreter<\/font> <\/font>changed:<\/font> <\/font>#byteCountText<\/font>.
\n\t        \t        \t        \t         <\/font>self<\/font> <\/font>halt:<\/font> <\/font>‘machine code breakpoint at ‘<\/font>,<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>(<\/font>breakPC<\/font> <\/font>isInteger<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>breakPC<\/font> <\/font>hex<\/font>]<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>String<\/font> <\/font>streamContents:<\/font> <\/font>[<\/font>:<\/font>s<\/font>|<\/font> <\/font>breakBlock<\/font> <\/font>decompile<\/font> <\/font>printOn:<\/font> <\/font>s<\/font> <\/font>indent:<\/font> <\/font>0<\/font>]<\/font>]<\/font>)<\/font>]<\/font>]<\/font> <\/font>value<\/font>]<\/font>.<\/font> <\/font>"So that the Debugger’s Over steps over all this"<\/font>
\n\t        \t         <\/font>singleStep
\n\t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>processor
\n\t        \t        \t        \t        \t        \t        <\/font>singleStepIn:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>minimumAddress:<\/font> <\/font>guardPageSize
\n\t        \t        \t        \t        \t        \t        <\/font>readOnlyBelow:<\/font> <\/font>coInterpreter<\/font> <\/font>cogCodeSize<\/font>]<\/font>
\n\t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>processor
\n\t        \t        \t        \t        \t        \t        <\/font>runInMemory:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>minimumAddress:<\/font> <\/font>guardPageSize
\n\t        \t        \t        \t        \t        \t        <\/font>readOnlyBelow:<\/font> <\/font>coInterpreter<\/font> <\/font>cogCodeSize<\/font>]<\/font>.
\n\t        \t         <\/font>(<\/font>(<\/font>printRegisters<\/font> <\/font>or:<\/font> <\/font>[<\/font>printInstructions<\/font>]<\/font>)<\/font> <\/font>and:<\/font> <\/font>[<\/font>clickConfirm<\/font>]<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t         \t        <\/font>[<\/font>(<\/font>self<\/font> <\/font>confirm:<\/font> <\/font>‘continue?’<\/font>)<\/font> <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>halt<\/font>]<\/font>]<\/font>.
\n\t        \t         <\/font>true<\/font>]<\/font> <\/font>whileTrue<\/font>]<\/font>
\n\t        \t        \t        <\/font>on:<\/font> <\/font>ProcessorSimulationTrap
\n\t        \t        \t        <\/font>do:<\/font> <\/font>[<\/font>:<\/font>ex<\/font>|<\/font> <\/font>self<\/font> <\/font>handleSimulationTrap:<\/font> <\/font>ex<\/font>]<\/font>.
\n\t        \t         <\/font>true<\/font>]<\/font> <\/font>whileTrue
\n<\/font>
\nOne of the first things to notice is that it’s peppered with useful expressions I can evaluate when in the debugger. The second thing to notice is that when single-stepping this is like the In-Circuit-Emulator from the 22nd century. You can define just about any break-point function you can imagine and assign it to breakBlock, and it’ll be evaluated every instruction. The single-stepper can capture the last N instructions and register states so that one can look back at the instructions executed immediately before an error. It will print individual instructions and the registers to the transcript. It makes machine-code debugging verge on the enjoyable, and certainly leaves things like gdb in the dust.<\/p>\n
OK, so here’s the core exception handler<\/p>\n

\n\t        <\/font>Cogit methods for simulation only<\/i><\/font>
\n\t        handleSimulationTrap:<\/b> <\/font>aProcessorSimulationTrap<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>aProcessorSimulationTrap<\/font> <\/font>type<\/font> <\/font>caseOf:<\/font>
\n\t        \t        \t        <\/font>{<\/font> <\/font>[<\/font>#read<\/font>]<\/font> <\/font>-><\/font> <\/font>[<\/font>self<\/font> <\/font>handleReadSimulationTrap:<\/font> <\/font>aProcessorSimulationTrap<\/font>]<\/font>.<\/font>
\n\t        \t        \t         <\/font>[<\/font>#write<\/font>]<\/font> <\/font>-><\/font> <\/font>[<\/font>self<\/font> <\/font>handleWriteSimulationTrap:<\/font> <\/font>aProcessorSimulationTrap<\/font>]<\/font>.<\/font>
\n\t        \t        \t         <\/font>[<\/font>#call<\/font>]<\/font> <\/font>-><\/font> <\/font>[<\/font>self<\/font> <\/font>handleCallOrJumpSimulationTrap:<\/font> <\/font>aProcessorSimulationTrap<\/font>]<\/font>.<\/font>
\n\t        \t        \t         <\/font>[<\/font>#jump<\/font>]<\/font> <\/font>-><\/font> <\/font>[<\/font>self<\/font> <\/font>handleCallOrJumpSimulationTrap:<\/font> <\/font>aProcessorSimulationTrap<\/font>]<\/font> <\/font>}<\/font><\/p>\n
and e.g.<\/p>\n
\t        handleReadSimulationTrap:<\/b> <\/font>aProcessorSimulationTrap<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>|<\/font> <\/font>variableValue<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>variableValue<\/font> <\/font>:=<\/b> <\/font>(<\/font>simulatedVariableGetters<\/font> <\/font>at:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>)<\/font> <\/font>value<\/font> <\/font>asInteger<\/font>.<\/font>
\n\t        \t        <\/font>processor<\/font>
\n\t        \t        \t        <\/font>perform:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>registerAccessor<\/font>
\n\t        \t        \t        <\/font>with:<\/font> <\/font>variableValue<\/font> <\/font>signedIntToLong<\/font>.<\/font>
\n\t        \t        <\/font>processor<\/font> <\/font>pc:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>nextpc<\/font><\/p>\n
and (gulp)<\/p>\n
\t        handleCallOrJumpSimulationTrap:<\/b> <\/font>aProcessorSimulationTrap<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>><\/font>
\n\t        \t        <\/font>|<\/font> <\/font>evaluable<\/font> <\/font>function<\/font> <\/font>result<\/font> <\/font>savedFramePointer<\/font> <\/font>savedStackPointer<\/font> <\/font>savedArgumentCount<\/font> <\/font>rpc<\/font> <\/font>|<\/font>
\n\t        \t        <\/font>evaluable<\/font> <\/font>:=<\/b> <\/font>simulatedTrampolines<\/font> <\/font>at:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>.<\/font>
\n\t        \t        <\/font>function<\/font> <\/font>:=<\/b> <\/font>evaluable<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>isBlock<\/font> <\/font>ifTrue:<\/font> <\/font>[<\/font>‘aBlock; probably some plugin primitive’<\/font>]<\/font>
\n\t        \t        \t        \t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>evaluable<\/font> <\/font>selector<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>function<\/font> <\/font><\/font> <\/font>#ceBaseFrameReturn:<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>coInterpreter<\/font> <\/font>assertValidExternalStackPointers<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>(<\/font>function<\/font> <\/font>beginsWith:<\/font> <\/font>‘ceShort’<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>^<\/font>self<\/font> <\/font>perform:<\/font> <\/font>function<\/font> <\/font>with:<\/font> <\/font>aProcessorSimulationTrap<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>aProcessorSimulationTrap<\/font> <\/font>type<\/font> <\/font>=<\/font> <\/font>#call<\/font>
\n\t        \t        \t        <\/font>ifTrue:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>processor<\/font>
\n\t        \t        \t        \t        \t        <\/font>simulateCallOf:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>
\n\t        \t        \t        \t        \t        <\/font>nextpc:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>nextpc<\/font>
\n\t        \t        \t        \t        \t        <\/font>memory:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>.<\/font>
\n\t        \t        \t        \t        <\/font>self<\/font> <\/font>recordInstruction:<\/font> <\/font>{<\/font>‘(simulated call of ‘<\/font>.<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>.<\/font> <\/font>‘\/’<\/font>.<\/font> <\/font>function<\/font>.<\/font> <\/font>‘)’<\/font>}<\/font>]<\/font>
\n\t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        <\/font>[<\/font>processor<\/font>
\n\t        \t        \t        \t        \t        <\/font>simulateJumpCallOf:<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>
\n\t        \t        \t        \t        \t        <\/font>memory:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>.<\/font>
\n\t        \t        \t        \t         <\/font>self<\/font> <\/font>recordInstruction:<\/font> <\/font>{<\/font>‘(simulated jump to ‘<\/font>.<\/font> <\/font>aProcessorSimulationTrap<\/font> <\/font>address<\/font>.<\/font> <\/font>‘\/’<\/font>.<\/font> <\/font>function<\/font>.<\/font> <\/font>‘)’<\/font>}<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>savedFramePointer<\/font> <\/font>:=<\/b> <\/font>coInterpreter<\/font> <\/font>framePointer<\/font>.<\/font>
\n\t        \t        <\/font>savedStackPointer<\/font> <\/font>:=<\/b> <\/font>coInterpreter<\/font> <\/font>stackPointer<\/font>.<\/font>
\n\t        \t        <\/font>savedArgumentCount<\/font> <\/font>:=<\/b> <\/font>coInterpreter<\/font> <\/font>argumentCount<\/font>.<\/font>
\n\t        \t        <\/font>result<\/font> <\/font>:=<\/b> <\/font>[<\/font>"self halt: evaluable selector."<\/font>
\n\t        \t        \t        \t         <\/font>evaluable<\/font> <\/font>valueWithArguments:<\/font> <\/font>(<\/font>processor<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>postCallArgumentsNumArgs:<\/font> <\/font>evaluable<\/font> <\/font>numArgs<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>in:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>)<\/font>]<\/font>
\n\t        \t        \t        \t        \t        <\/font>on:<\/font> <\/font>ReenterMachineCode<\/font>
\n\t        \t        \t        \t        \t        <\/font>do:<\/font> <\/font>[<\/font>:<\/font>ex<\/font>|<\/font> <\/font>ex<\/font> <\/font>return:<\/font> <\/font>ex<\/font> <\/font>returnValue<\/font>]<\/font>.<\/font>
\n\t        \t        \t        \t        <\/font>
\n\t        \t        <\/font>coInterpreter<\/font> <\/font>assertValidExternalStackPointers<\/font>.<\/font>
\n\t        \t        <\/font>"Verify the stack layout assumption compileInterpreterPrimitive: makes, provided we’ve<\/font>
\n\t        \t         not called something that has built a frame, such as closure value or evaluate method, or<\/font>
\n\t        \t         switched frames, such as primitiveSignal, primitiveWait, primitiveResume, primitiveSuspend et al."<\/font>
\n\t        \t        <\/font>(<\/font>function<\/font> <\/font>beginsWith:<\/font> <\/font>‘primitive’<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>coInterpreter<\/font> <\/font>primFailCode<\/font> <\/font>=<\/font> <\/font>0<\/font>
\n\t        \t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>(<\/font>#(<\/font>\t        <\/font>primitiveClosureValue<\/font> <\/font>primitiveClosureValueWithArgs<\/font> <\/font>primitiveClosureValueNoContextSwitch<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>primitiveSignal<\/font> <\/font>primitiveWait<\/font> <\/font>primitiveResume<\/font> <\/font>primitiveSuspend<\/font> <\/font>primitiveYield<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>primitiveExecuteMethodArgsArray<\/font> <\/font>primitiveExecuteMethod<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>primitivePerform<\/font> <\/font>primitivePerformWithArgs<\/font> <\/font>primitivePerformInSuperclass<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>primitiveTerminateTo<\/font> <\/font>primitiveStoreStackp<\/font> <\/font>primitiveDoPrimitiveWithArgs<\/font>)<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        <\/font>includes:<\/font> <\/font>function<\/font>)<\/font> <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        \t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>assert:<\/font> <\/font>savedFramePointer<\/font> <\/font>=<\/font> <\/font>coInterpreter<\/font> <\/font>framePointer<\/font>.<\/font>
\n\t        \t        \t        \t        \t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>savedStackPointer<\/font> <\/font>+<\/font> <\/font>(<\/font>savedArgumentCount<\/font> <\/font><\/font> <\/font>BytesPerWord<\/font>)<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>=<\/font> <\/font>coInterpreter<\/font> <\/font>stackPointer<\/font>]<\/font>]<\/font>
\n\t        \t        \t        \t        <\/font>ifFalse:<\/font>
\n\t        \t        \t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>assert:<\/font> <\/font>savedFramePointer<\/font> <\/font>=<\/font> <\/font>coInterpreter<\/font> <\/font>framePointer<\/font>.<\/font>
\n\t        \t        \t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>savedStackPointer<\/font> <\/font>=<\/font> <\/font>coInterpreter<\/font> <\/font>stackPointer<\/font>]<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>result<\/font> <\/font><\/font> <\/font>#continueNoReturn<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>self<\/font> <\/font>recordInstruction:<\/font> <\/font>{<\/font>‘(simulated return to ‘<\/font>.<\/font> <\/font>processor<\/font> <\/font>retpcIn:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>.<\/font> <\/font>‘)’<\/font>}<\/font>.<\/font>
\n\t        \t        \t         <\/font>rpc<\/font> <\/font>:=<\/b> <\/font>processor<\/font> <\/font>retpcIn:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>.<\/font>
\n\t        \t        \t         <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>rpc<\/font> <\/font>>=<\/font> <\/font>codeBase<\/font> <\/font>and:<\/font> <\/font>[<\/font>rpc<\/font> <\/font><<\/font> <\/font>methodZone<\/font> <\/font>zoneLimit<\/font>]<\/font>)<\/font>.<\/font>
\n\t        \t        \t         <\/font>processor<\/font>
\n\t        \t        \t        \t        <\/font>smashCallerSavedRegistersWithValuesFrom:<\/font> <\/font>16r80000000<\/font> <\/font>by:<\/font> <\/font>BytesPerWord<\/font>;<\/font>
\n\t        \t        \t        \t        <\/font>simulateReturnIn:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>]<\/font>.<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>result<\/font> <\/font>isInteger<\/font> <\/font>"an oop result"<\/font>
\n\t        \t        \t        \t        <\/font>or:<\/font> <\/font>[<\/font>result<\/font> <\/font>==<\/font> <\/font>coInterpreter<\/font>
\n\t        \t        \t        \t        <\/font>or:<\/font> <\/font>[<\/font>result<\/font> <\/font>==<\/font> <\/font>objectMemory<\/font>
\n\t        \t        \t        \t        <\/font>or:<\/font> <\/font>[<\/font>#(<\/font>nil<\/font> <\/font>continue<\/font> <\/font>continueNoReturn<\/font>)<\/font> <\/font>includes:<\/font> <\/font>result<\/font>]<\/font>]<\/font>]<\/font>)<\/font>.<\/font>
\n\t        \t        <\/font>processor<\/font> <\/font>cResultRegister:<\/font> <\/font>(<\/font>result<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifNil:<\/font> <\/font>[<\/font>0<\/font>]<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifNotNil:<\/font> <\/font>[<\/font>result<\/font> <\/font>isInteger<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifTrue:<\/font> <\/font>[<\/font>result<\/font>]<\/font>
\n\t        \t        \t        \t        \t        \t        \t        \t        \t        \t        \t        <\/font>ifFalse:<\/font> <\/font>[<\/font>16rF00BA222<\/font>]<\/font>]<\/font>)<\/p>\n
Now <\/font>handleCallOrJumpSimulationTrap:<\/b> is anything but simple, but it does a lot. Its main complication comes from assert-checking. Most of the time when the simulator sends a message to the CoInterpreter (e.g. that of a run-time routine) we expect that the stack frame has not changed when we return. But for a particular set of primitives and run-time routines that isn’t so and hence the stack assertions must be avoided in their case. On return to machine code any caller-saved registers could contain arbitrary values, and on reentry to machine code any and all registers could contain arbitrary values so we smash them to avoid values persisting in the simulated processor from the time of a simulated call. This is also one place where the simulation of enilopmarts, jumps back into machine-code, has to be handled specially to avoid uncontrolled Smalltalk stack growth, henc the signal of ReenterMachineCode.<\/p>\n
\t        <\/font>Cogit methods for simulation only<\/i><\/font>
\n\t        <\/font>simulateEnilopmart:<\/b> <\/font>enilopmartAddress<\/font> <\/font>numArgs:<\/b> <\/font>n<\/font>
\n\t        \t        <\/font><<\/font>doNotGenerate<\/b><\/font>>
\n\t        \t        <\/font>"Enter Cog code, popping the class reg and receiver from the stack<\/font>
\n\t        <\/font>\t         and then returning to the address beneath them.<\/font>
\n\t        <\/font>\t         In the actual VM the enilopmart is a function pointer and so senders<\/font>
\n\t        <\/font>\t         of this method end up calling the enilopmart to enter machine code.<\/font>
\n\t        <\/font>\t         In simulation we either need to start simulating execution (if we’re in<\/font>
\n\t        <\/font>\t         the interpreter) or return to the simulation (if we’re in the run-time<\/font>
\n\t        <\/font>\t         called from machine code. We should also smash the register state<\/font>
\n\t        <\/font>\t         since, being an abnormal entry, no saved registers will be restored."<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>coInterpreter<\/font> <\/font>isOnRumpCStack:<\/font> <\/font>processor<\/font> <\/font>sp<\/font>)<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>(<\/font>(<\/font>coInterpreter<\/font> <\/font>stackValue:<\/font> <\/font>n<\/font>)<\/font> <\/font>between:<\/font> <\/font>guardPageSize<\/font> <\/font>and:<\/font> <\/font>methodZone<\/font> <\/font>zoneLimit<\/font> <\/font>–<\/font> <\/font>1<\/font>)<\/font>.
\n\t        \t        <\/font>(<\/font>printInstructions<\/font> <\/font>or:<\/font> <\/font>[<\/font>printRegisters<\/font>]<\/font>)<\/font> <\/font>ifTrue:<\/font>
\n\t        \t        \t        <\/font>[<\/font>coInterpreter<\/font> <\/font>printExternalHeadFrame<\/font>]<\/font>.
\n\t        \t        <\/font>processor
\n\t        \t        \t        <\/font>smashRegistersWithValuesFrom:<\/font> <\/font>16r80000000<\/font> <\/font>by:<\/font> <\/font>BytesPerWord<\/font>;
\n\t        \t        \t        <\/font>simulateLeafCallOf:<\/font> <\/font>enilopmartAddress<\/font>
\n\t        \t        \t        <\/font>nextpc:<\/font> <\/font>16rBADF00D<\/font>
\n\t        \t        \t        <\/font>memory:<\/font> <\/font>coInterpreter<\/font> <\/font>memory<\/font>.
\n\t        \t        <\/font>"If we’re already simulating in the context of machine code then<\/font>
\n\t        <\/font>\t         this will take us back to handleCallSimulationTrap:. Otherwise<\/font>
\n\t        <\/font>\t         start executing machine code in the simulator."<\/font>
\n\t        \t        <\/font>(<\/font>ReenterMachineCode<\/font> <\/font>new<\/font> <\/font>returnValue:<\/font> <\/font>#continueNoReturn<\/font>)<\/font> <\/font>signal<\/font>.
\n\t        \t        <\/font>self<\/font> <\/font>simulateCogCodeAt:<\/font> <\/font>enilopmartAddress<\/font>.
\n\t        \t        <\/font>"We should either longjmp back to the interpreter or<\/font>
\n\t        <\/font>\t         stay in machine code so control should not reach here."<\/font>
\n\t        \t        <\/font>self<\/font> <\/font>assert:<\/font> <\/font>false<\/font><\/p>\n
With the above machinery machine code can freely access variables and methods of the written-in -Smalltalk simulated VM. So for example, here’s the trampoline that calls <\/font>ceReturnToInterpreter:<\/p>\n
\t        <\/font>ceReturnToInterpreterTrampoline:
\n\t        \t        00000958: movl %ebp, %ds:0xfffffe6c=&framePointer : 89 2D 6C FE FF FF
\n\t        \t        0000095e: movl %esp, %ds:0xfffffe68=&stackPointer : 89 25 68 FE FF FF
\n\t        \t        00000964: movl %ds:0x10d538, %esp : 8B 25 38 D5 10 00
\n\t        \t        0000096a: movl %ds:0x10d530, %ebp : 8B 2D 30 D5 10 00
\n\t        \t        00000970: subl $0x0000000c, %esp : 83 EC 0C
\n\t        \t        00000973: pushl %edx : 52
\n\t        \t        00000974: call .+0xfffff49f (0xfffffe18=&ceReturnToInterpreter:) : E8 9F F4 FF FF
\n\t        \t        00000979: movl %ds:0xfffffe68=&stackPointer, %esp : 8B 25 68 FE FF FF
\n\t        \t        0000097f: movl %ds:0xfffffe6c=&framePointer, %ebp : 8B 2D 6C FE FF FF
\n\t        \t        00000985: ret : C3
\n\t        \t        00000986: nop : 90
\n\t        \t        00000987: nop : 90 <\/p>\n
To save time when simulating I hold CStackPointer and CFramePointer in the byte array that holds the entire heap. But framePointer & stackPointer, instance variables of the CoInterpreter, and ceReturnToInterpreter:, a method in the CoInterpreter all have illegal addresses and get accessed via the ProcessorSimulationTrap exception machinery above. The end result is that in the simulator I generate exactly equivalent machine code to that executed by the production generated-to-C VM and I’m pretty confident that this approach has resulted in far fewer code generation bugs in unsimulated code than otherwise. Almost all machine code generation bugs show up in the simulator, and as you can imagine it’s quite a powerful development tool.
\n
\n<\/font>So an arranged marriage, certainly, with some complex communications issues, but a successful one I think.<\/body><\/html><\/p>\n
\t
\t\t \t\t $\"\"$ <\/a> \t\t  <\/span> \t\tSend article as PDF<\/span> \t\t  <\/span> \t\t \t\t \t<\/form> <\/div>","protected":false},"excerpt":{"rendered":"
Can an arranged marriage be a perfect one, or can only a love-match result in the truly perfect union? Is perfection when two hearts beat as one, when Kate submits to Petruchio, or when Mr. accepts that Mrs. is wearing the trousers? Personally I don’t think there’s such a thing as a perfect marriage. All […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[],"_links":{"self":[{"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/posts\/100"}],"collection":[{"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/comments?post=100"}],"version-history":[{"count":5,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/posts\/100\/revisions"}],"predecessor-version":[{"id":105,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/posts\/100\/revisions\/105"}],"wp:attachment":[{"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/media?parent=100"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/categories?post=100"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.mirandabanda.org\/cogblog\/wp-json\/wp\/v2\/tags?post=100"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}