Vm-dev May 2021

vm-dev@lists.squeakfoundation.org

21 participants
56 discussions

[CRASH] I am getting a segmentation fault calling my primitive
by Robert Withers 29 May '21

29 May '21

Hey y'all, I am getting a segmentation fault calling primitiveGaloisMultiplyBy in my RSErasurePlugin. I have attached the crash.dmp file. Investigating...assistance requested. Grazie!! -- --- Kindly, Robert

1 4

Many errors compiling RSErasurePlugin.c
by Robert Withers 29 May '21

29 May '21

Some of the initial errors have to do with the static declarations of logTable and expTable. Here is the output... > libtool: compile: clang -Wall -g -O2 -DNDEBUG -DDEBUGVM=0 -msse2 -DCOGMTVM=0 -pthread -DLSB_FIRST=1 -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -DHAVE_CONFIG_H -I/home/rabbit/vm-dev/opensmalltalk-vm/build.linux64x64/squeak.cog.spur/build -I/home/rabbit/vm-dev/opensmalltalk-vm/build.linux64x64/squeak.cog.spur/build -I/home/rabbit/vm-dev/opensmalltalk-vm/platforms/unix/vm -I/home/rabbit/vm-dev/opensmalltalk-vm/platforms/Cross/vm -I/home/rabbit/vm-dev/opensmalltalk-vm/spur64src/vm -I/usr/local/include -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -c /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c -fPIC -DPIC -o .libs/RSErasurePlugin.o > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:44:15: error: static declaration of 'exp' follows non-static declaration > static usqInt exp(sqInt a); > ^ > /usr/include/x86_64-linux-gnu/bits/mathcalls.h:95:17: note: previous declaration is here > __MATHCALL_VEC (exp,, (_Mdouble_ __x)); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:48:15: error: static declaration of 'log' follows non-static declaration > static usqInt log(sqInt a); > ^ > /usr/include/x86_64-linux-gnu/bits/mathcalls.h:104:17: note: previous declaration is here > __MATHCALL_VEC (log,, (_Mdouble_ __x)); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:166:29: error: redefinition of 'multiplicationTable' as different kind of symbol > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:50:26: note: previous definition is here > static unsigned short ** multiplicationTable(void); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:166:66: error: expected '}' > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:166:63: note: to match this '{' > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:180:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:201:11: warning: implicit declaration of function 'signal' is invalid in C99 [-Wimplicit-function-declaration] > return signal(Exception, "Argument 'divisor' is 0"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:201:18: error: use of undeclared identifier 'Exception' > return signal(Exception, "Argument 'divisor' is 0"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:221:1: error: static declaration of 'exp' follows non-static declaration > exp(sqInt a) > ^ > /usr/include/x86_64-linux-gnu/bits/mathcalls.h:95:17: note: previous declaration is here > __MATHCALL_VEC (exp,, (_Mdouble_ __x)); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:241:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(base) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:270:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:299:1: error: static declaration of 'log' follows non-static declaration > log(sqInt a) > ^ > /usr/include/x86_64-linux-gnu/bits/mathcalls.h:104:17: note: previous declaration is here > __MATHCALL_VEC (log,, (_Mdouble_ __x)); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:304:3: warning: implicit declaration of function 'signal' is invalid in C99 [-Wimplicit-function-declaration] > signal(RSErasureIllegalArgumentError, "zero argument"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:304:10: error: use of undeclared identifier 'RSErasureIllegalArgumentError' > signal(RSErasureIllegalArgumentError, "zero argument"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:307:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:320:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(value) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:328:9: warning: incompatible pointer types returning 'unsigned short **(void)' from a function with result type 'unsigned short **' [-Wincompatible-pointer-types] > return multiplicationTable; > ^~~~~~~~~~~~~~~~~~~ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:341:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:374:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:380:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:418:24: warning: implicit declaration of function 'signal' is invalid in C99 [-Wimplicit-function-declaration] > result = ((usqInt) (signal(Exception, "Argument 'divisor' is 0"))); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:418:31: error: use of undeclared identifier 'Exception' > result = ((usqInt) (signal(Exception, "Argument 'divisor' is 0"))); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:434:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:455:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:496:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:506:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:550:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:560:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:590:3: warning: implicit declaration of function 'signal' is invalid in C99 [-Wimplicit-function-declaration] > signal(RSErasureIllegalArgumentError, "zero argument"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:590:10: error: use of undeclared identifier 'RSErasureIllegalArgumentError' > signal(RSErasureIllegalArgumentError, "zero argument"); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:593:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:596:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:638:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:645:2: warning: implicit declaration of function 'popthenPushInteger' is invalid in C99 [-Wimplicit-function-declaration] > popthenPushInteger(2, result); > ^ > /home/rabbit/vm-dev/opensmalltalk-vm/src/plugins/RSErasurePlugin/RSErasurePlugin.c:695:5: warning: implicit declaration of function 'twosComplement' is invalid in C99 [-Wimplicit-function-declaration] > ? twosComplement(a) > ^ > 24 warnings and 10 errors generated. > make[1]: *** [Makefile:177: RSErasurePlugin.lo] Error 1 > make: *** [Makefile:582: RSErasurePlugin.la] Error 2 -- --- Kindly, Robert

2 3

Issues: Trying to build the RS vm with the mvm script...
by Robert Withers 29 May '21

29 May '21

I am trying to build the vm with RS external plugins I generated. I am getting some pushback: > rabbit@ganymede:~/vm-dev/opensmalltalk-vm/build.linux64x64/squeak.cog.spur/build$ ./mvm > clean? y > checking for gcc... clang > checking whether the C compiler works... no > configure: error: in `/home/rabbit/vm-dev/opensmalltalk-vm/build.linux64x64/squeak.cog.spur/build': > configure: error: C compiler cannot create executables > See `config.log' for more details How could I resolve this issue? I have the latest gcc, I think: > rabbit@ganymede:~/vm-dev/opensmalltalk-vm/build.linux64x64/squeak.cog.spur/build$ gcc --version > gcc (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0 I appreciate! -- --- Kindly, Robert

5 11

A group for Squeakers on clubhouse
by Robert 28 May '21

28 May '21

Join up & join me! https://www.clubhouse.com/join/squeakers/YPbUWqn2 Kindly, Robert . .. ... ‘...^,^

1 0

My post to stackexchange's code review site [1].
by Robert Withers 28 May '21

28 May '21

A little outreach...I am referencing a CCodeGenerator, is it so? Any suggestions to clean it up, please let me know! Eliot, I mention Spur, Cog and Sista. How could I be more accurate in my descriptions of their roles? [1] [Squeak code for performant ReedSolomon error correction](https://codereview.stackexchange.com/questions/261315/squeak-co… - https://codereview.stackexchange.com/questions/261315/squeak-code-for-perfo… -- --- Kindly, Robert

1 0

VM Maker: VMMaker.oscog-eem.2965.mcz
by commits＠source.squeak.org 28 May '21

28 May '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2965.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2965 Author: eem Time: 27 May 2021, 8:19:40.639111 pm UUID: 1856cb21-d33c-4bb0-a610-2379ae8ffa4f Ancestors: VMMaker.oscog-eem.2964 Make stSizeOf: easier to optimize. Correct the comment for SpurMemoryManager>>slotSizeOf:. =============== Diff against VMMaker.oscog-eem.2964 =============== Item was changed: ----- Method: SpurMemoryManager>>slotSizeOf: (in category 'object access') ----- slotSizeOf: oop "*DO NOT CONFUSE THIS WITH numSlotsOf:. This is an ObjectMemory compatibility method with questionable semantics. Answers the number of slots in the receiver. If the receiver is a byte object, return the number of bytes. + If the receiver is a short object, return the number of shorts. + If the receiver is a word object, return the number of words. + If the receiver is a double word object, return the number of double words. + Otherwise return the number of pointers." - Otherwise return the number of words." (self isImmediate: oop) ifTrue: [^0]. ^self lengthOf: oop! Item was changed: ----- Method: StackInterpreter>>stSizeOf: (in category 'indexing primitive support') ----- stSizeOf: oop + "Answer the number of indexable fields in the given object. (i.e., what Smalltalk would return for <obj> size)." + "Note: Assume oop is not an immediate!!" - "Return the number of indexable fields in the given object. (i.e., what Smalltalk would return for <obj> size)." - "Note: Assume oop is not a SmallInteger!!" | hdr fmt totalLength fixedFields | <inline: false> hdr := objectMemory baseHeader: oop. fmt := objectMemory formatOfHeader: hdr. totalLength := objectMemory lengthOf: oop baseHeader: hdr format: fmt. + (objectMemory isPureBitsFormat: fmt) ifTrue: + [^totalLength]. fixedFields := objectMemory fixedFieldsOf: oop format: fmt length: totalLength. fmt = objectMemory indexablePointersFormat ifTrue: [self assert: (objectMemory isContextHeader: hdr) not]. ^totalLength - fixedFields!

1 0

16-bit SoundBuffer
by Eliot Miranda 28 May '21

28 May '21

Hi All, I'm looking for debugging help as I don't have time to look at this. Here's a change set that renames SoundBuffer to OldSOundBuffer and introduces an equivalent replacement that uses the native 16-bit format Spur supports, and hence provides faster access via jitted at: & at:put: primitives. Things seem to work except the one sound test that fails in writing the data to a file. If you have time or energy please take a look. AdvThanksance _,,,^..^,,,_ best, Eliot

1 0

Trying to access the wiki. Can someone create an account for me?
by Robert Withers 27 May '21

27 May '21

Or point me to the wiki registration page? Grazie! -- --- Kindly, Robert

2 1

VM Maker: VMMaker.oscog-eem.2964.mcz
by commits＠source.squeak.org 27 May '21

27 May '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2964.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2964 Author: eem Time: 27 May 2021, 11:05:14.535182 am UUID: ba494336-b0c6-40f4-a0ed-be2b024f274d Ancestors: VMMaker.oscog-eem.2963 Fix a slip in primitiveSetOrHasIdentityHash (a primitive fail didn't return) & a speeling rorre. =============== Diff against VMMaker.oscog-eem.2963 =============== Item was changed: ----- Method: InterpreterPrimitives>>primitiveSetOrHasIdentityHash (in category 'object access primitives') ----- primitiveSetOrHasIdentityHash | hash oldHash thisReceiver isReceiverAClass | argumentCount = 0 ifTrue: [| hasHash | hasHash := (objectMemory isNonImmediate: self stackTop) and: [objectMemory hasIdentityHash: self stackTop]. + self pop: 1 thenPushBool: hasHash. - self pop: argumentCount + 1 thenPushBool: hasHash. ^self]. argumentCount = 2 ifTrue: [isReceiverAClass := self booleanValueOf: self stackTop. + self successful ifFalse: + [^self primitiveFailFor: PrimErrBadArgument]] - self successful ifFalse: [self primitiveFailFor: PrimErrBadArgument] ] ifFalse: [isReceiverAClass := false]. hash := self stackIntegerValue: argumentCount - 1. thisReceiver := self stackObjectValue: argumentCount. self successful ifTrue: [oldHash := objectMemory hashBitsOf: thisReceiver. objectMemory setHashBitsOf: thisReceiver to: hash. + (isReceiverAClass and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [objectMemory classAtIndex: hash put: thisReceiver. + "this figures out if the index is ambiguous and fixes all the instances if needed" + objectMemory allInstancesOf: thisReceiver]. + self methodReturnInteger: oldHash]! - (isReceiverAClass and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: - [objectMemory classAtIndex: hash put: thisReceiver. - "next line figures out if the index is anbiguous and fix all the instances if needed" - objectMemory allInstancesOf: thisReceiver]. - self pop: argumentCount + 1 thenPushInteger: oldHash]!

1 0

VM Maker: VMMaker.oscog-eem.2963.mcz
by commits＠source.squeak.org 27 May '21

27 May '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2963.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2963 Author: eem Time: 27 May 2021, 10:26:40.297558 am UUID: efbaae14-a74e-4d2f-a882-21c3b80d3a9f Ancestors: VMMaker.oscog-eem.2962 Get StackInterpreterSimulator respond to input in a timely manner. Eliminate a few gratuitous changes between CogVMSimulator and StackInterpreterSimulator. =============== Diff against VMMaker.oscog-eem.2962 =============== Item was changed: ----- Method: CogVMSimulator>>allObjectsSelect: (in category 'debug support') ----- allObjectsSelect: objBlock "self allObjectsSelect: [:oop | (self baseHeader: oop) = 1234]" | selected | selected := OrderedCollection new. objectMemory allObjectsDoSafely: + [:obj| + (objBlock value: obj) ifTrue: [selected addLast: obj]]. + ^selected! - [:oop| (objBlock value: oop) ifTrue: [selected addLast: oop]]. - ^ selected! Item was changed: ----- Method: CogVMSimulator>>ioUTCMicroseconds (in category 'I/O primitives support') ----- ioUTCMicroseconds "Return the value of the microsecond clock." "NOT. Actually, we want something a lot slower and, for exact debugging, something more repeatable than real time. Dan had an idea: use the byteCount... We increment byteCount in stackLimitFromMachineCode and a real machine can easily run e.g. nfib at 6e7 / second, which this would be 1 usec ~= 60 byteCounts. + Use 100 byteCounts per usec by default; see CogVMSimulator class>>initializeWithOptions:" - Use 10 byteCounts per usec by default; see CogVMSimulator class>>initializeWithOptions:objectMemoryClass:" ^byteCount // ByteCountsPerMicrosecond + startMicroseconds "Dan: At 20k bytecodes per second, this gives us about 200 ticks per second, or about 1/5 of what you'd expect for the real time clock. This should still service events at one or two per second"! Item was changed: ----- Method: CogVMSimulator>>openOn:extraMemory: (in category 'initialize-release') ----- openOn: fileName extraMemory: extraBytes "CogVMSimulator new openOn: 'clone.im' extraMemory: 100000" | f version headerSize dataSize count oldBaseAddr bytesToShift swapBytes headerFlags firstSegSize heapSize hdrNumStackPages hdrEdenBytes hdrMaxExtSemTabSize hdrCogCodeSize stackZoneSize methodCacheSize primTraceLogSize allocationReserve | "open image file and read the header" (f := self openImageFileNamed: fileName) ifNil: [^self]. "Set the image name and the first argument; there are no arguments during simulation unless set explicitly." systemAttributes at: 1 put: fileName. ["begin ensure block..." imageName := f fullName. f binary. version := self getWord32FromFile: f swap: false. "current version: 16r1968 (=6504) vive la revolucion!!" (self readableFormat: version) ifTrue: [swapBytes := false] ifFalse: [(version := version byteSwap32) = self imageFormatVersion ifTrue: [swapBytes := true] ifFalse: [self error: 'incomaptible image format']]. headerSize := self getWord32FromFile: f swap: swapBytes. dataSize := self getLongFromFile: f swap: swapBytes. "length of heap in file" oldBaseAddr := self getLongFromFile: f swap: swapBytes. "object memory base address of image" objectMemory specialObjectsOop: (self getLongFromFile: f swap: swapBytes). objectMemory lastHash: (self getLongFromFile: f swap: swapBytes). "Should be loaded from, and saved to the image header" savedWindowSize := self getLongFromFile: f swap: swapBytes. headerFlags := self getLongFromFile: f swap: swapBytes. self setImageHeaderFlagsFrom: headerFlags. extraVMMemory := self getWord32FromFile: f swap: swapBytes. hdrNumStackPages := self getShortFromFile: f swap: swapBytes. "4 stack pages is small. Should be able to run with as few as three. 4 should be comfortable but slow. 8 is a reasonable default. Can be changed via vmParameterAt: 43 put: n" numStackPages := desiredNumStackPages ~= 0 ifTrue: [desiredNumStackPages] ifFalse: [hdrNumStackPages = 0 ifTrue: [self defaultNumStackPages] ifFalse: [hdrNumStackPages]]. desiredNumStackPages := hdrNumStackPages. stackZoneSize := self computeStackZoneSize. "This slot holds the size of the native method zone in 1k units. (pad to word boundary)." hdrCogCodeSize := (self getShortFromFile: f swap: swapBytes) * 1024. cogCodeSize := desiredCogCodeSize ~= 0 ifTrue: [desiredCogCodeSize] ifFalse: [hdrCogCodeSize = 0 ifTrue: [cogit defaultCogCodeSize] ifFalse: [hdrCogCodeSize]]. desiredCogCodeSize := hdrCogCodeSize. self assert: f position = (objectMemory wordSize = 4 ifTrue: [40] ifFalse: [64]). hdrEdenBytes := self getWord32FromFile: f swap: swapBytes. objectMemory edenBytes: (desiredEdenBytes ~= 0 ifTrue: [desiredEdenBytes] ifFalse: [hdrEdenBytes = 0 ifTrue: [objectMemory defaultEdenBytes] ifFalse: [hdrEdenBytes]]). desiredEdenBytes := hdrEdenBytes. hdrMaxExtSemTabSize := self getShortFromFile: f swap: swapBytes. hdrMaxExtSemTabSize ~= 0 ifTrue: [self setMaxExtSemSizeTo: hdrMaxExtSemTabSize]. "pad to word boundary. This slot can be used for anything else that will fit in 16 bits. Preserve it to be polite to other VMs." the2ndUnknownShort := self getShortFromFile: f swap: swapBytes. self assert: f position = (objectMemory wordSize = 4 ifTrue: [48] ifFalse: [72]). firstSegSize := self getLongFromFile: f swap: swapBytes. objectMemory firstSegmentSize: firstSegSize. "For Open PICs to be able to probe the method cache during simulation the methodCache must be relocated to memory." methodCacheSize := methodCache size * objectMemory wordSize. primTraceLogSize := primTraceLog size * objectMemory wordSize. "To cope with modern OSs that disallow executing code in writable memory we dual-map the code zone, one mapping with read/write permissions and the other with read/execute permissions. In simulation all we can do is use memory, so if we're simulating dual mapping we use double the memory and simulate the memory sharing in the Cogit's backEnd." effectiveCogCodeSize := (InitializationOptions at: #DUAL_MAPPED_CODE_ZONE ifAbsent: [false]) ifTrue: [cogCodeSize * 2] ifFalse: [cogCodeSize]. "allocate interpreter memory. This list is in address order, low to high. In the actual VM the stack zone exists on the C stack." heapBase := (Cogit guardPageSize + effectiveCogCodeSize + stackZoneSize + methodCacheSize + primTraceLogSize + self rumpCStackSize) roundUpTo: objectMemory allocationUnit. "compare memory requirements with availability" allocationReserve := self interpreterAllocationReserveBytes. objectMemory hasSpurMemoryManagerAPI ifTrue: [| freeOldSpaceInImage headroom | freeOldSpaceInImage := self getLongFromFile: f swap: swapBytes. headroom := objectMemory initialHeadroom: extraVMMemory givenFreeOldSpaceInImage: freeOldSpaceInImage. heapSize := objectMemory roundUpHeapSize: dataSize + headroom + objectMemory newSpaceBytes + (headroom > allocationReserve ifTrue: [0] ifFalse: [allocationReserve])] ifFalse: [heapSize := dataSize + extraBytes + objectMemory newSpaceBytes + (extraBytes > allocationReserve ifTrue: [0] ifFalse: [allocationReserve])]. + "allocate interpreter memory" + heapBase := objectMemory startOfMemory. + objectMemory + setHeapBase: heapBase + memoryLimit: heapBase + heapSize + endOfMemory: heapBase + dataSize. "bogus for Spur" - heapBase := objectMemory - setHeapBase: heapBase - memoryLimit: heapBase + heapSize - endOfMemory: heapBase + dataSize. self assert: cogCodeSize \\ 4 = 0. self assert: objectMemory memoryLimit \\ 4 = 0. self assert: self rumpCStackSize \\ 4 = 0. objectMemory allocateMemoryOfSize: objectMemory memoryLimit. "read in the image in bulk, then swap the bytes if necessary" f position: headerSize. count := objectMemory readHeapFromImageFile: f dataBytes: dataSize. count ~= dataSize ifTrue: [self halt]] ensure: [f close]. self moveMethodCacheToMemoryAt: objectMemory cogCodeBase + effectiveCogCodeSize + stackZoneSize. self movePrimTraceLogToMemoryAt: objectMemory cogCodeBase + effectiveCogCodeSize + stackZoneSize + methodCacheSize. self ensureImageFormatIsUpToDate: swapBytes. bytesToShift := objectMemory memoryBaseForImageRead - oldBaseAddr. "adjust pointers for zero base address" UIManager default informUser: 'Relocating object pointers...' during: [self initializeInterpreter: bytesToShift]. self initializeCodeGenerator! Item was changed: StackInterpreterPrimitives subclass: #StackInterpreterSimulator instanceVariableNames: 'parent bootstrapping byteCount breakCount sendCount lookupCount printSends printReturns traceOn myBitBlt displayForm fakeForm filesOpen imageName pluginList mappedPluginEntries quitBlock transcript displayView eventTransformer printFrameAtEachStep printBytecodeAtEachStep systemAttributes startMicroseconds lastYieldMicroseconds externalSemaphoreSignalRequests externalSemaphoreSignalResponses extSemTabSize atEachStepBlock disableBooleanCheat performFilters eventQueue assertVEPAES primTraceLog breakBlock inputSemaphoreIndex' + classVariableNames: 'ByteCountsPerMicrosecond' - classVariableNames: '' poolDictionaries: '' category: 'VMMaker-InterpreterSimulation'! !StackInterpreterSimulator commentStamp: 'eem 9/3/2013 11:05' 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 (StackInterpreterSimulator new openOn: Smalltalk imageName) test ((StackInterpreterSimulator newWithOptions: #(NewspeakVM true MULTIPLEBYTECODESETS true)) openOn: 'ns101.image') 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. Here's an example of what Eliot uses to launch the simulator in a window. The bottom-right window has a menu packed with useful stuff: | vm | vm := StackInterpreterSimulator newWithOptions: #(). vm openOn: '/Users/eliot/Squeak/Squeak4.4/trunk44.image'. vm setBreakSelector: #&. vm openAsMorph; run! Item was added: + ----- Method: StackInterpreterSimulator class>>initializeWithOptions: (in category 'class initialization') ----- + initializeWithOptions: optionsDictionary + super initializeWithOptions: optionsDictionary. + + ByteCountsPerMicrosecond := InitializationOptions + at: #ByteCountsPerMicrosecond + ifAbsent: [50]! Item was changed: ----- Method: StackInterpreterSimulator>>incrementByteCount (in category 'interpreter shell') ----- incrementByteCount (byteCount := byteCount + 1) = breakCount ifTrue: + [self doOrDefer: [self changed: #byteCountText; changed: #composeAll]. - [self doOrDefer: [self changed: #byteCountText]. self halt: 'breakCount reached']. byteCount \\ 1000 = 0 ifTrue: + [self doOrDefer: [self changed: #byteCountText; changed: #composeAll]. - [self doOrDefer: [self changed: #byteCountText]. self forceInterruptCheck]! Item was changed: ----- Method: StackInterpreterSimulator>>ioRelinquishProcessorForMicroseconds: (in category 'I/O primitives support') ----- ioRelinquishProcessorForMicroseconds: microseconds "In the simulator give an indication that we're idling and check for input. If there's an input event, fail to give the system a chance to respond to it in a timely manner." Display reverse: ((displayView ifNil: [0@0] ifNotNil: [displayView bounds origin]) extent: 16@16). Processor activeProcess == Project uiProcess ifTrue: [World doOneCycle]. (stackLimit = self allOnesAsCharStar and: [nextPollUsecs <= self ioUTCMicroseconds]) ifTrue: ["Not only do we need to fail, we also need to push time faster since the damn Morphic eventTickler process waits on a delay." "ioUTCMicroseconds" + byteCount := byteCount + (1000 * ByteCountsPerMicrosecond). - byteCount := byteCount + (1000 * 50). self primitiveFail] ifFalse: [microseconds >= 1000 ifTrue: [stackLimit = self allOnesAsCharStar ifFalse: + [(Delay forMilliseconds: microseconds + 999 // 1000) wait. + self forceInterruptCheck]] - [(Delay forMilliseconds: microseconds + 999 // 1000) wait]] ifFalse: [Processor yield]]. "And increase the byteCount form which the microsecond clock is derived..." + byteCount := byteCount + (microseconds * ByteCountsPerMicrosecond) - 1. - byteCount := byteCount + microseconds - 1. self incrementByteCount! Item was changed: ----- Method: StackInterpreterSimulator>>ioUTCMicroseconds (in category 'I/O primitives support') ----- ioUTCMicroseconds "Return the value of the microsecond clock." "NOT. Actually, we want something a lot slower and, for exact debugging, + something more repeatable than real time. Dan had an idea: use the byteCount... + Use 50 byteCounts per usec by default; see StackInterpreterSimulator class>>initializeWithOptions:" - something more repeatable than real time. Dan had an idea: use the byteCount..." + ^byteCount // ByteCountsPerMicrosecond + startMicroseconds + + "Dan: + At 20k bytecodes per second, this gives us about 200 ticks per second, or about 1/5 + of what you'd expect for the real time clock. This should still service events at one or + two per second"! - ^(byteCount // 50) + startMicroseconds! Item was changed: ----- Method: StackInterpreterSimulator>>openOn:extraMemory: (in category 'initialize-release') ----- openOn: fileName extraMemory: extraBytes "StackInterpreterSimulator new openOn: 'clone.im' extraMemory: 100000" | f version headerSize dataSize count oldBaseAddr bytesToShift swapBytes headerFlags heapBase firstSegSize heapSize hdrNumStackPages hdrEdenBytes hdrMaxExtSemTabSize allocationReserve | "open image file and read the header" (f := self openImageFileNamed: fileName) ifNil: [^self]. "Set the image name and the first argument; there are no arguments during simulation unless set explicitly." systemAttributes at: 1 put: fileName. ["begin ensure block..." imageName := f fullName. f binary. version := self getWord32FromFile: f swap: false. "current version: 16r1968 (=6504) vive la revolucion!!" (self readableFormat: version) ifTrue: [swapBytes := false] + ifFalse: [(version := version byteSwap32) = self imageFormatVersion - ifFalse: [(version := objectMemory byteSwapped: version) = self imageFormatVersion ifTrue: [swapBytes := true] ifFalse: [self error: 'incomaptible image format']]. headerSize := self getWord32FromFile: f swap: swapBytes. dataSize := self getLongFromFile: f swap: swapBytes. "length of heap in file" oldBaseAddr := self getLongFromFile: f swap: swapBytes. "object memory base address of image" objectMemory specialObjectsOop: (self getLongFromFile: f swap: swapBytes). objectMemory lastHash: (self getLongFromFile: f swap: swapBytes). "Should be loaded from, and saved to the image header" savedWindowSize := self getLongFromFile: f swap: swapBytes. headerFlags := self getLongFromFile: f swap: swapBytes. self setImageHeaderFlagsFrom: headerFlags. extraVMMemory := self getWord32FromFile: f swap: swapBytes. hdrNumStackPages := self getShortFromFile: f swap: swapBytes. "4 stack pages is small. Should be able to run with as few as three. 4 should be comfortable but slow. 8 is a reasonable default. Can be changed via vmParameterAt: 43 put: n" numStackPages := desiredNumStackPages ~= 0 ifTrue: [desiredNumStackPages] ifFalse: [hdrNumStackPages = 0 ifTrue: [self defaultNumStackPages] ifFalse: [hdrNumStackPages]]. desiredNumStackPages := hdrNumStackPages. "pad to word boundary. This slot can be used for anything else that will fit in 16 bits. It is used for the cog code size in Cog. Preserve it to be polite to other VMs." theUnknownShort := self getShortFromFile: f swap: swapBytes. self assert: f position = (objectMemory wordSize = 4 ifTrue: [40] ifFalse: [64]). hdrEdenBytes := self getWord32FromFile: f swap: swapBytes. objectMemory edenBytes: (hdrEdenBytes = 0 ifTrue: [objectMemory defaultEdenBytes] ifFalse: [hdrEdenBytes]). desiredEdenBytes := hdrEdenBytes. hdrMaxExtSemTabSize := self getShortFromFile: f swap: swapBytes. hdrMaxExtSemTabSize ~= 0 ifTrue: [self setMaxExtSemSizeTo: hdrMaxExtSemTabSize]. "pad to word boundary. This slot can be used for anything else that will fit in 16 bits. Preserve it to be polite to other VMs." the2ndUnknownShort := self getShortFromFile: f swap: swapBytes. self assert: f position = (objectMemory wordSize = 4 ifTrue: [48] ifFalse: [72]). firstSegSize := self getLongFromFile: f swap: swapBytes. objectMemory firstSegmentSize: firstSegSize. "compare memory requirements with availability" allocationReserve := self interpreterAllocationReserveBytes. objectMemory hasSpurMemoryManagerAPI ifTrue: [| freeOldSpaceInImage headroom | freeOldSpaceInImage := self getLongFromFile: f swap: swapBytes. headroom := objectMemory initialHeadroom: extraVMMemory givenFreeOldSpaceInImage: freeOldSpaceInImage. heapSize := objectMemory roundUpHeapSize: dataSize + headroom + objectMemory newSpaceBytes + (headroom > allocationReserve ifTrue: [0] ifFalse: [allocationReserve])] ifFalse: [heapSize := dataSize + extraBytes + objectMemory newSpaceBytes + (extraBytes > allocationReserve ifTrue: [0] ifFalse: [allocationReserve])]. "allocate interpreter memory" heapBase := objectMemory startOfMemory. objectMemory setHeapBase: heapBase memoryLimit: heapBase + heapSize endOfMemory: heapBase + dataSize. "bogus for Spur" objectMemory allocateMemoryOfSize: objectMemory memoryLimit. "read in the image in bulk, then swap the bytes if necessary" f position: headerSize. count := objectMemory readHeapFromImageFile: f dataBytes: dataSize. count ~= dataSize ifTrue: [self halt]] ensure: [f close]. self ensureImageFormatIsUpToDate: swapBytes. bytesToShift := objectMemory memoryBaseForImageRead - oldBaseAddr. "adjust pointers for zero base address" UIManager default informUser: 'Relocating object pointers...' during: [self initializeInterpreter: bytesToShift]! Item was changed: ----- Method: StackInterpreterSimulator>>parent (in category 'accessing') ----- parent - ^ parent!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev May 2021