Vm-dev December 2019

vm-dev@lists.squeakfoundation.org

31 participants
265 discussions

VM Maker: FileAttributesPlugin.oscog-akg.52.mcz
by commits＠source.squeak.org 02 Dec '19

02 Dec '19

Alistair Grant uploaded a new version of FileAttributesPlugin to project VM Maker: http://source.squeak.org/VMMaker/FileAttributesPlugin.oscog-akg.52.mcz ==================== Summary ==================== Name: FileAttributesPlugin.oscog-akg.52 Author: akg Time: 2 December 2019, 7:58:15.59371 am UUID: 0e9df6e5-98d4-4906-a58a-01faa4522382 Ancestors: FileAttributesPlugin.oscog-akg.51 Handle primitive failures when retrieving the attribute of a file in FileAttributesPluginSimulator. =============== Diff against FileAttributesPlugin.oscog-akg.51 =============== Item was changed: ----- Method: FileAttributesPluginSimulator>>faFileAttribute:_: (in category 'simulation') ----- faFileAttribute: faPath _: attributeNumber "Simulate the the call by actually calling the primitive." | result | result := self primFileAttribute: (self faGetStPath: faPath) number: attributeNumber. - result isNumber ifTrue: [interpreterProxy primitiveFailForOSError: result]. ^self toOop: result! Item was changed: ----- Method: FileAttributesPluginSimulator>>signalError:for: (in category 'primitives') ----- signalError: error for: aByteArray + "In the simulation, flag the interpreter as failing and return the error code" - "In the simulation, just return the error code" error ifNil: [ ^interpreterProxy primitiveFail ]. error isSymbol ifTrue: [ ^interpreterProxy primitiveFailFor: ((SmalltalkImage current specialObjectsArray at: 52) indexOf: error) ]. error isPrimitiveError ifFalse: [ "We shouldn't ever get here" ^self primitiveFailed. ]. + interpreterProxy primitiveFailForOSError: error errorCode. ^error errorCode. !

1 0

VM Maker: VMMaker.oscog-eem.2599.mcz
by commits＠source.squeak.org 02 Dec '19

02 Dec '19

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2599.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2599 Author: eem Time: 1 December 2019, 9:39:41.329223 pm UUID: 4857615d-4183-4b1c-bdb9-6c710c344702 Ancestors: VMMaker.oscog-eem.2598 More work for CogARMv8Compiler. Add register assignments. Add concretizeMoveRR & concretizeRetN. Hence the first run-time routine is now generated. =============== Diff against VMMaker.oscog-eem.2598 =============== Item was changed: ----- Method: CogARMCompiler>>initialize (in category 'generate machine code') ----- initialize "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." <doNotGenerate> operands := CArrayAccessor on: (Array new: NumOperands). + machineCode := CArrayAccessor on: (WordArray new: self machineCodeWords)! - machineCode := CArrayAccessor on: (Array new: self machineCodeWords)! Item was changed: CogAbstractInstruction subclass: #CogARMv8Compiler instanceVariableNames: '' + classVariableNames: 'AL AddOpcode AndOpcode CC CS CmpOpcode D0 D1 D10 D11 D12 D13 D14 D15 D16 D17 D18 D19 D2 D20 D21 D22 D23 D24 D25 D26 D27 D28 D29 D3 D30 D31 D4 D5 D6 D7 D8 D9 EQ FP GE GT HI LE LR LS LT MI NE OrOpcode PL R0 R1 R10 R11 R12 R13 R14 R15 R16 R17 R18 R19 R2 R20 R21 R22 R23 R24 R25 R26 R27 R28 R29 R3 R30 R31 R4 R5 R6 R7 R8 R9 SP SXTB SXTH SXTW SXTX SubOpcode UXTB UXTH UXTW UXTX VC VS XorOpcode' - classVariableNames: 'AL CC CS D0 D1 D10 D11 D12 D13 D14 D15 D16 D17 D18 D19 D2 D20 D21 D22 D23 D24 D25 D26 D27 D28 D29 D3 D30 D31 D4 D5 D6 D7 D8 D9 EQ GE GT HI LE LS LT MI NE PL R0 R1 R10 R11 R12 R13 R14 R15 R16 R17 R18 R19 R2 R20 R21 R22 R23 R24 R25 R26 R27 R28 R29 R3 R30 R31 R4 R5 R6 R7 R8 R9 VC VS' poolDictionaries: 'ARMv8A64Opcodes' category: 'VMMaker-JIT'! !CogARMv8Compiler commentStamp: 'eem 11/25/2019 16:30' prior: 0! I generate ARMv8 machine code instructions from CogAbstractInstructions with CogRTLOpcodes. Here in "Arm ARM" refers to Arm® Architecture Reference Manual Armv8, for Armv8-A architecture profile https://developer.arm.com/docs/ddi0487/latest/arm-architecture-reference-ma…! Item was changed: ----- Method: CogARMv8Compiler class>>initialize (in category 'class initialization') ----- initialize "Initialize various ARM64 instruction-related constants." "self initialize" "main registers; a minor complication in reading the doc. ARM refer to the 64bit registers as X0...30 and use R0...30 to refer to the 32bit lower halves.They also use a whole suite of names for the floating point/SIMD registers. See ARMARM DDI0487 B1.2.1 etc for the gory details. Note that R30 (yes, yes, X30) is used as the link register and as such is not really a general purpose register. Also note that R31 (named XZR in ARM doc) is a pseudo-register that always reads as 0 and writes to /dev/null. And note that unlike the ARM32, there is no general purpose register for either the PC or SP; a big difference. See ARMARM DDI0487 C1.2.5. wrt to both issues. We will stick with R0...30 to refer to the 64 bit general regs and D0...31 (note the extra reg here!!) for the FP/SIMD regs" #( (D0 D1 D2 D3 D4 D5 D6 D7 D8 D9 D10 D11 D12 D13 D14 D15 D16 D17 D18 D19 D20 D21 D22 D23 D24 D25 D26 D27 D28 D29 D30 D31) (R0 R1 R2 R3 R4 R5 R6 R7 R8 R9 R10 R11 R12 R13 R14 R15 R16 R17 R18 R19 R20 R21 R22 R23 R24 R25 R26 R27 R28 R29 R30 R31)) do: [:classVarNames| classVarNames doWithIndex: [:k :v| CogARMv8Compiler classPool at: k put: v - 1]]. "Condition Codes. Note that cc=16rF is mapped back to AL in AARCH64. Generally it shouldn't be used" "Perhaps have these in the ARMv8A64Opcodes pool?" EQ := 0. NE := 1. CS := 2. CC := 3. MI := 4. PL := 5. VS := 6. VC := 7. HI := 8. LS := 9. GE := 10. LT := 11. GT := 12. LE := 13. + AL := 14. + + "Extension Methods " + UXTB := 2r000. + UXTH := 2r001. + UXTW := 2r010. + UXTX := 2r011. "a.k.a. LSL" + SXTB := 2r100. + SXTH := 2r101. + SXTW := 2r110. + SXTX := 2r111! - AL := 14.! Item was added: + ----- Method: CogARMv8Compiler class>>initializeAbstractRegisters (in category 'class initialization') ----- + initializeAbstractRegisters + "Assign the abstract registers with the identities/indices of the relevant concrete registers." + + super initializeAbstractRegisters. + + "See Table 3-1 Register Usage in AArch64 SMC32, HVC32, SMC64, and HVC64 calls in + SMC CALLING CONVENTION + System Software on ARM® Platforms Document number: ARM DEN 0028B + http://infocenter.arm.com/help/topic/com.arm.doc.den0028b/ARM_DEN0028B_SMC_… + " + + CallerSavedRegisterMask := (self registerMaskFor: 0 and: 1 and: 2 and: 3 and: 4 and: 5 and: 6 and: 7 and: 8 and: 9) + + (self registerMaskFor: 10 and: 11 and: 12 and: 13 and: 14 and: 15 and: 16 and: 17). + + TempReg := R0. + ClassReg := R4. + ReceiverResultReg := R5. + SendNumArgsReg := R6. + Arg0Reg := R7. + Arg1Reg := R8. + "X18/R18 is the Platform register; leave it be" + Extra0Reg := R19. "R18 through R28 are callee saved" + Extra1Reg := R20. + Extra2Reg := R21. + Extra3Reg := R22. + Extra4Reg := R23. + Extra5Reg := R24. + Extra6Reg := R25. + Extra7Reg := R26. + VarBaseReg := R27. + RISCTempReg := R28. + FPReg := FP := R29. + LinkReg := LR := R30. + SPReg := SP := R31. + + NumRegisters := 32. + + DPFPReg0 := D0. + DPFPReg1 := D1. + DPFPReg2 := D2. + DPFPReg3 := D3. + DPFPReg4 := D4. + DPFPReg5 := D5. + DPFPReg6 := D6. + DPFPReg7 := D7. + DPFPReg8 := D8. + DPFPReg9 := D9. + DPFPReg10 := D10. + DPFPReg11 := D11. + DPFPReg12 := D12. + DPFPReg13 := D13. + DPFPReg14 := D14. + DPFPReg15 := D15. + + NumFloatRegisters := 32! Item was changed: ----- Method: CogARMv8Compiler class>>machineCodeDeclaration (in category 'translation') ----- machineCodeDeclaration "Answer the declaration for the machineCode array. + ARM instructions are 32-bits in length." - AARCH64 instructions are 32-bits in length." ^{#'unsigned int'. '[', self basicNew machineCodeWords printString, ']'}! Item was added: + ----- Method: CogARMv8Compiler>>addrn:rd:imm:shiftBy12: (in category 'generate machine code - support') ----- + addrn: rn rd: rd imm: offset shiftBy12: shiftBy12 + "C6.2.4 ADD (immediate) p761" + self assert: (offset between: 0 and: 1 << 12 - 1). + ^2r10010001000000000000000000000000 + + (shiftBy12 ifTrue: [1 << 22] ifFalse: [0]) + (offset << 10) + (rn << 5) + rd! Item was added: + ----- Method: CogARMv8Compiler>>concretizeMoveRR (in category 'generate machine code - concretize') ----- + concretizeMoveRR + "Will get inlined into concretizeAt: switch." + <inline: true> + | srcReg destReg | + srcReg := operands at: 0. + destReg := operands at: 1. + "C6.2.184 MOV (to/from SP) p1089 + C6.2.188 MOV (register) p1096" + machineCode + at: 0 + put: ((srcReg = SP or: [destReg = SP]) + ifTrue: [2r10010001000000000000000000000000 + (srcReg << 5) + destReg] + ifFalse: [2r10101010000000000000001111100000 + (srcReg << 16) + destReg]). + ^machineCodeSize := 4! Item was added: + ----- Method: CogARMv8Compiler>>concretizeRetN (in category 'generate machine code - concretize') ----- + concretizeRetN + "Will get inlined into concretizeAt: switch." + <var: #offset type: #sqInt> + <inline: true> + | offset | + offset := operands at: 0. + "C6.2.218 RET p1147" + offset = 0 ifTrue: + [machineCode at: 0 put: 2r11010110010111110000000000000000 + (LR << 5). + ^machineCodeSize := 4]. + + "C6.2.4 ADD (immediate) p761" + machineCode + at: 0 put: (self addrn: SP rd: SP imm: offset shiftBy12: false); + at: 4 put: 2r11010110010111110000000000000000 + (LR << 5). + ^machineCodeSize := 8! Item was added: + ----- Method: CogARMv8Compiler>>dispatchConcretize (in category 'generate machine code') ----- + dispatchConcretize + "Attempt to generate concrete machine code for the instruction at address. + This is the inner dispatch of concretizeAt: actualAddress which exists only + to get around the branch size limits in the SqueakV3 (blue book derived) + bytecode set." + <returnTypeC: #void> + + opcode caseOf: { + "Noops & Pseudo Ops" + [Label] -> [^self concretizeLabel]. + [Literal] -> [^self concretizeLiteral]. + [AlignmentNops] -> [^self concretizeAlignmentNops]. + [Fill32] -> [^self concretizeFill32]. + [Nop] -> [^self concretizeNop]. + "Control" + [Call] -> [^self concretizeCall]. "call code within code space" + [CallFull] -> [^self concretizeCallFull]. "call code anywhere in address space" + [JumpR] -> [^self concretizeJumpR]. + [JumpFull] -> [^self concretizeJumpFull]."jump within address space" + [JumpLong] -> [^self concretizeConditionalJump: AL]."jumps witihn code space" + [JumpLongZero] -> [^self concretizeConditionalJump: EQ]. + [JumpLongNonZero] -> [^self concretizeConditionalJump: NE]. + [Jump] -> [^self concretizeConditionalJump: AL]. + [JumpZero] -> [^self concretizeConditionalJump: EQ]. + [JumpNonZero] -> [^self concretizeConditionalJump: NE]. + [JumpNegative] -> [^self concretizeConditionalJump: MI]. + [JumpNonNegative] -> [^self concretizeConditionalJump: PL]. + [JumpOverflow] -> [^self concretizeConditionalJump: VS]. + [JumpNoOverflow] -> [^self concretizeConditionalJump: VC]. + [JumpCarry] -> [^self concretizeConditionalJump: CS]. + [JumpNoCarry] -> [^self concretizeConditionalJump: CC]. + [JumpLess] -> [^self concretizeConditionalJump: LT]. + [JumpGreaterOrEqual] -> [^self concretizeConditionalJump: GE]. + [JumpGreater] -> [^self concretizeConditionalJump: GT]. + [JumpLessOrEqual] -> [^self concretizeConditionalJump: LE]. + [JumpBelow] -> [^self concretizeConditionalJump: CC]. "unsigned lower" + [JumpAboveOrEqual] -> [^self concretizeConditionalJump: CS]. "unsigned greater or equal" + [JumpAbove] -> [^self concretizeConditionalJump: HI]. + [JumpBelowOrEqual] -> [^self concretizeConditionalJump: LS]. + [JumpFPEqual] -> [^self concretizeFPConditionalJump: EQ]. + [JumpFPNotEqual] -> [^self concretizeFPConditionalJump: NE]. + [JumpFPLess] -> [^self concretizeFPConditionalJump: LT]. + [JumpFPGreaterOrEqual] -> [^self concretizeFPConditionalJump: GE]. + [JumpFPGreater] -> [^self concretizeFPConditionalJump: GT]. + [JumpFPLessOrEqual] -> [^self concretizeFPConditionalJump: LE]. + [JumpFPOrdered] -> [^self concretizeFPConditionalJump: VC]. + [JumpFPUnordered] -> [^self concretizeFPConditionalJump: VS]. + [RetN] -> [^self concretizeRetN]. + [Stop] -> [^self concretizeStop]. + "Arithmetic" + [AddCqR] -> [^self concretizeNegateableDataOperationCqR: AddOpcode]. + [AndCqR] -> [^self concretizeInvertibleDataOperationCqR: AndOpcode]. + [AndCqRR] -> [^self concretizeAndCqRR]. + [CmpCqR] -> [^self concretizeNegateableDataOperationCqR: CmpOpcode]. + [OrCqR] -> [^self concretizeDataOperationCqR: OrOpcode]. + [SubCqR] -> [^self concretizeSubCqR]. + [TstCqR] -> [^self concretizeTstCqR]. + [XorCqR] -> [^self concretizeInvertibleDataOperationCqR: XorOpcode]. + [AddCwR] -> [^self concretizeDataOperationCwR: AddOpcode]. + [AndCwR] -> [^self concretizeDataOperationCwR: AndOpcode]. + [CmpCwR] -> [^self concretizeDataOperationCwR: CmpOpcode]. + [OrCwR] -> [^self concretizeDataOperationCwR: OrOpcode]. + [SubCwR] -> [^self concretizeDataOperationCwR: SubOpcode]. + [XorCwR] -> [^self concretizeDataOperationCwR: XorOpcode]. + [AddRR] -> [^self concretizeDataOperationRR: AddOpcode]. + [AndRR] -> [^self concretizeDataOperationRR: AndOpcode]. + [CmpRR] -> [^self concretizeDataOperationRR: CmpOpcode]. + [OrRR] -> [^self concretizeDataOperationRR: OrOpcode]. + [SubRR] -> [^self concretizeDataOperationRR: SubOpcode]. + [XorRR] -> [^self concretizeDataOperationRR: XorOpcode]. + [AddRdRd] -> [^self concretizeAddRdRd]. + [CmpRdRd] -> [^self concretizeCmpRdRd]. + [DivRdRd] -> [^self concretizeDivRdRd]. + [MulRdRd] -> [^self concretizeMulRdRd]. + [SubRdRd] -> [^self concretizeSubRdRd]. + [SqrtRd] -> [^self concretizeSqrtRd]. + [NegateR] -> [^self concretizeNegateR]. + [LoadEffectiveAddressMwrR] -> [^self concretizeLoadEffectiveAddressMwrR]. + [ArithmeticShiftRightCqR] -> [^self concretizeArithmeticShiftRightCqR]. + [LogicalShiftRightCqR] -> [^self concretizeLogicalShiftRightCqR]. + [LogicalShiftLeftCqR] -> [^self concretizeLogicalShiftLeftCqR]. + [ArithmeticShiftRightRR] -> [^self concretizeArithmeticShiftRightRR]. + [LogicalShiftLeftRR] -> [^self concretizeLogicalShiftLeftRR]. + [LogicalShiftRightRR] -> [^self concretizeLogicalShiftRightRR]. + [ClzRR] -> [^self concretizeClzRR]. + "Data Movement" + [MoveCqR] -> [^self concretizeMoveCqR]. + [MoveCwR] -> [^self concretizeMoveCwR]. + [MoveRR] -> [^self concretizeMoveRR]. + [MoveAwR] -> [^self concretizeMoveAwR]. + [MoveRAw] -> [^self concretizeMoveRAw]. + [MoveAbR] -> [^self concretizeMoveAbR]. + [MoveRAb] -> [^self concretizeMoveRAb]. + [MoveMbrR] -> [^self concretizeMoveMbrR]. + [MoveRMbr] -> [^self concretizeMoveRMbr]. + [MoveRM16r] -> [^self concretizeMoveRM16r]. + [MoveM16rR] -> [^self concretizeMoveM16rR]. + [MoveM64rRd] -> [^self concretizeMoveM64rRd]. + [MoveMwrR] -> [^self concretizeMoveMwrR]. + [MoveXbrRR] -> [^self concretizeMoveXbrRR]. + [MoveRXbrR] -> [^self concretizeMoveRXbrR]. + [MoveXwrRR] -> [^self concretizeMoveXwrRR]. + [MoveRXwrR] -> [^self concretizeMoveRXwrR]. + [MoveRMwr] -> [^self concretizeMoveRMwr]. + [MoveRdM64r] -> [^self concretizeMoveRdM64r]. + [PopR] -> [^self concretizePopR]. + [PushR] -> [^self concretizePushR]. + [PushCq] -> [^self concretizePushCq]. + [PushCw] -> [^self concretizePushCw]. + [PrefetchAw] -> [^self concretizePrefetchAw]. + "Conversion" + [ConvertRRd] -> [^self concretizeConvertRRd]. + [ConvertRdR] -> [^self concretizeConvertRdR]. + [ConvertRRs] -> [^self concretizeConvertRRs]. + [ConvertRsR] -> [^self concretizeConvertRsR]. + [ConvertRsRd] -> [^self concretizeConvertRsRd]. + [ConvertRdRs] -> [^self concretizeConvertRdRs]. + + [SignExtend8RR] -> [^self concretizeSignExtend8RR]. + [SignExtend16RR] -> [^self concretizeSignExtend16RR]. + [SignExtend32RR] -> [^self concretizeSignExtend32RR]. + + [ZeroExtend8RR] -> [^self concretizeZeroExtend8RR]. + [ZeroExtend16RR] -> [^self concretizeZeroExtend16RR]. + [ZeroExtend32RR] -> [^self concretizeZeroExtend32RR].}! Item was added: + ----- Method: CogARMv8Compiler>>initialize (in category 'generate machine code') ----- + initialize + "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." + <doNotGenerate> + operands := CArrayAccessor on: (Array new: NumOperands). + machineCode := CArrayAccessor on: (WordArray new: self machineCodeWords)! Item was added: + ----- Method: CogARMv8Compiler>>leafCallStackPointerDelta (in category 'abi') ----- + leafCallStackPointerDelta + "Answer the delta from the stack pointer after a call to the stack pointer + immediately prior to the call. This is used to compute the stack pointer + immediately prior to call from within a leaf routine, which in turn is used + to capture the c stack pointer to use in trampolines back into the C run-time." + "This might actually be false, since directly after a call, lr, fp and variable registers need be pushed onto the stack. It depends on the implementation of call." + ^0! Item was changed: ----- Method: CogARMv8Compiler>>machineCodeBytes (in category 'generate machine code') ----- machineCodeBytes "Answer the maximum number of bytes of machine code generated for any abstract instruction. - e.g. CmpCwR => - mov R3, #<addressByte1>, 12 - orr R3, R3, #<addressByte2>, 8 - orr R3, R3, #<addressByte3>, 4 - orr R3, R3, #<addressByte4>, 0 - cmp R?, R3 Likely to be quite different for AARCH64" + ^12! - ^20! Item was changed: ----- Method: CogARMv8Compiler>>machineCodeWords (in category 'generate machine code') ----- machineCodeWords "Answer the maximum number of words of machine code generated for any abstract instruction. - e.g. CmpCwR => - mov R3, #<addressByte1>, 12 - orr R3, R3, #<addressByte2>, 8 - orr R3, R3, #<addressByte3>, 4 - orr R3, R3, #<addressByte4>, 0 - cmp R?, R3 Likely to be quite different for AARCH64" + ^self machineCodeBytes // 4! - ^self machineCodeBytes// 4! Item was added: + ----- Method: CogARMv8Compiler>>outputMachineCodeAt: (in category 'generate machine code') ----- + outputMachineCodeAt: targetAddress + "Override to move machine code a word at a time." + <inline: true> + 0 to: machineCodeSize - 1 by: 4 do: + [:j| + objectMemory long32At: targetAddress + j put: (machineCode at: j // 4)]! Item was removed: - ----- Method: CogAbstractInstruction>>machineCode: (in category 'accessing') ----- - machineCode: anObject - "Set the value of machineCode" - - machineCode := anObject!

1 0

VM Maker Inbox: VMMaker-dtl.408.mcz
by commits＠source.squeak.org 01 Dec '19

01 Dec '19

David T. Lewis uploaded a new version of VMMaker to project VM Maker Inbox: http://source.squeak.org/VMMakerInbox/VMMaker-dtl.408.mcz ==================== Summary ==================== Name: VMMaker-dtl.408 Author: dtl Time: 1 December 2019, 1:20:10.692 pm UUID: ed17eaa5-2fba-4257-8a41-d7912ec2d41c Ancestors: VMMaker-dtl.407 Fix method comment =============== Diff against VMMaker-dtl.407 =============== Item was changed: ----- Method: ContextInterpreter>>snapshotResume:heapSize:swapBytes:oldBaseAddr:specialObjectsOop:lastHash:savedWindowSize:fullScreenFlag:extraVMMemory: (in category 'snapshot utility primitives') ----- snapshotResume: byteArrayOrBitmap heapSize: desiredHeapSize swapBytes: swapBytes oldBaseAddr: oldBaseAddr specialObjectsOop: specialObjects lastHash: hashValue savedWindowSize: windowSize fullScreenFlag: fullScreen extraVMMemory: extraMemory "Arrange for the interpreter to resume execution from a snapshot of saved + memory and interpreter state. The current object memory and interpreter + state is discarded, and the interpreter resumes execution at the point of + the supplied image snapshot.." - memory and interpreter state. The current object memory and interpreter state - will be discarded, and the interpreter will resume execution at the point of the - supplied image snapshot. Answer the address of the previous object memory - or nil if this is the first evaluation." | dataSize sourceBytes mem | <returnTypeC: 'usqInt'> <var: #desiredHeapSize type: 'usqInt'> <var: #dataSize type: 'size_t '> <var: #sourceBytes type: 'char *'> <var: #mem type: 'char *'> "Notes - The parameters windowSize, fullScreen and extraMemory are currently not used when resuming the VM in a new image. The display size and fullscreen mode are probably best set from the image by calling primitiveSetDisplayMode prior to primitiveResumeFromSnapshot. The extraMemory parameter is ignored here because we are simply copying the new object memory over a previously allocated heap space." dataSize := objectMemory byteSizeOf: byteArrayOrBitmap. sourceBytes := objectMemory firstIndexableField: byteArrayOrBitmap. objectMemory setSpecialObjectsOop: specialObjects. objectMemory setLastHash: hashValue. "Copy object memory into allocated space" objectMemory setMemoryLimits: dataSize heapSize: desiredHeapSize. mem := objectMemory pointerForOop: objectMemory getMemory. self mem: mem cp: sourceBytes y: dataSize. self swapBytesAndPrepareToInterpret: swapBytes oldBaseAddr: oldBaseAddr. self interpret. "Resume interpreter execution in the snapshot." !

1 0

VM Maker Inbox: VMMaker-dtl.407.mcz
by commits＠source.squeak.org 01 Dec '19

01 Dec '19

David T. Lewis uploaded a new version of VMMaker to project VM Maker Inbox: http://source.squeak.org/VMMakerInbox/VMMaker-dtl.407.mcz ==================== Summary ==================== Name: VMMaker-dtl.407 Author: dtl Time: 30 November 2019, 3:09:22.384 pm UUID: 190f79b2-f9f4-4585-9010-4db1afe51481 Ancestors: VMMaker-dtl.406 VMMaker 4.17.1 Implement ContextInterpreter>>primitiveResumeFromSnapshot. This primitive discards the current object memory and resumes interpreter execution in the provided snapshot. Use primitiveMemorySnapshotBytesWithHeader or primitiveMemorySnapshotWithHeader to obtain a snapshot object within a running image, and primitveResumeFromSnapshot to resume into a snapshot object from a sacrificial donor image. For supporting code see www.squeaksource.com/ImageSnapshot and package ImageFormat in the source.squeak.org/VMMaker repository. =============== Diff against VMMaker-dtl.406 =============== Item was added: + ----- Method: ContextInterpreter>>primitiveResumeFromSnapshot (in category 'snapshot utility primitives') ----- + primitiveResumeFromSnapshot + "Discard the current object memory and resume interpreter execution + in the provided snapshot." + + <export: true> + | expectedArraySize snapshotValues size newMemoryBytesOrBitmap bigEndian snapshotImageFormat snapshotStartOfMemory snapshotSpecialObjectsOop snapshotLastHash screenSizePoint headerSize imageBytes imageHeaderFlags snapshotExtraVMMemory swapBytes snapshotFullScreen defaultHeapSize desiredHeapSize | + expectedArraySize := 11. "ImageSnapshot new asValues size => 11" + argumentCount == 1 + ifFalse: [ ^self primitiveFailFor: PrimErrBadNumArgs]. + snapshotValues := self stackObjectValue: 0. + self assertClassOf: snapshotValues is: (objectMemory splObj: ClassArray). + self successful + ifFalse: [ ^self primitiveFailFor: PrimErrBadArgument]. + size := objectMemory numSlotsOf: snapshotValues. + size < expectedArraySize ifTrue: [ ^self primitiveFailFor: PrimErrBadArgument]. + newMemoryBytesOrBitmap := objectMemory fetchPointer: 0 ofObject: snapshotValues. + bigEndian := (objectMemory fetchPointer: 1 ofObject: snapshotValues) = objectMemory trueObject. + snapshotImageFormat := objectMemory integerValueOf: (objectMemory fetchPointer: 2 ofObject: snapshotValues).. + headerSize := objectMemory integerValueOf: (objectMemory fetchPointer: 3 ofObject: snapshotValues).. + imageBytes := self positive32BitValueOf: (objectMemory fetchPointer: 4 ofObject: snapshotValues).. "good for up to 2GB image" + snapshotStartOfMemory := objectMemory integerValueOf: (objectMemory fetchPointer: 5 ofObject: snapshotValues).. + snapshotSpecialObjectsOop := objectMemory integerValueOf: (objectMemory fetchPointer: 6 ofObject: snapshotValues).. + snapshotLastHash := objectMemory integerValueOf: (objectMemory fetchPointer: 7 ofObject: snapshotValues).. + screenSizePoint := objectMemory fetchPointer: 8 ofObject: snapshotValues.. + self assertClassOf: screenSizePoint is: (objectMemory splObj: ClassPoint). + self successful + ifFalse: [ ^self primitiveFailFor: PrimErrBadArgument]. + imageHeaderFlags := objectMemory integerValueOf: (objectMemory fetchPointer: 9 ofObject: snapshotValues).. + snapshotExtraVMMemory := objectMemory integerValueOf: (objectMemory fetchPointer: 10 ofObject: snapshotValues).. + + swapBytes := bigEndian ~= self isBigEnder. + snapshotFullScreen := false. "FIXME" + + "From sqUnixMain.c + #define DefaultHeapSize 20 + megabytes BEYOND actual image size" + defaultHeapSize := 20 * 1000 * 1000. + desiredHeapSize := defaultHeapSize + imageBytes. + + self + snapshotResume: newMemoryBytesOrBitmap + heapSize: desiredHeapSize + swapBytes: swapBytes + oldBaseAddr: snapshotStartOfMemory + specialObjectsOop: snapshotSpecialObjectsOop + lastHash: snapshotLastHash + savedWindowSize: screenSizePoint + fullScreenFlag: snapshotFullScreen + extraVMMemory: snapshotExtraVMMemory. + + self pop: 1 thenPush: newMemoryBytesOrBitmap. + + ! Item was added: + ----- Method: ContextInterpreter>>snapshotResume:heapSize:swapBytes:oldBaseAddr:specialObjectsOop:lastHash:savedWindowSize:fullScreenFlag:extraVMMemory: (in category 'snapshot utility primitives') ----- + snapshotResume: byteArrayOrBitmap heapSize: desiredHeapSize swapBytes: swapBytes oldBaseAddr: oldBaseAddr specialObjectsOop: specialObjects lastHash: hashValue savedWindowSize: windowSize fullScreenFlag: fullScreen extraVMMemory: extraMemory + "Arrange for the interpreter to resume execution from a snapshot of saved + memory and interpreter state. The current object memory and interpreter state + will be discarded, and the interpreter will resume execution at the point of the + supplied image snapshot. Answer the address of the previous object memory + or nil if this is the first evaluation." + + | dataSize sourceBytes mem | + <returnTypeC: 'usqInt'> + <var: #desiredHeapSize type: 'usqInt'> + <var: #dataSize type: 'size_t '> + <var: #sourceBytes type: 'char *'> + <var: #mem type: 'char *'> + + "Notes - The parameters windowSize, fullScreen and extraMemory are currently + not used when resuming the VM in a new image. The display size and fullscreen + mode are probably best set from the image by calling primitiveSetDisplayMode + prior to primitiveResumeFromSnapshot. The extraMemory parameter is ignored + here because we are simply copying the new object memory over a previously + allocated heap space." + + dataSize := objectMemory byteSizeOf: byteArrayOrBitmap. + sourceBytes := objectMemory firstIndexableField: byteArrayOrBitmap. + objectMemory setSpecialObjectsOop: specialObjects. + objectMemory setLastHash: hashValue. + + "Copy object memory into allocated space" + objectMemory setMemoryLimits: dataSize heapSize: desiredHeapSize. + mem := objectMemory pointerForOop: objectMemory getMemory. + self mem: mem + cp: sourceBytes + y: dataSize. + + self swapBytesAndPrepareToInterpret: swapBytes oldBaseAddr: oldBaseAddr. + self interpret. "Resume interpreter execution in the snapshot." + ! Item was added: + ----- Method: ObjectMemory>>setMemoryLimits:heapSize: (in category 'image save/restore') ----- + setMemoryLimits: dataSize heapSize: heapSize + "Set memory limits, assuming that previously allocated heap space is sufficient. + Use this instead of allocateMemory: dataSize heapSize: desiredHeapSize when + resuming the interpreter in a new inage snapshot using previously allocated + heap memory." + + | minimumMemory | + <var: #heapSize type: 'usqInt'> + <var: #dataSize type: 'size_t '> + + minimumMemory := dataSize + 100000. "need at least 100K of breathing room" + "compare memory requirements with availability". + heapSize < minimumMemory ifTrue: [ "try to make more space" + self growObjectMemory: minimumMemory - heapSize. + heapSize < minimumMemory ifTrue: [ + interpreter insufficientMemorySpecifiedError]]. + self setEndOfMemory: memory + dataSize. + ! Item was changed: ----- Method: VMMaker class>>versionString (in category 'version testing') ----- versionString "VMMaker versionString" + ^'4.17.1'! - ^'4.16.9'!

2 1

VM Maker: VMMaker-dtl.406.mcz
by commits＠source.squeak.org 01 Dec '19

01 Dec '19

David T. Lewis uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-dtl.406.mcz ==================== Summary ==================== Name: VMMaker-dtl.406 Author: dtl Time: 30 November 2019, 1:21:00.992 pm UUID: 050fa60d-0841-4d79-9ccd-80a600f8d2ba Ancestors: VMMaker-dtl.405 VMMaker 4.16.9 Minor refactorings to prepare for a primitive to resume from a snapshot object. Move allocateMemory:heapSize: from ContextInterpreter to ObjectMemory Move fullScreenFlag up to InterpreterPrimitives =============== Diff against VMMaker-dtl.405 =============== Item was changed: Interpreter subclass: #ContextInterpreter + instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector currentBytecode primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptPending savedWindowSize deferDisplayUpdates pendingFinalizationSignals compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interpreterProxy showSurfaceFn interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods imageFormatInitialVersion allowAccessBeyondSP' - instanceVariableNames: 'activeContext theHomeContext method receiver instructionPointer stackPointer localIP localSP localHomeContext localReturnContext localReturnValue messageSelector currentBytecode primitiveIndex primitiveFunctionPointer methodCache atCache lkupClass reclaimableContextCount nextPollTick nextWakeupTick lastTick interruptPending savedWindowSize fullScreenFlag deferDisplayUpdates pendingFinalizationSignals compilerInitialized compilerHooks newNativeMethod methodClass receiverClass interpreterVersion imageFormatVersionNumber interpreterProxy showSurfaceFn interruptCheckCounter interruptCheckCounterFeedBackReset interruptChecksEveryNms externalPrimitiveTable globalSessionID jmpBuf jmpDepth jmpMax suspendedCallbacks suspendedMethods imageFormatInitialVersion allowAccessBeyondSP' classVariableNames: 'BlockArgumentCountIndex BytecodeTable CacheProbeMax CallerIndex CompilerHooksSize DirBadPath DirEntryFound DirNoMoreEntries DoBalanceChecks HomeIndex InitialIPIndex MaxJumpBuf MessageDictionaryIndex MethodCacheNative TempFrameStart' poolDictionaries: 'VMMethodCacheConstants VMSqueakV3BytecodeConstants' category: 'VMMaker-Interpreter'! !ContextInterpreter commentStamp: '<historical>' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. It has been modernized with 32-bit pointers, better management of Contexts, and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. In addition to SmallInteger arithmetic and Floats, it supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. NOTE: Here follows a list of things to be borne in mind when working on this code, or when making changes for the future. 1. There are a number of things that should be done the next time we plan to release a copletely incompatible image format. These include unifying the instanceSize field of the class format word -- see instantiateClass:indexableSize:, and unifying the bits of the method primitive index (if we decide we need more than 512, after all) -- see primitiveIndexOf:. Also, contexts should be given a special format code (see next item). 2. There are several fast checks for contexts (see isContextHeader: and isMethodContextHeader:) which will fail if the compact class indices of BlockContext or MethodContext change. This is necessary because the oops may change during a compaction when the oops are being adjusted. It's important to be aware of this when writing a new image using the systemTracer. A better solution would be to reserve one of the format codes for Contexts only. 3. We have made normal files tolerant to size and positions up to 32 bits. This has not been done for async files, since they are still experimental. The code in size, at: and at:put: should work with sizes and indices up to 31 bits, although I have not tested it (di 12/98); it might or might not work with 32-bit sizes. 4. Note that 0 is used in a couple of places as an impossible oop. This should be changed to a constant that really is impossible (or perhaps there is code somewhere that guarantees it --if so it should be put in this comment). The places include the method cache and the at cache. ! Item was removed: - ----- Method: ContextInterpreter>>allocateMemory:heapSize: (in category 'snapshot resume') ----- - allocateMemory: dataSize heapSize: desiredHeapSize - "Allocate memory space sufficient to contain object memory data from an image snapshot." - - | unusedHeaderSize minimumMemory memStart heapSize unusedFileReference savedOldMemoryAddress | - <returnTypeC: 'usqInt'> - <var: #unusedFileReference type: 'sqImageFile '> - <var: #desiredHeapSize type: 'usqInt'> - <var: #dataSize type: 'size_t '> - <var: #savedOldMemoryAddress type: 'usqInt'> - - unusedFileReference := nil. self flag: #FIXME. "remove unused" - unusedHeaderSize := nil. self flag: #FIXME. "remove unused" - - "decrease Squeak object heap to leave extra memory for the VM" - heapSize := self cCode: 'reserveExtraCHeapBytes(desiredHeapSize, extraVMMemory)'. - - "compare memory requirements with availability". - minimumMemory := dataSize + 100000. "need at least 100K of breathing room" - heapSize < minimumMemory ifTrue: [ - self insufficientMemorySpecifiedError]. - - "allocate a contiguous block of memory for the Squeak heap" - "below calls a macro that does sqAllocateMemory(minimumMemory, heapSize)" - "so save prior value of memory so it can be freed at the end of this method, and - call the below to create new memory here" - savedOldMemoryAddress := self cCode: 'sqMemoryBase'. self flag: #FIXME. "see package MemoryAccess sqMemoryBaseAddress" - "allocate new here" - (objectMemory allocateMemory: heapSize - minimum: minimumMemory - imageFile: unusedFileReference - headerSize: unusedHeaderSize) = nil ifTrue: [self insufficientMemoryAvailableError]. - - memStart := objectMemory startOfMemory. - objectMemory setMemoryLimit: (memStart + heapSize) - 24. "decrease memoryLimit a tad for safety" - objectMemory setEndOfMemory: memStart + dataSize. - ^savedOldMemoryAddress. - ! Item was removed: - ----- Method: ContextInterpreter>>getFullScreenFlag (in category 'plugin primitive support') ----- - getFullScreenFlag - ^fullScreenFlag! Item was changed: ----- Method: ContextInterpreter>>memoryHeaderState: (in category 'primitive support') ----- memoryHeaderState: dataSize "Answer current interpreter and object memory state information." | splObjsOop oopStart headerSize results hash displayExtent | "seee ContextInterpreter>>writeImageFileIO:" "self putLong: (self imageFormatVersion) toFile: f. self putLong: headerSize toFile: f. self putLong: imageBytes toFile: f. self putLong: (objectMemory startOfMemory) toFile: f. self putLong: objectMemory getSpecialObjectsOop toFile: f. self putLong: objectMemory getLastHash toFile: f. self putLong: (self ioScreenSize) toFile: f. self putLong: fullScreenFlag toFile: f. self putLong: extraVMMemory toFile: f. 1 to: 7 do: [:i | self putLong: 0 toFile: f]." "fill remaining header words with zeros" headerSize := 16 * objectMemory bytesPerWord. "header size in bytes; do not change!!" oopStart := objectMemory startOfMemory. splObjsOop := objectMemory getSpecialObjectsOop. hash := objectMemory integerObjectOf: objectMemory getLastHash. "self ioScreenSize." "fullScreenFlag" "extraVMMemory" "Pad the rest of the header." "7 timesRepeat: [self putLong: 0 toFile: file]." InterpreterProxy pushRemappableOop: (objectMemory instantiateClass: (objectMemory classArray) indexableSize: 16). "results array" displayExtent := self displayExtent: self ioScreenSize. "may trigger GC" results := interpreterProxy popRemappableOop. objectMemory storePointer: 0 ofObject: results withValue: (objectMemory integerObjectOf: self imageFormatVersion). objectMemory storePointer: 1 ofObject: results withValue: (objectMemory integerObjectOf: headerSize). objectMemory storePointer: 2 ofObject: results withValue: (self positive64BitIntegerFor: dataSize). objectMemory storePointer: 3 ofObject: results withValue: (objectMemory integerObjectOf: oopStart). objectMemory storePointer: 4 ofObject: results withValue: (objectMemory integerObjectOf: splObjsOop). objectMemory storePointer: 5 ofObject: results withValue: (objectMemory integerObjectOf: hash). objectMemory storePointer: 6 ofObject: results withValue: displayExtent. objectMemory storePointer: 7 ofObject: results + withValue: (objectMemory integerObjectOf: fullScreenFlag).. - withValue: (objectMemory integerObjectOf: 0).. objectMemory storePointer: 8 ofObject: results withValue: (objectMemory integerObjectOf: extraVMMemory).. objectMemory storePointer: 9 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 10 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 11 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 12 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 13 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 14 ofObject: results withValue: (objectMemory integerObjectOf: 0). objectMemory storePointer: 15 ofObject: results withValue: (objectMemory integerObjectOf: 0). ^ results.! Item was changed: ----- Method: ContextInterpreter>>readImageFromFile:HeapSize:StartingAt: (in category 'snapshot resume') ----- readImageFromFile: f HeapSize: desiredHeapSize StartingAt: imageOffset "Read an image from the given file stream, allocating the given amount of memory to its object heap. Fail if the image has an unknown format or requires more than the given amount of memory." "Details: This method detects when the image was stored on a machine with the opposite byte ordering from this machine and swaps the bytes automatically. Furthermore, it allows the header information to start 512 bytes into the file, since some file transfer programs for the Macintosh apparently prepend a Mac-specific header of this size. Note that this same 512 bytes of prefix area could also be used to store an exec command on Unix systems, allowing one to launch Smalltalk by invoking the image name as a command." "This code is based on C code by Ian Piumarta and Smalltalk code by Tim Rowledge. Many thanks to both of you!!!!" | swapBytes headerStart headerSize dataSize oldBaseAddr | <var: #f type: 'sqImageFile '> <var: #desiredHeapSize type: 'usqInt'> <var: #headerStart type: 'squeakFileOffsetType '> <var: #dataSize type: 'size_t '> <var: #imageOffset type: 'squeakFileOffsetType '> swapBytes := self checkImageVersionFrom: f startingAt: imageOffset. headerStart := (self sqImageFilePosition: f) - objectMemory bytesPerWord. "record header start position" headerSize := self getLongFromFile: f swap: swapBytes. dataSize := self getLongFromFile: f swap: swapBytes. oldBaseAddr := self getLongFromFile: f swap: swapBytes. objectMemory setSpecialObjectsOop: (self getLongFromFile: f swap: swapBytes). objectMemory setLastHash: (self getLongFromFile: f swap: swapBytes). savedWindowSize := self getLongFromFile: f swap: swapBytes. fullScreenFlag := self oldFormatFullScreenFlag: (self getLongFromFile: f swap: swapBytes). extraVMMemory := self getLongFromFile: f swap: swapBytes. objectMemory getLastHash = 0 ifTrue: [ "lastHash wasn't stored (e.g. by the cloner); use 999 as the seed" objectMemory setLastHash: 999]. + objectMemory allocateMemory: dataSize heapSize: desiredHeapSize. - self allocateMemory: dataSize heapSize: desiredHeapSize. self sqImageFile: f Seek: headerStart + headerSize. "position file after the header" self snapshotMemoryRead: f size: dataSize. "read object memory data" self swapBytesAndPrepareToInterpret: swapBytes oldBaseAddr: oldBaseAddr. ^ dataSize ! Item was removed: - ----- Method: ContextInterpreter>>setFullScreenFlag: (in category 'plugin primitive support') ----- - setFullScreenFlag: value - fullScreenFlag := value! Item was changed: VMClass subclass: #InterpreterPrimitives + instanceVariableNames: 'objectMemory primitiveTable primFailCode argumentCount interruptKeycode newMethod preemptionYields fullScreenFlag' - instanceVariableNames: 'objectMemory primitiveTable primFailCode argumentCount interruptKeycode newMethod preemptionYields' classVariableNames: 'CrossedX EndOfRun InterpreterSourceVersion MillisecondClockMask PrimitiveExternalCallIndex PrimitiveTable' poolDictionaries: 'VMObjectIndices VMSqueakV3ObjectRepresentationConstants' category: 'VMMaker-Interpreter'! !InterpreterPrimitives commentStamp: 'dtl 4/14/2013 23:16' prior: 0! InterpreterPrimitives implements most of the VM's core primitives. It is the root of the interpreter hierarchy so as to share the core primitives amongst the various interpreters. Instance Variables argumentCount: <Integer> messageSelector: <Integer> newMethod: <Integer> nextProfileTick: <Integer> objectMemory: <ObjectMemory> (simulation only) preemptionYields: <Boolean> primFailCode: <Integer> profileMethod: <Integer> profileProcess: <Integer> profileSemaphore: <Integer> argumentCount - the number of arguments of the current message messageSelector - the oop of the selector of the current message newMethod - the oop of the result of looking up the current message nextProfileTick - the millisecond clock value of the next profile tick (if profiling is in effect) objectMemory - the memory manager and garbage collector that manages the heap preemptionYields - a boolean controlling the process primitives. If true (old, incorrect, blue-book semantics) a preempted process is sent to the back of its run-queue. If false, a process preempted by a higher-priority process is put back at the head of its run queue, hence preserving cooperative scheduling within priorities. primFailCode - primtiive success/failure flag, 0 for success, otherwise the reason code for failure profileMethod - the oop of the method at the time nextProfileTick was reached profileProcess - the oop of the activeProcess at the time nextProfileTick was reached profileSemaphore - the oop of the semaphore to signal when nextProfileTick is reached ! Item was added: + ----- Method: InterpreterPrimitives>>getFullScreenFlag (in category 'plugin primitive support') ----- + getFullScreenFlag + ^fullScreenFlag! Item was changed: ----- Method: InterpreterPrimitives>>primitiveSetFullScreen (in category 'I/O primitives') ----- primitiveSetFullScreen "On platforms that support it, set full-screen mode to the value of the boolean argument." | argOop | argOop := self stackTop. argOop = objectMemory getTrueObj + ifTrue: [self ioSetFullScreen: true. + fullScreenFlag := true] - ifTrue: [self ioSetFullScreen: true] ifFalse: [ argOop = objectMemory getFalseObj + ifTrue: [self ioSetFullScreen: false. + fullScreenFlag := false] - ifTrue: [self ioSetFullScreen: false] ifFalse: [self primitiveFail]]. self successful ifTrue: [self pop: 1]. ! Item was added: + ----- Method: InterpreterPrimitives>>setFullScreenFlag: (in category 'plugin primitive support') ----- + setFullScreenFlag: value + fullScreenFlag := value! Item was added: + ----- Method: ObjectMemory>>allocateMemory:heapSize: (in category 'image save/restore') ----- + allocateMemory: dataSize heapSize: desiredHeapSize + "Allocate memory space sufficient to contain object memory data from an image snapshot." + + | unusedHeaderSize minimumMemory heapSize unusedFileReference | + <returnTypeC: 'usqInt'> + <var: #desiredHeapSize type: 'usqInt'> + <var: #dataSize type: 'size_t '> + + unusedFileReference := nil. self flag: #FIXME. "remove unused" + unusedHeaderSize := nil. self flag: #FIXME. "remove unused" + + "decrease Squeak object heap to leave extra memory for the VM" + heapSize := self cCode: 'reserveExtraCHeapBytes(desiredHeapSize, extraVMMemory)'. + + "compare memory requirements with availability". + minimumMemory := dataSize + 100000. "need at least 100K of breathing room" + heapSize < minimumMemory ifTrue: [ + interpreter insufficientMemorySpecifiedError]. + + "allocate a contiguous block of memory for the Squeak heap" + (self allocateMemory: heapSize + minimum: minimumMemory + imageFile: unusedFileReference + headerSize: unusedHeaderSize) = nil ifTrue: [self insufficientMemoryAvailableError]. + + self setMemoryLimit: (memory + heapSize) - 24. "decrease memoryLimit a tad for safety" + self setEndOfMemory: memory + dataSize. + ! Item was changed: Interpreter subclass: #StackInterpreter + instanceVariableNames: 'currentBytecode localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue primitiveFunctionPointer methodCache atCache lkupClass highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptPending savedWindowSize imageHeaderFlags deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSign alUndelivered tempOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex messageSelector profileProcess nextProfileTick profileMethod profileSemaphore' - instanceVariableNames: 'currentBytecode localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue primitiveFunctionPointer methodCache atCache lkupClass highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals interpreterProxy showSurfaceFn externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassSizeBytes interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunni ngPrimitiveSignalUndelivered tempOop statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents theUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite statPendingFinalizationSignals classByteArrayCompactIndex messageSelector profileProcess nextProfileTick profileMethod profileSemaphore' classVariableNames: 'BytecodeTable BytesPerWord COGMTVM COGVM CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex FailImbalancedPrimitives HeaderFlagBitPosition IMMUTABILITY MULTIPLEBYTECODESETS MaxJumpBuf MaxQuickPrimitiveIndex MixinIndex NewspeakVM STACKVM VMBIGENDIAN' poolDictionaries: 'VMBasicConstants VMMethodCacheConstants VMObjectIndices VMSqueakV3BytecodeConstants VMSqueakV3ObjectRepresentationConstants VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter commentStamp: '<historical>' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse f rame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. NOTE: Here follows a list of things to be borne in mind when working on this code, or when making changes for the future. 1. There are a number of things that should be done the next time we plan to release a completely incompatible image format. These include unifying the instanceSize field of the class format word -- see instantiateClass:indexableSize:, and unifying the bits of the method primitive index (if we decide we need more than 512, after all) -- see primitiveIndexOf:. Also, contexts should be given a special format code (see next item). 2. There are several fast checks for contexts (see isContextHeader: and isMethodContextHeader:) which will fail if the compact class indices of BlockContext or MethodContext change. This is necessary because the oops may change during a compaction when the oops are being adjusted. It's important to be aware of this when writing a new image using the SystemTracer. A better solution would be to reserve one of the format codes for Contexts only. 3. We have made normal files tolerant to size and positions up to 32 bits. This has not been done for async files, since they are still experimental. The code in size, at: and at:put: should work with sizes and indices up to 31 bits, although I have not tested it (di 12/98); it might or might not work with 32-bit sizes. 4. Note that 0 is used in a couple of places as an impossible oop. This should be changed to a constant that really is impossible (or perhaps there is code somewhere that guarantees it --if so it should be put in this comment). The places include the method cache and the at cache. 5. Moving to a 2 bit immediate tag and having immediate Characters is a good choice for Unicode and the JIT 6. If Eliot Miranda's 2 word header scheme is acceptable in terms of footprint (we estimate about a 10% increase in image size with about 35 reclaimed by better representation of CompiledMethod - loss of MethodProperties) then the in-line cache for the JIT is simplified, class access is faster and header access is the same in 32-bit and full 64-bit images.! Item was removed: - ----- Method: StackInterpreter>>getFullScreenFlag (in category 'plugin primitive support') ----- - getFullScreenFlag - ^fullScreenFlag! Item was removed: - ----- Method: StackInterpreter>>setFullScreenFlag: (in category 'plugin primitive support') ----- - setFullScreenFlag: value - fullScreenFlag := value! Item was changed: ----- Method: VMMaker class>>versionString (in category 'version testing') ----- versionString "VMMaker versionString" + ^'4.16.9'! - ^'4.16.8'!

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 December 2019