March 2012 - Pharo-dev - lists.pharo.org

[Pharo-project] Latest image from jenkins does not open with interpreter vm

by Guillermo Polito

I'm having the following This interpreter (vers. 6502) cannot read image file (vers. 6505). This didn't happen with images from some weeks ago :(

March 15, 2012

Re: [Pharo-project] Finally, jenkins were able to build win32 VM.

by Eliot Miranda

On Tue, Mar 13, 2012 at 7:44 AM, Tudor Girba <tudor(a)tudorgirba.com> wrote: > Strange. I tried to reproduce the problem, but following the same path > worked fine the second time. > Such GC bugs are extremely sensitive to exactly the sequence of mutations in the heap. So the time in between mouse clicks or keyboard presses, or even the length of delays or the date and time can change the form of the heap. The only way I know to reproduce this kind of bug reliably is to write a doit that causes the system to crash without user intervention. You can either supply the doit in a file to the VM at startup or (more convenient for those debugging it) write a doit that starts with a snapshot, e.g. Smalltalk saveAs. Crasher new crash > Doru > > > On Tue, Mar 13, 2012 at 3:18 PM, Tudor Girba <tudor(a)tudorgirba.com> wrote: > > Ah, I forgot to mention: the same scenario works with the VM from Eliot > (2522) > > > > Cheers, > > Doru > > > > On Tue, Mar 13, 2012 at 3:16 PM, Tudor Girba <tudor(a)tudorgirba.com> > wrote: > >> Hi, > >> > >> I just tried it and it crashed :(. > >> > >> Here is what I did: > >> - I took the Moose image > >> - it started fine, and seem to be responsive > >> - I then loaded code in it using a configuration > >> - while loading, it crashed > >> > >> I attach here the crash.dmp file. I cannot provide the actual code > >> because it is proprietary. I will try to reproduce the problem in more > >> available settings. > >> > >> Cheers, > >> Doru > >> > >> > >> On Tue, Mar 13, 2012 at 8:54 AM, Torsten Bergmann <astares(a)gmx.de> > wrote: > >>>>Thanks Igor. > >>>>Guys can you try and report if you have problems? > >>> > >>> Yes, thanks Igor, > >>> > >>> How can I see if this release integrates Eliots latest > >>> fixes for Cog? > >>> > >>> Thx > >>> T. > >>> -- > >>> Empfehlen Sie GMX DSL Ihren Freunden und Bekannten und wir > >>> belohnen Sie mit bis zu 50,- Euro! https://freundschaftswerbung.gmx.de > >>> > >> > >> > >> > >> -- > >> www.tudorgirba.com > >> > >> "Every thing has its own flow" > > > > > > > > -- > > www.tudorgirba.com > > > > "Every thing has its own flow" > > > > -- > www.tudorgirba.com > > "Every thing has its own flow" > -- HTH, Eliot

March 15, 2012

Re: [Pharo-project] quick methods and the method call stack

by Eliot Miranda

On Wed, Mar 14, 2012 at 11:19 AM, Alexandre Bergel <alexandre.bergel(a)me.com>wrote: > Hi! > > Can someone confirm or infirm the following: A quick method (ie. the > compiled methods answer true to the message isQuick) is executed without > creating a stack frame. Is that true? > Yes, at least in the interpreter. In Cog, if jitted, such methods run in a leaf frame (only the return address is pushed), and additional tests in the JIT allow many other methods to run with only a leaf frame. See needsFrameNever: and needsFrameIfInBlock: and senders in the Cog VM source. If all the bytecodes in a method are marked with needsFrameNever: or needsFrameIfInBlock: then the method can be (and is) compiled frameless. if all the bytecodes in a block are marked with needsFrameNever: then the block can be (and is) compiled frameless. > > Cheers, > Alexandre > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > > > -- best, Eliot

March 15, 2012

Re: [Pharo-project] Socket listenOn: 0 & accept

by Sven Van Caekenberghe

On 15 Mar 2012, at 18:58, Eliot Miranda wrote: > In trunk (and in my Cog vm source) they are in the directories > > http://squeakvm.org/svn/squeak/trunk/platforms/{Cross,Mac OS,unix,win32}/plugins/SocketPlugin > > i.e. in all VMs locate the relevant platforms hierarchy and look in platforms/{Cross,Mac OS,unix,win32}/plugins/SocketPlugin. Thank you, Eliot. Sven > On 09 Mar 2012, at 16:44, Sven Van Caekenberghe wrote: > > > Most socket API's allow for the creation of a server socket on the next available port, often by specifying 0 instead of a port. When the socket is bound, one can retrieve the local port and let the client(s) know. I tried to do that in Pharo today, and these steps seem to work, by accepting an incoming connection gives a primitive failed. > > > > Anyone tried this ? > > > > | socket | > > socket := Socket newTCP. > > socket listenOn: 0. > > [ [ > > Transcript crShow: 'Port is ', socket localPort printString. > > (socket waitForAcceptFor: 60) > > ifNotNil: [ :client | | data | > > data := client receiveDataTimeout: 30. > > Transcript crShow: 'Received ', data asString. > > data ifNotNil: [ client sendData: data reverse; close ] > > ]. > > ] ensure: [ socket close ] ] fork. > > > > I am running the Pharo Cog VM on Mac OS X using Pharo 1.4. > > > > Thx, > > > > Sven > > > > > > >

March 15, 2012

Re: [Pharo-project] MultiCompositionScanner depending on Morphic stuff

by Pavel Krivanek

Hi Guillermo, great to see someone to improve modularity of the system. Look at results of latest Pharo-Kernel: https://ci.lille.inria.fr/pharo/view/Pharo-Kernel/job/Pharo%20Kernel%201.4/… This Undeclared clearly show unwelcome kernel dependencies and must be removed. Cheers, -- Pavel On Thu, Mar 15, 2012 at 5:37 PM, Guillermo Polito <guillermopolito(a)gmail.com> wrote: > > > On Thu, Mar 15, 2012 at 1:34 PM, Marcus Denker <marcus.denker(a)inria.fr> > wrote: >> >> >> On Mar 15, 2012, at 5:32 PM, Igor Stasenko wrote: >> >> > Hey, composition scanners and display scanners should not belong to >> > Kernel. >> > they should be either in graphics package or in morphic itself. >> > >> > Why we moved this stuff to kernel? > > > :3 > > Actually CompositionScanner belong to Graphics, I was puzzled about that > too. > > I'll post a slice in the inbox :) > >> >> >> >> Nobody moved... they where always there. It's a mess of epic proportion, >> our whole code base. >> >> Â Â Â Â Marcus >> >> >> -- >> Marcus Denker -- http://marcusdenker.de >> >> >

March 15, 2012

Re: [Pharo-project] Socket listenOn: 0 & accept

by Eliot Miranda

On Tue, Mar 13, 2012 at 4:43 AM, Sven Van Caekenberghe <sven(a)beta9.be>wrote: > Can anyone please help me and show me where I should look if I wanted to > see the exact C code implementing the socket primitives (for the Pharo > built Cog VMs) ? > In trunk (and in my Cog vm source) they are in the directories http://squeakvm.org/svn/squeak/trunk/platforms/{Cross,MacOS,unix,win32}/plu… i.e. in all VMs locate the relevant platforms hierarchy and look in platforms/{Cross,Mac OS,unix,win32}/plugins/SocketPlugin. > On 09 Mar 2012, at 16:44, Sven Van Caekenberghe wrote: > > > Most socket API's allow for the creation of a server socket on the next > available port, often by specifying 0 instead of a port. When the socket is > bound, one can retrieve the local port and let the client(s) know. I tried > to do that in Pharo today, and these steps seem to work, by accepting an > incoming connection gives a primitive failed. > > > > Anyone tried this ? > > > > | socket | > > socket := Socket newTCP. > > socket listenOn: 0. > > [ [ > > Transcript crShow: 'Port is ', socket localPort printString. > > (socket waitForAcceptFor: 60) > > ifNotNil: [ :client | | data | > > data := client receiveDataTimeout: 30. > > Transcript crShow: 'Received ', data asString. > > data ifNotNil: [ client sendData: data reverse; > close ] > > ]. > > ] ensure: [ socket close ] ] fork. > > > > I am running the Pharo Cog VM on Mac OS X using Pharo 1.4. > > > > Thx, > > > > Sven > > > > -- best, Eliot

March 15, 2012

Re: [Pharo-project] Bug in WAMemoryItem>>sizeOfObject

by Eliot Miranda

Hi Niko, the header size calculation is also wrong. If the byte size if the object body is > 255 bytes there needs to be an additional header size word. So something like byteSizeOfBody := anObject class isBytes ifTrue: [....] ifFalse: [.....]. headerSize := byteSizeOfBody > 255 ifTrue: [12] ifFalse: [anObject class indexIfCompact > 0 ifTrue: [4] ifFalse: [8]]. On Wed, Mar 14, 2012 at 1:05 PM, <niko.schwarz(a)googlemail.com> wrote: > Hi guys, > > I haven't checked if this bug exists already, so please ignore this if > it's been reported before. > > Bug in WAMemoryItem: > > sizeOfObject: anObject > | headerSize instanceSize variableSize | > headerSize := anObject class indexIfCompact > 0 > ifTrue: [ 4 ] > ifFalse: [ 8 ]. > instanceSize := anObject class instSize. > variableSize := anObject class isBytes > ifTrue: [ anObject basicSize ] > ifFalse: [ > anObject class isWords > ifTrue: [ Smalltalk wordSize * anObject > basicSize ] > ifFalse: [ Smalltalk wordSize * anObject > basicSize // 2 ] ]. > ^ headerSize + instanceSize + variableSize > > > In this snippet, the units that are added together in the last line are of > different units. > > instanceSize is in unit "number of machine words", whereas variableSize > and headerSize are in unit "bytes". > > > The method is fixed here: > > sizeOfObject: anObject > | headerSize instanceSize variableSize | > headerSize := anObject class indexIfCompact > 0 > ifTrue: [ 4 ] > ifFalse: [ 8 ]. > instanceSize := anObject class instSize * Smalltalk wordSize. > variableSize := anObject class isBytes > ifTrue: [ anObject basicSize ] > ifFalse: [ > anObject class isWords > ifTrue: [ Smalltalk wordSize * anObject > basicSize ] > ifFalse: [ Smalltalk wordSize * anObject > basicSize // 2 ] ]. > ^ headerSize + instanceSize + variableSize > > > > Example: > > |m| > dict := Dictionary new. > m := WAMemory new. dict traverseWithMemory: m seen: IdentitySet new. > m totalSize > > This will incorrectly spit out 10, but should return 16, on a 32 bit VM. > > Niko > > -- > http://scg.unibe.ch/staff/Schwarz > twitter.com/nes1983 > Tel: +41786126354 > > > -- best, Eliot

March 15, 2012

Re: [Pharo-project] Finally, jenkins were able to build win32 VM.

by Igor Stasenko

On 15 March 2012 18:24, Torsten Bergmann <astares(a)gmx.de> wrote: > Again the question: > > How can I see if this release on Jenkins integrates Eliots > latest fixes for Cog? > Use Smalltalk vm version Eliot's vm (http://www.mirandabanda.org/files/Cog/VM/VM.r2538/Cog.app.tgz) Smalltalk vm version 'CoInterpreter VMMaker.oscog-eem.152 uuid: d39d62b0-45ca-4621-8f67-e3981bbe1875 Mar 3 2012, StackToRegisterMappingCogit VMMaker.oscog-eem.148 uuid: bb53aa60-4173-48ed-874b-dc0ff5a48992 Mar 3 2012, r2538 http://www.squeakvm.org/svn/squeak/branches/Cog' VMs built on Jenkins (https://ci.lille.inria.fr/pharo/view/Cog/job/Cog-Mac-Cocoa/lastSuccessfulBu…) 'CoInterpreter VMMaker-oscog-EstebanLorenzano.139 uuid: 5aa53979-d7d8-4ca3-91fe-cfc3b4109c33 Mar 12 2012, StackToRegisterMappingCogit VMMaker-oscog-EstebanLorenzano.139 uuid: 5aa53979-d7d8-4ca3-91fe-cfc3b4109c33 Mar 12 2012, https://git.gitorious.org/cogvm/blessed.git Commit: ca2091e70cfef485fa511935f51d8c91b1c3f185 Date: Mon Mar 12 19:07:33 2012 +0100 By: Igor Stasenko <siguctua(a)gmail.com>' So, you have two package versions: VMMaker.oscog-eem.152 VMMaker-oscog-EstebanLorenzano.139 and you can check a common ancestor by looking at package history in MC. For platform sources it is merely the same: you clone sources from git and then do git log, look for eliot's commits. -- Best regards, Igor Stasenko.

March 15, 2012

[Pharo-project] Finally, jenkins were able to build win32 VM.

by Torsten Bergmann

Again the question: How can I see if this release on Jenkins integrates Eliots latest fixes for Cog? Currently Eliot is at No. 2538 http://www.mirandabanda.org/files/Cog/VM/?C=M;O=D Thx T. -- NEU: FreePhone 3-fach-Flat mit kostenlosem Smartphone! Jetzt informieren: http://mobile.1und1.de/?ac=OM.PW.PW003K20328T7073a

March 15, 2012

Re: [Pharo-project] SystemTracer

by Eliot Miranda

Hi Guillermo, On Wed, Mar 14, 2012 at 12:48 PM, Guillermo Polito < guillermopolito(a)gmail.com> wrote: > Hi Eliot, > > do you have a pointer of where can I see the differences between the old > Squeak format and the cog image format, so I can make SystemTracer work on > Cog vms? > So the image format differences are - floats are in platform order, not necessarily in big-endian order - the layout of the specialObjectsArray is slightly different (documented in recreateSpecialObjectsArray) - there are more words in the header, see StackInterpreter>writeImageFileIO:, i.e. in Cog: self putLong: self imageFormatVersion toFile: f. self putLong: headerSize toFile: f. self putLong: imageBytes toFile: f. self putLong: objectMemory startOfMemory toFile: f. self putLong: objectMemory specialObjectsOop toFile: f. self putLong: objectMemory newObjectHash toFile: f. self putLong: self ioScreenSize toFile: f. self putLong: self getImageHeaderFlags toFile: f. self putLong: extraVMMemory toFile: f. self putShort: desiredNumStackPages toFile: f. self putShort: self unknownShortOrCodeSizeInKs toFile: f. self putLong: desiredEdenBytes toFile: f. self putShort: (maxExtSemTabSizeSet ifTrue: [self ioGetMaxExtSemTableSize] ifFalse: [0]) toFile: f. self putShort: 0 toFile: f. 1 to: 4 do: [:i | self putLong: 0 toFile: f]. "fill remaining header words with zeros" in Interpreter: self putLong: (self imageFormatVersion) toFile: f. self putLong: headerSize toFile: f. self putLong: imageBytes toFile: f. self putLong: (self startOfMemory) toFile: f. self putLong: specialObjectsOop toFile: f. self putLong: lastHash toFile: f. self putLong: (self ioScreenSize) toFile: f. self putLong: fullScreenFlag toFile: f. self putLong: extraVMMemory toFile: f. 1 to: 7 do: [:i | self putLong: 0 toFile: f]. "fill remaining header words with zeros" Then getImageHeaderFlags "Answer the flags that are contained in the 7th long of the image header." ^fullScreenFlag "0 or 1" + (VMBIGENDIAN ifTrue: [0] ifFalse: [2]) "this is the imageFloatsLittleEndian flag" + (processHasThreadId ifTrue: [4] ifFalse: [0]) + (flagInterpretedMethods ifTrue: [8] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [16]) + (noThreadingOfGUIThread ifTrue: [32] ifFalse: [0]) + (imageHeaderFlags bitAnd: 63 bitInvert32) "these are any flags we do not recognize" Now most of the information in the flags is accessible from vmParameterAt: (or some convenience methods). e.g. vm parameter 49 is the max external semaphore table size, and vm parameter 48 is the following flags: getCogVMFlags "Answer an array of flags indicating various properties of the Cog VM. Bit 0: implies the image's Process class has threadId as its 3rd inst var (zero relative) Bit 1: if set, methods that are interpreted will have the flag bit set in their header Bit 2: if set, implies preempting a process does not put it to the back of its run queue" ^objectMemory integerObjectOf: (processHasThreadId ifTrue: [1] ifFalse: [0]) + (flagInterpretedMethods ifTrue: [2] ifFalse: [0]) + (preemptionYields ifTrue: [0] ifFalse: [4]) + (noThreadingOfGUIThread ifTrue: [8] ifFalse: [0]) Read the comment for vmParameterAt: to get things like num stack pages and cog code size. Is this OK? I know it's a bit of a mess. If you or I (we?) write it up where should we put the info? > > Thanks, > Guille > > On Thu, Jan 27, 2011 at 6:36 PM, Levente Uzonyi <leves(a)elte.hu> wrote: > >> On Thu, 27 Jan 2011, Benjamin wrote: >> >> It works for PharoCore-1.1-11196-UNSTABLE.1 but it seems to be the only >>> version where it works :S >>> >>> Does someone know why ? >>> >> >> It doesn't support Cog's image format. Try an image with the original >> Squeak format. You can convert your image with the latest SqueakVM. Only >> the unix VM was released with this feature yet, so you can use that >> http://squeakvm.org/unix/ or build a VM for your favorite platform. >> >> >> Levente >> >> >> >>> >>> Thanks, >>> >>> Ben >>> >>> On Jan 27, 2011, at 3:36 PM, Benjamin wrote: >>> >>> Hello guys, >>>> >>>> for one of my projects, I'm trying to use SystemTracer to create anew >>>> image, but it appears that it doesn't work on Pharo ... >>>> I can create a new image, but I can't open it. I've tried with an older >>>> VM (Squeak 3.8.18beta1U), but it's the same ... >>>> >>>> >>>> Did someone already have this problem ? Does someone have a solution ? >>>> >>>> >>>> >>>> Thanks in advance, >>>> >>>> Ben >>>> >>> >>> >>> >> > -- best, Eliot

March 15, 2012