Vm-dev April 2012

vm-dev@lists.squeakfoundation.org

30 participants
84 discussions

VM Maker: CMakeVMMaker-EstebanLorenzano.155.mcz
by commits＠source.squeak.org 13 Apr '12

13 Apr '12

Esteban Lorenzano uploaded a new version of CMakeVMMaker to project VM Maker: http://source.squeak.org/VMMaker/CMakeVMMaker-EstebanLorenzano.155.mcz ==================== Summary ==================== Name: CMakeVMMaker-EstebanLorenzano.155 Author: EstebanLorenzano Time: 13 April 2012, 11:23:51 am UUID: daf3d6f1-2fae-424f-b0f5-af3c896eb7ab Ancestors: CMakeVMMaker-IgorStasenko.154 empty log message =============== Diff against CMakeVMMaker-IgorStasenko.154 =============== Item was changed: ----- Method: CMakePluginGenerator>>generate (in category 'code generation') ----- generate | name | output := String new writeStream. name := plugin moduleName. self printHeader; project: name; "include directories generated for build" include: '../directories.cmake'. self set: 'CMAKE_CONFIGURATION_TYPES' to: 'Release'. self message: (internal ifTrue: [ 'Adding internal plugin: '] ifFalse: ['Adding external plugin: ']) , name. self set: #pluginName toString: name; set: #pluginSrc toString: '${srcPluginsDir}/', name; set: #pluginCross toString: '${crossDir}/plugins/', name; set: #pluginPlatform toString: '${targetPlatform}/plugins/', name. internal ifTrue: [ self puts: 'add_definitions(-DSQUEAK_BUILTIN_PLUGIN)']. self addSources: { name , '.c' } prefixed: '${pluginSrc}/'. " default include directories for plugin " self includeDirectories: '${pluginSrc} ${pluginCross} ${targetPlatform}/plugins/${pluginName}'. + "Not needed because there are already there (inherited from main configuration)" + "self addDefinitions: vmGen config compilerFlags." - self addDefinitions: vmGen config compilerFlags. " perform config's configureXYZ: message to apply per-plugin custom rules, if any " vmGen config configurePlugin: plugin with: self. extraRules ifNotNil: [ extraRules value: self ]. " generate a static lib for internal plugin, or shared for external" internal ifTrue: [ self cmd: 'add_library' params: name , ' STATIC ${sources}'. ] ifFalse: [ self cmd: 'add_library' params: name , ' SHARED ${sources}'. " self cmd: 'set_property' params: 'TARGET ' , name , ' PROPERTY LINK_FLAGS -bundle'" ]. vmGen config extraPluginSettings: self. self isExternal ifTrue: [ self cmd: 'target_link_libraries' params: self moduleName , ' ${LINKLIBS}'. ]. " see senders of #linkFlags " self cmd: 'set_property' params: 'TARGET ', name, ' PROPERTY LINK_FLAGS "${linkFlags}"'. self saveFile.! Item was changed: ----- Method: CocoaIOSConfig>>compilerFlags (in category 'accessing') ----- compilerFlags | releaseFlags | releaseFlags := self isGenerateForRelease ifTrue: [ self compilerFlagsRelease ] ifFalse: [ self compilerFlagsDebug ]. ^String streamContents: [ :stream | + (self commonCompilerFlags, releaseFlags) asSet - (self commonCompilerFlags, releaseFlags) do: [ :each | stream nextPutAll: each ] separatedBy: [ stream space ] ]! Item was changed: ----- Method: CogFamilyCocoaIOSConfig>>setExtraTargetProperties: (in category 'settings') ----- setExtraTargetProperties: maker | plist | maker addFrameworks: self frameworks. " generated and add Info.plist file " plist := self plistFile. (maker buildDir forceNewFileNamed: 'Info.plist') nextPutAll: plist; close. maker addProperty: 'MACOSX_BUNDLE_INFO_PLIST' value: '${buildDir}/Info.plist'. (maker buildDir forceNewFileNamed: self prefixHeaderFileName) nextPutAll: self precompiledHeaders; close. maker addXCodeProperty: 'GCC_PREFIX_HEADER' value: '${buildDir}/', self prefixHeaderFileName. maker addXCodeProperty: 'PER_ARCH_CFLAGS_i386' value: '-DLSB_FIRST -mfpmath=sse -finline-functions -fno-cse-follow-jumps -fno-gcse -mtune=prescott -march=pentium-m -falign-functions=16'. "maker addXCodeProperty: 'GCC_VERSION' value: '4.3'." maker cmd: 'set_target_properties' params: self executableName, ' PROPERTIES COMPILE_FLAGS "-include \"', (self buildDir / self prefixHeaderFileName) fullName, '\""'. maker set: 'EXECUTABLE_OUTPUT_PATH' toString: self outputDir. maker set: 'RUNTIME_OUTPUT_DIRECTORY' toString: self outputDir.! Item was changed: ----- Method: StackIPhoneConfig>>setExtraTargetProperties: (in category 'settings') ----- setExtraTargetProperties: maker "super setExtraTargetProperties: maker." | precompiledHeaders plist | precompiledHeaders := (self executableName, '_Prefix.pch'). (maker buildDir forceNewFileNamed: precompiledHeaders) nextPutAll: self precompiledHeaders; close. maker addXCodeProperty: 'GCC_PREFIX_HEADER' value: '${buildDir}/', precompiledHeaders. self setCommonProperties: maker. " generated and add Info.plist file " plist := self plistFile. (maker buildDir forceNewFileNamed: 'Info.plist') nextPutAll: plist; close. maker addProperty: 'MACOSX_BUNDLE_INFO_PLIST' value: '${buildDir}/Info.plist'. maker cmd: 'set_target_properties' params: self executableName, ' PROPERTIES COMPILE_FLAGS "-include \"', (self buildDir / self prefixHeaderFileName) fullName, '\""'. maker set: 'CMAKE_XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY' toString: self codeSignIdentity. maker set: 'CMAKE_XCODE_ATTRIBUTE_TARGETED_DEVICE_FAMILY' toString: self targetedDeviceFamilyAsString. maker set: 'CMAKE_XCODE_ATTRIBUTE_IPHONEOS_DEPLOYMENT_TARGET' to: self deploymentTargetVersion. - maker set: 'EXECUTABLE_OUTPUT_PATH' toString: self outputDir.!

1 0

VM Maker: eneraiton.
by commits＠source.squeak.org 13 Apr '12

13 Apr '12

VMMaker.oscog-eem.156.mcz Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/eneraiton. VMMaker.oscog-eem.156.mcz ==================== Summary ==================== Name: eneraiton. VMMaker.oscog-eem.156 Author: eem Time: 12 April 2012, 6:35:41.665 pm UUID: f03602f8-cb8a-4ae7-9a2e-921b5b77cf01 Ancestors: VMMaker.oscog-eem.155 CoInterpreter: Provide a thorough flush primitive for CompiledMethods that discards all machine code and makes sure that any contexts using the method have bytecode pcs. Primitive #215 (same as 116 in the Stack VM). This is much slower than 116 (flushCache) since it has to enumerate over all heap contexts. Provide an xray primitive for CompiledMethod that answers if a method has machine code, and if so if it's machine code is frameless, and/or refers to a young object. No primitive number. Used to test the above. Make printOopShort: print Association keys. Useful for longPrintOop:, and hence printReferencesTo: etc. Nuke theFP ~= framePointer assert in externalDivorceFrame: andContext: since both clients are careful enough to either avoid or deal with this case. Slang: Avoid annoying objectRepresentation already removed warnings on generation. Reformat some Slang code in trying to understand mis-inlining of [inlinedSend] whileTrue. [I know, IIABDFI, but sometmes one has to format to read and comprehend]. Collapse generateWhileForeverBreakFalse/TrueLoop:on:indent: methods to one taking a parameter. =============== Diff against VMMaker.oscog-eem.155 =============== Item was changed: ----- Method: CCodeGenerator>>generateWhileFalse:on:indent: (in category 'C translation') ----- generateWhileFalse: msgNode on: aStream indent: level "Generate C code for a loop in one of the following formats, as appropriate: while(!!(cond)) { stmtList } do {stmtList} while(!!(cond)) while(1) {stmtListA; if (cond) break; stmtListB}" msgNode receiver statements size <= 1 ifTrue: [^self generateWhileFalseLoop: msgNode on: aStream indent: level]. msgNode args first isNilStmtListNode ifTrue: [^self generateDoWhileFalse: msgNode on: aStream indent: level]. + ^self generateWhileForeverBreakIf: true loop: msgNode on: aStream indent: level! - ^self generateWhileForeverBreakTrueLoop: msgNode on: aStream indent: level! Item was removed: - ----- Method: CCodeGenerator>>generateWhileForeverBreakFalseLoop:on:indent: (in category 'C translation') ----- - generateWhileForeverBreakFalseLoop: msgNode on: aStream indent: level - "Generate while(1) {stmtListA; if(!!(cond)) break; stmtListB}." - - | stmts testStmt | - stmts := msgNode receiver statements asOrderedCollection. - testStmt := stmts removeLast. - msgNode receiver setStatements: stmts. - level - 1 timesRepeat: [ aStream tab ]. - aStream nextPutAll: 'while (1) {'; cr. - msgNode receiver emitCCodeOn: aStream level: level + 1 generator: self. - (level + 1) timesRepeat: [ aStream tab ]. - aStream nextPutAll: 'if (!!('. - testStmt emitCCodeOn: aStream level: 0 generator: self. - aStream nextPutAll: ')) break;'; cr. - msgNode args first emitCCodeOn: aStream level: level + 1 generator: self. - level timesRepeat: [ aStream tab ]. - aStream nextPutAll: '}'.! Item was added: + ----- Method: CCodeGenerator>>generateWhileForeverBreakIf:loop:on:indent: (in category 'C translation') ----- + generateWhileForeverBreakIf: breakBoolean loop: msgNode on: aStream indent: level + "Generate either of + while(1) {stmtListA; if(cond) break; stmtListB} + while(1) {stmtListA; if(!!(cond)) break; stmtListB}." + + | stmts testStmt | + stmts := msgNode receiver statements asOrderedCollection. + testStmt := stmts removeLast. + msgNode receiver setStatements: stmts. + aStream tab: level - 1. + aStream nextPutAll: 'while (1) {'; cr. + msgNode receiver emitCCodeOn: aStream level: level + 1 generator: self. + aStream tab: level + 1. + aStream nextPutAll: 'if ('. + breakBoolean ifFalse: [aStream nextPut: $!!; nextPut: $(]. + testStmt emitCCodeOn: aStream level: 0 generator: self. + breakBoolean ifFalse: [aStream nextPut: $)]. + aStream nextPutAll: ') break;'; cr. + msgNode args first emitCCodeOn: aStream level: level + 1 generator: self. + level timesRepeat: [ aStream tab ]. + aStream nextPut: $}! Item was removed: - ----- Method: CCodeGenerator>>generateWhileForeverBreakTrueLoop:on:indent: (in category 'C translation') ----- - generateWhileForeverBreakTrueLoop: msgNode on: aStream indent: level - "Generate while(1) {stmtListA; if(cond) break; stmtListB}." - - | stmts testStmt | - stmts := msgNode receiver statements asOrderedCollection. - testStmt := stmts removeLast. - msgNode receiver setStatements: stmts. - level - 1 timesRepeat: [ aStream tab ]. - aStream nextPutAll: 'while (1) {'; cr. - msgNode receiver emitCCodeOn: aStream level: level + 1 generator: self. - (level + 1) timesRepeat: [ aStream tab ]. - aStream nextPutAll: 'if ('. - testStmt emitCCodeOn: aStream level: 0 generator: self. - aStream nextPutAll: ') break;'; cr. - msgNode args first emitCCodeOn: aStream level: level + 1 generator: self. - level timesRepeat: [ aStream tab ]. - aStream nextPutAll: '}'.! Item was changed: ----- Method: CCodeGenerator>>generateWhileTrue:on:indent: (in category 'C translation') ----- generateWhileTrue: msgNode on: aStream indent: level "Generate C code for a loop in one of the following formats, as appropriate: while(cond) { stmtList } do {stmtList} while(cond) while(1) {stmtListA; if (!!(cond)) break; stmtListB}" msgNode receiver statements size <= 1 ifTrue: [^self generateWhileTrueLoop: msgNode on: aStream indent: level]. msgNode args first isNilStmtListNode ifTrue: [^self generateDoWhileTrue: msgNode on: aStream indent: level]. + ^self generateWhileForeverBreakIf: false loop: msgNode on: aStream indent: level! - ^self generateWhileForeverBreakFalseLoop: msgNode on: aStream indent: level! Item was changed: ----- Method: CCodeGenerator>>removeVariable: (in category 'utilities') ----- removeVariable: aName "Remove the given (instance) variable from the code base." + self removeVariable: aName - self checkDeleteVariable: aName. - variables - remove: aName ifAbsent: [(vmClass notNil and: [vmClass isNonArgumentImplicitReceiverVariableName: aName]) ifFalse: [logger ensureCr; show: 'warning, variable ' , aName , ' doesn''t exist or has already been removed'; + cr]]! - cr]]. - variableDeclarations removeKey: aName ifAbsent: []! Item was added: + ----- Method: CCodeGenerator>>removeVariable:ifAbsent: (in category 'utilities') ----- + removeVariable: aName ifAbsent: ifAbsentBlock + "Remove the given (instance) variable from the code base." + self checkDeleteVariable: aName. + variableDeclarations removeKey: aName ifAbsent: []. + ^variables remove: aName ifAbsent: ifAbsentBlock! Item was changed: ----- Method: CoInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- initializePrimitiveTable super initializePrimitiveTable. self assert: (PrimitiveTable at: 253 + 1) = #primitiveFail. + PrimitiveTable at: 253 + 1 put: #primitiveCollectCogCodeConstituents. + self assert: (PrimitiveTable at: 215 + 1) = #primitiveFlushCacheByMethod. + PrimitiveTable at: 215 + 1 put: #primitiveVoidVMStateForMethod! - PrimitiveTable at: 253 + 1 put: #primitiveCollectCogCodeConstituents! Item was added: + ----- Method: CoInterpreter>>divorceAMachineCodeFrameWithCogMethod:in: (in category 'frame access') ----- + divorceAMachineCodeFrameWithCogMethod: cogMethod in: aStackPage + "Divorce at most one frame in the current page (since the divorce may cause the page to be split) + and answer whether a frame was divorced." + <var: #cogMethod type: #'CogMethod *'> + <var: #aStackPage type: #'StackPage *'> + | theFP calleeFP theSP theContext | + <var: #aStackPage type: #'StackPage *'> + <var: #theFP type: #'char *'> + <var: #calleeFP type: #'char *'> + <var: #theSP type: #'char *'> + + theFP := aStackPage headFP. + theSP := aStackPage headSP. + theSP := theSP + BytesPerWord. "theSP points at hottest item on frame's stack" + + [((self isMachineCodeFrame: theFP) + and: [cogMethod = (self mframeHomeMethod: theFP)]) ifTrue: + [theContext := self ensureFrameIsMarried: theFP SP: theSP. + self externalDivorceFrame: theFP andContext: theContext. + ^true]. + calleeFP := theFP. + theFP := self frameCallerFP: theFP. + theFP ~= 0] whileTrue: + ["theSP points at stacked hottest item on frame's stack" + theSP := self frameCallerSP: calleeFP]. + + ^false! Item was added: + ----- Method: CoInterpreter>>divorceMachineCodeFramesWithMethod: (in category 'frame access') ----- + divorceMachineCodeFramesWithMethod: methodObj + | cogMethod divorcedSome | + <var: #cogMethod type: #'CogMethod *'> + cogMethod := self cogMethodOf: methodObj. + [stackPage ~= 0 ifTrue: "This is needed for the assert in externalDivorceFrame:andContext:" + [stackPages markStackPageMostRecentlyUsed: stackPage]. + "Slang can't currently cope with the lack of the variable here. + Something to do with the preceeding statement. Take it out + and the code is good. leave it in and we get do { ... } while(l1:)" + divorcedSome := self divorceSomeMachineCodeFramesWithMethod: cogMethod. + divorcedSome] whileTrue! Item was added: + ----- Method: CoInterpreter>>divorceSomeMachineCodeFramesWithMethod: (in category 'frame access') ----- + divorceSomeMachineCodeFramesWithMethod: cogMethod + "Divorce at most one frame (since the divorce may cause the containing + page to be split) and answer whether a frame was divorced." + <var: #cogMethod type: #'CogMethod *'> + | divorcedSome | + <var: #aPage type: #'StackPage *'> + divorcedSome := false. + 0 to: numStackPages - 1 do: + [:i| | aPage | + aPage := stackPages stackPageAt: i. + (stackPages isFree: aPage) ifFalse: + ["this to avoid assert in externalDivorceFrame:andContext:" + self markStackPageMostRecentlyUsed: stackPage. + (self divorceAMachineCodeFrameWithCogMethod: cogMethod in: aPage) ifTrue: + [divorcedSome := true]]]. + ^divorcedSome! Item was added: + ----- Method: CoInterpreter>>ensureAllContextsWithMethodHaveBytecodePCs: (in category 'frame access') ----- + ensureAllContextsWithMethodHaveBytecodePCs: methodObj + "Map all native pcs to bytecoded pcs in all contexts on methodObj. + Used to implement primitiveVoidVMStateForMethod." + | oop | + oop := objectMemory firstObject. + [oop < objectMemory freeStart] whileTrue: + [((objectMemory isFreeObject: oop) not + and: [(objectMemory isContextNonInt: oop) + and: [(objectMemory fetchPointer: MethodIndex ofObject: oop) = methodObj]]) ifTrue: + [(self isMarriedOrWidowedContext: oop) + ifTrue: + [(self checkIsStillMarriedContext: oop currentFP: stackPage headFP) ifTrue: + [self assert: (self isMachineCodeFrame: (self frameOfMarriedContext: oop)) not]] + ifFalse: + [self ensureContextHasBytecodePC: oop]]. + oop := objectMemory objectAfter: oop]! Item was added: + ----- Method: CoInterpreter>>ensureContextHasBytecodePC: (in category 'frame access') ----- + ensureContextHasBytecodePC: aContext + "Make sure the context has a byetcode pc. Can only be used on single contexts." + | pc | + self assert: (self isMarriedOrWidowedContext: aContext) not. + pc := objectMemory fetchPointer: InstructionPointerIndex ofObject: aContext. + ((objectMemory isIntegerObject: pc) + and: [(pc := objectMemory integerValueOf: pc) < 0]) ifTrue: + [pc := self mustMapMachineCodePC: pc context: aContext. + objectMemory storePointerUnchecked: InstructionPointerIndex ofObject: aContext withValue: pc]! Item was changed: ----- Method: CoInterpreter>>ensureContextIsExecutionSafeAfterAssignToStackPointer: (in category 'frame access') ----- ensureContextIsExecutionSafeAfterAssignToStackPointer: aContext "Safety to give the JIT lattitude in calling convention. Conceptually, returning a value to a context involves pushing that value onto the stack. This is used in Squeak methods such as ContextPart>>jump jump | top | thisContext sender push: nil. stackp = 0 ifTrue: [self stepToSendOrReturn]. stackp = 0 ifTrue: [self push: nil]. top := self pop. thisContext privSender: self. ^top Here jump may pop the value of a temporary variable off the stack which will, conceptually and, in the interpreter, actually, get pushed back on return. But if the JIT is mapping the stack to registers disaster may ensue since the value may not get pushed to the stack and code may access an invalid value (e.g. a pc). The solution is to fall back on the interpreter. If the stack pointer is changed we also ensure the pc is a bytecode pc (+ive) which will cause makeBaseFrameFor: to create an interpreter frame if the context is executed again." - | pc | <inline: false> + self ensureContextHasBytecodePC: aContext! - self assert: (self isMarriedOrWidowedContext: aContext) not. - pc := objectMemory fetchPointer: InstructionPointerIndex ofObject: aContext. - ((objectMemory isIntegerObject: pc) - and: [(pc := objectMemory integerValueOf: pc) < 0]) ifTrue: - [pc := self mustMapMachineCodePC: pc context: aContext. - objectMemory storePointerUnchecked: InstructionPointerIndex ofObject: aContext withValue: pc]! Item was changed: ----- Method: CoInterpreter>>voidVMStateForSnapshot (in category 'frame access') ----- voidVMStateForSnapshot "Make sure that all VM state that affects the heap contents is voided so that the heap is ready to be snapshotted. Answer the activeContext object that should be stored in the snapshot." + <inline: false> | activeContext | instructionPointer := 0. "in case of code compactions." activeContext := self divorceAllFrames. self ensureAllContextsHaveBytecodePCsOrAreBereaved. cogit voidCogCompiledCode. ^activeContext! Item was changed: ----- Method: CoInterpreterPrimitives>>primitiveFlushCacheByMethod (in category 'system control primitives') ----- primitiveFlushCacheByMethod "The receiver is a compiledMethod. Clear all entries in the method lookup cache that refer to this method, presumably because it has been redefined, overridden or removed. Override to flush appropriate machine code caches also." super primitiveFlushCacheByMethod. + cogit unlinkSendsTo: self stackTop andFreeIf: false! - cogit unlinkSendsTo: self stackTop! Item was added: + ----- Method: CoInterpreterPrimitives>>primitiveMethodXray (in category 'indexing primitives') ----- + primitiveMethodXray + "Lift the veil from a method and answer an integer describing the interior state + of its machine code. + Used for e.g. VM tests so they can verify they're testing what they think they're testing. + 0 implies a vanilla method. + Bit 0 = method is currently compiled to machine code + Bit 1 = is compiled frameless. + Bit 2 = method refers to young object" + <export: true> + | flags cogMethod | + <var: #cogMethod type: #'CogMethod *'> + (self maybeMethodHasCogMethod: self stackTop) + ifTrue: + [cogMethod := self cogMethodOf: self stackTop. + flags := cogMethod stackCheckOffset = 0 ifTrue: [3] ifFalse: [1]. + cogMethod cmRefersToYoung ifTrue: + [flags := flags + 4]] + ifFalse: [flags := 0]. + self pop: 1 thenPush: (objectMemory integerObjectOf: flags)! Item was added: + ----- Method: CoInterpreterPrimitives>>primitiveVoidVMStateForMethod (in category 'system control primitives') ----- + primitiveVoidVMStateForMethod + "The receiver is a compiledMethod. Clear all VM state associated with the method, + including any machine code, or machine code pcs in context objects." + <var: #theFrame type: #'char *'> + <var: #thePage type: #'StackPage *'> + super primitiveFlushCacheByMethod. + (self methodHasCogMethod: self stackTop) ifTrue: + [| activeContext methodObj theFrame thePage | + methodObj := self stackTop. + self push: instructionPointer. + self externalWriteBackHeadFramePointers. + activeContext := self ensureFrameIsMarried: framePointer SP: stackPointer. + self divorceMachineCodeFramesWithMethod: methodObj. + self ensureAllContextsWithMethodHaveBytecodePCs: methodObj. + cogit unlinkSendsTo: methodObj andFreeIf: true. + (self isStillMarriedContext: activeContext) + ifTrue: + [theFrame := self frameOfMarriedContext: activeContext. + thePage := stackPages stackPageFor: theFrame. + self assert: thePage headFP = theFrame. + self setStackPageAndLimit: thePage. + stackPointer := thePage headSP. + framePointer := thePage headFP. + instructionPointer := self popStack. + self assert: methodObj = self stackTop] + ifFalse: + [stackPage := 0. "to avoid assert in marryContextInNewStackPageAndInitializeInterpreterRegisters:" + self marryContextInNewStackPageAndInitializeInterpreterRegisters: activeContext. + self popStack. "pop bogus machine-code instructionPointer" + self assert: methodObj = self stackTop. + self siglong: reenterInterpreter jmp: ReturnToInterpreter]] + ! Item was changed: ----- Method: CogMethodZone>>freeMethod: (in category 'compaction') ----- freeMethod: cogMethod <var: #cogMethod type: #'CogMethod *'> + <inline: false> self assert: cogMethod cmType ~= CMFree. self assert: (cogit cogMethodDoesntLookKosher: cogMethod) = 0. cogMethod cmType = CMMethod ifTrue: + ["For non-Newspeak there should ne a one-to-one mapping between bytecoded and - ["For non-Newspeak there should ne a one-to-one mapping metween bytecoded and cog methods. For Newspeak not necessarily, but only for anonymous accessors." self assert: ((coInterpreter rawHeaderOf: cogMethod methodObject) asInteger = cogMethod asInteger or: [(cogit noAssertMethodClassAssociationOf: cogMethod methodObject) = objectMemory nilObject]). "Only reset the original method's header if it is referring to this CogMethod." (coInterpreter rawHeaderOf: cogMethod methodObject) asInteger = cogMethod asInteger ifTrue: [coInterpreter rawHeaderOf: cogMethod methodObject put: cogMethod methodHeader]. cogMethod cmRefersToYoung: false]. cogMethod cmType = CMOpenPIC ifTrue: [self removeFromOpenPICList: cogMethod. cogMethod cmRefersToYoung: false]. cogMethod cmType: CMFree. methodBytesFreedSinceLastCompaction := methodBytesFreedSinceLastCompaction + cogMethod blockSize! Item was changed: CoInterpreterMT subclass: #CogVMSimulator instanceVariableNames: 'enableCog byteCount lastPollCount sendCount printSends traceOn myBitBlt displayForm imageName pluginList mappedPluginEntries quitBlock transcript displayView printFrameAtEachStep printBytecodeAtEachStep systemAttributes uniqueIndices uniqueIndex breakCount atEachStepBlock startMicroseconds externalSemaphoreSignalRequests externalSemaphoreSignalResponses extSemTabSize debugStackDepthDictionary' + classVariableNames: '' - classVariableNames: 'DebugStackPointers' poolDictionaries: '' category: 'VMMaker-JITSimulation'! !CogVMSimulator commentStamp: '<historical>' prior: 0! This class defines basic memory access and primitive simulation so that the StackInterpreter can run simulated in the Squeak environment. It also defines a number of handy object viewing methods to facilitate pawing around in the object memory. To see the thing actually run, you could (after backing up this image and changes), execute (CogVMSimulator new openOn: Smalltalk imageName) test and be patient both to wait for things to happen, and to accept various things that may go wrong depending on how large or unusual your image may be. We usually do this with a small and simple benchmark image. You will probably have more luck using InterpreteSimulatorLSB or InterpreterSimulatorMSB as befits your machine.! Item was changed: ----- Method: CogVMSimulator>>ceSendFromInLineCacheMiss: (in category 'trampolines') ----- ceSendFromInLineCacheMiss: oPIC "Override to map the address into a CogMethodSurrogate" | surrogate | + surrogate := oPIC isInteger + ifTrue: [cogit cogMethodSurrogateAt: oPIC] + ifFalse: [oPIC]. - surrogate := cogit cogMethodSurrogateAt: oPIC. self logSend: surrogate selector. ^super ceSendFromInLineCacheMiss: surrogate! Item was removed: - ----- Method: Cogit>>unlinkSendsTo: (in category 'jit - api') ----- - unlinkSendsTo: targetMethodObject - <api> - "Unlink all sends in cog methods to a particular target method. - If targetMethodObject isn't actually a method (perhaps being - used via invokeAsMethod) then flush all sends since anything - could be affected." - | cogMethod targetMethod freedPIC | - <var: #cogMethod type: #'CogMethod *'> - <var: #targetMethod type: #'CogMethod *'> - ((objectMemory isOopCompiledMethod: targetMethodObject) - and: [coInterpreter methodHasCogMethod: targetMethodObject]) ifFalse: - [^self]. - targetMethod := coInterpreter cogMethodOf: targetMethodObject. - methodZoneBase isNil ifTrue: [^self]. - codeModified := freedPIC := false. - cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. - [cogMethod < methodZone limitZony] whileTrue: - [cogMethod cmType = CMMethod - ifTrue: - [self mapFor: cogMethod - performUntil: #unlinkIfLinkedSend:pc:to: asSymbol - arg: targetMethod asInteger] - ifFalse: - [(cogMethod cmType = CMClosedPIC - and: [self cPIC: cogMethod HasTarget: targetMethod]) ifTrue: - [methodZone freeMethod: cogMethod. - freedPIC := true]]. - cogMethod := methodZone methodAfter: cogMethod]. - freedPIC - ifTrue: [self unlinkSendsToFree] - ifFalse: - [codeModified ifTrue: "After possibly updating inline caches we need to flush the icache." - [processor flushICacheFrom: methodZoneBase to: methodZone limitZony asInteger]]! Item was added: + ----- Method: Cogit>>unlinkSendsTo:andFreeIf: (in category 'jit - api') ----- + unlinkSendsTo: targetMethodObject andFreeIf: freeIfTrue + <api> + "Unlink all sends in cog methods to a particular target method. + If targetMethodObject isn't actually a method (perhaps being + used via invokeAsMethod) then flush all sends since anything + could be affected." + | cogMethod targetMethod freedPIC | + <var: #cogMethod type: #'CogMethod *'> + <var: #targetMethod type: #'CogMethod *'> + ((objectMemory isOopCompiledMethod: targetMethodObject) + and: [coInterpreter methodHasCogMethod: targetMethodObject]) ifFalse: + [^self]. + targetMethod := coInterpreter cogMethodOf: targetMethodObject. + methodZoneBase isNil ifTrue: [^self]. + codeModified := freedPIC := false. + cogMethod := self cCoerceSimple: methodZoneBase to: #'CogMethod *'. + [cogMethod < methodZone limitZony] whileTrue: + [cogMethod cmType = CMMethod + ifTrue: + [self mapFor: cogMethod + performUntil: #unlinkIfLinkedSend:pc:to: asSymbol + arg: targetMethod asInteger] + ifFalse: + [(cogMethod cmType = CMClosedPIC + and: [self cPIC: cogMethod HasTarget: targetMethod]) ifTrue: + [methodZone freeMethod: cogMethod. + freedPIC := true]]. + cogMethod := methodZone methodAfter: cogMethod]. + freeIfTrue ifTrue: [self freeMethod: targetMethod]. + freedPIC + ifTrue: [self unlinkSendsToFree] + ifFalse: + [codeModified ifTrue: "After possibly updating inline caches we need to flush the icache." + [processor flushICacheFrom: methodZoneBase to: methodZone limitZony asInteger]]! Item was changed: ----- Method: StackInterpreter class>>initializeAssociationIndex (in category 'initialization') ----- initializeAssociationIndex + KeyIndex := 0. ValueIndex := 1! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter>>externalDivorceFrame:andContext: (in category 'frame access') ----- externalDivorceFrame: theFP andContext: ctxt "Divorce a single frame and its context. If it is not the top frame of a stack this means splitting its stack." | thePage onCurrent theSP callerCtx newPage frameAbove callerFP callerSP callerIP theIP | <inline: false> <var: #theFP type: #'char *'> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> <var: #newPage type: #'StackPage *'> <var: #frameAbove type: #'char *'> <var: #callerFP type: #'char *'> <var: #callerSP type: #'char *'> "stackPage needs to have current head pointers to avoid confusion." - self assert: theFP ~= framePointer. self assert: (stackPage = 0 or: [stackPage = stackPages mostRecentlyUsedPage]). thePage := stackPages stackPageFor: theFP. (onCurrent := thePage = stackPage) ifFalse: [stackPages markStackPageNextMostRecentlyUsed: thePage]. theSP := self findSPOf: theFP on: thePage. self updateStateOfSpouseContextForFrame: theFP WithSP: theSP. callerCtx := self ensureCallerContext: theFP. (frameAbove := self findFrameAbove: theFP inPage: thePage) == 0 ifTrue: "If we're divorcing the top frame we can simply peel it off." [theIP := stackPages longAt: thePage headSP] ifFalse: "othewise move all frames above to a new stack and then peel the frame off." [newPage := self newStackPage. theIP := self oopForPointer: (self frameCallerSavedIP: frameAbove). frameAbove := self moveFramesIn: thePage through: frameAbove toPage: newPage. onCurrent ifTrue: [self setStackPageAndLimit: newPage. framePointer := stackPage headFP. stackPointer := stackPage headSP] ifFalse: [stackPages markStackPageMostRecentlyUsed: newPage]. self assert: (self frameCallerContext: frameAbove) = ctxt]. objectMemory storePointerUnchecked: InstructionPointerIndex ofObject: ctxt withValue: (self contextInstructionPointer: theIP frame: theFP). objectMemory storePointer: SenderIndex ofObject: ctxt withValue: callerCtx. callerFP := self frameCallerFP: theFP. callerFP == 0 "theFP is a base frame; it is now alone; free the entire page" ifTrue: [stackPages freeStackPage: thePage] ifFalse: [callerIP := self oopForPointer: (self frameCallerSavedIP: theFP). callerSP := (self frameCallerSP: theFP) - BytesPerWord. stackPages longAt: callerSP put: callerIP. self setHeadFP: callerFP andSP: callerSP inPage: thePage] ! Item was changed: ----- Method: StackInterpreter>>isWidowedContext: (in category 'frame access') ----- isWidowedContext: aOnceMarriedContext "See if the argument is connected with a live frame or not. If it is not, turn it into a bereaved single context." | theFrame thePage shouldBeFrameCallerField | <var: #theFrame type: #'char *'> <var: #thePage type: #'StackPage *'> <var: #shouldBeFrameCallerField type: #'char *'> + self assert: ((self isContext: aOnceMarriedContext) + and: [self isMarriedOrWidowedContext: aOnceMarriedContext]). - self assert: (self isContext: aOnceMarriedContext). theFrame := self frameOfMarriedContext: aOnceMarriedContext. thePage := stackPages stackPageFor: theFrame. ((stackPages isFree: thePage) or: [theFrame < thePage headFP]) ifFalse: ["The frame pointer is within the bounds of a live page. Now check if it matches a frame." shouldBeFrameCallerField := self withoutSmallIntegerTags: (objectMemory fetchPointer: InstructionPointerIndex ofObject: aOnceMarriedContext). ((self frameCallerFP: theFrame) = shouldBeFrameCallerField and: [(self frameMethodObject: theFrame) = (objectMemory fetchPointer: MethodIndex ofObject: aOnceMarriedContext) and: [(self frameHasContext: theFrame) and: [(self frameContext: theFrame) = aOnceMarriedContext]]]) ifTrue: ["It is still married!!" ^false]]. "It is out of range or doesn't match the frame's context. It is widowed. Time to wear black." self markContextAsDead: aOnceMarriedContext. ^true! Item was changed: ----- Method: StackInterpreter>>marryContextInNewStackPageAndInitializeInterpreterRegisters: (in category 'frame access') ----- marryContextInNewStackPageAndInitializeInterpreterRegisters: aContext "Establish aContext at the base of a new stackPage, make the stackPage the active one and set-up the interreter registers. This is used to boot the system and bring it back after a snapshot." + <inline: false> | newPage | <var: #newPage type: #'StackPage *'> self assert: stackPage = 0. newPage := self makeBaseFrameFor: aContext. self setStackPageAndLimit: newPage. framePointer := stackPage headFP. stackPointer := stackPage headSP. self setMethod: (self iframeMethod: stackPage headFP). instructionPointer := self popStack! Item was changed: ----- Method: StackInterpreter>>printContext: (in category 'debug printing') ----- printContext: aContext | sender ip sp | <inline: false> self shortPrintContext: aContext. sender := objectMemory fetchPointer: SenderIndex ofObject: aContext. ip := objectMemory fetchPointer: InstructionPointerIndex ofObject: aContext. (objectMemory isIntegerObject: sender) ifTrue: [(self checkIsStillMarriedContext: aContext currentFP: framePointer) ifTrue: [self print: 'married (assuming framePointer valid)'; cr] + ifFalse: [self print: 'widowed (assuming framePointer valid)'; cr]. - ifFalse: [self print: 'widdowed (assuming framePointer valid)'; cr]. self print: 'sender '; printNum: sender; print: ' ('; printHexPtr: (self withoutSmallIntegerTags: sender); printChar: $); cr. self print: 'ip '; printNum: ip; print: ' ('; printHexPtr: (self withoutSmallIntegerTags: ip); printChar: $); cr] ifFalse: [self print: 'sender '; shortPrintOop: sender. self print: 'ip '. ip = objectMemory nilObject ifTrue: [self shortPrintOop: ip] ifFalse: [self printNum: ip; print: ' ('; printNum: (objectMemory integerValueOf: ip); space; printHex: (objectMemory integerValueOf: ip); printChar: $); cr]]. sp := objectMemory fetchPointer: StackPointerIndex ofObject: aContext. sp := sp min: (objectMemory lengthOf: aContext) - ReceiverIndex. self print: 'sp '; printNum: sp; print: ' ('; printNum: (objectMemory integerValueOf: sp); printChar: $); cr. self print: 'method '; shortPrintOop: (objectMemory fetchPointer: MethodIndex ofObject: aContext). self print: 'closure '; shortPrintOop: (objectMemory fetchPointer: ClosureIndex ofObject: aContext). self print: 'receiver '; shortPrintOop: (objectMemory fetchPointer: ReceiverIndex ofObject: aContext). sp := objectMemory integerValueOf: sp. 1 to: sp do: [:i| self print: ' '; printNum: i; space; shortPrintOop: (objectMemory fetchPointer: ReceiverIndex + i ofObject: aContext)]! Item was changed: ----- Method: StackInterpreter>>printOopShortInner: (in category 'debug printing') ----- printOopShortInner: oop | classOop name nameLen | <var: #name type: #'char *'> <inline: true> (objectMemory isIntegerObject: oop) ifTrue: [self printNum: (objectMemory integerValueOf: oop); printChar: $(; printHex: (objectMemory integerValueOf: oop); printChar: $). ^nil]. (oop between: objectMemory startOfMemory and: objectMemory freeStart) ifFalse: [self printHex: oop; print: ' is not on the heap'. ^nil]. (oop bitAnd: (BytesPerWord - 1)) ~= 0 ifTrue: [self printHex: oop; print: ' is misaligned'. ^nil]. (self isFloatObject: oop) ifTrue: [self printFloat: (self dbgFloatValueOf: oop). ^nil]. classOop := objectMemory fetchClassOfNonInt: oop. (objectMemory addressCouldBeObj: classOop) ifFalse: [self print: 'a ??'. ^nil]. (objectMemory sizeBitsOf: classOop) = metaclassSizeBytes ifTrue: [self printNameOfClass: oop count: 5. ^nil]. oop = objectMemory nilObject ifTrue: [self print: 'nil'. ^nil]. oop = objectMemory trueObject ifTrue: [self print: 'true'. ^nil]. oop = objectMemory falseObject ifTrue: [self print: 'false'. ^nil]. nameLen := self lengthOfNameOfClass: classOop. nameLen = 0 ifTrue: [self print: 'a ??'. ^nil]. name := self nameOfClass: classOop. nameLen = 10 ifTrue: [(self str: name n: 'ByteString' cmp: 10) not "strncmp is weird" ifTrue: [self printChar: $'; printStringOf: oop; printChar: $'. ^nil]. (self str: name n: 'ByteSymbol' cmp: 10) not "strncmp is weird" ifTrue: [self printChar: $#; printStringOf: oop. ^nil]]. (nameLen = 9 and: [(self str: name n: 'Character' cmp: 9) not]) ifTrue: [self printChar: $$; printChar: (objectMemory integerValueOf: (objectMemory fetchPointer: 0 ofObject: oop)). ^nil]. self cCode: [self prin: 'a(n) %.*s' t: nameLen f: name] + inSmalltalk: [self print: 'a(n) '; print: name]. + "Try to spot association-like things; they're all subclasses of LookupKey" + ((objectMemory instanceSizeOf: classOop) = (ValueIndex + 1) + and: [(self superclassOf: classOop) = (self superclassOf: (self fetchClassOfNonInt: (objectMemory splObj: SchedulerAssociation))) + and: [self isBytes: (objectMemory fetchPointer: KeyIndex ofObject: oop)]]) ifTrue: + [self space; + printOopShort: (objectMemory fetchPointer: KeyIndex ofObject: oop); + print: ' -> '; + printHex: (objectMemory fetchPointer: ValueIndex ofObject: oop)]! - inSmalltalk: [self print: 'a(n) '; print: name]! Item was changed: ----- Method: TGoToNode>>setLabel: (in category 'accessing') ----- setLabel: aString + label := aString! - - label := aString.! Item was changed: ----- Method: TMethod>>exitVar:label: (in category 'inlining') ----- exitVar: exitVar label: exitLabel "Replace each return statement in this method with an assignment to the exit variable followed by a goto to the given label. Return true if a goto was generated." "Optimization: If exitVar is nil, the return value of the inlined method is not being used, so don't add the assignment statement." + | labelUsed | - | newStmts labelUsed | labelUsed := false. + parseTree nodesDo: + [:node | | newStmts | + node isStmtList ifTrue: + [newStmts := OrderedCollection new: 100. + node statements do: + [:stmt | + stmt isReturn + ifTrue: + [exitVar + ifNil: + [stmt expression isLeaf ifFalse: "evaluate return expression even though value isn't used" + [newStmts add: stmt expression]] + ifNotNil: "assign return expression to exit variable" + [newStmts add: + (TAssignmentNode new + setVariable: (TVariableNode new setName: exitVar) + expression: stmt expression)]. + stmt ~~ parseTree statements last ifTrue: "generate a goto (this return is NOT the last statement in the method)" + [newStmts add: (TGoToNode new setLabel: exitLabel). + labelUsed := true]] + ifFalse: [newStmts addLast: stmt]]. + node setStatements: newStmts asArray]]. - parseTree nodesDo: [ :node | - node isStmtList ifTrue: [ - newStmts := OrderedCollection new: 100. - node statements do: [ :stmt | - (stmt isReturn) ifTrue: [ - exitVar = nil ifTrue: [ - stmt expression isLeaf ifFalse: [ - "evaluate return expression even though value isn't used" - newStmts add: stmt expression. - ]. - ] ifFalse: [ - "assign return expression to exit variable" - newStmts add: - (TAssignmentNode new - setVariable: (TVariableNode new setName: exitVar) - expression: stmt expression). - ]. - (stmt == parseTree statements last) ifFalse: [ - "generate a goto (this return is NOT the last statement in the method)" - newStmts add: (TGoToNode new setLabel: exitLabel). - labelUsed := true. - ]. - ] ifFalse: [ - newStmts addLast: stmt. - ]. - ]. - node setStatements: newStmts asArray. - ]. - ]. ^labelUsed! Item was changed: ----- Method: TMethod>>inlineCodeOrNilForStatement:in: (in category 'inlining') ----- inlineCodeOrNilForStatement: aNode in: aCodeGen "If the given statement node can be inlined, answer the statements that replace it. Otherwise, answer nil." | stmts | aNode isReturn ifTrue: [(self inlineableSend: aNode expression in: aCodeGen) ifTrue: [stmts := self inlineSend: aNode expression directReturn: true exitVar: nil in: aCodeGen. ^stmts]]. (aNode isAssignment and: [aNode expression isSend]) ifTrue: [(self inlineableSend: aNode expression in: aCodeGen) ifTrue: [^self inlineSend: aNode expression directReturn: false exitVar: aNode variable name in: aCodeGen]]. aNode isSend ifTrue: [(self inlineableSend: aNode in: aCodeGen) ifTrue: [^self inlineSend: aNode directReturn: false exitVar: nil in: aCodeGen]]. ^nil! Item was changed: ----- Method: TMethod>>statementsListsForInlining (in category 'inlining') ----- statementsListsForInlining "Answer a collection of statement list nodes that are candidates for inlining. Currently, we cannot inline into the argument blocks of and: and or: messages. We do not want to inline code within cCode:inSmalltalk: blocks. We do not want to inline code within assert: sends" | stmtLists | stmtLists := OrderedCollection new: 10. parseTree nodesDo: [ :node | node isStmtList ifTrue: [ stmtLists add: node ]] unless: [ :node | node isSend and: [#(cCode:inSmalltalk: assert:) includes: node selector]]. parseTree nodesDo: [ :node | node isSend ifTrue: [node selector = #cCode:inSmalltalk: ifTrue: [node nodesDo: [:inStNode| stmtLists remove: inStNode ifAbsent: []]]. node selector = #cppIf:ifTrue:ifFalse: ifTrue: [node args first nodesDo: [:inCondNode| stmtLists remove: inCondNode ifAbsent: []]]. ((node selector = #and:) or: [node selector = #or:]) ifTrue: "Note: the PP 2.3 compiler produces two arg nodes for these selectors" [stmtLists remove: node args first ifAbsent: []. stmtLists remove: node args last ifAbsent: []]. (#( #ifTrue: #ifFalse: #ifTrue:ifFalse: #ifFalse:ifTrue: #ifNil: #ifNotNil: #ifNil:ifNotNil: #ifNotNil:ifNil: ) includes: node selector) ifTrue: [stmtLists remove: node receiver ifAbsent: []]. + (#(whileTrue whileTrue: whilefalse whileFalse:) includes: node selector) ifTrue: - ((node selector = #whileFalse:) or: [node selector = #whileTrue:]) ifTrue: "Allow inlining if it is a [...] whileTrue/whileFalse. This is identified by having more than one statement in the receiver block in which case the C code wouldn't work anyways" [node receiver statements size = 1 ifTrue: [stmtLists remove: node receiver ifAbsent: []]]. (node selector = #to:do:) ifTrue: [stmtLists remove: node receiver ifAbsent: []. stmtLists remove: node args first ifAbsent: []]. + (node selector = #to:by:do:) ifTrue: + [stmtLists remove: node receiver ifAbsent: []. - (node selector = #to:by:do:) ifTrue: [ - stmtLists remove: node receiver ifAbsent: []. stmtLists remove: node args first ifAbsent: []. stmtLists remove: node args second ifAbsent: []]]. node isCaseStmt ifTrue: "don't inline cases" [node cases do: [: case | stmtLists remove: case ifAbsent: []]]]. ^stmtLists! Item was changed: SharedPool subclass: #VMObjectIndices instanceVariableNames: '' + classVariableNames: 'ActiveProcessIndex CharacterTable CharacterValueIndex ClassAlien ClassArray ClassBitmap ClassBlockClosure ClassBlockContext ClassByteArray ClassByteString ClassCharacter ClassCompiledMethod ClassExternalAddress ClassExternalData ClassExternalFunction ClassExternalLibrary ClassExternalStructure ClassFloat ClassInteger ClassLargeNegativeInteger ClassLargePositiveInteger ClassMessage ClassMethodContext ClassMutex ClassPoint ClassProcess ClassSemaphore ClassString ClassUnsafeAlien ClassWeakFinalizer ClosureCopiedValuesIndex ClosureFirstCopiedValueIndex ClosureIndex ClosureNumArgsIndex ClosureOuterContextIndex ClosureStartPCIndex CompactClasses ConstMinusOne ConstOne ConstTwo ConstZero ExcessSignalsIndex ExternalObjectsArray FalseObject FirstLinkIndex ForeignCallbackProcess HeaderIndex InstanceSpecificationIndex InstructionPointerIndex KeyIndex LastLinkIndex LiteralStart MessageArgumentsIndex MessageLookupClassIndex MessageSelectorIndex MethodArrayIndex MethodDictionaryIndex MethodIndex MyListIndex NextLinkIndex NilObject PrimErrTableIndex PriorityIndex ProcessInExternalCodeTag ProcessListsIndex ProcessSignalingLowSpace ReceiverIndex SchedulerAssociation SelectorAboutToReturn SelectorAttemptToAssign SelectorCannotInterpret SelectorCannotReturn SelectorCounterTripped SelectorDoesNotUnderstand SelectorInvokeCallback SelectorMustBeBoolean SelectorRunWithIn SelectorStart SenderIndex SpecialSelectors StackPointerIndex StreamArrayIndex StreamIndexIndex StreamReadLimitIndex StreamWriteLimitIndex SuperclassIndex SuspendedContextIndex TheDisplay TheFinalizationSemaphore TheInputSemaphore TheInterruptSemaphore TheLowSpaceSemaphore TheTimerSemaphore TrueObject ValueIndex XIndex YIndex' - classVariableNames: 'ActiveProcessIndex CharacterTable CharacterValueIndex ClassAlien ClassArray ClassBitmap ClassBlockClosure ClassBlockContext ClassByteArray ClassByteString ClassCharacter ClassCompiledMethod ClassExternalAddress ClassExternalData ClassExternalFunction ClassExternalLibrary ClassExternalStructure ClassFloat ClassInteger ClassLargeNegativeInteger ClassLargePositiveInteger ClassMessage ClassMethodContext ClassMutex ClassPoint ClassProcess ClassSemaphore ClassString ClassUnsafeAlien ClassWeakFinalizer ClosureCopiedValuesIndex ClosureFirstCopiedValueIndex ClosureIndex ClosureNumArgsIndex ClosureOuterContextIndex ClosureStartPCIndex CompactClasses ConstMinusOne ConstOne ConstTwo ConstZero ExcessSignalsIndex ExternalObjectsArray FalseObject FirstLinkIndex ForeignCallbackProcess HeaderIndex InstanceSpecificationIndex InstructionPointerIndex LastLinkIndex LiteralStart MessageArgumentsIndex MessageLookupClassIndex MessageSelectorIndex MethodArrayIndex MethodDictionaryIndex MethodIndex MyListIndex NextLinkIndex NilObject PrimErrTableIndex PriorityIndex ProcessInExternalCodeTag ProcessListsIndex ProcessSignalingLowSpace ReceiverIndex SchedulerAssociation SelectorAboutToReturn SelectorAttemptToAssign SelectorCannotInterpret SelectorCannotReturn SelectorCounterTripped SelectorDoesNotUnderstand SelectorInvokeCallback SelectorMustBeBoolean SelectorRunWithIn SelectorStart SenderIndex SpecialSelectors StackPointerIndex StreamArrayIndex StreamIndexIndex StreamReadLimitIndex StreamWriteLimitIndex SuperclassIndex SuspendedContextIndex TheDisplay TheFinalizationSemaphore TheInputSemaphore TheInterruptSemaphore TheLowSpaceSemaphore TheTimerSemaphore TrueObject ValueIndex XIndex YIndex' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMObjectIndices commentStamp: '<historical>' prior: 0! I am a shared pool for the constants that define object layout and well-known objects shared between the object memories (e.g. ObjectMemory, NewObjectMemory), the interpreters (e.g. StackInterpreter, CoInterpreter) and the object representations (e.g. ObjectRepresentationForSqueakV3). self classPool declare: #Foo from: StackInterpreter classPool (ObjectMemory classPool keys select: [:k| (k beginsWith: 'Class') and: [(k endsWith: 'Index') not]]) do: [:k| self classPool declare: k from: ObjectMemory classPool]! Item was changed: ----- Method: VMStructType class>>prepareToBeAddedToCodeGenerator: (in category 'translation') ----- prepareToBeAddedToCodeGenerator: aCodeGen aCodeGen removeVariable: 'coInterpreter'; removeVariable: 'cogit'; removeVariable: 'objectMemory'; + removeVariable: 'objectRepresentation' ifAbsent: []! - removeVariable: 'objectRepresentation'!

1 0

Re: [Pharo-project] Using stdout in Windows --> 'File stdout is closed'
by Eliot Miranda 11 Apr '12

11 Apr '12

Hi Martin, would you please try with both the Croquet.exe and the CroquetConsole.exe in http://www.mirandabanda.org/files/Cog/VM/VM.r2540/cogwin.zip?. The CroquetConsole.exe is designed to be used from the command line; stupidly Windows has this distinction between console apps and windows apps, and this distinction affects standard i/o. If CroquetCOnsole works then the implication is that Pharo needs also to build both VMs and the user needs to select the console VM for console use and the Windows VM for detatched use. HTH Eliot On Sun, Apr 8, 2012 at 4:31 PM, Martin Dias <tinchodias(a)gmail.com> wrote: > Hi > > In my windows 7, I get an error when trying to write to "FileStream > stdout" in both Pharo 1.4 and 1.3 (revisions #14423 and #13320). > > To reproduce, > > - download: > https://ci.lille.inria.fr/pharo/job/Pharo%201.4/373/artifact/Pharo-1.4.zip > > - evaluate: > FileStream stdout nextPutAll: 'a'. > > Is this a known issue? I couldn't find it in issue tracker. > > Thanks in advance. > Martín > -- best, Eliot

2 3

Re: [Pharo-project] Using stdout in Windows --> 'File stdout is closed'
by Stefan Marr 10 Apr '12

10 Apr '12

Hi: On 10 Apr 2012, at 02:58, Martin Sandiford wrote: > I get the same thing if I start Cog with no special command line, and > I think this seems kind of correct to me, as I'm not sure where the > output would go when there is no console attached. > > C:\foo> CogVM.exe test.image This works on unix/OSX, the stdout should just be the command line. Strange that it seems to work for you when you do a redirect. Would guess that is a problem in the platform dependent code of the FilePlugin. Best regards Stefan -- Stefan Marr Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 / B-1050 Brussels / Belgium http://soft.vub.ac.be/~smarr Phone: +32 2 629 2974 Fax: +32 2 629 3525

3 2

Re: [squeak-dev] shift-enclose broken in trunk...
by Eliot Miranda 09 Apr '12

09 Apr '12

On Mon, Apr 9, 2012 at 4:04 AM, Bob Arning <arning315(a)comcast.net> wrote: > It works in 4.2 Mac for me. In 4.3, it fails as you reported. > So the change is then the discarding of shiftEncose: and its use in initializeShiftCmdKeyShortcuts. This change was made when the signature for enclose: et al was changed to take KeyboardEvents as arguments instead of the characterStream made in Morphic-nice.566. I agree with Nicholas' comment in Morphic-nice.566 that "#shiftEnclose: is hardcoding the keyboard layout, which is not compatible with foreign keyboards and modern VM, and prevents correct enclosing to work.". Looks like there isn't enough information in a KeyboardEvent, e.g. the shifted and unshifted characters, for enclose: to do the right thing. We need both the shifted and the unshifted character, and then enclose: can do the right thing. But the VM does not pass up this information yet. I propose we modify the VMs asap to use the "reserved1" 7th field in a sqKeyboardEvent to contain the modified character as answered by the OS. For and against? > > Cheers, > Bob > > > On 4/8/12 3:46 PM, Eliot Miranda wrote: > > Hi All, > > in the current 4.3 trunk shift-enclose on Mac doesn't work, it > performs the unshifted enclose. e.g. command-shift-single-quote (which is > double quote) encloses with a single quote. I think this is an image > issue. It has been fine in my Qwaq/Teleplace image for ages, but in > testing I see it is broken in 4.2 also. Anyone have any idea what's going > on here? > -- > best, > Eliot > > > > > > > -- best, Eliot

3 5

Tips to create a plugin with specific platform dependant stuff
by Guillermo Polito 09 Apr '12

09 Apr '12

Was playing in my weekend on the InternetConfigPlugin for ubuntu. And that's the problem :), It uses gnome2 stuff to access the system configuration (because gnome handles it's own configuration... :/). Now, I made it work doing something like this in vmmaker: CogFamilyUnixConfig>>configureInternetConfigPlugin: maker "extra rules for InternetConfigPlugin" super configureInternetConfigPlugin: maker. maker addDefinitions: '`pkg-config --libs --cflags gtk+-2.0 gconf-2.0`'. maker addExternalLibrary: '/usr/lib/libgconf-2.so.4'. maker addPlatformSources: #( 'sqUnixInternetConfiguration.c'). And adding it in the list of internal plugins for Unix. But this should only compile and work on a system with gconf and stuff installed :). So, how does or should vmmaker and vm building process handle something like this? Guille

2 3

can't update trunk or: [Cog]
by NISHIHARA Satoshi 09 Apr '12

09 Apr '12

hello I've noticed that the SVN updating goes to fail. said: "svn: Can't find a temporary directory: Internal error" regards -- -- "NISHIHARA Satoshi" [:goonsh :nsh | ^ nishis perform: goonsh with: nsh]

2 2

[commit] r2547 - Use the do-it-yourself asprintf in sqSCCSVersion.h since Mac OS's segfaults.
by commits＠squeakvm.org 09 Apr '12

09 Apr '12

Author: eliot Date: 2012-04-08 15:43:27 -0700 (Sun, 08 Apr 2012) New Revision: 2547 Modified: branches/Cog/platforms/Cross/vm/sqSCCSVersion.h branches/Cog/platforms/Mac OS/vm/sqMacMemory.c branches/Cog/platforms/unix/vm/sqUnixMemory.c Log: Use the do-it-yourself asprintf in sqSCCSVersion.h since Mac OS's segfaults. Fix the annoying bogus error messages from the mprotect calls by getting the length arg to mprotect right. Modified: branches/Cog/platforms/Cross/vm/sqSCCSVersion.h =================================================================== --- branches/Cog/platforms/Cross/vm/sqSCCSVersion.h 2012-04-05 19:21:49 UTC (rev 2546) +++ branches/Cog/platforms/Cross/vm/sqSCCSVersion.h 2012-04-08 22:43:27 UTC (rev 2547) @@ -63,7 +63,7 @@ sourceVersionString(char separator) { if (!sourceVersion) { -#if WIN32 +#if 1 /* a) mingw32 doesn't have asprintf and b) on Mac OS it segfaults. */ char *fmt = "VM: r%s %s%cPlugins: r%s %s"; int len = strlen(fmt) + strlen(revisionAsString()) Property changes on: branches/Cog/platforms/Cross/vm/sqSCCSVersion.h ___________________________________________________________________ Modified: checkindate - Thu Apr 5 12:21:16 PDT 2012 + Sun Apr 8 15:41:40 PDT 2012 Modified: branches/Cog/platforms/Mac OS/vm/sqMacMemory.c =================================================================== --- branches/Cog/platforms/Mac OS/vm/sqMacMemory.c 2012-04-05 19:21:49 UTC (rev 2546) +++ branches/Cog/platforms/Mac OS/vm/sqMacMemory.c 2012-04-08 22:43:27 UTC (rev 2547) @@ -102,7 +102,7 @@ { unsigned long firstPage = roundDownToPageBoundary(startAddr); if (mprotect((void *)firstPage, - roundUpToPageBoundary(endAddr - firstPage), + endAddr - firstPage + 1, PROT_READ | PROT_WRITE | PROT_EXEC) < 0) perror("mprotect(x,y,PROT_READ | PROT_WRITE | PROT_EXEC)"); } @@ -113,7 +113,7 @@ unsigned long firstPage = roundDownToPageBoundary(startAddr); /* We get EACCESS on 10.6.3 when trying to disable exec perm; Why? */ if (mprotect((void *)firstPage, - roundUpToPageBoundary(endAddr - firstPage), + endAddr - firstPage + 1, PROT_READ | PROT_WRITE) < 0 && errno != EACCES) perror("mprotect(x,y,PROT_READ | PROT_WRITE)"); Modified: branches/Cog/platforms/unix/vm/sqUnixMemory.c =================================================================== --- branches/Cog/platforms/unix/vm/sqUnixMemory.c 2012-04-05 19:21:49 UTC (rev 2546) +++ branches/Cog/platforms/unix/vm/sqUnixMemory.c 2012-04-08 22:43:27 UTC (rev 2547) @@ -297,7 +297,7 @@ { unsigned long firstPage = roundDownToPageBoundary(startAddr); if (mprotect((void *)firstPage, - roundUpToPageBoundary(endAddr - firstPage), + endAddr - firstPage + 1, PROT_READ | PROT_WRITE | PROT_EXEC) < 0) perror("mprotect(x,y,PROT_READ | PROT_WRITE | PROT_EXEC)"); } @@ -307,7 +307,7 @@ { unsigned long firstPage = roundDownToPageBoundary(startAddr); if (mprotect((void *)firstPage, - roundUpToPageBoundary(endAddr - firstPage), + endAddr - firstPage + 1, PROT_READ | PROT_WRITE) < 0) perror("mprotect(x,y,PROT_READ | PROT_WRITE)"); }

1 0

Limit of the #become:
by Mariano Martinez Peck 07 Apr '12

07 Apr '12

Hi guys. I noticed that there is a limit in the number of objects you can become. In my case, I am becoming 2312157 objects. So..I don't expect that the become works. I imagine that it was not designed for so many objects in mind ;) However, what I would really understand is where is the limitation and the reason. And of course, if someone already knows which is the real number limit. Otherwise, I will do a kind of binary search and discover it. If you want to reproduce it: | dict | dict := Dictionary new. 2312157 timesRepeat: [ dict at: Object new put: Object new ]. 3 timesRepeat: [Smalltalk garbageCollect]. dict keys elementsForwardIdentityTo: dict values. throws a #primitiveFailed. Thanks, -- Mariano http://marianopeck.wordpress.com

3 5

VM Maker: VMMaker.oscog-eem.155.mcz
by commits＠source.squeak.org 07 Apr '12

07 Apr '12

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.155.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.155 Author: eem Time: 6 April 2012, 3:59:00.584 pm UUID: 09dcf403-f832-4bee-9665-6a3b9dfdeb11 Ancestors: VMMaker.oscog-eem.154 Refactor bytecode table initialization in the Cogits to mimic initialization in the Stack/CoInterpreter. Refactor Cogit class initialization so that only the concrete class need be initialized. =============== Diff against VMMaker.oscog-eem.154 =============== Item was changed: ----- Method: CogVMSimulator class>>chooseAndInitCogitClassWithOpts: (in category 'instance creation') ----- chooseAndInitCogitClassWithOpts: opts + (CoInterpreter classPool + at: #CogitClass + put: Cogit chooseCogitClass) + initializeWithOptions: opts! - ((CoInterpreter classPool at: #CogitClass put: Cogit chooseCogitClass) - withAllSuperclasses copyUpThrough: Cogit) reverseDo: - [:cc| cc initializeWithOptions: opts]! Item was added: + ----- Method: Cogit class>>initializeBytecodeTable (in category 'class initialization') ----- + initializeBytecodeTable + "SimpleStackBasedCogit initializeBytecodeTable" + "StackToRegisterMappingCogit initializeBytecodeTable" + + NewspeakVM ifTrue: + [^self initializeBytecodeTableForNewspeakV3PlusClosures]. + + ^self initializeBytecodeTableForSqueakV3PlusClosures! Item was added: + ----- Method: Cogit class>>initializePrimitiveTable (in category 'class initialization') ----- + initializePrimitiveTable + "Currently there is only one sequence of primitives." + self initializePrimitiveTableForSqueakV3! Item was changed: ----- Method: Cogit class>>initializeWithOptions: (in category 'class initialization') ----- initializeWithOptions: optionsDictionary self initializeMiscConstantsWith: optionsDictionary. "must preceed other initialization." self initializeErrorCodes. self initializeCogMethodConstants. self initializeAnnotationConstants. + self initializeCompilationConstants. + self initializeBytecodeTable. + self initializePrimitiveTable! - self initializeCompilationConstants! Item was added: + ----- Method: CurrentImageCoInterpreterFacade>>methodUsesAlternateBytecodeSet: (in category 'testing') ----- + methodUsesAlternateBytecodeSet: methodObjOop + "A negative header selects the alternate bytecode set." + ^(self objectForOop: methodObjOop) signFlag! Item was removed: - ----- Method: SimpleStackBasedCogit class>>initializeBytecodeTableForClosureV3 (in category 'class initialization') ----- - initializeBytecodeTableForClosureV3 - "SimpleStackBasedCogit initializeBytecodeTableForClosureV3" - - self flag: - 'Special selector send class must be inlined to agree with the interpreter, which - inlines class. If class is sent to e.g. a general instance of ProtoObject then unless - class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit - have identical semantics. We get away with not hardwiring the other special - selectors either because in the Cointerpreter they are not inlined or because they - are inlined only to instances of classes for which there will always be a method.'. - self generatorTableFrom: { - #(1 0 15 genPushReceiverVariableBytecode). - #(1 16 31 genPushTemporaryVariableBytecode). - #(1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1). - #(1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1). - #(1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1). - #(1 104 111 genStoreAndPopTemporaryVariableBytecode). - #(1 112 112 genPushReceiverBytecode). - #(1 113 113 genPushConstantTrueBytecode needsFrameNever: 1). - #(1 114 114 genPushConstantFalseBytecode needsFrameNever: 1). - #(1 115 115 genPushConstantNilBytecode needsFrameNever: 1). - #(1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1). - "method returns in blocks need a frame because of nonlocalReturn:through:" - #(1 120 120 genReturnReceiver return needsFrameIfInBlock: mappedInBlock 0). - #(1 121 121 genReturnTrue return needsFrameIfInBlock: mappedInBlock 0). - #(1 122 122 genReturnFalse return needsFrameIfInBlock: mappedInBlock 0). - #(1 123 123 genReturnNil return needsFrameIfInBlock: mappedInBlock 0). - #(1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: mappedInBlock -1). - #(1 125 125 genReturnTopFromBlock return needsFrameNever: -1). - - NewspeakVM - ifTrue: [#(3 126 126 genDynamicSuperSendBytecode mapped)] - ifFalse: [#(1 126 126 unknownBytecode)]. - NewspeakVM - ifTrue: [#(2 127 127 genPushImplicitReceiverBytecode mapped)] - ifFalse: [#(1 127 127 unknownBytecode)]. - - #(2 128 128 extendedPushBytecode needsFrameNever: 1). - #(2 129 129 extendedStoreBytecode). - #(2 130 130 extendedStoreAndPopBytecode). - #(2 131 131 genExtendedSendBytecode mapped). - #(3 132 132 doubleExtendedDoAnythingBytecode mapped). - #(2 133 133 genExtendedSuperBytecode mapped). - #(2 134 134 genSecondExtendedSendBytecode mapped). - #(1 135 135 genPopStackBytecode needsFrameNever: -1). - #(1 136 136 duplicateTopBytecode needsFrameNever: 1). - - #(1 137 137 genPushActiveContextBytecode). - #(2 138 138 genPushNewArrayBytecode). - NewspeakVM - ifTrue: [#(2 139 139 genPushExplicitOuterSendReceiverBytecode mapped)] - ifFalse: [#(1 139 139 unknownBytecode)]. - #(3 140 140 genPushRemoteTempLongBytecode). - #(3 141 141 genStoreRemoteTempLongBytecode). - #(3 142 142 genStoreAndPopRemoteTempLongBytecode). - #(4 143 143 genPushClosureCopyCopiedValuesBytecode block blockCodeS:i:z:e:). - - #(1 144 151 genShortUnconditionalJump forward shortForwardBranchDistance:). - #(1 152 159 genShortJumpIfFalse forward false mapped "because of mustBeBoolean" - shortForwardBranchDistance:). - #(2 160 163 genLongUnconditionalBackwardJump backward mapped "because of interrupt check" - longBranchDist:ance:). - #(2 164 167 genLongUnconditionalForwardJump forward longBranchDist:ance:). - #(2 168 171 genLongJumpIfTrue forward true mapped "because of mustBeBoolean" - longForwardBranchDist:ance:). - #(2 172 175 genLongJumpIfFalse forward false mapped "because of mustBeBoolean" - longForwardBranchDist:ance:). - - #(1 176 197 genSpecialSelectorSend mapped). - #(1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1). "not mapped because it is directly inlined (for now)" - #(1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0). "not mapped because it is directly inlined (for now)" - #(1 200 207 genSpecialSelectorSend mapped). - #(1 208 223 genSendLiteralSelector0ArgsBytecode mapped). - #(1 224 239 genSendLiteralSelector1ArgBytecode mapped). - #(1 240 255 genSendLiteralSelector2ArgsBytecode mapped)}! Item was added: + ----- Method: SimpleStackBasedCogit class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- + initializeBytecodeTableForNewspeakV3PlusClosures + "SimpleStackBasedCogit initializeBytecodeTableForNewspeakV3PlusClosures" + + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode) + (1 16 31 genPushTemporaryVariableBytecode) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: mappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: mappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: mappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: mappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: mappedInBlock -1) + (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) + + (3 126 126 genDynamicSuperSendBytecode mapped) "Newspeak" + (2 127 127 genPushImplicitReceiverBytecode mapped) "Newspeak" + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode mapped) + (3 132 132 doubleExtendedDoAnythingBytecode mapped) + (2 133 133 genExtendedSuperBytecode mapped) + (2 134 134 genSecondExtendedSendBytecode mapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (2 139 139 genPushExplicitOuterSendReceiverBytecode mapped) "Newspeak" + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block blockCodeS:i:z:e:) + + (1 144 151 genShortUnconditionalJump forward shortForwardBranchDistance:) + (1 152 159 genShortJumpIfFalse forward false mapped "because of mustBeBoolean" + shortForwardBranchDistance:) + (2 160 163 genLongUnconditionalBackwardJump backward mapped "because of interrupt check" + longBranchDist:ance:) + (2 164 167 genLongUnconditionalForwardJump forward longBranchDist:ance:) + (2 168 171 genLongJumpIfTrue forward true mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + (2 172 175 genLongJumpIfFalse forward false mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + + (1 176 197 genSpecialSelectorSend mapped) + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend mapped) + (1 208 223 genSendLiteralSelector0ArgsBytecode mapped) + (1 224 239 genSendLiteralSelector1ArgBytecode mapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode mapped))! Item was added: + ----- Method: SimpleStackBasedCogit class>>initializeBytecodeTableForSqueakV3PlusClosures (in category 'class initialization') ----- + initializeBytecodeTableForSqueakV3PlusClosures + "SimpleStackBasedCogit initializeBytecodeTableForSqueakV3PlusClosures" + + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode) + (1 16 31 genPushTemporaryVariableBytecode) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: mappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: mappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: mappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: mappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: mappedInBlock -1) + (1 125 125 genReturnTopFromBlock return needsFrameNever: -1) + + (1 126 127 unknownBytecode) + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode mapped) + (3 132 132 doubleExtendedDoAnythingBytecode mapped) + (2 133 133 genExtendedSuperBytecode mapped) + (2 134 134 genSecondExtendedSendBytecode mapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (1 139 139 unknownBytecode) + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block blockCodeS:i:z:e:) + + (1 144 151 genShortUnconditionalJump forward shortForwardBranchDistance:) + (1 152 159 genShortJumpIfFalse forward false mapped "because of mustBeBoolean" + shortForwardBranchDistance:) + (2 160 163 genLongUnconditionalBackwardJump backward mapped "because of interrupt check" + longBranchDist:ance:) + (2 164 167 genLongUnconditionalForwardJump forward longBranchDist:ance:) + (2 168 171 genLongJumpIfTrue forward true mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + (2 172 175 genLongJumpIfFalse forward false mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + + (1 176 197 genSpecialSelectorSend mapped) + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend mapped) + (1 208 223 genSendLiteralSelector0ArgsBytecode mapped) + (1 224 239 genSendLiteralSelector1ArgBytecode mapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode mapped))! Item was removed: - ----- Method: SimpleStackBasedCogit class>>initializeWithOptions: (in category 'class initialization') ----- - initializeWithOptions: optionsDictionary - - self initializeMiscConstantsWith: optionsDictionary. "must preceed other initialization." - self initializeBytecodeTableForClosureV3. - self initializePrimitiveTableForSqueakV3! Item was changed: ----- Method: SistaStackToRegisterMappingCogit class>>initializeWithOptions: (in category 'class initialization') ----- initializeWithOptions: optionsDictionary + super initializeWithOptions: optionsDictionary. CounterBytes := 4. MaxCounterValue := (1 << 16) - 1! Item was added: + ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForNewspeakV3PlusClosures (in category 'class initialization') ----- + initializeBytecodeTableForNewspeakV3PlusClosures + "StackToRegisterMappingCogit initializeBytecodeTableForNewspeakV3PlusClosures" + + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode 1) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode needsFrameNever: 1) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: mappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: mappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: mappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: mappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: mappedInBlock -1) + (1 125 125 genReturnTopFromBlock needsFrameNever: return -1) + + (3 126 126 genDynamicSuperSendBytecode mapped) "Newspeak" + (2 127 127 genPushImplicitReceiverBytecode mapped) "Newspeak" + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode mapped) + (3 132 132 doubleExtendedDoAnythingBytecode mapped) + (2 133 133 genExtendedSuperBytecode mapped) + (2 134 134 genSecondExtendedSendBytecode mapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (2 139 139 genPushExplicitOuterSendReceiverBytecode mapped) "Newspeak" + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block blockCodeS:i:z:e:) + + (1 144 151 genShortUnconditionalJump forward shortForwardBranchDistance:) + (1 152 159 genShortJumpIfFalse forward false mapped "because of mustBeBoolean" + shortForwardBranchDistance:) + (2 160 163 genLongUnconditionalBackwardJump backward mapped "because of interrupt check" + longBranchDist:ance:) + (2 164 167 genLongUnconditionalForwardJump forward longBranchDist:ance:) + (2 168 171 genLongJumpIfTrue forward true mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + (2 172 175 genLongJumpIfFalse forward false mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + + (1 176 176 genSpecialSelectorArithmetic mapped AddRR) + (1 177 177 genSpecialSelectorArithmetic mapped SubRR) + (1 178 178 genSpecialSelectorComparison mapped JumpLess) + (1 179 179 genSpecialSelectorComparison mapped JumpGreater) + (1 180 180 genSpecialSelectorComparison mapped JumpLessOrEqual) + (1 181 181 genSpecialSelectorComparison mapped JumpGreaterOrEqual) + (1 182 182 genSpecialSelectorComparison mapped JumpZero) + (1 183 183 genSpecialSelectorComparison mapped JumpNonZero) + (1 184 189 genSpecialSelectorSend mapped) " #* #/ #\\ #@ #bitShift: //" + (1 190 190 genSpecialSelectorArithmetic mapped AndRR) + (1 191 191 genSpecialSelectorArithmetic mapped OrRR) + (1 192 197 genSpecialSelectorSend mapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend mapped) "#blockCopy: #value #value: #do: #new #new: #x #y" + (1 208 223 genSendLiteralSelector0ArgsBytecode mapped) + (1 224 239 genSendLiteralSelector1ArgBytecode mapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode mapped))! Item was added: + ----- Method: StackToRegisterMappingCogit class>>initializeBytecodeTableForSqueakV3PlusClosures (in category 'class initialization') ----- + initializeBytecodeTableForSqueakV3PlusClosures + "StackToRegisterMappingCogit initializeBytecodeTableForSqueakV3PlusClosures" + + self flag: + 'Special selector send class must be inlined to agree with the interpreter, which + inlines class. If class is sent to e.g. a general instance of ProtoObject then unless + class is inlined there will be an MNU. It must be that the Cointerpreter and Cogit + have identical semantics. We get away with not hardwiring the other special + selectors either because in the Cointerpreter they are not inlined or because they + are inlined only to instances of classes for which there will always be a method.'. + self generatorTableFrom: #( + (1 0 15 genPushReceiverVariableBytecode needsFrameNever: 1) + (1 16 31 genPushTemporaryVariableBytecode 1) + (1 32 63 genPushLiteralConstantBytecode needsFrameNever: 1) + (1 64 95 genPushLiteralVariableBytecode needsFrameNever: 1) + (1 96 103 genStoreAndPopReceiverVariableBytecode needsFrameNever: -1) "N.B. not frameless if immutability" + (1 104 111 genStoreAndPopTemporaryVariableBytecode) + (1 112 112 genPushReceiverBytecode needsFrameNever: 1) + (1 113 113 genPushConstantTrueBytecode needsFrameNever: 1) + (1 114 114 genPushConstantFalseBytecode needsFrameNever: 1) + (1 115 115 genPushConstantNilBytecode needsFrameNever: 1) + (1 116 119 genPushQuickIntegerConstantBytecode needsFrameNever: 1) + "method returns in blocks need a frame because of nonlocalReturn:through:" + (1 120 120 genReturnReceiver return needsFrameIfInBlock: mappedInBlock 0) + (1 121 121 genReturnTrue return needsFrameIfInBlock: mappedInBlock 0) + (1 122 122 genReturnFalse return needsFrameIfInBlock: mappedInBlock 0) + (1 123 123 genReturnNil return needsFrameIfInBlock: mappedInBlock 0) + (1 124 124 genReturnTopFromMethod return needsFrameIfInBlock: mappedInBlock -1) + (1 125 125 genReturnTopFromBlock needsFrameNever: return -1) + + (1 126 127 unknownBytecode) + + (2 128 128 extendedPushBytecode needsFrameNever: 1) + (2 129 129 extendedStoreBytecode) + (2 130 130 extendedStoreAndPopBytecode) + (2 131 131 genExtendedSendBytecode mapped) + (3 132 132 doubleExtendedDoAnythingBytecode mapped) + (2 133 133 genExtendedSuperBytecode mapped) + (2 134 134 genSecondExtendedSendBytecode mapped) + (1 135 135 genPopStackBytecode needsFrameNever: -1) + (1 136 136 duplicateTopBytecode needsFrameNever: 1) + + (1 137 137 genPushActiveContextBytecode) + (2 138 138 genPushNewArrayBytecode) + + (1 139 139 unknownBytecode) + + (3 140 140 genPushRemoteTempLongBytecode) + (3 141 141 genStoreRemoteTempLongBytecode) + (3 142 142 genStoreAndPopRemoteTempLongBytecode) + (4 143 143 genPushClosureCopyCopiedValuesBytecode block blockCodeS:i:z:e:) + + (1 144 151 genShortUnconditionalJump forward shortForwardBranchDistance:) + (1 152 159 genShortJumpIfFalse forward false mapped "because of mustBeBoolean" + shortForwardBranchDistance:) + (2 160 163 genLongUnconditionalBackwardJump backward mapped "because of interrupt check" + longBranchDist:ance:) + (2 164 167 genLongUnconditionalForwardJump forward longBranchDist:ance:) + (2 168 171 genLongJumpIfTrue forward true mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + (2 172 175 genLongJumpIfFalse forward false mapped "because of mustBeBoolean" + longForwardBranchDist:ance:) + + (1 176 176 genSpecialSelectorArithmetic mapped AddRR) + (1 177 177 genSpecialSelectorArithmetic mapped SubRR) + (1 178 178 genSpecialSelectorComparison mapped JumpLess) + (1 179 179 genSpecialSelectorComparison mapped JumpGreater) + (1 180 180 genSpecialSelectorComparison mapped JumpLessOrEqual) + (1 181 181 genSpecialSelectorComparison mapped JumpGreaterOrEqual) + (1 182 182 genSpecialSelectorComparison mapped JumpZero) + (1 183 183 genSpecialSelectorComparison mapped JumpNonZero) + (1 184 189 genSpecialSelectorSend mapped) " #* #/ #\\ #@ #bitShift: //" + (1 190 190 genSpecialSelectorArithmetic mapped AndRR) + (1 191 191 genSpecialSelectorArithmetic mapped OrRR) + (1 192 197 genSpecialSelectorSend mapped) "#at: #at:put: #size #next #nextPut: #atEnd" + (1 198 198 genSpecialSelectorEqualsEquals needsFrameNever: notMapped -1) "not mapped because it is directly inlined (for now)" + (1 199 199 genSpecialSelectorClass needsFrameNever: notMapped 0) "not mapped because it is directly inlined (for now)" + (1 200 207 genSpecialSelectorSend mapped) "#blockCopy: #value #value: #do: #new #new: #x #y" + (1 208 223 genSendLiteralSelector0ArgsBytecode mapped) + (1 224 239 genSendLiteralSelector1ArgBytecode mapped) + (1 240 255 genSendLiteralSelector2ArgsBytecode mapped))! Item was changed: ----- Method: StackToRegisterMappingCogit class>>initializeWithOptions: (in category 'class initialization') ----- initializeWithOptions: optionsDictionary + super initializeWithOptions: optionsDictionary. - self initializeMiscConstantsWith: optionsDictionary. "must preceed other initialization." - self initializeBytecodeTableForClosureV3. - self initializePrimitiveTableForSqueakV3. self initializeSimStackConstants! Item was changed: ----- Method: VMMaker>>buildCodeGeneratorForCogit: (in category 'generate sources') ----- buildCodeGeneratorForCogit: getAPIMethods "Answer the code generator for translating the cogit." | cg cogitClass cogitClasses apicg | cg := self createCogitCodeGenerator. cg vmClass: (cogitClass := self cogitClass). + { cogitClass. self interpreterClass } do: + [:cgc| + (cgc respondsTo: #initializeWithOptions:) + ifTrue: [cgc initializeWithOptions: optionsDictionary] + ifFalse: [cgc initialize]]. + cogitClasses := OrderedCollection new. [cogitClasses addFirst: cogitClass. cogitClass ~~ Cogit and: [cogitClass inheritsFrom: Cogit]] whileTrue: [cogitClass := cogitClass superclass]. cogitClasses addFirst: VMClass. cogitClasses addAllLast: self cogitClass ancilliaryClasses. - cogitClasses, { self interpreterClass } do: - [:cgc| - (cgc respondsTo: #initializeWithOptions:) - ifTrue: [cgc initializeWithOptions: optionsDictionary] - ifFalse: [cgc initialize]]. cogitClasses do: [:cgc| cg addClass: cgc]. (cg structClassesForTranslationClasses: cogitClasses) do: [:structClass| cg addStructClass: structClass]. getAPIMethods ifTrue: [apicg := self buildCodeGeneratorForInterpreter: false. cg apiMethods: apicg selectAPIMethods]. ^cg!

1 0

← Newer
1
2
3
4
5
6
7
8
9
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev April 2012