Packages October 2021

packages@lists.squeakfoundation.org

1 participants
36 discussions

The Trunk: Kernel-eem.1418.mcz
by commits＠source.squeak.org 10 Oct '21

10 Oct '21

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1418.mcz ==================== Summary ==================== Name: Kernel-eem.1418 Author: eem Time: 9 October 2021, 3:35:05.835216 pm UUID: a72aa5ff-0ab9-4fb8-b03d-14e1aa7e7de9 Ancestors: Kernel-mt.1417 Capture a design decision for the threaded FFI in the class comment of Process. =============== Diff against Kernel-mt.1417 =============== Item was changed: Link subclass: #Process instanceVariableNames: 'suspendedContext priority myList threadId effectiveProcess name island env' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Processes'! + !Process commentStamp: 'eem 10/9/2021 15:34' prior: 0! - !Process commentStamp: 'eem 7/28/2018 12:42' prior: 0! I represent an independent path of control in the system. This path of control may be stopped (by sending the message suspend) in such a way that it can later be restarted (by sending the message resume). When any one of several paths of control can be advanced, the single instance of ProcessorScheduler named Processor determines which one will actually be advanced, partly using the value of priority. Instance Variables: N.B. The first four are used by the virtual machine. They must be defined, and defined in this order, suspendedContext: <Context|nil> priority: <Integer> myList: <LinkedList|nil> threadId: <Integer|nil> effectiveProcess: <Process|nil> name: <String|nil> island: <Island|nil> env: <Dictionary|nil> effectiveProcess + - if not nil effectiveProcess is a process I am running on behalf of. Used by the execution simulation machinery (used by the debugger) to ensure that Processor activeProcess et al answer the expected result when simulating execution (e.g. when debugging). See evaluate:onBehalfOf: and senders. - - if not nil effectiveProcess is the process the receiver is running on behalf of. Used by the execution smulation machinery (used by the debugger) to ensure that Processor activeProcess et al answer the expected result when simulating execution (e.g. when debugging). See evaluate:onBehalfOf: and senders. env - if not nil this is a Dictionary providing process-specific variables. See e.g. environmentAt:*, DynamicVariable and ProcessSpecificVariable. island - used by Tweak and Croquet to partition the image into multiple address spaces myList + - if nil, I am either suspended or the active process. If not nil it is either some condition variable (Semaphore, Mutex) that I am blocked waiting on, or it is the LinkedList in ProcessorScheduler quiescentProcesses that holds the processes for my priority that are not the current active process but still runnable. - - if nil, the receiver is either suspended or the active process. If not nil it is either some condition variable (Semaphore, Mutex) that the receiver is blocked waiting on, or it is the LinkedList in ProcessorScheduler quiescentProcesses that holds the processes for the receiver's priority that are not the current active process but are still runnable. name + - if not nil this is my name, used for information, see e.g. the names of processes displayed in the ProcessBrowser - - if not nil this is the name of the process, used for information, see e.g. the names of processes displayed in the ProcessBrowser priority + - my scheduling priority, which corresponds to the index in ProcessorScheduler quiescentProcesses that holds the LinkedList of processes at this priority. If I am running but quiescent, changing priority involves changing priority and myList. - - the priority of the process, which corresponds to the index in ProcessorScheduler quiescentProcesses that holds the LinkedList of processes at this priority. If running but quiescent, changing priority involves changing priority and myList. suspendedContext + - if nil, then I am either the active process or I have been terminated. If not nil it is the Context at the hot end of my stack - - if nil, then the receiver is either the active process or has been terminated. If not nil it is the Context at the hot end of the receiver's stack threadId + - if not nil then it is an integer value set by the VM that controls how I interact with underlying native threads. If positive, the threadId is that of some native thread known to the VM, and the VM will ensure that when I am running, I will be running on that native thread. If negative, the absolute value of threadId is that of some thread known to the VM, and the VM will ensure that when I am running, I will *not* be running on that native thread. Set by the VM. Not to be set manually. Meaningful only on threaded VMs (which do not mean VMs with a threaded heartbeat). It is required to be my fourth instance variable. See SmalltalkImage >> #processHasThreadIdInstVar: for further information.! - - if not nil then the receiver is bound to some native thread and the VM will ensure that when executing the receiver, the VM will be running on that native thread. Set by the VM. Not to be set manually. Meaningful only on threaded VMs (which do not mean VMs with a threaded heartbeat). It is required to be the fourth instance variable. See SmalltalkImage >> #processHasThreadIdInstVar: for further information.!

1 0

The Trunk: Kernel-mt.1409.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1409.mcz ==================== Summary ==================== Name: Kernel-mt.1409 Author: mt Time: 26 August 2021, 11:43:29.370208 am UUID: 833c07c9-93d9-834e-8e94-59c6a1e941bc Ancestors: Kernel-eem.1408 8x speed up in #roundUpTo: and #roundDownTo: for integer arguments due to avoiding the creation of intermediate fractions, which also avoids extra GC time. Thanks to Stephan (stlu) for the idea! [65 roundUpTo: 64] bench AFTER '39,500,000 per second. 25.3 nanoseconds per run. 0 % GC time.' BEFORE '5,180,000 per second. 193 nanoseconds per run. 1.67966 % GC time.' [65 roundDownTo: 64] bench AFTER '45,900,000 per second. 21.8 nanoseconds per run. 0 % GC time.' BEFORE '5,590,000 per second. 179 nanoseconds per run. 2.29908 % GC time.' Needs testing and review. Known issue: "65.0 roundUpTo: 64" now returns "128.0" but used to return "128". =============== Diff against Kernel-eem.1408 =============== Item was changed: ----- Method: Number>>roundDownTo: (in category 'truncation and round off') ----- roundDownTo: aNumber "Answer the next multiple of aNumber toward negative infinity that is nearest the receiver." "Examples: 3.1479 roundDownTo: 0.01 -> 3.14 3.1479 roundDownTo: 0.1 -> 3.1 1923 roundDownTo: 10 -> 1920 3.1479 roundDownTo: 0.005 -> 3.145 -3.1479 roundDownTo: 0.01 -> -3.15" + ^ aNumber isInteger + ifTrue: [self roundDownToInteger: aNumber] + ifFalse: [(self/aNumber) floor * aNumber]! - ^(self/aNumber) floor * aNumber! Item was added: + ----- Method: Number>>roundDownToInteger: (in category 'truncation and round off') ----- + roundDownToInteger: aNumber + + ^ self - (self \\ aNumber)! Item was added: + ----- Method: Number>>roundUpToInteger: (in category 'truncation and round off') ----- + roundUpToInteger: aNumber + + | rem | + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: Kernel-mt.1410.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1410.mcz ==================== Summary ==================== Name: Kernel-mt.1410 Author: mt Time: 27 August 2021, 8:01:02.129421 am UUID: bfb40b87-1a6b-0e47-a620-5d8b4de5ca04 Ancestors: Kernel-mt.1409 Adds missing changes in #roundUpTo:. =============== Diff against Kernel-eem.1408 =============== Item was changed: ----- Method: Number>>roundDownTo: (in category 'truncation and round off') ----- roundDownTo: aNumber "Answer the next multiple of aNumber toward negative infinity that is nearest the receiver." "Examples: 3.1479 roundDownTo: 0.01 -> 3.14 3.1479 roundDownTo: 0.1 -> 3.1 1923 roundDownTo: 10 -> 1920 3.1479 roundDownTo: 0.005 -> 3.145 -3.1479 roundDownTo: 0.01 -> -3.15" + ^ aNumber isInteger + ifTrue: [self roundDownToInteger: aNumber] + ifFalse: [(self/aNumber) floor * aNumber]! - ^(self/aNumber) floor * aNumber! Item was added: + ----- Method: Number>>roundDownToInteger: (in category 'truncation and round off') ----- + roundDownToInteger: aNumber + + ^ self - (self \\ aNumber)! Item was changed: ----- Method: Number>>roundUpTo: (in category 'truncation and round off') ----- roundUpTo: aNumber "Answer the next multiple of aNumber toward infinity that is nearest the receiver." "Examples: 3.1479 roundUpTo: 0.01 -> 3.15 3.1479 roundUpTo: 0.1 -> 3.2 1923 roundUpTo: 10 -> 1930 3.1479 roundUpTo: 0.005 -> 3.15 -3.1479 roundUpTo: 0.01 -> -3.14" + ^ aNumber isInteger + ifTrue: [self roundUpToInteger: aNumber] + ifFalse: [(self/aNumber) ceiling * aNumber]! - ^(self/aNumber) ceiling * aNumber! Item was added: + ----- Method: Number>>roundUpToInteger: (in category 'truncation and round off') ----- + roundUpToInteger: aNumber + + | rem | + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: Kernel-mt.1411.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1411.mcz ==================== Summary ==================== Name: Kernel-mt.1411 Author: mt Time: 27 August 2021, 8:38:24.862421 am UUID: e7c0282d-0324-9342-bd98-477a1ef9a696 Ancestors: Kernel-mt.1410 Move the #round(Up|Down)To: changes down to Integer to not slow-down rounding for Float and Fraction. This also speeds it up a tiny bit more because it is now "inlined" without the extra send to #round(Up|Down)ToInteger:. Thanks to Levente (ul) for the suggestion! (http://lists.squeakfoundation.org/pipermail/squeak-dev/2021-August/216272.h…) 14x speed up of #roundTo: using the same strategy. [65 roundUpTo: 64] bench AFTER '31,000,000 per second. 32.2 nanoseconds per run. 0 % GC time.' BEFORE '2,120,000 per second. 472 nanoseconds per run. 0.73985 % GC time.' =============== Diff against Kernel-eem.1408 =============== Item was added: + ----- Method: Integer>>roundDownTo: (in category 'truncation and round off') ----- + roundDownTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + aNumber isInteger ifFalse: [^ super roundDownTo: aNumber]. + ^ self - (self \\ aNumber)! Item was added: + ----- Method: Integer>>roundTo: (in category 'truncation and round off') ----- + roundTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + + (rem := self \\ aNumber) = 0 ifTrue: [^ self]. + ^ rem < (aNumber // 2) + ifTrue: ["round down" self - rem] + ifFalse: ["round up" self + aNumber - rem]! Item was added: + ----- Method: Integer>>roundUpTo: (in category 'truncation and round off') ----- + roundUpTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: Kernel-mt.1412.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1412.mcz ==================== Summary ==================== Name: Kernel-mt.1412 Author: mt Time: 27 August 2021, 10:16:40.604421 am UUID: fdcad3e9-f9f7-fa4d-990a-ac59259860db Ancestors: Kernel-mt.1411 Fixes rounding for negative receivers and negative arguments. Minor slow-down due to extra sign checks. =============== Diff against Kernel-eem.1408 =============== Item was added: + ----- Method: Integer>>roundDownTo: (in category 'truncation and round off') ----- + roundDownTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + aNumber isInteger ifFalse: [^ super roundDownTo: aNumber]. + ^ self - (self \\ aNumber)! Item was added: + ----- Method: Integer>>roundTo: (in category 'truncation and round off') ----- + roundTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem qua | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + self = 0 ifTrue: [^ 0]. + + (rem := self \\ (qua := aNumber abs * self sign)) = 0 ifTrue: [^ self]. + ^ rem abs >= (qua // 2) abs + ifTrue: ["round up" self + qua - rem] + ifFalse: ["round down" self - rem] + ! Item was added: + ----- Method: Integer>>roundUpTo: (in category 'truncation and round off') ----- + roundUpTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: Kernel-mt.1413.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1413.mcz ==================== Summary ==================== Name: Kernel-mt.1413 Author: mt Time: 27 August 2021, 10:20:30.630421 am UUID: e12b3fd2-5f27-7642-a3ca-3b303801092c Ancestors: Kernel-mt.1412 Rewrites last change to make it faster again. Thanks to Stephan (stlu)! =============== Diff against Kernel-eem.1408 =============== Item was added: + ----- Method: Integer>>roundDownTo: (in category 'truncation and round off') ----- + roundDownTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + aNumber isInteger ifFalse: [^ super roundDownTo: aNumber]. + ^ self - (self \\ aNumber)! Item was added: + ----- Method: Integer>>roundTo: (in category 'truncation and round off') ----- + roundTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem quantum | + aNumber isInteger ifFalse: [^ super roundTo: aNumber]. + quantum := aNumber abs. + (rem := self \\ quantum) = 0 ifTrue: [^ self]. + ^ (self > 0 + ifTrue: [quantum + 1 // 2 <= rem] + ifFalse: [quantum // 2 < rem]) + ifTrue: [self + quantum - rem] + ifFalse: [self - rem] + ! Item was added: + ----- Method: Integer>>roundUpTo: (in category 'truncation and round off') ----- + roundUpTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: KernelTests-mt.407.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-mt.407.mcz ==================== Summary ==================== Name: KernelTests-mt.407 Author: mt Time: 8 October 2021, 9:01:22.582201 am UUID: 80e9eb0e-fec1-d54b-8ada-003bd1b77454 Ancestors: KernelTests-ul.406 Tests complementing Kernel-mt.1417 =============== Diff against KernelTests-ul.406 =============== Item was added: + ----- Method: IntegerTest>>testRoundDownTo (in category 'tests - truncation and round off') ----- + testRoundDownTo + + self + assert: #( -40 -40 -40 -20 -20 -20 0 0 0 20 20 20 40 ) + equals: (#( -40 -30 -29 -20 -10 -9 0 9 10 20 29 30 40 ) + collect: [:num | num roundDownTo: 20]).! Item was added: + ----- Method: IntegerTest>>testRoundTo (in category 'tests - truncation and round off') ----- + testRoundTo + + self + assert: #( -40 -40 -20 -20 -20 0 0 0 20 20 20 40 40 ) + equals: (#( -40 -30 -29 -20 -10 -9 0 9 10 20 29 30 40 ) + collect: [:num | num roundTo: 20]).! Item was added: + ----- Method: IntegerTest>>testRoundUpTo (in category 'tests - truncation and round off') ----- + testRoundUpTo + + self + assert: #( -40 -20 -20 -20 0 0 0 20 20 20 40 40 40 ) + equals: (#( -40 -30 -29 -20 -10 -9 0 9 10 20 29 30 40 ) + collect: [:num | num roundUpTo: 20]).! Item was added: + ----- Method: NumberTest>>testRoundTo (in category 'tests - trunction and round off') ----- + testRoundTo + + { + 1 . 1.0 . 1.0 . + 1.0 . 1 . 1 . + 1/3 . 1/4 . 1/4 . + 0.9 . 1/3 . 1 . + } groupsDo: [:receiver :argument :expected | + self assert: expected equals: (receiver roundTo: argument)]!

1 0

The Trunk: Kernel-mt.1417.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-mt.1417.mcz ==================== Summary ==================== Name: Kernel-mt.1417 Author: mt Time: 8 October 2021, 9:00:42.746201 am UUID: 2dbc9442-c2f2-9843-8d3d-077c3f0d4df3 Ancestors: Kernel-eem.1416, Kernel-mt.1413 Merge 8x speed up in #roundUpTo: and #roundDownTo: for integer arguments due to avoiding the creation of intermediate fractions, which also avoids extra GC time. Thanks to Stephan (stlu) and Levente (ul) for the idea and feedback! =============== Diff against Kernel-eem.1416 =============== Item was added: + ----- Method: Integer>>roundDownTo: (in category 'truncation and round off') ----- + roundDownTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + aNumber isInteger ifFalse: [^ super roundDownTo: aNumber]. + ^ self - (self \\ aNumber)! Item was added: + ----- Method: Integer>>roundTo: (in category 'truncation and round off') ----- + roundTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem quantum | + aNumber isInteger ifFalse: [^ super roundTo: aNumber]. + quantum := aNumber abs. + (rem := self \\ quantum) = 0 ifTrue: [^ self]. + ^ (self > 0 + ifTrue: [quantum + 1 // 2 <= rem] + ifFalse: [quantum // 2 < rem]) + ifTrue: [self + quantum - rem] + ifFalse: [self - rem] + ! Item was added: + ----- Method: Integer>>roundUpTo: (in category 'truncation and round off') ----- + roundUpTo: aNumber + "Overwritten to speed-up integer rounding via modulo instead of using intermediate fractions." + + | rem | + aNumber isInteger ifFalse: [^ super roundUpTo: aNumber]. + ^ (rem := self \\ aNumber) ~= 0 + ifTrue: [self + aNumber - rem] + ifFalse: [self]!

1 0

The Trunk: Kernel-eem.1411.mcz
by commits＠source.squeak.org 08 Oct '21

08 Oct '21

Marcel Taeumel uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1411.mcz ==================== Summary ==================== Name: Kernel-eem.1411 Author: eem Time: 12 September 2021, 10:28:17.307559 pm UUID: af86266e-67ea-47db-9869-8640e23d9780 Ancestors: Kernel-eem.1410 Proposed fix for CompiledCode>>#allLiteralsDo: by adding pushSpecialConstant:/sendSpecial:numArgs:. Get the bytecode set specific interpretNextInstructionFor: implementations to send sendSpecial:numArgs: and pushSpecialConstant: for special selector sends and implicit literal bytecodes. Insulate existing InstructionClient subclasses by introducing ImplicitLiteralInstructionClientHook as InstructionClient's superclass which implements pushSpecialConstant:/sendSpecial:numArgs: as sends of pushConstant:/send:super:numArgs:. Implement pushSpecialConstant:/sendSpecial:numArgs: in Context. Compiler-eem.460 implements these for the Decompiler. =============== Diff against Kernel-eem.1410 =============== Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessageAt: (in category 'scanning') ----- abstractBytecodeMessageAt: pc "Answer the abstract bytecode message at pc in the receiver." + ^[(InstructionStream new method: self pc: pc) interpretNextInstructionFor: ImplicitLiteralInstructionClientHook new] - ^[(InstructionStream new method: self pc: pc) interpretNextInstructionFor: nil] on: MessageNotUnderstood do: [:ex| ex message]! Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessagesAndPCs (in category 'scanning') ----- abstractBytecodeMessagesAndPCs "Answer the receiver's sequence of abstract bytecodes as a sequence of tuples of bytecode message and pc." "(CompiledCode >> #abstractBytecodeMessagesAndPCs) abstractBytecodeMessagesAndPCs" + | msgs initial endpc pc scanner encoderClass implciitLiteralHook | - | msgs initial endpc pc scanner encoderClass | scanner := InstructionStream new method: self pc: (initial := self initialPC). msgs := OrderedCollection new: (endpc := self endPC) - initial. encoderClass := self encoderClass. + implciitLiteralHook := ImplicitLiteralInstructionClientHook new. [(pc := scanner pc) <= endpc] whileTrue: "i.e. nil will not understand any message and so the exception block will collect all of them." + [[encoderClass interpretNextInstructionFor: implciitLiteralHook in: scanner] - [[encoderClass interpretNextInstructionFor: nil in: scanner] on: MessageNotUnderstood do: [:ex| msgs addLast: { ex message. pc }]]. ^msgs! Item was changed: ----- Method: CompiledCode>>abstractBytecodeMessagesFrom:to:do: (in category 'scanning') ----- abstractBytecodeMessagesFrom: startpc to: endpc do: aBlock "Evaluate aBlock with the sequence of abstract bytecodes from startpc through endpc in the receiver" + | scanner encoderClass implciitLiteralHook | - | scanner encoderClass | scanner := InstructionStream new method: self pc: startpc. encoderClass := self encoderClass. + implciitLiteralHook := ImplicitLiteralInstructionClientHook new. [scanner pc <= endpc] whileTrue: "i.e. nil will not understand any message and so the exception block will collect all of them." + [[encoderClass interpretNextInstructionFor: implciitLiteralHook in: scanner] - [[encoderClass interpretNextInstructionFor: nil in: scanner] on: MessageNotUnderstood do: [:ex| aBlock value: ex message]] "| m msgs | msgs := OrderedCollection new. (m := CompiledCode >> #abstractBytecodeMessagesFrom:to:do:) abstractBytecodeMessagesFrom: m initialPC to: m endPC do: [:msg| msgs add: msg selector]. msgs"! Item was changed: ----- Method: CompiledCode>>allLiteralsDo: (in category 'literals') ----- allLiteralsDo: aBlock "Enumerate all literals thoroughly. Follow nested instances of CompiledCode. Do not treat compiled code as literals here." + self codeLiteralsDo: + [:compiledCode | + compiledCode literalsDo: + [:literal | + literal isCompiledCode ifFalse: + [literal allLiteralsDo: aBlock]]. + compiledCode implicitLiteralsDo: aBlock]! - self codeLiteralsDo: [:compiledCode | compiledCode literalsDo: [:literal | - literal isCompiledCode ifFalse: [literal allLiteralsDo: aBlock] ]]. - - "Enumerate special selectors." - self flag: #todo. - - "Enumerate special literals such as true and false." - self flag: #todo.! Item was added: + ----- Method: CompiledCode>>implicitLiteralsDo: (in category 'literals') ----- + implicitLiteralsDo: aBlock + "Enumerate the implicit literals in bytecodes of the receiver." + + | stream client encoderClass endPC | + "Enumerate special selectors & special literals such as true and false." + stream := InstructionStream on: self. + encoderClass := self encoderClass. + "cache endPC for methods with embedded source; finding out the endPC is very slow in this case..." + endPC := self endPC. + client := ImplicitLiteralFinder new. + [stream pc <= endPC] whileTrue: + [| literalOrClient | + literalOrClient := encoderClass interpretNextInstructionFor: client in: stream. + literalOrClient ~~ client ifTrue: + [aBlock value: literalOrClient]]! Item was changed: ----- Method: CompiledMethod>>allLiteralsDo: (in category 'literals') ----- allLiteralsDo: aBlock "Overwritten to skip certain (raw) literals." " Exclude method selector (or properties) and the method's class." 1 to: self numLiterals - 2 do: [:index | (self literalAt: index) allLiteralsDo: aBlock]. + "Enumerate the implicit literals in bytecodes of the receiver." + self implicitLiteralsDo: aBlock. + "Enumerate method selector only through additional method state." self penultimateLiteral isMethodProperties + ifTrue: [self penultimateLiteral allLiteralsDo: aBlock]! - ifTrue: [self penultimateLiteral allLiteralsDo: aBlock]. - - "Enumerate special selectors." - self flag: #todo. - - "Enumerate special literals such as true and false." - self flag: #todo.! Item was added: + ----- Method: Context>>pushSpecialConstant: (in category 'instruction decoding implicit literals') ----- + pushSpecialConstant: value + "Simulate the action of bytecode that pushes the constant, value, on the + top of the stack." + + self push: value! Item was added: + ----- Method: Context>>sendSpecial:numArgs: (in category 'instruction decoding implicit literals') ----- + sendSpecial: selector numArgs: numArgs + "Simulate the action of bytecodes that send a message with selector, + selector. The arguments of the message are found in the top numArgs + locations on the stack and the receiver just below them." + + | thisReceiver arguments lookupClass | + arguments := Array new: numArgs. + numArgs to: 1 by: -1 do: [ :i | arguments at: i put: self pop]. + thisReceiver := self pop. + lookupClass := self objectClass: thisReceiver. + QuickStep == self ifTrue: + [QuickStep := nil. + ^self quickSend: selector to: thisReceiver with: arguments lookupIn: lookupClass]. + ^self send: selector to: thisReceiver with: arguments lookupIn: lookupClass! Item was added: + InstructionClient subclass: #ImplicitLiteralFinder + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !ImplicitLiteralFinder commentStamp: 'eem 9/12/2021 14:44' prior: 0! + ImplicitLiteralFinder is a means to extract special literals from an instruction stream. Instances of InstructionClient answer self in response to all bytecode decode messages. Instances of this class answer the literal itself for implicit literal bytecode messages. + + Instance Variables + ! Item was added: + ----- Method: ImplicitLiteralFinder>>pushSpecialConstant: (in category 'instruction decoding - implicit literals') ----- + pushSpecialConstant: value + ^value! Item was added: + ----- Method: ImplicitLiteralFinder>>sendSpecial:numArgs: (in category 'instruction decoding - implicit literals') ----- + sendSpecial: selector numArgs: numArgs + ^selector! Item was added: + Object subclass: #ImplicitLiteralInstructionClientHook + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !ImplicitLiteralInstructionClientHook commentStamp: 'eem 9/12/2021 14:29' prior: 0! + ImplicitLiteralInstructionClientHook is a hook to allow clients to intercept bytecodes referencing implicit literals, such as special selector sends which have an implicit selector in Smalltalk specialSelectors. It implements the messages sent by InstructionStream's interpretNextXXXInstructionFor: methods for bytecodes that reference implicit literals as sends of the relevant explciit literal methods. This allows clients that want to to intercept implicit literal messages while leaving existing clients unchanged. + + Instance Variables! Item was added: + ----- Method: ImplicitLiteralInstructionClientHook>>pushSpecialConstant: (in category 'instruction decoding - implicit literals') ----- + pushSpecialConstant: value + "This is a hook to allow clients to intercept implicit literal bytecodes" + ^self pushConstant: value! Item was added: + ----- Method: ImplicitLiteralInstructionClientHook>>sendSpecial:numArgs: (in category 'instruction decoding - implicit literals') ----- + sendSpecial: selector numArgs: numArgs + "This is a hook to allow clients to intercept special selector sends (which have an implicit selector)" + ^self send: selector super: false numArgs: numArgs! Item was changed: + ImplicitLiteralInstructionClientHook subclass: #InstructionClient - Object subclass: #InstructionClient instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! !InstructionClient commentStamp: 'md 4/8/2003 12:50' prior: 0! My job is to make it easier to implement clients for InstructionStream. See InstVarRefLocator as an example. ! Item was changed: ----- Method: InstructionStream>>interpretNext2ByteSistaV1Instruction:for:extA:extB:startPC: (in category 'decoding - private - sista v1') ----- interpretNext2ByteSistaV1Instruction: bytecode for: client extA: extA extB: extB startPC: startPC "Send to the argument, client, a message that specifies the next instruction. This method handles the two-byte codes. For a table of the bytecode set, see EncoderForV1's class comment." | byte method | method := self method. byte := self method at: pc. pc := pc + 1. "We do an inline quasi-binary search on bytecode" bytecode < 234 ifTrue: "pushes" [bytecode < 231 ifTrue: [bytecode < 229 ifTrue: [| literal | bytecode = 226 ifTrue: [^client pushReceiverVariable: (extA bitShift: 8) + byte]. literal := method literalAt: (extA bitShift: 8) + byte + 1. bytecode = 227 ifTrue: [^client pushLiteralVariable: literal]. ^client pushConstant: literal]. bytecode = 229 ifTrue: [^client pushTemporaryVariable: byte]. ^self unusedBytecode: client at: startPC]. bytecode = 231 ifTrue: [^byte < 128 ifTrue: [client pushNewArrayOfSize: byte] ifFalse: [client pushConsArrayWithElements: byte - 128]]. bytecode = 232 ifTrue: + [^client pushSpecialConstant: ((extB < 128 ifTrue: [extB] ifFalse: [extB - 256]) bitShift: 8) + byte]. + ^client pushSpecialConstant: (Character value: (extB bitShift: 8) + byte)]. - [^client pushConstant: ((extB < 128 ifTrue: [extB] ifFalse: [extB - 256]) bitShift: 8) + byte]. - ^client pushConstant: (Character value: (extB bitShift: 8) + byte)]. bytecode < 240 ifTrue: "sends, trap and jump" [bytecode < 236 ifTrue: "sends" [(bytecode = 235 and: [extB >= 64]) ifTrue: [^client directedSuperSend: (method literalAt: (extA bitShift: 5) + (byte // 8) + 1) numArgs: (extB - 64 bitShift: 3) + (byte \\ 8)]. ^client send: (method literalAt: (extA bitShift: 5) + (byte // 8) + 1) super: bytecode = 235 numArgs: (extB bitShift: 3) + (byte \\ 8)]. bytecode = 236 ifTrue: [^client callMappedInlinedPrimitive: byte]. bytecode = 237 ifTrue: [^client jump: (extB bitShift: 8) + byte]. ^client jump: (extB bitShift: 8) + byte if: bytecode = 238]. bytecode < 243 ifTrue: [bytecode = 240 ifTrue: [^client popIntoReceiverVariable: (extA bitShift: 8) + byte]. bytecode = 241 ifTrue: [^client popIntoLiteralVariable: (method literalAt: (extA bitShift: 8) + byte + 1)]. ^client popIntoTemporaryVariable: byte]. bytecode = 243 ifTrue: [^client storeIntoReceiverVariable: (extA bitShift: 8) + byte]. bytecode = 244 ifTrue: [^client storeIntoLiteralVariable: (method literalAt: (extA bitShift: 8) + byte + 1)]. bytecode = 245 ifTrue: [^client storeIntoTemporaryVariable: byte]. "246-247 1111011 i xxxxxxxx UNASSIGNED" ^self unusedBytecode: client at: startPC! Item was changed: ----- Method: InstructionStream>>interpretNextSistaV1InstructionFor: (in category 'decoding - private - sista v1') ----- interpretNextSistaV1InstructionFor: client "Send to the argument, client, a message that specifies the next instruction." | byte div16 offset method extA extB savedPC | method := self method. "For a table of the bytecode set, see EncoderForSistaV1's class comment." "consume and compute any extensions first." extA := extB := 0. savedPC := pc. [byte := self method at: pc. pc := pc + 1. byte >= 16rE0 and: [byte <= 16rE1]] whileTrue: [| extByte | extByte := self method at: pc. pc := pc + 1. byte = 16rE0 ifTrue: [extA := (extA bitShift: 8) + extByte] ifFalse: [extB := (extB = 0 and: [extByte > 127]) ifTrue: [extByte - 256] ifFalse: [(extB bitShift: 8) + extByte]]]. div16 := byte // 16. offset := byte \\ 16. "We do an inline quasi-binary search on each of the possible 16 values of div16" div16 < 11 ifTrue: [div16 < 6 ifTrue: [div16 < 4 ifTrue: [div16 < 2 ifTrue: [div16 = 0 ifTrue: [^client pushReceiverVariable: offset]. ^client pushLiteralVariable: (method literalAt: offset + 1)]. "div16 = 1" ^client pushConstant: (method literalAt: byte \\ 32 + 1)]. div16 = 4 ifTrue: [offset < 12 ifTrue: [^client pushTemporaryVariable: offset]. offset = 12 ifTrue: [^client pushReceiver]. offset = 13 ifTrue: + [^client pushSpecialConstant: true]. - [^client pushConstant: true]. offset = 14 ifTrue: + [^client pushSpecialConstant: false]. - [^client pushConstant: false]. offset = 15 ifTrue: + [^client pushSpecialConstant: nil]]. - [^client pushConstant: nil]]. "div16 = 5" offset < 2 ifTrue: + [^client pushSpecialConstant: offset]. - [^client pushConstant: offset]. offset = 2 ifTrue: [^self interpretSistaV1ExtendedPush: extB for: client]. offset = 3 ifTrue: [^client doDup]. offset = 8 ifTrue: [^client methodReturnReceiver]. offset = 9 ifTrue: [^client methodReturnConstant: true]. offset = 10 ifTrue: [^client methodReturnConstant: false]. offset = 11 ifTrue: [^client methodReturnConstant: nil]. offset = 12 ifTrue: [^client methodReturnTop]. offset = 13 ifTrue: [^client blockReturnConstant: nil]. offset = 14 ifTrue: [^client blockReturnTop]. offset = 15 ifTrue: [^client doNop]. ^self unusedBytecode: client at: savedPC]. "short sends" div16 = 6 ifTrue: [^client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. div16 = 7 ifTrue: [^client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. ^client send: (method literalAt: offset + 1) super: false numArgs: div16 - 8]. "div16 >= 11; bytecode >= 176" div16 < 14 ifTrue: [div16 = 11 ifTrue: [offset < 8 ifTrue: [^client jump: offset + 1]. ^client jump: offset - 7 if: true]. div16 = 12 ifTrue: [offset < 8 ifTrue: [^client jump: offset + 1 if: false]. ^client popIntoReceiverVariable: offset - 8]. "div16 = 13" offset < 8 ifTrue: [^client popIntoTemporaryVariable: offset]. offset = 8 ifTrue: [^client doPop]. offset = 9 ifTrue: [^client trap]. ^self unusedBytecode: client at: savedPC]. "2 byte and 3 byte codes" byte < 248 ifTrue: [^self interpretNext2ByteSistaV1Instruction: byte for: client extA: extA extB: extB startPC: savedPC]. ^self interpretNext3ByteSistaV1Instruction: byte for: client extA: extA extB: extB startPC: savedPC! Item was changed: ----- Method: InstructionStream>>interpretNextV3ClosuresInstructionFor: (in category 'decoding - private - v3 plus closures') ----- interpretNextV3ClosuresInstructionFor: client "Send to the argument, client, a message that specifies the type of the next instruction." | byte type offset method | method := self method. byte := method at: pc. type := byte // 16. offset := byte \\ 16. pc := pc+1. "We do an inline binary search on each of the possible 16 values of type." type < 8 ifTrue: [type < 4 ifTrue: [type < 2 ifTrue: [type = 0 ifTrue: [^ client pushReceiverVariable: offset]. ^ client pushTemporaryVariable: offset]. "type = 1" type = 2 ifTrue: [^ client pushConstant: (method literalAt: offset + 1)]. ^ client pushConstant: (method literalAt: offset + 17)]. "type = 3" type < 6 ifTrue: [type = 4 ifTrue: [^ client pushLiteralVariable: (method literalAt: offset + 1)]. ^ client pushLiteralVariable: (method literalAt: offset + 17)]."type = 5" type = 6 ifTrue: [offset < 8 ifTrue: [^ client popIntoReceiverVariable: offset]. ^ client popIntoTemporaryVariable: offset - 8]. "type = 7" offset = 0 ifTrue: [^ client pushReceiver]. + offset < 8 ifTrue: [^ client pushSpecialConstant: (SpecialConstants at: offset)]. - offset < 8 ifTrue: [^ client pushConstant: (SpecialConstants at: offset)]. offset = 8 ifTrue: [^ client methodReturnReceiver]. offset < 12 ifTrue: [^ client methodReturnConstant: (SpecialConstants at: offset - 8)]. offset = 12 ifTrue: [^ client methodReturnTop]. offset = 13 ifTrue: [^ client blockReturnTop]. ^ self unusedBytecode: client at: pc - 1]. "offset = 14 & offset = 15, 126 & 127" type < 12 ifTrue: [type < 10 ifTrue: [type = 8 ifTrue: [^ self interpretV3ClosuresExtension: offset in: method for: client]. "type = 9 (short jumps)" offset < 8 ifTrue: [^ client jump: offset + 1]. ^ client jump: offset - 8 + 1 if: false]. type = 10 ifTrue: "(long jumps)" [byte := method at: pc. pc := pc + 1. offset < 8 ifTrue: [^ client jump: offset - 4 * 256 + byte]. ^ client jump: (offset bitAnd: 3) * 256 + byte if: offset < 12]. "type = 11; arithmetic special selector sends" ^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. type = 12 ifTrue: "non-arithmetic special selector sends" [^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. "type = 13, 14 or 15" ^ client send: (method literalAt: offset + 1) super: false numArgs: type - 13 "0, 1 & 2"! Item was changed: ----- Method: InstructionStream>>interpretNextV3InstructionFor: (in category 'decoding - private - v3 plus closures') ----- interpretNextV3InstructionFor: client "Send to the argument, client, a message that specifies the type of the next instruction." | byte type offset method | method := self method. byte := method at: pc. type := byte // 16. offset := byte \\ 16. pc := pc+1. "We do an inline binary search on each of the possible 16 values of type." type < 8 ifTrue: [type < 4 ifTrue: [type < 2 ifTrue: [type = 0 ifTrue: [^ client pushReceiverVariable: offset]. ^ client pushTemporaryVariable: offset]. "type = 1" type = 2 ifTrue: [^ client pushConstant: (method literalAt: offset + 1)]. ^ client pushConstant: (method literalAt: offset + 17)]. "type = 3" type < 6 ifTrue: [type = 4 ifTrue: [^ client pushLiteralVariable: (method literalAt: offset + 1)]. ^ client pushLiteralVariable: (method literalAt: offset + 17)]."type = 5" type = 6 ifTrue: [offset < 8 ifTrue: [^ client popIntoReceiverVariable: offset]. ^ client popIntoTemporaryVariable: offset - 8]. "type = 7" offset = 0 ifTrue: [^ client pushReceiver]. + offset < 8 ifTrue: [^ client pushSpecialConstant: (SpecialConstants at: offset)]. - offset < 8 ifTrue: [^ client pushConstant: (SpecialConstants at: offset)]. offset = 8 ifTrue: [^ client methodReturnReceiver]. offset < 12 ifTrue: [^ client methodReturnConstant: (SpecialConstants at: offset - 8)]. offset = 12 ifTrue: [^ client methodReturnTop]. offset = 13 ifTrue: [^ client blockReturnTop]. ^ self unusedBytecode: client at: pc - 1]. "offset = 14 & offset = 15, 126 & 127" type < 12 ifTrue: [type < 10 ifTrue: [type = 8 ifTrue: [^ self interpretV3Extension: offset in: method for: client]. "type = 9 (short jumps)" offset < 8 ifTrue: [^ client jump: offset + 1]. ^ client jump: offset - 8 + 1 if: false]. type = 10 ifTrue: "(long jumps)" [byte := method at: pc. pc := pc + 1. offset < 8 ifTrue: [^ client jump: offset - 4 * 256 + byte]. ^ client jump: (offset bitAnd: 3) * 256 + byte if: offset < 12]. "type = 11; arithmetic special selector sends" ^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 1) - send: (Smalltalk specialSelectorAt: offset + 1) - super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. type = 12 ifTrue: "non-arithmetic special selector sends" [^ client + sendSpecial: (Smalltalk specialSelectorAt: offset + 17) - send: (Smalltalk specialSelectorAt: offset + 17) - super: false numArgs: (Smalltalk specialNargsAt: offset + 17)]. "type = 13, 14 or 15" ^ client send: (method literalAt: offset + 1) super: false numArgs: type - 13 "0, 1 & 2"!

1 0

The Trunk: MorphicExtras-ct.294.mcz
by commits＠source.squeak.org 07 Oct '21

07 Oct '21

Marcel Taeumel uploaded a new version of MorphicExtras to project The Trunk: http://source.squeak.org/trunk/MorphicExtras-ct.294.mcz ==================== Summary ==================== Name: MorphicExtras-ct.294 Author: ct Time: 17 April 2021, 2:51:54.531043 pm UUID: c53b8fad-931b-0042-9e5b-70308fa24666 Ancestors: MorphicExtras-eem.293 Make proper use of DisplayScreen >>#restoreAfter: in SketchMorph examples. =============== Diff against MorphicExtras-eem.293 =============== Item was changed: ----- Method: SketchMorph class>>extraExampleCook (in category '*MorphicExtras-examples') ----- extraExampleCook "SketchMorph extraExampleCook openInWorld" ^ (self withForm: Form extraCook) + addMouseUpActionWith: 'Display restoreAfter: [Form toothpaste: 30]'; - addMouseUpActionWith: 'Form toothpaste: 30'; balloonText: 'Click me and then drag the cursor over the screen'; yourself! Item was changed: ----- Method: SketchMorph class>>extraExampleWizard (in category '*MorphicExtras-examples') ----- extraExampleWizard "SketchMorph extraExampleWizard openInWorld" ^ (self withForm: Form extraWizard) addMouseUpActionWith: + (MessageSend receiver: Display selector: #restoreAfter: argument: [Pen new web]); - (MessageSend receiver: Pen new selector: #web); balloonText: 'Click me and then drag the cursor over the screen\(Trust me, I won''t turn you into a toad!!)' withCRs; yourself!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages October 2021