Marcel Taeumel uploaded a new version of System to project The Trunk: http://source.squeak.org/trunk/System-mt.1438.mcz
==================== Summary ====================
Name: System-mt.1438 Author: mt Time: 8 December 2023, 11:31:27.809415 am UUID: 75344910-1154-0c45-b3f4-88ab0d6479c6 Ancestors: System-codefrau.1437
Adds #imageHeaderFlagAt:(put:) as a more readable interface for VM parameter 48. In the postscript, finally set flags 0 and 8. Updates commentary here and there.
=============== Diff against System-codefrau.1437 ===============
Item was added: + ----- Method: SmalltalkImage>>doMixedArithmetic (in category 'system attributes') ----- + doMixedArithmetic + "Answer whether the VM can handle arithmetic conversions: + SmallInteger arithmeticOp: Float (Small or Boxed) + SmallInteger compareOp: Float (Small or Boxed) + Else, the primitives will fail in case of mixed arithmetic, and conversion + should be performed in the image." + + ^ self vmParameterAt: 75 ifAbsent: [true] + "^ (self imageHeaderFlagAt: 6) negated"!
Item was added: + ----- Method: SmalltalkImage>>doMixedArithmetic: (in category 'system attributes') ----- + doMixedArithmetic: aBoolean + "Answer whether the VM can handle arithmetic conversions: + SmallInteger arithmeticOp: Float (Small or Boxed) + SmallInteger compareOp: Float (Small or Boxed) + Else, the primitives will fail in case of mixed arithmetic, and conversion + should be performed in the image. + This flag persists across snapshots, stored in the image header." + + self vmParameterAt: 75 put: aBoolean. + "self imageHeaderFlagAt: 6 put: aBoolean not"!
Item was added: + ----- Method: SmalltalkImage>>flagInterpretedMethods (in category 'system attributes') ----- + flagInterpretedMethods + "The Cog VM can be instructed to set the flag bit of CompiledMethods that + it executes but will only interpret. This can be used e.g. to profile startup. + See CompiledMethod>>#flag & CompiledMethod>>#clearFlag." + + ^ self imageHeaderFlagAt: 1!
Item was changed: ----- Method: SmalltalkImage>>flagInterpretedMethods: (in category 'system attributes') ----- flagInterpretedMethods: aBoolean "The Cog VM can be instructed to set the flag bit of CompiledMethods that it executes but will only interpret. This can be used e.g. to profile startup. See CompiledMethod>>#flag & CompiledMethod>>#clearFlag. This flag persists across snapshots, stored in the image header."
+ ^ self imageHeaderFlagAt: 1 put: aBoolean! - self vmParameterAt: 48 put: ((self vmParameterAt: 48) bitClear: 2) + (aBoolean ifTrue: [2] ifFalse: [0])!
Item was added: + ----- Method: SmalltalkImage>>imageHeaderFlagAt: (in category 'vm parameters') ----- + imageHeaderFlagAt: bitIndex + "Access image header flags. Answer whether the flag at the given bitIndex is raised (or set)." + + ^ (self vmParameterAt: 48 ifAbsent: 0) anyMask: 1 << bitIndex!
Item was added: + ----- Method: SmalltalkImage>>imageHeaderFlagAt:put: (in category 'vm parameters') ----- + imageHeaderFlagAt: bitIndex put: aBoolean + "Persist image header flag. See commentary in #vmParameterAt:. + Set or clear the flag (or bit) and the given bitIndex." + + | mask | + mask := 1 << bitIndex. + ^ self vmParameterAt: 48 put: ((self vmParameterAt: 48 ifAbsent: [^ nil]) bitClear: mask) + + (aBoolean ifTrue: [mask] ifFalse: [0])!
Item was added: + ----- Method: SmalltalkImage>>processHasThreadAffinityInstVar (in category 'system attributes') ----- + processHasThreadAffinityInstVar + "The threaded VM needs to know if the 4th inst var of Process + is threadAffinity which it uses to control process-to-thread binding." + + | flag | + flag := self imageHeaderFlagAt: 0. + self assert: [flag ==> [(Process instVarNames at: 4) = 'threadAffinity']]. + ^ flag!
Item was added: + ----- Method: SmalltalkImage>>processHasThreadAffinityInstVar: (in category 'system attributes') ----- + processHasThreadAffinityInstVar: aBoolean + "The threaded VM needs to know if the 4th inst var of Process + is threadAffinity which it uses to control process-to-thread binding. + This flag persists across snapshots, stored in the image header." + + self assert: [aBoolean ==> [(Process instVarNames at: 4) = 'threadAffinity']]. + ^ self imageHeaderFlagAt: 0 put: aBoolean!
Item was removed: - ----- Method: SmalltalkImage>>processHasThreadIdInstVar: (in category 'system attributes') ----- - processHasThreadIdInstVar: aBoolean - "The threaded VM needs to know if the 4th inst var of Process - is threadId which it uses to control process-to-thread binding. - This flag persists across snapshots, stored in the image header." - aBoolean ifTrue: [self assert: (Process instVarNames at: 4) = 'threadId']. - self vmParameterAt: 48 put: ((self vmParameterAt: 48) bitClear: 1) + (aBoolean ifTrue: [1] ifFalse: [0])!
Item was changed: ----- Method: SmalltalkImage>>processPreemptionYields (in category 'system attributes') ----- processPreemptionYields "Answer whether the VM causes a process to yield on process preemption, i.e. to put a preempted process at the back of its run queue. If the parameter is unavailable (non-Cog VMs) or bit 2 (4) is 0 then preemption yields."
+ ^ (self imageHeaderFlagAt: 2) not! - ^(self vmParameterAt: 48 ifAbsent: 0) noMask: 4!
Item was changed: ----- Method: SmalltalkImage>>processPreemptionYields: (in category 'system attributes') ----- processPreemptionYields: aBoolean "The Cog VM can be instructed not to yield on process preemption, i.e. not to put a preempted process at the back of its run queue. By default preempting a process causes it to yield (Blue Book semantics) which can have unfortunate effects. This flag persists across snapshots, stored in the image header."
+ ^ self imageHeaderFlagAt: 2 put: aBoolean not! - [self vmParameterAt: 48 put: ((self vmParameterAt: 48) bitClear: 4) + (aBoolean ifTrue: [0] ifFalse: [4])] - on: Error - do: ["no VM parameter 48, do nothing"]!
Item was changed: ----- Method: SmalltalkImage>>sendMouseWheelEvents (in category 'system attributes') ----- sendMouseWheelEvents "The Cog VM can be instructed to deliver mouse wheel events as mouse wheel events. By default mouse wheel events are mapped to arrow events. This flag persists across snapshots, stored in the image header."
+ ^ self imageHeaderFlagAt: 5! - ^(self vmParameterAt: 48 ifAbsent: 0) anyMask: 32!
Item was changed: ----- Method: SmalltalkImage>>sendMouseWheelEvents: (in category 'system attributes') ----- sendMouseWheelEvents: aBoolean "The Cog VM can be instructed to deliver mouse wheel events as mouse wheel events. By default mouse wheel events are mapped to arrow events. This flag persists across snapshots, stored in the image header."
+ ^ self imageHeaderFlagAt: 5 put: aBoolean! - self vmParameterAt: 48 put: ((self vmParameterAt: 48) bitClear: 32) + (aBoolean ifTrue: [32] ifFalse: [0])!
Item was changed: ----- Method: SmalltalkImage>>supportsQueueingFinalization (in category 'system attributes') ----- supportsQueueingFinalization "Answer whether the VM queues individual weak arrays for finalization, instead of signalling the finalization semaphore once for all arrays and having the WeakRegistry mechanism finalize all weak arrays, whether they need to or not." "SmalltalkImage current supportsQueueingFinalization"
+ ^ self imageHeaderFlagAt: 4! - ^(self vmParameterAt: 48 ifAbsent: 0) anyMask: 16!
Item was changed: ----- Method: SmalltalkImage>>supportsQueueingFinalization: (in category 'system attributes') ----- supportsQueueingFinalization: aBoolean "Determine whether the VM queues individual weak arrays for finalization, instead of signalling the finalization semaphore once for all arrays and having the WeakRegistry mechanism finalize all weak arrays, whether they need to or not. This flag persists across snapshots, stored in the image header." "SmalltalkImage current supportsQueueingFinalization: true"
+ ^ self imageHeaderFlagAt: 4 put: aBoolean! - self vmParameterAt: 48 put: ((self vmParameterAt: 48 ifAbsent: [^false]) bitClear: 16) + (aBoolean ifTrue: [16] ifFalse: [0])!
Item was added: + ----- Method: SmalltalkImage>>upscaleDisplayOnHighDPI (in category 'system attributes') ----- + upscaleDisplayOnHighDPI + "When the VM detects a platform with high-DPI display, should it + take measures to upscale transparently so that the image can + work with the good-ol' low-DPI assumption? Older VMs did this + by default on some platforms. Older images (5.3 and before) + do not support high resolutions very well. The old 'demo mode' + was quite limited. Huge fonts a hassle." + + self flag: #todo. "mt: As of December 2023, there is no platform + code that does the upscaling (again) if the host platform fails to do + so. For example, macOS 12+ does not support this anymore. + Windows 11, however, still supports platform-based upscaling." + + ^ (self imageHeaderFlagAt: 8) not!
Item was added: + ----- Method: SmalltalkImage>>upscaleDisplayOnHighDPI: (in category 'system attributes') ----- + upscaleDisplayOnHighDPI: aBoolean + "See commentary in #upscaleDisplayOnHighDPI." + + ^ self imageHeaderFlagAt: 8 put: aBoolean not!
Item was changed: ----- Method: SmalltalkImage>>vmParameterAt: (in category 'vm parameters') ----- vmParameterAt: parameterIndex "parameterIndex is a positive integer corresponding to one of the VM's internal parameter/metric registers. Answer with the current value of that register. Fail if parameterIndex is invalid or has no corresponding register. Coerce positive integers for parameterIndices unknown to teh VM to nil. VM parameters are numbered as follows: 1 byte size of old-space (read-only) 2 byte size of young-space (read-only) 3 byte size of object memory (read-only) 4 allocationCount (read-only; nil in Cog VMs) 5 allocations between GCs (read-write; nil in Cog VMs) 6 survivor count tenuring threshold (read-write) 7 full GCs since startup (read-only) 8 total milliseconds in full GCs since startup (read-only) 9 incremental GCs since startup (read-only; scavenging GCs on Spur) 10 total milliseconds in incremental/scavenging GCs since startup (read-only) 11 tenures of surving objects since startup/last write (read-write) 12 event trace mask; if 1 << eventType is set in the mask then event received by primGetNextEvent: will be printed to stderr. 13 VM ticker start microseconds (Croquet/QwaqVM only) 14 VM ticker count (Croquet/QwaqVM only) 15 VM ticker call count (Croquet/QwaqVM only) 16 total microseconds in idle since startup 17 proportion of code zone available for use (Sista VMs only; read-write) 18 total milliseconds in full GC compaction since startup (a portion of parameter 8) 19 scavenge threshold; the effective size of eden 20 utc microseconds at VM start-up (actually at time initialization, which precedes image load) (newer Cog VMs only). 21 root (remembered) table size (read-only) 22 root (remembered) table overflows since startup (read-only) 23 bytes of extra memory to reserve for VM buffers, plugins, etc. 24 memory threshold above which to shrink object memory (read-write) 25 ammount to grow by when growing object memory (read-write) 26 interruptChecksEveryNms - force an ioProcessEvents every N milliseconds (read-write) 27 number of times mark loop iterated for current IGC/FGC (read-only) includes ALL marking 28 number of times sweep loop iterated for current IGC/FGC (read-only) 29 number of times make forward loop iterated for current IGC/FGC (read-only) 30 number of times compact move loop iterated for current IGC/FGC (read-only) 31 number of grow memory requests (read-only) 32 number of shrink memory requests (read-only) 33 number of root table entries used for current IGC/FGC (read-only) 34 bytes allocated in total since start-up or reset (read-write) 35 number of survivor objects after current IGC/FGC (read-only) 36 millisecond clock when current IGC/FGC completed (read-only) 37 number of marked objects for Roots of the world, not including Root Table entries for current IGC/FGC (read-only) 38 milliseconds taken by current IGC (read-only) 39 Number of finalization signals for Weak Objects pending when current IGC/FGC completed (read-only) 40 BytesPerWord for this image 41 imageFormatVersion for the VM 42 number of stack pages in use (Cog Stack VM only, otherwise nil) 43 desired number of stack pages (stored in image file header, max 65535; Cog VMs only, otherwise nil) 44 size of eden, in bytes (Cog VMs only, otherwise nil) 45 desired size of eden, in bytes (stored in image file header; Cog VMs only, otherwise nil) 46 size of machine code zone, in bytes (stored in image file header; Cog JIT VM only, otherwise nil) 47 desired size of machine code zone, in bytes (applies at startup only, stored in image file header; Cog JIT VM only) 48 various properties stored in the image header (that instruct the VM) as an integer encoding an array of bit flags. + Bit 0: in a threaded VM, if set, tells the VM that the image's Process class has threadAffinity as its 5th inst var + (after nextLink, suspendedContext, priority & myList) + Bit 1: in Cog JIT VMs, if set, asks the VM to set the flag bit in interpreted methods - Bit 0: tells the VM that the image's Process class has threadId as its 5th inst var (after nextLink, suspendedContext, priority & myList) - Bit 1: on Cog JIT VMs asks the VM to set the flag bit in interpreted methods Bit 2: if set, preempting a process puts it to the head of its run queue, not the back, i.e. preempting a process by a higher priority one will not cause the preempted process to yield to others at the same priority. + Bit 3: (unassigned) + Bit 4: in a Spur VM, if set, causes weaklings and ephemerons to be queued individually for finalization - Bit 3: in a muilt-threaded VM, if set, the Window system will only be accessed from the first VM thread - Bit 4: in a Spur vm, if set, causes weaklings and ephemerons to be queued individually for finalization Bit 5: if set, implies wheel events will be delivered as such and not mapped to arrow key events Bit 6: if set, implies arithmetic primitives will fail if given arguments of different types (float vs int) + Bit 7: if set, causes times delivered from file primitives to be in UTC rather than local time + Bit 8: if set, implies the VM will not upscale the display on high DPI monitors; older VMs did this by default. 49 the size of the external semaphore table (read-write; Cog VMs only) 50-51 reserved for VM parameters that persist in the image (such as eden above) 52 root (remembered) table maximum size (read-only) 53 the number of oldSpace segments (Spur only, otherwise nil) 54 total size of free old space (Spur only, otherwise nil) 55 ratio of growth and image size at or above which a GC will be performed post scavenge (Spur only, otherwise nil) 56 number of process switches since startup (read-only) 57 number of ioProcessEvents calls since startup (read-only) 58 number of forceInterruptCheck (Cog VMs) or quickCheckInterruptCalls (non-Cog VMs) calls since startup (read-only) 59 number of check event calls since startup (read-only) 60 number of stack page overflows since startup (read-only; Cog VMs only) 61 number of stack page divorces since startup (read-only; Cog VMs only) 62 number of machine code zone compactions since startup (read-only; Cog VMs only) 63 milliseconds taken by machine code zone compactions since startup (read-only; Cog VMs only) 64 current number of machine code methods (read-only; Cog VMs only) 65 In newer Cog VMs a set of flags describing VM features, if non-zero bit 0 implies multiple bytecode set support; if non-zero bit 1 implies read-only object support; if non-zero bit 2 implies the VM suffers from using an ITIMER heartbeat (if 0 it has a thread that provides the heartbeat) (read-only; Cog VMs only; nil in older Cog VMs, a boolean answering multiple bytecode support in not so old Cog VMs) if non-zero bit 3 implies the VM supports cross-platform BIT_IDENTICAL_FLOATING_POINT arithmetic if non-zero bit 4 implies the VM can catch exceptions in FFI calls and answer them as primitive failures if non-zero bit 5 implies the VM's suspend primitive backs up the process to before the wait if it was waiting on a condition variable 66 the byte size of a stack page in the stack zone (read-only; Cog VMs only) 67 the maximum allowed size of old space in bytes, 0 implies no internal limit (Spur VMs only). 68 the average number of live stack pages when scanned by GC (at scavenge/gc/become et al) 69 the maximum number of live stack pages when scanned by GC (at scavenge/gc/become et al) 70 the value of VM_PROXY_MAJOR (the interpreterProxy major version number) 71 the value of VM_PROXY_MINOR (the interpreterProxy minor version number) 72 total milliseconds in full GCs Mark phase since startup (read-only) 73 total milliseconds in full GCs Sweep phase since startup (read-only, can be 0 depending on compactors) 74 maximum pause time due to segment allocation 75 whether arithmetic primitives will do mixed type arithmetic; if false they fail for different receiver and argument types 76 the minimum unused headroom in all stack pages; Cog VMs only"
<primitive: 254> (parameterIndex isInteger and: [parameterIndex > 0]) ifTrue: [^nil]. self primitiveFailed!
Item was changed: ----- Method: SmalltalkImage>>vmParameterAt:ifAbsent: (in category 'vm parameters') ----- vmParameterAt: parameterIndex ifAbsent: defaultValueOrBlock + "Answer a VM parameter or defaultValueOrBlock value if out of range or if the VM + does not provide a value for this parameter. A VM parameter is typically numeric + or boolean, and if not implemented will be nil." + + ^ (self vmParameterAt: parameterIndex) ifNil: defaultValueOrBlock! - "Answer a VM parameter or defaultValueOrBlock value if out of range or if the VM does not provide a value for this parameter. A VM parameter is typically numeric or boolean, and if not implemented will be nil." - ^ (self vmParameterAt: parameterIndex) ifNil: [defaultValueOrBlock value]!
Item was changed: ----- Method: SmalltalkImage>>vmParameterAt:put: (in category 'vm parameters') ----- vmParameterAt: parameterIndex put: newValue "parameterIndex is a positive integer corresponding to one of the VM's internal parameter/metric registers. Store newValue (a positive integer) into that register and answer with the previous value that was stored there. Fail if newValue is out of range, if parameterIndex has no corresponding register, or if the corresponding register is read-only.
As of late 2020 the parameters which can be set are 5 allocations between GCs (read-write; nil in Cog VMs) 6 survivor count tenuring threshold (read-write) 11 tenures of surving objects since startup/last write (read-write) 12 event trace mask; if 1 << eventType is set in the mask then event received by primGetNextEvent: will be printed to stderr. 17 proportion of code zone available for use (Sista VMs only) 23 bytes of extra memory to reserve for VM buffers, plugins, etc. 24 memory threshold above whichto shrink object memory (read-write) 25 memory headroom when growing object memory (read-write) 26 interruptChecksEveryNms - force an ioProcessEvents every N milliseconds (read-write) 34 bytes allocated in total since start-up or reset (read-write) 43 desired number of stack pages (stored in image file header, max 65535; Cog VMs only, otherwise nil) 45 desired size of eden, in bytes (stored in image file header; Cog VMs only, otherwise nil) 47 desired size of machine code zone, in bytes (applies at startup only, stored in image file header; Cog JIT VM only) + 48 various properties of the Cog VM as an integer encoding an array of bit flags; see commentary in #vmParameterAt: - 48 various properties of the Cog VM as an integer encoding an array of bit flags. - Bit 0: tells the VM that the image's Process class has threadId as its 5th inst var (after nextLink, suspendedContext, priority & myList) - Bit 1: on Cog JIT VMs asks the VM to set the flag bit in interpreted methods - Bit 2: if set, preempting a process puts it to the head of its run queue, not the back, - i.e. preempting a process by a higher priority one will not cause the preempted process to yield - to others at the same priority. - Bit 3: in a muilt-threaded VM, if set, the Window system will only be accessed from the first VM thread - Bit 4: in a Spur vm, if set, causes weaklings and ephemerons to be queued individually for finalization 49 the size of the external semaphore table (read-write; Cog VMs only) 55 ratio of growth and image size at or above which a GC will be performed post scavenge (Spur only, otherwise nil) 67 the maximum allowed size of old space in bytes, 0 implies no internal limit (Spur only). 68 the average number of live stack pages when scanned by GC (at scavenge/gc/become et al) 69 the maximum number of live stack pages when scanned by GC (at scavenge/gc/become et al) 74 maximum pause time due to segment allocation 75 whether arithmetic primitives will do mixed type arithmetic; if false they fail for different receiver and argument types"
<primitive: 254> self primitiveFailed!
Item was changed: + (PackageInfo named: 'System') postscript: '"In Process, threadId/threadAffinity have been around for a long time." + Smalltalk processHasThreadAffinityInstVar: true. + "Squeak 6.0 and above have #scaleFactor support in image." + Smalltalk upscaleDisplayOnHighDPI: false.'! - (PackageInfo named: 'System') postscript: 'Smalltalk installLowSpaceWatcher. - - SystemNavigation initializeAuthors. "Adds Marius Dörbandt (mad)"'!
packages@lists.squeakfoundation.org