Vm-dev January 2011

vm-dev@lists.squeakfoundation.org

38 participants
103 discussions

Re: [Pharo-project] Waste of CPU Power by polling events?
by Eliot Miranda 11 Jan '11

11 Jan '11

On Thu, Nov 25, 2010 at 8:25 PM, John M McIntosh < johnmci(a)smalltalkconsulting.com> wrote: > > On 2010-11-23, at 1:23 AM, Henrik Sperre Johansen wrote: > > > On 22.11.2010 22:08, Guido Stepken wrote: > >> Need additional: > >> > >> isOnMouseOverEvent > >> isMouseGestureEvent > >> isTouchGestureEvent > > You could try checking out how the iOS code does support for complex > events. > > It's of course somewhat apple-specific, but hey, would be nice to have > the same image-side representation and handling of touch-based events if > possible. > > Apple is very very notification &event callback oriented in their iOS > platform. It sleeps until you touch, then you get a touch event, you process > and go back to sleep. Heck if your startup time takes too many seconds Apple > nails you. > > For Squeak on iOS I take the touch data place on a queue and signals the > event semaphore. When the squeak image polls for the event we > turn the touch data into a complex event and pass it back, then is > processed by the Smalltalk code to turn into synthetic mouse events. (or > something). > > For keyboard entry, we take the key input data and turn into synthetic > keystroke events, and again signal the semaphore and put on a queue for > later when > the Smalltalk code wakes up and calls getnextevent to see what's up. > > I'm not sure if anyone mentioned the other issue is that the polling loop > also deals with doing the morphic redrawing so it runs a cycle of doing I > think it is > 50 iterations a second. > > For WikiServer which doesn't show a squeak UI I could cut that back to > doing a cycle every second or so. > > Oh and yet one more thing, the clock tick is yet another issue, some > platforms assume they can run an interrupt 1000 a second (or more) to ensure > the VM is responsive to Delay being correctly woken up to the microsecond. > "PS here I am over simplify the issue & complexity of the issue" but on > underpowered hardware the issues of how ioRelinquishProcessorForMicroseconds > and the millisecond timer work become messy issues in relationship to CPU > usage. > Yes, we need to change this, but I think one has to change the background process and/or nothing to run behavior. In the VW VM the VM disables the heartbeat and enters some blocking call when there's nothing to do. Squeak runs the background process which calls a primitive that sleeps for a short time. The former is much better. If a delay is active as the VM does to sleep it schedules a wakeup event or supplies a timeout so that it blocks until input is available or the next delay. We could still keep the background process and do something similar to VW, disabling the heartbeat until after the relinquish, and factoring the delay into the relinquish timeout. Also the heartbeat already has facilities to change its frequency, so one could modify things to slow down the heartbeat, again ensuring that it ticks before the next delay expiry. What approach (not necessarily from the above) appeals to you John? best Eliot > > -- > =========================================================================== > John M. McIntosh <johnmci(a)smalltalkconsulting.com> Twitter: > squeaker68882 > Corporate Smalltalk Consulting Ltd. http://www.smalltalkconsulting.com > =========================================================================== > > > > > >

5 10

bitten by & and |
by Eliot Miranda 11 Jan '11

11 Jan '11

Hi All, I just got bittenhard (not for the first time) by & and | (implemented both by integers and booleans) being translated into && (== and:) and || (== or:). So the following in constant folding in the StackToRegisterMappingCogit (argIsInt and: [rcvrIsInt]) ifTrue: [rcvrInt := objectMemory integerValueOf: rcvrInt. argInt := objectMemory integerValueOf: argInt. primDescriptor opcode caseOf: { [AddRR] -> [result := rcvrInt + argInt]. [SubRR] -> [result := rcvrInt - argInt]. [AndRR] -> [result := rcvrInt &: argInt]. [OrRR] -> [result := rcvrInt | argInt] }. (objectMemory isIntegerValue: result) ifTrue: ["Must annotate the bytecode for correct pc mapping." self annotateBytecode: self Label. ^self ssPop: 2; ssPushConstant: (objectMemory integerObjectOf: result)]. ^self genSpecialSelectorSend]. produced valid results in the simulator, but was translated to if (argIsInt && (rcvrIsInt)) { rcvrInt = (rcvrInt >> 1); argInt = (argInt >> 1); switch ((primDescriptor->opcode)) { case AddRR: result = rcvrInt + argInt; break; case SubRR: result = rcvrInt - argInt; break; case AndRR: result = rcvrInt && argInt; break; case OrRR: result = rcvrInt || argInt; break; default: error("Case not found and no otherwise clause"); } if (isIntegerValue(result)) { annotateBytecode(gLabel()); return ssPop(2),ssPushConstant(((result << 1) | 1)); } return genSpecialSelectorSend(); } and so e.g. 16r4000 bitOr: 16r8000 evaluated to 1, not 49152. Three approaches come to mind, a) emit a warning when & and | are used with variables and/or literals as opposed to message sends, e.g. warn for 1 | 2, var | var et al, but not for (a > b) | (b > c) et al b) translate | to | and & to & c) translate expr | expr to expr || expr and expr & expr to expr && expr, but translate varOrLiteral | anything to varOrLiteral | anything and varOrLiteral & anything to varOrLiteral & anything, and vice verse. I'm for b) since a relational expression such as a > 1 is defined in C to be either 1 or 0, and so in C (oneOrZero | oneOrZero) == (oneOrZero || oneOrZero) and (oneOrZero & oneOrZero) == (oneOrZero && oneOrZero). Thoughts, opinions? best (hurting), Eliot

5 4

Re: [Pharo-project] [squeak-dev] Re: new Cog VMs
by Eliot Miranda 11 Jan '11

11 Jan '11

On Mon, Jan 10, 2011 at 11:31 PM, Andres Valloud < avalloud(a)smalltalk.comcastbiz.net> wrote: > Indeed, quite right. I happened to add a flag to turn off the heartbeat >> so I could debug the crash Matthew was seeing in starting up >> Squeak4.2-10856-beta.image (since single-stepping through machine code >> always gets interrupted by the heartbeat, it being an interval timer) >> and lo and behold the bug went away. This is very worrying because it >> appears to imply that there's a serious bug in the linux kernel/gcc >> since delivering a software interrupt shouldn't corrupt registers, but >> it clearly does. I'll try and pass it by someone who's an expert in >> this area. >> > > Or the signal handler functions do not comply with the relevant > specifications, e.g.: signal handlers that do not preserve the value of > errno, signal handlers that use a function not in the list of approved safe > functions you can call from a signal handler as per the Single Unix > Specification, etc... > Good point. The signal handler essentially calls gettimeofday (not on the approved list but time is) and sets a couple of variables (current 64-bit microsecond time, stackLimit). But it does not preserve errno. I don't want to avoid calling gettimeofday and can see no harm in it; it's equivalent internally to time providing it doesn't use its TIMEZONE arg (which it doesn't). But the signal handler /doesn't/ preserve errno and doing so is a very good idea and easy to do. Thanks. > Andres. > >

1 0

FFIPrims plugin is broken in the recent Cog VMs?
by Nikolay Suslov 11 Jan '11

11 Jan '11

Hello, What could be the problem with FFIPrims plugin in recent Cog VMs (2339-2346)? The VM crashes after accessing it on Mac OS X 10.5.6, Windows Vista (testing with the recent Squeak 4.2 and CroquetGL package). Thanks in advance, Nikolay

3 2

Re: [squeak-dev] Re: [Pharo-project] new Cog VMs
by Eliot Miranda 11 Jan '11

11 Jan '11

Hi Igor, Hi All, On Sun, Jan 2, 2011 at 4:11 PM, Igor Stasenko <siguctua(a)gmail.com> wrote: > On 3 January 2011 00:15, Eliot Miranda <eliot.miranda(a)gmail.com> wrote: > > Hi Martin, Hi All, > > so find new VMs in VM.r2341/. The linux crashes (certainly the one > you > > suffered from Martin) seem to be caused by an optimization bug (but they > > could be caused by bad code generation, creating something that assumes > > ordering constraints which C doesn't guarantee). I suspect the former > > because I don't see the crash when running exactly the same VM and image > > from a different directory; provoking the crash requires a particular > path > > (go figure; I haven't pinned this down yet). > > So my "fix" is preventing a complex function being inlined into the main > > interpreter loop, removing the sources of some warnings, and lowering the > > optimization level of the gcc3x-cointerp.c file to -O1 from -O2 (my build > > environment, CentOS Linux 5.3, uses gcc 4.1.2). I'm not proud of this > > "fix". I've violated the Deutsch criterion by not diagnosing the cause > of > > the bug so I can't stand behind this fix; it's a hack that appears to > work > > and may have merely pushed the real bug further underground. Alas I > don't > > have time to do a better job. Hopefully it'll get those of you on linux > > going again. > > Eliot, if you remember, i also had crash issues on linux, and pinned down > it to > removing optimization from <something>heartbeat.c while keeping > gcc3x-cointerp.c to use > same optimization flags as for rest of files. > Indeed, quite right. I happened to add a flag to turn off the heartbeat so I could debug the crash Matthew was seeing in starting up Squeak4.2-10856-beta.image (since single-stepping through machine code always gets interrupted by the heartbeat, it being an interval timer) and lo and behold the bug went away. This is very worrying because it appears to imply that there's a serious bug in the linux kernel/gcc since delivering a software interrupt shouldn't corrupt registers, but it clearly does. I'll try and pass it by someone who's an expert in this area. Anyway, now find a new linux VM in VM.r2346/<http://www.mirandabanda.org/files/Cog/VM/VM.r2346/> that seems fine with the interpreter and the cogit compiled at -02 but the heartbeat compiled at -O2. Running this VM on CentOS 5.3 under Parallels I get 2839 run, 2796 passes, 7 expected failures, 24 failures, 11 errors, 0 unexpected passes for the full test suite in Squeak4.2-10856-beta.image. So have at it. best Eliot > I will start coding cmake config for Cog during next week and will be > able to check my previous > observations again. > > > best > > Eliot > > On Sat, Jan 1, 2011 at 11:16 PM, <mkobetic(a)gmail.com> wrote: > > -- > Best regards, > Igor Stasenko AKA sig. > >

2 1

VM Maker: CMakeVMMaker-EstebanLorenzano.15.mcz
by squeak-dev-noreply＠lists.squeakfoundation.org 11 Jan '11

11 Jan '11

Esteban Lorenzano uploaded a new version of CMakeVMMaker to project VM Maker: http://www.squeaksource.com/VMMaker/CMakeVMMaker-EstebanLorenzano.15.mcz ==================== Summary ==================== Name: CMakeVMMaker-EstebanLorenzano.15 Author: EstebanLorenzano Time: 10 January 2011, 10:46:54 pm UUID: 98b12c89-a41d-4c6c-b6e2-b1e781fdf46e Ancestors: CMakeVMMaker-EstebanLorenzano.14 this version can generate a valid Squeak.app :) Still... tinyBenchmarks are awful, so I need to keep working... but at least, it is finally working!

1 0

[VM team] Mantis open issues status
by David T. Lewis 11 Jan '11

11 Jan '11

Following is a summary of open [VM] issues on Mantis. The first four in the list are relevant to the current VM builds, and the remainder are listed here with brief status for information, but do not require attention for the current VM builds. -Dave === Issues that require attention for this round of VM builds === 0007591: Add #primitiveFileStdioHandles to standard VM [WIN] Additional patch still required for platforms/win32/plugins/FilePlugin/sqWin32FilePrims.c (apply function from Cog branch to SVN trunk) 0007550: Relative symbolic links do not resolve correctly in Unix 4.0.3.2202 [UNIX] Need to apply patch to sqUnixMain.c, see attachment to Mantis 7550 0007429: Add Mirror Primitives to the VM [VMMAKER] Not yet implemented for Interpreter but under development (Cog branch). Add them if available. 0007358: UUID>>initialize may crash VM for some images [UNIX] Status- library bug on some Linux platforms. Previous workaround was to build plugin internal, but this causes issues for other Linux platforms with missing 32-bit libuuid in the distro. === Open issues that do not require specific action for this round of VM builds === 0007590: Reminder: Cleanup the Mac VM Status unknown, but no specific action required for 4.2. 0007585: VM may crash when the JPEGPlugin is invoked from several threads at once Status unknown, cannot reproduce on Linux, possible case of "don't do that" 0007567: Linux (Mandriva 2010.1, x86-64) Squeak cannot find the sources file in directories that are 5 components deep Status - Apparent Linux distro issue, no VM change expected 0007539: Plugins should use platform libraries where possible. Gentoo removed Squeak for this reason. Status - no action taken so far 0007523: Opening some JPEG files may crash Windows VM Status unknown 0007515: Need way to add timer checks to #dispathFunctionPointer: without performance hit Status - no implementation proposed yet 0007503: Sound choppy on linux Status unknown 0007498: In Sq 9885 on Ubuntu doing Beeper beep latches the cpu usage to 100% Status unknown 0007479: Plugins depending on Methods in the Image VMMaker is loaded into Status - VM support integrated, followup required for Pharo image later. 0007475: Integrate Alien plugin and support code Status - need confirmation that the plugin works on unix 0007472: In sq 9563 copying workspace text across images loses line endings [UNIX] no fix proposed yet 0007459: [Vm-dev] Image file loading Feature for Android, not yet integrated 0007453: VM crashes when evaluating Morph methodDict valuesDo: 1. Unresolved. SqueakVM only. 0007433: Gstreamer and Pango plugins fail on 64-bit host Status - fix not yet proposed (general 64 bit issues for surface plugin) 0007417: Squeak macintosh carbon vm 4.2.2b2U and earlier show directory objects with zero size file sizes Status unknown 0007416: key up event does not report modifier bits correctly on mac carbon VMs version 4.2.2b1U or earlier. Status unknown 0007392: new network code does not pull back all IPV6 information correctly Status unknown 0007344: When pango rendering preference is used, the vm segfaults in linux 64 bits Status - fix not yet proposed (general 64 bit issues for surface plugin) 0007339: Get/set window title Feature not yet implemented for unix 0007320: Seg fault on image start-up; EventSensor suspected. Status unknown 0007265: Bug in Matrix2x3Plugin okayIntValue: Status unknown 0007261: primitiveExecuteMethod and primitiveExecuteMethodArgsArray Status unknown 0007238: SmartSyntaxPluginTMethod>>nullReturnExpr relies on #define null, may conflict with other libraries Status - not yet addressed 0007237: Make FFI work on 64 bit platforms Status - not yet integrated. Affects image as well as platforms and VMMaker. 0007236: Make AsynchFilePlugin work on 32/64 bit images and 32/64 bit unix VMs Status - not yet integrated 0007229: Remove optimisation for >>class Status unknown, possibly superceded by Eliot's work 0007120: [ENH] Speed-up raisedTo:modulo: Status - not yet integrated 0007109: [ENH] Speed-up LargeInteger bitShift: Status - not yet integrated 0006987: signed32BitValueOf:, signed64BitValueOf: etc. broken Status unknown (may be integrated, but relates to FFI issues) 0006966: VMMakerTool fails to open due to EnhancedSerialPlugin use of old access to Smalltalk>>platformName Status unknown, but does not affect standard VMs 0006828: make FileCopyPlugin work on 32/64 bit images and 32/64 bit unix VMs Status - not yet integrated 0006745: Maximising Squeak on a Xinerama enabled display does not act correctly [UNIX] patches submitted, status unknown 0006303: Matrix2x3Plugin does not consider negative numbers when rounding. Status unknown 0006669: VM callback implementation Status - probably obsoleted by work now being done by Eliot 0005236: Vm crashs in BitBltPlugin.c trying to access word in tail end of copyLoop() due to memory read failure Status unknown 0005228: Include Cryptographic Primitives in Base VM - DESPlugin Status unknown 0005107: With Caps Lock on, Menus do not work (Linux, Mac only) Status unknown 0003721: [FIX] Wheel Scrolling Misbehavior in Win32 with Genius Mouse Driver [WIN] status unknown 0002407: Pasting > 32kB of text crashes Unix VM [UNIX] 0001791: irix does not have vfork Status - OSProcessPlugin issue, not VM related 0001386: [Bug][?] Don't see F1-F10 keys in Linux, F11, F12 wrong. Status unknown 0001326: [BUG] PseudoTTY broken in 3.7-7 [UNIX] status unknown 0000215: JPEGReadWriter2Plugin seg faults on SPARC system because 'double' in structure not 8-byte aligned Status unknown

1 0

VM Maker: CMakeVMMaker-EstebanLorenzano.14.mcz
by squeak-dev-noreply＠lists.squeakfoundation.org 11 Jan '11

11 Jan '11

Esteban Lorenzano uploaded a new version of CMakeVMMaker to project VM Maker: http://www.squeaksource.com/VMMaker/CMakeVMMaker-EstebanLorenzano.14.mcz ==================== Summary ==================== Name: CMakeVMMaker-EstebanLorenzano.14 Author: EstebanLorenzano Time: 10 January 2011, 8:04:52 pm UUID: 5c60054c-b767-46e6-beef-153a7f7f68de Ancestors: CMakeVMMaker-EstebanLorenzano.13 Added functionality for plugins. Advance on CocoaIOSConfig. Almost there, but still some issues. Problems remaining: - including directories instead header files leads to conflicts with repeated headers. For instance, sqNamedPrims.h is present on: ./build/sqNamedPrims.h ./platforms/iOS/vm/src/vm/sqNamedPrims.h ./platforms/Mac OS/vm/sqNamedPrims.h ./platforms/unix/src/vm/sqNamedPrims.h -still some plugins are not running (and I removed for now from configuration): UUIDPlugin, ObjectiveCPlugin, IA32ABIPlugin, B3DAcceleratorPlugin NOTE: iOS branch has lots of files in incorrect places (for instance, sqMacV2Memory.c should be in common/, not iPhone/... (at least I think))

1 0

VM Maker: VMMaker-oscog.45.mcz
by squeak-dev-noreply＠lists.squeakfoundation.org 10 Jan '11

10 Jan '11

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://www.squeaksource.com/VMMaker/VMMaker-oscog.45.mcz ==================== Summary ==================== Name: VMMaker-oscog.45 Author: eem Time: 9 January 2011, 3:48:21 am UUID: a8e97960-e5be-4a86-8501-f5829394461c Ancestors: VMMaker-eem.706, VMMaker-oscog.44 Change the representation of CogBlockMethods to solve issues matching blocks in bytecoded methods to their corresponding CogBlockMethods. Replace the CogBlockMethod objectHeader field with a 16-bit offset to the home method and a 16-bit startbcpc field. Add comprehensive testing of bytecode to machine-code pc mapping, including matching blocks. Fix liveness of ResultReceiverReg over calls to ceContext:instVar:value:. Fixes an mnu in privRefresh. Fix leaking of objects into the atCache due to ceSend:super:to:numArgs:'s use of executeNewMethod without always setting messageSelector. Fixes "BooleanArrayUser new loop" bug. Fix simulation stack off-by-one in genStorePop:MaybeContextReceiverVariable:. More agressive store-check elision (elide for nil, true & false, not just immediates).

1 0

(Normal) VM crash while debugging exception handling
by Frank Shearar 09 Jan '11

09 Jan '11

I applied Andreas' Exception fix (Kernel-ar.540 in the Inbox), to double-check Julian's counter-example. I used a virgin trunk updated to 10877. 1 I did a print-it on "[ Error signal ] on: UnhandledError do: [ :ex | 'ANSI says so' ]", and the debugger popped up just as Julian described. 2 I accidentally dropped too far down the stack into Compiler>>evaluate:in:to:notifying:ifFail:logged:. 3 I hit "restart" and while stepping through execution I got as far as value := receiver withArgs: (context ifNil: [#()] ifNotNil: [{context}]) executeMethod: method. and when I hit "Over" the VM (Squeak4.0.01 from Mar 28 2010) crashed, saying Exception code: C0000005 Exception address: 004096D1 Current byte code: 209 Primitive index: 258 Crash dump attached as crash-1.dmp. Trying to reproduce the problem resulted in another crash: Reason: Recursive not understood error encountered Current byte code: 231 Primitive index: 199 Crash dump attached as crash-2.dmp Subsequent attempts repeated the second error, as in crash-4.dmp. Crash-3.dmp and crash-5.dmp happened while trying to reproduce the exact crash. So we have two errors: * an access violation in crash-1, crash-3 and crash-5 * a recursive MNU in crash-2, crash-4 All appear somewhere during the execution of MethodContext>printDetails:. frank

1 0

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev January 2011