Squeak-dev August 2023

squeak-dev@lists.squeakfoundation.org

30 participants
163 discussions

The Trunk: Morphic-mt.2126.mcz
by commits＠source.squeak.org 28 Aug '23

28 Aug '23

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.2126.mcz ==================== Summary ==================== Name: Morphic-mt.2126 Author: mt Time: 28 August 2023, 5:10:28.265367 pm UUID: 87bda34a-4034-4841-bfbf-59b15ff1d1d3 Ancestors: Morphic-mt.2125 For tree widgets, adds missing #okToChange check. Now it behaves more like list widgets do. =============== Diff against Morphic-mt.2125 =============== Item was changed: ----- Method: SimpleHierarchicalListMorph>>specialKeyPressed: (in category 'event handling') ----- specialKeyPressed: asciiValue + self model okToChange + ifFalse: [^ false]. + (self arrowKey: asciiValue) ifTrue: [^ true]. asciiValue = 27 "escape" ifTrue: [ self currentEvent shiftPressed ifTrue: [self currentWorld putUpWorldMenuFromEscapeKey] ifFalse: [self yellowButtonActivity: false]. ^ true]. ^ false!

1 0

The Trunk: Files-mt.204.mcz
by commits＠source.squeak.org 28 Aug '23

28 Aug '23

Marcel Taeumel uploaded a new version of Files to project The Trunk: http://source.squeak.org/trunk/Files-mt.204.mcz ==================== Summary ==================== Name: Files-mt.204 Author: mt Time: 28 August 2023, 2:11:28.055114 pm UUID: 5276d13f-8567-6f45-8701-596ccf95d8ca Ancestors: Files-eem.203 Fix typo. =============== Diff against Files-eem.203 =============== Item was changed: ----- Method: FileDirectory class>>getenv: (in category 'platform specific') ----- getenv: aByteString <primitive: 'primitiveGetenv' module: '' error: ec> ec == #'bad argument' ifTrue: [aByteString isString ifFalse: [^self getenv: aByteString asString]]. + self primitiveFailed! - self primitiveFail!

1 0

The Trunk: Graphics-mt.543.mcz
by commits＠source.squeak.org 28 Aug '23

28 Aug '23

Marcel Taeumel uploaded a new version of Graphics to project The Trunk: http://source.squeak.org/trunk/Graphics-mt.543.mcz ==================== Summary ==================== Name: Graphics-mt.543 Author: mt Time: 28 August 2023, 2:10:50.349114 pm UUID: e5d8ceff-fb09-0b41-b8de-2a1dd54d1275 Ancestors: Graphics-mt.542 Fix typo. =============== Diff against Graphics-mt.542 =============== Item was changed: ----- Method: Bitmap>>decompress:fromByteArray:at: (in category 'filing') ----- decompress: bm fromByteArray: ba at: index "Decompress the body of a byteArray encoded by compressToByteArray (qv)... The format is simply a sequence of run-coded pairs, {N D}*. N is a run-length * 4 + data code. D, the data, depends on the data code... 0 skip N words, D is absent (could be used to skip from one raster line to the next) 1 N words with all 4 bytes = D (1 byte) 2 N words all = D (4 bytes) 3 N words follow in D (4N bytes) S and N are encoded as follows (see decodeIntFrom:)... 0-223 0-223 224-254 (0-30)*256 + next byte (0-7935) 255 next 4 bytes" "NOTE: If fed with garbage, this routine could read past the end of ba, but it should fail before writing past the ned of bm." | i code n anInt data end k pastEnd | <primitive: 'primitiveDecompressFromByteArray' module: 'MiscPrimitivePlugin'> <var: #bm type: 'int *'> <var: #ba type: 'unsigned char *'> <var: #anInt type: 'unsigned int'> "Force the type, otherwise it is inferred as unsigned char because assigned from ba" <var: #data type: 'unsigned int'> i := index. "byteArray read index" end := ba size. k := 1. "bitmap write index" pastEnd := bm size + 1. [i <= end] whileTrue: ["Decode next run start N" anInt := ba at: i. i := i+1. anInt <= 223 ifFalse: [anInt <= 254 ifTrue: [anInt := (anInt-224)*256 + (ba at: i). i := i+1] ifFalse: [anInt := 0. 1 to: 4 do: [:j | anInt := (anInt bitShift: 8) + (ba at: i). i := i+1]]]. n := anInt >> 2. + (k + n) > pastEnd ifTrue: [^ self primitiveFailed]. - (k + n) > pastEnd ifTrue: [^ self primitiveFail]. code := anInt bitAnd: 3. code = 0 ifTrue: ["skip"]. code = 1 ifTrue: ["n consecutive words of 4 bytes = the following byte" data := ba at: i. i := i+1. data := data bitOr: (data bitShift: 8). data := data bitOr: (data bitShift: 16). 1 to: n do: [:j | bm at: k put: data. k := k+1]]. code = 2 ifTrue: ["n consecutive words = 4 following bytes" data := 0. 1 to: 4 do: [:j | data := (data bitShift: 8) bitOr: (ba at: i). i := i+1]. 1 to: n do: [:j | bm at: k put: data. k := k+1]]. code = 3 ifTrue: ["n consecutive words from the data..." 1 to: n do: [:m | data := 0. 1 to: 4 do: [:j | data := (data bitShift: 8) bitOr: (ba at: i). i := i+1]. bm at: k put: data. k := k+1]]]!

1 0

StdioListener run and RosettaCode input
by gettimothy 27 Aug '23

27 Aug '23

Hi Folks, Continuting with the Rosetta code example.... I followed Tim's suggestion to use Eliot's REPL.... I ran the install step from github and it is in my image. In the XTerm used to launch the squeak image, I ran it as a background process hoping that it would serve as stdin for this purpose. It did not. Ideas? I think it would be neat to have a stdin xterm and prompt that A + B rosetta code thing and have it show up in the Transcript. cordially,

2 3

The Inbox: Morphic-ct.2124.mcz
by commits＠source.squeak.org 27 Aug '23

27 Aug '23

Christoph Thiede uploaded a new version of Morphic to project The Inbox: http://source.squeak.org/inbox/Morphic-ct.2124.mcz ==================== Summary ==================== Name: Morphic-ct.2124 Author: ct Time: 19 August 2023, 9:12:41.163516 pm UUID: c1fe136b-c765-f04f-9d30-63c7391d2d53 Ancestors: Morphic-mt.2123 Proposal: Adds new update hook #insertTextReplacement to PluggableTextMorph. Models can use this to insert or append text to the morph without discarding unaccepted changes, the editing history, and, optionally, the selection and scroll position. There are several use cases for this, including button-assisted construction of documents, remote text editing, and dynamically updated information as part of a text widget. =============== Diff against Morphic-mt.2123 =============== Item was added: + ----- Method: PluggableTextMorph>>insertText:from:to:invisibly: (in category 'transcript') ----- + insertText: newText from: start to: stop invisibly: invisibly + + | priorSelection priorHadUnacceptedEdits | + priorSelection := self selectionInterval. + self selectInvisiblyFrom: start to: stop. + + priorHadUnacceptedEdits := self hasUnacceptedEdits. + textMorph editor restoreEmphasisHereAfter: [ + textMorph editor setEmphasisHere. + self replaceSelectionWith: newText]. + + invisibly ifFalse: [^ self]. + + "cover all our tracks" + self hasUnacceptedEdits: priorHadUnacceptedEdits. + + "Restore previous selection. Also update it if behind insertion." + priorSelection start >= start ifTrue: [ + priorSelection := priorSelection start + newText size - (stop - start) - 1 to: priorSelection stop]. + priorSelection stop >= start ifTrue: [ + priorSelection := priorSelection start to: priorSelection stop + newText size - (stop - start) - 1]. + self selectInvisiblyFrom: priorSelection start to: priorSelection stop. + textMorph selectionChanged. + textMorph updateFromParagraph. + self rememberSelectionInterval. + + self flag: #todo. "Also preserve scroll position (which is NOT identical to the selection), so that insertions at the beginning do not interrupt the user further down in the text. This is rarely visible to the user, but should ultimately be done."! Item was added: + ----- Method: PluggableTextMorph>>insertText:toReplace:invisibly: (in category 'transcript') ----- + insertText: newText toReplace: oldTextOrNil invisibly: invisibly + "if oldTextOrNil is nil, append the text to the end" + + | start | + ^ (oldTextOrNil notNil and: [ + (start := textMorph text findString: oldTextOrNil) > 0]) + ifFalse: [self insertText: newText from: textMorph text size + 1 to: textMorph text size invisibly: invisibly] + ifTrue: [self insertText: newText from: start to: start + oldTextOrNil size - 1 invisibly: invisibly]! Item was changed: ----- Method: PluggableTextMorph>>update:with: (in category 'updating') ----- update: aSymbol with: arg1 aSymbol == #editString ifTrue: [ self editString: arg1. self hasUnacceptedEdits: true. ^ self]. (aSymbol == #inputRequested and: [self getTextSelector == arg1 or: [self setTextSelector == arg1]]) ifTrue: [ self activeHand newKeyboardFocus: self. ^ self]. aSymbol == #textStyle ifTrue: [ self setTextStyle: arg1. ^ self]. aSymbol == #font ifTrue: [ self setFont: arg1. ^ self]. + (aSymbol == #insertTextReplacement and: [self getTextSelector == arg1 first]) + "Models can use this to insert or append text to the morph without discarding unaccepted changes, the editing history, and, optionally, the selection and scroll position (if invisibly is true). + Usage: + model changed: #insertTextReplacement with: {#contents. 'replacement'. 'original'. invisibly}." + ifTrue: [ + self insertText: arg1 second toReplace: (arg1 at: 3 ifAbsent: [nil]) invisibly: (arg1 at: 4 ifAbsent: [false])]. ^super update: aSymbol with: arg1! Item was added: + ----- Method: TextEditor>>restoreEmphasisHereAfter: (in category 'accessing') ----- + restoreEmphasisHereAfter: aBlock + + | priorEmphasis | + priorEmphasis := emphasisHere. + ^ aBlock ensure: [ + emphasisHere := priorEmphasis]!

3 3

Re: [Cuis-dev] Morphic's design
by rabbit 26 Aug '23

26 Aug '23

Thank you, Martin. It has been several days since I was running Squeak, which is where I do all my development, accessing the Cryptography repo on SqueakSource. Allow me to explain the ways in which I am thinking about this multi-threaded model. I AM looking to do shared state. However, I will provide handled eventual referendces, such that only 1 thread would be able to write. All writes by the 1 owner Kitty (my name to the each threaded event-loop). All other local Kitties will have a handled Neighbor reference. A Neighbor reference would allow immediate reads, but any writes would get sent to the owner Kitty, and perhaps flip the Neighbor-local reference to a Promise to queue reads until the write is done. In order to accomplish this, we need to know which methods result in writes. It's not just a setter method, but any action methods that call a setter or assign the the ivar. I plan to generate proxy methods on the Spectre class for the RemoteRef to a particular class. Type info. The ClassType I imagine would include whether the method is read-only or not. For methods that are read-only, generate Spectre methods that do immediate shared-memory access to the state. For methods which are not red-only, generate method that forwards the send to the Near in the owner Kitty and potentially flip the Neighbor to a NearPromise, inside the generated #doSomethingNonReadOnly) for send queuing until the promise of the non read-only send resolves (#whenResolved:) to send these queued methods and resolve the ref promise. So 2 promises: 1 for the send and 1 for the ref. > eRef doSomethingNonReadOnly > whenResolved: [:r | eRef resolve: ???]. > > "hmmm...how to preserve the original eRef for resolving the temp promise of it? I use #becomeForward: so the original eRef is gone. We need a special NearPromise that somehow preserves the original eRef, even under #becomeForward:, as the eRef is not necessarily the return of #doSomethingNonReadOnly. Huh?" < #ClassType !! <ClassName !! ASN1UTF8String !! Exportable {true|false}>> !! <IVarRecords !! #SequenceOfIVarRecord !! <IVarRecord !! IVarName !! ClassTypeName !! ASN1Type>> !! <MethodRecords !! #SequenceOfMethodRecord !! <#MethodRecord !! MethodName !! ReturnClassTypeName !! ReadOnly !! RequiresTransaction> > > We can use a parser to try and detect writes. Also, as these shared objects would be #beReadOnlyObject, except when the owner Kitty is running a write method, then any ModificationException would update the Read-Only mark of that method in its ClassType. Or something. To summarize to you, Martin, in a salient, I am looking to establish safe shared-memory access. I definitely would like to see a new Morphic that was multi-threaded (Eventual). Each Kitty could run on a separate native thread. Best, • rabbit ❤️‍🔥🐰 On 8/20/23 18:40, Martin McClure via Cuis-dev wrote: > Hi Szabolcs, > > An interesting question. I'm a bit late to this discussion, but your comments touch on a topic that has interested me for many years, so I'd like to take a step back and examine the question a bit more (partially duplicating what others have already said, alas). > > Systems with multiple threads of execution can be divided into two primary categories: Those where the threads share memory (now usually called threads) and those where each thread operates in its own memory (now usually called processes). > > In the 1970s, when Smalltalk was being designed, this distinction was not yet standard, and so Smalltalk has class Process, which now would be called Thread. > > A system where each process has its own memory can be very successful, as most modern operating systems demonstrate. > > Shared-state multi-threading, for all that it's widely used, turns out to be a terrible idea. Very simple uses can be "thread-safe," but anything that even starts to be complex makes correctness so unlikely that it might as well be impossible. But this was another thing not known in the 1970s, so that's how Smalltalk was designed. Making Smalltalk thread-safe was something that I advocated for quite some years, until I realized that it was essentially impossible. > > Better solutions exist in more recent languages like E, and even more recent languages like Dart that take ideas from E. In E, each thread runs in its own object space, so it's more like OS processes. There are, as you'd expect, ways to send messages asynchronously between processes. It appears to be much easier to make a correct multi-threaded program this way. > > I was also frustrated by the 1984 Mac OS. I think they might have been better off with a preemptive multitasking system at that time. It wouldn't have been difficult to write one -- I wrote one for 8-bit processors in 1982-1983 that could run independent or cooperating processes within the same processor or across multiple processors. Apple was stuck with the implications of that design for fifteen years. But maybe their choice was justified -- my OS would have run into memory fragmentation issues if stressed hard, and the original Mac was so short on memory for what it tried to do. Ah, well, it's all history now. > > In summary, I think trying to convert Smalltalk to a "thread-safe" multi-threaded design with shared state would be very hard. Worse, it is an undesirable goal, because modifying such a system without introducing race conditions or deadlocks would be very very hard, and would sacrifice Smalltalk's flexibility. But extending Smalltalk into a multi-threaded system where each thread has its own object space is more achievable, and a better goal. I get the impression that this sort of thing is what Rabbit is up to. > > Regards, > -Martin > > On 8/15/23 12:18, Szabolcs Komáromi via Cuis-dev wrote: > >> Hi Juan, Ken, >> >> Thanks for the explanation. I'm constantly confused, at least for the time being, by the dichotomy of Smalltalk's "operating systemness" and its implementation as an application. >> >> If Smalltalk would be an operating system it would be normal to have multiple GUI-threads. But Smalltalk is an application thus it is perfectly normal to have only one GUI-thread. If i understand correctly. >> >> I'm currently reading John Maloney's papers about Morphic to better understand what Morphic is. If I'm correct Morphic at its core is an abstract idea about a GUI framework that emphasizes concreteness, liveness, and uniformity. >> >> When I asked my question what was in my mind is Apple's struggle with QuickDraw and the classic Mac OS's basic design what prohibited preemptive multitasking during the 1990s. I thought maybe there is something similar about Morphic. A somewhat better question would have been whether Cuis' Morphic implementation is inherently not tread safe or every possible implementation of Morphic wouldn't be be thread safe. But this is also a silly question if Morphic is an abstract idea. >> >> Regards, >> Szabolcs -- ••• rabbit ❤️‍🔥🐰

2 2

WeakSet but no WeakIdentitySet?
by Igor Stasenko 26 Aug '23

26 Aug '23

Hello, i need to keep a bunch of CompiledMethods in WeakSet, but i am a bit afraid, that it wont work as i want to, because of CompiledMethod>>= implementation, because a code, which i currently writing doesn't changing a method's bytecode, but changing its trailer instead, and so, this could lead to undesirable effects.. If i could have a WeakIdentitySet... Meanwhile, i think i have nothing else, but just use a degenerate WeakIdentityKeyDictionary , with methods in keys and nils in values. :( -- Best regards, Igor Stasenko AKA sig.

4 3

UnixProcess testPipeLine oddities
by gettimothy 25 Aug '23

25 Aug '23

Hi Folks. Continuing with my previous failed efforts to get the output stream from a linux process into squeak, I studied the UnixProcess testPipeLine. I have modified it under my own test method, as shown below catFromFileToSqueak | input pipe2 output dest child desc result| input := OSProcess readOnlyFileNamed: '/home/wm/install.txt'. "returns a MultiByteFileStream: '/etc/hosts'" pipe2 := OSPipe nonBlockingPipe. output := pipe2 writer. dest := pipe2 reader. desc := Array with: input with: output with: nil. child := UnixProcess forkJob: '/bin/cat' arguments: nil environment: nil descriptors: desc. input close. output close. result := dest upToEnd. result inspect. self break. dest close. child sigterm. ^ result Here is the oddity... UnixProcess catFromFileToSqueak when I invoke the method by "inspecting it" via CTL-I I get an empty string returned, or just a Do-It and hit the break, the result inspect is an empty string. BUT! When I inspect dest , then in its workbox, type self upToEnd (inspect it) I get the contents. The overarching purpose of my efforts is to be able to stream the unix output of tar, bzcat, unzip...etc directly into squeak using the OSProcess tools. directly into the monty (?) SAX / XML tools...(excellent tools, btw, thank you for your work. ios := (StandardFileStream readOnlyFileNamed:(path,filename)). <--HERE I want to replace the StandardFileStream with something from OSProcess. ios inspect. [(WikiMediaSaxToPostrgresHandler on: ios) debug:true; pingevery:100000; optimizeForLargeDocuments;parseDocument.] forkAt: Processor userBackgroundPriority named:'SaxToDB' cordially and thanks in advance

2 2

'{1} bottles of beer on the wall' format: {(99 asString)}
by gettimothy 23 Aug '23

23 Aug '23

Hi Folks, Thanks to Marcel's help on String format: I have a proposed version for the Rosetta Code entry for 99 bottles of beer https://rosettacode.org/wiki/99_bottles_of_beer |template| Transcript clear. template:='{1} bottles of beer on the wall {2} bottles of beer Take one down, pass it around {3} bottles of beer on the wall'. 99 to: 1 by: -1 do:[:v | Transcript show: (template format: {(v asString) . (v asString) . ((v -1) asString)}); cr; cr. ]. Transcript show: 'hic!'; cr. Any improvements suggestions much appreciated. If anybody has a Rosetta code account and wants to update that example, please do so. cordially.

5 9

The Trunk: Morphic-mt.2125.mcz
by commits＠source.squeak.org 23 Aug '23

23 Aug '23

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.2125.mcz ==================== Summary ==================== Name: Morphic-mt.2125 Author: mt Time: 23 August 2023, 1:23:18.620295 pm UUID: f4c0a436-75ae-3f41-b731-df0c4aa3cf8a Ancestors: Morphic-mt.2124 From the recently refurbished AnimatedImageMorph, remove some dead code. #maxImagesExtent got never implemented. Note that there is still that class-side #fromGIFFileNamed: interface. =============== Diff against Morphic-mt.2124 =============== Item was removed: - ----- Method: AnimatedImageMorph>>fromGIFFileNamed: (in category 'private') ----- - fromGIFFileNamed: fileName - self fromReader: (GIFReadWriter formsFromFileNamed: fileName)! Item was removed: - ----- Method: AnimatedImageMorph>>fromReader: (in category 'private') ----- - fromReader: reader - images := reader forms. - delays := reader delays. - (images anySatisfy:[:each|(each colors includes: Color transparent)]) ifTrue:[self isOpaque: true]. - self reset.! Item was removed: - ----- Method: AnimatedImageMorph>>reset (in category 'private') ----- - reset - imageIndex := 1. - self image: (Form extent: self maxImagesExtent depth: 32).!

1 0

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

Jump to page: