Packages April 2017

packages@lists.squeakfoundation.org

1 participants
121 discussions

The Trunk: Tools-eem.757.mcz
by commits＠source.squeak.org 13 Apr '17

13 Apr '17

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.757.mcz ==================== Summary ==================== Name: Tools-eem.757 Author: eem Time: 13 April 2017, 2:02:11.819767 pm UUID: 16ab4ff6-7a4c-49b7-aa90-025eb0164a8f Ancestors: Tools-eem.756 Have the debugger look for both the old and the soon-to-appear new quickStep: methods when trying to inform an exsting debugger of an error. =============== Diff against Tools-eem.756 =============== Item was changed: ----- Method: Debugger class>>informExistingDebugger:label: (in category 'instance creation') ----- informExistingDebugger: aContext label: aString "Walking the context chain, we try to find out if we're in a debugger stepping situation. If we find the relevant contexts, we must rearrange them so they look just like they would if the methods were executed outside of the debugger. hmm 8/3/2001 13:05" | ctx quickStepMethod oldSender baseContext | ctx := thisContext. + quickStepMethod := Context + compiledMethodAt: #quickSend:to:with:lookupIn: + ifAbsent: [Context compiledMethodAt: #quickSend:to:with:super:]. + [ctx sender == nil or: [ctx sender method == quickStepMethod]] whileFalse: + [ctx := ctx sender]. - quickStepMethod := Context compiledMethodAt: #quickSend:to:with:super:. - [ctx sender == nil or: [ctx sender method == quickStepMethod]] whileFalse: [ctx := ctx sender]. ctx sender ifNil: [^self]. baseContext := ctx. "baseContext is now the context created by the #quickSend... method." oldSender := ctx := ctx sender home sender. "oldSender is the context which originally sent the #quickSend... method" + [ctx == nil or: [(ctx objectClass: ctx receiver) includesBehavior: self]] whileFalse: + [ctx := ctx sender]. - [ctx == nil or: [(ctx objectClass: ctx receiver) includesBehavior: self]] whileFalse: [ctx := ctx sender]. ctx ifNil: [^self]. "ctx is the context of the Debugger method #doStep" ctx receiver labelString: aString; externalInterrupt: false; proceedValue: aContext receiver. baseContext swapSender: baseContext sender sender sender. "remove intervening contexts" thisContext swapSender: oldSender. "make myself return to debugger" ErrorRecursion := false. ^aContext!

1 0

The Trunk: Compiler-eem.351.mcz
by commits＠source.squeak.org 13 Apr '17

13 Apr '17

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.351.mcz ==================== Summary ==================== Name: Compiler-eem.351 Author: eem Time: 13 April 2017, 1:51:29.304066 pm UUID: a6fc0090-227a-4e9c-b85d-a6c05c20707b Ancestors: Compiler-eem.350 Add missing directedSuperSend: support. =============== Diff against Compiler-eem.350 =============== Item was added: + ----- Method: BlockLocalTempCounter>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- + directedSuperSend: selector numArgs: numArgs + "Send Message Above Specific Class With Selector, selector, bytecode. + Start the lookup above the class that is the value of the association on + top of stack. The arguments of the message are found in the top numArgs + stack locations beneath the association, and the receiver just below them." + + stackPointer := stackPointer - (numArgs + 1)! Item was added: + ----- Method: BytecodeEncoder>>sizeSendDirectedSuper:numArgs: (in category 'opcode sizing') ----- + sizeSendDirectedSuper: selectorLiteralIndex numArgs: numArgs + ^self sizeOpcodeSelector: #genSendDirectedSuper:numArgs: withArguments: {selectorLiteralIndex. numArgs}!

1 0

The Trunk: Kernel-eem.1094.mcz
by commits＠source.squeak.org 13 Apr '17

13 Apr '17

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1094.mcz ==================== Summary ==================== Name: Kernel-eem.1094 Author: eem Time: 13 April 2017, 9:22:45.544636 am UUID: ef197114-f2d6-437c-920f-1940bfe2b414 Ancestors: Kernel-eem.1093 Correct the SistaV1 bytecoders decoders up to immedately before the ensure4llocableSlots: bytecode (which is subject to change). Add incomplete directedSuperSend:numArgs: support. =============== Diff against Kernel-eem.1093 =============== Item was added: + ----- Method: InstructionClient>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- + directedSuperSend: selector numArgs: numArgs + "Send Message Above Specific Class With Selector, selector, bytecode. + Start the lookup above the class that is the value of the association on + top of stack. The arguments of the message are found in the top numArgs + stack locations beneath the association, and the receiver just below them."! Item was added: + ----- Method: InstructionPrinter>>directedSuperSend:numArgs: (in category 'instruction decoding') ----- + directedSuperSend: selector "<Symbol>" numArgs: numArgs "<SmallInteger>" + self print: 'directedSuperSend: ' , (self stringForSelector: selector numArgs: numArgs)! 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 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 - [^client send: (method literalAt: (extA bitShift: 5) + (byte // 8) + 1) super: bytecode = 235 numArgs: (extB bitShift: 3) + (byte \\ 8)]. bytecode = 236 ifTrue: + [^self unusedBytecode: client at: startPC]. "reserved for ensureAllocableSlots:" - [^client trapIfNotInstanceOf: (method literalAt: (extA bitShift: 8) + byte + 1)]. 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>>interpretNext3ByteSistaV1Instruction:for:extA:extB:startPC: (in category 'decoding - private - sista v1') ----- interpretNext3ByteSistaV1Instruction: 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 three-byte codes. For a table of the bytecode set, see EncoderForSistaV1's class comment." + | method byte2 byte3 literal | - | method byte2 byte3 | method := self method. byte2 := method at: pc. byte3 := method at: pc + 1. pc := pc + 2. + + "** 248 (2) 11111000 iiiiiiii mssjjjjj Call Primitive #iiiiiiii + (jjjjj * 256) + m=1 means inlined primitive, no hard return after execution. + ss defines the unsafe operation set used to encode the operations. + (ss = 0 means sista unsafe operations, ss = 01 means lowcode operations, other numbers are not used) + Lowcode inlined primitives may have extensions." - "we search the bytecodes by what we expect to be the static frequency." bytecode = 248 ifTrue: + [| primitiveSetSelector primitiveNumber | + byte3 < 128 ifTrue: + [ "Maybe this should be restricted to the 13 bit primitiveNumber too..." + ^client callPrimitive: byte2 + (byte3 bitShift: 8)]. + primitiveSetSelector := (byte3 bitShift: -5) bitAnd: 3. + primitiveNumber := byte2 + ((byte3 bitAnd: 31) bitShift: 8). + primitiveSetSelector = 0 ifTrue: "Sista inline primitives" + [^client callInlinePrimitive: byte2 + (byte3 - 128 bitShift: 8)]. + primitiveSetSelector = 1 ifTrue: "Lowcode inline primitives" + [^client callLowcodeInlinePrimitive: byte2 + (byte3 - 128 bitShift: 8) extA: extA extB: extB]. + "fall through to ^self unusedBytecode: client at: startPC below"]. + + "* 249 11111001 xxxxxxxx siyyyyyy push Closure Compiled block literal index xxxxxxxx (+ Extend A * 256) numCopied yyyyyy receiverOnStack: s = 1 ignoreOuterContext: i = 1" + bytecode = 249 ifTrue: + [literal := method literalAt: (extA bitShift: 8) + byte2 + 1. + (byte3 noMask: 16rC0) ifTrue: + [^client pushFullClosure: literal numCopied: byte3]. + ^client + pushFullClosure: literal + numCopied: (byte3 bitAnd: 16r3F) + receiverOnStack: (byte3 anyMask: 16r80) + ignoreOuterContext: (byte3 anyMask: 16r40)]. - [^client callPrimitive: byte2 + (byte3 bitShift: 8)]. bytecode = 250 ifTrue: ["** 250 11111010 eeiiikkk jjjjjjjj Push Closure Num Copied iii (+ExtA//16*8) Num Args kkk (+ ExtA\\16*8) BlockSize jjjjjjjj (+ExtB*256). ee = num extensions" ^client pushClosureCopyNumCopiedValues: ((byte2 bitShift: -3) bitAnd: 7) + (extA // 16 bitShift: 3) numArgs: (byte2 bitAnd: 7) + (extA \\ 16 bitShift: 3) blockSize: byte3 + (extB bitShift: 8)]. bytecode = 251 ifTrue: [^client pushRemoteTemp: byte2 inVectorAt: byte3]. bytecode = 252 ifTrue: [^client storeIntoRemoteTemp: byte2 inVectorAt: byte3]. bytecode = 253 ifTrue: [^client popIntoRemoteTemp: byte2 inVectorAt: byte3]. + "** 254 11111110 kkkkkkkk jjjjjjjj branch If Not Instance Of Behavior/Array Of Behavior kkkkkkkk (+ Extend A * 256, where Extend A >= 0) distance jjjjjjjj (+ Extend B * 256, where Extend B >= 0)" + bytecode = 254 ifTrue: "The sign bit of extB inverts the operation. Would like to have extB < -128, but this is good enough for now." + [literal := method literalAt: (extA bitShift: 8) + byte2 + 1. + extB < 0 ifTrue: [^client branchIfInstanceOf: literal distance: (extB + 128 bitShift: 8) + byte3]. + ^client branchIfNotInstanceOf: literal distance: (extB bitShift: 8) + byte3]. - "249 11111001 xxxxxxxx syyyyyyy Reserved for Push Float" - "254-255 1111111 i xxxxxxxx yyyyyyyy 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 pushConstant: true]. offset = 14 ifTrue: [^client pushConstant: false]. offset = 15 ifTrue: [^client pushConstant: nil]]. "div16 = 5" offset < 2 ifTrue: [^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 send: (Smalltalk specialSelectorAt: offset + 1) super: false numArgs: (Smalltalk specialNargsAt: offset + 1)]. div16 = 7 ifTrue: [^client 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]. - [^client doDup]. ^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!

1 0

The Trunk: Tools-eem.756.mcz
by commits＠source.squeak.org 11 Apr '17

11 Apr '17

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.756.mcz ==================== Summary ==================== Name: Tools-eem.756 Author: eem Time: 11 April 2017, 12:06:44.157162 pm UUID: e6634875-90c8-4ebf-9f07-5b3e1aadfc81 Ancestors: Tools-cmm.755 Make the debugger handle gracefully stepping through the termiation of a process. =============== Diff against Tools-cmm.755 =============== Item was changed: ----- Method: Debugger>>buildControlButtonsWith: (in category 'toolbuilder') ----- buildControlButtonsWith: builder | panelSpec | panelSpec := builder pluggablePanelSpec new. panelSpec children: OrderedCollection new. self customButtonSpecs do:[:spec| | buttonSpec | buttonSpec := builder pluggableActionButtonSpec new. buttonSpec model: self. buttonSpec label: spec first. buttonSpec action: spec second. spec second == #methodHierarchy ifTrue:[ buttonSpec color: #inheritanceButtonColor. ]. + spec size > 2 ifTrue: + [buttonSpec help: spec third. + spec size > 3 ifTrue: + [buttonSpec enabled: spec fourth]]. - spec size > 2 ifTrue:[buttonSpec help: spec third]. panelSpec children add: buttonSpec. ]. panelSpec layout: #horizontal. "buttons" ^panelSpec! Item was changed: ----- Method: Debugger>>customButtonSpecs (in category 'initialize') ----- customButtonSpecs "Answer an array of elements of the form wording, selector, help-message, that characterize the custom button row of a debugger." | list | list := #(('Proceed' proceed 'close the debugger and proceed.') ('Restart' restart 'reset this context to its start.') + ('Into' send 'step Into message sends' interruptedProcessIsActive) + ('Over' doStep 'step Over message sends' interruptedProcessIsActive) + ('Through' stepIntoBlock 'step into a block' interruptedProcessIsActive) - ('Into' send 'step Into message sends') - ('Over' doStep 'step Over message sends') - ('Through' stepIntoBlock 'step into a block') ('Full Stack' fullStack 'show full stack') ('Where' where 'select current pc range') ('Tally' tally 'time in milliseconds to execute')). Preferences restartAlsoProceeds ifTrue: [list := list collect: [:each | each second == #restart ifTrue: [each copy at: 3 put: 'proceed from the beginning of this context.'; yourself] ifFalse: [each]]]. ^ list! Item was added: + ----- Method: Debugger>>interruptedProcessIsActive (in category 'user interface') ----- + interruptedProcessIsActive + ^interruptedProcess isTerminated not! Item was changed: ----- Method: Debugger>>resetContext:changeContents: (in category 'private') ----- resetContext: aContext changeContents: aBoolean "Used when a new context becomes top-of-stack, for instance when the method of the selected context is re-compiled, or the simulator steps or returns to a new method. There is room for much optimization here, first to save recomputing the whole stack list (and text), and secondly to avoid recomposing all that text (by editing the paragraph instead of recreating it)." | oldContext | oldContext := self selectedContext. + self newStack: (aContext ifNil: [oldContext]) contextStack. + self changed: #contextStackList; changed: #interruptedProcessIsActive. - self newStack: aContext contextStack. - self changed: #contextStackList. self contextStackIndex: 1 oldContextWas: oldContext. aBoolean ifTrue: [self contentsChanged]. !

1 0

The Trunk: Kernel-eem.1093.mcz
by commits＠source.squeak.org 11 Apr '17

11 Apr '17

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1093.mcz ==================== Summary ==================== Name: Kernel-eem.1093 Author: eem Time: 11 April 2017, 12:03:29.176811 pm UUID: 89d60290-842f-435b-bee9-25dc3377ad00 Ancestors: Kernel-eem.1092 Avoid a simulation error when attempting to step a terminated process. =============== Diff against Kernel-eem.1092 =============== Item was changed: ----- Method: Process>>completeStep: (in category 'changing suspended state') ----- completeStep: aContext "Resume self until aContext is on top, or if already on top, complete next step" | callee | + self isTerminated ifTrue: + [^ nil]. + self suspendedContext == aContext ifFalse: + [^ self complete: (self calleeOf: aContext)]. - self suspendedContext == aContext ifFalse: [ - ^ self complete: (self calleeOf: aContext)]. callee := self step. callee == aContext ifTrue: [^ callee]. aContext isDead ifTrue: [^ self suspendedContext]. "returned" ^ self complete: callee "finish send"!

1 0

The Trunk: ST80-eem.228.mcz
by commits＠source.squeak.org 11 Apr '17

11 Apr '17

Eliot Miranda uploaded a new version of ST80 to project The Trunk: http://source.squeak.org/trunk/ST80-eem.228.mcz ==================== Summary ==================== Name: ST80-eem.228 Author: eem Time: 11 April 2017, 11:29:49.415405 am UUID: 3a992a3d-dba9-48e6-8ab9-716c4735bf75 Ancestors: ST80-cmm.227 Fix a regression in ST80-cmm.227 which prevents a debugger opening while another is open. One should never suspend the active process within a critical: block; doing so prevents the critical: block from completing and hence releasing its lock. The fix is to pull the suspend out of the critical: block. =============== Diff against ST80-cmm.227 =============== Item was changed: ----- Method: Debugger class>>mvcOpenContext:label:contents: (in category '*ST80-opening') ----- mvcOpenContext: aContext label: aString contents: contentsStringOrNil "Open a notifier in response to an error, halt, or notify. A notifier view just shows a short view of the sender stack and provides a menu that lets the user open a full debugger." "Simulation guard" <primitive: 19> ErrorRecursionGuard critical: [ ErrorRecursion not & Preferences logDebuggerStackToFile ifTrue: [ Smalltalk logSqueakError: aString inContext: aContext ]. ErrorRecursion ifTrue: [ ErrorRecursion := false. self primitiveError: aString ]. ErrorRecursion := true. self informExistingDebugger: aContext label: aString. (Debugger mvcContext: aContext) openNotifierContents: contentsStringOrNil label: aString. + ErrorRecursion := false ]. + Processor activeProcess suspend! - ErrorRecursion := false. - Processor activeProcess suspend ]!

1 0

The Trunk: Morphic-eem.1334.mcz
by commits＠source.squeak.org 11 Apr '17

11 Apr '17

Eliot Miranda uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-eem.1334.mcz ==================== Summary ==================== Name: Morphic-eem.1334 Author: eem Time: 11 April 2017, 11:27:47.032574 am UUID: cd47b9b1-d13f-4c90-8aab-d1fbabd162e0 Ancestors: Morphic-cmm.1333 Fix a regression in Morphic-cmm.1333 which prevents a debugger opening while another is open. One should never suspend the active process within a critical: block; doing so prevents the critical: block from completing and hence releasing its lock. The fix is to pull the suspend out of the critical: block. =============== Diff against Morphic-cmm.1333 =============== Item was changed: ----- Method: Debugger class>>morphicOpenContext:label:contents: (in category '*Morphic-opening') ----- morphicOpenContext: aContext label: aString contents: contentsStringOrNil "Open a notifier in response to an error, halt, or notify. A notifier view just shows a short view of the sender stack and provides a menu that lets the user open a full debugger." "Simulation guard" <primitive: 19> ErrorRecursionGuard critical: [ ErrorRecursion not & Preferences logDebuggerStackToFile ifTrue: [ Smalltalk logSqueakError: aString inContext: aContext ]. ErrorRecursion ifTrue: [ ErrorRecursion := false. self primitiveError: aString ]. ErrorRecursion := true. self informExistingDebugger: aContext label: aString. (Debugger morphicContext: aContext) openNotifierContents: contentsStringOrNil label: aString. + ErrorRecursion := false]. + Processor activeProcess suspend ! - ErrorRecursion := false. - Processor activeProcess suspend ]! Item was changed: ----- Method: Debugger class>>morphicOpenOn:context:label:contents:fullView: (in category '*Morphic-opening') ----- morphicOpenOn: process context: context label: title contents: contentsStringOrNil fullView: full "Open a notifier in response to an error, halt, or notify. A notifier view just shows a short view of the sender stack and provides a menu that lets the user open a full debugger." ErrorRecursionGuard critical: [ | errorWasInUIProcess debugger | ErrorRecursion ifTrue: [ "self assert: process == Project current uiProcess -- DOCUMENTATION ONLY" ErrorRecursion := false. ^ Project current handleFatalDrawingError: title ]. [ ErrorRecursion not & Preferences logDebuggerStackToFile ifTrue: [ Smalltalk logSqueakError: title inContext: context ] ] on: Error do: [ : ex | ex return: nil ]. ErrorRecursion := true. errorWasInUIProcess := Project current spawnNewProcessIfThisIsUI: process. "Schedule debugging in deferred UI message because 1) If process is the current UI process, it is already broken. 2) If process is some other process, it must not execute UI code" Project current addDeferredUIMessage: [ debugger := self new process: process controller: nil context: context. full ifTrue: [ debugger openFullNoSuspendLabel: title ] ifFalse: [ debugger openNotifierContents: contentsStringOrNil label: title ]. debugger errorWasInUIProcess: errorWasInUIProcess. "Try drawing the debugger tool at least once to avoid freeze." Project current world displayWorldSafely. + ErrorRecursion := false ]]. + process suspend ! - ErrorRecursion := false ]. - process suspend ]!

1 0

The Trunk: Monticello-bf.668.mcz
by commits＠source.squeak.org 11 Apr '17

11 Apr '17

Bert Freudenberg uploaded a new version of Monticello to project The Trunk: http://source.squeak.org/trunk/Monticello-bf.668.mcz ==================== Summary ==================== Name: Monticello-bf.668 Author: bf Time: 11 April 2017, 4:24:04.47172 pm UUID: 92bc365c-c14e-4ea0-af1f-8e1c822cdf49 Ancestors: Monticello-nice.667 Restore diff naming logic which got broken when MCVersionName was introduced =============== Diff against Monticello-nice.667 =============== Item was changed: ----- Method: MCDiffyVersion class>>nameForVer:base: (in category 'name utilities') ----- nameForVer: versionName base: baseName | baseId | + baseId := versionName packageName = baseName packageName + ifFalse: [ '@' , baseName ] + ifTrue: [ + versionName author = baseName author + ifTrue: [ baseName versionNumber asString ] + ifFalse: [ baseName author, '.', baseName versionNumber asString ] ]. - baseId := versionName = baseName - ifTrue: [ baseName versionNumber asString ] - ifFalse: - [ versionName packageName = baseName packageName - ifTrue: [ baseName author, '.', baseName versionNumber asString ] - ifFalse: [ '@' , baseName ] ]. ^ versionName versionName , '(' , baseId , ')'!

1 0

The Trunk: Compiler-eem.350.mcz
by commits＠source.squeak.org 10 Apr '17

10 Apr '17

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.350.mcz ==================== Summary ==================== Name: Compiler-eem.350 Author: eem Time: 10 April 2017, 11:54:17.562394 am UUID: 2ea4f497-05f7-4dbd-b6af-31821d794e22 Ancestors: Compiler-eem.349 Have decompileMethod: access the method from its argument, aBlock, so that FullBlockClosures have a chance of decompiling correctly. =============== Diff against Compiler-eem.349 =============== Item was changed: ----- Method: Decompiler>>decompileBlock: (in category 'public access') ----- decompileBlock: aBlock "Decompile aBlock, returning the result as a BlockNode. Show temp names from source if available." "Decompiler new decompileBlock: [3 + 4]" | startpc end homeClass blockNode methodNode home | + (home := aBlock home) ifNil: [^nil]. + (homeClass := home methodClass) == #unknown ifTrue: [^nil]. + method := aBlock method. - (home := aBlock home) ifNil: [^ nil]. - method := home method. - (homeClass := home methodClass) == #unknown ifTrue: [^ nil]. aBlock isClosure ifTrue: [(methodNode := method decompileWithTemps) ifNil: [^nil] ifNotNil: [methodNode nodesDo: [:node| node pc = aBlock startpc ifTrue: [^node]]]. ^self error: 'cannot find block node matching aBlock']. constructor := self constructorForMethod: aBlock method. self withTempNames: method methodNode tempNames. self initSymbols: homeClass. startpc := aBlock startpc. end := aBlock endPC. stack := OrderedCollection new: method frameSize. lastJumpIfPcStack := OrderedCollection new. caseExits := OrderedCollection new. statements := OrderedCollection new: 20. super method: method pc: startpc - 5. blockNode := self blockTo: end. stack isEmpty ifFalse: [self error: 'stack not empty']. ^blockNode statements first!

1 0

The Trunk: Kernel-eem.1092.mcz
by commits＠source.squeak.org 10 Apr '17

10 Apr '17

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1092.mcz ==================== Summary ==================== Name: Kernel-eem.1092 Author: eem Time: 10 April 2017, 11:52:56.611122 am UUID: 49255d6b-cd3d-4604-b9ba-6ac025d951b3 Ancestors: Kernel-eem.1091 Add FullBlockClosure (blocks with independent bytecode methods; needed for Scorch/Sista). Give BlockClosure an informative comment. =============== Diff against Kernel-eem.1091 =============== Item was changed: Object variableSubclass: #BlockClosure instanceVariableNames: 'outerContext startpc numArgs' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! + !BlockClosure commentStamp: 'eem 4/10/2017 11:17' prior: 0! + Instances of BlockClosure represent blocks, a sequence of statements inside square brackets that can be evaluated at any time via one of the value messages (value, value:, value:value:, ... valueWithArguments:), which answer their last statement. Blocks therefore allow deferred evaluation and so are used to buikld control structures where a sequence of statements are evaluated or not depending on other values in the program. + + Blocks can close over variables in their enclosing method or block. The method in which a block is nested is called its home method. Blocks can return from their home method via an up-arrow return, and returns to the sender of the message that created the home method, just like a return from the method itself. BlockClosures are fully first-class objects; they can outlive their enclosing method activation and be answered as results and/or assigned to variables. + + BlockClosures are central to the implementation of control structures in Smalltalk. The arguments to the conditional message ifTrue:ifFalse: are zero-argument blocks, which the receiver is a boolean which responds by evaluating ether the first argument or the second. The bytecode compiler inlines blocks for certain selectors, compiling to conditional branch and branch bytecodes. This is done for efficiency. The full list of inlined messages can be found in MessageNode's MacroSelectors class variable (at time of writing ther=se are ifTrue:, ifFalse:, ifTrue:ifFalse:, ifFalse:ifTrue:, and:, or:, whileFalse:, whileTrue:, whileFalse, whileTrue, to:do:, to:by:do:, caseOf:, caseOf:otherwise:, ifNil:, ifNotNil:, ifNil:ifNotNil:, ifNotNil:ifNil: and repeat. + + Examples (more can be found in BlockClosureTest's class comment): + [1@2] value + + | counter | + counter := 0. + { counter. (1 to: 10) collect: [:n| counter := counter + 1. n + counter]. counter } + + | fibonacciBlock | + fibonacciBlock := [:n| + n > 1 ifTrue: [(fibonacciBlock value: n - 1) + (fibonacciBlock value: n - 2)] ifFalse: [1]]. + (1 to: 10) collect: fibonacciBlock + + | randomNumbers | + randomNumbers := Random new next: 20. + { randomNumbers. randomNumbers sorted: [:a :b| a > b] } + + Implementation: + BlockClosure implements blocks that are nested within an enclosing method or block context. Further, the bytecodes for the block are embedded within the home method. BlockClosure's subclass FullBlockClosure has an independent CompiledBlock as its method, and may or may not have an outerContext. + + Instance Variables + numArgs: <Integer> + outerContext: <Context> + startpc: <Integer> + + numArgs + - the number of arguments the block expects + + outerContext + - the Context of the method or block activation in which the receiver is created + + startpc + - the startpc of the block's bytecodes within the home method.! - !BlockClosure commentStamp: '<historical>' prior: 0! - I am a block closure for Eliot's closure implementation. Not to be confused with the old BlockClosure.! Item was added: + BlockClosure variableSubclass: #FullBlockClosure + instanceVariableNames: 'receiver' + classVariableNames: '' + poolDictionaries: '' + category: 'Kernel-Methods'! + + !FullBlockClosure commentStamp: 'eem 4/10/2017 11:18' prior: 0! + Instances of FullBlockClosure represent blocks, a sequence of statements inside square brackets that can be evaluated at any time via one of the value messages (value, value:, value:value:, ... valueWithArguments:), which answer their last statement. Blocks therefore allow deferred evaluation and so are used to buikld control structures where a sequence of statements are evaluated or not depending on other values in the program. + + FullBlockClosure is a refinement of BlockClosure that allows the block to use its own method to hold its code instead of embedding that code within its home method. + + Implementation: + + A FullBlockClosure is a closure that can be independent of any outerContext if desired. It has its own method (currently reusing the startpc inst var) and its own receiver. outerContext can be either a Context or nil. + + This closure design, implemented by Eliot Miranda and Clement Bera along with the sista work aims to simplify the block closure model while enhacing its capabilities. It allows lazy decompilation of closures and fast machine code dispatch in Cog's JIT, while allowing inlining of methods and blocks to be independent from their enclosing blocks. + + At closure creation time, the bytecode specifies: + - the compiledBlock to execute when executing this block's code (in the literal frame) + - if the receiver is the current receiver or a receiver passed on stack before the copied values. + - if the closure needs an outerContext. outerContexts are used for non local returns and debugging. Blocks with non local returns have to set their outerContext. For other blocks (97% of blocks), it's a trade-off between performance and debuggability. + + Instance Variables (inherited) + numArgs <SmallInteger> + outerContext: <Context|nil> + compiledBlock(startpc) <CompiledBlock> + + Instance Variables + receiver: <Object> + + numArgs + - the number of arguments the block expects. This is superfluous; the number of arguments can be obtained from the receiver's compiledBlock. + + outerContext + - the Context of the method or block activation in which the receiver is created. + + compiledBlock(startpc) + - reused to refer to the CompiledBlock that implements the receiver's code. + + receiver + - the receiver of the message that created the block's home method activation.! Item was added: + ----- Method: FullBlockClosure>>abstractBytecodeMessagesDo: (in category 'scanning') ----- + abstractBytecodeMessagesDo: aBlock + ^ self compiledBlock abstractBytecodeMessagesDo: aBlock! Item was added: + ----- Method: FullBlockClosure>>asContextWithSender: (in category 'private') ----- + asContextWithSender: aContext + "Inner private support method for evaluation. Do not use unless you know what you're doing." + + ^(Context newForMethod: self compiledBlock) + setSender: aContext + receiver: self receiver + method: self compiledBlock + closure: self + startpc: self startpc; + privRefresh! Item was added: + ----- Method: FullBlockClosure>>compiledBlock (in category 'accessing') ----- + compiledBlock + "To be able to inherit from BlockClosure" + ^ startpc! Item was added: + ----- Method: FullBlockClosure>>compiledBlock: (in category 'accessing') ----- + compiledBlock: aCompiledMethod + "To be able to inherit from BlockClosure" + startpc := aCompiledMethod! Item was added: + ----- Method: FullBlockClosure>>endPC (in category 'accessing') ----- + endPC + ^ self compiledBlock endPC! Item was added: + ----- Method: FullBlockClosure>>hasMethodReturn (in category 'scanning') ----- + hasMethodReturn + "Answer whether the receiver has a method-return ('^') in its code." + ^ self compiledBlock hasMethodReturn! Item was added: + ----- Method: FullBlockClosure>>home (in category 'accessing') ----- + home + ^ outerContext ifNotNil: [ outerContext home ]! Item was added: + ----- Method: FullBlockClosure>>method (in category 'accessing') ----- + method + ^ self compiledBlock! Item was added: + ----- Method: FullBlockClosure>>numArgs: (in category 'accessing') ----- + numArgs: n + numArgs := n! Item was added: + ----- Method: FullBlockClosure>>numTemps (in category 'accessing') ----- + numTemps + ^ self compiledBlock numTemps! Item was added: + ----- Method: FullBlockClosure>>outerContext: (in category 'accessing') ----- + outerContext: ctxt + outerContext := ctxt! Item was added: + ----- Method: FullBlockClosure>>printOn: (in category 'private') ----- + printOn: s + [ super printOn: s ] on: Error do: [ :ex | s << '!![' << ex messageText << ']!!' ]! Item was added: + ----- Method: FullBlockClosure>>receiver (in category 'accessing') ----- + receiver + ^ receiver! Item was added: + ----- Method: FullBlockClosure>>receiver: (in category 'accessing') ----- + receiver: anObject + receiver := anObject! Item was added: + ----- Method: FullBlockClosure>>simulateValueWithArguments:caller: (in category 'simulation') ----- + simulateValueWithArguments: anArray caller: aContext + "Simulate the valueWithArguments: primitive. Fail if anArray is not an array of the right arity." + | newContext | + newContext := (Context newForMethod: self compiledBlock) + setSender: aContext + receiver: receiver + method: self compiledBlock + closure: self + startpc: self compiledBlock initialPC. + ((newContext objectClass: anArray) ~~ Array + or: [numArgs ~= anArray size]) ifTrue: + [^Context primitiveFailTokenFor: nil]. + newContext stackp: self compiledBlock numTemps. + 1 to: numArgs do: + [:i| newContext at: i put: (anArray at: i)]. + 1 to: self basicSize do: + [:i| newContext at: i + numArgs put: (self at: i)]. + ^newContext! Item was added: + ----- Method: FullBlockClosure>>startpc (in category 'accessing') ----- + startpc + ^ self compiledBlock initialPC! Item was added: + ----- Method: FullBlockClosure>>value (in category 'evaluating') ----- + value + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the copied values to the activation as its copied + temps. Primitive. Essential." + <primitive: 207> + | newContext | + numArgs ~= 0 ifTrue: + [self numArgsError: 0]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]! Item was added: + ----- Method: FullBlockClosure>>value: (in category 'evaluating') ----- + value: firstArg + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the argument and copied values to the activation + as its argument and copied temps. Primitive. Essential." + <primitive: 207> + | newContext | + numArgs ~= 1 ifTrue: + [self numArgsError: 1]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + newContext at: 1 put: firstArg. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]! Item was added: + ----- Method: FullBlockClosure>>value:value: (in category 'evaluating') ----- + value: firstArg value: secondArg + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the arguments and copied values to the activation + as its arguments and copied temps. Primitive. Essential." + <primitive: 207> + | newContext | + numArgs ~= 2 ifTrue: + [self numArgsError: 2]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + newContext at: 1 put: firstArg. + newContext at: 2 put: secondArg. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]! Item was added: + ----- Method: FullBlockClosure>>value:value:value: (in category 'evaluating') ----- + value: firstArg value: secondArg value: thirdArg + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the arguments and copied values to the activation + as its arguments and copied temps. Primitive. Essential." + <primitive: 207> + | newContext | + numArgs ~= 3 ifTrue: + [self numArgsError: 3]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + newContext at: 1 put: firstArg. + newContext at: 2 put: secondArg. + newContext at: 3 put: thirdArg. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]! Item was added: + ----- Method: FullBlockClosure>>value:value:value:value: (in category 'evaluating') ----- + value: firstArg value: secondArg value: thirdArg value: fourthArg + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the arguments and copied values to the activation + as its arguments and copied temps. Primitive. Essential." + <primitive: 207> + | newContext | + numArgs ~= 4 ifTrue: + [self numArgsError: 4]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + newContext at: 1 put: firstArg. + newContext at: 2 put: secondArg. + newContext at: 3 put: thirdArg. + newContext at: 4 put: fourthArg. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]! Item was added: + ----- Method: FullBlockClosure>>valueNoContextSwitch (in category 'evaluating') ----- + valueNoContextSwitch + "An exact copy of BlockClosure>>value except that this version will not preempt + the current process on block activation if a higher-priority process is runnable. + Primitive. Essential." + <primitive: 209> + numArgs ~= 0 ifTrue: + [self numArgsError: 0]. + self primitiveFailed! Item was added: + ----- Method: FullBlockClosure>>valueNoContextSwitch: (in category 'evaluating') ----- + valueNoContextSwitch: anArg + "An exact copy of BlockClosure>>value: except that this version will not preempt + the current process on block activation if a higher-priority process is runnable. + Primitive. Essential." + <primitive: 209> + numArgs ~= 1 ifTrue: + [self numArgsError: 1]. + self primitiveFailed! Item was added: + ----- Method: FullBlockClosure>>valueWithArguments: (in category 'evaluating') ----- + valueWithArguments: anArray + "Activate the receiver, creating a closure activation (MethodContext) + whose closure is the receiver and whose caller is the sender of this + message. Supply the arguments in an anArray and copied values to + the activation as its arguments and copied temps. Primitive. Essential." + <primitive: 208> + | newContext | + numArgs ~= anArray size ifTrue: + [self numArgsError: anArray size]. + false + ifTrue: "Old code to simulate the closure value primitive on VMs that lack it." + [newContext := self asContextWithSender: thisContext sender. + 1 to: numArgs do: + [:i| newContext at: i put: (anArray at: i)]. + thisContext privSender: newContext] + ifFalse: [self primitiveFailed]!

1 0

← Newer
1
...
4
5
6
7
8
9
10
...
13
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages April 2017