Vm-dev November 2016

vm-dev@lists.squeakfoundation.org

34 participants
155 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

Lowcode and x64
by Nicolas Cellier 05 Jan '17

05 Jan '17

Hi Ronie, >From my understanding, following code cannot work in x64 because registers are overwritten while marshalling arguments: generateLowcodeObjectTrampolines ... snip ... ceInstantiateClassIndexableSizeTrampoline := cogit genTrampolineFor: #instantiateClass:indexableSize: called: 'ceInstantiateClassIndexableSizeTrampoline' arg: ReceiverResultReg arg: Arg0Reg result: TempReg. The first arg ReceiverResultReg (RDX) will overwrite Arg0Reg (RDI) before Arg0Reg is copied to Arg1Reg (RSI)... See genMarshallNArgs:arg:arg:arg:arg: and carefully read the comment for the x64 flavour, it's scary ;) Cheers

2 1

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

OpenSmalltalk VM on Gentoo Linux
by ï»¿Samuel Hodgkins 09 Dec '16

09 Dec '16

So, I've recently moved to Gentoo Linux and want to run the Squeak VM. Unfortunately, there's no ebuild or package for the OpenSmalltalk VM (There is one for 'classic' VM though). As such, does anyone have a list of the dependencies so that I can install them? (or if someone has written a ebuild/package for VM.) (maybe after I get it working I'll learn how to write an ebuild and do that.)

3 3

latest changes (no idea from when it started) are making FFI win32 crash (and FFI Callbacks are not reliable anymore either)
by Esteban Lorenzano 01 Dec '16

01 Dec '16

Hi, So, I’m building the PharoVM along with all his dependencies. For me, this is a major step because I can drop the old build process finally. Now, I’m having serious problems with FFI (that they were not present before), : 1. CRASH IN WINDOWS (32bits): In Win32, it crashes automatically when trying to access this funtion: getEnvSize: nameString ^ self ffiCall: #( int GetEnvironmentVariableA ( String nameString, nil, 0 ) ) module: #Kernel32 (this works perfectly fine in older versions) 2. CALLBACKS FAILING: Callbacks have problems. The examples passes but they are very simple… as soon as I try to do something complicates (like unqlite bindings or libgit2 bindings, who use callbacks intensively), callbacks stops working. I traced the problem up to this method: StackInterpreter>>#returnAs:ThroughCallback:Context: returnAs: returnTypeOop ThroughCallback: vmCallbackContext Context: callbackMethodContext "callbackMethodContext is an activation of invokeCallback:[stack:registers:jmpbuf:]. Its sender is the VM's state prior to the callback. Reestablish that state (via longjmp), and mark callbackMethodContext as dead." <export: true> <var: #vmCallbackContext type: #'VMCallbackContext *'> | calloutMethodContext theFP thePage | <var: #theFP type: #'char *'> <var: #thePage type: #'StackPage *'> ((self isIntegerObject: returnTypeOop) and: [self isLiveContext: callbackMethodContext]) ifFalse: [^false]. calloutMethodContext := self externalInstVar: SenderIndex ofContext: callbackMethodContext. (self isLiveContext: calloutMethodContext) ifFalse: [^false]. "We're about to leave this stack page; must save the current frame's instructionPointer." self push: instructionPointer. self externalWriteBackHeadFramePointers. "Mark callbackMethodContext as dead; the common case is that it is the current frame. We go the extra mile for the debugger." (self isSingleContext: callbackMethodContext) ifTrue: [self markContextAsDead: callbackMethodContext] ifFalse: [theFP := self frameOfMarriedContext: callbackMethodContext. framePointer = theFP "common case" ifTrue: [(self isBaseFrame: theFP) ifTrue: [stackPages freeStackPage: stackPage] ifFalse: "calloutMethodContext is immediately below on the same page. Make it current." [instructionPointer := (self frameCallerSavedIP: framePointer) asUnsignedInteger. stackPointer := framePointer + (self frameStackedReceiverOffset: framePointer) + objectMemory wordSize. framePointer := self frameCallerFP: framePointer. self setMethod: (self frameMethodObject: framePointer). self restoreCStackStateForCallbackContext: vmCallbackContext. "N.B. siglongjmp is defines as _longjmp on non-win32 platforms. This matches the use of _setjmp in ia32abicc.c." self siglong: vmCallbackContext trampoline jmp: (self integerValueOf: returnTypeOop). ^true]] ifFalse: [self externalDivorceFrame: theFP andContext: callbackMethodContext. self markContextAsDead: callbackMethodContext]]. "Make the calloutMethodContext the active frame. The case where calloutMethodContext is immediately below callbackMethodContext on the same page is handled above." (self isStillMarriedContext: calloutMethodContext) ifTrue: [theFP := self frameOfMarriedContext: calloutMethodContext. thePage := stackPages stackPageFor: theFP. "findSPOf:on: points to the word beneath the instructionPointer, but there is no instructionPointer on the top frame of the current page." self assert: thePage ~= stackPage. stackPointer := (self findSPOf: theFP on: thePage) - objectMemory wordSize. framePointer := theFP] ifFalse: [thePage := self makeBaseFrameFor: calloutMethodContext. framePointer := thePage headFP. stackPointer := thePage headSP]. instructionPointer := self popStack. self setMethod: (objectMemory fetchPointer: MethodIndex ofObject: calloutMethodContext). self setStackPageAndLimit: thePage. self restoreCStackStateForCallbackContext: vmCallbackContext. "N.B. siglongjmp is defines as _longjmp on non-win32 platforms. This matches the use of _setjmp in ia32abicc.c." self siglong: vmCallbackContext trampoline jmp: (self integerValueOf: returnTypeOop). "NOTREACHED" ^true with the first siglongjmp callbacks are passing fine. with the last (it would be if framePointer = theFP AND !(isBaseFrame: theFP) ) it doesn’t. So… from here I’m a bit lost… I need some help :) thanks, Esteban

6 11

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev November 2016