Vm-dev June 2024

vm-dev@lists.squeakfoundation.org

8 participants
29 discussions

VM Maker: VMMaker.oscog-eem.3389.mcz
by commits＠source.squeak.org 22 Jun '24

22 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3389.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3389 Author: eem Time: 21 June 2024, 9:21:43.682618 pm UUID: 379163f9-d54e-4761-92c8-53eaebdcb879 Ancestors: VMMaker.oscog-eem.3388 Fix an old regression in #== generation for SimpleStackBasedCogit. Fix the receiver of genStoreSourceReg:slotIndex:destReg:scratchReg:inFrame: in SimpleStackBasedCogit store pop generators. Fix Spur sends in SimpleStackBasedCogit, which need to dereference the selector index in 64 bits. Include the method class in a cog method header print. =============== Diff against VMMaker.oscog-eem.3388 =============== Item was changed: ----- Method: Cogit>>genMethodAbortTrampoline (in category 'initialization') ----- genMethodAbortTrampoline "Generate the abort for a method. This abort performs either a call of ceSICMiss: to handle a single-in-line cache miss or a call of ceStackOverflow: to handle a stack overflow. It distinguishes the two by testing ResultReceiverReg. If the register is zero then this is a stack-overflow because a) the receiver has already been pushed and so can be set to zero before calling the abort, and b) the receiver must always contain an object (and hence be non-zero) on SIC miss." | jumpSICMiss | <var: #jumpSICMiss type: #'AbstractInstruction *'> self zeroOpcodeIndex. self CmpCq: 0 R: ReceiverResultReg. jumpSICMiss := self JumpNonZero: 0. + "The abort sequence has pushed the LinkReg a second time - because a stack + overflow can only happen after building a frame, which pushes LinkReg anyway, and + we still need to push LinkReg in case we get to this routine from a sendMissAbort. + Overwrite it with the right one - the return address for the call to the abort trampoline. + The only reason it matters is an assert in ceStackOverflow: uses it" - "The abort sequencer has pushed the LinkReg a second time. - Overwrite it with the right one." backEnd hasLinkRegister ifTrue: [self MoveR: LinkReg Mw: 0 r: SPReg]. self compileTrampolineFor: #ceStackOverflow: numArgs: 1 arg: SendNumArgsReg arg: nil arg: nil arg: nil regsToSave: self emptyRegisterMask pushLinkReg: false "The LinkReg has already been set above." resultReg: NoReg. jumpSICMiss jmpTarget: self Label. ^self genTrampolineFor: #ceSICMiss: called: 'ceMethodAbort' numArgs: 1 arg: ReceiverResultReg arg: nil arg: nil arg: nil regsToSave: self emptyRegisterMask pushLinkReg: true "Push the LinkReg for the ceMethodAbort call." resultReg: NoReg appendOpcodes: true! Item was changed: ----- Method: Cogit>>generateSendTrampolines (in category 'initialization') ----- generateSendTrampolines 0 to: NumSendTrampolines - 1 do: [:numArgs| ordinarySendTrampolines at: numArgs + put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: - put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSend' numArgs: numArgs) arg: ClassReg arg: (self trampolineArgConstant: false) arg: ReceiverResultReg arg: (self numArgsOrSendNumArgsReg: numArgs))]. "Generate these in the middle so they are within [firstSend, lastSend]." NewspeakVM ifTrue: [self generateNewspeakSendTrampolines]. BytecodeSetHasDirectedSuperSend ifTrue: [0 to: NumSendTrampolines - 1 do: [:numArgs| directedSuperSendTrampolines at: numArgs + put: (self genSendTrampolineFor: #ceSend:above:to:numArgs: - put: (self genTrampolineFor: #ceSend:above:to:numArgs: called: (self trampolineName: 'ceDirectedSuperSend' numArgs: numArgs) arg: ClassReg arg: TempReg arg: ReceiverResultReg arg: (self numArgsOrSendNumArgsReg: numArgs)). directedSuperBindingSendTrampolines at: numArgs + put: (self genSendTrampolineFor: #ceSend:aboveClassBinding:to:numArgs: - put: (self genTrampolineFor: #ceSend:aboveClassBinding:to:numArgs: called: (self trampolineName: 'ceDirectedSuperBindingSend' numArgs: numArgs) arg: ClassReg arg: TempReg arg: ReceiverResultReg arg: (self numArgsOrSendNumArgsReg: numArgs))]]. 0 to: NumSendTrampolines - 1 do: [:numArgs| superSendTrampolines at: numArgs + put: (self genSendTrampolineFor: #ceSend:super:to:numArgs: - put: (self genTrampolineFor: #ceSend:super:to:numArgs: called: (self trampolineName: 'ceSuperSend' numArgs: numArgs) arg: ClassReg arg: (self trampolineArgConstant: true) arg: ReceiverResultReg arg: (self numArgsOrSendNumArgsReg: numArgs))]. firstSend := ordinarySendTrampolines at: 0. lastSend := superSendTrampolines at: NumSendTrampolines - 1! Item was changed: ----- Method: Cogit>>methodSelectorStringFor: (in category 'disassembly') ----- methodSelectorStringFor: cogMethod "Answer either the hex string or the selector for a method, if it has a valid selector. + For full blocks, prepend ``[full address] '' to the selector. For methods with a valid + methodClass and selector try and answer MethodClass>>selector" - For full blocks, prepend ``[full address] '' to the selector." <doNotGenerate> (cogMethod cmType > CMOpenPIC and: [cogMethod cmIsFullBlock]) ifTrue: + [| rawString methodClass methodClassNameOrNil | - [| rawString | rawString := String streamContents: [:s| s nextPutAll: '[full '. cogMethod asInteger printOn: s base: 16. "omits 16r prefix". s nextPut: $]]. + methodClass := coInterpreter methodClassOf: cogMethod methodObject. + methodClass ~= objectMemory nilObject ifTrue: + [methodClassNameOrNil := coInterpreter nameOfClass: methodClass. + methodClassNameOrNil = 'bad class' + ifTrue: [methodClassNameOrNil := nil] + ifFalse: [methodClassNameOrNil := methodClassNameOrNil, '>>']]. (coInterpreter maybeSelectorOfMethod: cogMethod methodObject) ifNotNil: [:selector| (objectRepresentation couldBeObject: selector) ifTrue: + [^rawString, ' ', (methodClassNameOrNil ifNil: ['']), (coInterpreter stringOf: selector)]]. - [^rawString, ' ', (coInterpreter stringOf: selector)]]. ^rawString]. cogMethod selector = objectMemory nilObject ifTrue: + [^cogMethod asInteger hex, '(nil sel)']. - [^cogMethod asInteger hex,'(nil sel)']. (objectRepresentation couldBeObject: cogMethod selector) ifTrue: [^coInterpreter stringOf: cogMethod selector]. ^cogMethod asInteger hex! Item was changed: ----- Method: Cogit>>printMethodHeader:on: (in category 'disassembly') ----- printMethodHeader: cogMethod on: aStream <doNotGenerate> self cCode: nil inSmalltalk: [cogMethod isInteger ifTrue: [^self printMethodHeader: (self cogMethodOrBlockSurrogateAt: cogMethod) on: aStream]]. aStream ensureCr. cogMethod asInteger printOn: aStream base: 16. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'objhdr: '. cogMethod objectHeader printOn: aStream base: 16]. cogMethod isCMBlock ifTrue: [aStream crtab; nextPutAll: 'homemth: '. cogMethod cmHomeMethod asUnsignedInteger printOn: aStream base: 16. aStream nextPutAll: ' (offset '; print: cogMethod homeOffset; nextPut: $); crtab; nextPutAll: 'startpc: '; print: cogMethod startpc]. aStream crtab; nextPutAll: 'nArgs: '; print: cogMethod cmNumArgs; tab; nextPutAll: 'type: '; print: cogMethod cmType; space; nextPutAll: ((self class cmTypeNameFor: cogMethod cmType) ifNil: ['?!!?!!']). (cogMethod cmType ~= 0 and: [cogMethod isCMBlock not]) ifTrue: [aStream crtab; nextPutAll: 'blksiz: '. cogMethod blockSize printOn: aStream base: 16. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'method: '. cogMethod methodObject printOn: aStream base: 16. + aStream nextPutAll: ' in '; nextPutAll: (coInterpreter nameOfClass: (coInterpreter methodClassOf: cogMethod methodObject)). aStream crtab; nextPutAll: 'mthhdr: '. cogMethod methodHeader printOn: aStream base: 16]. aStream crtab; nextPutAll: 'selctr: '. cogMethod selector printOn: aStream base: 16. (coInterpreter lookupAddress: cogMethod selector) ifNotNil: [:string| aStream space; nextPutAll: string]. cogMethod selector = objectMemory nilObject ifTrue: [aStream space; nextPut: $(; nextPutAll: (coInterpreter stringOf: (coInterpreter maybeSelectorOfMethod: cogMethod methodObject)); nextPut: $)]. cogMethod isCMMethodEtAl ifTrue: [aStream crtab; nextPutAll: 'blkentry: '. cogMethod blockEntryOffset printOn: aStream base: 16. cogMethod blockEntryOffset ~= 0 ifTrue: [aStream nextPutAll: ' => '. cogMethod asInteger + cogMethod blockEntryOffset printOn: aStream base: 16]]]. cogMethod isCMClosedPIC ifTrue: [aStream crtab; nextPutAll: 'cPICNumCases: '. cogMethod cPICNumCases printOn: aStream base: 16. aStream tab; nextPutAll: 'cpicHasMNUCase: '; nextPutAll: (cogMethod cpicHasMNUCase ifTrue: ['yes'] ifFalse: ['no'])] ifFalse: [aStream crtab; nextPutAll: 'stackCheckOffset: '. cogMethod stackCheckOffset printOn: aStream base: 16. cogMethod stackCheckOffset > 0 ifTrue: [aStream nextPut: $/. cogMethod asInteger + cogMethod stackCheckOffset printOn: aStream base: 16]. cogMethod isCMBlock ifTrue: [aStream crtab; nextPutAll: 'cbUsesInstVars '; nextPutAll: (cogMethod cbUsesInstVars ifTrue: ['yes'] ifFalse: ['no'])] ifFalse: [aStream crtab; nextPutAll: 'cmRefersToYoung: '; nextPutAll: (cogMethod cmRefersToYoung ifTrue: ['yes'] ifFalse: ['no']); tab; nextPutAll: 'cmHasMovableLiteral: '; nextPutAll: (cogMethod cmHasMovableLiteral ifTrue: ['yes'] ifFalse: ['no']); tab; nextPutAll: 'cmIsFullBlock: '; nextPutAll: ((cogMethod isCMMethodEtAl and: [cogMethod cmIsFullBlock]) ifTrue: ['yes'] ifFalse: ['no'])]. cogMethod isCMMethodEtAl ifTrue: [([cogMethod nextMethodOrIRCs] on: MessageNotUnderstood do: [:ex| nil]) ifNotNil: [:nmoircs| aStream crtab; nextPutAll: 'nextMethodOrIRCs: '. nmoircs = 0 ifTrue: [aStream print: nmoircs] ifFalse: [coInterpreter printHex: nmoircs]]. ([cogMethod counters] on: MessageNotUnderstood do: [:ex| nil]) ifNotNil: [:cntrs| aStream crtab; nextPutAll: 'counters: '. cntrs = 0 ifTrue: [aStream print: cntrs] ifFalse: [coInterpreter printHex: cntrs]]]]. aStream cr; flush! Item was changed: ----- Method: SimpleStackBasedCogit>>compileBlockFrameBuild: (in category 'compile abstract instructions') ----- compileBlockFrameBuild: blockStart "Build a frame for a block activation. See CoInterpreter class>>initializeFrameIndices. closure (in ReceiverResultReg) arg0 ... argN caller's saved ip/this stackPage (for a base frame) fp-> saved fp method context (uninitialized?) receiver first temp ... sp-> Nth temp Avoid use of SendNumArgsReg which is the flag determining whether context switch is allowed on stack-overflow." <var: #blockStart type: #'BlockStart *'> <inline: false> self annotateBytecode: self Label. backEnd hasLinkRegister ifTrue: [self PushR: LinkReg]. self PushR: FPReg. self MoveR: SPReg R: FPReg. "Think of ClassReg as ClosureReg" self MoveR: ReceiverResultReg R: ClassReg. "The block method field must have its MFMethodFlagIsBlockFlag bit set. We arrange this using a labelOffset. A hack, but it works." blockStart fakeHeader addDependent: (self annotateAbsolutePCRef: (self PushCw: blockStart fakeHeader asInteger)); "method" setLabelOffset: MFMethodFlagIsBlockFlag. + self genPushConstant: objectMemory nilObject. - self annotate: (self PushCw: objectMemory nilObject) "context" - objRef: objectMemory nilObject. "Fetch home receiver from outer context. closure is on stack and initially in ReceiverResultReg. It is safe to use Arg0Reg because reg args are pushed by the value primitives if there are any.". blockStart hasInstVarRef ifTrue: "Use ReceiverResultReg for Context to agree with store check trampoline" [objectRepresentation genLoadSlot: ClosureOuterContextIndex sourceReg: ClassReg destReg: ReceiverResultReg; genLoadSlot: ReceiverIndex sourceReg: ReceiverResultReg destReg: Arg0Reg. objectRepresentation genEnsureOopInRegNotForwarded: Arg0Reg scratchReg: TempReg updatingSlot: ReceiverIndex in: ReceiverResultReg. self MoveR: Arg0Reg R: ReceiverResultReg] ifFalse: [objectRepresentation genLoadSlot: ClosureOuterContextIndex sourceReg: ClassReg destReg: Arg0Reg; genLoadSlot: ReceiverIndex sourceReg: Arg0Reg destReg: ReceiverResultReg]. self PushR: ReceiverResultReg. "home receiver" "Push copied values; bytecode initializes temporaries" 0 to: blockStart numCopied - 1 do: [:i| objectRepresentation genLoadSlot: i + ClosureFirstCopiedValueIndex sourceReg: ClassReg destReg: TempReg. self PushR: TempReg]. blockStart stackCheckLabel: (self compileStackOverflowCheck: true)! Item was changed: ----- Method: SimpleStackBasedCogit>>genInlinedIdenticalOrNotIf: (in category 'bytecode generator support') ----- genInlinedIdenticalOrNotIf: orNot + "Generate the guts of either a == b or a ~~ b, answering either the true or the false object. + Squash the pop of b and the push of the result." + | jumpRetFalse jumpSetStackTop | - | jumpNotEqual jumpPush | - <var: #jumpNotEqual type: #'AbstractInstruction *'> - <var: #jumpPush type: #'AbstractInstruction *'> self PopR: Arg0Reg. objectRepresentation genEnsureOopInRegNotForwarded: Arg0Reg scratchReg: TempReg. self MoveMw: 0 r: SPReg R: ClassReg. objectRepresentation genEnsureOopInRegNotForwarded: ClassReg scratchReg: TempReg. self CmpR: Arg0Reg R: ClassReg. + jumpRetFalse := self genConditionalBranch: (orNot ifTrue: [JumpZero] ifFalse: [JumpNonZero]) operand: 0. + self genMoveTrueR: Arg0Reg. + jumpSetStackTop := self Jump: 0. + jumpRetFalse jmpTarget: (self genMoveFalseR: Arg0Reg). + jumpSetStackTop jmpTarget: (self MoveR: Arg0Reg Mw: 0 r: SPReg). - jumpNotEqual := self genConditionalBranch: (orNot ifTrue: [JumpZero] ifFalse: [JumpZero]) operand: 0. - self annotate: (self genMoveTrueR: Arg0Reg) - objRef: objectMemory trueObject. - jumpPush := self Jump: 0. - jumpNotEqual jmpTarget: (self genMoveFalseR: Arg0Reg). - jumpPush jmpTarget: (self MoveR: Arg0Reg Mw: 0 r: SPReg). ^0! Item was added: + ----- Method: SimpleStackBasedCogit>>genSendTrampolineFor:called:arg:arg:arg:arg: (in category 'initialization') ----- + genSendTrampolineFor: aRoutine called: aString arg: regOrConst0 arg: regOrConst1 arg: regOrConst2 arg: regOrConst3 + "Generate a trampoline with four arguments. + Hack: a negative value indicates an abstract register, a non-negative value indicates a constant." + <var: #aRoutine type: #'void *'> + <var: #aString type: #'char *'> + | startAddress | + <inline: false> + startAddress := methodZoneBase. + self zeroOpcodeIndex. + "If we're on a 64-bit platform we use 32-bit inline caches. These don't have room for a selector oop, only + a selector index. If so, call the selectorIndexDereferenceRoutine to convert the index into a selector oop." + objectRepresentation selectorIndexDereferenceRoutine ifNotNil: + [:routine| "Explicitly save LinkReg via ExtraReg2; it's presumably faster than pushing/popping" + backEnd hasLinkRegister ifTrue: [self MoveR: LinkReg R: Extra2Reg]. + self Call: routine. + backEnd hasLinkRegister ifTrue: [self MoveR: Extra2Reg R: LinkReg]]. + self genTrampolineFor: aRoutine + called: aString + numArgs: 4 + arg: regOrConst0 + arg: regOrConst1 + arg: regOrConst2 + arg: regOrConst3 + regsToSave: self emptyRegisterMask + pushLinkReg: true + resultReg: NoReg + appendOpcodes: true. + ^startAddress! Item was changed: ----- Method: SimpleStackBasedCogit>>genStorePop:LiteralVariable: (in category 'bytecode generator support') ----- genStorePop: popBoolean LiteralVariable: litVarIndex <inline: false> "Note for Spur, please read the comment in Cogit>>#setHasMovableLiteral: for avoiding a forwarding check." | association | "The only reason we assert needsFrame here is that in a frameless method ReceiverResultReg must and does contain only self, but the ceStoreCheck trampoline expects the target of the store to be in ReceiverResultReg. So in a frameless method we would have a conflict between the receiver and the literal store, unless we we smart enough to realise that ReceiverResultReg was unused after the literal variable store, unlikely given that methods return self by default." self assert: needsFrame. association := self getLiteral: litVarIndex. self genMoveConstant: association R: ReceiverResultReg. popBoolean ifTrue: [self PopR: ClassReg] ifFalse: [self MoveMw: 0 r: SPReg R: ClassReg]. + objectRepresentation - self genStoreSourceReg: ClassReg slotIndex: ValueIndex destReg: ReceiverResultReg scratchReg: TempReg inFrame: needsFrame. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genStorePop:MaybeContextReceiverVariable: (in category 'bytecode generator support') ----- genStorePop: popBoolean MaybeContextReceiverVariable: slotIndex <inline: false> | jmpSingle jmpDone | <var: #jmpSingle type: #'AbstractInstruction *'> <var: #jmpDone type: #'AbstractInstruction *'> "The reason we need a frame here is that assigning to an inst var of a context may involve wholesale reorganization of stack pages, and the only way to preserve the execution state of an activation in that case is if it has a frame." self assert: needsFrame. self putSelfInReceiverResultReg. objectRepresentation genLoadSlot: SenderIndex sourceReg: ReceiverResultReg destReg: TempReg. self MoveMw: 0 r: SPReg R: ClassReg. jmpSingle := objectRepresentation genJumpNotSmallIntegerInScratchReg: TempReg. self MoveCq: slotIndex R: SendNumArgsReg. self CallRT: ceStoreContextInstVarTrampoline. jmpDone := self Jump: 0. jmpSingle jmpTarget: self Label. popBoolean ifTrue: [self AddCq: objectMemory wordSize R: SPReg]. + objectRepresentation - self genStoreSourceReg: ClassReg slotIndex: slotIndex destReg: ReceiverResultReg scratchReg: TempReg inFrame: needsFrame. jmpDone jmpTarget: self Label. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>genStorePop:ReceiverVariable: (in category 'bytecode generator support') ----- genStorePop: popBoolean ReceiverVariable: slotIndex <inline: false> needsFrame ifTrue: [self putSelfInReceiverResultReg]. popBoolean ifTrue: [self PopR: ClassReg] ifFalse: [self MoveMw: 0 r: SPReg R: ClassReg]. + objectRepresentation - self genStoreSourceReg: ClassReg slotIndex: slotIndex destReg: ReceiverResultReg scratchReg: TempReg inFrame: needsFrame. ^0!

1 0

VM Maker: Cog-eem.456.mcz
by commits＠source.squeak.org 22 Jun '24

22 Jun '24

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.456.mcz ==================== Summary ==================== Name: Cog-eem.456 Author: eem Time: 21 June 2024, 7:37:08.772731 pm UUID: 84f1c546-1bf2-4456-a46d-cd874d5f2de9 Ancestors: Cog-eem.455 spelling =============== Diff against Cog-eem.455 =============== Item was changed: ----- Method: CogProcessorAlien>>decorateDisassembly:for:fromAddress:labels: (in category 'disassembly') ----- decorateDisassembly: anInstructionString for: aSymbolManager "<Cogit>" fromAddress: address labels: labelDictionaryOrNil "This is a hook to allow decoration to add values to labelDictionary to get better decoration of out-of-line literals. It is only relevant to 64-bit out-of-line literal back ends, which currently means only ARMv8. Hence the default + defers to the original method, used in most classes." - defers to the original mehtod, used in most classes." ^self decorateDisassembly: anInstructionString for: aSymbolManager fromAddress: address!

1 0

[OpenSmalltalk/opensmalltalk-vm] 53d94a: iFix yet another unreasonably failing compilation ...
by Eliot Miranda 21 Jun '24

21 Jun '24

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 53d94a9ed448e643aaa6d5da371a88e9f066946d https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/53d94a9ed448e643aa… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2024-06-21 (Fri, 21 Jun 2024) Changed paths: M platforms/unix/vm/sqUnixVMProfile.c Log Message: ----------- iFix yet another unreasonably failing compilation issue with sa_sigaction, this time on macOS. To unsubscribe from these emails, change your notification settings at https://github.com/OpenSmalltalk/opensmalltalk-vm/settings/notifications

1 0

[OpenSmalltalk/opensmalltalk-vm] Fix accent aigu in README.md to be proper UTF-8 (PR #687)
by Boris Shingarov 21 Jun '24

21 Jun '24

GitHub assumes Markdown such as README.md to be in UTF-8. As such, the GH web UI fails to properly render "Béra" in commit 16c54c6. You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/687 -- Commit Summary -- * Fix accent aigu in README.md to be proper UTF-8 -- File Changes -- M README.md (2) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/687.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/687.diff -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/687 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/pull/687(a)github.com>

2 1

[OpenSmalltalk/opensmalltalk-vm] af9673: Fix accent aigu in README.md to be proper UTF-8
by Tobias Pape 21 Jun '24

21 Jun '24

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: af9673dd96f48b174a4c9f43bab7218dc1fe3494 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/af9673dd96f48b174a… Author: Boris Shingarov <shingarov(a)labware.com> Date: 2024-06-21 (Fri, 21 Jun 2024) Changed paths: M README.md Log Message: ----------- Fix accent aigu in README.md to be proper UTF-8 GitHub assumes Markdown such as README.md to be in UTF-8. As such, the GH web UI fails to properly render "Béra" in commit 16c54c6. Commit: 57c6fbf90b2846b9243b1475392edab9d2744d6c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/57c6fbf90b2846b924… Author: Tobias Pape <krono(a)users.noreply.github.com> Date: 2024-06-21 (Fri, 21 Jun 2024) Changed paths: M README.md Log Message: ----------- Merge pull request #687 from shingarov/fix-utf8 Fix accent aigu in README.md to be proper UTF-8 Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/16c54c64063f...57… To unsubscribe from these emails, change your notification settings at https://github.com/OpenSmalltalk/opensmalltalk-vm/settings/notifications

1 0

[OpenSmalltalk/opensmalltalk-vm] 16c54c: Improve README.md. Remove some nasty Pharo polluti...
by Eliot Miranda 21 Jun '24

21 Jun '24

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 16c54c64063f6729d6c87cb61dd946fd3c4e9425 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/16c54c64063f6729d6… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2024-06-20 (Thu, 20 Jun 2024) Changed paths: M README.md Log Message: ----------- Improve README.md. Remove some nasty Pharo pollution. Add a reference for Spur. Add description of how to buiuld a VM that supports JIT simulation. To unsubscribe from these emails, change your notification settings at https://github.com/OpenSmalltalk/opensmalltalk-vm/settings/notifications

1 0

[OpenSmalltalk/opensmalltalk-vm] Check bind and listen functions for errors (PR #686)
by Jon Raiford 21 Jun '24

21 Jun '24

When listening on a socket, if the local port is already in use it should fail, however the vm currently assumes that the listen() call is successful. This patch implements a similar check as the connect call. Note that the Windows implementation does not have this issue. You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686 -- Commit Summary -- * Check bind and listen functions for errors -- File Changes -- M platforms/unix/plugins/SocketPlugin/sqUnixSocket.c (23) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686.diff -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/686 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/pull/686(a)github.com>

2 4

[OpenSmalltalk/opensmalltalk-vm] 260d81: Check bind and listen functions for errors (#686)
by Jon Raiford 21 Jun '24

21 Jun '24

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 260d81ba1959d20a98a7c9382e671ff1541127d2 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/260d81ba1959d20a98… Author: Jon Raiford <jon(a)raiford.org> Date: 2024-06-20 (Thu, 20 Jun 2024) Changed paths: M platforms/unix/plugins/SocketPlugin/sqUnixSocket.c Log Message: ----------- Check bind and listen functions for errors (#686) * Check bind and listen functions for errors * Update formatting as requested To unsubscribe from these emails, change your notification settings at https://github.com/OpenSmalltalk/opensmalltalk-vm/settings/notifications

1 0

[OpenSmalltalk/opensmalltalk-vm] Fails to compile on EndeavourOS (Issue #685)
by Kirtai 19 Jun '24

19 Jun '24

Fails to compile on EndeavourOS (Arch Linux derivative with the following errors. clang version 17.0.6 (gcc version 14.1.1 also fails) ``` clang -Wall -g -O2 -DNDEBUG -DDEBUGVM=0 -msse2 -DCOGMTVM=0 -pthread -DLSB_FIRST=1 -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -Wno-unused-but-set-variable -I/usr/include -I/usr/include -DHAVE_CONFIG_H -DSQUEAK_BUILTIN_PLUGIN -I/home/faith/tmp/build/opensmalltalk-vm/building/linux64x64/squeak.cog.spur/build -I/home/faith/tmp/build/opensmalltalk-vm/building/linux64x64/squeak.cog.spur/build -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/vm -I/home/faith/tmp/build/opensmalltalk-vm/src/spur64.cog -I/usr/local/include -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/vm -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm -I/home/faith/tmp/build/opensmalltalk-vm/src/spur64.cog -I/home/faith/tmp/build/opensmalltalk-vm/platforms/Cross/plugins/FilePlugin -I/home/faith/tmp/build/opensmalltalk-vm/platforms/unix/plugins/B3DAcceleratorPlugin -m64 -Wno-missing-braces -Wno-unknown-pragmas -Wno-unused-value -Wno-unused-label -Wno-unused-function -Wno-unused-variable -Wno-unused-but-set-variable -I/usr/include -I/usr/include -c -o sqUnixMain.o /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1792:10: warning: format string is not a string literal (potentially insecure) [-Wformat-security] 1792 | printf(optionStrings[count]); | ^~~~~~~~~~~~~~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:1792:10: note: treat the string as an argument to avoid this 1792 | printf(optionStrings[count]); | ^ | "%s", /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2107:79: warning: result of comparison of constant 139 with expression of type 'char' is always false [-Wtautological-constant-out-of-range-compare] 2107 | fd = ((char *)embeddedImage)[0] == GZIPMagic0 && ((char *)embeddedImage)[1] == GZIPMagic1 | ~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2266:38: error: incompatible function pointer types assigning to 'void (*)(int, siginfo_t *, void *)' from 'void (int, siginfo_t *, ucontext_t *)' (aka 'void (int, siginfo_t *, struct ucontext_t *)') [-Wincompatible-function-pointer-types] 2266 | sigsegv_handler_action.sa_sigaction = sigsegv; | ^ ~~~~~~~ /home/faith/tmp/build/opensmalltalk-vm/platforms/unix/vm/sqUnixMain.c:2273:38: error: incompatible function pointer types assigning to 'void (*)(int, siginfo_t *, void *)' from 'void (int, siginfo_t *, ucontext_t *)' (aka 'void (int, siginfo_t *, struct ucontext_t *)') [-Wincompatible-function-pointer-types] 2273 | sigusr1_handler_action.sa_sigaction = sigusr1; | ^ ~~~~~~~ 2 warnings and 2 errors generated. make[1]: *** [Makefile:301: sqUnixMain.o] Error 1 make: *** [Makefile:413: vm/vm.a] Error 2 ``` -- Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/685 You are receiving this because you are subscribed to this thread. Message ID: <OpenSmalltalk/opensmalltalk-vm/issues/685(a)github.com>

1 0

VM Maker: VMMaker.oscog-eem.3388.mcz
by commits＠source.squeak.org 15 Jun '24

15 Jun '24

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3388.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3388 Author: eem Time: 14 June 2024, 5:01:22.995677 pm UUID: a1f191f8-47cb-42af-b019-0c48855a4014 Ancestors: VMMaker.oscog-eem.3387 Extract the common code in the guard aginst creating/populating a CPIC and choosing an OPIC instead. Slang: eliminate constant expressions in && and || translations. =============== Diff against VMMaker.oscog-eem.3387 =============== Item was changed: ----- Method: CCodeGenerator>>generateSequentialAnd:on:indent: (in category 'C translation') ----- generateSequentialAnd: msgNode on: aStream indent: level "Generate the C code for this message onto the given stream." (self nilOrBooleanConstantReceiverOf: msgNode receiver) ifNil: [self emitCExpression: msgNode receiver on: aStream indent: level. "Don't eliminate the first expression if the second one is false, because of potential side-effects; leave that to the C compiler. But /do/ eliminate the second expression if it is vaccuously true." + (self nilOrBooleanConstantValueOf: msgNode args first) ifNotNil: - (self nilOrBooleanConstantReceiverOf: msgNode args first) ifNotNil: [:const| const == true ifTrue: [^self]]. aStream crtab: level; nextPutAll: ' && ('. self emitCTestBlock: msgNode args first on: aStream indent: level. aStream nextPut: $)] ifNotNil: [:const | const ifTrue: [self emitCTestBlock: msgNode args first on: aStream indent: level] ifFalse: [aStream nextPut: $0]]! Item was changed: ----- Method: CCodeGenerator>>generateSequentialOr:on:indent: (in category 'C translation') ----- generateSequentialOr: msgNode on: aStream indent: level "Generate the C code for this message onto the given stream." "Note: PP 2.3 compiler produces two arguments for or:, presumably to help with inlining later. Taking the last agument should do the correct thing even if your compiler is different." (self nilOrBooleanConstantReceiverOf: msgNode receiver) ifNil: [self emitCExpression: msgNode receiver on: aStream indent: level. "Don't eliminate the first expression if the second one is true, because of potential side-effects; leave that to the C compiler. But /do/ eliminate the second expression if it is vaccuously false." + (self nilOrBooleanConstantValueOf: msgNode args last) ifNotNil: - (self nilOrBooleanConstantReceiverOf: msgNode args last) ifNotNil: [:const| const == false ifTrue: [^self]]. aStream crtab: level; nextPutAll: ' || ('. self emitCTestBlock: msgNode args last on: aStream indent: level. aStream nextPut: $)] ifNotNil: [:const | const ifTrue: [aStream nextPut: $1] ifFalse: [self emitCTestBlock: msgNode args last on: aStream indent: level]]! Item was changed: ----- Method: CCodeGenerator>>isConstantNode:valueInto: (in category 'utilities') ----- isConstantNode: aNode valueInto: aBlock "Answer if aNode evaluates to a constant, and if so, evaluate aBlock with the value of that constant." aNode isConstant ifTrue: [(aNode isDefine and: [self defineAtCompileTime: aNode name]) ifTrue: [^false]. aBlock value: aNode value. ^true]. (aNode isVariable and: [aNode name = #nil]) ifTrue: [aBlock value: nil. ^true]. aNode isSend ifTrue: [(self anyMethodNamed: aNode selector) ifNil: [(VMBasicConstants valueOfBasicSelector: aNode selector) ifNotNil: [:value| aBlock value: value. ^true]. aNode constantNumbericValueOrNil ifNotNil: [:value| aBlock value: value. + ^true]. + aNode selector == #not ifTrue: + [self isConstantNode: aNode receiver valueInto: + [:v| + (#(true false) includes: v) ifTrue: + [aBlock value: v not. + ^true]]]] - ^true]] ifNotNil: [:m| (m isMacroWithDefinition not and: [m statements size = 1 and: [m statements last isReturn]]) ifTrue: [^self isConstantNode: m statements last expression valueInto: aBlock]]]. ^false! Item was changed: ----- Method: CCodeGenerator>>nilOrBooleanConstantReceiverOf: (in category 'utilities') ----- nilOrBooleanConstantReceiverOf: aNode "Answer nil or the boolean constant that is the receiver of the given message send. Used to suppress conditional code when the condition is a translation-time constant." | val receiver argument arms | generateDeadCode ifTrue:[^nil]. ((self isConstantNode: aNode valueInto: [:v| val := v]) and: [#(true false) includes: val]) ifTrue: [^val]. aNode isSend ifTrue: [aNode selector == #not ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode receiver) ifNotNil: [:bool| ^bool not]]. ((#(isNil notNil) includes: aNode selector) and: [self isNilConstantReceiverOf: aNode]) ifTrue: [^aNode selector == #isNil]. ((#(or: and:) includes: aNode selector) and: [aNode args last isStmtList and: [aNode args last statements size = 1]]) ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode receiver) ifNotNil: [:rcvr| ((rcvr == false and: [aNode selector == #and:]) or: [rcvr == true and: [aNode selector == #or:]]) ifTrue: [^rcvr]. + (self nilOrBooleanConstantValueOf: aNode args last) ifNotNil: - (self nilOrBooleanConstantReceiverOf: aNode args last statements first) ifNotNil: [:arg| ^rcvr perform: aNode selector with: [arg]]]. "We can also eliminate expr and: [false], expr or: [true], but only if expr is side-effect free. This is a weak test; we don't traverse calls. Caveat emptor!!" ((aNode receiver noneSatisfy: [:node| node isAssignment]) "No side-effects in the elided expression" and: [aNode args last statements size = 1]) ifTrue: [(self nilOrBooleanConstantReceiverOf: aNode args last statements first) ifNotNil: [:arg| ((arg == false and: [aNode selector == #and:]) or: [arg == true and: [aNode selector == #or:]]) ifTrue: [^arg]]]]. "Look for Const ifTrue: [self foo] ifFalse: [false] => false" ((#(ifTrue:ifFalse: ifFalse:ifTrue:) includes: aNode selector) and: [(self isConstantNode: aNode receiver valueInto: [:v| val := v]) and: [(#(true false) includes: val) and: [arms := aNode args collect: [:altBlock| | bval | (altBlock statements size = 1 and: [(self isConstantNode: altBlock statements last valueInto: [:v| bval := v]) and: [#(true false) includes: bval]]) ifTrue: [bval]]. arms asArray ~= #(nil nil)]]]) ifTrue: [| arm | arm := aNode selector == #ifTrue:ifFalse: == val ifTrue: [arms first] ifFalse: [arms last]. (#(true false) includes: arm) ifTrue: [^arm]]. ((#(= ~= < > <= >=) includes: aNode selector) and: [(self isConstantNode: aNode receiver valueInto: [:v| receiver := v]) and: [receiver isInteger and: [(self isConstantNode: aNode args first valueInto: [:v| argument := v]) and: [argument isInteger]]]]) ifTrue: [^receiver perform: aNode selector with: argument]. "Inlining for e.g. CharacterTable ifNil: [...] ifNotNil: [...]], which compiles to CharacterTable == nil ifTrue: [...] ifFalse: [...]" (aNode selector == #== and: [aNode args first isNilNode and: [aNode receiver isNilNode]]) ifTrue: [^true]]. ^nil! Item was added: + ----- Method: CCodeGenerator>>nilOrBooleanConstantValueOf: (in category 'utilities') ----- + nilOrBooleanConstantValueOf: aNode + "Answer nil or the boolean constant that is the value of the given block. + Used to suppress conditional code when the condition is a translation-time constant." + + self assert: aNode isLiteralBlock. + ^generateDeadCode ifFalse: + [aNode statements size = 1 ifTrue: + [self nilOrBooleanConstantReceiverOf: aNode statements first]]! Item was changed: ----- Method: Cogit>>ceCPICMiss:receiver: (in category 'in-line cacheing') ----- ceCPICMiss: cPIC receiver: receiver "Code entry closed PIC miss. A send has fallen through a closed (finite) polymorphic inline cache. Either extend it or patch the send site to an open PIC. The stack looks like: receiver args sp=> sender return address" <var: #cPIC type: #'CogMethod *'> <api> "Marked <api> so the code generator won't delete it." <static: true> | outerReturn newTargetMethodOrNil errorSelectorOrNil cacheTag result | self cCode: nil inSmalltalk: [cPIC isInteger ifTrue: [^self ceCPICMiss: (self cogMethodSurrogateAt: cPIC) receiver: receiver]]. (objectMemory isOopForwarded: receiver) ifTrue: [^coInterpreter ceSendFromInLineCacheMiss: cPIC]. outerReturn := coInterpreter stackTop. self deny: (backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue. cPIC cPICNumCases < MaxCPICCases ifTrue: [self lookup: cPIC selector for: receiver methodAndErrorSelectorInto: [:method :errsel| newTargetMethodOrNil := method. errorSelectorOrNil := errsel]] ifFalse: [newTargetMethodOrNil := errorSelectorOrNil := nil]. "We assume lookupAndCog:for: will *not* reclaim the method zone" self assert: outerReturn = coInterpreter stackTop. self ensureWritableCodeZone. cacheTag := objectRepresentation inlineCacheTagForInstance: receiver. (cPIC cPICNumCases >= MaxCPICCases + or: [self closedPICInappropriateForCacheTag: cacheTag targetMethod: newTargetMethodOrNil orErrorSelector: errorSelectorOrNil]) ifTrue: - or: [(errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) - or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) - or: [newTargetMethodOrNil isNil - or: [objectMemory isYoung: newTargetMethodOrNil]]]]) ifTrue: [result := self patchToOpenPICFor: cPIC selector + numArgs: cPIC cmNumArgs + receiver: receiver. - numArgs: cPIC cmNumArgs - receiver: receiver. self assert: result not. "If patchToOpenPICFor:.. returns we're out of code memory" self ensureExecutableCodeZone. ^coInterpreter ceSendFromInLineCacheMiss: cPIC]. "Now extend the PIC with the new case." self cogExtendPIC: cPIC CaseNMethod: newTargetMethodOrNil tag: cacheTag isMNUCase: errorSelectorOrNil = SelectorDoesNotUnderstand. self ensureExecutableCodeZone. "Jump back into the pic at its entry in case this is an MNU." coInterpreter executeCogPIC: cPIC fromLinkedSendWithReceiver: receiver andCacheTag: (backEnd inlineCacheTagAt: outerReturn). "NOTREACHED" ^nil! Item was changed: ----- Method: Cogit>>ceSICMiss: (in category 'in-line cacheing') ----- ceSICMiss: receiver "An in-line cache check in a method has failed. The failing entry check has jumped to the ceMethodAbort abort call at the start of the method which has called this routine. If possible allocate a closed PIC for the current and existing classes. The stack looks like: receiver args sender return address sp=> ceMethodAbort call return address So we can find the method that did the failing entry check at ceMethodAbort call return address - missOffset and we can find the send site from the outer return address. Invoked from a trampoline. Marked <api> so the code generator won't delete it." <api> <static: true> | pic innerReturn outerReturn entryPoint targetMethod newTargetMethodOrNil errorSelectorOrNil cacheTag extent result | <var: #pic type: #'CogMethod *'> <var: #targetMethod type: #'CogMethod *'> "Whether we can relink to a PIC or not we need to pop off the inner return and identify the target method." innerReturn := coInterpreter popStack asUnsignedInteger. targetMethod := self cCoerceSimple: innerReturn - missOffset to: #'CogMethod *'. (objectMemory isOopForwarded: receiver) ifTrue: [^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. outerReturn := coInterpreter stackTop asUnsignedInteger. self assert: (outerReturn between: methodZoneBase and: methodZone freeStart). entryPoint := backEnd callTargetFromReturnAddress: outerReturn. self assert: targetMethod selector ~= objectMemory nilObject. self assert: targetMethod asInteger + cmEntryOffset = entryPoint. self lookup: targetMethod selector for: receiver methodAndErrorSelectorInto: [:method :errsel| newTargetMethodOrNil := method. errorSelectorOrNil := errsel]. "We assume lookupAndCog:for: will *not* reclaim the method zone" self assert: outerReturn = coInterpreter stackTop. cacheTag := objectRepresentation inlineCacheTagForInstance: receiver. + ((self closedPICInappropriateForCacheTag: cacheTag targetMethod: newTargetMethodOrNil orErrorSelector: errorSelectorOrNil) + or: [(backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue]) ifTrue: - ((errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) - or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) - or: [(backEnd inlineCacheTagAt: outerReturn) = self picAbortDiscriminatorValue - or: [newTargetMethodOrNil isNil - or: [objectMemory isYoung: newTargetMethodOrNil]]]]) ifTrue: [result := self patchToOpenPICFor: targetMethod selector + numArgs: targetMethod cmNumArgs + receiver: receiver. - numArgs: targetMethod cmNumArgs - receiver: receiver. self assert: result not. "If patchToOpenPICFor:.. returns we're out of code memory" ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]. self ensureWritableCodeZone. "See if an Open PIC is already available." pic := methodZone openPICWithSelector: targetMethod selector. (pic isNil or: [self allowEarlyOpenPICPromotion not]) ifTrue: ["otherwise attempt to create a closed PIC for the two cases." pic := self cogPICSelector: targetMethod selector numArgs: targetMethod cmNumArgs Case0Method: targetMethod Case1Method: newTargetMethodOrNil tag: cacheTag isMNUCase: errorSelectorOrNil = SelectorDoesNotUnderstand. (pic asInteger between: MaxNegativeErrorCode and: -1) ifTrue: ["For some reason the PIC couldn't be generated, most likely a lack of code memory. Continue as if this is an unlinked send." pic asInteger = InsufficientCodeSpace ifTrue: [coInterpreter callForCogCompiledCodeCompaction]. self ensureExecutableCodeZone. ^coInterpreter ceSendFromInLineCacheMiss: targetMethod]]. "Relink the send site to the pic. If to an open PIC then reset the cache tag to the selector, for the benefit of the cacheTag assert check in checkIfValidOopRef:pc:cogMethod: et al." extent := pic isCMOpenPIC ifTrue: [backEnd rewriteInlineCacheAt: outerReturn tag: (backEnd inlineCacheValueForSelector: targetMethod selector in: coInterpreter mframeHomeMethodExport) target: pic asInteger + cmEntryOffset] ifFalse: [backEnd rewriteCallAt: outerReturn target: pic asInteger + cmEntryOffset]. self assertValidDualZoneFrom: pic asUnsignedInteger to: pic asUnsignedInteger + closedPICSize. "These also implicitly flush the read/write mapped dual zone to the read/execute zone." backEnd flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + closedPICSize. backEnd flushICacheFrom: outerReturn asUnsignedInteger - extent to: outerReturn asUnsignedInteger. "Jump back into the pic at its entry in case this is an MNU (newTargetMethodOrNil is nil)" coInterpreter executeCogPIC: pic fromLinkedSendWithReceiver: receiver andCacheTag: (backEnd inlineCacheTagAt: outerReturn). "NOTREACHED" ^nil! Item was added: + ----- Method: Cogit>>closedPICInappropriateForCacheTag:targetMethod:orErrorSelector: (in category 'in-line cacheing') ----- + closedPICInappropriateForCacheTag: cacheTag targetMethod: targetMethodOrNil orErrorSelector: errorSelectorOrNil + <inline: #always> + "We don't allow cacheTags (if they're class objects) or targetMethods in CPICs to be in new space. + And the only error condition handled by a CPIC is an MNU." + ^(errorSelectorOrNil notNil and: [errorSelectorOrNil ~= SelectorDoesNotUnderstand]) + or: [(objectRepresentation inlineCacheTagIsYoung: cacheTag) + or: [targetMethodOrNil isNil + or: [objectMemory isYoung: targetMethodOrNil]]]!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev June 2024