Vm-dev October 2018

vm-dev@lists.squeakfoundation.org

36 participants
189 discussions

Passed: OpenSmalltalk/opensmalltalk-vm#1433 (Cog - 7a50355)
by Travis CI 05 Oct '18

05 Oct '18

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #1433 Status: Passed Duration: 2 hrs, 12 mins, and 39 secs Commit: 7a50355 (Cog) Author: Eliot Miranda Message: OK, now fix the HowToBuild to no longer mention build.linux32x86. View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/485a6d8faa8c...7a… View the full build log and details: https://travis-ci.org/OpenSmalltalk/opensmalltalk-vm/builds/437364287?utm_m… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

Build failed: opensmalltalk-vm 1.0.1410
by AppVeyor 05 Oct '18

05 Oct '18

1 0

[OpenSmalltalk/opensmalltalk-vm] 44bc36: Ad remove -m32 from the GdbARMPlugin linux makefil...
by GitHub 05 Oct '18

05 Oct '18

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 44bc36579e470e56a60d70bab8dcb8559dd82b68 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/44bc36579e470e56a6… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2018-10-04 (Thu, 04 Oct 2018) Changed paths: M platforms/unix/plugins/GdbARMPlugin/Makefile.inc Log Message: ----------- Ad remove -m32 from the GdbARMPlugin linux makefile too. **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.

1 0

[OpenSmalltalk/opensmalltalk-vm] 6df629: Remove spurious -m32 directives from the linux Boc...
by GitHub 05 Oct '18

05 Oct '18

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 6df629d160c99e374ac6e9d2bde230281867e77b https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6df629d160c99e374a… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2018-10-04 (Thu, 04 Oct 2018) Changed paths: M build.linux64x64/bochsx64/conf.COG M build.linux64x64/bochsx64/conf.COG.dbg M build.linux64x64/bochsx86/conf.COG M platforms/unix/plugins/BochsIA32Plugin/Makefile.inc M platforms/unix/plugins/BochsX64Plugin/Makefile.inc Log Message: ----------- Remove spurious -m32 directives from the linux Bochs plugin makefiles. Add -fPIC to the support library builds. **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.

1 0

[OpenSmalltalk/opensmalltalk-vm] f23a1d: And fo course the plugins need to be added to plug...
by GitHub 05 Oct '18

05 Oct '18

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: f23a1d8bd4f931d938fb8102d489df0246ab92d3 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/f23a1d8bd4f931d938… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2018-10-04 (Thu, 04 Oct 2018) Changed paths: M build.linux64x64/squeak.cog.spur/plugins.ext Log Message: ----------- And fo course the plugins need to be added to plugins.ext, at least for the workhorse squeak.cog.spur build. **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.

1 0

Errored: OpenSmalltalk/opensmalltalk-vm#1432 (Cog - 485a6d8)
by Travis CI 05 Oct '18

05 Oct '18

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #1432 Status: Errored Duration: 38 mins and 15 secs Commit: 485a6d8 (Cog) Author: Eliot Miranda Message: Add build files for the bochs processor simulators on linux64x64 View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/8cca3320bce9...48… View the full build log and details: https://travis-ci.org/OpenSmalltalk/opensmalltalk-vm/builds/437359272?utm_m… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

[OpenSmalltalk/opensmalltalk-vm] 911114: Add the gdbarm32 support lib build dir to linux64x...
by GitHub 05 Oct '18

05 Oct '18

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 911114625729404685413dfac3b2631ac21cc6f0 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/911114625729404685… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2018-10-04 (Thu, 04 Oct 2018) Changed paths: A build.linux64x64/gdbarm32/conf.COG A build.linux64x64/gdbarm32/makeem Log Message: ----------- Add the gdbarm32 support lib build dir to linux64x64 anbd fix HowToBuild to no longer mention build.linux32x86. Commit: 7a503550bc05c1e26da11d8f578b2fcf11ca735f https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/7a503550bc05c1e26d… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2018-10-04 (Thu, 04 Oct 2018) Changed paths: M build.linux64x64/HowToBuild Log Message: ----------- OK, now fix the HowToBuild to no longer mention build.linux32x86. Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/485a6d8faa8c...7a… **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.

1 0

Fwd: Help for a crazy idea I have
by Hernan Wilkinson 04 Oct '18

04 Oct '18

Hi everybody, I'm forwarding an email I sent to Eliot as he suggested. It is about changes I'm doing to the VM to get type information dynamically. Thanks Eliot! Hernan. ---------- Forwarded message --------- From: Hernan Wilkinson <hernan.wilkinson(a)10pines.com> Date: Thu, Oct 4, 2018 at 7:09 AM Subject: Re: Help for a crazy idea I have To: Eliot Miranda <eliot.miranda(a)gmail.com> Hi Eliot! thank you for your answer. I look at Slots as you suggested. They could work but, at least as far I could see and play with them, they would not work for all the cases I have in mind, for example I could not use slots to keep the type of temporary variables, parameters or methods return, etc. If I'm mistaken please let me know. So, I continued with my idea and changed ClassDescription adding a new inst. var. called "instanceVariablesTypes", that points to an array of arrays. Each position of the first one points to the types of the inst. var. whose index correspond the position. Very simple and it works fine. Performance impact is very low. At the end of the email is the code I wrote at the VM in case you want to see it. Now I'm working on the temporary variables types using AdditionalMethodState. But the main reason I'm writing to you again is because I found a rare behavior and an error when running the simulator with the Cuis image. I'm using the StackInterpreter. The problems are are: 1) The simulator running a Cuis image does more scavengings than running the simulator with a Squeak image, even thought the Cuis image size is 9 mb and the Squeak one is 50 mb. (I know the image size has nothing to do with the young space size). So, is there a way to configure the young space size or a way to see why it triggers so many scavengings? 2) When I added the inst. var "instanceVariableTypes" to ClassDescription, some pointer ends up invalid. Doing the same with Squeak works fine. When adding that inst var in an Cuis image using the simulator, an assertion stops the simulator execution. There is another detail, this does not happen with 32 bit Cuis images/vm, only with 64 bit Cuis images. Do you know what could be happening? (I'm attaching the simulator's stack report just is case you have time to look at it, but it is very simple to reproduce). 3) What is the difference between "<primitive: 105 error: ec>" and just "<primitive: 105>" ? I had to replace in Cuis all the first one with the second one because the simulator did not work with methods using the first one (example: Array>>replaceFrom: start to: stop with: replacement startingAt: repStart) Anyway, it is very interesting what I'm achieving with just only keeping the types for inst. vars. I could significantly improve auto complete in the class browser for example, do some type checking, etc. I'll keep you posted with the changes I'm making. If you could help me with the 3 problems I mentioned above it would be great :-) Cheers! Hernan ----------------- Here is the code I changed in the VM: storeAndPopReceiverVariableBytecode | rcvr top instVarIndex | rcvr := self receiver. top := self internalStackTop. instVarIndex := currentBytecode bitAnd: 7. self internalPop: 1. objectMemory storePointerImmutabilityCheck: instVarIndex ofObject: rcvr withValue: top. self fetchNextBytecode. self keepInstanceVariableTypeInformationFor: top in: rcvr at: instVarIndex. "<--- added this" extendedStoreBytecodePop: popBoolean | descriptor variableType variableIndex value rcvr | <inline: true> descriptor := self fetchByte. variableType := descriptor >> 6 bitAnd: 3. variableIndex := descriptor bitAnd: 63. value := self internalStackTop. popBoolean ifTrue: [ self internalPop: 1 ]. variableType = 0 ifTrue: [rcvr := self receiver. objectMemory storePointerImmutabilityCheck: variableIndex ofObject: rcvr withValue: value. self keepInstanceVariableTypeInformationFor: value in: rcvr at: variableIndex. "<--- added this" ^ self fetchNextBytecode]. variableType = 1 ifTrue: [ self fetchNextBytecode. ^self temporary: variableIndex in: localFP put: value]. variableType = 3 ifTrue: [self storeLiteralVariable: variableIndex withValue: value. ^ self fetchNextBytecode]. self error: 'illegal store' keepInstanceVariableTypeInformationFor: anAssignedObject in: rcvr at: instVarIndex | assignedObjectClass assignedObjectClassTag instVarTypes rcvrClass rcvrClassTag types | "(objectMemory isForwarded: rcvr) ifTrue: [ self halt ]." rcvrClassTag := objectMemory fetchClassTagOf: rcvr. self deny: (objectMemory isForwardedClassTag: rcvrClassTag). rcvrClass := objectMemory classForClassTag: rcvrClassTag. self deny: rcvrClass isNil. "(objectMemory isForwarded: top) ifTrue: [ self halt ]." assignedObjectClassTag := objectMemory fetchClassTagOf: anAssignedObject. self deny: (objectMemory isForwardedClassTag: assignedObjectClassTag). assignedObjectClass := objectMemory classForClassTag: assignedObjectClassTag. self deny: assignedObjectClass isNil. instVarTypes := objectMemory followObjField: 5 ofObject: rcvrClass. "TODO: use constant instead of 5" instVarTypes = objectMemory nilObject ifTrue: [ ^self ]. types := objectMemory followObjField: instVarIndex ofObject: instVarTypes. 0 to: 9 do: [ :index | | typeAtIndex | "TODO: use array size and not 9. Check for types == nil" typeAtIndex := objectMemory followObjField: index ofObject: types. typeAtIndex == assignedObjectClass ifTrue: [ ^self ]. typeAtIndex == objectMemory nilObject ifTrue: [ ^objectMemory storePointer: index ofObject: types withValue: assignedObjectClass ]]. "self halt: 'out of space for types" On Wed, Sep 19, 2018 at 1:48 PM Eliot Miranda <eliot.miranda(a)gmail.com> wrote: > Hi Hernan, > > On Sun, Sep 16, 2018 at 1:43 PM Hernan Wilkinson < > hernan.wilkinson(a)10pines.com> wrote: > >> Hi Eliot, >> I have had this idea for a long time, some guys at the university >> implemented in pharo using metalinks (Marcus's compiler capability) but it >> was a toy implementation... a few days ago I cloned the cog repo to show >> people at work how easy is to run the Smalltalk vm as a simulation and see >> how everything is implemented, change it, etc. so I started to implement >> this idea but of course, I need help :-) >> The idea is simple: Every time an object is assigned to a variable, I >> want to keep its class to have "real type inference". >> The idea is based on the fact that Smalltalk is always running, so >> "class" information will be generated with real-running code. Of course, we >> will have to derive type info from that class info, but that is a problem >> to be solved in the image space. >> So, I did some experiments and modified the bytecodes that store inst. >> vars. (#storeAndPopReceiverVariableBytecode and #extendedStoreBytecodePop:) >> to keep that info, but they doit in a dictionary that belongs to the >> simulator space. >> What I want to do is to store that info in a way that should be >> accesible from the image. >> I added an inst. var. to ClassDescription called >> 'instanceVariablesTypes' that it is initialized with an array of the number >> of inst. vars. of the class and at each index there is a Set (it could be a >> Dictionary or an Array...) where I want to store the assigned object class >> to the inst. var >> The problem I have is that I do not know how to manage those objects >> from the image space. I need to be able to add objects to the Set that >> keeps the classes of an inst. var, make the array of instanceVariablesTypes >> change accordingly to changes in the class, etc. >> So basically my question are: >> 1) is there a way to manage a Set or a Dictionary from the vm but that >> was created at "the image". The method lookup has the code to lookup in a >> dict., but I have not seen code to create, add, remove elements >> 2) if there is not, I could do everything with arrays, but to do so I >> need to know how an array can be instantiated from the vm >> 3) Any other suggestion? >> > > Yes, I would look at Slots. With Slots you should b e sable to manage > everything at the image and work on a subset of all the classes. Kernel > classes should be avoided since one will get into an infinite recursion > (and indeed using the Vm would be a solution here). The problem with using > the VM is that one has to use very low-level data structures and tackle the > JIT to get performance, It is not easy, whereas Slots should get you the > information you need very very cheaply. > > >> >> I know this idea would slow down the execution of the vm, but my idea is >> based on the fact that while programming (development time) the speed is >> not so critical, so we could have an option to not do this on runtime time >> (or different vms...) >> I also know that keeping the type info for inst. vars. is not enough, the >> same has to be done with methods (parameters, temporaries and return type), >> class variables, and keeping types for collections should be based per >> instance and not per class (like generics do in other languages: Array<T>), >> etc. Also, I do not know how this idea could conflict with jiting (I played >> with the stack vm only), etc. >> There are a lot of things to do, but I think having this information >> available from the image would help a lot on tools like refactoring, syntax >> highlighting, type checking, etc etc. >> > > Again, using Slots instead of the VM would make it much easier to access > the information at the image level. > > >> >> Well, the email is too long already :-) >> I hope you can send me some ideas to implement this. >> > > Take a look at Slots. If that doesn't work then indeed I can help you do > it in the VM. But I warn you; it'll be hairy (but fun!! :-) ). > > >> >> Thanks! >> Hernan >> >> -- >> >> *Hernán WilkinsonAgile Software Development, Teaching & Coaching* >> *Phone: +54-011*-4893-2057 >> *Twitter: @HernanWilkinson* >> *site: http://www.10Pines.com <http://www.10pines.com/>* >> Address: Alem 896, Floor 6, Buenos Aires, Argentina >> > > > -- > _,,,^..^,,,_ > best, Eliot > -- *Hernán WilkinsonAgile Software Development, Teaching & Coaching* *Phone: +54-011*-4893-2057 *Twitter: @HernanWilkinson* *site: http://www.10Pines.com <http://www.10pines.com/>* Address: Alem 896, Floor 6, Buenos Aires, Argentina -- *Hernán WilkinsonAgile Software Development, Teaching & Coaching* *Phone: +54-011*-4893-2057 *Twitter: @HernanWilkinson* *site: http://www.10Pines.com <http://www.10pines.com/>* Address: Alem 896, Floor 6, Buenos Aires, Argentina

1 0

VM Maker: VMMaker.oscog-cb.2447.mcz
by commits＠source.squeak.org 04 Oct '18

04 Oct '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2447.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2447 Author: cb Time: 4 October 2018, 9:41:04.472108 am UUID: b2f39c11-1d5c-43a9-8925-32eab1591459 Ancestors: VMMaker.oscog-cb.2446 Production VM: - Fixed a bug in removeSegment: where invalid memory would be accessed when the segment info array was full & a segment removed. SelectiveCompactor VM: - Fixed a bug in primitiveResume when a context forwarder is found. - Fixed SelectiveCompactor postCompaction forwarding logic -> Just ran SelectiveCompactor with >20Gb workloads without crashes with these fixes. Might be some redundancy that I need to check in following logic with other code in the VM. =============== Diff against VMMaker.oscog-cb.2446 =============== Item was changed: ----- Method: CoInterpreterPrimitives>>primitiveResume (in category 'process primitives') ----- primitiveResume "Put this process on the scheduler's lists thus allowing it to proceed next time there is a chance for processes of it's priority level. It must go to the back of its run queue so as not to preempt any already running processes at this level. If the process's priority is higher than the current process, preempt the current process." | proc inInterpreter | proc := self stackTop. "rcvr" + (objectMemory isContext: (objectMemory followField: SuspendedContextIndex ofObject: proc)) ifFalse: - (objectMemory isContext: (objectMemory fetchPointer: SuspendedContextIndex ofObject: proc)) ifFalse: [^self primitiveFail]. "We're about to switch process, either to an interpreted frame or a machine code frame. To know whether to return or enter machine code we have to know from whence we came. We could have come from the interpreter, either directly or via a machine code primitive. We could have come from machine code. The instructionPointer tells us where from:" inInterpreter := instructionPointer >= objectMemory startOfMemory. (self resume: proc preemptedYieldingIf: preemptionYields from: CSResume) ifTrue: [self forProcessPrimitiveReturnToExecutivePostContextSwitch: inInterpreter] "Personally I would like to check MyList, which should not be one of the elements of the scheduler lists. But there are awful race conditions in things like should:notTakeMoreThan: that mean we can't. eem 9/27/2010 23:08. e.g. | proc myList classLinkedList | proc := self stackTop. myList := objectMemory fetchPointer: MyListIndex ofObject: proc. classLinkedList := self superclassOf: (objectMemory splObj: ClassSemaphore). ((self fetchClassOfNonInt: myList) ~= classLinkedList and: [objectMemory isContext: (objectMemory fetchPointer: SuspendedContextIndex ofObject: proc)]) ifFalse: [^self primitiveFail]. ''We're about to switch process, either to an interpreted frame or a machine code frame. To know whether to return or enter machine code we have to know from whence we came. We could have come from the interpreter, either directly or via a machine code primitive. We could have come from machine code. The instructionPointer tells us where from:'' inInterpreter := instructionPointer >= objectMemory startOfMemory. (self resume: proc preemptedYieldingIf: preemptionYields from: CSResume) ifTrue: [self forProcessPrimitiveReturnToExecutivePostContextSwitch: inInterpreter]"! Item was added: + ----- Method: SpurMemoryManager>>followClassTable (in category 'selective compaction') ----- + followClassTable + "In addition to postBecomeScanClassTable:, I follow hiddenRootObj and its pages" + (self isForwarded: hiddenRootsObj) ifTrue: [hiddenRootsObj := self followForwarded: hiddenRootsObj]. + 0 to: numClassTablePages - 1 do: + [:i| | page | + page := self followField: i ofObject: hiddenRootsObj. + 0 to: (self numSlotsOf: page) - 1 do: + [:j| | classOrNil | + classOrNil := self fetchPointer: j ofObject: page. + classOrNil ~= nilObj ifTrue: + [(self isForwarded: classOrNil) ifTrue: + [classOrNil := self followForwarded: classOrNil. + self storePointer: j ofObject: page withValue: classOrNil]. + (self rawHashBitsOf: classOrNil) = 0 ifTrue: + [self storePointerUnchecked: j ofObject: page withValue: nilObj. + "If the removed class is before the classTableIndex, set the + classTableIndex to point to the empty slot so as to reuse it asap." + (i << self classTableMajorIndexShift + j) < classTableIndex ifTrue: + [classTableIndex := i << self classTableMajorIndexShift + j]]]]]. + "classTableIndex must never index the first page, which is reserved for classes known to the VM." + self assert: classTableIndex >= (1 << self classTableMajorIndexShift). + self assert: self validClassTableRootPages.! Item was added: + ----- Method: SpurMemoryManager>>followProcessList (in category 'selective compaction') ----- + followProcessList + "Eagerly patch all process related forwarders, except suspended contexts which are lazily patched in wakeHighestPriority" + | scheduler processLists processList proc | + scheduler := self followField: ValueIndex ofObject: (self splObj: SchedulerAssociation). + self followField: ActiveProcessIndex ofObject: scheduler. + processLists := self followField: ProcessListsIndex ofObject: scheduler. + 0 to: (self numSlotsOf: processLists) - 1 do: [:i | + processList := self followField: i ofObject: processLists. + self followField: LastLinkIndex ofObject: processList. + proc := self followField: FirstLinkIndex ofObject: processList. + [proc = nilObj] whileFalse: [proc := self followField: NextLinkIndex ofObject: proc]].! Item was changed: ----- Method: SpurSegmentManager>>removeSegment: (in category 'growing/shrinking memory') ----- removeSegment: emptySeg <var: #emptySeg type: #'SpurSegmentInfo *'> | i | i := self indexOfSegment: emptySeg. self assert: i > 0. totalHeapSizeIncludingBridges := totalHeapSizeIncludingBridges - emptySeg segSize. manager sqDeallocateMemorySegmentAt: emptySeg segStart asVoidPointer OfSize: emptySeg segSize. + i to: numSegments - 2 do: - i to: numSegments - 1 do: [:j| segments at: j put: (segments at: j + 1)]. self cCode: [] inSmalltalk: [segments at: numSegments - 1 put: SpurSegmentInfo new]. numSegments := numSegments - 1. self bridgeFrom: (self addressOf: (segments at: i - 1)) to: (i <= (numSegments - 1) ifTrue: [self addressOf: (segments at: i)]). manager setLastSegment: (self addressOf: (segments at: numSegments - 1))! Item was changed: ----- Method: SpurSelectiveCompactor>>postCompactionAction (in category 'compaction') ----- postCompactionAction | allFlags | "For now we don't optimize and just follow everything everywhere on stack and in caches, let's see in the profiler if we need to optimize with those cases. My guess is that this is < 100 microSecond" manager followSpecialObjectsOop. allFlags := BecamePointerObjectFlag + BecameActiveClassFlag bitOr: BecameCompiledMethodFlag. + "Note: there is not the OldBecameNewFlag" + "gcMode flag is cleared after postBecomeAction, reset it." - "should be gcMode Become - gcMode flag is cleared after postBecomeAction" manager coInterpreter postBecomeAction: allFlags. - manager postBecomeScanClassTable: allFlags. manager coInterpreter setGCMode: GCModeFull. + "Special to selective, crazy objects can be forwarded..." + "manager postBecomeScanClassTable: allFlags. => Done in followClassTable" + manager followClassTable. + manager followProcessList. + manager followForwardedObjStacks. + "Not sure the following are needed... coInterpreter mapInterpreterOops. manager mapExtraRoots." self assert: manager validClassTableHashes.!

1 0

VM Maker: VMMaker.oscog-cb.2446.mcz
by commits＠source.squeak.org 04 Oct '18

04 Oct '18

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2446.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2446 Author: cb Time: 4 October 2018, 9:25:25.340169 am UUID: 84e13efd-8051-4c71-be83-7fed69c55a0b Ancestors: VMMaker.oscog-cb.2445 Split the VMParameter primitive in 3 methods in Slang. I did it because of jump false size overflow on V3PlusClosure BC set, but it also look nicer. Add code to monitor the longest segment allocation pause (parameter 74). =============== Diff against VMMaker.oscog-cb.2445 =============== Item was added: + ----- Method: FilePluginSimulator>>dir_EntryLookup: (in category 'simulation') ----- + dir_EntryLookup: pathString _: pathStringLength _: entryNameString _: entryNameStringLength _: name _: nameLength _: creationDate _: modificationDate _: isDirectory _: sizeIfFile _: posixPermissions _: isSymlink + "sqInt dir_EntryLookup(char *pathString, sqInt pathStringLength, char *nameString, sqInt nameStringLength, + /* outputs: */ char *name, sqInt *nameLength, sqInt *creationDate, sqInt *modificationDate, + sqInt *isDirectory, squeakFileOffsetType *sizeIfFile, sqInt *posixPermissions, sqInt *isSymlink)" + | result pathName entryName | + pathName := ((0 to: pathStringLength - 1) collect: [:i| (pathString at: i) asCharacter]) as: ByteString. + entryName := ((0 to: entryNameStringLength - 1) collect: [:i| (entryNameString at: i) asCharacter]) as: ByteString. + result := self primLookupEntryIn: pathName name: entryName. + result ifNil: [^DirNoMoreEntries]. + result isInteger ifTrue: + [result > 1 ifTrue: + [interpreterProxy primitiveFailFor: result]. + ^DirBadPath]. + name replaceFrom: 1 to: result first size with: result first startingAt: 1. + nameLength at: 0 put: result first size. + creationDate at: 0 put: (result at: 2). + modificationDate at: 0 put: (result at: 3). + isDirectory at: 0 put: (result at: 4). + sizeIfFile at: 0 put: (result at: 5). + posixPermissions at: 0 put: (result at: 6 ifAbsent: [(result at: 4) ifTrue: [8r755] ifFalse: [8r644]]). + isSymlink at: 0 put: (result at: 7 ifAbsent: [false]). + ^DirEntryFound! Item was removed: - ----- Method: FilePluginSimulator>>dir_EntryLookup:_:_:_:_:_:_:_:_:_:_:_: (in category 'simulation') ----- - dir_EntryLookup: pathString _: pathStringLength _: entryNameString _: entryNameStringLength _: name _: nameLength _: creationDate _: modificationDate _: isDirectory _: sizeIfFile _: posixPermissions _: isSymlink - "sqInt dir_EntryLookup(char *pathString, sqInt pathStringLength, char *nameString, sqInt nameStringLength, - /* outputs: */ char *name, sqInt *nameLength, sqInt *creationDate, sqInt *modificationDate, - sqInt *isDirectory, squeakFileOffsetType *sizeIfFile, sqInt *posixPermissions, sqInt *isSymlink)" - | result pathName entryName | - pathName := ((0 to: pathStringLength - 1) collect: [:i| (pathString at: i) asCharacter]) as: ByteString. - entryName := ((0 to: entryNameStringLength - 1) collect: [:i| (entryNameString at: i) asCharacter]) as: ByteString. - result := self primLookupEntryIn: pathName name: entryName. - result ifNil: [^DirNoMoreEntries]. - result isInteger ifTrue: - [result > 1 ifTrue: - [interpreterProxy primitiveFailFor: result]. - ^DirBadPath]. - name replaceFrom: 1 to: result first size with: result first startingAt: 1. - nameLength at: 0 put: result first size. - creationDate at: 0 put: (result at: 2). - modificationDate at: 0 put: (result at: 3). - isDirectory at: 0 put: (result at: 4). - sizeIfFile at: 0 put: (result at: 5). - posixPermissions at: 0 put: (result at: 6 ifAbsent: [(result at: 4) ifTrue: [8r755] ifFalse: [8r644]]). - isSymlink at: 0 put: (result at: 7 ifAbsent: [false]). - ^DirEntryFound! Item was added: + ----- Method: FilePluginSimulator>>dir_Lookup: (in category 'simulation') ----- + dir_Lookup: pathString _: pathStringLength _: index _: name _: nameLength _: creationDate _: modificationDate _: isDirectory _: sizeIfFile _: posixPermissions _: isSymlink + "sqInt dir_Lookup( char *pathString, sqInt pathStringLength, sqInt index, + /* outputs: */ char *name, sqInt *nameLength, sqInt *creationDate, sqInt *modificationDate, + sqInt *isDirectory, squeakFileOffsetType *sizeIfFile, sqInt * posixPermissions, sqInt *isSymlink)" + | result pathName | + pathName := ((0 to: pathStringLength - 1) collect: [:i| (pathString at: i) asCharacter]) as: ByteString. + result := self primLookupEntryIn: pathName index: index. + result ifNil: [^DirNoMoreEntries]. + result isInteger ifTrue: + [result > 1 ifTrue: + [interpreterProxy primitiveFailFor: result]. + ^DirBadPath]. + name replaceFrom: 1 to: result first size with: result first startingAt: 1. + nameLength at: 0 put: result first size. + creationDate at: 0 put: (result at: 2). + modificationDate at: 0 put: (result at: 3). + isDirectory at: 0 put: (result at: 4). + sizeIfFile at: 0 put: (result at: 5). + posixPermissions at: 0 put: (result at: 6 ifAbsent: [(result at: 4) ifTrue: [8r755] ifFalse: [8r644]]). + isSymlink at: 0 put: (result at: 7 ifAbsent: [false]). + ^DirEntryFound! Item was removed: - ----- Method: FilePluginSimulator>>dir_Lookup:_:_:_:_:_:_:_:_:_:_: (in category 'simulation') ----- - dir_Lookup: pathString _: pathStringLength _: index _: name _: nameLength _: creationDate _: modificationDate _: isDirectory _: sizeIfFile _: posixPermissions _: isSymlink - "sqInt dir_Lookup( char *pathString, sqInt pathStringLength, sqInt index, - /* outputs: */ char *name, sqInt *nameLength, sqInt *creationDate, sqInt *modificationDate, - sqInt *isDirectory, squeakFileOffsetType *sizeIfFile, sqInt * posixPermissions, sqInt *isSymlink)" - | result pathName | - pathName := ((0 to: pathStringLength - 1) collect: [:i| (pathString at: i) asCharacter]) as: ByteString. - result := self primLookupEntryIn: pathName index: index. - result ifNil: [^DirNoMoreEntries]. - result isInteger ifTrue: - [result > 1 ifTrue: - [interpreterProxy primitiveFailFor: result]. - ^DirBadPath]. - name replaceFrom: 1 to: result first size with: result first startingAt: 1. - nameLength at: 0 put: result first size. - creationDate at: 0 put: (result at: 2). - modificationDate at: 0 put: (result at: 3). - isDirectory at: 0 put: (result at: 4). - sizeIfFile at: 0 put: (result at: 5). - posixPermissions at: 0 put: (result at: 6 ifAbsent: [(result at: 4) ifTrue: [8r755] ifFalse: [8r644]]). - isSymlink at: 0 put: (result at: 7 ifAbsent: [false]). - ^DirEntryFound! Item was added: + ----- Method: InterpreterPlugin>>strncpy: (in category 'simulation support') ----- + strncpy: aString _: bString _: n + <doNotGenerate> + ^interpreterProxy strncpy: aString _: bString _: n! Item was removed: - ----- Method: InterpreterPlugin>>strncpy:_:_: (in category 'simulation support') ----- - strncpy: aString _: bString _: n - <doNotGenerate> - ^interpreterProxy strncpy: aString _: bString _: n! Item was added: + ----- Method: Spur64BitMemoryManager>>memmove: (in category 'simulation only') ----- + memmove: destAddress _: sourceAddress _: bytes + <doNotGenerate> + | dst src | + dst := destAddress asInteger. + src := sourceAddress asInteger. + "Emulate the c library memmove function" + self assert: bytes \\ 4 = 0. + destAddress > sourceAddress + ifTrue: + [bytes - 4 to: 0 by: -4 do: + [:i| self long32At: dst + i put: (self long32At: src + i)]] + ifFalse: + [0 to: bytes - 4 by: 4 do: + [:i| self long32At: dst + i put: (self long32At: src + i)]]! Item was removed: - ----- Method: Spur64BitMemoryManager>>memmove:_:_: (in category 'simulation only') ----- - memmove: destAddress _: sourceAddress _: bytes - <doNotGenerate> - | dst src | - dst := destAddress asInteger. - src := sourceAddress asInteger. - "Emulate the c library memmove function" - self assert: bytes \\ 4 = 0. - destAddress > sourceAddress - ifTrue: - [bytes - 4 to: 0 by: -4 do: - [:i| self long32At: dst + i put: (self long32At: src + i)]] - ifFalse: - [0 to: bytes - 4 by: 4 do: - [:i| self long32At: dst + i put: (self long32At: src + i)]]! Item was changed: CogClass subclass: #SpurMemoryManager (excessive size, no diff calculated) Item was changed: ----- Method: SpurMemoryManager>>growOldSpaceByAtLeast: (in category 'growing/shrinking memory') ----- growOldSpaceByAtLeast: minAmmount "Attempt to grow memory by at least minAmmount. Answer the size of the new segment, or nil if the attempt failed." + | ammount headroom total start interval | - | ammount headroom total | <var: #segInfo type: #'SpurSegmentInfo *'> "statGrowMemory counts attempts, not successes." statGrowMemory := statGrowMemory + 1."we need to include overhead for a new object header plus the segment bridge." ammount := minAmmount + (self baseHeaderSize * 2 + self bridgeSize). "round up to the nearest power of two." ammount := 1 << (ammount - 1) highBit. "and grow by at least growHeadroom." ammount := ammount max: growHeadroom. "Now apply the maxOldSpaceSize limit, if one is in effect." maxOldSpaceSize > 0 ifTrue: [total := segmentManager totalBytesInSegments. total >= maxOldSpaceSize ifTrue: [^nil]. headroom := maxOldSpaceSize - total. headroom < ammount ifTrue: [headroom < (minAmmount + (self baseHeaderSize * 2 + self bridgeSize)) ifTrue: [^nil]. ammount := headroom]]. + start := coInterpreter ioUTCMicrosecondsNow. ^(segmentManager addSegmentOfSize: ammount) ifNotNil: [:segInfo| self assimilateNewSegment: segInfo. "and add the new free chunk to the free list; done here instead of in assimilateNewSegment: for the assert" self addFreeChunkWithBytes: segInfo segSize - self bridgeSize at: segInfo segStart. self assert: (self addressAfter: (self objectStartingAt: segInfo segStart)) = (segInfo segLimit - self bridgeSize). self checkFreeSpace: GCModeFreeSpace. segmentManager checkSegments. + interval := coInterpreter ioUTCMicrosecondsNow - start. + interval > statMaxAllocSegmentTime ifTrue: [statMaxAllocSegmentTime := interval]. segInfo segSize]! Item was changed: ----- Method: SpurMemoryManager>>initialize (in category 'initialization') ----- initialize "We can put all initializations that set something to 0 or to false here. In C all global variables are initialized to 0, and 0 is false." remapBuffer := Array new: RemapBufferSize. remapBufferCount := extraRootCount := 0. "see below" freeListsMask := totalFreeOldSpace := lowSpaceThreshold := 0. checkForLeaks := 0. needGCFlag := signalLowSpace := marking := false. becomeEffectsFlags := gcPhaseInProgress := 0. statScavenges := statIncrGCs := statFullGCs := 0. + statMaxAllocSegmentTime := 0. statMarkUsecs := statSweepUsecs := statScavengeGCUsecs := statIncrGCUsecs := statFullGCUsecs := statCompactionUsecs := statGCEndUsecs := gcSweepEndUsecs := 0. statSGCDeltaUsecs := statIGCDeltaUsecs := statFGCDeltaUsecs := 0. statGrowMemory := statShrinkMemory := statRootTableCount := statAllocatedBytes := 0. statRootTableOverflows := statMarkCount := statCompactPassCount := statCoalesces := 0. "We can initialize things that are allocated but are lazily initialized." unscannedEphemerons := SpurContiguousObjStack new. "we can initialize things that are virtual in C." scavenger := SpurGenerationScavenger simulatorClass new manager: self; yourself. segmentManager := SpurSegmentManager simulatorClass new manager: self; yourself. compactor := self class compactorClass simulatorClass new manager: self; yourself. "We can also initialize here anything that is only for simulation." heapMap := CogCheck32BitHeapMap new. "N.B. We *don't* initialize extraRoots because we don't simulate it." maxOldSpaceSize := self class initializationOptions ifNotNil: [:initOpts| initOpts at: #maxOldSpaceSize ifAbsent: [0]] ifNil: [0]! Item was added: + ----- Method: SpurMemoryManager>>memcpy: (in category 'simulation') ----- + memcpy: destAddress _: sourceAddress _: bytes + "For SpurGenerationScavenger>>copyToFutureSpace:bytes:. N.B. If ranges overlap, must use memmove." + <doNotGenerate> + self deny: ((destAddress <= sourceAddress and: [destAddress asInteger + bytes > sourceAddress]) + or: [sourceAddress <= destAddress and: [sourceAddress asInteger + bytes > destAddress]]). + ^self memmove: destAddress _: sourceAddress _: bytes! Item was removed: - ----- Method: SpurMemoryManager>>memcpy:_:_: (in category 'simulation') ----- - memcpy: destAddress _: sourceAddress _: bytes - "For SpurGenerationScavenger>>copyToFutureSpace:bytes:. N.B. If ranges overlap, must use memmove." - <doNotGenerate> - self deny: ((destAddress <= sourceAddress and: [destAddress asInteger + bytes > sourceAddress]) - or: [sourceAddress <= destAddress and: [sourceAddress asInteger + bytes > destAddress]]). - ^self memmove: destAddress _: sourceAddress _: bytes! Item was added: + ----- Method: SpurMemoryManager>>statMaxAllocSegmentTime (in category 'accessing') ----- + statMaxAllocSegmentTime + ^statMaxAllocSegmentTime! Item was added: + ----- Method: SpurMemoryManager>>statMaxAllocSegmentTime: (in category 'accessing') ----- + statMaxAllocSegmentTime: aValue + statMaxAllocSegmentTime := aValue! Item was added: + ----- Method: StackInterpreterPrimitives>>primitiveAllVMParameters: (in category 'system control primitives') ----- + primitiveAllVMParameters: paramsArraySize + "See primitiveVMParameter method comment" + + | result | + result := objectMemory instantiateClass: (objectMemory splObj: ClassArray) indexableSize: paramsArraySize. + objectMemory storePointerUnchecked: 0 ofObject: result withValue: (self positiveMachineIntegerFor: objectMemory oldSpaceSize). + objectMemory storePointerUnchecked: 1 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory newSpaceSize). + objectMemory storePointerUnchecked: 2 ofObject: result withValue: (self positiveMachineIntegerFor: objectMemory totalMemorySize). + "objectMemory storePointerUnchecked: 3 ofObject: result withValue: objectMemory nilObject was allocationCount". + "objectMemory storePointerUnchecked: 4 ofObject: result withValue: objectMemory nilObject allocationsBetweenGCs". + objectMemory storePointerUnchecked: 5 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory tenuringThreshold). + objectMemory storePointerUnchecked: 6 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statFullGCs). + objectMemory storePointerUnchecked: 7 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statFullGCUsecs + 500 // 1000). + objectMemory + storePointerUnchecked: 8 + ofObject: result + withValue: (objectMemory integerObjectOf: (objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory statScavenges] + ifFalse: [objectMemory statIncrGCs])). + objectMemory + storePointerUnchecked: 9 + ofObject: result + withValue: (objectMemory integerObjectOf: (objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory statScavengeGCUsecs] + ifFalse: [objectMemory statIncrGCUsecs]) + 500 // 1000). + objectMemory storePointerUnchecked: 10 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statTenures). + "JITTER VM info unused; 11 - 14/12 - 15 available for reuse" + 11 to: 18 do: + [:i | objectMemory storePointerUnchecked: i ofObject: result withValue: ConstZero]. + objectMemory storePointerUnchecked: 15 ofObject: result withValue: (objectMemory positive64BitIntegerFor: statIdleUsecs). + (SistaVM and: [self isCog]) ifTrue: + [objectMemory storePointerUnchecked: 16 ofObject: result withValue: (objectMemory floatObjectOf: self getCogCodeZoneThreshold)]. + objectMemory hasSpurMemoryManagerAPI ifTrue: + [objectMemory + storePointerUnchecked: 17 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statCompactionUsecs + 500 // 1000); + storePointerUnchecked: 18 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory scavengeThresholdAsExtent)]. + objectMemory storePointerUnchecked: 19 ofObject: result withValue: (objectMemory positive64BitIntegerFor: self ioUTCStartMicroseconds). + objectMemory storePointerUnchecked: 20 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory rootTableCount). + objectMemory storePointerUnchecked: 21 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statRootTableOverflows). + objectMemory storePointerUnchecked: 22 ofObject: result withValue: (objectMemory integerObjectOf: extraVMMemory). + objectMemory storePointerUnchecked: 23 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory shrinkThreshold). + objectMemory storePointerUnchecked: 24 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory growHeadroom). + objectMemory storePointerUnchecked: 25 ofObject: result withValue: (objectMemory integerObjectOf: self ioHeartbeatMilliseconds). + objectMemory storePointerUnchecked: 26 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statMarkCount). + objectMemory storePointerUnchecked: 27 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statSweepCount). + objectMemory storePointerUnchecked: 28 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statMkFwdCount). + objectMemory storePointerUnchecked: 29 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statCompMoveCount). + objectMemory storePointerUnchecked: 30 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statGrowMemory). + objectMemory storePointerUnchecked: 31 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statShrinkMemory). + objectMemory storePointerUnchecked: 32 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statRootTableCount). + objectMemory hasSpurMemoryManagerAPI ifTrue: "was statAllocationCount" + [objectMemory storePointerUnchecked: 33 ofObject: result withValue: (objectMemory positive64BitIntegerFor: objectMemory currentAllocatedBytes)]. + objectMemory storePointerUnchecked: 34 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statSurvivorCount). + objectMemory storePointerUnchecked: 35 ofObject: result withValue: (objectMemory integerObjectOf: (self microsecondsToMilliseconds: objectMemory statGCEndUsecs)). + objectMemory storePointerUnchecked: 36 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statSpecialMarkCount). + objectMemory storePointerUnchecked: 37 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statIGCDeltaUsecs + 500 // 1000). + objectMemory storePointerUnchecked: 38 ofObject: result withValue: (objectMemory integerObjectOf: statPendingFinalizationSignals). + objectMemory storePointerUnchecked: 39 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory wordSize). + objectMemory storePointerUnchecked: 40 ofObject: result withValue: (objectMemory integerObjectOf: self imageFormatVersion). + objectMemory storePointerUnchecked: 41 ofObject: result withValue: (objectMemory integerObjectOf: numStackPages). + objectMemory storePointerUnchecked: 42 ofObject: result withValue: (objectMemory integerObjectOf: desiredNumStackPages). + objectMemory storePointerUnchecked: 43 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory edenBytes). + objectMemory storePointerUnchecked: 44 ofObject: result withValue: (objectMemory integerObjectOf: desiredEdenBytes). + objectMemory storePointerUnchecked: 45 ofObject: result withValue: self getCogCodeSize. + objectMemory storePointerUnchecked: 46 ofObject: result withValue: self getDesiredCogCodeSize. + objectMemory storePointerUnchecked: 47 ofObject: result withValue: self getCogVMFlags. + objectMemory storePointerUnchecked: 48 ofObject: result withValue: (objectMemory integerObjectOf: self ioGetMaxExtSemTableSize). + "50 & 51 (49 & 50) reserved for parameters that persist in the image" + objectMemory storePointerUnchecked: 51 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory rootTableCapacity). + objectMemory hasSpurMemoryManagerAPI ifTrue: + [objectMemory + storePointerUnchecked: 52 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory numSegments); + storePointerUnchecked: 53 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory freeSize); + storePointerUnchecked: 54 ofObject: result withValue: (objectMemory floatObjectOf: objectMemory getHeapGrowthToSizeGCRatio)]. + objectMemory storePointerUnchecked: 55 ofObject: result withValue: (self positive64BitIntegerFor: statProcessSwitch). + objectMemory storePointerUnchecked: 56 ofObject: result withValue: (self positive64BitIntegerFor: statIOProcessEvents). + objectMemory storePointerUnchecked: 57 ofObject: result withValue: (self positive64BitIntegerFor: statForceInterruptCheck). + objectMemory storePointerUnchecked: 58 ofObject: result withValue: (self positive64BitIntegerFor: statCheckForEvents). + objectMemory storePointerUnchecked: 59 ofObject: result withValue: (self positive64BitIntegerFor: statStackOverflow). + objectMemory storePointerUnchecked: 60 ofObject: result withValue: (self positive64BitIntegerFor: statStackPageDivorce). + objectMemory storePointerUnchecked: 61 ofObject: result withValue: self getCodeCompactionCount. + objectMemory storePointerUnchecked: 62 ofObject: result withValue: self getCodeCompactionMSecs. + objectMemory storePointerUnchecked: 63 ofObject: result withValue: self getCogMethodCount. + objectMemory storePointerUnchecked: 64 ofObject: result withValue: self getCogVMFeatureFlags. + objectMemory storePointerUnchecked: 65 ofObject: result withValue: (objectMemory integerObjectOf: self stackPageByteSize). + objectMemory hasSpurMemoryManagerAPI ifTrue: + [objectMemory + storePointerUnchecked: 66 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory maxOldSpaceSize)]. + objectMemory storePointerUnchecked: 67 ofObject: result withValue: (objectMemory floatObjectOf: stackPages statAverageLivePagesWhenMapping). + objectMemory storePointerUnchecked: 68 ofObject: result withValue: (objectMemory integerObjectOf: stackPages statMaxPageCountWhenMapping). + objectMemory + storePointerUnchecked: 69 + ofObject: result + withValue: (objectMemory integerObjectOf: (self cCode: 'VM_PROXY_MAJOR' inSmalltalk: [self class vmProxyMajorVersion])). + objectMemory + storePointerUnchecked: 70 + ofObject: result + withValue: (objectMemory integerObjectOf: (self cCode: 'VM_PROXY_MINOR' inSmalltalk: [self class vmProxyMinorVersion])). + objectMemory storePointerUnchecked: 71 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statMarkUsecs + 500 // 1000). + objectMemory storePointerUnchecked: 72 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statSweepUsecs + 500 // 1000). + objectMemory storePointerUnchecked: 73 ofObject: result withValue: (objectMemory integerObjectOf: objectMemory statMaxAllocSegmentTime + 500 // 1000). + objectMemory beRootIfOld: result. + self pop: 1 thenPush: result. + ^nil! Item was added: + ----- Method: StackInterpreterPrimitives>>primitiveGetVMParameter: (in category 'system control primitives') ----- + primitiveGetVMParameter: arg + "See primitiveVMParameter method comment" + | result | + result := objectMemory nilObject. + arg = 1 ifTrue: [result := self positiveMachineIntegerFor: objectMemory oldSpaceSize]. + arg = 2 ifTrue: [result := objectMemory integerObjectOf: objectMemory newSpaceSize]. + arg = 3 ifTrue: [result := self positiveMachineIntegerFor: objectMemory totalMemorySize]. + arg = 4 ifTrue: [result := objectMemory nilObject "was allocationCount"]. + arg = 5 ifTrue: [result := objectMemory nilObject "was allocationsBetweenGCs"]. + arg = 6 ifTrue: [result := objectMemory integerObjectOf: objectMemory tenuringThreshold]. + arg = 7 ifTrue: [result := objectMemory integerObjectOf: objectMemory statFullGCs]. + arg = 8 ifTrue: [result := objectMemory integerObjectOf: objectMemory statFullGCUsecs + 500 // 1000]. + arg = 9 ifTrue: [result := objectMemory integerObjectOf: (objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory statScavenges] + ifFalse: [objectMemory statIncrGCs])]. + arg = 10 ifTrue: [result := objectMemory integerObjectOf: (objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory statScavengeGCUsecs] + ifFalse: [objectMemory statIncrGCUsecs]) + 500 // 1000]. + arg = 11 ifTrue: [result := objectMemory integerObjectOf: objectMemory statTenures]. + (arg between: 12 and: 15) ifTrue: [result := ConstZero]. "Was JITTER VM info" + arg = 16 ifTrue: [result := self positive64BitIntegerFor: statIdleUsecs]. + arg = 17 ifTrue: [result := (SistaVM and: [self isCog]) + ifTrue: [objectMemory floatObjectOf: self getCogCodeZoneThreshold] + ifFalse: [ConstZero]]. + arg = 18 ifTrue: [result := objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory integerObjectOf: objectMemory statCompactionUsecs + 500 // 1000] + ifFalse: [ConstZero]]. + arg = 19 ifTrue: [result := objectMemory hasSpurMemoryManagerAPI + ifTrue: [objectMemory integerObjectOf: objectMemory scavengeThresholdAsExtent] + ifFalse: [ConstZero]]. + arg = 20 ifTrue: [result := objectMemory positive64BitIntegerFor: self ioUTCStartMicroseconds]. + arg = 21 ifTrue: [result := objectMemory integerObjectOf: objectMemory rootTableCount]. + arg = 22 ifTrue: [result := objectMemory integerObjectOf: objectMemory statRootTableOverflows]. + arg = 23 ifTrue: [result := objectMemory integerObjectOf: extraVMMemory]. + arg = 24 ifTrue: [result := objectMemory integerObjectOf: objectMemory shrinkThreshold]. + arg = 25 ifTrue: [result := objectMemory integerObjectOf: objectMemory growHeadroom]. + arg = 26 ifTrue: [result := objectMemory integerObjectOf: self ioHeartbeatMilliseconds]. + arg = 27 ifTrue: [result := objectMemory integerObjectOf: objectMemory statMarkCount]. + arg = 28 ifTrue: [result := objectMemory integerObjectOf: objectMemory statSweepCount]. + arg = 29 ifTrue: [result := objectMemory integerObjectOf: objectMemory statMkFwdCount]. + arg = 30 ifTrue: [result := objectMemory integerObjectOf: objectMemory statCompMoveCount]. + arg = 31 ifTrue: [result := objectMemory integerObjectOf: objectMemory statGrowMemory]. + arg = 32 ifTrue: [result := objectMemory integerObjectOf: objectMemory statShrinkMemory]. + arg = 33 ifTrue: [result := objectMemory integerObjectOf: objectMemory statRootTableCount]. + arg = 34 ifTrue: [result := objectMemory hasSpurMemoryManagerAPI "was statAllocationCount" + ifTrue: [objectMemory positive64BitIntegerFor: objectMemory currentAllocatedBytes] + ifFalse: [objectMemory nilObject]]. + arg = 35 ifTrue: [result := objectMemory integerObjectOf: objectMemory statSurvivorCount]. + arg = 36 ifTrue: [result := objectMemory integerObjectOf: (self microsecondsToMilliseconds: objectMemory statGCEndUsecs)]. + arg = 37 ifTrue: [result := objectMemory integerObjectOf: objectMemory statSpecialMarkCount]. + arg = 38 ifTrue: [result := objectMemory integerObjectOf: objectMemory statIGCDeltaUsecs + 500 // 1000]. + arg = 39 ifTrue: [result := objectMemory integerObjectOf: statPendingFinalizationSignals]. + arg = 40 ifTrue: [result := objectMemory integerObjectOf: objectMemory wordSize]. + arg = 41 ifTrue: [result := objectMemory integerObjectOf: self imageFormatVersion]. + arg = 42 ifTrue: [result := objectMemory integerObjectOf: numStackPages]. + arg = 43 ifTrue: [result := objectMemory integerObjectOf: desiredNumStackPages]. + arg = 44 ifTrue: [result := objectMemory integerObjectOf: objectMemory edenBytes]. + arg = 45 ifTrue: [result := objectMemory integerObjectOf: desiredEdenBytes]. + arg = 46 ifTrue: [result := self getCogCodeSize]. + arg = 47 ifTrue: [result := self getDesiredCogCodeSize]. + arg = 48 ifTrue: [result := self getCogVMFlags]. + arg = 49 ifTrue: [result := objectMemory integerObjectOf: self ioGetMaxExtSemTableSize]. + arg = 52 ifTrue: [result := objectMemory integerObjectOf: objectMemory rootTableCapacity]. + (arg = 53 + and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [result := objectMemory integerObjectOf: objectMemory numSegments]. + (arg = 54 + and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [result := objectMemory integerObjectOf: objectMemory freeSize]. + (arg = 55 + and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [result := objectMemory floatObjectOf: objectMemory getHeapGrowthToSizeGCRatio]. + arg = 56 ifTrue: [result := self positive64BitIntegerFor: statProcessSwitch]. + arg = 57 ifTrue: [result := self positive64BitIntegerFor: statIOProcessEvents]. + arg = 58 ifTrue: [result := self positive64BitIntegerFor: statForceInterruptCheck]. + arg = 59 ifTrue: [result := self positive64BitIntegerFor: statCheckForEvents]. + arg = 60 ifTrue: [result := self positive64BitIntegerFor: statStackOverflow]. + arg = 61 ifTrue: [result := self positive64BitIntegerFor: statStackPageDivorce]. + arg = 62 ifTrue: [result := self getCodeCompactionCount]. + arg = 63 ifTrue: [result := self getCodeCompactionMSecs]. + arg = 64 ifTrue: [result := self getCogMethodCount]. + arg = 65 ifTrue: [result := self getCogVMFeatureFlags]. + arg = 66 ifTrue: [result := objectMemory integerObjectOf: self stackPageByteSize]. + (arg = 67 + and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [result := objectMemory integerObjectOf: objectMemory maxOldSpaceSize]. + arg = 68 ifTrue: [result := objectMemory floatObjectOf: stackPages statAverageLivePagesWhenMapping]. + arg = 69 ifTrue: [result := objectMemory integerObjectOf: stackPages statMaxPageCountWhenMapping]. + arg = 70 ifTrue: [result := self integerObjectOf: (self cCode: 'VM_PROXY_MAJOR' inSmalltalk: [self class vmProxyMajorVersion])]. + arg = 71 ifTrue: [result := self integerObjectOf: (self cCode: 'VM_PROXY_MINOR' inSmalltalk: [self class vmProxyMinorVersion])]. + arg = 72 ifTrue: [result := objectMemory integerObjectOf: objectMemory statMarkUsecs + 500 // 1000]. + arg = 73 ifTrue: [result := objectMemory integerObjectOf: objectMemory statSweepUsecs + 500 // 1000]. + arg = 74 ifTrue: [result := objectMemory integerObjectOf: objectMemory statMaxAllocSegmentTime + 500 // 1000]. + self pop: 2 thenPush: result. + ^nil! Item was added: + ----- Method: StackInterpreterPrimitives>>primitiveSetVMParameter:arg: (in category 'system control primitives') ----- + primitiveSetVMParameter: index arg: arg + "See primitiveVMParameter method comment" + | result | + "assume failure, then set success for handled indices" + self primitiveFailFor: PrimErrBadArgument. + objectMemory hasSpurMemoryManagerAPI ifFalse: + [index = 5 ifTrue: "Was: + result := allocationsBetweenGCs. + allocationsBetweenGCs := arg." + "Ignore for now, because old images won't start up otherwise. + See 44 & 45 for eden size setting." + [result := objectMemory nilObject. + self initPrimCall]]. + index = 6 ifTrue: + [result := objectMemory integerObjectOf: objectMemory tenuringThreshold. + primFailCode := objectMemory tenuringThreshold: arg]. + index = 11 ifTrue: + [result := objectMemory integerObjectOf: objectMemory statTenures. + arg >= 0 ifTrue: + [objectMemory statTenures: arg. + self initPrimCall]]. + (SistaVM and: [self isCog and: [index = 17]]) ifTrue: + [result := objectMemory floatObjectOf: self getCogCodeZoneThreshold. + primFailCode := self setCogCodeZoneThreshold: (self noInlineLoadFloatOrIntFrom: arg)]. + index = 23 ifTrue: + [result := objectMemory integerObjectOf: extraVMMemory. + extraVMMemory := arg. + self initPrimCall]. + index = 24 ifTrue: + [result := objectMemory integerObjectOf: objectMemory shrinkThreshold. + arg > 0 ifTrue: + [objectMemory shrinkThreshold: arg. + self initPrimCall]]. + index = 25 ifTrue: + [result := objectMemory integerObjectOf: objectMemory growHeadroom. + arg > 0 ifTrue: + [objectMemory growHeadroom: arg. + self initPrimCall]]. + index = 26 ifTrue: + [arg >= 0 ifTrue: "0 turns off the heartbeat" + [result := objectMemory integerObjectOf: self ioHeartbeatMilliseconds. + self ioSetHeartbeatMilliseconds: arg. + self initPrimCall]]. + (index = 34 and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue:"was statAllocationCount; now statAllocatedBytes" + [arg >= 0 ifTrue: + [result := objectMemory positive64BitIntegerFor: objectMemory currentAllocatedBytes. + objectMemory setCurrentAllocatedBytesTo: arg. + self initPrimCall]]. + index = 43 ifTrue: + [(arg >= 0 and: [arg <= 65535]) ifTrue: + [result := objectMemory integerObjectOf: desiredNumStackPages. + desiredNumStackPages := arg. + self initPrimCall]]. + index = 45 ifTrue: + [(arg >= 0) ifTrue: + [result := objectMemory integerObjectOf: desiredEdenBytes. + desiredEdenBytes := arg. + self initPrimCall]]. + (index = 47 and: [self isCog]) ifTrue: + [(arg >= 0 and: [arg <= self maxCogCodeSize]) ifTrue: + [result := objectMemory integerObjectOf: self getDesiredCogCodeSize. + self setDesiredCogCodeSize: arg. + self initPrimCall]]. + index = 48 ifTrue: + [(arg >= 0) ifTrue: + [result := objectMemory integerObjectOf: self getCogVMFlags. + self initPrimCall. "i.e. setCogVMFlags: can fail" + self setCogVMFlags: arg]]. + index = 49 ifTrue: + [(arg >= 0 and: [arg <= 65535]) ifTrue: + [result := objectMemory integerObjectOf: self ioGetMaxExtSemTableSize. + self initPrimCall. "i.e. ioSetMaxExtSemTableSize: is allowed to fail" + self setMaxExtSemSizeTo: arg]]. + + (index = 55 + and: [objectMemory hasSpurMemoryManagerAPI]) ifTrue: + [result := objectMemory floatObjectOf: objectMemory getHeapGrowthToSizeGCRatio. + primFailCode := objectMemory setHeapGrowthToSizeGCRatio: (self noInlineLoadFloatOrIntFrom: arg)]. + + (index = 67 + and: [arg >= 0 + and: [objectMemory hasSpurMemoryManagerAPI]]) ifTrue: + [result := objectMemory integerObjectOf: objectMemory maxOldSpaceSize. + primFailCode := objectMemory setMaxOldSpaceSize: arg]. + + index = 68 ifTrue: + [result := objectMemory floatObjectOf: stackPages statAverageLivePagesWhenMapping. + self initPrimCall. "i.e. statAverageLivePagesWhenMapping: is allowed to fail" + stackPages statAverageLivePagesWhenMapping: (self noInlineLoadFloatOrIntFrom: arg)]. + + (index = 69 + and: [arg >= 0]) ifTrue: + [result := objectMemory integerObjectOf: stackPages statMaxPageCountWhenMapping. + stackPages statMaxPageCountWhenMapping: arg. + self initPrimCall]. + + (index = 74 + and: [arg >= 0]) ifTrue: + [result := objectMemory integerObjectOf: objectMemory statMaxAllocSegmentTime + 500 // 1000. + stackPages statMaxAllocSegmentTime: arg. "usually 0" + self initPrimCall]. + + self successful ifTrue: + [self pop: 3 thenPush: result. "return old value" + ^nil]. + + self primitiveFailFor: PrimErrInappropriate "attempting to write a read-only or non-existent parameter"! Item was changed: ----- Method: StackInterpreterPrimitives>>primitiveVMParameter (in category 'system control primitives') ----- (excessive size, no diff calculated) Item was added: + ----- Method: VMClass>>memcpy: (in category 'C library simulation') ----- + memcpy: dString _: sString _: bytes + <doNotGenerate> + "implementation of memcpy(3). N.B. If ranges overlap, must use memmove." + (dString isString or: [sString isString]) ifFalse: + [| destAddress sourceAddress | + dString class == ByteArray ifTrue: + [ByteString adoptInstance: dString. + ^[self memcpy: dString _: sString _: bytes] ensure: + [ByteArray adoptInstance: dString]]. + destAddress := dString asInteger. + sourceAddress := sString asInteger. + self deny: ((destAddress <= sourceAddress and: [destAddress + bytes > sourceAddress]) + or: [sourceAddress <= destAddress and: [sourceAddress + bytes > destAddress]])]. + dString isString + ifTrue: + [1 to: bytes do: + [:i| | v | + v := sString isString + ifTrue: [sString at: i] + ifFalse: [Character value: (self byteAt: sString + i - 1)]. + dString at: i put: v]] + ifFalse: + [1 to: bytes do: + [:i| | v | + v := sString isString + ifTrue: [(sString at: i) asInteger] + ifFalse: [self byteAt: sString + i - 1]. + self byteAt: dString + i - 1 put: v]]. + ^dString! Item was removed: - ----- Method: VMClass>>memcpy:_:_: (in category 'C library simulation') ----- - memcpy: dString _: sString _: bytes - <doNotGenerate> - "implementation of memcpy(3). N.B. If ranges overlap, must use memmove." - (dString isString or: [sString isString]) ifFalse: - [| destAddress sourceAddress | - dString class == ByteArray ifTrue: - [ByteString adoptInstance: dString. - ^[self memcpy: dString _: sString _: bytes] ensure: - [ByteArray adoptInstance: dString]]. - destAddress := dString asInteger. - sourceAddress := sString asInteger. - self deny: ((destAddress <= sourceAddress and: [destAddress + bytes > sourceAddress]) - or: [sourceAddress <= destAddress and: [sourceAddress + bytes > destAddress]])]. - dString isString - ifTrue: - [1 to: bytes do: - [:i| | v | - v := sString isString - ifTrue: [sString at: i] - ifFalse: [Character value: (self byteAt: sString + i - 1)]. - dString at: i put: v]] - ifFalse: - [1 to: bytes do: - [:i| | v | - v := sString isString - ifTrue: [(sString at: i) asInteger] - ifFalse: [self byteAt: sString + i - 1]. - self byteAt: dString + i - 1 put: v]]. - ^dString! Item was added: + ----- Method: VMClass>>memmove: (in category 'C library simulation') ----- + memmove: destAddress _: sourceAddress _: bytes + <doNotGenerate> + | dst src | + dst := destAddress asInteger. + src := sourceAddress asInteger. + "Emulate the c library memmove function" + self assert: bytes \\ 4 = 0. + destAddress > sourceAddress + ifTrue: + [bytes - 4 to: 0 by: -4 do: + [:i| self longAt: dst + i put: (self longAt: src + i)]] + ifFalse: + [0 to: bytes - 4 by: 4 do: + [:i| self longAt: dst + i put: (self longAt: src + i)]]! Item was removed: - ----- Method: VMClass>>memmove:_:_: (in category 'C library simulation') ----- - memmove: destAddress _: sourceAddress _: bytes - <doNotGenerate> - | dst src | - dst := destAddress asInteger. - src := sourceAddress asInteger. - "Emulate the c library memmove function" - self assert: bytes \\ 4 = 0. - destAddress > sourceAddress - ifTrue: - [bytes - 4 to: 0 by: -4 do: - [:i| self longAt: dst + i put: (self longAt: src + i)]] - ifFalse: - [0 to: bytes - 4 by: 4 do: - [:i| self longAt: dst + i put: (self longAt: src + i)]]! Item was added: + ----- Method: VMClass>>strcat: (in category 'C library simulation') ----- + strcat: aString _: bString + <doNotGenerate> + "implementation of strcat(3)" + ^(self asString: aString), (self asString: bString)! Item was removed: - ----- Method: VMClass>>strcat:_: (in category 'C library simulation') ----- - strcat: aString _: bString - <doNotGenerate> - "implementation of strcat(3)" - ^(self asString: aString), (self asString: bString)! Item was added: + ----- Method: VMClass>>strncmp: (in category 'C library simulation') ----- + strncmp: aString _: bString _: n + <doNotGenerate> + "implementation of strncmp(3)" + bString isString ifTrue: + [1 to: n do: + [:i| + (aString at: i) asCharacter ~= (bString at: i) ifTrue: + [^i]]. + ^0]. + 1 to: n do: + [:i| | v | + v := (aString at: i) asInteger - (self byteAt: bString + i - 1). + v ~= 0 ifTrue: [^v]]. + ^0! Item was removed: - ----- Method: VMClass>>strncmp:_:_: (in category 'C library simulation') ----- - strncmp: aString _: bString _: n - <doNotGenerate> - "implementation of strncmp(3)" - bString isString ifTrue: - [1 to: n do: - [:i| - (aString at: i) asCharacter ~= (bString at: i) ifTrue: - [^i]]. - ^0]. - 1 to: n do: - [:i| | v | - v := (aString at: i) asInteger - (self byteAt: bString + i - 1). - v ~= 0 ifTrue: [^v]]. - ^0! Item was added: + ----- Method: VMClass>>strncpy: (in category 'C library simulation') ----- + strncpy: aString _: bString _: n + <doNotGenerate> + "implementation of strncpy(3)" + aString isString + ifTrue: + [1 to: n do: + [:i| | v | + v := bString isString + ifTrue: [bString at: i] + ifFalse: [Character value: (self byteAt: bString + i - 1)]. + aString at: i put: v. + v asInteger = 0 ifTrue: [^aString]]] + ifFalse: + [1 to: n do: + [:i| | v | + v := bString isString + ifTrue: [(bString at: i) asInteger] + ifFalse: [self byteAt: bString + i - 1]. + self byteAt: aString + i - 1 put: v. + v = 0 ifTrue: [^aString]]]. + ^aString! Item was removed: - ----- Method: VMClass>>strncpy:_:_: (in category 'C library simulation') ----- - strncpy: aString _: bString _: n - <doNotGenerate> - "implementation of strncpy(3)" - aString isString - ifTrue: - [1 to: n do: - [:i| | v | - v := bString isString - ifTrue: [bString at: i] - ifFalse: [Character value: (self byteAt: bString + i - 1)]. - aString at: i put: v. - v asInteger = 0 ifTrue: [^aString]]] - ifFalse: - [1 to: n do: - [:i| | v | - v := bString isString - ifTrue: [(bString at: i) asInteger] - ifFalse: [self byteAt: bString + i - 1]. - self byteAt: aString + i - 1 put: v. - v = 0 ifTrue: [^aString]]]. - ^aString!

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev October 2018