Vm-dev October 2016

vm-dev@lists.squeakfoundation.org

30 participants
82 discussions

StackInterp/Cog>>transferTo: - assertValidExecutionPointe:r:s differences
by Ben Coman 06 May '18

06 May '18

Just curious about the difference in instructionPointer between these two... StackInterpreter>>transferTo: self assertValidExecutionPointe: instructionPointer + 1 r: framePointer s: stackPointer. CoIntepreter>>transferTo:from: self assertValidExecutionPointe: instructionPointer r: framePointer s: stackPointer. cheers -ben

3 8

Amazing ARM simulator experience
by Eliot Miranda 03 May '17

03 May '17

Hi All, just had to tell people about this morning's experience using the ARM simulator. I've been building Smalltalk VMs since 1983, so 33 years. My first on the Three Rivers PERQ was dog slow. My undergraduate project was done the the National Semiconductor 32016 based Whitechapel Computer Works workstation and its and 32032-based successor. This morning I was revamping register management in Cog's ARMv5/v6 back end, making more registers available by using two of the C argument registers for two of registers the Cogit assigns to various fixed tasks, and using store and load multiple instructions to save and restore concisely the registers around calls into the runtime. Remember the architecture here. The simulator generates ARM machine code into the ByteArray that re[resents the address space, holding all of generated machine code, a small C stack, and the Smalltalk heap. A plugin, derived from Gdb's ARM simulator written in C, interprets that machine code, running for a couple of milliseconds at a time in a loop, applying breakpoint calculations, and asserts on every call into the run-time, and that calls into the run-time and accesses of variables in the simulator is done by using illegal addresses in the generated machine code. Each illegal access causes the Gdb-derived machine code interpreter to return with an error, this error is turned into an exception, the handler for which maps the specific illegal address into a variable or message selector, accesses the variable or activates the message selector, providing the result, and allowing the execution to continue. In changing the register management I had a test case that worked, an image that prompted for an expression ands evaluated it, which worked both in the simulator and with the generated VM. But the real VM, crashed when used on a proper image. So to debug I started launching the real interactive image in the simulator. Well, the amazing experience is that that image, whose machine code is being _interpreted by a C program_ feels /faster/ than my 32016 based implementation back in 1984-ish. Quite amazing. I can open windows, type text, access source code (was playing with Message Names) etc. It's sluggish, but usable. Amazing how fast modern machines are. All on my 2012 vintage 2.2 Ghz Core i7 MacBook Pro. I'm blown away :-) _,,,^..^,,,_ best, Eliot

5 7

[OpenSmalltalk/opensmalltalk-vm] 195d84: makes squeak.cog.spur compile on OpenBSD 6.0
by GitHub 26 Feb '17

26 Feb '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 195d848e927ea2fc5434f94d9b724c73849c62b3 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/195d848e927ea2fc54… Author: Gerardo Santana <geardo.santana(a)gmail.com> Date: 2016-10-09 (Sun, 09 Oct 2016) Changed paths: M build.linux64x64/squeak.cog.spur/build/mvm M platforms/Cross/plugins/SqueakFFIPrims/sqFFIPlugin.c M platforms/unix/vm/sqUnixMain.c M platforms/unix/vm/sqUnixVMProfile.c M src/plugins/UnixOSProcessPlugin/UnixOSProcessPlugin.c M src/plugins/VMProfileLinuxSupportPlugin/VMProfileLinuxSupportPlugin.c Log Message: ----------- makes squeak.cog.spur compile on OpenBSD 6.0 Commit: e427da4d72804b99b58fb58c5db320111d6cccc7 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e427da4d72804b99b5… Author: Gerardo Santana <geardo.santana(a)gmail.com> Date: 2016-10-09 (Sun, 09 Oct 2016) Changed paths: M platforms/unix/config/bin.squeak.sh.in M platforms/unix/config/squeak.sh.in Log Message: ----------- adds OpenBSD support to Squeak's shell script wrapper Commit: ab77774ff8eedd7a7de9814ef1961f20bf1fbeab https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/ab77774ff8eedd7a7d… Author: Fabio Niephaus <code(a)fniephaus.com> Date: 2016-10-15 (Sat, 15 Oct 2016) Changed paths: M build.linux64x64/squeak.cog.spur/build/mvm M platforms/Cross/plugins/SqueakFFIPrims/sqFFIPlugin.c M platforms/unix/config/bin.squeak.sh.in M platforms/unix/config/squeak.sh.in M platforms/unix/vm/sqUnixMain.c M platforms/unix/vm/sqUnixVMProfile.c M src/plugins/UnixOSProcessPlugin/UnixOSProcessPlugin.c M src/plugins/VMProfileLinuxSupportPlugin/VMProfileLinuxSupportPlugin.c Log Message: ----------- Merge pull request #78 from santana/openbsd2 OpenBSD support Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/3c2c39d92cb8...ab…

5 5

error "please insert disk" (windows vm)
by Nicolai Hess 14 Jan '17

14 Jan '17

we have the following bug report 16928 <https://pharo.fogbugz.com/f/cases/16928/no-disk-in-the-drive-reply-to-World…> "no disk in the drive" reply to World | Save As (and other places) "On a clean Pharo4.0 #40618 image, on Windows 7 World Menu | Save As brings up a modal alert window, "There is no disk in the drive. Please insert a disk into drive <etc>" On my system, it does this 4 times. I'm assuming that each instance refers to one of the card-reader drives which are attached, but without a card inserted. This is a pain to deal with every single time a File Browser or World | Save As dialog is opened. Could the alerts either be - only raised when that specific drive is requested by a user action or, less preferably - given by a non-modal window, and fading away after a period" I was able to reproduce this error on squeaks and pharos window vm. (insert a usb card reader, with card, wait some time , remove only the card, every access on this drive, for example open a FileList and scroll to the drive letter). The solution I found is to call SetErrorMode( *SEM_FAILCRITICALERRORS)* I would like to propose the following change to sqwin32directory.c wrap the call to FindFirstFileW/FindNextFileW with UINT prevMode = SetErrorMode(SEM_FAILCRITICALERRORS); call FindFirstFileW/FindNextFileW SetErrorMode(prevMode); ... and call this functions in at least dir_lookup() (the other file/directory methods are save). Alternative solution, we could call the SetErrorMode function once at program start but I don't know if there are other "useful" errors message that we don't want to disable. I tested both solution, both seems to work fine. What do you think?

1 3

Is bintray the place to go for the latest VM builds?
by Phil (list) 04 Jan '17

04 Jan '17

I downloaded cog_linux32x86_squeak.cog.spur_201609052318.tar.gz from ht tps://bintray.com/package/files/opensmalltalk/vm/cog and it is missing the vm-sound-pulse module. Is this a build issue or am I downloading from the wrong place?

4 9

CogSpur crash on OS X when resizing with Moom
by Bernhard Pieber 09 Dec '16

09 Dec '16

Dear VM developers, I can reliably crash the latest stable CogSpur.r3732.app using the Squeak5.1-15113.image when I resize it with Moom (http://manytricks.com/moom/) right after starting the image. I tried to reproduce it by resizing it manually without Moom. I *think* it happened occasionally when resizing manually, but I could not reproduce it today. Versions up to r3427 do not crash. The crash happens starting with version r3602. With the latest unstable version 201606301459 built by Travis the crash still happens. I attach the crash dump for version r3732. Maybe it is helpful. Thanks for all your work! Cheers, Bernhard

3 4

New case to crash Spur VM
by Denis Kudriashov 09 Dec '16

09 Dec '16

Hi In debugger (Squeak or Pharo) try "step over" for expression "Object basicSize": image will crash. We have opened issue for this in Pharo tracker 17962 <https://pharo.fogbugz.com/f/cases/17962/Image-is-crashed-when-step-over-Obj…>

5 12

Rebuilding configure script for linux vm
by tim Rowledge 20 Nov '16

20 Nov '16

I’m trying to make the UnicodePlugin for an x86 linux. You’d think that would be simple enough but in fact the config fails because it has a hard-coded ARAM path in the UnicodePlugin/acinlude.m4 file - probably my fault from a couple of years ago as it happens. So, add the x86 path (for the glibconfig.h file; I imagine there is a way to make that get worked out automagically - see the CPPFLAGS line in platforms/unix/plugins/UnicodePlugin/acinclude.m4) and rebuild. Except the mvm script doesn’t re-run the configuration build. OK, delete the dratted config.h to force it to re-run autoconf. Sigh, nothing doing. No change. Look in platforms/unix/config and try `make`. Fails at configure.ac line 201. Which is weird because it *must* have worked not so many hours ago when I did a completely scratch load of the source tree on this particular machine. Suggestions welcomed. Error output follows - tim@ubuntu:~/squeak/opensmalltalk-vm/platforms/unix/config$ make configure ./mkacinc > acplugins.m4 + ../vm-display-Quartz/acinclude.m4 + ../vm-display-X11/acinclude.m4 + ../vm-display-custom/acinclude.m4 + ../vm-display-fbdev/acinclude.m4 + ../vm-sound-ALSA/acinclude.m4 + ../vm-sound-MacOSX/acinclude.m4 + ../vm-sound-NAS/acinclude.m4 + ../vm-sound-OSS/acinclude.m4 + ../vm-sound-Sun/acinclude.m4 + ../vm-sound-custom/acinclude.m4 + ../vm-sound-null/acinclude.m4 + ../vm-sound-pulse/acinclude.m4 + ../vm/acinclude.m4 + ../plugins/B3DAcceleratorPlugin/acinclude.m4 + ../plugins/BitBltPlugin/acinclude.m4 + ../plugins/BochsIA32Plugin/acinclude.m4 + ../plugins/BochsX64Plugin/acinclude.m4 + ../plugins/FloatMathPlugin/acinclude.m4 + ../plugins/GdbARMPlugin/acinclude.m4 + ../plugins/IA32ABI/acinclude.m4 + ../plugins/MIDIPlugin/acinclude.m4 + ../plugins/Mpeg3Plugin/acinclude.m4 + ../plugins/PseudoTTYPlugin/acinclude.m4 + ../plugins/UUIDPlugin/acinclude.m4 + ../plugins/UnicodePlugin/acinclude.m4 + ../plugins/UnixOSProcessPlugin/acinclude.m4 + ../plugins/XDisplayControlPlugin/acinclude.m4 aclocal autoconf configure.ac:201: error: possibly undefined macro: AC_PROG_NM If this token and others are legitimate, please use m4_pattern_allow. See the Autoconf documentation. configure.ac:219: error: possibly undefined macro: AC_DISABLE_STATIC configure.ac:220: error: possibly undefined macro: AC_PROG_LIBTOOL make: *** [configure] Error 1 tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim Original Sin is hard to find, but the digitally enhanced version is readily available.

4 10

Win32 Squeak.cog.spur FFI failure
by Nicolas Cellier 08 Nov '16

08 Nov '16

Hi, Win32 FFI fails for some time now. For example, load latest versions of FFI from http://source.squeak.org/FFI Then try this snippet: FFIPluginTests new testGenericDoubleCall. And you'll get a segmentation fault, crash.dmp. The latest vmI found in bintray already has the problem. https://dl.bintray.com/opensmalltalk/vm/:cog_win32x86_squeak.cog.spur_20160… This bug delayed the Win64 squeak.stack.spur delivery, because I thought I introduced a regression somewhere... I did not have time to check other OSes, but it would be worth trying. (Before declaring any VM+plugins as stable...) If someone has a way to easily dissect without precompiled artifacts, let me know. Nicolas

1 3

Re: [Vm-dev] VM Maker: VMMaker.oscog-eem.1972.mcz
by Nicolas Cellier 03 Nov '16

03 Nov '16

2016-10-31 22:42 GMT+01:00 <commits(a)source.squeak.org>: > > Eliot Miranda uploaded a new version of VMMaker to project VM Maker: > http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1972.mcz > > ==================== Summary ==================== > > Name: VMMaker.oscog-eem.1972 > Author: eem > Time: 31 October 2016, 2:42:12.362675 pm > UUID: 0e6a54ad-d62f-4b69-9f0d-7b66f8350984 > Ancestors: VMMaker.oscog-eem.1971 > > Redo fixing extB sign extension in NewsqueakV4 & SistaV1 > extPushIntegerBytecode & extUnconditionalJump in interpreter and Cogit > using bitShift: 8 instead of << 8. Slang seems to generate the correct > code with bitAShift:, but not with <<. > > Hi Eliot, it would have worked if you would have used bitOr: instead of + I'd say bitOr: better fits the intention: you want to assemble the bits, you do not really want to perform arithmetic here. Also, the result we are after is a signed int, so consider that << is doing the right thing, it gives you a signed int. The expression you propose is unsigned. It works OK in this context, because we assign immediately to a signed int. But for a more general usage, it could deceive the inliner (for example if variable is automatically typed or eliminated...) > =============== Diff against VMMaker.oscog-eem.1971 =============== > > Item was changed: > ----- Method: SimpleStackBasedCogit>>genExtPushIntegerBytecode (in > category 'bytecode generators') ----- > genExtPushIntegerBytecode > "NewsqueakV4: 229 11100101 iiiiiiii > Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. > -32768 = i=0, a=0, s=1) > SistaV1: 232 11101000 iiiiiiii > Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, > e.g. -32768 = i=0, a=0, s=1)" > | value | > + value := byte1 + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) bitShift: 8). > - value := byte1 + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) << 8). > extB := 0. > ^self genPushLiteral: (objectMemory integerObjectOf: value)! > > Item was changed: > ----- Method: SimpleStackBasedCogit>>genExtUnconditionalJump (in > category 'bytecode generators') ----- > genExtUnconditionalJump > "242 11110010 i i i i i i i i Jump i i i i i i i > i (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, > s=1)" > | distance target | > + distance := byte1 + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) bitShift: 8). > - distance := byte1 + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) << 8). > self assert: distance = (self v4: (self generatorAt: byte0) > Long: > bytecodePC > Branch: > (extA ~= 0 ifTrue: [1] ifFalse: [0]) + (extB ~= 0 ifTrue: [1] ifFalse: [0]) > Distance: > methodObj). > extB := 0. > target := distance + 2 + bytecodePC. > distance < 0 ifTrue: > [^self genJumpBackTo: target]. > self genJumpTo: target. > "The bytecode must be mapped since it can be either forward or > backward, and > backwards branches must be mapped. So if forward, we need to > map." > self annotateBytecode: self lastOpcode. > ^0! > > Item was changed: > ----- Method: SimpleStackBasedCogit>>v4:Long:Branch:Distance: (in > category 'span functions') ----- > v4: descriptor Long: pc Branch: nExts Distance: aMethodObj > "242 11110010 i i i i i i i i Jump i i i i i i i > i (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, > s=1)" > <var: #descriptor type: #'BytecodeDescriptor *'> > | extBValue | > self assert: nExts >= 0. > self parseV4Exts: nExts priorTo: pc in: aMethodObj into: [:ea :eb| > extBValue := eb]. > ^(objectMemory fetchByte: pc + 1 ofObject: aMethodObj) > + + (extBValue bitShift: 8)! > - + (extBValue << 8)! > > Item was changed: > ----- Method: StackInterpreter>>extPushIntegerBytecode (in category > 'stack bytecodes') ----- > extPushIntegerBytecode > "229 11100101 i i i i i i i i Push Integer > #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, > a=0, s=1)" > | value | > + value := self fetchByte + ((extB > 127 ifTrue: [extB - 256] > ifFalse: [extB]) bitShift: 8). > - value := self fetchByte + ((extB > 127 ifTrue: [extB - 256] > ifFalse: [extB]) << 8). > self fetchNextBytecode. > extB := 0. > self internalPush: (objectMemory integerObjectOf: value)! > > Item was changed: > ----- Method: StackInterpreter>>extUnconditionalJump (in category 'jump > bytecodes') ----- > extUnconditionalJump > "242 11110010 i i i i i i i i Jump i i i i i i i > i (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, > s=1)" > | byte offset | > byte := self fetchByte. > + offset := byte + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) bitShift: 8). > - offset := byte + ((extB > 127 ifTrue: [extB - 256] ifFalse: > [extB]) << 8). > extB := 0. > localIP := localIP + offset. > self ifBackwardsCheckForEvents: offset. > self fetchNextBytecode! > >

2 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev October 2016