Vm-dev January 2023

vm-dev@lists.squeakfoundation.org

17 participants
74 discussions

[OpenSmalltalk/opensmalltalk-vm] e2bf1a: Hmm... somehow we have to get the workspace path i...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: e2bf1abeb36a165875510dad5f8c49823cc7fc57 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e2bf1abeb36a165875… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml Log Message: ----------- Hmm... somehow we have to get the workspace path into that install script. Next try.

1 0

[OpenSmalltalk/opensmalltalk-vm] d1c0f0: Try to fix that error: "run-on-arch: env GITHUB_WO...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: d1c0f0cd7a804bd3342180656320d639905bc8fb https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/d1c0f0cd7a804bd334… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml Log Message: ----------- Try to fix that error: "run-on-arch: env GITHUB_WORKSPACE value must be flat."

1 0

[OpenSmalltalk/opensmalltalk-vm] 281095: Try to make $GITHUB_WORKSPACE visible in the QEMU ...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 28109533e7cfec94de466af3085d10ec0117c852 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/28109533e7cfec94de… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml Log Message: ----------- Try to make $GITHUB_WORKSPACE visible in the QEMU environment.

1 0

[OpenSmalltalk/opensmalltalk-vm] b77557: Try to add the checkout path as a safe place to ma...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: b775574ff0d0a41e8776aafe249c7aebbd7b957a https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b775574ff0d0a41e87… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml Log Message: ----------- Try to add the checkout path as a safe place to make "git log" work again to get the correct ASSET_REVISION via RevDateURL.smudge

1 0

[OpenSmalltalk/opensmalltalk-vm] 4a86da: For macOS builds, bump third-party downloads from ...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 4a86da1432b8ff2a54e0a3bee608e906b6383af5 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/4a86da1432b8ff2a54… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M building/macos64x64/third-party/Makefile.cairo M building/macos64x64/third-party/Makefile.pixman Log Message: ----------- For macOS builds, bump third-party downloads from cairographics.org to retry 10 times as we still get "Could not resolve host: www.cairographics.org" errors from curl from time to time...

1 0

[OpenSmalltalk/opensmalltalk-vm] d87308: Sigh... also revert recent attempt to replace "set...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: d87308900d5770d23aa9c18097a09df302e2d579 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/d87308900d5770d23a… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M scripts/ci/actions_build.sh Log Message: ----------- Sigh... also revert recent attempt to replace "set-output" in LinuxARMv8 builds... [ci skip] https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-st… Commit: c49fffda448e38af4dd41d0dc463d9e74231faf7 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/c49fffda448e38af4d… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .git_filters/RevDateURL.smudge M .github/workflows/linux-arm.yml Log Message: ----------- Fix way to retrieve $url on GHA, which was still old code from Travis/AppVeyor. Still need to figure out why our perl script RevDateURL.smudge is not working anymore in run-on-arch... [ci skip] Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/2b4e6f0e6bad...c4…

1 0

[OpenSmalltalk/opensmalltalk-vm] 2b4e6f: Seems to be that while run-on-arch now supports $G...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 2b4e6f0e6bad19eac1753f82fa381790b1a8f9e6 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/2b4e6f0e6bad19eac1… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml Log Message: ----------- Seems to be that while run-on-arch now supports $GITHUB_ENV, we still have to provide initial values explicitly? Hmm...

1 0

[OpenSmalltalk/opensmalltalk-vm] 6acf80: Fixes wrong ASSET_REVISION in LinuxARMv8 builds an...
by Marcel Taeumel 09 Jan '23

09 Jan '23

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 6acf809dfebd98f8ad1813a31d06ce6d4cbaf29e https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/6acf809dfebd98f8ad… Author: Marcel Taeumel <marcel.taeumel(a)hpi.de> Date: 2023-01-09 (Mon, 09 Jan 2023) Changed paths: M .github/workflows/linux-arm.yml M scripts/ci/actions_build.sh Log Message: ----------- Fixes wrong ASSET_REVISION in LinuxARMv8 builds and other GHA (deprecation) warnings. See - https://github.com/uraimo/run-on-arch-action/pull/53 - http://lists.squeakfoundation.org/pipermail/squeak-dev/2023-January/223049.…

1 0

VM Maker: VMMaker.oscog.seperateMarking-WoC.3294.mcz
by commits＠source.squeak.org 07 Jan '23

07 Jan '23

Tom Braun uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog.seperateMarking-WoC.3294.mcz ==================== Summary ==================== Name: VMMaker.oscog.seperateMarking-WoC.3294 Author: WoC Time: 7 January 2023, 11:52:00.010246 pm UUID: aa33ebd9-2615-4d8c-ba09-eda253ad22b7 Ancestors: VMMaker.oscog.seperateMarking-WoC.3293 - small refactoring in CompactingSweeper - reapaired SpurStopTheWorldGC - implemented missing compliance methods - avoid writing any mappings for static polymorphism when generating stop the world gc - repair handling of ephemeron stack (init it and trace it at the start of marking) - corrected comment =============== Diff against VMMaker.oscog.seperateMarking-WoC.3293 =============== Item was changed: ----- Method: SpurAllAtOnceMarker>>markAndTraceHiddenRoots (in category 'marking') ----- markAndTraceHiddenRoots "The hidden roots hold both the class table pages and the obj stacks, and hence need special treatment. The obj stacks must be marked specially; their pages must be marked, but only the contents of the mournQueue should be marked. If a class table page is weak we can mark and trace the hiddenRoots, which will not trace through class table pages because they are weak. But if class table pages are strong, we must mark the pages and *not* trace them so that only classes reachable from the true roots will be marked, and unreachable classes will be left unmarked." self markAndTraceObjStack: manager markStack andContents: false. self markAndTraceObjStack: manager weaklingStack andContents: false. self markAndTraceObjStack: manager mournQueue andContents: true. + self markAndTraceObjStack: manager ephemeronStack andContents: true. self setIsMarkedOf: manager rememberedSetObj. self setIsMarkedOf: manager freeListsObj. (manager isWeakNonImm: manager classTableFirstPage) ifTrue: [^self markAndTrace: manager hiddenRootsObj]. self setIsMarkedOf: manager hiddenRootsObj. self markAndTrace: manager classTableFirstPage. 1 to: manager numClassTablePages - 1 do: [:i| self setIsMarkedOf: (manager fetchPointer: i ofObject: manager hiddenRootsObj)]! Item was changed: ----- Method: SpurAllAtOnceMarker>>markersMarkObjects: (in category 'marking') ----- markersMarkObjects: objectsShouldBeUnmarkedAndUnmarkedClassesShouldBeExpunged <inline: #never> "for profiling" "Mark all accessible objects. objectsShouldBeUnmarkedAndUnmarkedClassesShouldBeExpunged is true if all objects are unmarked and/or if unmarked classes shoud be removed from the class table." "If the incremental collector is running mark bits may be set; stop it and clear them if necessary." self cCode: '' inSmalltalk: [coInterpreter transcript nextPutAll: 'marking...'; flush]. manager runLeakCheckerFor: GCModeFull. manager shutDownGlobalIncrementalGC: objectsShouldBeUnmarkedAndUnmarkedClassesShouldBeExpunged. manager initializeUnscannedEphemerons. manager initializeMarkStack. manager initializeWeaklingStack. + manager initializeEphemeronStack. marking := true. self markAccessibleObjectsAndFireEphemerons. manager expungeDuplicateAndUnmarkedClasses: objectsShouldBeUnmarkedAndUnmarkedClassesShouldBeExpunged. manager nilUnmarkedWeaklingSlotsExcludingYoungObjects: false. marking := false! Item was changed: ----- Method: SpurGarbageCollector class>>declareCVarsIn: (in category 'as yet unclassified') ----- declareCVarsIn: aCCodeGenerator super declareCVarsIn: aCCodeGenerator. aCCodeGenerator var: #allocatorShouldAllocateBlack type: #usqInt. "do not generate polymorphic methods for abstract baseclass SpurGarbageCollector" self = SpurGarbageCollector ifTrue: [^ self]. + SpurMemoryManager wantsIncrementalGC ifFalse: [^ self]. aCCodeGenerator staticallyResolvedPolymorphicReceiver: 'marker' to: self markerClass in: self; staticallyResolvedPolymorphicReceiver: 'compactor' to: self compactorClass in: self. self selectorsInIncrementalAndStopTheWorldGC do: [:key | aCCodeGenerator staticallyResolveMethodNamed: key forClass: self to: (self staticallyResolvePolymorphicSelector: key)].! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>compactSegment:freeStart:segIndex: (in category 'incremental compact') ----- compactSegment: segInfo freeStart: initialFreeStart segIndex: segIndex <var: 'segInfo' type: #'SpurSegmentInfo *'> | fillStart | fillStart := initialFreeStart. self deny: segIndex = 0. "Cannot compact seg 0" manager segmentManager allEntitiesInSegment: segInfo exceptTheLastBridgeDo: [:entity | (manager isFreeObject: entity) ifTrue: [manager detachFreeObject: entity. "To avoid confusing too much Spur (especially the leak/free checks), we mark the free chunk as a word object." manager set: entity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat] ifFalse: [ (manager isMarked: entity) ifTrue: [manager makeWhite: entity. "During the mutator runs new forwarding references can be created. Ignore them as they get resolved with the other forwarders in this segment in the next marking pass" (manager isForwarded: entity) ifFalse:[| bytesToCopy | "Copy the object in segmentToFill and replace it by a forwarder." bytesToCopy := manager bytesInBody: entity. + (self would: fillStart + bytesToCopy overflowSegment: segmentToFill) + ifFalse: [ + self handleWouldBeCompactionOverflow: entity in: segInfo. - (self oop: fillStart + bytesToCopy isLessThan: (segmentToFill segLimit - manager bridgeSize)) - ifFalse: ["somebody allocated a new object we did not knew about at the moment of planning :( -> it does not fit anymore and we cannot free the whole segment. Make sure to unmark the segment as beeing compacted as it would be completetly freed otherwise!!" - coInterpreter cr; print: 'segments if full. Abort compacting of: '; printHex: segInfo segStart ; tab; flush. - self - unmarkSegment: self currentSegment - asBeingCompactedAndSaveEndOfCompactionAddress: entity. - - "we need to sweep the rest of the segment. As the segment is not marked to be compacted anymore sweepOrCompactFromCurrentObject will decide to sweep it. We want to start sweeping from the current entity, therefore setting currentObject to it and - we have to protect it from beeing freed (with marking it) as it was marked previously and after us unmarking it here would - get collected incorrectly" - manager setIsMarkedOf: entity to: true. - currentObject := entity. ^ fillStart]. self migrate: entity sized: bytesToCopy to: fillStart. fillStart := fillStart + bytesToCopy. self assert: (self oop: fillStart isLessThan: (segmentToFill segLimit - manager bridgeSize))]] + ifFalse: [self handleUnmarkedEntity: entity]]]. - ifFalse: [ - (manager isRemembered: entity) - ifTrue: - [self assert: (manager isFreeObject: entity) not. - scavenger forgetObject: entity]. - - "To avoid confusing too much Spur (especially the leak/free checks), we don't make the dead object a free chunk, but make it - a non pointer object to avoid the leak checker to try to follow the pointers of the dead object. - Should we abort compacting this segment the object will get kept alife for one gc cycle" - manager set: entity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat]]]. "we want to advance to the next segment from the bridge" currentObject := currentSegmentsBridge. ^ fillStart! Item was added: + ----- Method: SpurIncrementalCompactingSweeper>>handleUnmarkedEntity: (in category 'compaction planning') ----- + handleUnmarkedEntity: entity + + (manager isRemembered: entity) + ifTrue: + [self assert: (manager isFreeObject: entity) not. + scavenger forgetObject: entity]. + + "To avoid confusing too much Spur (especially the leak/free checks), we don't make the dead object a free chunk, but make it + a non pointer object to avoid the leak checker to try to follow the pointers of the dead object. + Should we abort compacting this segment the object will get kept alife for one gc cycle" + manager set: entity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat! Item was added: + ----- Method: SpurIncrementalCompactingSweeper>>handleWouldBeCompactionOverflow:in: (in category 'compaction planning') ----- + handleWouldBeCompactionOverflow: entity in: segInfo + + "somebody allocated a new object we did not knew about at the moment of planning :( + -> it does not fit anymore and we cannot free the whole segment. Make sure to + unmark the segment as beeing compacted as it would be completetly freed otherwise!!" + coInterpreter cr; print: 'segments if full. Abort compacting of: '; printHex: segInfo segStart ; tab; flush. + self + unmarkSegment: self currentSegment + asBeingCompactedAndSaveEndOfCompactionAddress: entity. + + "we need to sweep the rest of the segment. As the segment is not marked to be compacted + anymore sweepOrCompactFromCurrentObject will decide to sweep it. We want to start + sweeping from the current entity, therefore setting currentObject to it and we have to protect + it from beeing freed (with marking it) as it was marked previously and after us unmarking it here would + get collected incorrectly" + manager setIsMarkedOf: entity to: true. + currentObject := entity.! Item was added: + ----- Method: SpurIncrementalCompactingSweeper>>would:overflowSegment: (in category 'compaction planning') ----- + would: address overflowSegment: segInfo + + ^ (self oop: address isLessThan: (segInfo segLimit - manager bridgeSize))! Item was changed: ----- Method: SpurIncrementalMarker>>incrementalMark (in category 'marking - incremental') ----- incrementalMark "does one marking cycle. Breaks after a certain amount of slots is marked and the last object, that amount is crossed in, is completely scanned" | currentObj slotsLeft | "manager objStack: manager markStack do: [:index :page | Transcript showln: (manager fetchPointer: index ofObject: page)]. manager sizeOfObjStack: manager markStack" currentObj := manager popObjStack: manager markStack. "skip young objects. They get already scanned as they are part of the roots" [(currentObj notNil) and: [(manager isNonImmediate: currentObj) and: [manager isYoung: currentObj]]] whileTrue: [(manager isInClassTable: currentObj) ifTrue: [self setIsMarkedOf: currentObj ]. currentObj := manager popObjStack: manager markStack]. currentObj ifNil: [^ true]. "there is nothing more on the stack and we are done" slotsLeft := SlotLimitPerPass. [ | slotNumber slotsToVisit startIndex | "after passing the limit we push the current index on the stack. Is the currentObj only an index? " (manager isImmediate: currentObj) ifTrue: [startIndex := manager integerValueOf: currentObj. currentObj := manager popObjStack: manager markStack.] ifFalse: [startIndex := 0. self assert: (manager isFreeObject: currentObj) not. (manager isForwarded: currentObj) ifTrue: [currentObj := manager followForwarded: currentObj]. + self flag: #Todo. "young objects can fall out of a forwarder. Do not follow them" self assert: (manager isYoung: currentObj) not. self markAndTraceClassOf: currentObj. "eager color the object black. Either it will get scanned completely and the color is correct or we have at least scanned some of the slots. In the second case the mutator could modify one of the slots of the object that already were scanned and we would could lose this object. Therefore color the object early to trigger the write barrier on writes. There will be some overhead (trigger the barrier always although only the already scanned slots are technically black) but it seems we need to do this for correctness" self blackenObject: currentObj]. slotNumber := manager numStrongSlotsOfInephemeral: currentObj. slotsToVisit := slotNumber - startIndex. slotsLeft - slotsToVisit < 0 ifTrue: [ | countThatCanBeVisited | countThatCanBeVisited := slotsToVisit - slotsLeft. self markFrom: startIndex nSlots: countThatCanBeVisited of: currentObj. "If we need to abort earlier we push the index and the currently scanned object on the marking stack. Otherwise it is not possible for immediates to be on the stack (they have no fields to be scanned) -> we can use the immediated to detect this pattern" (manager topOfObjStack: manager markStack) ~= currentObj ifTrue: [manager push: currentObj onObjStack: manager markStack]. manager push: (manager integerObjectOf: startIndex + countThatCanBeVisited) onObjStack: manager markStack. "we need to abort early to not run into some extreme corner cases (giant objects) that would explode our mark time assumptions" ^ false] ifFalse: ["we can mark all" slotsLeft := slotsLeft - slotsToVisit. self markFrom: startIndex nSlots: slotsToVisit of: currentObj]. currentObj := manager popObjStack: manager markStack. [(currentObj notNil) and: [(manager isNonImmediate: currentObj) and: [manager isYoung: currentObj]]] whileTrue: [(manager isInClassTable: currentObj) ifTrue: [self setIsMarkedOf: currentObj]. currentObj := manager popObjStack: manager markStack]. "repeat while there still are objects" currentObj notNil] whileTrue. ^ true! Item was changed: ----- Method: SpurIncrementalSweeper>>incrementalSweep (in category 'api - incremental') ----- incrementalSweep <inline: #never> "for profiling" self initIfNecessary. + "should in between sweeper calls segments be removed the index would not be correct anymore. Reset it here so we can be sure it is correct" + currentSegmentsIndex := manager segmentManager segmentIndexContainingObj: currentSweepingEntity. + "if the bridge between segments was small before and the segment directly after the current one was removed the position of the bridge moved. Update + the current position to avoid this case" + currentSegmentsBridge := manager segmentManager bridgeAt: currentSegmentsIndex. + self assert: manager validObjectColors. self doIncrementalSweeping ifTrue: [self finishSweeping. ^ true]. ^ false ! Item was changed: ----- Method: SpurMemoryManager class>>gcClass (in category 'accessing class hierarchy') ----- gcClass "Answer the garbage collection algorithm to use." + ^Smalltalk classNamed: (InitializationOptions at: #gcClass ifAbsent: [#SpurStopTheWorldGarbageCollector])! - ^Smalltalk classNamed: (InitializationOptions at: #gcClass ifAbsent: [#SpurIncrementalGarbageCollector])! Item was changed: ----- Method: SpurMemoryManager class>>initialize (in category 'class initialization') ----- initialize "SpurMemoryManager initialize" BitsPerByte := 8. "Initialize at least the become constants for the Spur bootstrap where the old ObjectMemory simulator is used before a Spur simulator is created.." self initializeSpurObjectRepresentationConstants. "An obj stack is a stack of objects stored in a hidden root slot, such as the markStack or the ephemeronQueue. It is a linked list of segments, with the hot end at the head of the list. It is a word object. The stack pointer is in ObjStackTopx and 0 means empty. The list goes through ObjStackNextx. We don't want to shrink objStacks, since they're used in GC and it's good to keep their memory around. So unused pages created by popping emptied pages are kept on the ObjStackFreex list. ObjStackNextx must be the last field for swizzleObjStackAt:." ObjStackPageSlots := 4092. "+ double header = 16k bytes per page in 32-bits, 32k bytes per page in 64 bits" ObjStackTopx := 0. ObjStackMyx := 1. ObjStackFreex := 2. ObjStackNextx := 3. ObjStackFixedSlots := 4. ObjStackLimit := ObjStackPageSlots - ObjStackFixedSlots. "The hiddenRootsObject contains the classTable pages and up to 8 additional objects. + Currently we use five; the four objStacks (the mark stack, the weaklings and the - Currently we use four; the three objStacks (the mark stack, the weaklings and the mourn queue), and the rememberedSet." MarkStackRootIndex := self basicNew classTableRootSlots. WeaklingStackRootIndex := MarkStackRootIndex + 1. MournQueueRootIndex := MarkStackRootIndex + 2. RememberedSetRootIndex := MarkStackRootIndex + 3. EphemeronStackRootIndex := MarkStackRootIndex + 4. MarkObjectsForEnumerationPrimitives := false. "The remap buffer support is for compatibility; Spur doesn't GC during allocation. Eventually this should die." RemapBufferSize := 25. "Extra roots are for plugin support." ExtraRootsSize := 64. "max. # of external roots; used e.g. by the PyBridge plugin which uses three entries" "gcPhaseInProgress takes these values to identify phases as required." ScavengeInProgress := 1. SlidingCompactionInProgress := 2! Item was added: + ----- Method: SpurPlanningCompactor>>segmentToFill (in category 'as yet unclassified') ----- + segmentToFill + + ^ nil! Item was added: + ----- Method: SpurStopTheWorldGarbageCollector>>inSweepingAheadOfSweepersPosition: (in category 'as yet unclassified') ----- + inSweepingAheadOfSweepersPosition: objOop + + ^ false! Item was added: + ----- Method: SpurStopTheWorldGarbageCollector>>maybeModifyCopiedObject: (in category 'object creation barriers') ----- + maybeModifyCopiedObject: objOop + + ! Item was added: + ----- Method: SpurStopTheWorldGarbageCollector>>maybeModifyForwarder: (in category 'object creation barriers') ----- + maybeModifyForwarder: objOop! Item was added: + ----- Method: SpurStopTheWorldGarbageCollector>>maybeModifyGCFlagsOf: (in category 'object creation barriers') ----- + maybeModifyGCFlagsOf: objOop!

1 0

VM Maker: VMMaker.oscog.seperateMarking-WoC.3293.mcz
by commits＠source.squeak.org 07 Jan '23

07 Jan '23

Tom Braun uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog.seperateMarking-WoC.3293.mcz ==================== Summary ==================== Name: VMMaker.oscog.seperateMarking-WoC.3293 Author: WoC Time: 7 January 2023, 3:41:19.657769 pm UUID: a3aab76a-4795-4f7d-8696-1b02378b80c7 Ancestors: VMMaker.oscog.seperateMarking-WoC.3292 - some small layout changes to debug printing in CompactingSweeper: never end on a bridge and skip empty segments - bridges can move by 8 byte and then our previously saved pointer to it is invalid - empty segments can be removed. If the currentObject is in an empty segment the address will be invalid - reorganization of control flow for skipping segments (to advanceSegment) - some method category reorganization =============== Diff against VMMaker.oscog.seperateMarking-WoC.3292 =============== Item was changed: ----- Method: SpurIncremental2PhaseGarbageCollector>>doIncrementalCollect (in category 'as yet unclassified') ----- doIncrementalCollect | startTime | phase = InMarkingPhase ifTrue: [ | finishedMarking | marker isCurrentlyMarking ifFalse: [self assert: manager allObjectsUnmarked]. coInterpreter cr; print: 'start marking '; tab; flush. finishedMarking := marker incrementalMarkObjects. "self assert: manager validObjectColors." finishedMarking ifTrue: [ "manager allPastSpaceObjectsDo: [:obj | self assert: (manager isWhite: obj)]." "when sweeping the mutator needs to allocate new objects black as we do not have any information about them. We only know if they should get swept after the next marking -> keep them alive for this cycle" self allocatorShouldAllocateBlack: true. compactor setInitialSweepingEntity. phase := InSweepingPhase. "marking is done and thus all forwarding from the last compaction references are resolved -> we can use the now free segments that were compacted during the last cycle" compactor freePastSegmentsAndSetSegmentToFill. compactor assertNoSegmentBeingCompacted. self assert: manager noObjectGrey. coInterpreter cr; print: 'finish marking '; tab; flush. startTime := coInterpreter ioUTCMicrosecondsNow. manager setCheckForLeaks: GCCheckFreeSpace + GCModeFull; runLeakCheckerFor: GCModeFull excludeUnmarkedObjs: true classIndicesShouldBeValid: true; checkFreeSpace: GCModeFull. coInterpreter cr; print: 'time for internal check: '; printNum: coInterpreter ioUTCMicrosecondsNow - startTime; tab; flush. 0 to: manager numSegments - 1 do: [:i | | segInfo | segInfo := manager segInfoAt: i. + coInterpreter cr; print: 'occupation from marking: '; printNum: (compactor occupationOf: segInfo) * 100; tab; + print: '('; printNum: (compactor sizeClaimedIn: segInfo) ; print: ' bytes)' ;flush]. - coInterpreter cr; print: 'occupation from marking: '; printNum: (segInfo lastFreeObject asFloat / segInfo segSize) * 100; tab; flush]. + manager printSegmentOccupationFromMarkedObjects. - "manager printSegmentOccupationFromMarkedObjects." ^ self] ifFalse: [coInterpreter cr; print: 'finish marking pass'; tab; flush. "manager runLeakCheckerFor: GCModeIncremental"]]. phase = InSweepingPhase ifTrue: [ coInterpreter cr; print: 'start sweeping '; tab; flush. compactor incrementalSweepAndCompact ifTrue: [ self allocatorShouldAllocateBlack: false. self assert: manager allObjectsWhite. "self assert: manager allObjectsUnmarked." coInterpreter cr; print: 'finish sweeping '; tab; flush. startTime := coInterpreter ioUTCMicrosecondsNow. manager setCheckForLeaks: GCCheckFreeSpace + GCModeFull; runLeakCheckerFor: GCModeFull; checkFreeSpace: GCModeFull. coInterpreter cr; print: 'time for internal check: '; printNum: coInterpreter ioUTCMicrosecondsNow - startTime; tab; flush. phase := InMarkingPhase. ^ self]]! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>advanceSegment (in category 'sweep and compact') ----- advanceSegment + [ | shouldContinue | + self assert: ((manager isSegmentBridge: currentObject) or: [self shouldSkipCurrentSegment]). - self assert: (manager isSegmentBridge: currentObject). currentSegmentsIndex := currentSegmentsIndex + 1. - self flag: #Todo. "is this ever false? Mhh, investigate" currentSegmentsIndex < manager segmentManager numSegments + ifTrue: [currentSegmentsBridge := manager segmentManager bridgeAt: currentSegmentsIndex. + currentObject := manager objectStartingAt: self currentSegment segStart. + shouldContinue := self shouldSkipCurrentSegment] + ifFalse: [currentObject := manager objectStartingAt: (manager segmentManager lastBridge). + shouldContinue := false]. - ifTrue: [currentSegmentsBridge := manager segmentManager bridgeAt: currentSegmentsIndex]. + shouldContinue] whileTrue - currentObject := self nextCurrentObject ! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>compactSegment:freeStart:segIndex: (in category 'incremental compact') ----- compactSegment: segInfo freeStart: initialFreeStart segIndex: segIndex <var: 'segInfo' type: #'SpurSegmentInfo *'> | fillStart | fillStart := initialFreeStart. self deny: segIndex = 0. "Cannot compact seg 0" manager segmentManager allEntitiesInSegment: segInfo exceptTheLastBridgeDo: [:entity | (manager isFreeObject: entity) ifTrue: [manager detachFreeObject: entity. "To avoid confusing too much Spur (especially the leak/free checks), we mark the free chunk as a word object." manager set: entity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat] ifFalse: [ (manager isMarked: entity) ifTrue: [manager makeWhite: entity. "During the mutator runs new forwarding references can be created. Ignore them as they get resolved with the other forwarders in this segment in the next marking pass" (manager isForwarded: entity) ifFalse:[| bytesToCopy | "Copy the object in segmentToFill and replace it by a forwarder." bytesToCopy := manager bytesInBody: entity. (self oop: fillStart + bytesToCopy isLessThan: (segmentToFill segLimit - manager bridgeSize)) ifFalse: ["somebody allocated a new object we did not knew about at the moment of planning :( -> it does not fit anymore and we cannot free the whole segment. Make sure to unmark the segment as beeing compacted as it would be completetly freed otherwise!!" coInterpreter cr; print: 'segments if full. Abort compacting of: '; printHex: segInfo segStart ; tab; flush. - self unmarkSegmentAsBeingCompacted: (manager segInfoAt: currentSegmentsIndex). self + unmarkSegment: self currentSegment - unmarkSegment: (manager segInfoAt: currentSegmentsIndex) asBeingCompactedAndSaveEndOfCompactionAddress: entity. "we need to sweep the rest of the segment. As the segment is not marked to be compacted anymore sweepOrCompactFromCurrentObject will decide to sweep it. We want to start sweeping from the current entity, therefore setting currentObject to it and we have to protect it from beeing freed (with marking it) as it was marked previously and after us unmarking it here would get collected incorrectly" manager setIsMarkedOf: entity to: true. currentObject := entity. ^ fillStart]. self migrate: entity sized: bytesToCopy to: fillStart. fillStart := fillStart + bytesToCopy. self assert: (self oop: fillStart isLessThan: (segmentToFill segLimit - manager bridgeSize))]] ifFalse: [ (manager isRemembered: entity) ifTrue: [self assert: (manager isFreeObject: entity) not. scavenger forgetObject: entity]. "To avoid confusing too much Spur (especially the leak/free checks), we don't make the dead object a free chunk, but make it a non pointer object to avoid the leak checker to try to follow the pointers of the dead object. Should we abort compacting this segment the object will get kept alife for one gc cycle" manager set: entity classIndexTo: manager wordSizeClassIndexPun formatTo: manager wordIndexableFormat]]]. "we want to advance to the next segment from the bridge" currentObject := currentSegmentsBridge. ^ fillStart! Item was added: + ----- Method: SpurIncrementalCompactingSweeper>>currentSegment (in category 'accessing') ----- + currentSegment + + ^ manager segInfoAt: currentSegmentsIndex! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>doIncrementalCompact (in category 'incremental compact') ----- doIncrementalCompact | segInfo | + segInfo := self currentSegment. - segInfo := manager segInfoAt: currentSegmentsIndex. self assert: segInfo ~= segmentToFill. self assert: (self isSegmentBeingCompacted: segInfo). coInterpreter cr; print: 'Compact from: '; printHex: segInfo segStart; print: ' to: '; printHex: segInfo segStart + segInfo segSize; print: ' into: ' ; printHex: segmentToFill segStart; tab; flush. currentCopyToPointer := self compactSegment: segInfo freeStart: currentCopyToPointer segIndex: currentSegmentsIndex. self assert: manager totalFreeOldSpace = manager totalFreeListBytes. self assert: (self oop: currentCopyToPointer isLessThan: (segmentToFill segLimit - manager bridgeSize)). "guarantee heap parsability for the segmentToFill, for example when invoking checkHeapFreeSpaceIntegrityForIncrementalGC where we walk to whole heap and could enter segmentToFill in an invalid state" self occupyRestOfFreeCompactedIntoSegment. coInterpreter cr; print: 'Pointer now: '; printHex: currentCopyToPointer; tab; flush. self postCompactionAction! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>doincrementalSweepAndCompact (in category 'sweep and compact') ----- doincrementalSweepAndCompact "Scan the heap for unmarked objects and free them. Coalescence " self assert: currentObject notNil. currentsCycleSeenObjectCount := 0. [self oop: currentObject isLessThan: manager endOfMemory] whileTrue: [ currentObject = currentSegmentsBridge ifTrue: [self advanceSegment] ifFalse: [self sweepOrCompactFromCurrentObject]. + (currentObject ~= currentSegmentsBridge and: [currentsCycleSeenObjectCount >= MaxObjectsToFree]) - currentsCycleSeenObjectCount >= MaxObjectsToFree ifTrue: [" | segInfo segIndex bytesAhead | segIndex := (manager segmentIndexContainingObj: currentObject). segInfo := manager segInfoAt: segIndex. bytesAhead := segInfo segSize - (currentObject - segInfo segStart). segIndex + 1 to: manager numSegments do: [:index | | segment| segment := manager segInfoAt: index. bytesAhead := bytesAhead + segment segSize]." (coInterpreter ioUTCMicrosecondsNow - scStartTime) > 5000 ifTrue: [^ false] ifFalse: [currentsCycleSeenObjectCount := 0]]]. "set occupation for last segment" manager checkFreeSpace: GCModeIncremental. ^ true! Item was changed: + ----- Method: SpurIncrementalCompactingSweeper>>freePastSegmentsAndSetSegmentToFill (in category 'api') ----- - ----- Method: SpurIncrementalCompactingSweeper>>freePastSegmentsAndSetSegmentToFill (in category 'public') ----- freePastSegmentsAndSetSegmentToFill "The first segment being claimed met becomes the segmentToFill. The others are just freed." <var: 'segInfo' type: #'SpurSegmentInfo *'> 0 to: manager numSegments - 1 do: [:i| | segInfo | segInfo := manager segInfoAt: i. (self wasSegmentsCompactionAborted: segInfo) ifTrue: [ | freeUntil chunkBytes | freeUntil := manager startOfObject: (self getEndOfCompaction: segInfo). chunkBytes := freeUntil - segInfo segStart. "maybe we could not even move one object out of the segment. Make sure we do not produce an invalid free chunk" chunkBytes > 0 ifTrue: [coInterpreter cr; print: 'partially freeing segment from: '; printHex: segInfo segStart; print: ' to: '; printHex: freeUntil ;tab; flush. manager addFreeChunkWithBytes: chunkBytes at: segInfo segStart]]. (self isSegmentBeingCompacted: segInfo) ifTrue: [ | freeChunk chunkBytes | self assert: (manager segmentManager allObjectsAreForwardedInSegment: segInfo includingFreeSpace: false). self assert: (manager noElementOfFreeSpaceIsInSegment: segInfo). coInterpreter cr; print: 'freeing segment from: '; printHex: segInfo segStart; print: ' to: '; printHex: segInfo segStart + segInfo segSize ;tab; flush. chunkBytes := segInfo segSize - manager bridgeSize. freeChunk := manager addFreeChunkWithBytes: chunkBytes at: segInfo segStart. self unmarkSegmentAsBeingCompacted: segInfo. segmentToFill ifNil: [manager detachFreeObject: freeChunk. segmentToFill := segInfo]]]! Item was changed: + ----- Method: SpurIncrementalCompactingSweeper>>incrementalSweepAndCompact (in category 'api') ----- - ----- Method: SpurIncrementalCompactingSweeper>>incrementalSweepAndCompact (in category 'public') ----- incrementalSweepAndCompact scStartTime := coInterpreter ioUTCMicrosecondsNow. self initIfNecessary. "should in between sweeper calls segments be removed the index would not be correct anymore. Reset it here so we can be sure it is correct" currentSegmentsIndex := manager segmentManager segmentIndexContainingObj: currentObject. "if the bridge between segments was small before and the segment directly after the current one was removed the position of the bridge moved. Update the current position to avoid this case" currentSegmentsBridge := manager segmentManager bridgeAt: currentSegmentsIndex. self assert: manager validObjectColors. self doincrementalSweepAndCompact ifTrue: [self finishSweepAndCompact. ^ true]. + "do not end on a bridge!! If a segment behind the current one currentObject is removed the size of the bridge can change from 8 bytes to 16 bytes and + therefore invalidating currentObject that is now pointing to the overflow header instad of the bridges body. To not hove to implement some finicky update + mechanism in the removal of segments just make sure we never reference the bridge before giving back the control to the mutator" + self assert: (manager isSegmentBridge: currentObject) not. + + "skip empty segments. There is no work for us to do + they can be removed. As currentObject is always in the current segment + it won't be valid anymore" + self assert: (manager segmentManager isEmptySegment: self currentSegment) not. + coInterpreter cr; print: 'current position: '; printHex: currentObject; tab; flush. ^ false! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>nextCurrentObject (in category 'sweep and compact') ----- nextCurrentObject + ^ manager objectAfter: currentObject limit: manager endOfMemory. + ! - | nextObject | - nextObject := manager objectAfter: currentObject limit: manager endOfMemory. - - (segmentToFill notNil and: [manager segmentManager is: nextObject inSegment: segmentToFill]) - ifTrue: [ - "skip the reserved segment. Return the bridge so we go into advanceSegment" - nextObject := manager segmentManager bridgeFor: segmentToFill]. - - ^ nextObject! Item was changed: + ----- Method: SpurIncrementalCompactingSweeper>>postSwizzleAction (in category 'api') ----- - ----- Method: SpurIncrementalCompactingSweeper>>postSwizzleAction (in category 'public') ----- postSwizzleAction "Since the compact abuses the swizzle field of segment, it needs to be reset after start-up." | segInfo | <var: 'segInfo' type: #'SpurSegmentInfo *'> 0 to: manager numSegments - 1 do: [:i| segInfo := manager segInfoAt: i. segInfo swizzle: 0 ]! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>shouldCompactCurrentSegment (in category 'sweep and compact') ----- shouldCompactCurrentSegment | currentSegment | shouldCompact ifFalse: [^ false]. + currentSegment := self currentSegment. - currentSegment := (manager segInfoAt: currentSegmentsIndex). ^ self isSegmentBeingCompacted: currentSegment! Item was added: + ----- Method: SpurIncrementalCompactingSweeper>>shouldSkipCurrentSegment (in category 'testing') ----- + shouldSkipCurrentSegment + + ^ (segmentToFill notNil and: [manager segmentManager is: currentObject inSegment: segmentToFill]) + or: [manager segmentManager isEmptySegment: self currentSegment]! Item was changed: ----- Method: SpurIncrementalCompactingSweeper>>sweepOrCompactFromCurrentObject (in category 'sweep and compact') ----- sweepOrCompactFromCurrentObject self shouldCompactCurrentSegment ifTrue: [self doIncrementalCompact. "either we finished compacting the segment or we had to abort compaction as the segment to fill cannot take more objects from this segment. We have to continue sweeping. This is done by unmarking the current segment as beeing compacted and making sure the last object we nearly copied before (and we know was alive after marking) is kept alive for sweeping" self assert: ((manager isSegmentBridge: currentObject) or: [(manager isMarked: currentObject) and: [(self isSegmentAtIndexBeingCompacted: currentSegmentsIndex) not]]). (coInterpreter ioUTCMicrosecondsNow - scStartTime) > 5000 ifTrue: ["we just compacted a whole segment. Maybe this took a long time therefore set currentsCycleSeenObjectCount to max to force a check in doincrementalSweepAndCompact" currentsCycleSeenObjectCount := MaxObjectsToFree]] ifFalse: [self doIncrementalSweep. currentObject := self nextCurrentObject] ! Item was changed: ----- Method: SpurIncrementalGarbageCollector>>doIncrementalCollect (in category 'as yet unclassified') ----- doIncrementalCollect | startTime | phase = InMarkingPhase ifTrue: [ | finishedMarking | marker isCurrentlyMarking ifFalse: [self assert: manager allObjectsUnmarked]. coInterpreter cr; print: 'start marking '; tab; flush. finishedMarking := marker incrementalMarkObjects. "self assert: manager validObjectColors." finishedMarking ifTrue: [ manager allPastSpaceObjectsDo: [:obj | self assert: (manager isWhite: obj)]. "when sweeping the mutator needs to allocate new objects black as we do not have any information about them. We only know if they should get swept after the next marking -> keep them alive for this cycle" self allocatorShouldAllocateBlack: true. compactor setInitialSweepingEntity. phase := InSweepingPhase. "marking is done and thus all forwarding from the last compaction references are resolved -> we can use the now free segments that were compacted during the last cycle" compactor freePastSegmentsAndSetSegmentToFill. self assert: manager noObjectGrey. coInterpreter cr; print: 'finish marking '; tab; flush. startTime := coInterpreter ioUTCMicrosecondsNow. manager setCheckForLeaks: GCCheckFreeSpace + GCModeFull; runLeakCheckerFor: GCModeFull excludeUnmarkedObjs: true classIndicesShouldBeValid: true; checkFreeSpace: GCModeFull. coInterpreter cr; print: 'time for internal check: '; printNum: coInterpreter ioUTCMicrosecondsNow - startTime; tab; flush. + - 0 to: manager numSegments - 1 - do: [:i | | segInfo | - segInfo := manager segInfoAt: i. - coInterpreter cr; print: 'occupation from marking: '; printNum: (segInfo lastFreeObject asFloat / segInfo segSize) * 100; tab; flush]. - ^ self] ifFalse: [coInterpreter cr; print: 'finish marking pass'; tab; flush.manager runLeakCheckerFor: GCModeIncremental]]. phase = InSweepingPhase ifTrue: [ coInterpreter cr; print: 'start sweeping '; tab; flush. compactor incrementalSweep ifTrue: [ self allocatorShouldAllocateBlack: false. manager allOldSpaceObjectsDo: [:ea | self assert: (manager isWhite: ea) ]. "self assert: manager allObjectsUnmarked." coInterpreter cr; print: 'finish sweeping '; tab; flush. startTime := coInterpreter ioUTCMicrosecondsNow. manager setCheckForLeaks: GCCheckFreeSpace + GCModeFull; runLeakCheckerFor: GCModeFull; checkFreeSpace: GCModeFull. coInterpreter cr; print: 'time for internal check: '; printNum: coInterpreter ioUTCMicrosecondsNow - startTime; tab; flush. compactor assertNoSegmentBeingCompacted. phase := InCompactingPhase. ^ self]]. phase = InCompactingPhase ifTrue: [ "self cCode: 'raise(SIGINT)'." coInterpreter cr; print: 'start compacting '; tab; flush. + compactor isCurrentlyCompacting + ifFalse: [manager printFreeSpaceStatistics]. - "compactor isCurrentlyCompacting - ifFalse: [manager printFreeSpaceStatistics]." compactor incrementalCompact ifTrue: [ coInterpreter cr; print: 'finish compacting '; tab; flush. startTime := coInterpreter ioUTCMicrosecondsNow. manager setCheckForLeaks: GCCheckFreeSpace + GCModeFull; runLeakCheckerFor: GCModeFull; checkFreeSpace: GCModeFull. coInterpreter cr; print: 'time for internal check: '; printNum: coInterpreter ioUTCMicrosecondsNow - startTime; tab; flush. phase := InMarkingPhase. ^ self]]! Item was changed: ----- Method: SpurMemoryManager>>printFreeSpaceStatistics (in category 'debug printing') ----- printFreeSpaceStatistics "used for debugging" <export: true> <var: 'sizeCount' declareC:'static unsigned long long sizeCount[64] = {0}'> | sizeCount | self cCode:'' inSmalltalk:[ sizeCount := CArrayAccessor on: (DoubleWordArray new: 64). ]. coInterpreter cr; print: '----------------------------------------- '; cr; print: '----------------------------------------- '; cr. 0 to: self numSegments -1 do: [:index | | segInfo bigFreeChunkMemory freeSpace occupiedSpace objectCount | segInfo := self segInfoAt: index. bigFreeChunkMemory := 0. freeSpace := 0. occupiedSpace := 0. objectCount := 0. segmentManager allEntitiesInSegment: segInfo exceptTheLastBridgeDo: [:oop | | oopSize slotCount | oopSize := self bytesInBody: oop. slotCount := oopSize >> 3. (self isFreeOop: oop) ifTrue: [ "index > 0 ifTrue: [self cCode: 'raise(SIGINT)']." freeSpace := freeSpace + oopSize. slotCount < 64 ifTrue: [ sizeCount at: slotCount put: ((sizeCount at: slotCount) + 1)] ifFalse: [sizeCount at: 0 put: ((sizeCount at: 0) + 1). bigFreeChunkMemory := bigFreeChunkMemory + oopSize]] ifFalse: [objectCount := objectCount + 1. occupiedSpace := occupiedSpace + oopSize]]. coInterpreter cr; print: 'Segment '; printNum: index; print: ' (starting at: '; printHex: segInfo segStart; tab; + print: 'max bytes: '; tab; + printNum: segInfo segSize; - print: 'max slots: '; tab; - printNum: segInfo segSize >> 3; print: ')'; cr; cr; flush. coInterpreter cr; print: 'Currently occupied space: '; tab; printNum: occupiedSpace; tab; print: 'From '; printNum: objectCount; print: ' objects'; cr; print: 'Currently free space: '; tab; printNum: freeSpace; cr; print: 'Resulting in an occupation percentage of: '; tab; printNum: (occupiedSpace asFloat / (occupiedSpace + freeSpace)) * 100; cr; cr; flush. coInterpreter tab; print: 'big free chunks '; printNum: (sizeCount at: 0); + print: ' reserving number of bytes: '; - print: ' reserving number of slots: '; printNum: bigFreeChunkMemory; cr; flush. sizeCount at: 0 put: 0. 1 to: 63 do: [:i | (sizeCount at: i) > 0 ifTrue: [coInterpreter tab; print: 'free chunk of size '; printNum: i; print: ': '; printNum: (sizeCount at: i); cr; flush. sizeCount at: i put: 0.]]. coInterpreter cr; print: '----------------------------------------- '; cr.]. coInterpreter cr; print: '----------------------------------------- '; cr; print: '----------------------------------------- '; cr. ! Item was changed: ----- Method: SpurMemoryManager>>printSegmentOccupationFromMarkedObjects (in category 'debug printing') ----- printSegmentOccupationFromMarkedObjects "used for debugging" <export: true> coInterpreter cr; print: '----------------------------------------- '; cr; print: '----------------------------------------- '; cr. 0 to: self numSegments -1 do: [:index | | segInfo occupiedSpace | segInfo := self segInfoAt: index. occupiedSpace := 0. segmentManager allEntitiesInSegment: segInfo exceptTheLastBridgeDo: [:oop | | oopSize | oopSize := self bytesInBody: oop. (self isFreeOop: oop) ifFalse: [ (self isMarked: oop) ifTrue: [occupiedSpace := occupiedSpace + oopSize]]]. coInterpreter cr; print: 'Segment '; printNum: index; print: ' (starting at: '; printHex: segInfo segStart; print: ')'; + cr; flush. - cr; cr; flush. + coInterpreter - coInterpreter cr; print: 'Currently occupied space: '; tab; printNum: occupiedSpace; tab; print: 'Resulting in an occupation percentage of: '; tab; printNum: (occupiedSpace asFloat / (segInfo segSize)) * 100; + flush. - cr; cr; flush. ]. + coInterpreter cr; cr; - coInterpreter cr; print: '----------------------------------------- '; cr; print: '----------------------------------------- '; cr. !

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev January 2023