Vm-dev October 2020

vm-dev@lists.squeakfoundation.org

26 participants
351 discussions

VM Maker: VMMaker.oscog-eem.2865.mcz
by commits＠source.squeak.org 30 Oct '20

30 Oct '20

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2865.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2865 Author: eem Time: 30 October 2020, 7:58:58.320942 am UUID: f9e6957e-d20a-47ba-b579-29e37af6cef3 Ancestors: VMMaker.oscog-eem.2864 Get the CoInterpreterMT to simulate. Refactor _setjmp:/_longjmp:_: for the added use for reentering the thread scheduling loop. =============== Diff against VMMaker.oscog-eem.2864 =============== Item was changed: ----- Method: CoInterpreter>>_longjmp:_: (in category 'cog jit support') ----- _longjmp: aJumpBuf _: returnValue "Hack simulation of _setjmp/_longjmp, intended to invoke the most minimal setjmp/longjmp pair available on the platform; no saving/restoring signal masks, no stack unwinding, etc. Signal the exception that simulates a longjmp back to the interpreter." <doNotGenerate> + self halt: 'This should not be encountered now we use ceInvokeInterpreter!!!!'! - self halt: 'This should not be encountered now we use ceInvokeInterpreter!!!!'. - (aJumpBuf == reenterInterpreter - and: [returnValue ~= 2 "2 == returnToThreadSchedulingLoopVia:"]) ifTrue: - [self assert: (self isOnRumpCStack: cogit processor sp). - self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer imbar: true line: nil]. - aJumpBuf returnValue: returnValue; signal! Item was changed: CoInterpreterPrimitives subclass: #CoInterpreterMT + instanceVariableNames: 'cogThreadManager checkThreadActivation maxWaitingPriority foreignCallbackPriority deferThreadSwitch disowningVMThread disownCount foreignCallbackProcessSlot willNotThreadWarnCount activeProcessAffined relinquishing processHasThreadId noThreadingOfGUIThread reenterThreadSchedulingLoop' - instanceVariableNames: 'cogThreadManager checkThreadActivation maxWaitingPriority foreignCallbackPriority deferThreadSwitch disowningVMThread disownCount foreignCallbackProcessSlot willNotThreadWarnCount activeProcessAffined relinquishing processHasThreadId noThreadingOfGUIThread' classVariableNames: 'DisownFlagsShift DisownVMForProcessorRelinquish LockGUIThreadFlag LockGUIThreadShift OwnVMForeignThreadFlag ProcessUnaffinedOnDisown ReturnToThreadSchedulingLoop VMAlreadyOwnedHenceDoNotDisown' poolDictionaries: 'VMThreadingConstants' category: 'VMMaker-Multithreading'! Item was added: + ----- Method: CoInterpreterMT>>_longjmp:_: (in category 'cog jit support') ----- + _longjmp: aJumpBuf _: returnValue + "Hack simulation of _setjmp/_longjmp, intended to invoke the most minimal setjmp/longjmp + pair available on the platform; no saving/restoring signal masks, no stack unwinding, etc. + Signal the exception that simulates a longjmp back to the interpreter." + <doNotGenerate> + self assert: aJumpBuf == reenterThreadSchedulingLoop. + aJumpBuf returnValue: returnValue; signal! Item was changed: ----- Method: CoInterpreterMT>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift super initializeInterpreter: bytesToShift. foreignCallbackProcessSlot := (objectMemory lengthOf: objectMemory specialObjectsOop) > ForeignCallbackProcess ifTrue: [ForeignCallbackProcess] + ifFalse: [NilObject]. + self cCode: '' inSmalltalk: + [reenterThreadSchedulingLoop := ReenterThreadSchedulingLoop new]. + ! - ifFalse: [NilObject]! Item was added: + ----- Method: CoInterpreterMT>>initializeProcessorStackForSimulation: (in category 'initialization') ----- + initializeProcessorStackForSimulation: vmThread + <inline: #always> + self cCode: [] inSmalltalk: + [| range | + range := self cStackRangeForThreadIndex: vmThread index. + cogit processor + setFramePointer: range last + stackPointer: range last - 32]! Item was changed: ----- Method: CoInterpreterMT>>mapInterpreterOops (in category 'object memory support') ----- mapInterpreterOops "Map all oops in the interpreter's state to their new values during garbage collection or a become: operation." "Assume: All traced variables contain valid oops." <var: #vmThread type: #'CogVMThread *'> super mapInterpreterOops. "Per-thread state; trace each thread's own newMethod and stack of awol processes." 1 to: cogThreadManager getNumThreads do: [:i| | vmThread | vmThread := cogThreadManager vmThreadAt: i. vmThread state ifNotNil: [(vmThread newMethodOrNull notNil and: [objectMemory shouldRemapOop: vmThread newMethodOrNull]) ifTrue: [vmThread newMethodOrNull: (objectMemory remapObj: vmThread newMethodOrNull)]. 0 to: vmThread awolProcIndex - 1 do: [:j| (objectMemory shouldRemapOop: (vmThread awolProcesses at: j)) ifTrue: + [vmThread awolProcesses at: j put: (objectMemory remapObj: (vmThread awolProcesses at: j))]]]]! - [vmThread awolProcesses at: j put: (objectMemory remap: (vmThread awolProcesses at: j))]]]]! Item was changed: ----- Method: CoInterpreterMT>>returnToSchedulingLoopAndReleaseVMOrWakeThread:source: (in category 'process primitive support') ----- returnToSchedulingLoopAndReleaseVMOrWakeThread: vmThread source: source <var: #vmThread type: #'CogVMThread *'> <inline: false> self cCode: [self flag: 'this is just for debugging. Note the current C stack pointers'. cogThreadManager currentVMThread cStackPointer: CStackPointer; cFramePointer: CFramePointer] inSmalltalk: [| range | range := self cStackRangeForThreadIndex: cogThreadManager getVMOwner. self assert: (range includes: CStackPointer). self assert: (range includes: CFramePointer)]. self recordThreadSwitchTo: (vmThread ifNotNil: [vmThread index] ifNil: [0]) source: source. vmThread ifNotNil: [cogThreadManager wakeVMThreadFor: vmThread index] ifNil: [cogThreadManager releaseVM]. + "I am not frightened of flying. + Any value will do. I don't mind. + Why should I be frightened of flying? + There's no reason for it." + self _longjmp: reenterThreadSchedulingLoop _: 1 ! - "2 implies returning to the threadSchedulingLoop." - self shouldBeImplemented. - "was: self _longjmp: savedReenterInterpreter _: ReturnToThreadSchedulingLoop. - But now we have ceInvokeInterpret, not reenterInterpreter, so we have to fugure out a new way in..."! Item was changed: ----- Method: CoInterpreterMT>>threadSchedulingLoop: (in category 'vm scheduling') ----- threadSchedulingLoop: vmThread "Enter a loop attempting to run the VM with the highest priority process and blocking on the thread's OS semaphore when unable to run that process. + This version is for simulation only, simulating the longjmp back to the real + threadSchedulingLoopImplementation: through exception handling." + + <cmacro: '(vmThread) threadSchedulingLoopImplementation(vmThread)'> + self initializeProcessorStackForSimulation: vmThread. + [([self threadSchedulingLoopImplementation: vmThread] + on: ReenterThreadSchedulingLoop + do: [:ex| ex return: ex returnValue]) = ReenterThreadSchedulingLoop] whileTrue! - We will return to this via threadSwitchIfNecessary:from: which is called in the - middle of transferTo:from: once the active process has been stored in the scheduler." - <var: #vmThread type: #'CogVMThread *'> - | attemptToRun | - <inline: false> - [self assert: vmThread state = CTMAssignableOrInVM. - attemptToRun := false. - (cogThreadManager getVMOwner = vmThread index) - ifTrue: [attemptToRun := true] - ifFalse: - [(cogit tryLockVMToIndex: vmThread index) ifTrue: - ["If relinquishing is true, then primitiveRelinquishProcessor has disowned the - VM and only a returning call or callback should take ownership in that case." - relinquishing - ifTrue: [cogThreadManager releaseVM] - ifFalse: [attemptToRun := true]]]. - attemptToRun ifTrue: - [self tryToExecuteSmalltalk: vmThread]. - (cogThreadManager testVMOwnerIs: vmThread index) ifFalse: - [cogThreadManager waitForWork: vmThread]. - true] whileTrue! Item was added: + ----- Method: CoInterpreterMT>>threadSchedulingLoopImplementation: (in category 'vm scheduling') ----- + threadSchedulingLoopImplementation: vmThread + "Enter a loop attempting to run the VM with the highest priority process and + blocking on the thread's OS semaphore when unable to run that process. + We will return to this via threadSwitchIfNecessary:from: which is called in the + middle of transferTo:from: once the active process has been stored in the scheduler." + <var: #vmThread type: #'CogVMThread *'> + | attemptToRun | + <inline: false> + self _setjmp: reenterThreadSchedulingLoop. + [self assert: vmThread state = CTMAssignableOrInVM. + attemptToRun := false. + (cogThreadManager getVMOwner = vmThread index) + ifTrue: [attemptToRun := true] + ifFalse: + [(cogit tryLockVMToIndex: vmThread index) ifTrue: + ["If relinquishing is true, then primitiveRelinquishProcessor has disowned the + VM and only a returning call or callback should take ownership in that case." + relinquishing + ifTrue: [cogThreadManager releaseVM] + ifFalse: [attemptToRun := true]]]. + attemptToRun ifTrue: + [self tryToExecuteSmalltalk: vmThread]. + (cogThreadManager testVMOwnerIs: vmThread index) ifFalse: + [cogThreadManager waitForWork: vmThread]. + true] whileTrue! Item was added: + ----- Method: CogVMSimulator>>_longjmp:_: (in category 'multi-threading simulation switch') ----- + _longjmp: aJumpBuf _: returnValue + "This method includes or excludes CoInterpreterMT methods as required. + Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" + + ^self perform: #'_longjmp:_:' + withArguments: {aJumpBuf. returnValue} + inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was added: + Notification subclass: #ReenterThreadSchedulingLoop + instanceVariableNames: 'returnValue' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-JITSimulation'! Item was changed: ----- Method: StackInterpreter>>_setjmp: (in category 'primitive support') ----- _setjmp: aJumpBuf "Hack simulation of _setjmp/_longjmp, intended to invoke the most minimal setjmp/longjmp + pair available on the platform; no saving/restoring signal masks, no stack unwinding, etc." - pair available on the platform; no saving/restoring signal masks, no stack unwinding, etc. - Assign to reenterInterpreter the exception that when raised simulates a _longjmp back to the interpreter." <doNotGenerate> + self assert: (#(ReenterInterpreter ReenterThreadSchedulingLoop) includes: aJumpBuf class name). - reenterInterpreter := ReenterInterpreter new returnValue: 0; yourself. ^0! Item was changed: ----- Method: StackInterpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. objectMemory initializeObjectMemory: bytesToShift. self checkAssumedCompactClasses. self initializeExtraClassInstVarIndices. method := newMethod := objectMemory nilObject. self cCode: '' inSmalltalk: [breakSelectorLength ifNil: [breakSelectorLength := objectMemory minSmallInteger]. + breakLookupClassTag ifNil: [breakLookupClassTag := -1]. + reenterInterpreter := ReenterInterpreter new]. - breakLookupClassTag ifNil: [breakLookupClassTag := -1]]. methodDictLinearSearchLimit := 8. self initialCleanup. LowcodeVM ifTrue: [ self setupNativeStack ]. profileSemaphore := profileProcess := profileMethod := objectMemory nilObject. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" [globalSessionID = 0] whileTrue: [globalSessionID := self cCode: [(self time: #NULL) + self ioMSecs] inSmalltalk: [(Random new next * (SmallInteger maxVal min: 16rFFFFFFFF)) asInteger]]. metaAccessorDepth := -2. super initializeInterpreter: bytesToShift!

1 0

Still Failing: OpenSmalltalk/opensmalltalk-vm#2291 (Cog - 61a3e3d)
by Travis CI 30 Oct '20

30 Oct '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2291 Status: Still Failing Duration: 36 mins and 40 secs Commit: 61a3e3d (Cog) Author: Eliot Miranda Message: CogVM source as per VMMaker.oscog-eem.2864 Sionara ceCheckFeatures. Cache cpuid result(s) in variable(s). Do throw-away compilation(s) to get at the CPUID result(s) needed. View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/f027c5ce8940...61… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74018599… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

Re: [Vm-dev] nuSqueak source
by p.fazio＠eggingtons.com 30 Oct '20

30 Oct '20

1 0

[OpenSmalltalk/opensmalltalk-vm] 61a3e3: CogVM source as per VMMaker.oscog-eem.2864
by Eliot Miranda 30 Oct '20

30 Oct '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 61a3e3df190e0b30437dc50966b130f397638c08 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/61a3e3df190e0b3043… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-10-30 (Fri, 30 Oct 2020) Changed paths: M nsspur64src/vm/cogit.h M nsspur64src/vm/cogitARMv8.c M nsspur64src/vm/cogitX64SysV.c M nsspur64src/vm/cogitX64WIN64.c M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspurstack64src/vm/gcc3x-interp.c M nsspurstack64src/vm/interp.c M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M processors/IA32/bochs/explorationx64/printcpu.c M spur64src/vm/cogit.h M spur64src/vm/cogitARMv8.c M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/cointerpmt.c M spur64src/vm/cointerpmt.h M spur64src/vm/gcc3x-cointerp.c M spur64src/vm/gcc3x-cointerpmt.c M spurlowcode64src/vm/cogit.h M spurlowcode64src/vm/cogitARMv8.c M spurlowcode64src/vm/cogitX64SysV.c M spurlowcode64src/vm/cogitX64WIN64.c M spurlowcode64src/vm/cointerp.c M spurlowcode64src/vm/cointerp.h M spurlowcode64src/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestack64src/vm/gcc3x-interp.c M spurlowcodestack64src/vm/interp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitARMv8.c M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/cointerpmt.c M spursrc/vm/cointerpmt.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/gcc3x-cointerpmt.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstack64src/vm/validImage.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M spurstacksrc/vm/validImage.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/cointerpmt.c M src/vm/cointerpmt.h M src/vm/gcc3x-cointerp.c M src/vm/gcc3x-cointerpmt.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2864 Sionara ceCheckFeatures. Cache cpuid result(s) in variable(s). Do throw-away compilation(s) to get at the CPUID result(s) needed.

1 0

VM Maker: VMMakerUI-eem.31.mcz
by commits＠source.squeak.org 30 Oct '20

30 Oct '20

Eliot Miranda uploaded a new version of VMMakerUI to project VM Maker: http://source.squeak.org/VMMaker/VMMakerUI-eem.31.mcz ==================== Summary ==================== Name: VMMakerUI-eem.31 Author: eem Time: 30 October 2020, 6:08:18.984073 am UUID: 569db58c-700d-4f32-82fc-b2dee4ffb3b7 Ancestors: VMMakerUI-eem.30 To allow leaf functions to take arguments passed on the stack (as is needed for IA32) move marshaling to after the (questionable) switch to the C stack. =============== Diff against VMMakerUI-eem.30 =============== Item was changed: ----- Method: Cogit>>setClickStepBreakBlock (in category '*VMMakerUI-user interface') ----- setClickStepBreakBlock "Set the break block to present a confirmer, breaking if true, and restoring the previous break block. If an open debugger on the receiver can be found, proceed it." <doNotGenerate> | previousBreakBlock previousAtEachStepBlock previousBreakPC previousSingleStep previousClickConfirm result | (breakBlock isNil or: [breakBlock method ~~ thisContext method]) ifTrue: [previousBreakBlock := breakBlock. previousAtEachStepBlock := coInterpreter atEachStepBlock. previousBreakPC := breakPC. previousSingleStep := singleStep. previousClickConfirm := clickConfirm. breakBlock := [:ign| (processor pc ~= previousBreakPC and: [(result := self promptClickStep) == true]) ifTrue: [false] ifFalse: [breakBlock := previousBreakBlock. coInterpreter atEachStepBlock: previousAtEachStepBlock. breakPC := previousBreakPC. singleStep := previousSingleStep. clickConfirm := previousClickConfirm. true]]. coInterpreter atEachStepBlock: [previousAtEachStepBlock value. (coInterpreter localIP ~= previousBreakPC and: [(result := self promptClickStep) == true]) ifFalse: [breakBlock := previousBreakBlock. coInterpreter atEachStepBlock: previousAtEachStepBlock. breakPC := previousBreakPC. singleStep := previousSingleStep. clickConfirm := previousClickConfirm. self halt]]. singleStep := breakPC := clickConfirm := result ~~ #proceed]. (World submorphs detect: [:m| m model isDebugger and: [(m model interruptedProcess suspendedContext findContextSuchThat: [:ctxt| (ctxt receiver == self and: [ctxt selector == #simulateCogCodeAt: + or: [ctxt selector == #simulateLeafCallOf:marshaling:]]) - or: [ctxt selector == #simulateLeafCallOf:]]) or: [ctxt receiver == coInterpreter and: [ctxt selector == #interpret]]]) notNil]] ifNone: []) ifNotNil: [:debuggerWindow| WorldState addDeferredUIMessage: [debuggerWindow model proceed]]!

1 0

VM Maker: VMMaker.oscog-eem.2864.mcz
by commits＠source.squeak.org 30 Oct '20

30 Oct '20

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2864.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2864 Author: eem Time: 30 October 2020, 6:06:55.276851 am UUID: fe5cd24b-69ca-436c-80fb-04bb4f330099 Ancestors: VMMaker.oscog-eem.2863 Sionara ceCheckFeatures. Cache cpuid result(s) in variable(s). Do throw-away compilation(s) to get at the CPUID result(s) needed. Refactor abiMarshalArg0:... to accomodate IA32. To allow leaf functions to take arguments passed on the stack (as is needed for IA32) move marshaling to after the (questionable) switch to the C stack. =============== Diff against VMMaker.oscog-eem.2863 =============== Item was added: + ----- Method: CogAbstractInstruction>>detectFeatures (in category 'initialization') ----- + detectFeatures + "This is a null default for code to detect features specific to the processor + which may not be present on all versions of the processor and hence must + be checked at runtime. Subclasses override if necessary." + <inline: #always>! Item was changed: ----- Method: CogClass>>cCoerceSimple:to: (in category 'translation support') ----- cCoerceSimple: value to: cTypeString <doNotGenerate> "Type coercion for translation and simulation. For simulation answer a suitable surrogate for the struct types" ^cTypeString caseOf: { [#'unsigned long'] -> [value]. [#'unsigned int'] -> [value]. [#'unsigned short'] -> [value]. [#sqInt] -> [value]. [#'sqIntptr_t'] -> [value]. [#'usqIntptr_t'] -> [value]. [#usqInt] -> [value]. [#sqLong] -> [value]. [#usqLong] -> [value]. [#'AbstractInstruction *'] -> [value]. [#'SpurSegmentInfo *'] -> [value]. [#'BytecodeFixup *'] -> [value]. [#'CogMethod *'] -> [value]. [#'char *'] -> [value]. [#'sqInt *'] -> [value]. [#'void *'] -> [value]. [#void] -> [value]. [#'void (*)()'] -> [value]. [#'void (*)(void)'] -> [value]. [#'usqIntptr_t (*)(void)'] -> [value]. + [#'void (*)(usqIntptr_t,usqIntptr_t)'] -> [value]. + [#'uintptr_t (*)(uintptr_t)'] -> [value]. + [#'uintptr_t (*)(void)'] -> [value] }! - [#'void (*)(usqIntptr_t,usqIntptr_t)'] -> [value] }! Item was changed: CogAbstractInstruction subclass: #CogIA32Compiler instanceVariableNames: '' classVariableNames: 'BSR CDQ CLD CMPXCHGRAw CPUID EAX EBP EBX ECX EDI EDX ESI ESP FSTPD FSTPS IDIVR IMULRR LFENCE LOCK MFENCE MOVSB MOVSD ModReg ModRegInd ModRegIndDisp32 ModRegIndSIB ModRegRegDisp32 ModRegRegDisp8 REP SETE SFENCE SIB1 SIB2 SIB4 SIB8 XCHGRR XMM0L XMM1L XMM2L XMM3L XMM4L XMM5L XMM6L XMM7L' poolDictionaries: '' category: 'VMMaker-JIT'! + CogIA32Compiler class + instanceVariableNames: 'cpuidWord0 cpuidWord1'! !CogIA32Compiler commentStamp: 'eem 9/14/2015 17:13' prior: 0! I generate IA32 (x86) instructions from CogAbstractInstructions. For reference see 1. IA-32 Intel® Architecture Software Developer's Manual Volume 2A: Instruction Set Reference, A-M 2. IA-32 Intel® Architecture Software Developer's Manual Volume 2A: Instruction Set Reference, N-Z http://www.intel.com/products/processor/manuals/ (® is supposed to be the Unicode "registered sign". This class does not take any special action to flush the instruction cache on instruction-modification, trusting that Intel and AMD processors correctly invalidate the instruction cache via snooping. According to the manuals, this will work on systems where code and data have the same virtual address. The CogICacheFlushingIA32Compiler subclass exists to use the CPUID instruction to serialize instruction-modification for systems with code and data at different virtual addresses.! + CogIA32Compiler class + instanceVariableNames: 'cpuidWord0 cpuidWord1'! Item was added: + ----- Method: CogIA32Compiler class>>cpuidWord0 (in category 'accessing') ----- + cpuidWord0 + ^cpuidWord0! Item was added: + ----- Method: CogIA32Compiler class>>cpuidWord1 (in category 'accessing') ----- + cpuidWord1 + ^cpuidWord1! Item was added: + ----- Method: CogIA32Compiler class>>declareCVarsIn: (in category 'translation') ----- + declareCVarsIn: aCCodeGenerator + aCCodeGenerator + declareVar: 'cpuidWord0' type: #uintptr_t; + declareVar: 'cpuidWord1' type: #uintptr_t! Item was removed: - ----- Method: CogIA32Compiler class>>numTrampolines (in category 'trampoline support') ----- - numTrampolines - ^2 "ceCheckFeatures and ceCheckLZCNTFunction"! Item was added: + ----- Method: CogIA32Compiler>>cpuid: (in category 'feature detection') ----- + cpuid: n + <doNotGenerate> + "This is simulation only invocation of the throw-away CPUID function generated to initialize cpuidWord0 and cpuidWord1" + ^cogit + simulateLeafCallOf: cogit methodZoneBase + marshaling: [cogit processor abiMarshalArg0: n in: objectMemory memory]! Item was added: + ----- Method: CogIA32Compiler>>cpuidWord0 (in category 'feature detection') ----- + cpuidWord0 + <cmacro: '(ign) cpuidWord0'> + "For want of somewhere to put the variable..." + ^self class cpuidWord0! Item was added: + ----- Method: CogIA32Compiler>>cpuidWord1 (in category 'feature detection') ----- + cpuidWord1 + <cmacro: '(ign) cpuidWord1'> + "For want of somewhere to put the variable..." + ^self class cpuidWord1! Item was added: + ----- Method: CogIA32Compiler>>detectFeatures (in category 'feature detection') ----- + detectFeatures + "Do a throw-away compilation to get at the cpuid info and initialize cpuidWord0 and cpuidWord1. + N.B. All of MSVC, gcc & clang have intrinsics for this, so if you have the energy by all means + reimplement as an #if _MSC_VER...#elif __GNUC__ #else ... saga." + | startAddress cpuid | + <var: 'cpuid' declareC: 'uintptr_t (*cpuid)(uintptr_t arg)'> + startAddress := cogit methodZoneBase. + cogit allocateOpcodes: 10 bytecodes: 0. + cpuid := cogit cCoerceSimple: cogit methodZoneBase to: #'uintptr_t (*)(uintptr_t)'. + cogit + PushR: EDX; + PushR: ECX; + PushR: EBX; + MoveMw: 16 "3 saved registers plus return pc" r: ESP R: EAX; + gen: CPUID; + MoveR: EDX R: EAX; + PopR: EBX; + PopR: ECX; + PopR: EDX; + RetN: 0. + cogit outputInstructionsForGeneratedRuntimeAt: startAddress. + cogit resetMethodZoneBase: startAddress. + self setCpuidWord0: (self cCode: 'cpuid(1)' inSmalltalk: [self cpuid: 1]). + cogit zeroOpcodeIndexForNewOpcodes. + cogit + PushR: EDX; + PushR: ECX; + PushR: EBX; + MoveMw: 16 "3 saved registers plus return pc" r: ESP R: EAX; + gen: CPUID; + MoveR: ECX R: EAX; + PopR: EBX; + PopR: ECX; + PopR: EDX; + RetN: 0. + cogit outputInstructionsForGeneratedRuntimeAt: startAddress. + cogit resetMethodZoneBase: startAddress. + self setCpuidWord1: (self cCode: 'cpuid(0x80000001)' inSmalltalk: [self cpuid: 16r80000001])! Item was removed: - ----- Method: CogIA32Compiler>>generateCheckFeatures (in category 'feature detection') ----- - generateCheckFeatures - <inline: true> - cogit - PushR: EDX; - PushR: ECX; - PushR: EBX; - MoveCq: 1 R: EAX; - gen: CPUID; - MoveR: EDX R: EAX; - PopR: EBX; - PopR: ECX; - PopR: EDX; - RetN: 0! Item was removed: - ----- Method: CogIA32Compiler>>generateCheckLZCNT (in category 'feature detection') ----- - generateCheckLZCNT - "to check is Leading Zero Count operation is present - cf. MSVC builtin __lzcnt documentation - The result will be in bit 5 of return value (in EAX)" - <inline: true> - cogit - PushR: EDX; - PushR: ECX; - PushR: EBX; - MoveCq: 16r80000001 R: EAX; - gen: CPUID; - MoveR: ECX R: EAX; - PopR: EBX; - PopR: ECX; - PopR: EDX; - RetN: 0! Item was changed: ----- Method: CogIA32Compiler>>hasLZCNTInstructions (in category 'testing') ----- hasLZCNTInstructions "Answer if we support LZCNT" <inline: true> + ^self cpuidWord1 anyMask: 1 << 5! - ^(cogit ceCheckLZCNT bitAnd: (1 << 5)) ~= 0! Item was changed: ----- Method: CogIA32Compiler>>hasSSE2Instructions (in category 'testing') ----- hasSSE2Instructions "Answer if we support SSE2" + ^self cpuidWord0 anyMask: 1 << 26! - ^(cogit ceCheckFeatures bitAnd: (1 << 26)) ~= 0! Item was changed: ----- Method: CogIA32Compiler>>hasSSEInstructions (in category 'testing') ----- hasSSEInstructions "Answer if we support SSE" + ^self cpuidWord0 anyMask: 1 << 25! - ^(cogit ceCheckFeatures bitAnd: (1 << 25)) ~= 0! Item was removed: - ----- Method: CogIA32Compiler>>numCheckFeaturesOpcodes (in category 'feature detection') ----- - numCheckFeaturesOpcodes - "Answer the number of opcodes required to compile the CPUID call to extract the extended features information." - ^11! Item was removed: - ----- Method: CogIA32Compiler>>numCheckLZCNTOpcodes (in category 'feature detection') ----- - numCheckLZCNTOpcodes - "Answer the number of opcodes required to compile the CPUID call to extract the extended features information." - ^11! Item was added: + ----- Method: CogIA32Compiler>>setCpuidWord0: (in category 'feature detection') ----- + setCpuidWord0: word + <cmacro: '(ign,word) cpuidWord0 = word'> + "For want of somewhere to put the variable..." + self class instVarNamed: 'cpuidWord0' put: word! Item was added: + ----- Method: CogIA32Compiler>>setCpuidWord1: (in category 'feature detection') ----- + setCpuidWord1: word + <cmacro: '(ign,word) cpuidWord1 = word'> + "For want of somewhere to put the variable..." + self class instVarNamed: 'cpuidWord1' put: word! Item was changed: CogAbstractInstruction subclass: #CogX64Compiler instanceVariableNames: '' classVariableNames: 'BSR CArg0Reg CArg1Reg CArg2Reg CArg3Reg CDQ CLD CMPXCHGRMr CPUID IDIVR IMULRR LFENCE LOCK MFENCE MOVSB MOVSQ ModReg ModRegInd ModRegIndDisp32 ModRegIndSIB ModRegRegDisp32 ModRegRegDisp8 MoveRAwNoVBR R10 R11 R12 R13 R14 R15 R8 R9 RAX RBP RBX RCX RDI RDX REP RSI RSP SETE SFENCE SIB1 SIB2 SIB4 SIB8 SysV XCHGRR XMM0L XMM10L XMM11L XMM12L XMM13L XMM14L XMM15L XMM1L XMM2L XMM3L XMM4L XMM5L XMM6L XMM7L XMM8L XMM9L' poolDictionaries: '' category: 'VMMaker-JIT'! + CogX64Compiler class + instanceVariableNames: 'cpuidWord1'! !CogX64Compiler commentStamp: 'eem 9/14/2015 17:12' prior: 0! I generate x64 (x86-64) instructions from CogAbstractInstructions. For reference see 1. IA-32 Intel® Architecture Software Developer's Manual Volume 2A: Instruction Set Reference, A-M 2. IA-32 Intel® Architecture Software Developer's Manual Volume 2A: Instruction Set Reference, N-Z http://www.intel.com/products/processor/manuals/ or AMD64 Architecture Programmer's Manual Volume 3: General-Purpose and System Instructions AMD64 Architecture Programmer's Manual Volume 4: 128-bit Media Instructions AMD64 Architecture Programmer's Manual Volume 5: 64-bit Media and x87 Floating Point Instructions http://developer.amd.com/resources/documentation-articles/developer-guides-… (® is supposed to be the Unicode "registered sign").! + CogX64Compiler class + instanceVariableNames: 'cpuidWord1'! Item was added: + ----- Method: CogX64Compiler class>>cpuidWord1 (in category 'accessing') ----- + cpuidWord1 + ^cpuidWord1! Item was added: + ----- Method: CogX64Compiler class>>declareCVarsIn: (in category 'translation') ----- + declareCVarsIn: aCCodeGenerator + aCCodeGenerator + declareVar: 'cpuidWord1' type: #uintptr_t! Item was removed: - ----- Method: CogX64Compiler class>>numTrampolines (in category 'trampoline support') ----- - numTrampolines - ^1 "ceCheckLZCNTFunction"! Item was added: + ----- Method: CogX64Compiler>>cpuidWord1 (in category 'feature detection') ----- + cpuidWord1 + <cmacro: '(ign) cpuidWord1'> + "For want of somewhere to put the variable..." + ^self class cpuidWord1! Item was added: + ----- Method: CogX64Compiler>>detectFeatures (in category 'feature detection') ----- + detectFeatures + "Do a throw-away compilation to get at the cpuid info and initialize cpuidWord1 + N.B. All of MSVC, gcc & clang have intrinsics for this, so if you have the energy + by all means reimplement as an #if _MSC_VER...#elif __GNUC__ #else ... saga." + | startAddress cpuid | + <var: 'cpuid' declareC: 'uintptr_t (*cpuid)(void)'> + startAddress := cogit methodZoneBase. + cogit allocateOpcodes: 10 bytecodes: 0. + cpuid := cogit cCoerceSimple: startAddress to: #'uintptr_t (*)(void)'. + cogit + PushR: RDX; + PushR: RCX; + PushR: RBX; + MoveCq: 16r80000001 R: RAX; + gen: CPUID; + MoveR: RCX R: RAX; + PopR: RBX; + PopR: RCX; + PopR: RDX; + RetN: 0. + cogit outputInstructionsForGeneratedRuntimeAt: startAddress. + cogit resetMethodZoneBase: startAddress. + self setCpuidWord1: (self cCode: 'cpuid()' inSmalltalk: [cogit simulateLeafCallOf: startAddress marshaling: []])! Item was removed: - ----- Method: CogX64Compiler>>generateCheckLZCNT (in category 'feature detection') ----- - generateCheckLZCNT - "to check is Leading Zero Count operation is present - cf. MSVC builtin __lzcnt documentation - The result will be in bit 5 of return value (in RAX)" - <inline: true> - cogit - PushR: RDX; - PushR: RCX; - PushR: RBX; - MoveCq: 16r80000001 R: RAX; - gen: CPUID; - MoveR: RCX R: RAX; - PopR: RBX; - PopR: RCX; - PopR: RDX; - RetN: 0! Item was changed: ----- Method: CogX64Compiler>>hasLZCNTInstructions (in category 'testing') ----- hasLZCNTInstructions "Answer if we support LZCNT" <inline: true> + ^self cpuidWord1 anyMask: 1 << 5! - ^(cogit ceCheckLZCNT bitAnd: (1 << 5)) ~= 0! Item was removed: - ----- Method: CogX64Compiler>>numCheckLZCNTOpcodes (in category 'feature detection') ----- - numCheckLZCNTOpcodes - "Answer the number of opcodes required to compile the CPUID call to extract the extended features information." - ^11! Item was added: + ----- Method: CogX64Compiler>>setCpuidWord1: (in category 'feature detection') ----- + setCpuidWord1: word + <cmacro: '(ign,word) cpuidWord1 = word'> + "For want of somewhere to put the variable..." + self class instVarNamed: 'cpuidWord1' put: word! Item was changed: CogClass subclass: #Cogit (excessive size, no diff calculated) Item was changed: ----- Method: Cogit class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator | backEnd | backEnd := CogCompilerClass basicNew. #( 'coInterpreter' 'objectMemory' 'methodZone' 'objectRepresentation' 'cogBlockMethodSurrogateClass' 'cogMethodSurrogateClass' 'nsSendCacheSurrogateClass' 'threadManager' 'processor' 'lastNInstructions' 'simulatedAddresses' 'simulatedTrampolines' 'simulatedVariableGetters' 'simulatedVariableSetters' 'processorFrameValid' 'printRegisters' 'printInstructions' 'clickConfirm' 'singleStep') do: [:simulationVariableNotNeededForRealVM| aCCodeGenerator removeVariable: simulationVariableNotNeededForRealVM]. NewspeakVM ifFalse: [#( 'selfSendTrampolines' 'dynamicSuperSendTrampolines' 'implicitReceiverSendTrampolines' 'outerSendTrampolines' 'ceEnclosingObjectTrampoline' 'numIRCs' 'indexOfIRC' 'theIRCs') do: [:variableNotNeededInNormalVM| aCCodeGenerator removeVariable: variableNotNeededInNormalVM]]. aCCodeGenerator removeConstant: #COGMTVM. "this should be defined at compile time" aCCodeGenerator addHeaderFile:'<stddef.h>'; "for e.g. offsetof" addHeaderFile:'"sqCogStackAlignment.h"'; addHeaderFile:'"dispdbg.h"'; "must precede cointerp.h & cogit.h otherwise NoDbgRegParms gets screwed up" addHeaderFile:'"cogmethod.h"'. NewspeakVM ifTrue: [aCCodeGenerator addHeaderFile:'"nssendcache.h"']. aCCodeGenerator addHeaderFile:'#if COGMTVM'; addHeaderFile:'"cointerpmt.h"'; addHeaderFile:'#else'; addHeaderFile:'"cointerp.h"'; addHeaderFile:'#endif'; addHeaderFile:'"cogit.h"'. aCCodeGenerator var: #ceGetFP declareC: 'usqIntptr_t (*ceGetFP)(void)'; var: #ceGetSP declareC: 'usqIntptr_t (*ceGetSP)(void)'; var: #ceCaptureCStackPointers declareC: 'void (*ceCaptureCStackPointers)(void)'; var: #ceInvokeInterpret declareC: 'void (*ceInvokeInterpret)(void)'; var: #ceEnterCogCodePopReceiverReg declareC: 'void (*ceEnterCogCodePopReceiverReg)(void)'; var: #realCEEnterCogCodePopReceiverReg declareC: 'void (*realCEEnterCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverReg declareC: 'void (*ceCallCogCodePopReceiverReg)(void)'; var: #realCECallCogCodePopReceiverReg declareC: 'void (*realCECallCogCodePopReceiverReg)(void)'; var: #ceCallCogCodePopReceiverAndClassRegs declareC: 'void (*ceCallCogCodePopReceiverAndClassRegs)(void)'; var: #realCECallCogCodePopReceiverAndClassRegs declareC: 'void (*realCECallCogCodePopReceiverAndClassRegs)(void)'; var: #postCompileHook declareC: 'void (*postCompileHook)(CogMethod *)'; var: #openPICList declareC: 'CogMethod *openPICList = 0'; var: #maxMethodBefore type: #'CogBlockMethod *'; var: 'enumeratingCogMethod' type: #'CogMethod *'. aCCodeGenerator var: #ceTryLockVMOwner declareC: '#if COGMTVM\usqIntptr_t (*ceTryLockVMOwner)(void)'; var: #ceUnlockVMOwner declareC: 'void (*ceUnlockVMOwner)(void)\#endif /* COGMTVM */'. - backEnd numCheckLZCNTOpcodes > 0 ifTrue: - [aCCodeGenerator - var: #ceCheckLZCNTFunction - declareC: 'static usqIntptr_t (*ceCheckLZCNTFunction)(void)']. - backEnd numCheckFeaturesOpcodes > 0 ifTrue: - [aCCodeGenerator - var: #ceCheckFeaturesFunction - declareC: 'static usqIntptr_t (*ceCheckFeaturesFunction)(void)']. backEnd numICacheFlushOpcodes > 0 ifTrue: [aCCodeGenerator var: #ceFlushICache declareC: 'static void (*ceFlushICache)(usqIntptr_t from, usqIntptr_t to)']. aCCodeGenerator var: #ceFlushDCache declareC: '#if DUAL_MAPPED_CODE_ZONE\static void (*ceFlushDCache)(usqIntptr_t from, usqIntptr_t to)\#endif'; var: #codeToDataDelta declareC: '#if DUAL_MAPPED_CODE_ZONE\static sqInt codeToDataDelta\#else\# define codeToDataDelta 0\#endif'. aCCodeGenerator declareVar: 'aMethodLabel' type: #'AbstractInstruction'; "Has to come lexicographically before backEnd & methodLabel" var: #backEnd declareC: 'AbstractInstruction * const backEnd = &aMethodLabel'; var: #methodLabel declareC: 'AbstractInstruction * const methodLabel = &aMethodLabel'. self declareC: #(abstractOpcodes stackCheckLabel blockEntryLabel blockEntryNoContextSwitch stackOverflowCall sendMiss entry noCheckEntry selfSendEntry dynSuperEntry fullBlockNoContextSwitchEntry fullBlockEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 cPICEndOfCodeLabel) as: #'AbstractInstruction *' in: aCCodeGenerator. aCCodeGenerator declareVar: #cPICPrototype type: #'CogMethod *'; declareVar: #blockStarts type: #'BlockStart *'; declareVar: #fixups type: #'BytecodeFixup *'; declareVar: #methodZoneBase type: #usqInt. aCCodeGenerator var: #ordinarySendTrampolines declareC: 'sqInt ordinarySendTrampolines[NumSendTrampolines]'; var: #superSendTrampolines declareC: 'sqInt superSendTrampolines[NumSendTrampolines]'. BytecodeSetHasDirectedSuperSend ifTrue: [aCCodeGenerator var: #directedSuperSendTrampolines declareC: 'sqInt directedSuperSendTrampolines[NumSendTrampolines]'; var: #directedSuperBindingSendTrampolines declareC: 'sqInt directedSuperBindingSendTrampolines[NumSendTrampolines]']. NewspeakVM ifTrue: [aCCodeGenerator var: #selfSendTrampolines declareC: 'sqInt selfSendTrampolines[NumSendTrampolines]'; var: #dynamicSuperSendTrampolines declareC: 'sqInt dynamicSuperSendTrampolines[NumSendTrampolines]'; var: #implicitReceiverSendTrampolines declareC: 'sqInt implicitReceiverSendTrampolines[NumSendTrampolines]'; var: #outerSendTrampolines declareC: 'sqInt outerSendTrampolines[NumSendTrampolines]']. aCCodeGenerator var: #trampolineAddresses declareC: 'static char *trampolineAddresses[NumTrampolines*2]'; var: #objectReferencesInRuntime declareC: 'static usqInt objectReferencesInRuntime[NumObjRefsInRuntime+1]'; var: #labelCounter type: #int; var: #traceFlags declareC: 'int traceFlags = 8 /* prim trace log on by default */'; var: #cStackAlignment declareC: 'const int cStackAlignment = STACK_ALIGN_BYTES'. aCCodeGenerator declareVar: #minValidCallAddress type: #'usqIntptr_t'. aCCodeGenerator vmClass generatorTable ifNotNil: [:bytecodeGenTable| aCCodeGenerator var: #generatorTable declareC: 'static BytecodeDescriptor generatorTable[', bytecodeGenTable size printString, ']', (self tableInitializerFor: bytecodeGenTable in: aCCodeGenerator)]. "In C the abstract opcode names clash with the Smalltalk generator syntactic sugar. Most of the syntactic sugar is inlined, but alas some remains. Rename the syntactic sugar to avoid the clash." (self organization listAtCategoryNamed: #'abstract instructions') do: [:s| aCCodeGenerator addSelectorTranslation: s to: 'g', (aCCodeGenerator cFunctionNameFor: s)]. aCCodeGenerator addSelectorTranslation: #halt: to: 'haltmsg'. self declareFlagVarsAsByteIn: aCCodeGenerator! Item was changed: ----- Method: Cogit>>ceCaptureCStackPointers (in category 'jit - api') ----- ceCaptureCStackPointers <api: 'extern void (*ceCaptureCStackPointers)()'> <doNotGenerate> | range | coInterpreter isCurrentImageFacade ifTrue: [^self]. coInterpreter isThreadedVM ifFalse: + [^self simulateLeafCallOf: ceCaptureCStackPointers marshaling: []]. - [^self simulateLeafCallOf: ceCaptureCStackPointers]. thisContext sender selector == #generateStackPointerCapture ifTrue: [^self]. range := coInterpreter cStackRangeForThreadIndex: coInterpreter threadManager getVMOwner. self assert: (range notNil "VM is owned" and: [(range includes: processor sp) and: [range includes: processor fp]]). coInterpreter setCFramePointer: processor fp setCStackPointer: processor sp! Item was removed: - ----- Method: Cogit>>ceCheckFeatures (in category 'testing') ----- - ceCheckFeatures - <cmacro: '() ceCheckFeaturesFunction()'> - ^self simulateLeafCallOf: ceCheckFeaturesFunction! Item was removed: - ----- Method: Cogit>>ceCheckLZCNT (in category 'testing') ----- - ceCheckLZCNT - <cmacro: '() ceCheckLZCNTFunction()'> - ^self simulateLeafCallOf: ceCheckLZCNTFunction! Item was changed: ----- Method: Cogit>>initializeCodeZoneFrom:upTo: (in category 'initialization') ----- initializeCodeZoneFrom: startAddress upTo: endAddress <api> self initializeBackend. self sqMakeMemoryExecutableFrom: startAddress To: endAddress CodeToDataDelta: (self cppIf: #DUAL_MAPPED_CODE_ZONE ifTrue: [self addressOf: codeToDataDelta put: [:v| codeToDataDelta := v]] ifFalse: [nil]). backEnd stopsFrom: startAddress to: endAddress - 1. self cCode: '' inSmalltalk: [self initializeProcessor. backEnd stopsFrom: 0 to: guardPageSize - 1]. codeBase := methodZoneBase := startAddress. minValidCallAddress := (codeBase min: coInterpreter interpretAddress) min: coInterpreter primitiveFailAddress. methodZone manageFrom: methodZoneBase to: endAddress. self assertValidDualZone. + backEnd detectFeatures. - self maybeGenerateCheckFeatures. self maybeGenerateCacheFlush. - self maybeGenerateCheckLZCNT. self generateVMOwnerLockFunctions. self genGetLeafCallStackPointers. self generateStackPointerCapture. self generateTrampolines. self computeEntryOffsets. self computeFullBlockEntryOffsets. self generateClosedPICPrototype. self alignMethodZoneBase. "None of the above is executed beyond ceCheckFeatures, so a bulk flush now is the leanest thing to do." backEnd flushICacheFrom: startAddress to: methodZoneBase asUnsignedInteger. self maybeFlushWritableZoneFrom: startAddress to: methodZoneBase asUnsignedInteger. "Repeat so that now the methodZone ignores the generated run-time." methodZone manageFrom: methodZoneBase to: endAddress. "N.B. this is assumed to be the last thing done in initialization; see Cogit>>initialized. This is done only to compute openPICSize; the generated code is discarded." self generateOpenPICPrototype! Item was removed: - ----- Method: Cogit>>maybeGenerateCheckFeatures (in category 'initialization') ----- - maybeGenerateCheckFeatures - | startAddress | - <inline: true> - backEnd numCheckFeaturesOpcodes > 0 ifTrue: - [self allocateOpcodes: backEnd numCheckFeaturesOpcodes bytecodes: 0. - startAddress := methodZoneBase. - backEnd generateCheckFeatures. - self outputInstructionsForGeneratedRuntimeAt: startAddress. - self recordGeneratedRunTime: 'ceCheckFeaturesFunction' address: startAddress. - ceCheckFeaturesFunction := self cCoerceSimple: startAddress to: #'usqIntptr_t (*)(void)'. - backEnd initialFlushICacheFrom: startAddress to: methodZoneBase]! Item was removed: - ----- Method: Cogit>>maybeGenerateCheckLZCNT (in category 'initialization') ----- - maybeGenerateCheckLZCNT - | startAddress | - <inline: true> - backEnd numCheckLZCNTOpcodes > 0 ifTrue: - [self allocateOpcodes: backEnd numCheckLZCNTOpcodes bytecodes: 0. - startAddress := methodZoneBase. - methodLabel address: startAddress. "for pc-relative MoveCq: 16r80000001 R: RAX;" - backEnd generateCheckLZCNT. - self outputInstructionsForGeneratedRuntimeAt: startAddress. - self recordGeneratedRunTime: 'ceCheckLZCNTFunction' address: startAddress. - ceCheckLZCNTFunction := self cCoerceSimple: startAddress to: #'usqIntptr_t (*)(void)']! Item was added: + ----- Method: Cogit>>resetMethodZoneBase: (in category 'initialization') ----- + resetMethodZoneBase: address + "For throw-away/one-off compilations" + <inline: #always> + methodZoneBase := address! Item was changed: ----- Method: Cogit>>simulateCeFlushDCacheFrom:to: (in category 'simulation only') ----- simulateCeFlushDCacheFrom: start to: finish <doNotGenerate> + self simulateLeafCallOf: ceFlushDCache + marshaling: [processor abiMarshalArg0: start arg1: finish in: objectMemory memory]! - processor abiMarshallArg0: start arg1: finish. - self simulateLeafCallOf: ceFlushDCache! Item was changed: ----- Method: Cogit>>simulateCeFlushICacheFrom:to: (in category 'simulation only') ----- simulateCeFlushICacheFrom: start to: finish <doNotGenerate> + self simulateLeafCallOf: ceFlushICache + marshaling: [processor abiMarshalArg0: start arg1: finish in: objectMemory memory]! - processor abiMarshallArg0: start arg1: finish. - self simulateLeafCallOf: ceFlushICache! Item was removed: - ----- Method: Cogit>>simulateLeafCallOf: (in category 'simulation only') ----- - simulateLeafCallOf: someFunction - "Simulate execution of machine code that leaf-calls someFunction, - answering the result returned by someFunction." - "CogProcessorAlienInspector openFor: coInterpreter" - <doNotGenerate> - | priorSP priorPC priorLR spOnEntry bogusRetPC | - self recordRegisters. - priorSP := processor sp. - priorPC := processor pc. - priorLR := backEnd hasLinkRegister ifTrue: [processor lr]. - processor - setFramePointer: coInterpreter getCFramePointer stackPointer: coInterpreter getCStackPointer; - simulateLeafCallOf: someFunction - nextpc: (bogusRetPC := 16rBADF00D5 roundTo: backEnd codeGranularity) - memory: coInterpreter memory. - spOnEntry := processor sp. - self recordInstruction: {'(simulated call of '. someFunction. ')'}. - ^[[processor pc between: self class guardPageSize and: methodZone zoneEnd] whileTrue: - [[singleStep - ifTrue: [self recordProcessing. - self maybeBreakAt: processor pc. - processor - singleStepIn: coInterpreter memory - minimumAddress: guardPageSize - readOnlyBelow: methodZone zoneEnd] - ifFalse: [processor - runInMemory: coInterpreter memory - minimumAddress: guardPageSize - readOnlyBelow: methodZone zoneEnd]] - on: ProcessorSimulationTrap, Error - do: [:ex| - "Again this is a hack for the processor simulators not properly simulating returns to bogus addresses. - In this case BochsX64Alien doesn't do the right thing." - processor pc = bogusRetPC ifTrue: - [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}. - ^processor cResultRegister]. - ex isProcessorSimulationTrap ifFalse: - [ex pass]. - ex applyTo: self. - ex type == #return ifTrue: - [^processor cResultRegister]]]. - processor pc = bogusRetPC ifTrue: - [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}]. - processor cResultRegister] - ensure: - [processor sp: priorSP. - processor pc: priorPC. - priorLR ifNotNil: [:lr| processor lr: lr]]! Item was added: + ----- Method: Cogit>>simulateLeafCallOf:marshaling: (in category 'simulation only') ----- + simulateLeafCallOf: someFunction marshaling: marshallingBlock + "Simulate execution of machine code that leaf-calls someFunction, + answering the result returned by someFunction." + "CogProcessorAlienInspector openFor: coInterpreter" + <doNotGenerate> + | priorSP priorPC priorLR spOnEntry bogusRetPC | + self recordRegisters. + priorSP := processor sp. + priorPC := processor pc. + priorLR := backEnd hasLinkRegister ifTrue: [processor lr]. + processor + setFramePointer: coInterpreter getCFramePointer + stackPointer: coInterpreter getCStackPointer. + marshallingBlock value. + processor + simulateLeafCallOf: someFunction + nextpc: (bogusRetPC := 16rBADF00D5 roundTo: backEnd codeGranularity) + memory: coInterpreter memory. + spOnEntry := processor sp. + self recordInstruction: {'(simulated call of '. someFunction. ')'}. + ^[[processor pc between: self class guardPageSize and: methodZone zoneEnd] whileTrue: + [[singleStep + ifTrue: [self recordProcessing. + self maybeBreakAt: processor pc. + processor + singleStepIn: coInterpreter memory + minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd] + ifFalse: [processor + runInMemory: coInterpreter memory + minimumAddress: guardPageSize + readOnlyBelow: methodZone zoneEnd]] + on: ProcessorSimulationTrap, Error + do: [:ex| + "Again this is a hack for the processor simulators not properly simulating returns to bogus addresses. + In this case BochsX64Alien doesn't do the right thing." + processor pc = bogusRetPC ifTrue: + [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}. + ^processor cResultRegister]. + ex isProcessorSimulationTrap ifFalse: + [ex pass]. + ex applyTo: self. + ex type == #return ifTrue: + [^processor cResultRegister]]]. + processor pc = bogusRetPC ifTrue: + [self recordInstruction: {'(simulated (real) return to '. processor pc. ')'}]. + processor cResultRegister] + ensure: + [processor sp: priorSP. + processor pc: priorPC. + priorLR ifNotNil: [:lr| processor lr: lr]]! Item was changed: ----- Method: Cogit>>tryLockVMOwner: (in category 'multi-threading') ----- tryLockVMOwner: value <api> "ceTryLockVMOwner does an atomic compare-and-swap of the lock with the argument and zero, setting the lock to value if it was zero. It answers non-zero if the lock was zero." <cmacro: '(value) ceTryLockVMOwner(value)'> + ^0 ~= (self + simulateLeafCallOf: ceTryLockVMOwner + marshaling: [processor abiMarshalArg0: value in: objectMemory memory])! - processor abiMarshallArg0: value. - ^(self simulateLeafCallOf: ceTryLockVMOwner) ~= 0! Item was changed: ----- Method: Cogit>>unlockVMOwner (in category 'multi-threading') ----- unlockVMOwner <api> <cmacro: '() ceUnlockVMOwner()'> + ^self simulateLeafCallOf: ceUnlockVMOwner marshaling: []! - ^self simulateLeafCallOf: ceUnlockVMOwner!

1 0

VM Maker: Cog-eem.423.mcz
by commits＠source.squeak.org 30 Oct '20

30 Oct '20

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.423.mcz ==================== Summary ==================== Name: Cog-eem.423 Author: eem Time: 30 October 2020, 6:02:36.95265 am UUID: 38d317fe-abfe-4ce6-97a1-972d0fe2ac25 Ancestors: Cog-eem.422 Refactor abiMarshalArg0:... to accomodate IA32. Raise a trap for stop opcodes. =============== Diff against Cog-eem.422 =============== Item was changed: ----- Method: BochsIA32Alien class>>initialize (in category 'class initialization') ----- initialize "BochsIA32Alien initialize" | it | it := self basicNew. PostBuildStackDelta := 0. OpcodeExceptionMap := Array new: 256 withAll: #handleExecutionPrimitiveFailureAt:in:. OpcodeExceptionMap at: 1 + it callOpcode put: #handleCallFailureAt:in:; at: 1 + it jmpOpcode put: #handleJmpFailureAt:in:; at: 1 + it retOpcode put: #handleRetFailureAt:in:; at: 1 + it movALObOpcode put: #handleMovALObFailureAt:in:; at: 1 + it movAXOvOpcode put: #handleMovAXOvFailureAt:in:; at: 1 + it movObALOpcode put: #handleMovObALFailureAt:in:; at: 1 + it movOvAXOpcode put: #handleMovOvAXFailureAt:in:; at: 1 + it movGvEvOpcode put: #handleMovGvEvFailureAt:in:; at: 1 + it movEvGvOpcode put: #handleMovEvGvFailureAt:in:; at: 1 + it movGbEbOpcode put: #handleMovGbEbFailureAt:in:; + at: 1 + it movEbGbOpcode put: #handleMovEbGbFailureAt:in:; + at: 1 + it stopOpcode put: #handleStopFailureAt:in:. - at: 1 + it movEbGbOpcode put: #handleMovEbGbFailureAt:in:. ExtendedOpcodeExceptionMap := Array new: 256 withAll: #handleExecutionPrimitiveFailureAt:in:. ExtendedOpcodeExceptionMap at: 1 + it movGvEbOpcode put: #handleMovGvEbFailureAt:in:! Item was added: + ----- Method: BochsIA32Alien>>abiMarshalArg0:arg1:in: (in category 'accessing-abstract') ----- + abiMarshalArg0: arg0 arg1: arg1 in: memory + "Marshal two integral arguments according to the ABI. + Currently used only on processors that do ceFlushICache in machine code. + CogICacheFlushingIA32Compiler does just this." + self push: arg1. + self push: arg0! Item was added: + ----- Method: BochsIA32Alien>>abiMarshalArg0:in: (in category 'accessing-abstract') ----- + abiMarshalArg0: arg0 in: memory + "Marshal one integral argument according to the ABI. + Currently used in the COGMTVM to tryLockVMOwner:" + self pushWord: arg0 in: memory! Item was removed: - ----- Method: BochsIA32Alien>>abiMarshallArg0: (in category 'accessing-abstract') ----- - abiMarshallArg0: arg0 - "Marshall one integral argument according to the ABI. - Currently used in the COGMTVM to tryLockVMOwner:" - self push: arg0! Item was removed: - ----- Method: BochsIA32Alien>>abiMarshallArg0:arg1: (in category 'accessing-abstract') ----- - abiMarshallArg0: arg0 arg1: arg1 - "Marshall two integral arguments according to the ABI. - Currently used only on processors that do ceFlushICache in machine code. - CogICacheFlushingIA32Compiler does just this." - self push: arg1. - self push: arg0! Item was added: + ----- Method: BochsIA32Alien>>handleStopFailureAt:in: (in category 'error handling') ----- + handleStopFailureAt: pc "<Integer>" in: memoryArray "<Bitmap|ByteArray>" + ^(ProcessorSimulationTrap + pc: pc + nextpc: pc + 1 + address: pc + type: #stop + accessor: nil) + signal! Item was added: + ----- Method: BochsIA32Alien>>stopOpcode (in category 'opcodes') ----- + stopOpcode + ^16rCC! Item was added: + ----- Method: BochsX64Alien>>abiMarshalArg0:in: (in category 'accessing-abstract') ----- + abiMarshalArg0: arg0 in: memory + "Marshal one integral argument according to the ABI. + Currently used in the COGMTVM to tryLockVMOwner:" + (CogX64Compiler classPool at: #CArg0Reg) = 1 + ifTrue: [self rcx: arg0] "Hack; Win64" + ifFalse: [self rdi: arg0] "Hack; SysV"! Item was removed: - ----- Method: BochsX64Alien>>abiMarshallArg0: (in category 'accessing-abstract') ----- - abiMarshallArg0: arg0 - "Marshall one integral argument according to the ABI. - Currently used in the COGMTVM to tryLockVMOwner:" - (CogX64Compiler classPool at: #CArg0Reg) = 1 - ifTrue: [self rcx: arg0] "Hack; Win64" - ifFalse: [self rdi: arg0] "Hack; SysV"! Item was added: + ----- Method: CogProcessorAlien>>abiMarshalArg0:arg1:in: (in category 'accessing-abstract') ----- + abiMarshalArg0: arg0 arg1: arg1 in: memory + "Marshal two integral arguments according to the ABI. + Currently used only on processors that do ceFlushICache in machine code." + self subclassResponsibility! Item was removed: - ----- Method: CogProcessorAlien>>abiMarshallArg0:arg1: (in category 'accessing-abstract') ----- - abiMarshallArg0: arg0 arg1: arg1 - "Marshall two integral arguments according to the ABI. - Currently used only on processors that do ceFlushICache in machine code." - self subclassResponsibility!

1 0

Re: [Vm-dev] nuSqueak source
by p.fazio＠eggingtons.com 30 Oct '20

30 Oct '20

1 0

Failed: OpenSmalltalk/opensmalltalk-vm#2290 (Cog - f027c5c)
by Travis CI 30 Oct '20

30 Oct '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2290 Status: Failed Duration: 6 hrs, 21 mins, and 59 secs Commit: f027c5c (Cog) Author: Eliot Miranda Message: UnixOSProcessPlugin as per VMConstruction-Plugins-OSProcessPlugin.oscog-eem.71 Get the UnixOSProcessPlugin to simulate correctly environmentAtAsType:, the innards of primitiveEnvironmentAt[AsBytes] View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/c14b71734116...f0… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74005557… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

Failed: OpenSmalltalk/opensmalltalk-vm#2289 (Cog - c14b717)
by Travis CI 30 Oct '20

30 Oct '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2289 Status: Failed Duration: 5 hrs, 22 mins, and 37 secs Commit: c14b717 (Cog) Author: Eliot Miranda Message: CogVM source as per Name: VMMaker.oscog-eem.2862 Cogit: Revise deriving the varBaseAddress after finding on MacOS that the linker may not "follow orders". So take the minimum of several likely addresses, secretly hoping the minimum is something like stackLimit, which likely has the highest dynamic frequency (well done clang). Eliminate ceEnterInterpreterOnReturnFromCogCode and have the ceReturnToInterpreterTrampoline invoke interpret directly, using the same code as ceInvokeInterpret. Do this by moving the setMethod: send into interpret from senders; setMethod: is key because it sets the bytecodeSetSelector to enable multiple bytecode set support, but machine code is (and should remain) ignorant of the details of bytecode set selection in compiled method headers. cogitARMv8.c Add __ARM_ARCH >= 8 to cogit.c's ARMv8 identifying macros. CoInterpreterMT: Get rid of vmOwnerLock; what a bogus idea. Just use CAS on vmOwner as God (DS) intended. Fix a bug in CoInterpreterMT>>wakeHighestPriority. Refactor ABI callout marshalling on X64 to use the same CArg0Reg thru CArg3Reg pattern as on ARMv8. Make CPUID the first processor specific opcode on Intel. Eliminate use of reenterInterpreter, this is StackInterpreter only now. FilePlugin: Add FilePlugin>>primitiveFileReadPinningAndDisowning, for file read in COGMTVM. Use methodReturnInteger: rather than methodReturnValue: ... integerObjectOf:: Slang: generate neater code for pointer indirection. Instead of indexing with zero, dereference with *. Eliminate a space in function type printing. View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/17625fc20fa1...c1… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74004369… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev October 2020