Vm-dev November 2020

vm-dev@lists.squeakfoundation.org

18 participants
154 discussions

[OpenSmalltalk/opensmalltalk-vm] [Ubuntu] libpulse-simple.so.0: cannot open shared object file: No such file or directory (#538)
by Christoph Thiede 22 Nov '20

22 Nov '20

Today encountered the following error when running **Squeak in smalltalkCI** on **ubuntu-latest** (as part of a GitHub workflow): ``` Extracting virtual machine... Cog VM Information /home/runner/.smalltalkCI/_cache/vms/Squeak64-Trunk/sqcogspur64linuxht/lib/squeak/5.0-202003021730/squeak: error while loading shared libraries: libpulse-simple.so.0: cannot open shared object file: No such file or directory Error with status code 127: 264 squeak::prepare_vm /home/runner/.smalltalkCI/squeak/run.sh ``` If this error turns out to be permanent, I will try to find out why it did not occur before. Maybe an update in the pulseaudio upstream dependency? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/538

1 1

VM_VERSION triplet
by stes＠PANDORA.BE 21 Nov '20

21 Nov '20

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 An interesting side-effect of David Lewis's update of the subversion repo, was that I observed that the new VM is called : 4.19.2-3790 and 4.19.2-3790_64bit The subversion source code seems to be generated from the VMMaker 4.19.2, and this automatically sets VM_VERSION to 4.19.2 : The code in the configure script that is doing this: vmmversion="`tr '\015 ' '\012\012' < \"${interp_h}\" | sed '1,/VMMaker/d;q'`" VM_VERSION="${vmmversion}-${svnversion}${RELEASE_TAG}" So it automatically creates a 3 digit version with the subversion 3790 suffix, based on the SVN version and the VMMaker version. The subversion version number is 3790 so far is clear, but the VM version seems to be set by the above code now to "4.19.2". For the Solaris IPS COMPONENT_VERSION I had a number 4.16.7 and I updated it to the new COMPONENT_VERSION= 4.19.2 . For the squeak-5 Git OpenSmalltalk VM I would also like to use a 3 digit version number that makes some sense. Currently I create 3 digit numbers myself (without any relationship to squeak). However I was thinking that maybe I can use: 5.0.x where x is the VMMaker version number. It appears that nowadays the VMmaker is called VMMaker.oscog-eem.2887 So I could use the number 2887 in 5.0.2887 where 2887 is the VMMaker number. This relates to my question a few months ago as to the #define platforms/Cross/vm/sqVirtualMachine.h:# define VM_VERSION "5.0" which in my understanding sets the VM_VERSION of all VM's to "5.0". An issue could be that the "stack" VM and the "cog" VM actually seem to use, different VMmaker numbers. For example currently for the "stack" VM the VMmaker number is 2885. For the "cog" VM the VMmaker number is 2891. So they are slightly different. I guess that what I wonder is whether it makes sense to use version numbers, 5.0.x 5.0.2885 5.0.2891 where x= VMmaker release number following Eliot Miranda's VMmaker release. Is there an established triplet 3digit release number for OpenSmalltalk ?? Regards, David Stes -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJft9m+AAoJEAwpOKXMq1MaNnEIALdzkb00VEQ/XHn+F/8G37tE EteNRCQtIawigsUn+aSh+OLX0NbTOyyzCbHh2ihqWFMyIvdisT9SP9FlRUzXryBR gW14p3xgHoLot2sGChXDro6ZLYsaRVDsnJVuzFTBuyClwlK4HwJXvJdOsEP3TMo4 Nr8w0ldX4hDpoNvil0d/K/uxJ8Cg1XENQ4ECv0DEUv3qMgJeOynDyqRbOWRqym9e Gc+Bya71kKYrWLHI7/ekxO0I99p6YGYXMb+sjxM+xCY9IIxm0Lcq5IjLNEPwvvpX nHp1U4n9BUYc40P+Cja9m2+olI0uTix/+FzmGM3G/biqbIIf3u+B5qg97gr3z5g= =eFQV -----END PGP SIGNATURE-----

3 4

Still Failing: OpenSmalltalk/opensmalltalk-vm#2311 (Cog - bd18c0e)
by Travis CI 21 Nov '20

21 Nov '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2311 Status: Still Failing Duration: 5 hrs, 30 mins, and 58 secs Commit: bd18c0e (Cog) Author: Eliot Miranda Message: CogVM source as per VMMaker.oscog-eem.2893 Implement a better fix for the VMMaker.oscog-eem.2824/ http://forum.world.st/corruption-of-PC-in-context-objects-or-not-tt5121662.… case. Instead of changing to the interpreter, mark the cog method containing instructionPointer and relocate instructionPointer in markActiveMethodsAndReferents/updateStackZoneReferencesToCompiledCodePreCompaction. Rename PrimCallMayCallBack to PrimCallMayEndureCodeCompaction. Make sure that primitiveRelinquishProcessor has PrimCallMayEndureCodeCompaction set. View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/df0256b37d26...bd… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74497118… -- 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.2315
by AppVeyor 20 Nov '20

20 Nov '20

1 0

[OpenSmalltalk/opensmalltalk-vm] bd18c0: CogVM source as per VMMaker.oscog-eem.2893
by Eliot Miranda 20 Nov '20

20 Nov '20

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: bd18c0e866193292af8573a93a5529a1bb6ce043 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/bd18c0e866193292af… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2020-11-20 (Fri, 20 Nov 2020) Changed paths: M nsspur64src/vm/cogit.h M nsspur64src/vm/cogitARMv8.c M nsspur64src/vm/cogitX64SysV.c M nsspur64src/vm/cogitX64WIN64.c M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspurstack64src/vm/gcc3x-interp.c M nsspurstack64src/vm/interp.c M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M spur64src/vm/cogit.h M spur64src/vm/cogitARMv8.c M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/cointerpmt.c M spur64src/vm/cointerpmt.h M spur64src/vm/gcc3x-cointerp.c M spur64src/vm/gcc3x-cointerpmt.c M spurlowcode64src/vm/cogit.h M spurlowcode64src/vm/cogitARMv8.c M spurlowcode64src/vm/cogitX64SysV.c M spurlowcode64src/vm/cogitX64WIN64.c M spurlowcode64src/vm/cointerp.c M spurlowcode64src/vm/cointerp.h M spurlowcode64src/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestack64src/vm/gcc3x-interp.c M spurlowcodestack64src/vm/interp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitARMv8.c M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/cointerpmt.c M spursrc/vm/cointerpmt.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/gcc3x-cointerpmt.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstack64src/vm/validImage.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M spurstacksrc/vm/validImage.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/gcc3x-cointerp.c M stacksrc/vm/gcc3x-interp.c M stacksrc/vm/interp.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.2893 Implement a better fix for the VMMaker.oscog-eem.2824/ http://forum.world.st/corruption-of-PC-in-context-objects-or-not-tt5121662.… case. Instead of changing to the interpreter, mark the cog method containing instructionPointer and relocate instructionPointer in markActiveMethodsAndReferents/updateStackZoneReferencesToCompiledCodePreCompaction. Rename PrimCallMayCallBack to PrimCallMayEndureCodeCompaction. Make sure that primitiveRelinquishProcessor has PrimCallMayEndureCodeCompaction set.

1 0

VM Maker: VMMaker.oscog-eem.2893.mcz
by commits＠source.squeak.org 20 Nov '20

20 Nov '20

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2893.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2893 Author: eem Time: 20 November 2020, 12:18:59.36201 pm UUID: 80846f05-27f9-4e14-a97e-11dcde420a0b Ancestors: VMMaker.oscog-eem.2892 Make sure that primitiveRelinquishProcessor has PrimCallMayEndureCodeCompaction set. Simulation: Change simulation away from MultiProcessor to switching register contents in CogThreadManager>>#tryLockVMOwnerTo:, which invokes Cogit>>#tryLockVMOwnerTo:, hence change senders of tryLockVMOwnerTo:. Retain Multiprocessor via an option only. Fix termination of processes on shutdown. Put a breakpoint in CogVMSimulator>>#ownVM: for now. Eliminate unused stuff from CogVMThread. =============== Diff against VMMaker.oscog-eem.2892 =============== Item was changed: CoInterpreterPrimitives subclass: #CoInterpreterMT instanceVariableNames: 'cogThreadManager checkThreadActivation maxWaitingPriority foreignCallbackPriority deferThreadSwitch disowningVMThread disownCount foreignCallbackProcessSlot willNotThreadWarnCount activeProcessAffined relinquishing processHasThreadId noThreadingOfGUIThread reenterThreadSchedulingLoop' + classVariableNames: 'DisownFlagsShift DisownVMForProcessorRelinquish LockGUIThreadFlag LockGUIThreadShift OwnVMForeignThreadFlag PrimNumberRelinquishProcessor ProcessUnaffinedOnDisown ReturnToThreadSchedulingLoop VMAlreadyOwnedHenceDoNotDisown' - classVariableNames: 'DisownFlagsShift DisownVMForProcessorRelinquish LockGUIThreadFlag LockGUIThreadShift OwnVMForeignThreadFlag ProcessUnaffinedOnDisown ReturnToThreadSchedulingLoop VMAlreadyOwnedHenceDoNotDisown' poolDictionaries: 'VMThreadingConstants' category: 'VMMaker-Multithreading'! Item was changed: ----- Method: CoInterpreterMT class>>initializePrimitiveTable (in category 'initialization') ----- initializePrimitiveTable super initializePrimitiveTable. + PrimNumberRelinquishProcessor := 230. COGMTVM ifTrue: [(227 to: 229) do: [:pidx| self assert: (PrimitiveTable at: pidx + 1) = #primitiveFail]. PrimitiveTable at: 227 + 1 put: #primitiveVMCurrentThreadId; at: 228 + 1 put: #primitiveProcessBoundThreadId; at: 229 + 1 put: #primitiveProcessBindToThreadId]! Item was added: + ----- Method: CoInterpreterMT>>assertValidNewMethodPropertyFlags (in category 'simulation') ----- + assertValidNewMethodPropertyFlags + <cmacro: '() 0'> "simulation only" + self assert: (objectMemory addressCouldBeObj: newMethod). + self assert: (objectMemory isCompiledMethod: newMethod). + self assert: (self primitiveIndexOf: newMethod) > 0. + self assert: ((self primitivePropertyFlags: (self primitiveIndexOf: newMethod)) anyMask: PrimCallMayEndureCodeCompaction)! Item was changed: ----- Method: CoInterpreterMT>>disownVM: (in category 'vm scheduling') ----- disownVM: flags "Release the VM to other threads and answer the current thread's index. Currently valid flags: DisownVMForFFICall - informs the VM that it is entering an FFI call DisownVMForThreading - informs the VM that it is entering code during which threading should be permitted OwnVMForeignThreadFlag - indicates lowest-level entry from a foreign thread - not to be used explicitly by clients - only set by ownVMFromUnidentifiedThread VMAlreadyOwnedHenceDoNotDisown - indicates an ownVM from a callback was made when the vm was still owned. - not to be used explicitly by clients - only set by ownVMFromUnidentifiedThread This is the entry-point for plugins and primitives that wish to release the VM while performing some operation that may potentially block, and for callbacks returning back to some blocking operation. If this thread does not reclaim the VM before- hand then when the next heartbeat occurs the thread manager will schedule a thread to acquire the VM which may start running the VM in place of this thread. N.B. Most of the state needed to resume after preemption is set in preemptDisowningThread." <api> <inline: false> | vmThread result | <var: #vmThread type: #'CogVMThread *'> self assert: self successful. cogit recordEventTrace ifTrue: [self recordTrace: TraceDisownVM thing: (objectMemory integerObjectOf: flags) source: 0]. processHasThreadId ifFalse: [willNotThreadWarnCount < 10 ifTrue: [self print: 'warning: VM parameter 48 indicates Process doesn''t have threadId; VM will not thread'; cr. willNotThreadWarnCount := willNotThreadWarnCount + 1]]. vmThread := cogThreadManager currentVMThread. (flags anyMask: VMAlreadyOwnedHenceDoNotDisown) ifTrue: [disowningVMThread := vmThread. vmThread state: CTMUnavailable. ^0]. self assertCStackPointersBelongToCurrentThread. + self assertValidNewMethodPropertyFlags. (flags anyMask: DisownVMForProcessorRelinquish) ifTrue: [| proc | (proc := objectMemory splObj: foreignCallbackProcessSlot) ~= objectMemory nilObject ifTrue: [foreignCallbackPriority := self quickFetchInteger: PriorityIndex ofObject: proc]. relinquishing := true. self sqLowLevelMFence]. (noThreadingOfGUIThread and: [self inGUIThread]) ifTrue: [^vmThread index + LockGUIThreadFlag + (activeProcessAffined ifTrue: [0] ifFalse: [ProcessUnaffinedOnDisown]) + (flags << DisownFlagsShift)]. disownCount := disownCount + 1. disowningVMThread := vmThread. "self cr; cr; print: 'disownVM Csp: '; printHex: vmThread cStackPointer; cr. (0 to: 16 by: 4) do: [:offset| self print: ' *(esp+'; printNum: offset; print: ': '; printHex: (stackPages longAt: cogit processor sp + offset); cr]. cogit processor printIntegerRegistersOn: Transcript." "OwnVMForeignThreadFlag indicates lowest-level of entry by a foreign thread. If that's where we are then release the vmThread. Otherwise indicate the vmThread is off doing something outside of the VM." (flags anyMask: OwnVMForeignThreadFlag) ifTrue: ["I don't think this is quite right. Josh's use case is creating some foreign thread and then registering it with the VM. That's not the same as binding a process to a foreign thread given that the foreign callback process is about to terminate anyway (it is returning from a callback here). So do we need an additional concept, that of a vmThread being either of the set known to the VM or floating?" self flag: 'issue with registering foreign threads with the VM'. (self isBoundProcess: self activeProcess) ifFalse: [cogThreadManager unregisterVMThread: vmThread]] ifFalse: [vmThread state: CTMUnavailable]. result := vmThread index + (activeProcessAffined ifTrue: [0] ifFalse: [ProcessUnaffinedOnDisown]) + (flags << DisownFlagsShift). cogThreadManager releaseVM. ^result! Item was changed: ----- Method: CoInterpreterMT>>ownVMFromUnidentifiedThread (in category 'vm scheduling') ----- ownVMFromUnidentifiedThread "Attempt to take ownership from a thread that as yet doesn't know its index. This supports callbacks where the callback could originate from any thread. Answer 0 if the owning thread is known to the VM. Answer 1 if the owning thread is unknown to the VM and now owns the VM. Answer -1 if the owning thread is unknown to the VM and fails to own the VM. Answer -2 if the owning thread is unknown to the VM and there is no foreign callback process installed." | count threadIndex vmThread | <var: #vmThread type: #'CogVMThread *'> <inline: false> (threadIndex := cogThreadManager ioGetThreadLocalThreadIndex) ~= 0 ifTrue: [ "this is a callback from a known thread" (cogThreadManager vmOwnerIs: threadIndex) ifTrue: "the VM has not been disowned" [self assert: (disowningVMThread isNil or: [disowningVMThread = self currentVMThread]). disowningVMThread := nil. self currentVMThread state: CTMAssignableOrInVM. ^VMAlreadyOwnedHenceDoNotDisown]. ^self ownVM: threadIndex]. foreignCallbackPriority = 0 ifTrue: [^-2]. count := 0. "If the current thread doesn't have an index it's new to the vm and we need to allocate a new threadInfo, failing if we can't. We also need a process in the foreignCallbackProcessSlot upon which to run the thread's eventual callback." + [[cogThreadManager tryLockVMOwnerTo: cogThreadManager ioCurrentOSThread asUnsignedInteger] whileFalse: - [[cogit tryLockVMOwnerTo: cogThreadManager ioCurrentOSThread asUnsignedInteger] whileFalse: [self waitingPriorityIsAtLeast: foreignCallbackPriority. cogThreadManager ioTransferTimeslice]. (objectMemory splObj: foreignCallbackProcessSlot) ~= objectMemory nilObject] whileFalse: [cogThreadManager releaseVM. (count := count + 1) > 1000 ifTrue: [^-2]. cogThreadManager ioMilliSleep: 1]. vmThread := cogThreadManager unusedThreadInfo. "N.B. Keep the VM locked anonymously so that we reserve the non-nil ForeignCallbackProcess for this thread, avoiding the race between competing foreign callbacks. The acquireVMFor: in ownVM: will set the vmOwner to the actual index. So only unlock on failure." vmThread ifNil: [cogThreadManager releaseVM. ^-1]. cogThreadManager setVMOwner: vmThread index. vmThread state: CTMWantingOwnership; priority: foreignCallbackPriority. cogThreadManager registerVMThread: vmThread. ^self ownVM: vmThread index + OwnVMForeignThreadFlag! Item was added: + ----- Method: CoInterpreterMT>>primitivePropertyFlagsForSpur: (in category 'cog jit support') ----- + primitivePropertyFlagsForSpur: primIndex + <inline: true> + "Answer any special requirements of the given primitive. Spur always needs to set + primitiveFunctionPointer and newMethod so primitives can retry on failure due to forwarders." + self cCode: [] inSmalltalk: [#(primitiveRelinquishProcessor)]. "For senders..." + primIndex = PrimNumberRelinquishProcessor ifTrue: + [^profileSemaphore ~= objectMemory nilObject + ifTrue: [PrimCallNeedsPrimitiveFunction + PrimCallNeedsNewMethod + PrimCallMayEndureCodeCompaction + PrimCallCollectsProfileSamples] + ifFalse: [PrimCallNeedsPrimitiveFunction + PrimCallNeedsNewMethod + PrimCallMayEndureCodeCompaction]]. + ^super primitivePropertyFlagsForSpur: primIndex! Item was changed: ----- Method: CoInterpreterMT>>threadSchedulingLoopImplementation: (in category 'vm scheduling') ----- threadSchedulingLoopImplementation: vmThread "Enter a loop attempting to run the VM with the highest priority process and blocking on the thread's OS semaphore when unable to run that process. We will return to this via threadSwitchIfNecessary:from: which is called in the middle of transferTo:from: once the active process has been stored in the scheduler." <var: #vmThread type: #'CogVMThread *'> - | attemptToRun | <inline: false> self _setjmp: reenterThreadSchedulingLoop. [self assert: vmThread state = CTMAssignableOrInVM. + (cogThreadManager tryLockVMOwnerTo: vmThread index) ifTrue: + ["If relinquishing is true, then primitiveRelinquishProcessor has disowned the + VM and only a returning call or callback should take ownership in that case." + relinquishing + ifTrue: [cogThreadManager releaseVM] + ifFalse: [self tryToExecuteSmalltalk: vmThread]]. - attemptToRun := false. - (cogThreadManager vmOwnerIs: vmThread index) - ifTrue: [attemptToRun := true] - ifFalse: - [(cogit tryLockVMOwnerTo: vmThread index) ifTrue: - ["If relinquishing is true, then primitiveRelinquishProcessor has disowned the - VM and only a returning call or callback should take ownership in that case." - relinquishing - ifTrue: [cogThreadManager releaseVM] - ifFalse: [attemptToRun := true]]]. - attemptToRun ifTrue: - [self tryToExecuteSmalltalk: vmThread]. (cogThreadManager vmOwnerIs: vmThread index) ifFalse: [cogThreadManager waitForWork: vmThread]. true] whileTrue! Item was changed: ----- Method: CoInterpreterMT>>tryToExecuteSmalltalk: (in category 'vm scheduling') ----- tryToExecuteSmalltalk: vmThread "Attempt to run the current process, if it exists, on the given vmThread." <var: #vmThread type: #'CogVMThread *'> | dvmt activeProc ownerIndex | <var: #dvmt type: #'CogVMThread *'> self assert: (cogThreadManager vmOwnerIs: vmThread index). self assert: cogThreadManager ioGetThreadLocalThreadIndex = vmThread index. dvmt := disowningVMThread. disowningVMThread ifNil: [activeProc := self activeProcess] ifNotNil: [self preemptDisowningThread. activeProc := self wakeHighestPriority. activeProc ifNil: [activeProc := objectMemory nilObject] ifNotNil: [objectMemory storePointerUnchecked: MyListIndex ofObject: activeProc withValue: objectMemory nilObject]. objectMemory storePointer: ActiveProcessIndex ofObject: self schedulerPointer withValue: activeProc]. activeProc = objectMemory nilObject ifTrue: [cogThreadManager releaseVM. ^nil]. ownerIndex := self ownerIndexOfProcess: activeProc. (ownerIndex = 0 or: [cogThreadManager vmOwnerIs: ownerIndex]) ifTrue: [self assert: (objectMemory fetchPointer: MyListIndex ofObject: self activeProcess) = objectMemory nilObject. (objectMemory fetchPointer: SuspendedContextIndex ofObject: activeProc) ~= objectMemory nilObject ifTrue: [self externalSetStackPageAndPointersForSuspendedContextOfProcess: activeProc]. + instructionPointer = cogit ceReturnToInterpreterPC ifTrue: + [self deny: (self isMachineCodeFrame: framePointer). + instructionPointer := self iframeSavedIP: framePointer]. self enterSmalltalkExecutive. "When we return here we should have already given up the VM and so we cannot touch any interpreter state." "NOTREACHED"]. cogThreadManager wakeVMThreadFor: ownerIndex! Item was changed: CogClass subclass: #CogThreadManager (excessive size, no diff calculated) Item was changed: ----- Method: CogThreadManager class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: cCodeGen cCodeGen removeVariable: 'coInterpreter'; removeVariable: 'cogit'; removeVariable: 'threadLocalStorage'; + removeVariable: 'processorOwner'; + removeVariable: 'registerStates'. - removeVariable: 'processorOwner'. cCodeGen var: #threads type: #'CogVMThread **'; var: #vmOSThread type: #sqOSThread! Item was changed: ----- Method: CogThreadManager>>acquireVMFor: (in category 'public api') ----- acquireVMFor: threadIndex "Attempt to acquire the VM, eventually blocking until it becomes available. Spin until the maxWaitingPriority has been updated if it is lower than this thread's priority." <returnTypeC: #'CogVMThread *'> | vmThread | <var: #vmThread type: #'CogVMThread *'> self assert: threadIndex = self ioGetThreadLocalThreadIndex. vmThread := self vmThreadAt: threadIndex. self assert: (vmThread state = CTMUnavailable or: [vmThread state = CTMWantingOwnership]). + (self tryLockVMOwnerTo: threadIndex) ifFalse: - (cogit tryLockVMOwnerTo: threadIndex) ifFalse: [vmThread state: CTMWantingOwnership. [(self vmOwnerIs: threadIndex) + or: [self tryLockVMOwnerTo: threadIndex]] whileFalse: + [vmThread priority ifNotNil: - or: [cogit tryLockVMOwnerTo: threadIndex]] whileFalse: - [[coInterpreter getMaxWaitingPriority < vmThread priority] whileTrue: [coInterpreter waitingPriorityIsAtLeast: vmThread priority]. (self vmOwnerIs: threadIndex) ifFalse: [self ioWaitOnOSSemaphore: (self addressOf: vmThread osSemaphore)]]]. vmOSThread := vmThread osThread. vmThread state: CTMAssignableOrInVM. ^vmThread! Item was changed: ----- Method: CogThreadManager>>ensureRunningVMThread: (in category 'public api') ----- ensureRunningVMThread: vmIsRelinquishing "Called from checkVMOwnershipFromHeartbeat if the VM is unowned. Hence we are in the heartbeat thread. The race is against that thread owning the VM and against foreign callbacks." <returnTypeC: #void> <var: #vmThread type: #'CogVMThread *'> self willingVMThread ifNotNil: [:vmThread| "If the VM is relinquishing the processor then only schedule a thread if it has work to do." (vmIsRelinquishing and: [vmThread state ~= CTMWantingOwnership]) ifTrue: [^self]. + (self tryLockVMOwnerTo: vmThread index) ifFalse: "someone beat us to it..." - (cogit tryLockVMOwnerTo: vmThread index) ifFalse: "someone beat us to it..." [^self]. vmOSThread := vmThread osThread. "release the thread from its blocking loop" self ioSignalOSSemaphore: (self addressOf: vmThread osSemaphore). self ioTransferTimeslice. "self cCode: [coInterpreter print: 'ERVT signalled '; printNum: vmThread index; cr]." ^self]. "If the VM is relinquishing the processor then only schedule a thread if it has work to do (willingVMThread not nil above). If we have failed to allocate thread storage before there is no point continuing to try to do so. By this time we should have quite a few threads in the pool." (vmIsRelinquishing or: [memoryIsScarce]) ifTrue: [^self]. self unusedThreadInfo ifNotNil: [:vmThread| + (self tryLockVMOwnerTo: vmThread index) ifTrue: - (cogit tryLockVMOwnerTo: vmThread index) ifTrue: [(self startThreadForThreadInfo: vmThread) ifFalse: [self releaseVM]]]! Item was changed: ----- Method: CogThreadManager>>initialize (in category 'initialize-release') ----- initialize - <doNotGenerate> vmOwner := numThreads := numThreadsIncrement := 0. memoryIsScarce := false. + "N.B. Do not initialize threadLocalStorage; leave this to ioInitThreadLocalThreadIndices". + registerStates := IdentityDictionary new! - "N.B. Do not initialize threadLocalStorage; leave this to ioInitThreadLocalThreadIndices"! Item was changed: ----- Method: CogThreadManager>>shutdownModule (in category 'simulation') ----- shutdownModule <doNotGenerate> + | guiProcess activeProcess | - | guiProcess | threads ifNil: [^self]. + (guiProcess := self guiProcess) ~= (activeProcess := Processor activeProcess) ifTrue: - (guiProcess := self guiProcess) ~= Processor activeProcess ifTrue: [guiProcess signalException: (Notification new tag: #evaluateQuit; yourself). + Project current spawnNewProcessIfThisIsUI: activeProcess. + activeProcess terminate]. - Processor terminateActive]. threads do: [:ea| ea osThread ifNotNil: [:aProcess| + (aProcess ~~ activeProcess and: [aProcess ~~ guiProcess]) ifTrue: + [aProcess terminate]]]. + threads := nil! - (aProcess ~~ Processor activeProcess and: [aProcess ~~ guiProcess]) ifTrue: - [aProcess terminate]]]! Item was added: + ----- Method: CogThreadManager>>tryLockVMOwnerTo: (in category 'simulation') ----- + tryLockVMOwnerTo: value + "In the real VM this is a direct call of Cogit>>#tryLockVMOwnerTo:/ceTryLockVMOwner. + In the simulation this is where we save and switch register state." + <doNotGenerate> + | current post prior processor | + processor := cogit processor. + prior := processor registerState. + vmOwner ~= 0 ifTrue: + [registerStates at: vmOwner put: prior]. + (cogit tryLockVMOwnerTo: value) ifFalse: + [^false]. + post := processor registerState. + current := registerStates + at: vmOwner + ifAbsentPut: + [self assert: vmOwner = value. + processor voidRegisterState; registerState]. + 1 to: prior size do: + [:i| | neuf | + (prior at: i) ~= (neuf := post at: i) ifTrue: + [current at: i put: neuf]]. + cogit processor setRegisterState: current. + ^true! Item was changed: + ----- Method: CogVMSimulator>>ownVM: (in category 'debugging traps') ----- - ----- Method: CogVMSimulator>>ownVM: (in category 'multi-threading simulation switch') ----- ownVM: threadIndexAndFlags "This method includes or excludes CoInterpreterMT methods as required. Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" + (threadIndexAndFlags anyMask: DisownVMForProcessorRelinquish << DisownFlagsShift) ifFalse: + [self break]. - ^self perform: #ownVM: withArguments: {threadIndexAndFlags} inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was added: + ----- Method: CogVMSimulator>>primitivePropertyFlagsForSpur: (in category 'multi-threading simulation switch') ----- + primitivePropertyFlagsForSpur: primIndex + "This method includes or excludes CoInterpreterMT methods as required. + Auto-generated by CogVMSimulator>>ensureMultiThreadingOverridesAreUpToDate" + + ^self perform: #primitivePropertyFlagsForSpur: + withArguments: {primIndex} + inSuperclass: (cogThreadManager ifNil: [CoInterpreterPrimitives] ifNotNil: [CoInterpreterMT])! Item was changed: ----- Method: CogVMSimulator>>windowIsClosing (in category 'primitive support') ----- windowIsClosing self threadManager ifNotNil: + [:threadManager| threadManager shutdownModule]. - [:threadManager| - threadManager guiProcess ifNotNil: - [:guiProcess| - (guiProcess ~= Processor activeProcess - and: [guiProcess isInteger not]) ifTrue: - [guiProcess - signalException: - (Notification new tag: #evaluateQuit; yourself). - Processor terminateActive]]]. quitBlock ifNotNil: [:effectiveQuitBlock| quitBlock := nil. "stop recursion on explicit window close." [effectiveQuitBlock value] on: BlockCannotReturn do: [:ex|]] "Cause return from #test, et al"! Item was changed: VMStructType subclass: #CogVMThread + instanceVariableNames: 'index state priority osSemaphore osThread newMethodOrNull argumentCount primitiveFunctionPointer inMachineCode cStackPointer cFramePointer awolProcIndex awolProcLength awolProcesses' - instanceVariableNames: 'index state priority osSemaphore osThread newMethodOrNull argumentCount primitiveFunctionPointer inMachineCode cStackPointer cFramePointer reenterInterpreter awolProcIndex awolProcLength awolProcesses' classVariableNames: '' poolDictionaries: 'VMThreadingConstants' category: 'VMMaker-Multithreading'! !CogVMThread commentStamp: '<historical>' prior: 0! Instances of this class represent control blocks for native threads that cooperatively schedule the VM. See the class comment of CogThreadManager for full documentation. N.B. awolProcesses must be the last inst var.! Item was removed: - ----- Method: CogVMThread>>awolProcesses: (in category 'accessing') ----- - awolProcesses: anObject - "Set the value of awolProcesses" - - ^awolProcesses := anObject! Item was changed: ----- Method: CogVMThread>>initialize (in category 'initialize-release') ----- initialize - <doNotGenerate> awolProcLength := CogThreadManager awolProcessesIncrement. awolProcesses := CArrayAccessor on: (Array new: awolProcLength). awolProcIndex := 0! Item was removed: - ----- Method: CogVMThread>>reenterInterpreter (in category 'accessing') ----- - reenterInterpreter - "Answer the value of reenterInterpreter" - - ^ reenterInterpreter! Item was removed: - ----- Method: CogVMThread>>reenterInterpreter: (in category 'accessing') ----- - reenterInterpreter: anObject - "Set the value of reenterInterpreter" - - ^reenterInterpreter := anObject! Item was changed: ----- Method: Cogit>>initializeProcessor (in category 'initialization') ----- initializeProcessor "Initialize the simulation processor, arranging that its initial stack is somewhere on the rump C stack." <doNotGenerate> guardPageSize := self class guardPageSize. lastNInstructions := OrderedCollection new. processor initializeStackFor: self. self initializeProcessorStack: coInterpreter rumpCStackAddress. coInterpreter setCFramePointer: processor fp setCStackPointer: processor sp. + (InitializationOptions at: #UseMultiProcessor ifAbsent: [false]) ifTrue: - threadManager ifNotNil: [processor := MultiProcessor for: processor coInterpreter: coInterpreter]!

1 0

VM Maker: VMMaker.oscog-eem.2892.mcz
by commits＠source.squeak.org 20 Nov '20

20 Nov '20

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2892.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2892 Author: eem Time: 20 November 2020, 11:51:23.884407 am UUID: c01b9cfa-a988-4deb-952c-2decf8ea1a0c Ancestors: VMMaker.oscog-eem.2891 Implement a better fix for the VMMaker.oscog-eem.2824/http://forum.world.st/corruption-of-PC-in-context-objects-or-not-tt5121662.html case. Instead of changing to the interpreter, mark the cog method containing instructionPointer and relocate instructionPointer in markActiveMethodsAndReferents/updateStackZoneReferencesToCompiledCodePreCompaction. Rename PrimCallMayCallBack to PrimCallMayEndureCodeCompaction. Get rid of some <doNotGenerate>'s from initialize methods. =============== Diff against VMMaker.oscog-eem.2891 =============== Item was changed: ----- Method: CoInterpreter class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants super initializeMiscConstants. COGVM := true. MinBackwardJumpCountForCompile := 40. MaxNumArgs := 15. PrimCallNeedsNewMethod := 1. PrimCallNeedsPrimitiveFunction := 2. + PrimCallMayEndureCodeCompaction := 4. - PrimCallMayCallBack := 4. PrimCallOnSmalltalkStack := 8. PrimCallCollectsProfileSamples := 16. "CheckAllocationFillerAfterPrimCall := 32. this has never been successfully used in all the years we've had it; nuking it" PrimCallDoNotJIT := 64. PrimTraceLogSize := 256. "Room for 256 selectors. Must be 256 because we use a byte to hold the index" TraceBufferSize := 256 * 3. "Room for 256 events" TraceContextSwitch := self objectMemoryClass basicNew integerObjectOf: 1. TraceBlockActivation := self objectMemoryClass basicNew integerObjectOf: 2. TraceBlockCreation := self objectMemoryClass basicNew integerObjectOf: 3. TraceIncrementalGC := self objectMemoryClass basicNew integerObjectOf: 4. TraceFullGC := self objectMemoryClass basicNew integerObjectOf: 5. TraceCodeCompaction := self objectMemoryClass basicNew integerObjectOf: 6. TraceOwnVM := self objectMemoryClass basicNew integerObjectOf: 7. TraceDisownVM := self objectMemoryClass basicNew integerObjectOf: 8. TraceThreadSwitch := self objectMemoryClass basicNew integerObjectOf: 9. TracePreemptDisowningThread := self objectMemoryClass basicNew integerObjectOf: 10. TraceVMCallback := self objectMemoryClass basicNew integerObjectOf: 11. TraceVMCallbackReturn := self objectMemoryClass basicNew integerObjectOf: 12. TraceStackOverflow := self objectMemoryClass basicNew integerObjectOf: 13. TracePrimitiveFailure := self objectMemoryClass basicNew integerObjectOf: 14. TracePrimitiveRetry := self objectMemoryClass basicNew integerObjectOf: 15. TraceIsFromMachineCode := 1. TraceIsFromInterpreter := 2. CSCallbackEnter := 3. CSCallbackLeave := 4. CSEnterCriticalSection := 5. CSExitCriticalSection := 6. CSResume := 7. CSSignal := 8. CSSuspend := 9. CSWait := 10. CSYield := 11. CSCheckEvents := 12. CSThreadSchedulingLoop := 13. CSOwnVM := 14. CSThreadBind := 15. CSSwitchIfNeccessary := 16. TraceSources := CArrayAccessor on: #('?' 'm' 'i' 'callbackEnter' 'callbackLeave' 'enterCritical' 'exitCritical' 'resume' 'signal' 'suspend' 'wait' 'yield' 'eventcheck' 'threadsched' 'ownVM' 'bindToThread' 'switchIfNecessary'). "this is simulation only" RumpCStackSize := 4096! Item was added: + ----- Method: CoInterpreter>>isCodeCompactingPrimitiveIndex: (in category 'primitive support') ----- + isCodeCompactingPrimitiveIndex: primIndex + "If instVarAt:, slotAt: or shallowCopy operate on a Context then they compute a + bytecode pc and hence may provoke a code compaction. Hence primtiive invocation + from these primitives must use a static return address (cePrimReturnEnterCogCode:)." + <inline: true> + self cCode: [] inSmalltalk: [#primitiveClone. #primitiveInstVarAt. #primitiveSlotAt]. "For senders..." + ^primIndex = PrimNumberInstVarAt + or: [primIndex = PrimNumberShallowCopy + or: [primIndex = PrimNumberSlotAt]]! Item was changed: ----- Method: CoInterpreter>>markActiveMethodsAndReferents (in category 'cog jit support') ----- markActiveMethodsAndReferents <api> + "If instructionPointer is referring to machine code, as it will be if a primitive is in progress + (see isCodeCompactingPrimitiveIndex:) it may refer to a method, and if so that method + must be retained." + instructionPointer ~= 0 ifTrue: + [(cogit cogMethodContaining: instructionPointer) ifNotNil: + [:primCogMethod| + cogit markMethodAndReferents: primCogMethod]]. + - | thePage | - <var: #thePage type: #'StackPage *'> 0 to: numStackPages - 1 do: + [:i| | thePage | - [:i| thePage := stackPages stackPageAt: i. (stackPages isFree: thePage) ifFalse: [self markCogMethodsAndReferentsOnPage: thePage]]! Item was changed: ----- Method: CoInterpreter>>markCogMethodsAndReferentsOnPage: (in category 'frame access') ----- markCogMethodsAndReferentsOnPage: thePage <var: #thePage type: #'StackPage *'> | theFP callerFP | - <var: #theFP type: #'char *'> - <var: #callerFP type: #'char *'> <inline: false> self assert: (stackPages isFree: thePage) not. self assert: (self ifCurrentStackPageHasValidHeadPointers: thePage). theFP := thePage headFP. - "Skip the instruction pointer on top of stack of inactive pages." [(self isMachineCodeFrame: theFP) ifTrue: [cogit markMethodAndReferents: (self mframeCogMethod: theFP)]. (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: [theFP := callerFP]! Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForSpur: (in category 'cog jit support') ----- primitivePropertyFlagsForSpur: primIndex <inline: true> "Answer any special requirements of the given primitive. Spur always needs to set primitiveFunctionPointer and newMethod so primitives can retry on failure due to forwarders." | baseFlags | self cCode: [] inSmalltalk: [#(mcprimHashMultiply: primitiveExternalCall primitiveCalloutToFFI)]. "For senders..." primIndex = PrimNumberHashMultiply ifTrue: [^PrimCallOnSmalltalkStack]. baseFlags := PrimCallNeedsPrimitiveFunction + PrimCallNeedsNewMethod. profileSemaphore ~= objectMemory nilObject ifTrue: [baseFlags := baseFlags bitOr: PrimCallCollectsProfileSamples]. + ((self isCalloutPrimitiveIndex: primIndex) "For callbacks" + or: [self isCodeCompactingPrimitiveIndex: primIndex]) ifTrue: "For code reclamations" + [baseFlags := baseFlags bitOr: PrimCallMayEndureCodeCompaction]. - (self isCalloutPrimitiveIndex: primIndex) ifTrue: "For callbacks" - [baseFlags := baseFlags bitOr: PrimCallMayCallBack]. ^baseFlags! Item was changed: ----- Method: CoInterpreter>>primitivePropertyFlagsForV3: (in category 'cog jit support') ----- primitivePropertyFlagsForV3: primIndex <inline: true> "Answer any special requirements of the given primitive" | baseFlags | baseFlags := profileSemaphore ~= objectMemory nilObject ifTrue: [PrimCallNeedsNewMethod + PrimCallCollectsProfileSamples] ifFalse: [0]. longRunningPrimitiveCheckSemaphore ifNotNil: [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod]. (self isCalloutPrimitiveIndex: primIndex) ifTrue: "For callbacks" + [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod + PrimCallNeedsPrimitiveFunction + PrimCallMayEndureCodeCompaction]. - [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod + PrimCallNeedsPrimitiveFunction + PrimCallMayCallBack]. (self isCodeCompactingPrimitiveIndex: primIndex) ifTrue: + [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod + PrimCallMayEndureCodeCompaction]. - [baseFlags := baseFlags bitOr: PrimCallNeedsNewMethod]. ^baseFlags! Item was changed: ----- Method: CoInterpreter>>updateStackZoneReferencesToCompiledCodePreCompaction (in category 'code compaction') ----- updateStackZoneReferencesToCompiledCodePreCompaction <api> + "Go through all frames in the stack zone and mark their methods + so that compaction does not free any methods that are in use." + <var: 'primCogMethod' type: #'CogMethod *'> + + "If instructionPointer is referring to machine code, as it will be if a primitive is in progress + (see isCodeCompactingPrimitiveIndex:) it must be updated if it is referring to a moved + method." + instructionPointer ~= 0 ifTrue: + [(cogit cogMethodContaining: instructionPointer) ifNotNil: + [:primCogMethod| + instructionPointer := instructionPointer + primCogMethod objectHeader]]. + - <var: #thePage type: #'StackPage *'> - <var: #theFP type: #'char *'> - <var: #callerFP type: #'char *'> - <var: #theIPPtr type: #'char *'> - <var: #theIP type: #usqInt> - <var: #theMethod type: #'CogMethod *'> 0 to: numStackPages - 1 do: + [:i| | thePage | - [:i| | thePage theFP callerFP theIPPtr theIP theMethodField theFlags theMethod | thePage := stackPages stackPageAt: i. (stackPages isFree: thePage) ifFalse: + [self updateStackZoneReferencesToCompiledCodePreCompactionOnPage: thePage]]! - [theIPPtr := thePage headSP. - theFP := thePage headFP. - [(self isMachineCodeFrame: theFP) ifTrue: - [theMethodField := self frameMethodField: theFP. - theFlags := theMethodField bitAnd: MFMethodFlagsMask. - theMethod := self cCoerceSimple: theMethodField - theFlags to: #'CogMethod *'. - theMethod cmType = CMBlock ifTrue: - [theMethod := (self cCoerceSimple: theMethodField - theFlags to: #'CogBlockMethod *') cmHomeMethod]. - theIP := (stackPages longAt: theIPPtr) asUnsignedInteger. - (theIP ~= cogit ceCannotResumePC - and: [self asserta: (theIP >= theMethod asUnsignedInteger - and: [theIP < (theMethod asUnsignedInteger + theMethod blockSize)])]) ifTrue: - [stackPages - longAt: theIPPtr - put: theIP + theMethod objectHeader]. - stackPages - longAt: theFP + FoxMethod - put: theMethodField + theMethod objectHeader]. - (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: - [theIPPtr := theFP + FoxCallerSavedIP. - theFP := callerFP]]]! Item was added: + ----- Method: CoInterpreter>>updateStackZoneReferencesToCompiledCodePreCompactionOnPage: (in category 'frame access') ----- + updateStackZoneReferencesToCompiledCodePreCompactionOnPage: thePage + <var: #thePage type: #'StackPage *'> + <inline: true> + | theFP callerFP theIPPtr theIP theMethodField theFlags theMethod | + theIPPtr := thePage headSP. + theFP := thePage headFP. + [(self isMachineCodeFrame: theFP) ifTrue: + [theMethodField := self frameMethodField: theFP. + theFlags := theMethodField bitAnd: MFMethodFlagsMask. + theMethod := self cCoerceSimple: theMethodField - theFlags to: #'CogMethod *'. + theMethod cmType = CMBlock ifTrue: + [theMethod := (self cCoerceSimple: theMethodField - theFlags to: #'CogBlockMethod *') cmHomeMethod]. + theIP := (stackPages longAt: theIPPtr) asUnsignedInteger. + (theIP ~= cogit ceCannotResumePC + and: [self asserta: (theIP >= theMethod asUnsignedInteger + and: [theIP < (theMethod asUnsignedInteger + theMethod blockSize)])]) ifTrue: + [stackPages + longAt: theIPPtr + put: theIP + theMethod objectHeader]. + stackPages + longAt: theFP + FoxMethod + put: theMethodField + theMethod objectHeader]. + (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: + [theIPPtr := theFP + FoxCallerSavedIP. + theFP := callerFP]! Item was removed: - ----- Method: CoInterpreterPrimitives>>cloneContext: (in category 'primitive support') ----- - cloneContext: aContext - "Copy a Context. There are complications here. - Fields of married contexts must be mapped to image-level values. - In mapping a machine code pc, a code compaction may occur. - In this case return through machine code is impossible without - updating a C call stack return address, since the machine code - method that invoked this primitive could have moved. So if this - happens, map to an interpreter frame and return to the interpreter." - | cloned couldBeCogMethod | - self assert: ((objectMemory isCompiledMethod: newMethod) - and: [(self primitiveIndexOf: newMethod) > 0]). - - couldBeCogMethod := objectMemory rawHeaderOf: newMethod. - cloned := super cloneContext: aContext. - - "If the header has changed in any way then it is most likely that machine code - has been moved or reclaimed for this method and so normal return is impossible." - couldBeCogMethod ~= (objectMemory rawHeaderOf: newMethod) ifTrue: - [self convertToInterpreterFrame: 0. - self push: cloned. - cogit ceInvokeInterpret - "NOTREACHED"]. - - ^cloned! Item was removed: - ----- Method: CoInterpreterPrimitives>>primitiveInstVarAt (in category 'object access primitives') ----- - primitiveInstVarAt - "Override to deal with potential code compaction on accessing context pcs" - | index rcvr hdr fmt totalLength fixedFields value | - self assert: ((objectMemory isCompiledMethod: newMethod) - and: [(self primitiveIndexOf: newMethod) > 0]). - - index := self stackTop. - rcvr := self stackValue: 1. - ((objectMemory isNonIntegerObject: index) - or: [argumentCount > 1 "e.g. object:instVarAt:" - and: [objectMemory isOopForwarded: rcvr]]) ifTrue: - [^self primitiveFailFor: PrimErrBadArgument]. - (objectMemory isImmediate: rcvr) ifTrue: [^self primitiveFailFor: PrimErrInappropriate]. - index := objectMemory integerValueOf: index. - hdr := objectMemory baseHeader: rcvr. - fmt := objectMemory formatOfHeader: hdr. - totalLength := objectMemory lengthOf: rcvr baseHeader: hdr format: fmt. - fixedFields := objectMemory fixedFieldsOf: rcvr format: fmt length: totalLength. - (index >= 1 and: [index <= fixedFields]) ifFalse: - [^self primitiveFailFor: PrimErrBadIndex]. - (fmt = objectMemory indexablePointersFormat - and: [objectMemory isContextHeader: hdr]) - ifTrue: - [| couldBeCogMethod | - self externalWriteBackHeadFramePointers. - "Note newMethod's header to check for potential code compaction - in mapping the context's pc from machine code to bytecode." - index = InstructionPointerIndex ifTrue: - [couldBeCogMethod := objectMemory rawHeaderOf: newMethod]. - value := self externalInstVar: index - 1 ofContext: rcvr. - "If the header has changed in any way then it is most likely that machine code - has been moved or reclaimed for this method and so normal return is impossible." - (index = InstructionPointerIndex - and: [couldBeCogMethod ~= (objectMemory rawHeaderOf: newMethod)]) ifTrue: - [self pop: argumentCount + 1. - self convertToInterpreterFrame: 0. - self push: value. - cogit ceInvokeInterpret - "NOTREACHED"]] - ifFalse: [value := self subscript: rcvr with: index format: fmt]. - self pop: argumentCount + 1 thenPush: value! Item was removed: - ----- Method: CoInterpreterPrimitives>>primitiveSlotAt (in category 'object access primitives') ----- - primitiveSlotAt - "Answer a slot in an object. This numbers all slots from 1, ignoring the distinction between - named and indexed inst vars. In objects with both named and indexed inst vars, the named - inst vars precede the indexed ones. In non-object indexed objects (objects that contain - bits, not object references) this primitive answers the raw integral value at each slot. - e.g. for Strings it answers the character code, not the Character object at each slot." - - "Override to deal with potential code compaction on accessing context pcs" - | index rcvr fmt numSlots | - self assert: ((objectMemory isCompiledMethod: newMethod) - and: [(self primitiveIndexOf: newMethod) > 0]). - - index := self stackTop. - rcvr := self stackValue: 1. - (objectMemory isIntegerObject: index) ifFalse: - [^self primitiveFailFor: PrimErrBadArgument]. - (objectMemory isImmediate: rcvr) ifTrue: - [^self primitiveFailFor: PrimErrBadReceiver]. - fmt := objectMemory formatOf: rcvr. - index := (objectMemory integerValueOf: index) - 1. - - fmt <= objectMemory lastPointerFormat ifTrue: - [numSlots := objectMemory numSlotsOf: rcvr. - (self asUnsigned: index) < numSlots ifTrue: - [| value numLiveSlots | - (objectMemory isContextNonImm: rcvr) - ifTrue: - [self externalWriteBackHeadFramePointers. - numLiveSlots := (self stackPointerForMaybeMarriedContext: rcvr) + CtxtTempFrameStart. - (self asUnsigned: index) < numLiveSlots - ifTrue: - [| couldBeCogMethod | - "Note newMethod's header to check for potential code compaction - in mapping the context's pc from machine code to bytecode." - index = InstructionPointerIndex ifTrue: - [couldBeCogMethod := objectMemory rawHeaderOf: newMethod]. - value := self externalInstVar: index ofContext: rcvr. - "If the header has changed in any way then it is most likely that machine code - has been moved or reclaimed for this method and so normal return is impossible." - (index = InstructionPointerIndex - and: [couldBeCogMethod ~= (objectMemory rawHeaderOf: newMethod)]) ifTrue: - [self pop: argumentCount + 1. - self convertToInterpreterFrame: 0. - self push: value. - cogit ceInvokeInterpret - "NOTREACHED"]] - ifFalse: [value := objectMemory nilObject]] - ifFalse: - [value := objectMemory fetchPointer: index ofObject: rcvr]. - self pop: argumentCount + 1 thenPush: value. - ^0]. - ^self primitiveFailFor: PrimErrBadIndex]. - - fmt >= objectMemory firstByteFormat ifTrue: - [fmt >= objectMemory firstCompiledMethodFormat ifTrue: - [^self primitiveFailFor: PrimErrUnsupported]. - numSlots := objectMemory numBytesOfBytes: rcvr. - (self asUnsigned: index) < numSlots ifTrue: - [self pop: argumentCount + 1 thenPushInteger: (objectMemory fetchByte: index ofObject: rcvr). - ^0]. - ^self primitiveFailFor: PrimErrBadIndex]. - - (objectMemory hasSpurMemoryManagerAPI - and: [fmt >= objectMemory firstShortFormat]) ifTrue: - [numSlots := objectMemory num16BitUnitsOf: rcvr. - (self asUnsigned: index) < numSlots ifTrue: - [self pop: argumentCount + 1 thenPushInteger: (objectMemory fetchUnsignedShort16: index ofObject: rcvr). - ^0]. - ^self primitiveFailFor: PrimErrBadIndex]. - - fmt = objectMemory sixtyFourBitIndexableFormat ifTrue: - [numSlots := objectMemory num64BitUnitsOf: rcvr. - (self asUnsigned: index) < numSlots ifTrue: - [self pop: argumentCount + 1 - thenPush: (self positive64BitIntegerFor: (objectMemory fetchLong64: index ofObject: rcvr)). - ^0]. - ^self primitiveFailFor: PrimErrBadIndex]. - - fmt >= objectMemory firstLongFormat ifTrue: - [numSlots := objectMemory num32BitUnitsOf: rcvr. - (self asUnsigned: index) < numSlots ifTrue: - [self pop: argumentCount + 1 - thenPush: (self positive32BitIntegerFor: (objectMemory fetchLong32: index ofObject: rcvr)). - ^0]. - ^self primitiveFailFor: PrimErrBadIndex]. - - ^self primitiveFailFor: PrimErrBadReceiver! Item was removed: - ----- Method: CogARMCompiler>>initialize (in category 'generate machine code') ----- - initialize - "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." - <doNotGenerate> - operands := CArrayAccessor on: (Array new: NumOperands). - machineCode := CArrayAccessor on: (WordArray new: self machineCodeWords)! Item was changed: ----- Method: CogAbstractInstruction>>initialize (in category 'initialization') ----- initialize "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." - <doNotGenerate> operands := CArrayAccessor on: (Array new: NumOperands). + machineCode := CArrayAccessor on: (self codeGranularity = 4 + ifTrue: [WordArray new: self machineCodeWords] + ifFalse: [ByteArray new: self machineCodeBytes])! - machineCode := CArrayAccessor on: (ByteArray new: self machineCodeBytes)! Item was removed: - ----- Method: CogMIPSELCompiler>>initialize (in category 'generate machine code') ----- - initialize - "This method intializes the Smalltalk instance. The C instance is merely a struct and doesn't need initialization." - <doNotGenerate> - operands := CArrayAccessor on: (Array new: NumOperands). - machineCode := CArrayAccessor on: (Array new: self machineCodeWords)! Item was changed: SharedPool subclass: #CogMethodConstants instanceVariableNames: '' + classVariableNames: 'CMBlock CMClosedPIC CMFree CMMaxUsageCount CMMethod CMOpenPIC CompletePrimitive EncounteredUnknownBytecode InsufficientCodeSpace MaxLiteralCountForCompile MaxMethodSize MaxNegativeErrorCode MaxNumArgs MaxStackCheckOffset MethodTooBig NotFullyInitialized PrimCallCollectsProfileSamples PrimCallDoNotJIT PrimCallMayEndureCodeCompaction PrimCallNeedsNewMethod PrimCallNeedsPrimitiveFunction PrimCallOnSmalltalkStack ShouldNotJIT UnfailingPrimitive UnimplementedPrimitive YoungSelectorInPIC' - classVariableNames: 'CMBlock CMClosedPIC CMFree CMMaxUsageCount CMMethod CMOpenPIC CompletePrimitive EncounteredUnknownBytecode InsufficientCodeSpace MaxLiteralCountForCompile MaxMethodSize MaxNegativeErrorCode MaxNumArgs MaxStackCheckOffset MethodTooBig NotFullyInitialized PrimCallCollectsProfileSamples PrimCallDoNotJIT PrimCallMayCallBack PrimCallNeedsNewMethod PrimCallNeedsPrimitiveFunction PrimCallOnSmalltalkStack ShouldNotJIT UnfailingPrimitive UnimplementedPrimitive YoungSelectorInPIC' poolDictionaries: '' category: 'VMMaker-JIT'! Item was added: + ----- Method: CogMethodZone>>cogMethodContaining: (in category 'jit - api') ----- + cogMethodContaining: mcpc + "Answer the method containing mcpc for the purposes of code zone compaction, + where mcpc is actually the value of instructionPointer at the time of a compaction." + <var: 'mcpc' type: #usqInt> + <api> + | cogMethod prevMethod | + mcpc > limitAddress ifTrue: + [^nil]. + mcpc < baseAddress ifTrue: + [cogit assertMcpcIsPrimReturn: mcpc. + ^nil]. + self assert: mcpc < self limitZony. + cogMethod := coInterpreter cCoerceSimple: baseAddress to: #'CogMethod *'. + [cogMethod < mcpc] whileTrue: + [prevMethod := cogMethod. + cogMethod := self methodAfter: cogMethod]. + + "Since mcpc is actually instructionPointer we expect that it is either at the stack check + (normal code zone reclamation invoked through checkForEventsMayContextSwitch:) + or is in a primitive, immediately following the call of the C primitive routine." + self assert: (prevMethod notNil + and: [mcpc = prevMethod asUnsignedInteger + prevMethod stackCheckOffset + or: [(coInterpreter + primitiveIndexOfMethod: prevMethod methodObject + header: prevMethod methodHeader) > 0 + and: [cogit backEnd isCallPrecedingReturnPC: mcpc]]]). + ^prevMethod! Item was added: + ----- Method: Cogit>>assertMcpcIsPrimReturn: (in category 'debugging') ----- + assertMcpcIsPrimReturn: mcpc + <inline: #always> + ^self assert: (mcpc = cePrimReturnEnterCogCode + or: [mcpc = cePrimReturnEnterCogCodeProfiling])! Item was added: + ----- Method: Cogit>>cogMethodContaining: (in category 'jit - api') ----- + cogMethodContaining: mcpc + <doNotGenerate> + ^methodZone cogMethodContaining: mcpc! Item was changed: ----- Method: SimpleStackBasedCogit>>compileInterpreterPrimitive:flags: (in category 'primitive generators') ----- compileInterpreterPrimitive: primitiveRoutine flags: flags "Compile a call to an interpreter primitive. Call the C routine with the usual stack-switching dance, test the primFailCode and then either return on success or continue to the method body." <var: #primitiveRoutine declareC: 'void (*primitiveRoutine)(void)'> | jmp jmpSamplePrim continuePostSamplePrim jmpSampleNonPrim continuePostSampleNonPrim | <var: #jmp type: #'AbstractInstruction *'> <var: #jmpSamplePrim type: #'AbstractInstruction *'> <var: #jmpSampleNonPrim type: #'AbstractInstruction *'> <var: #continuePostSamplePrim type: #'AbstractInstruction *'> <var: #continuePostSampleNonPrim type: #'AbstractInstruction *'> "Save processor fp, sp and return pc in the interpreter's frame stack and instruction pointers" self genExternalizePointersForPrimitiveCall. "Switch to the C stack." self genLoadCStackPointersForPrimCall. (flags anyMask: PrimCallCollectsProfileSamples) ifTrue: ["Test nextProfileTick for being non-zero and call checkProfileTick if so" objectMemory wordSize = 4 ifTrue: [self MoveAw: coInterpreter nextProfileTickAddress R: TempReg. self MoveAw: coInterpreter nextProfileTickAddress + objectMemory wordSize R: ClassReg. self OrR: TempReg R: ClassReg] ifFalse: [self MoveAw: coInterpreter nextProfileTickAddress R: TempReg. self CmpCq: 0 R: TempReg]. "If set, jump to record sample call." jmpSampleNonPrim := self JumpNonZero: 0. continuePostSampleNonPrim := self Label]. "Old full prim trace is in VMMaker-eem.550 and prior" self recordPrimTrace ifTrue: [self genFastPrimTraceUsing: ClassReg and: SendNumArgsReg]. "Clear the primFailCode and set argumentCount" self MoveCq: 0 R: TempReg. self MoveR: TempReg Aw: coInterpreter primFailCodeAddress. methodOrBlockNumArgs ~= 0 ifTrue: [self MoveCq: methodOrBlockNumArgs R: TempReg]. self MoveR: TempReg Aw: coInterpreter argumentCountAddress. "If required, set primitiveFunctionPointer and newMethod" (flags anyMask: PrimCallNeedsPrimitiveFunction) ifTrue: [self MoveCw: primitiveRoutine asInteger R: TempReg. primSetFunctionLabel := self MoveR: TempReg Aw: coInterpreter primitiveFunctionPointerAddress]. + (flags anyMask: PrimCallNeedsNewMethod+PrimCallMayEndureCodeCompaction) ifTrue: - (flags anyMask: PrimCallNeedsNewMethod+PrimCallMayCallBack) ifTrue: ["The ceActivateFailingPrimitiveMethod: machinery can't handle framelessness." + (flags anyMask: PrimCallMayEndureCodeCompaction) ifTrue: - (flags anyMask: PrimCallMayCallBack) ifTrue: [needsFrame := true]. methodLabel addDependent: (self annotateAbsolutePCRef: (self MoveCw: methodLabel asInteger R: ClassReg)). self MoveMw: (self offset: CogMethod of: #methodObject) r: ClassReg R: TempReg. self MoveR: TempReg Aw: coInterpreter newMethodAddress]. "Invoke the primitive" self PrefetchAw: coInterpreter primFailCodeAddress. + (flags anyMask: PrimCallMayEndureCodeCompaction) - (flags anyMask: PrimCallMayCallBack) ifTrue: "Sideways call the C primitive routine so that we return through cePrimReturnEnterCogCode." ["On Spur ceActivateFailingPrimitiveMethod: would like to retry if forwarders are found. So insist on PrimCallNeedsPrimitiveFunction being set too." self assert: (flags anyMask: PrimCallNeedsPrimitiveFunction). backEnd genMarshallNArgs: 0 arg: nil arg: nil arg: nil arg: nil; genSubstituteReturnAddress: ((flags anyMask: PrimCallCollectsProfileSamples) ifTrue: [cePrimReturnEnterCogCodeProfiling] ifFalse: [cePrimReturnEnterCogCode]). primInvokeInstruction := self JumpFullRT: primitiveRoutine asInteger. jmp := jmpSamplePrim := continuePostSamplePrim := nil] ifFalse: ["Call the C primitive routine." backEnd genMarshallNArgs: 0 arg: 0 arg: 0 arg: 0 arg: 0. primInvokeInstruction := self CallFullRT: primitiveRoutine asInteger. backEnd genRemoveNArgsFromStack: 0. (flags anyMask: PrimCallCollectsProfileSamples) ifTrue: [self assert: (flags anyMask: PrimCallNeedsNewMethod). "Test nextProfileTick for being non-zero and call checkProfileTick if so" objectMemory wordSize = 4 ifTrue: [self MoveAw: coInterpreter nextProfileTickAddress R: TempReg. self MoveAw: coInterpreter nextProfileTickAddress + objectMemory wordSize R: ClassReg. self OrR: TempReg R: ClassReg] ifFalse: [self MoveAw: coInterpreter nextProfileTickAddress R: TempReg. self CmpCq: 0 R: TempReg]. "If set, jump to record sample call." jmpSamplePrim := self JumpNonZero: 0. continuePostSamplePrim := self Label]. objectRepresentation maybeCompileRetryOnPrimitiveFail: primitiveIndex. "Switch back to the Smalltalk stack. Stack better be in either of these two states: success: stackPointer -> result (was receiver) arg1 ... argN return pc failure: receiver arg1 ... stackPointer -> argN return pc In either case we can push the instructionPointer or load it into the LinkRegister to reestablish the return pc" self MoveAw: coInterpreter instructionPointerAddress R: (backEnd hasLinkRegister ifTrue: [LinkReg] ifFalse: [ClassReg]). backEnd genLoadStackPointers. "Test primitive failure" self MoveAw: coInterpreter primFailCodeAddress R: TempReg. backEnd hasLinkRegister ifFalse: [self PushR: ClassReg]. "Restore return pc on CISCs" self flag: 'ask concrete code gen if move sets condition codes?'. self CmpCq: 0 R: TempReg. jmp := self JumpNonZero: 0. "Fetch result from stack" self MoveMw: (backEnd hasLinkRegister ifTrue: [0] ifFalse: [objectMemory wordSize]) r: SPReg R: ReceiverResultReg. self RetN: objectMemory wordSize]. "return to caller, popping receiver" (flags anyMask: PrimCallCollectsProfileSamples) ifTrue: ["The sample is collected by cePrimReturnEnterCogCode for external calls" jmpSamplePrim ifNotNil: ["Call ceCheckProfileTick: to record sample and then continue." jmpSamplePrim jmpTarget: self Label. self assert: (flags anyMask: PrimCallNeedsNewMethod). self CallFullRT: (self cCode: [#ceCheckProfileTick asUnsignedIntegerPtr] inSmalltalk: [self simulatedTrampolineFor: #ceCheckProfileTick]). "reenter the post-primitive call flow" self Jump: continuePostSamplePrim]. "Null newMethod and call ceCheckProfileTick: to record sample and then continue. ceCheckProfileTick will map null/0 to coInterpreter nilObject" jmpSampleNonPrim jmpTarget: self Label. self MoveCq: 0 R: TempReg. self MoveR: TempReg Aw: coInterpreter newMethodAddress. self CallFullRT: (self cCode: [#ceCheckProfileTick asUnsignedIntegerPtr] inSmalltalk: [self simulatedTrampolineFor: #ceCheckProfileTick]). "reenter the post-primitive call flow" self Jump: continuePostSampleNonPrim]. jmp ifNotNil: ["Jump to restore of receiver reg and proceed to frame build for failure." jmp jmpTarget: self Label. "Restore receiver reg from stack. If on RISCs ret pc is in LinkReg, if on CISCs ret pc is on stack." self MoveMw: objectMemory wordSize * (methodOrBlockNumArgs + (backEnd hasLinkRegister ifTrue: [0] ifFalse: [1])) r: SPReg R: ReceiverResultReg]. ^0! Item was changed: ----- Method: SimpleStackBasedCogit>>rewritePrimInvocationIn:to: (in category 'external primitive support') ----- rewritePrimInvocationIn: cogMethod to: primFunctionPointer <api> <var: #cogMethod type: #'CogMethod *'> <var: #primFunctionPointer declareC: #'void (*primFunctionPointer)(void)'> | primIndex flags address extent | self cCode: [] inSmalltalk: [primFunctionPointer isInteger ifFalse: [^self rewritePrimInvocationIn: cogMethod to: (self simulatedTrampolineFor: primFunctionPointer)]]. self assert: cogMethod cmType = CMMethod. primIndex := coInterpreter primitiveIndexOfMethod: cogMethod methodObject header: cogMethod methodHeader. flags := coInterpreter primitivePropertyFlags: primIndex. (flags anyMask: PrimCallNeedsPrimitiveFunction) ifTrue: [backEnd storeLiteral: primFunctionPointer asUnsignedInteger beforeFollowingAddress: cogMethod asUnsignedInteger + (externalSetPrimOffsets at: cogMethod cmNumArgs)]. "See compileInterpreterPrimitive:" + (flags anyMask: PrimCallMayEndureCodeCompaction) - (flags anyMask: PrimCallMayCallBack) ifTrue: [address := cogMethod asUnsignedInteger + (externalPrimJumpOffsets at: cogMethod cmNumArgs). extent := backEnd rewriteJumpFullAt: address target: primFunctionPointer asUnsignedInteger] ifFalse: [address := cogMethod asUnsignedInteger + (externalPrimCallOffsets at: cogMethod cmNumArgs). extent := backEnd rewriteCallFullAt: address target: primFunctionPointer asUnsignedInteger]. extent > 0 ifTrue: [backEnd flushICacheFrom: cogMethod asUnsignedInteger + cmNoCheckEntryOffset to: address asUnsignedInteger + extent]! Item was removed: - ----- Method: StackInterpreter>>isCodeCompactingPrimitiveIndex: (in category 'primitive support') ----- - isCodeCompactingPrimitiveIndex: primIndex - "If instVarAt:, slotAt: or shallowCopy operate on a Context then they compute a - bytecode pc and hence may provoke a code compaction. If so, they *cannot* - return through the potentially moved method and so continue in the interpreter." - <inline: true> - self cCode: [] inSmalltalk: [#primitiveClone primitiveInstVarAt primitiveSlotAt]. "For senders..." - ^primIndex = PrimNumberInstVarAt - or: [primIndex = PrimNumberShallowCopy - or: [primIndex = PrimNumberSlotAt]]!

1 0

Still Failing: OpenSmalltalk/opensmalltalk-vm#2310 (Cog - 47691a2)
by Travis CI 20 Nov '20

20 Nov '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2310 Status: Still Failing Duration: 10 hrs, 15 mins, and 14 secs Commit: 47691a2 (Cog) Author: Eliot Miranda Message: Merge branch 'Cog' of https://github.com/OpenSmalltalk/opensmalltalk-vm into Cog View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/aaff428d0fae...df… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74478295… -- 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

Still Failing: OpenSmalltalk/opensmalltalk-vm#2309 (Cog - aaff428)
by Travis CI 20 Nov '20

20 Nov '20

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #2309 Status: Still Failing Duration: 7 hrs, 43 mins, and 14 secs Commit: aaff428 (Cog) Author: Eliot Miranda Message: CogVM source as per VMMaker.oscog-eem.2891 Fix a Slang regression in VMMaker.oscog-eem.2884. The elision of unused argument assignments also elided argument expressions that had side-effects. The fix is to retain epxressions that have side effects but generate assignments of those expressions to inlined variables only for variables that are actually used in the expansion. The symptom fixed is the bad bug of Context>>objectClass: answering the class of the receiver, not its argument. View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/d86b483695d3...aa… View the full build log and details: https://travis-ci.org/github/OpenSmalltalk/opensmalltalk-vm/builds/74478259… -- 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.2314
by AppVeyor 20 Nov '20

20 Nov '20

1 0

← Newer
1
2
3
4
5
6
7
8
9
...
16
Older →

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 November 2020