May 2011 - Pharo-dev - lists.pharo.org

[Pharo-project] [update 1.3] #13189
by Marcus Denker May 11, 2011

May 11, 2011

13189 ----- Issue 4195: failing tests: TestObjectsAsMethod Issue 4157: TextColor is ignored in large TextEditors -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.

1 0

[Pharo-project] [MethodTrailer] #getSourceCodeBySelector: and #getSourceCodeByIdentifier: are not implemented
by Mariano Martinez Peck May 11, 2011

May 11, 2011

If we see CompiledMethodTrailer >> sourceCode "Answer the source code of compiled method. Note: it does not attempts to read from source files using sourcePointer, nor reconstruct the source code using temp names" (kind == #EmbeddedSourceQCompress or: [ kind == #EmbeddedSourceZip ]) ifTrue: [ ^ data ]. kind == #SourceBySelector ifTrue: [ ^ method methodClass getSourceCodeBySelector: method selector ]. kind == #SourceByStringIdentifier ifTrue: [ ^ method methodClass getSourceCodeByIdentifier: data ]. ^ nil But neither #getSourceCodeBySelector: nor #getSourceCodeByIdentifier: are implemented. In fact, it is easy to modify their test and make them red. Change #testSourceBySelectorEncoding or #testSourceByIdentifierEncoding and add a send to #sourceCode. Example: testSourceBySelectorEncoding | trailer | trailer := CompiledMethodTrailer new. trailer setSourceBySelector. self assert: (trailer kind == #SourceBySelector ). self assert: (trailer size = 1). trailer sourceCode. So...I don't know why they are not implemented, but if this was work "unfinished", we should at least make that clear and not to appear that it is supported but at the end it is not. So, if that's the case, I suggest to put nice comments explaining that and in addition implement: Behavior >> getSourceCodeBySelector: ^ self notYetImplemented Behavior >> getSourceCodeByIdentifier: ^ self notYetImplemented What do you think ? -- Mariano http://marianopeck.wordpress.com

1 0

[Pharo-project] [update 1.3] #13188
by Marcus Denker May 11, 2011

May 11, 2011

13188 ----- Issue 4194: Embed source code for methods which get uninstalled from their classes. Issue 4185: Minor fix in PluggableListMorph Issue 4183: SmalltalkImage>>abandoTempNames uses old method trailer bytes Issue 4179: Deprecate (or remove) DirectoryURI Issue 4193: OpaqueURI problem In Windows Issue 4186: Bug encoding CompiledMethod with sourcePointer = 0 Issue 4182: Morphic Halos to select color not working Issue 4184: CommentReference(Object)>>doesNotUnderstand: #methodClass Issue 4171: Bugs in RecentMessageList Issue 4153: add temp does not add the temp in -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.

1 0

[Pharo-project] [NativeBoost] Need your ideas, what platform-neutral assembler syntax you would like to have
by Igor Stasenko May 10, 2011

May 10, 2011

Hi, i took a look at Cog's abstract opcode syntax. Check the CogRTLOpcodes class>>initialize for description, and check the Cogit category 'abstract instructions' at instance side for actual syntax. Things i don't like: register naming. In cog you should use following register names: FPReg := -1. SPReg := -2. ReceiverResultReg := GPRegMax := -3. TempReg := -4. ClassReg := -5. SendNumArgsReg := -6. Arg0Reg := -7. Arg1Reg := GPRegMin := -8. DPFPReg0 := -9. DPFPReg1 := -10. DPFPReg2 := -11. DPFPReg3 := -12. DPFPReg4 := -13. DPFPReg5 := -14. DPFPReg6 := -15. DPFPReg7 := -16. They are mapping 1:1 to real registers on your machine. But while such names could make sense in some cases for Cog, in NativeBoost using register named like SendNumArgsReg will be confusing.. Okay... actually this is not a big deal, i could always use aliases with different names (suggestions?). But i would really like you opinion on Cog's native code syntax. Here how the native code assembly looks in cog: genDoubleArithmetic: arithmeticOperator preOpCheck: preOpCheckOrNil "Receiver and arg in registers. Stack looks like return address" <var: #preOpCheckOrNil declareC: 'AbstractInstruction *(*preOpCheckOrNil)(int rcvrReg, int argReg)'> | jumpFailClass jumpFailAlloc jumpFailCheck jumpSmallInt doOp | <var: #jumpFailClass type: #'AbstractInstruction *'> <var: #jumpFailAlloc type: #'AbstractInstruction *'> <var: #jumpSmallInt type: #'AbstractInstruction *'> <var: #jumpFailCheck type: #'AbstractInstruction *'> <var: #doOp type: #'AbstractInstruction *'> self MoveR: Arg0Reg R: TempReg. objectRepresentation genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0. self MoveR: Arg0Reg R: ClassReg. jumpSmallInt := objectRepresentation genJumpSmallIntegerInScratchReg: TempReg. objectRepresentation genGetCompactClassIndexNonIntOf: Arg0Reg into: SendNumArgsReg. self CmpCq: objectMemory classFloatCompactIndex R: SendNumArgsReg. jumpFailClass := self JumpNonZero: 0. objectRepresentation genGetDoubleValueOf: Arg0Reg into: DPFPReg1. doOp := self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck := self perform: preOpCheckOrNil with: DPFPReg0 with: DPFPReg1]. self gen: arithmeticOperator operand: DPFPReg1 operand: DPFPReg0. jumpFailAlloc := objectRepresentation genAllocFloatValue: DPFPReg0 into: SendNumArgsReg scratchReg: ClassReg scratchReg: TempReg. self MoveR: SendNumArgsReg R: ReceiverResultReg. self RetN: 0. "We need to push the register args on two paths; this one and the interpreter primitive path. But the interpreter primitive path won't unless regArgsHaveBeenPushed is false." self assert: methodOrBlockNumArgs <= self numRegArgs. jumpFailClass jmpTarget: self Label. preOpCheckOrNil ifNotNil: [jumpFailCheck jmpTarget: jumpFailClass getJmpTarget]. self genPushRegisterArgsForNumArgs: methodOrBlockNumArgs. jumpFailClass := self Jump: 0. jumpSmallInt jmpTarget: self Label. objectRepresentation genConvertSmallIntegerToIntegerInScratchReg: ClassReg. self ConvertR: ClassReg Rd: DPFPReg1. self Jump: doOp. jumpFailAlloc jmpTarget: self Label. self compileInterpreterPrimitive: (coInterpreter functionPointerForCompiledMethod: methodObj primitiveIndex: primitiveIndex). jumpFailClass jmpTarget: self Label. ^0 And here an example of NativeBoost code: emitArgumentsCoercion: gen " input - none, output - an arguments array in remmappable oops stack top" | asm proxy args argOop i | asm := gen asm. proxy := gen proxy. args := gen reserveTemp. argOop := gen reserveTemp. asm label: 'emitArgumentsCoercion>>'. proxy createInstanceOf: Array size: (gen fnSpec arguments size). proxy pushRemappableOop: EAX. i := 0. gen fnSpec arguments do: [:arg | arg type readOop: (EBP ptr + arg offset) generator: gen. asm mov: EAX to: argOop. proxy popRemappableOop. asm mov: EAX to: args. proxy storePointer: i ofObject: args withValue: argOop. i := i+1. proxy pushRemappableOop: args. ]. asm label: '<<emitArgumentsCoercion'. gen releaseTemps: 2. The code is of course doing different things.. but these example is actually to indicate a following observation: even when i will introduce platform-neutral code, in most cases you won't see a pure assembly language, but instead you will see a mix of usual smalltalk code and assembler. If you can see, in both examples above you see a direct instructions intermixed with another methods. And it is totally normal, because for obvious reasons, even for assembler code, there are a lot of repetitious patterns, and you refactor repetitive code into separate methods (a thing which you normally do if you follow DRY principle). So, i mean: its okay. I could change the assembler syntax to anything. But code will still be looking mostly the same, for most of code-generation routines. Of course, if you write a pure-assembly routine, it will be pure. But in practice you won't do it too often, because you can reuse stuff which already been done, or even use higher-level abstract syntax (i have one somewhere in my garage ;). But still, question remains open: should i take a Cog's assembler syntax as a base, or create own? The pro for Cog-syntax that if some day we move code generation from VM level to language, then we can just use existing code. But from another side, if i have tool which can produce a native code, from VM's perspective its completely irrelevant , where this code comes from and what assembler syntax were used to generate it. Also, we don't have to constrain ourselves, because Cog's assembler (and its implementation) were designed by taking into account that it should be translatable to C, while in NB we're always could use tricks like #perform: and block closures, which of course not available in slang. Sorry for long tiresome posts.. But i need your feedback and opinion. -- Best regards, Igor Stasenko AKA sig.

1 0

[Pharo-project] [update 1.3] #13188
by StÃ©phane Ducasse May 10, 2011

May 10, 2011

13188 ----- - Issue 4177: New TranscriptWindow and several fixes to the (new) Transcript adoption. Thanks a lot Fernando Olivero. 3112: ThreadSafeTranscript >> #endEntry is Morphic dependent. 3948: Transcript and ThreadedTranscript needs to be merged. 4023: Transcript clear prints Transcript after clearing prior text. 4039: To open ThreadSafeTranscript . 4067: Transcript does not work with system fonts (Win XP) (TranscriptModel>>displayOn: aForm uses StandardFonts now) 4093: alt_t (fixed by loading the post load: send initializeDesktopCommandSelectors for the worlds) 4116: minimizing, then output to transcript: redraw problems. Big thanks to fernando *** APPLAUS *** You see guys trust works :) Stef

1 0

[Pharo-project] Cog doesn't load anymore in PharoCore1.3 because of the removal of AbstractLauncher
by Mariano Martinez Peck May 10, 2011

May 10, 2011

AbstractLauncher was removed in: http://code.google.com/p/pharo/issues/detail?id=4002 Cog has a subclass from AbstractLauncher called CommandLineLauncher, hence, it cannot be loaded anymore CommandLineLauncher has no class comment and no sender. So I have no idea what it does, nor if it can be removed from cog, nor how to solve this problem in Pharo. Cheers -- Mariano http://marianopeck.wordpress.com

1 2

[Pharo-project] add temp does not add the temp in 1.3 13179
by StÃ©phane Ducasse May 10, 2011

May 10, 2011

Hi guys I do not know how many of you are coding in 1.3 but when the system asks me to add if I want to add a temp, the temp does not show up. Stef

5 13

[Pharo-project] [COTDC] 61 - InternetConfiguration
by laurent laffont May 10, 2011

May 10, 2011

Today: InternetConfiguration Comment Of The Day Contest - One Day One Comment Rules: #1: Each day a not commented class is elected. Each day the best comment will be integrated with name of the author(s). #2: If you cannot comment it, deprecate it. Results: http://code.google.com/p/pharo/wiki/CommentOfTheDayContest Laurent

1 1

[Pharo-project] Additional Test for Shared Queue (s)
by pharo-project-owner＠lists.gforge.inria.fr May 10, 2011

May 10, 2011

While trying to track down a bug, I started thinking that there was a problem with SharedQueue. There isn't, but there were no tests that convinced me of that. So I wrote one that actually has two processes reading and writing many times to a Q. The same tests works for NSSharedQueue (except that the class under test is hard coded). I suggest that putting these tests in the appropriate packages/core would be a good idea. Tests attached.

4 3

[Pharo-project] moose = smalltalk ambassador
by Tudor Girba May 10, 2011

May 10, 2011

Hi, Moose (http://moosetechnology.org) is a Smalltalk ambassador. Actually, I think it's the best ambassador we have right now to persuade professional developers to look into Smalltalk. Let me tell you why. Moose is a platform for software and data analysis and includes components like: Glamour, Mondrian or PetitParser. Moose solves a real and important problem that developers (both Smalltalkers and non-Smalltalkers) have: how to improve the productivity of the effort spent on assessment. Moose is an innovation in this domain because it enables a completely different approach through which developers craft their own tools fast (http://humane-assessment.com) The cool thing is that they build these tools by programming Smalltalk in Pharo, and thus they get to learn the language and the platform first. Moose also comes with exposure. For example, this year I will be presenting Moose and humane assessment at some large industry oriented conferences: - Jazoon (http://jazoon.com) - GotoCon Aarhus (http://gotocon.com/aarhus-2011/) - GotoCon Amsterdam (http://gotocon.com/amsterdam-2011/) All in all, if you want to promote Smalltalk, and Pharo in particular, you might want to look into it. And you are always welcome to contribute, follow us and make noise: - http://www.moosetechnology.org - http://twitter.com/#!/moosetechnology - http://www.facebook.com/pages/moosetechnologyorg/152851281427491 Cheers, Doru -- www.tudorgirba.com "No matter how many recipes we know, we still value a chef."

1 0