September 2014 - Pharo-dev - lists.pharo.org

Re: [Pharo-dev] [Vm-dev] re: Parsing Pharo syntax to C/C++
by Ronie Salgado Sept. 19, 2014

Sept. 19, 2014

Hello, I am segmenting this mail in several sections. --------------------------------------------------------------- - On Lowcode and Cog I have been working in the last week with the Cog VM, implementing the Lowcode instructions in Cog. Lowcode is currently a spec of new bytecode instructions. These instructions can be used for: - Implementing a C like language compiler. - Making FFI calls I am implementing these instructions using a feature of the new bytecode set for SistaV1, which is called "inline primitives". Because of this, these new instructions can be mixed freely with the standard VM bytecode set. This also allows the Sista adaptive optimizer to inline FFI calls. These instructions provides features for: - Int32 and Int64 integer arithmetic without type checking. - Pointers, with arithmetics. - Memory access and memory manipulation. - Single and double precision floating point arithmetics. - Conversion between primitive types. - Boxing and unboxing of primitive types. - Unchecked comparisons. - Native function call. Direct and indirect calls. - The atomic operation compare and swap. - Object pin/unpin (requires Spur). - VM releasing and grabbing for threaded ffi. Current I have implemented the following backends: - A C interpreter plugin. - A LLVM based backend. Currently I am working in getting this working using the Cog code generator. So far I am already generating code for int32/pointer/float32/float64. I am starting to generate C functions calls and object boxing/unboxing. During this work I learned a lot about Cog. Specially that Cog is missing a better Slang generator, that allows to force better inlining and more code reviews. There is a lot of code duplication in Cog, that can be attributed to limitations of Slang. In my opinion, if we could use Slang not only for building the VM we should end with a better code generator. In addition we, need more people working in Cog. We need people that performs code reviews and documentation of Cog. After these weeks, I learned that working in Cogit it is not that hard. Our biggest problem is lack of documentation. Our second problem could be the lack of documentation about Slang. --------------------------------------------------------------- - Smalltalk -> LLVM ? As for having a Smalltalk -> LLVM code generator. The truth is that we will not gain anything. LLVM is a C compiler, which is designed to optimize things such as loops with lot of arithmetics. It is designed to optimize large sections of code. In Smalltalk, most of our code is composed mostly of message sends. LLVM cannot optimize a message send. To optimize a message send, you have to determine which is the method that is going to respond to the message. Then you have to inline the method. And then you can start performing the actual optimizations, such as constant folding, common subexpressions, dead branch elimination, loop unrolling, and a long etc. Because we don't have information in the actual language (e.g. static types a la C/C++/Java/C#) that tells us what is going to be the actual method invoked by a message send, we have the following alternatives to determine it: - Don't optimize anything. - Perform a costly static global analysis of the whole program. - Measure in runtime and hope for the best. - Extend the language. In other words, our best bet is in the work of ClÃ©ment in Sista. The only problem with this bet are real time applications. Real time applications requires an upper bound guarantee in their response time. In some cases, the lack of this guarantee can be just an annoyance, as happens in video games. In some mission critical applications the results can not be good, if this time constraint is not met. An example of a mission critical system could the flight controls of an airplane, or the cooling system of a nuclear reactor. For these application, it is not possible to rely in an adaptive optimizer that can be triggered sometimes. In these application you have to either: - Extend the language to hand optimize some performance critical sections of code. - Use another language to optimize these critical section. - Use another language for the whole project. And of course, you have to perform lot of profiling. Greetings, Ronie 2014-09-15 16:38 GMT-03:00 Craig Latta <craig(a)netjam.org>: > > > Hear hear! > > > -C > > [1] http://tinyurl.com/m66fx8y (original message) > > -- > Craig Latta > netjam.org > +31 6 2757 7177 (SMS ok) > + 1 415 287 3547 (no SMS) > >

9 31

AppeX
by phil＠highoctane.be Sept. 19, 2014

Sept. 19, 2014

Yesterday I had a look at AppeX (from Cincom in VW) and gave a test drive to Tide in Pharo/Amber. AppeX is interesting as it allows one to embed javascript code directly in methods. Like: myMethod: x { // this is javascript here. alert('Welcome ' + x); } This indeed reduces the friction between Smalltalk and Javascript (which we still need to write somewhere, for example with JSStream / JSFunction in Seaside or elsewhere). Since we do now have OpalCompiler and compiler override possibilities, how hard would it be to look into this? I remember Helvetia from Lukas which looked like something similar. Phil

6 19

[pharo-project/pharo-core] 9e6619: 40237
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/heads/4.0 Home: https://github.com/pharo-project/pharo-core Commit: 9e661910bcd2381958d313ad66631dc0a8cb7d07 https://github.com/pharo-project/pharo-core/commit/9e661910bcd2381958d313ad… Author: Jenkins Build Server <board(a)pharo-project.org> Date: 2014-09-19 (Fri, 19 Sep 2014) Changed paths: M Morphic-Widgets-Pluggable.package/PluggableTabButtonMorph.class/class/instance creation/on_label_.st A ScriptLoader40.package/ScriptLoader.class/instance/pharo - scripts/script237.st A ScriptLoader40.package/ScriptLoader.class/instance/pharo - updates/update40237.st M ScriptLoader40.package/ScriptLoader.class/instance/public/commentForCurrentUpdate.st Log Message: ----------- 40237 14043 TabContainerMorph example gives DNU #instance https://pharo.fogbugz.com/f/cases/14043 http://files.pharo.org/image/40/40237.zip

1 0

[pharo-project/pharo-core]
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/tags/40237 Home: https://github.com/pharo-project/pharo-core

1 0

[pharo-project/pharo-core]
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/tags/40236 Home: https://github.com/pharo-project/pharo-core

1 0

[pharo-project/pharo-core] 489cbe: 40236
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/heads/4.0 Home: https://github.com/pharo-project/pharo-core Commit: 489cbebbe3d9bf20b8370adc3a1647f8e169375f https://github.com/pharo-project/pharo-core/commit/489cbebbe3d9bf20b8370adc… Author: Jenkins Build Server <board(a)pharo-project.org> Date: 2014-09-19 (Fri, 19 Sep 2014) Changed paths: A ScriptLoader40.package/ScriptLoader.class/instance/pharo - scripts/script236.st A ScriptLoader40.package/ScriptLoader.class/instance/pharo - updates/update40236.st M ScriptLoader40.package/ScriptLoader.class/instance/public/commentForCurrentUpdate.st M Traits.package/TClass.class/instance/compiling/compileAll.st Log Message: ----------- 40236 14037 #recompile does not recompile the classTrait https://pharo.fogbugz.com/f/cases/14037 http://files.pharo.org/image/40/40236.zip

1 0

Re: [Pharo-dev] Versioner does not work on Pharo 4
by kilon alios Sept. 19, 2014

Sept. 19, 2014

just for the record I have not created any kind of configuration in Ephestos. The code that you can download from Smalltalkhub or github is the only thing that lives inside the image. I use Smalltalkhub as a backup for github repo until I make sure filetree is a reliable way to work with github and pharo. I have not touche any of the internals of Pharo all my code lives inside the SThub repo. Other than the steps I described , and the code you can get from sthub I have done nothing to the pharo image. Also I forgot to say I dont mind at all late replies, I did not want to imply that I was annoyed or anything like that with people not replying. Its perfectly ok to not reply to my threads or reply days afterwards or even moths. I have in my hand scientific evidence that I am not the center of this world. Thank you Christopher and everyone who is trying to help me in each of my problems. I really appreciate it. On Fri, Sep 19, 2014 at 12:49 PM, kilon alios <kilon.alios(a)gmail.com> wrote: > I dont use a startup script myself, in windows the image with problem is > release 40230, i download that specific release and it works o_O , so maybe > it was something I did afterall ? very strange > > so I attached my image folder, hope it helps you > > On Fri, Sep 19, 2014 at 12:39 PM, Christophe Demarey < > Christophe.Demarey(a)inria.fr> wrote: > >> >> Le 19 sept. 2014 Ã 11:21, kilon alios a Ã©crit : >> >> > Well to kepp you updated , because I did not bother replying to my own >> thread since none seemed to care or have the same issue as me. >> >> I was out of office last days ... >> >> > I tried on windows again same error as macos on a fresh image by the >> way. So I know it must not be me. >> >> On which image? I just tried on a fresh 3.0 image and it also works for >> me. >> >> > The only things I am doing with pharo is >> > >> > 1) use dark theme >> > >> > 2) use free type font Arial on windows and Monaco on macos >> > >> > 3) use filetree for working with a git directory. >> >> Maybe a side effect. >> Could you give me a script to help reproducing the problem? Maybe just >> your startup script. >> Does the problem appear the first time you open Versionner? >> >> Thanks, >> Christophe. > > >

1 0

[pharo-project/pharo-core] 31716f: 40235
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/heads/4.0 Home: https://github.com/pharo-project/pharo-core Commit: 31716ff672da83deb83bf7f262f0890fd0e105be https://github.com/pharo-project/pharo-core/commit/31716ff672da83deb83bf7f2… Author: Jenkins Build Server <board(a)pharo-project.org> Date: 2014-09-19 (Fri, 19 Sep 2014) Changed paths: R KernelTests.package/JobTest.class/instance/tests/testCurrent.st A Ring-Core-Kernel.package/RGClassDefinition.class/class/instance creation/createSharedPoolNamed_.st M Ring-Core-Kernel.package/RGClassDefinition.class/instance/shared pools/addSharedPoolNamed_.st R Ring-Core-Kernel.package/RGFactory.class/instance/factory/createClassVariableNamed_parent_.st R Ring-Core-Kernel.package/RGFactory.class/instance/factory/createPoolVariableNamed_parent_.st R Ring-Core-Kernel.package/RGFactory.class/instance/factory/createSharedPoolNamed_.st M Ring-Tests-Kernel.package/RGGlobalDefinitionTest.class/instance/testing/testPoolDefinition.st M Ring-Tests-Kernel.package/RGVariableDefinitionTest.class/instance/testing/testClassVariable.st M Ring-Tests-Kernel.package/RGVariableDefinitionTest.class/instance/testing/testPoolVariable.st A ScriptLoader40.package/ScriptLoader.class/instance/pharo - scripts/script235.st A ScriptLoader40.package/ScriptLoader.class/instance/pharo - updates/update40235.st M ScriptLoader40.package/ScriptLoader.class/instance/public/commentForCurrentUpdate.st M Spec-Tools.package/MessageBrowser.class/instance/messageList interface/open.st Log Message: ----------- 40235 14038 #testSendersOfAt failing when running the tests in the image https://pharo.fogbugz.com/f/cases/14038 14039 #testCurrent always fails when running all tests... https://pharo.fogbugz.com/f/cases/14039 14041 Continue cleaning Ring Factory https://pharo.fogbugz.com/f/cases/14041 http://files.pharo.org/image/40/40235.zip

1 0

[pharo-project/pharo-core]
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/tags/40235 Home: https://github.com/pharo-project/pharo-core

1 0

[pharo-project/pharo-core]
by GitHub Sept. 19, 2014

Sept. 19, 2014

Branch: refs/tags/40234 Home: https://github.com/pharo-project/pharo-core

1 0