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

Re: [Pharo-project] type inference in Pharo

by Frank Shearar

On 18 July 2012 15:23, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >> So running type inference over "1 + e" will say "e is a SmallInteger", >> rather than "e is a Number". >> >> It uses abstract interpretation, if that answers your question? > > Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. > > However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm. http://dl.dropbox.com/u/1754431/Type%20inference/TiThesis-1.pdf isn't exactly a post on a blog though. Francisco can of course correct me if I'm wrong, but I'm pretty sure he & I discussed something like what you're after during a UKSTUG meeting. I wanted to be able to answer questions like "what types does this method take as arguments? what types can it return?", which is something like calculating dependencies between classes. I'm pretty sure he felt that concrete type inference wouldn't answer those kinds of questions. I solved my issue [1] by querying the system: given a single-parameter method, what messages are sent to that parameter? What classes implement that set of messages? frank [1] http://www.lshift.net/blog/2012/01/31/duck-finding-for-testing-your-theories > Cheers, > Alexandre > > >>> >>> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: >>> >>>> It's in the same blog: >>>> >>>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html >>>> >>>> Cheers, >>>> Guille >>>> >>>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >>>> Hi! >>>> >>>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com) What is the theoretical background of this work? >>>> What is the algorithm used to infer the types? >>>> >>>> Cheers, >>>> Alexandre >>>> -- >>>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>>> Alexandre Bergel http://www.bergel.eu >>>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>>> >>>> >>>> >>>> >>>> >>> >>> -- >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>> Alexandre Bergel http://www.bergel.eu >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>> >>> >>> >>> >> > > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > >

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

> So running type inference over "1 + e" will say "e is a SmallInteger", > rather than "e is a Number". > > It uses abstract interpretation, if that answers your question? Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm. Cheers, Alexandre >> >> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: >> >>> It's in the same blog: >>> >>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html >>> >>> Cheers, >>> Guille >>> >>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >>> Hi! >>> >>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com) What is the theoretical background of this work? >>> What is the algorithm used to infer the types? >>> >>> Cheers, >>> Alexandre >>> -- >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>> Alexandre Bergel http://www.bergel.eu >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>> >>> >>> >>> >>> >> >> -- >> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >> Alexandre Bergel http://www.bergel.eu >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >> >> >> >> > -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 18, 2012

Re: [Pharo-project] [update 2.0] #20223

by Camillo Bruni

On 2012-07-18, at 15:21, Sean P. DeNigris wrote: > > Pavel Krivanek-3 wrote >> >>> Issue 6406: [BUG]: FileDialogWindow: Open on Absolute Path >>> http://code.google.com/p/pharo/issues/detail?id=6406 >> >> The test is failing on Mac >> > > I downloaded Pharo-2.0-AfterRunningTests.zip, and the test passes on my Mac. > > The error message in the report is useless. When I get out of work, I'll > change #comparingStringBetween:and: to use the #fullPrintString instead of > limiting it to 10 characters, so we can see what the heck is going on when > tests fail on Jenkins. In the UI, the window title will truncate anyway, so > there's no loss I can see. yes please! :)

July 18, 2012

Re: [Pharo-project] [update 2.0] #20223

by Sean P. DeNigris

Pavel Krivanek-3 wrote > >> Issue 6406: [BUG]: FileDialogWindow: Open on Absolute Path >> http://code.google.com/p/pharo/issues/detail?id=6406 > > The test is failing on Mac > I downloaded Pharo-2.0-AfterRunningTests.zip, and the test passes on my Mac. The error message in the report is useless. When I get out of work, I'll change #comparingStringBetween:and: to use the #fullPrintString instead of limiting it to 10 characters, so we can see what the heck is going on when tests fail on Jenkins. In the UI, the window title will truncate anyway, so there's no loss I can see. Sean -- View this message in context: http://forum.world.st/update-2-0-20223-tp4640472p4640530.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.

July 18, 2012

Re: [Pharo-project] Soâ¦ what's the status of the StartupPreferences mess for 1.4?

by Esteban Lorenzano

it look files like in unix: ~/.config/pharo in 2.0 it looks them like in mac: ~/Library/Preferences/pharo Esteban On Jul 18, 2012, at 3:09 PM, Guillermo Polito wrote: > I remember that you disabled it because it was failing on windows, wasn't it? > > Can someone try it on windowz? Sean, what is the expected lookup in 1.4? > > On Wed, Jul 18, 2012 at 3:06 PM, Esteban Lorenzano <estebanlm(a)gmail.com> wrote: > It was present but cancelled on 1.4 because it was broken at some point. > I'm unsure about including it, that's why I want the feedback. > > I'm closing summer release now (today), so I would like to be sure :) > > Esteban > > On Jul 18, 2012, at 2:41 PM, Sean P. DeNigris wrote: > > > > > EstebanLM wrote > >> > >> issues last days... it is fixed on all platforms? > >> Can someone confirm it? > >> > > > > It works (different lookup rules than 2.0) on Mac... Was StartupPreferences > > included in the 1st 1.4 release, or will this be a new feature in the summer > > release? > > > > -- > > View this message in context: http://forum.world.st/So-what-s-the-status-of-the-StartupPreferences-mess-f… > > Sent from the Pharo Smalltalk mailing list archive at Nabble.com. > > > > >

July 18, 2012

[Pharo-project] failing tests

by Pavel Krivanek

Hear, hear. We have no platform dependent test failure for Pharo 2.0! http://code.google.com/p/pharo/wiki/TestsGuard Thank you all for the great work -- Pavel

July 18, 2012

Re: [Pharo-project] IMPORTANT: Issue 6351: FileReference>>deleteAll follows symlinks in 1.4

by Sean P. DeNigris

Sean P. DeNigris wrote > > * If the link is valid, it follows it and keeps deleting > http://code.google.com/p/pharo/issues/detail?id=6351 > I think it would be more humane to remove this functionality completely until it works and is not dangerous, rather than leave it to explode on someone else. I was only alerted to it deleting my home directory because the image itself was there and caused an error. Luckily, I had everything backed up. Someone could get *really* screwed by this. -- View this message in context: http://forum.world.st/IMPORTANT-Issue-6351-FileReference-deleteAll-follows-… Sent from the Pharo Smalltalk mailing list archive at Nabble.com.

July 18, 2012

Re: [Pharo-project] Soâ¦ what's the status of the StartupPreferences mess for 1.4?

by Guillermo Polito

I remember that you disabled it because it was failing on windows, wasn't it? Can someone try it on windowz? Sean, what is the expected lookup in 1.4? On Wed, Jul 18, 2012 at 3:06 PM, Esteban Lorenzano <estebanlm(a)gmail.com>wrote: > It was present but cancelled on 1.4 because it was broken at some point. > I'm unsure about including it, that's why I want the feedback. > > I'm closing summer release now (today), so I would like to be sure :) > > Esteban > > On Jul 18, 2012, at 2:41 PM, Sean P. DeNigris wrote: > > > > > EstebanLM wrote > >> > >> issues last days... it is fixed on all platforms? > >> Can someone confirm it? > >> > > > > It works (different lookup rules than 2.0) on Mac... Was > StartupPreferences > > included in the 1st 1.4 release, or will this be a new feature in the > summer > > release? > > > > -- > > View this message in context: > http://forum.world.st/So-what-s-the-status-of-the-StartupPreferences-mess-f… > > Sent from the Pharo Smalltalk mailing list archive at Nabble.com. > > > > >

July 18, 2012

Re: [Pharo-project] Soâ¦ what's the status of the StartupPreferences mess for 1.4?

by Esteban Lorenzano

It was present but cancelled on 1.4 because it was broken at some point. I'm unsure about including it, that's why I want the feedback. I'm closing summer release now (today), so I would like to be sure :) Esteban On Jul 18, 2012, at 2:41 PM, Sean P. DeNigris wrote: > > EstebanLM wrote >> >> issues last days... it is fixed on all platforms? >> Can someone confirm it? >> > > It works (different lookup rules than 2.0) on Mac... Was StartupPreferences > included in the 1st 1.4 release, or will this be a new feature in the summer > release? > > -- > View this message in context: http://forum.world.st/So-what-s-the-status-of-the-StartupPreferences-mess-f… > Sent from the Pharo Smalltalk mailing list archive at Nabble.com. >

July 18, 2012

[Pharo-project] [ANN] The Jejak Trace framework

by Goubier Thierry

I announce the first availability of the Jejak trace framework at http://ss3.gemstone.com/ss/Jejak.html During the VALMADEO project (a PRIR/RÃ©gion Bretagne funded project directed by C. Dezan, <dezan(a)univ-brest.fr>), we needed a tool to study in detail how some algorithms (error correcting codes) could work without errors, but with degraded performance. Execution and compilation would report no errors, but the performance of the error correcting coding and decoding would be several dB below the target. The error correcting code was looping hundreds of times over each block of data, making step by step debugging unusable. Profiling, message tallies were too coarse to tell us anything. We needed a different tool. The answer was this trace tool : a framework for injecting probes into methods, and record their execution. It can record an execution to the smallest detail (all calls, all values, all assignments), that over a long sequence (hundreds or thousands of calls), and let one navigate freely through the recorded trace along with the traced source code. It is capable of tracing system, startup or display methods, without interruption or blocking the overall image, allowing for very fine non-intrusive system analysis. It has been used for debugging turbo codes implementations, algorithm understanding on turbo codes, and memory behaviour analysis for embedded systems design space exploration. It requires The Opal compiler and is integrated with OmniBrowser, and is tested in a Pharo 1.4 image. Instructions for loading are : Gofer it squeaksource: 'MetacelloRepository'; package: 'ConfigurationOfOmniBrowser'; load. (ConfigurationOfOmniBrowser project version: #stable) load: #( 'Dev' 'Dev Tests'). Gofer new url: 'http://smalltalkhub.com/mc/MarcusDenker/Opal/main'; package:'ConfigurationOfOpalCompiler'; load. (Smalltalk at: #ConfigurationOfOpalCompiler) load. Gofer new repository: 'http://ss3.gemstone.com/ss/Jejak'; load There is a lot left to be done (better event logging, out of image logging, performance issues), but, as it is, it can be used for tracing almost any code in the image, even ones which may lock-up the image when halted (beware : bugs in the tracer may still lock or crash the image). It is also a very pedagogic way of seeing a full execution through a set of methods. Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des SystÃ¨mes Temps RÃ©el EmbarquÃ©s 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95

July 18, 2012