Vm-dev June 2015

vm-dev@lists.squeakfoundation.org

28 participants
149 discussions

TrunkOnSpur
by Tobias Pape 24 Jun '15

24 Jun '15

Dear all, After seven month, I got the SqueakTrunkOnSpur job on jenkins back going so that we can see it is working before the release. Sadly, it is not: http://build.squeak.org/job/SqueakTrunkOnSpur/604/console (Some excerpts at the end) Can someone more knowledgeable than me please investigate? Best regards -Tobias [the end] Recursive not understood error encountered /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/lib/squeak/5.0-3386/squeak Squeak VM version: 5.0-3386 Sat Jun 20 16:31:47 PDT 2015 gcc 4.4.7 [Production Spur VM] Built from: CoInterpreter VMMaker.oscog-eem.1370 uuid: 779d3751-cd1b-4882-b870-156bf7da752a Jun 20 2015 With: StackToRegisterMappingCogit VMMaker.oscog-eem.1367 uuid: 5d5685bb-29fe-4d36-8ff2-df498dd8cc47 Jun 20 2015 Revision: VM: r3386 http://www.squeakvm.org/svn/squeak/branches/Cog Date: 2015-06-20 15:42:13 -0700 Plugins: r3347 http://squeakvm.org/svn/squeak/trunk/platforms/Cross/plugins Build host: Linux mclinux32 2.6.32-431.el6.i686 #1 SMP Fri Nov 22 00:26:36 UTC 2013 i686 i686 i386 GNU/Linux plugin path: /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386 [default: /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/lib/squeak/5.0-3386/] C stack backtrace & registers: */tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak[0x805f1be] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak(error+0x19)[0x805f379] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak[0x809ab91] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak(ceSendFromInLineCacheMiss+0x179)[0x809adf9] [0x82e794f] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak(interpret+0x86e)[0x809cdce] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak(main+0x2b4)[0x805fa94] /lib/i686/nosegneg/libc.so.6(__libc_start_main+0xe6)[0xb75f6cb6] /tmp/d20150624-22621-1fd1bqj/cogspur.r3386/cogspurlinuxht/bin/../lib/squeak/5.0-3386/squeak[0x805c691] [0x0] Smalltalk stack dump: 0xbf9d21e4 M ImageSegment>restoreEndianness 0x85b4730: a(n) ImageSegment 0xbf9d221c I ImageSegment>comeFullyUpOnReload: 0x85b4730: a(n) ImageSegment 0xbf9d2250 M SmartRefStream(DataStream)>next 0x851cec8: a(n) SmartRefStream 0xbf9d227c M SmartRefStream(ReferenceStream)>next 0x851cec8: a(n) SmartRefStream 0xbf9d22a8 I SmartRefStream>next 0x851cec8: a(n) SmartRefStream 0xbf9d22c8 I SmartRefStream>scanFrom: 0x851cec8: a(n) SmartRefStream 0xbf9d22f8 I ObjectScanner>scanFrom: 0x851b528: a(n) ObjectScanner 0xbf9d231c M [] in MultiByteFileStream(PositionableStream)>fileInAnnouncing: 0x83105f0: a(n) MultiByteFileStream 0xbf9d2338 M BlockClosure>on:do: 0x8517140: a(n) BlockClosure 0xbf9d2364 I [] in MultiByteFileStream(PositionableStream)>fileInAnnouncing: 0x83105f0: a(n) MultiByteFileStream 0xbf9d238c M [] in MorphicUIManager>displayProgress:at:from:to:during: 0x9d23bb8: a(n) MorphicUIManager 0xbf9d23a8 M BlockClosure>on:do: 0x83111d8: a(n) BlockClosure 0xbf9d23d4 M [] in MorphicUIManager>displayProgress:at:from:to:during: 0x9d23bb8: a(n) MorphicUIManager 0xbf9d23f4 M BlockClosure>ensure: 0x8311270: a(n) BlockClosure 0xbf9d2418 M MorphicUIManager>displayProgress:at:from:to:during: 0x9d23bb8: a(n) MorphicUIManager 0xbf9d2444 M ProgressInitiationException>defaultResumeValue 0x8310418: a(n) ProgressInitiationException 0xbf9d2460 M ProgressInitiationException(Exception)>resume 0x8310418: a(n) ProgressInitiationException 0xbf96d108 M ProgressInitiationException>defaultAction 0x8310418: a(n) ProgressInitiationException 0xbf96d124 M UndefinedObject>handleSignal: 0x8975b00: a(n) UndefinedObject 0xbf96d148 M MethodContext(ContextPart)>handleSignal: 0xaddc2b8: a(n) MethodContext 0xbf96d16c M MethodContext(ContextPart)>handleSignal: 0xadd7028: a(n) MethodContext 0xbf96d190 M MethodContext(ContextPart)>handleSignal: 0x8310058: a(n) MethodContext 0xbf96d1b4 M MethodContext(ContextPart)>handleSignal: 0x83104a8: a(n) MethodContext

1 0

how slower is called a named primitive over a numbered primitive?
by Esteban Lorenzano 24 Jun '15

24 Jun '15

Hi, Any idea how slower is? I mean, any measure/estimation/something around? cheers, Esteban

6 20

[commit][3388] Add newspeak build dirs for linux32ARM
by commits＠squeakvm.org 23 Jun '15

23 Jun '15

Revision: 3388 Author: eliot Date: 2015-06-23 10:57:36 -0700 (Tue, 23 Jun 2015) Log Message: ----------- Add newspeak build dirs for linux32ARM Added Paths: ----------- branches/Cog/build.linux32ARM/newspeak.cog.spur/ branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.ext branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.int branches/Cog/build.linux32ARM/newspeak.stack.spur/ branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.ext branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.int Removed Paths: ------------- branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.ext branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.int branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.ext branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.int branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.ext branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.int branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.ext branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.int branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.ext branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.int branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.ext branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.int Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,32 +0,0 @@ -#!/bin/bash -# Spur VM with VM profiler and threaded heartbeat -INSTALLDIR=cogspurlinuxhtARM -# Some gcc versions create a broken VM using -O2 -case `gcc -v 2>&1 | grep version | sed 's/gcc version *//'` in -3.4.*) OPT="-g -O1 -DNDEBUG -DDEBUGVM=0";; -*) OPT="-g -O2 -DNDEBUG -DDEBUGVM=0";; -esac - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ - --without-vm-display-fbdev --with-vmversion=5.0 \ - --with-src=spursrc --with-plugins=src/plugins \ - CC="gcc " \ - CXX="g++ " \ - CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNSAFE_THIS_IS -DCOGMTVM=0" \ - LIBS="-lpthread -luuid -lasound" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` -make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm (from rev 3380, branches/Cog/build.linux32ARM/squeak.cog.spur/build/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# Spur VM with VM profiler and threaded heartbeat +INSTALLDIR=nscogspurlinuxhtARM +OPT="-g -O2 -fwrapv -DNDEBUG -DDEBUGVM=0" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ + --without-vm-display-fbdev --with-vmversion=5.0 \ + --with-src=nsspursrc --with-plugins=nsspursrc/plugins \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNSAFE_THIS_IS -DCOGMTVM=0" \ + LIBS="-lpthread -luuid -lasound" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,12 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -#B3DAcceleratorPlugin \ -#BochsIA32Plugin \ -#GdbARMPlugin \ -SqueakFFIPrims \ -SqueakSSL \ -LocalePlugin \ -UnicodePlugin \ -UnixOSProcessPlugin \ -UUIDPlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,37 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -#CroquetPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -#IA32ABI \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.assert/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,28 +0,0 @@ -#!/bin/bash -# assert VM with VM profiler and threaded heartbeat -INSTALLDIR=assert/cogspurlinuxht -OPT="-g3 -O1 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DDEBUGVM=0" - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ - --with-vmversion=5.0 \ - --with-src=spursrc --with-plugins=src/plugins \ - CC="gcc -m32" \ - CXX="g++ -m32" \ - CFLAGS="$OPT -msse2 -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DCOGMTVM=0" \ - LIBS="-lpthread -luuid" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag -make install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm (from rev 3380, branches/Cog/build.linux32ARM/squeak.cog.spur/build.assert/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# assert VM with VM profiler and threaded heartbeat +INSTALLDIR=assert/nscogspurlinuxhtARM +OPT="-g3 -O1 -fwrapv -DDEBUGVM=0" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ + --without-vm-display-fbdev --with-vmversion=5.0 \ + --with-src=nsspursrc --with-plugins=nsspursrc/plugins \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNSAFE_THIS_IS -DCOGMTVM=0" \ + LIBS="-lpthread -luuid -lasound" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.assert/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,12 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -B3DAcceleratorPlugin \ -BochsIA32Plugin \ -GdbARMPlugin \ -SqueakFFIPrims \ -SqueakSSL \ -LocalePlugin \ -UnicodePlugin \ -UnixOSProcessPlugin \ -UUIDPlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.assert/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.assert/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,37 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -CroquetPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -IA32ABI \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.debug/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,28 +0,0 @@ -#!/bin/bash -# debug Spur VM with VM profiler and threaded heartbeat -INSTALLDIR=debug/cogspurlinuxhtARM -OPT="-g3 -O0 -DDEBUGVM=1" - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ - --without-vm-display-fbdev --with-vmversion=5.0 \ - --with-src=spursrc --with-plugins=src/plugins \ - CC="gcc " \ - CXX="g++ " \ - CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNSAFE_THIS_IS -DCOGMTVM=0" \ - LIBS="-lpthread -luuid -lasound" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` -make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm (from rev 3380, branches/Cog/build.linux32ARM/squeak.cog.spur/build.debug/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# debug Spur VM with VM profiler and threaded heartbeat +INSTALLDIR=debug/nscogspurlinuxhtARM +OPT="-g3 -O0 -fwrapv -DDEBUGVM=1" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure --without-npsqueak \ + --without-vm-display-fbdev --with-vmversion=5.0 \ + --with-src=nsspursrc --with-plugins=nsspursrc/plugins \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNSAFE_THIS_IS -DCOGMTVM=0" \ + LIBS="-lpthread -luuid -lasound" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.debug/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,12 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -#B3DAcceleratorPlugin \ -#BochsIA32Plugin \ -#GdbARMPlugin \ -SqueakFFIPrims \ -SqueakSSL \ -LocalePlugin \ -UnicodePlugin \ -UnixOSProcessPlugin \ -UUIDPlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.cog.spur/build.debug/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/build.debug/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,37 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -#CroquetPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -#IA32ABI \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Copied: branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.ext (from rev 3373, branches/Cog/build.linux32ARM/squeak.cog.spur/plugins.ext) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.ext (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,3 @@ +# Copied, perhaps edited, from ../../../nscogsrc/examplePlugins.ext +EXTERNAL_PLUGINS = \ +SqueakSSL Copied: branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.int (from rev 3373, branches/Cog/build.linux32ARM/squeak.cog.spur/plugins.int) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.int (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.cog.spur/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,27 @@ +# Copied, perhaps edited, from ../../../nscogsrc/examplePlugins.int +INTERNAL_PLUGINS = \ +AioPlugin \ +AsynchFilePlugin \ +BMPReadWriterPlugin \ +B2DPlugin \ +BitBltPlugin \ +DSAPrims \ +DropPlugin \ +FileCopyPlugin \ +FilePlugin \ +FloatArrayPlugin \ +FloatMathPlugin \ +ZipPlugin \ +JPEGReadWriter2Plugin \ +JPEGReaderPlugin \ +LargeIntegers \ +Matrix2x3Plugin \ +MiscPrimitivePlugin \ +IA32ABI \ +RePlugin \ +SecurityPlugin \ +SocketPlugin \ +SurfacePlugin \ +UUIDPlugin \ +UnixOSProcessPlugin \ +VMProfileLinuxSupportPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,33 +0,0 @@ -#!/bin/bash -# Stack Spur VM and threaded heartbeat -INSTALLDIR=stkspurlinuxhtARM -# Some gcc versions create a broken VM using -O2 -case `gcc -v 2>&1 | grep version | sed 's/gcc version *//'` in -3.4.*) OPT="-g -O1 -DNDEBUG -DDEBUGVM=0 -DNO_VM_PROFILE=1";; -*) OPT="-g -O3 -DNDEBUG -DDEBUGVM=0 -DNO_VM_PROFILE=1";; -esac - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) rm config.h; test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure \ - --with-vmversion=5.0 \ - --with-src=spurstacksrc --with-plugins=src/plugins --disable-cogit \ - --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ - CC="gcc " \ - CXX="g++ " \ - CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ - LIBS="-lpthread -luuid" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` -make install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm (from rev 3379, branches/Cog/build.linux32ARM/squeak.stack.spur/build/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# Stack Spur VM and threaded heartbeat +INSTALLDIR=nsstkspurlinuxhtARM +OPT="-g -O3 -fwrapv -DNDEBUG -DDEBUGVM=0 -DNO_VM_PROFILE=1" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) rm config.h; test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure \ + --with-vmversion=5.0 \ + --with-src=nsspurstacksrc --with-plugins=nsspursrc/plugins --disable-cogit \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ + LIBS="-lpthread -luuid" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,9 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -LocalePlugin \ -SqueakFFIPrims \ -SqueakSSL \ -UnicodePlugin \ -UnixOSProcessPlugin \ -UUIDPlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,37 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -CameraPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -ScratchPlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.assert/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,29 +0,0 @@ -#!/bin/bash -# assert Stack Spur VM with VM profiler and threaded heartbeat -INSTALLDIR=assert/stkspurlinuxhtARM -OPT="-g3 -O1 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DDEBUGVM=0" - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) rm config.h; test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure \ - --with-vmversion=5.0 \ - --with-src=spurstacksrc --with-plugins=src/plugins --disable-cogit \ - --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ - CC="gcc " \ - CXX="g++ " \ - CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ - LIBS="-lpthread -luuid" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` -make install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm (from rev 3379, branches/Cog/build.linux32ARM/squeak.stack.spur/build.assert/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# assert Stack Spur VM with VM profiler and threaded heartbeat +INSTALLDIR=assert/nsstkspurlinuxhtARM +OPT="-g3 -O1 -fwrapv -DDEBUGVM=0" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) rm config.h; test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure \ + --with-vmversion=5.0 \ + --with-src=nsspurstacksrc --with-plugins=nsspursrc/plugins --disable-cogit \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ + LIBS="-lpthread -luuid" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.assert/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,8 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -LocalePlugin \ -SqueakFFIPrims \ -SqueakSSL \ -UnixOSProcessPlugin \ -UUIDPlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.assert/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.assert/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,36 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -CroquetPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.debug/mvm 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,29 +0,0 @@ -#!/bin/bash -# debug Stack Spur VM with VM profiler and threaded heartbeat -INSTALLDIR=debug/stkspurlinuxhtARM -OPT="-g3 -O0 -DDEBUGVM=1" - -if [ $# -ge 1 ]; then - INSTALLDIR="$1"; shift -fi - -echo -n "clean? " -read a -case $a in -n|no|N|NO) echo "ok but this isn't safe!!";; -*) rm config.h; test -f Makefile && make reallyclean -esac -test -f config.h || ../../../platforms/unix/config/configure \ - --with-vmversion=5.0 \ - --with-src=spurstacksrc --with-plugins=src/plugins --disable-cogit \ - --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ - CC="gcc " \ - CXX="g++ " \ - CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ - LIBS="-lpthread -luuid" \ - LDFLAGS=-Wl,-z,now -rm -f vm/sqUnixMain.o # nuke version info -rm -rf ../../../products/$INSTALLDIR -# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` -# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` -make install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Copied: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm (from rev 3379, branches/Cog/build.linux32ARM/squeak.stack.spur/build.debug/mvm) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/mvm 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,31 @@ +#!/bin/bash +# debug Stack Spur VM with VM profiler and threaded heartbeat +INSTALLDIR=debug/nsstkspurlinuxhtARM +OPT="-g3 -O0 -fwrapv -DDEBUGVM=1" + +if [ $# -ge 1 ]; then + INSTALLDIR="$1"; shift +fi + +echo -n "clean? " +read a +case $a in +n|no|N|NO) echo "ok but this isn't safe!!";; +*) rm config.h; test -f Makefile && make reallyclean +esac +test -f plugins.int || (test -f ../plugins.int && cp -p ../plugins.int . || cp -p ../../plugins.int .) +test -f plugins.ext || (test -f ../plugins.ext && cp -p ../plugins.ext . || cp -p ../../plugins.ext .) +test -f config.h || ../../../platforms/unix/config/configure \ + --with-vmversion=5.0 \ + --with-src=nsspurstacksrc --with-plugins=nsspursrc/plugins --disable-cogit \ + --without-vm-display-fbdev --without-npsqueak --enable-fast-bitblt \ + CC=gcc \ + CXX=g++ \ + CFLAGS="$OPT -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64" \ + LIBS="-lpthread -luuid" \ + LDFLAGS=-Wl,-z,now +rm -f vm/sqUnixMain.o # nuke version info +rm -rf ../../../products/$INSTALLDIR +# prefer make install prefix=`readlink -f \`pwd\`/../../../products/$INSTALLDIR` +# but older linux readlinks lack the -f flag and Raspbian lacks `readlinks` +make -j4 install-squeak install-plugins prefix=`(cd ../../../;pwd)`/products/$INSTALLDIR 2>&1 | tee LOG Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.ext =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.debug/plugins.ext 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,9 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.ext -EXTERNAL_PLUGINS = \ -LocalePlugin \ -SqueakFFIPrims \ -SqueakSSL \ -UnixOSProcessPlugin \ -UUIDPlugin \ -UnicodePlugin \ -XDisplayControlPlugin Deleted: branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.int =================================================================== --- branches/Cog/build.linux32ARM/squeak.stack.spur/build.debug/plugins.int 2015-05-21 18:18:06 UTC (rev 3353) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/build.debug/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -1,36 +0,0 @@ -# Copied, perhaps edited, from ../../src/examplePlugins.int -INTERNAL_PLUGINS = \ -ADPCMCodecPlugin \ -AioPlugin \ -AsynchFilePlugin \ -B2DPlugin \ -BitBltPlugin \ -BMPReadWriterPlugin \ -CroquetPlugin \ -ZipPlugin \ -DropPlugin \ -DSAPrims \ -FFTPlugin \ -FileCopyPlugin \ -FilePlugin \ -FloatArrayPlugin \ -FloatMathPlugin \ -JoystickTabletPlugin \ -JPEGReaderPlugin \ -JPEGReadWriter2Plugin \ -Klatt \ -LargeIntegers \ -Matrix2x3Plugin \ -MIDIPlugin \ -MiscPrimitivePlugin \ -Mpeg3Plugin \ -RePlugin \ -SecurityPlugin \ -SerialPlugin \ -SocketPlugin \ -SoundCodecPrims \ -SoundGenerationPlugin \ -SoundPlugin \ -StarSqueakPlugin \ -SurfacePlugin \ -VMProfileLinuxSupportPlugin Copied: branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.ext (from rev 3373, branches/Cog/build.linux32ARM/squeak.stack.spur/plugins.ext) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.ext (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.ext 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,3 @@ +# Copied, perhaps edited, from ../../../nscogsrc/examplePlugins.ext +EXTERNAL_PLUGINS = \ +SqueakSSL Copied: branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.int (from rev 3373, branches/Cog/build.linux32ARM/squeak.stack.spur/plugins.int) =================================================================== --- branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.int (rev 0) +++ branches/Cog/build.linux32ARM/newspeak.stack.spur/plugins.int 2015-06-23 17:57:36 UTC (rev 3388) @@ -0,0 +1,27 @@ +# Copied, perhaps edited, from ../../../nscogsrc/examplePlugins.int +INTERNAL_PLUGINS = \ +AioPlugin \ +AsynchFilePlugin \ +BMPReadWriterPlugin \ +B2DPlugin \ +BitBltPlugin \ +DSAPrims \ +DropPlugin \ +FileCopyPlugin \ +FilePlugin \ +FloatArrayPlugin \ +FloatMathPlugin \ +ZipPlugin \ +JPEGReadWriter2Plugin \ +JPEGReaderPlugin \ +LargeIntegers \ +Matrix2x3Plugin \ +MiscPrimitivePlugin \ +IA32ABI \ +RePlugin \ +SecurityPlugin \ +SocketPlugin \ +SurfacePlugin \ +UUIDPlugin \ +UnixOSProcessPlugin \ +VMProfileLinuxSupportPlugin

1 0

Re: New Cog VMs available
by Eliot Miranda 23 Jun '15

23 Jun '15

Hi Carl, On Jun 23, 2015, at 7:33 AM, Carl Gundel <basicforge(a)gmail.com> wrote: > Hey Eliot! > > Does this VM allow Newspeak to run on the Raspberry Pi? The Newspeak and Squeak VMs are different so no. I can include a Newspeak VM fir the pi if people want it, especially since u just got a pi 2, which I'm told is much faster. So how much demand is there? Rob, you want it [but there's nothing to stop you building your own ;)]. Who else? > > -Carl > > On Saturday, June 20, 2015 at 9:26:18 PM UTC-4, Eliot wrote: >> ... at http://www.mirandabanda.org/files/Cog/VM/VM.r3386 >> >> CogVM binaries as per VMMaker.oscog-eem.1370/r3386 >> >> Add the ARMv5/ARMv6 Cog Spur JIT VM! >> >> Add explicit read barriers to primitives which access an argument as the >> receiver (i.e. the mirror primitives). Don't check if the actual receiver is >> used. Simplify failure where appropriate cuz the primitives will be retried. >> >> Add -fwrapv to all linux gcc builds (to insist on 2's complement arithmetic) >> and add makeallclean, making makeall do the dirty build. >> >> Provide a -exitonwarn command line switch for the Mac and Unix VMs to allow for >> CI testing of asserts. >> >> Unix: restore the SCCS revision after the version number in -version output. >> >> Spur: >> Remember to count shrink requests >> >> Cogit: >> Fix bug in rewriting compiler primitives on module unload, etc. The old code >> didn't change the assignment to the primitiveFunctionPointer, which is needed >> for correct management of failing primitive calls on Spur. Simplify the post >> compile hook to eliminate the label parameter; this is local to the Cogit. >> >> ARM Cogit: >> Use out-of-line literals for compactness. >> -- >> best, >> Eliot

1 0

Re: [Vm-dev] VM Maker: VMMaker.oscog-EstebanLorenzano.1376.mcz
by Henrik Johansen 23 Jun '15

23 Jun '15

Ugh, instead of restricting the type of VM one can build to specific images, can't the check for where to find the methods to do primitive translation of be decided by what image VMMaker has been loaded into? Cheers, Henry > On 23 Jun 2015, at 9:44 , commits(a)source.squeak.org wrote: > > > Esteban Lorenzano uploaded a new version of VMMaker to project VM Maker: > http://source.squeak.org/VMMaker/VMMaker.oscog-EstebanLorenzano.1376.mcz > > ==================== Summary ==================== > > Name: VMMaker.oscog-EstebanLorenzano.1376 > Author: EstebanLorenzano > Time: 23 June 2015, 11:43:50.383921 am > UUID: 96f873b1-3c5f-4b42-aaed-a1a370b8d2af > Ancestors: VMMaker.oscog-rmacnak.1375 > > MiscPrimitivePlugin class>>#translatedPrimitives is slightly different for Pharo. Answering a different version if PharoVM = true. > > =============== Diff against VMMaker.oscog-rmacnak.1375 =============== > > Item was changed: > + SystemOrganization addCategory: #VMMaker! > + SystemOrganization addCategory: 'VMMaker-Building'! > + SystemOrganization addCategory: 'VMMaker-Interpreter'! > + SystemOrganization addCategory: 'VMMaker-InterpreterSimulation'! > + SystemOrganization addCategory: 'VMMaker-InterpreterSimulation-Morphic'! > + SystemOrganization addCategory: 'VMMaker-JIT'! > + SystemOrganization addCategory: 'VMMaker-JITSimulation'! > + SystemOrganization addCategory: 'VMMaker-Multithreading'! > + SystemOrganization addCategory: 'VMMaker-Plugins'! > + SystemOrganization addCategory: 'VMMaker-Plugins-Alien'! > + SystemOrganization addCategory: 'VMMaker-Plugins-IOS'! > + SystemOrganization addCategory: 'VMMaker-PostProcessing'! > + SystemOrganization addCategory: 'VMMaker-SmartSyntaxPlugins'! > + SystemOrganization addCategory: 'VMMaker-SpurMemoryManager'! > + SystemOrganization addCategory: 'VMMaker-SpurMemoryManagerSimulation'! > + SystemOrganization addCategory: 'VMMaker-Support'! > + SystemOrganization addCategory: 'VMMaker-Tests'! > + SystemOrganization addCategory: 'VMMaker-Translation to C'! > - SystemOrganization addCategory: #'VMMaker-Building'! > - SystemOrganization addCategory: #'VMMaker-Interpreter'! > - SystemOrganization addCategory: #'VMMaker-InterpreterSimulation'! > - SystemOrganization addCategory: #'VMMaker-InterpreterSimulation-Morphic'! > - SystemOrganization addCategory: #'VMMaker-JIT'! > - SystemOrganization addCategory: #'VMMaker-JITSimulation'! > - SystemOrganization addCategory: #'VMMaker-Multithreading'! > - SystemOrganization addCategory: #'VMMaker-Plugins'! > - SystemOrganization addCategory: #'VMMaker-Plugins-Alien'! > - SystemOrganization addCategory: #'VMMaker-Plugins-IOS'! > - SystemOrganization addCategory: #'VMMaker-PostProcessing'! > - SystemOrganization addCategory: #'VMMaker-SmartSyntaxPlugins'! > - SystemOrganization addCategory: #'VMMaker-SpurMemoryManager'! > - SystemOrganization addCategory: #'VMMaker-SpurMemoryManagerSimulation'! > - SystemOrganization addCategory: #'VMMaker-Support'! > - SystemOrganization addCategory: #'VMMaker-Tests'! > - SystemOrganization addCategory: #'VMMaker-Translation to C'! > > Item was changed: > ----- Method: MiscPrimitivePlugin class>>translatedPrimitives (in category 'translation') ----- > translatedPrimitives > "an assorted list of various primitives" > + PharoVM ifTrue: [ ^ self translatedPrimitivesForPharo ]. > ^#( > (Bitmap compress:toByteArray:) > (Bitmap decompress:fromByteArray:at:) > (Bitmap encodeBytesOf:in:at:) > (Bitmap encodeInt:in:at:) > (ByteString compare:with:collated:) > (ByteString translate:from:to:table:) > (ByteString findFirstInString:inSet:startingAt:) > (ByteString indexOfAscii:inString:startingAt:) > (ByteString findSubstring:in:startingAt:matchTable:) > (ByteArray hashBytes:startingWith:) > (SampledSound convert8bitSignedFrom:to16Bit:) > ) > > "| tps | > 'This opens a list browser on all translated primitives in the image'. > tps := (SystemNavigation default allImplementorsOf: #translatedPrimitives) > inject: Set new > into: [:tp :mr| > tp addAll: (mr actualClass theNonMetaClass translatedPrimitives collect: > [:pair| > MethodReference > class: (((Smalltalk at: pair first) canUnderstand: pair last) > ifTrue: [Smalltalk at: pair first] > ifFalse: [(Smalltalk at: pair first) class]) > selector: pair last]); > yourself]. > SystemNavigation default browseMessageList: tps asArray sort name: 'Translated Primitives' "! > > Item was added: > + ----- Method: MiscPrimitivePlugin class>>translatedPrimitivesForPharo (in category 'translation') ----- > + translatedPrimitivesForPharo > + ^#( > + (Bitmap compress:toByteArray:) > + (Bitmap decompress:fromByteArray:at:) > + (Bitmap encodeBytesOf:in:at:) > + (Bitmap encodeInt:in:at:) > + (ByteString compare:with:collated:) > + (ByteString translate:from:to:table:) > + (ByteString findFirstInString:inSet:startingAt:) > + (ByteString indexOfAscii:inString:startingAt:) > + (String findSubstringViaPrimitive:in:startingAt:matchTable:) > + (ByteArray hashBytes:startingWith:) > + (SampledSound convert8bitSignedFrom:to16Bit:) > + )! > > Item was changed: > ----- Method: OutOfLineLiteralsManager>>storeObjRef:inClosedPICAt: (in category 'garbage collection') ----- > storeObjRef: literal inClosedPICAt: address > <var: #address type: #usqInt> > <inline: true> > objectMemory longAt: address put: literal! > > Item was changed: > ----- Method: StackInterpreter>>accessModifierOfMethod: (in category 'compiled methods') ----- > accessModifierOfMethod: methodObj > <option: #NewspeakVM> > ^self accessModifierOfMethodHeader: (objectMemory methodHeaderOf: methodObj)! > > Item was changed: > ----- Method: TAssignmentNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- > emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen > aStream nextPut: $(. > self emitCCodeOn: aStream level: level generator: aCodeGen. > aStream nextPut: $)! > > Item was changed: > ----- Method: TParseNode>>emitCCodeAsArgumentOn:level:generator: (in category 'C code generation') ----- > emitCCodeAsArgumentOn: aStream level: level generator: aCodeGen > ^self emitCCodeOn: aStream level: level generator: aCodeGen! > > Item was changed: > ----- Method: TParseNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- > emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen > ^self emitCCodeOn: aStream level: level generator: aCodeGen! > > Item was changed: > ----- Method: TSendNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- > emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen > ^self emitCCodeAsArgumentOn: aStream level: level generator: aCodeGen! >

2 1

VM Maker: VMMaker.oscog-EstebanLorenzano.1376.mcz
by commits＠source.squeak.org 23 Jun '15

23 Jun '15

Esteban Lorenzano uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-EstebanLorenzano.1376.mcz ==================== Summary ==================== Name: VMMaker.oscog-EstebanLorenzano.1376 Author: EstebanLorenzano Time: 23 June 2015, 11:43:50.383921 am UUID: 96f873b1-3c5f-4b42-aaed-a1a370b8d2af Ancestors: VMMaker.oscog-rmacnak.1375 MiscPrimitivePlugin class>>#translatedPrimitives is slightly different for Pharo. Answering a different version if PharoVM = true. =============== Diff against VMMaker.oscog-rmacnak.1375 =============== Item was changed: + SystemOrganization addCategory: #VMMaker! + SystemOrganization addCategory: 'VMMaker-Building'! + SystemOrganization addCategory: 'VMMaker-Interpreter'! + SystemOrganization addCategory: 'VMMaker-InterpreterSimulation'! + SystemOrganization addCategory: 'VMMaker-InterpreterSimulation-Morphic'! + SystemOrganization addCategory: 'VMMaker-JIT'! + SystemOrganization addCategory: 'VMMaker-JITSimulation'! + SystemOrganization addCategory: 'VMMaker-Multithreading'! + SystemOrganization addCategory: 'VMMaker-Plugins'! + SystemOrganization addCategory: 'VMMaker-Plugins-Alien'! + SystemOrganization addCategory: 'VMMaker-Plugins-IOS'! + SystemOrganization addCategory: 'VMMaker-PostProcessing'! + SystemOrganization addCategory: 'VMMaker-SmartSyntaxPlugins'! + SystemOrganization addCategory: 'VMMaker-SpurMemoryManager'! + SystemOrganization addCategory: 'VMMaker-SpurMemoryManagerSimulation'! + SystemOrganization addCategory: 'VMMaker-Support'! + SystemOrganization addCategory: 'VMMaker-Tests'! + SystemOrganization addCategory: 'VMMaker-Translation to C'! - SystemOrganization addCategory: #'VMMaker-Building'! - SystemOrganization addCategory: #'VMMaker-Interpreter'! - SystemOrganization addCategory: #'VMMaker-InterpreterSimulation'! - SystemOrganization addCategory: #'VMMaker-InterpreterSimulation-Morphic'! - SystemOrganization addCategory: #'VMMaker-JIT'! - SystemOrganization addCategory: #'VMMaker-JITSimulation'! - SystemOrganization addCategory: #'VMMaker-Multithreading'! - SystemOrganization addCategory: #'VMMaker-Plugins'! - SystemOrganization addCategory: #'VMMaker-Plugins-Alien'! - SystemOrganization addCategory: #'VMMaker-Plugins-IOS'! - SystemOrganization addCategory: #'VMMaker-PostProcessing'! - SystemOrganization addCategory: #'VMMaker-SmartSyntaxPlugins'! - SystemOrganization addCategory: #'VMMaker-SpurMemoryManager'! - SystemOrganization addCategory: #'VMMaker-SpurMemoryManagerSimulation'! - SystemOrganization addCategory: #'VMMaker-Support'! - SystemOrganization addCategory: #'VMMaker-Tests'! - SystemOrganization addCategory: #'VMMaker-Translation to C'! Item was changed: ----- Method: MiscPrimitivePlugin class>>translatedPrimitives (in category 'translation') ----- translatedPrimitives "an assorted list of various primitives" + PharoVM ifTrue: [ ^ self translatedPrimitivesForPharo ]. ^#( (Bitmap compress:toByteArray:) (Bitmap decompress:fromByteArray:at:) (Bitmap encodeBytesOf:in:at:) (Bitmap encodeInt:in:at:) (ByteString compare:with:collated:) (ByteString translate:from:to:table:) (ByteString findFirstInString:inSet:startingAt:) (ByteString indexOfAscii:inString:startingAt:) (ByteString findSubstring:in:startingAt:matchTable:) (ByteArray hashBytes:startingWith:) (SampledSound convert8bitSignedFrom:to16Bit:) ) "| tps | 'This opens a list browser on all translated primitives in the image'. tps := (SystemNavigation default allImplementorsOf: #translatedPrimitives) inject: Set new into: [:tp :mr| tp addAll: (mr actualClass theNonMetaClass translatedPrimitives collect: [:pair| MethodReference class: (((Smalltalk at: pair first) canUnderstand: pair last) ifTrue: [Smalltalk at: pair first] ifFalse: [(Smalltalk at: pair first) class]) selector: pair last]); yourself]. SystemNavigation default browseMessageList: tps asArray sort name: 'Translated Primitives' "! Item was added: + ----- Method: MiscPrimitivePlugin class>>translatedPrimitivesForPharo (in category 'translation') ----- + translatedPrimitivesForPharo + ^#( + (Bitmap compress:toByteArray:) + (Bitmap decompress:fromByteArray:at:) + (Bitmap encodeBytesOf:in:at:) + (Bitmap encodeInt:in:at:) + (ByteString compare:with:collated:) + (ByteString translate:from:to:table:) + (ByteString findFirstInString:inSet:startingAt:) + (ByteString indexOfAscii:inString:startingAt:) + (String findSubstringViaPrimitive:in:startingAt:matchTable:) + (ByteArray hashBytes:startingWith:) + (SampledSound convert8bitSignedFrom:to16Bit:) + )! Item was changed: ----- Method: OutOfLineLiteralsManager>>storeObjRef:inClosedPICAt: (in category 'garbage collection') ----- storeObjRef: literal inClosedPICAt: address <var: #address type: #usqInt> <inline: true> objectMemory longAt: address put: literal! Item was changed: ----- Method: StackInterpreter>>accessModifierOfMethod: (in category 'compiled methods') ----- accessModifierOfMethod: methodObj <option: #NewspeakVM> ^self accessModifierOfMethodHeader: (objectMemory methodHeaderOf: methodObj)! Item was changed: ----- Method: TAssignmentNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen aStream nextPut: $(. self emitCCodeOn: aStream level: level generator: aCodeGen. aStream nextPut: $)! Item was changed: ----- Method: TParseNode>>emitCCodeAsArgumentOn:level:generator: (in category 'C code generation') ----- emitCCodeAsArgumentOn: aStream level: level generator: aCodeGen ^self emitCCodeOn: aStream level: level generator: aCodeGen! Item was changed: ----- Method: TParseNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen ^self emitCCodeOn: aStream level: level generator: aCodeGen! Item was changed: ----- Method: TSendNode>>emitCCodeAsExpressionOn:level:generator: (in category 'C code generation') ----- emitCCodeAsExpressionOn: aStream level: level generator: aCodeGen ^self emitCCodeAsArgumentOn: aStream level: level generator: aCodeGen!

1 0

VM Maker: VMMaker.oscog-rmacnak.1375.mcz
by commits＠source.squeak.org 23 Jun '15

23 Jun '15

Ryan Macnak uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-rmacnak.1375.mcz ==================== Summary ==================== Name: VMMaker.oscog-rmacnak.1375 Author: rmacnak Time: 22 June 2015, 10:07:47.302 pm UUID: 2834a848-0c6d-4c29-bd1e-a43ad70450d9 Ancestors: VMMaker.oscog-cb.1374 Do proper lookups for implicit receiver and outer send misses from cogged code. =============== Diff against VMMaker.oscog-cb.1374 =============== Item was changed: ----- Method: CoInterpreter>>ceImplicitReceiverSend:receiver: (in category 'trampolines') ----- ceImplicitReceiverSend: cacheAddress receiver: methodReceiver "An implicit receiver send cache missed." + | nsSendCache methodReceiverClassTag cogMethod errSelIdx | - | nsSendCache methodMixin numArgs selector implicitReceiver cogMethod irClassTag mrClassTag errSelIdx | <api> <option: #NewspeakVM> <inline: false> <var: #nsSendCache type: #'NSSendCache *'> <var: #cogMethod type: #'CogMethod *'> cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: methodReceiver). + self deny: (objectMemory isOopForwarded: methodReceiver). nsSendCache := self cCoerceSimple: cacheAddress to: #'NSSendCache *'. + messageSelector := nsSendCache selector. + argumentCount := nsSendCache numArgs. + method := (self mframeHomeMethod: framePointer) methodObject. - selector := nsSendCache selector. - numArgs := nsSendCache numArgs. - methodMixin := self mMethodClass. + self assert: (self stackValue: argumentCount + 1 "ret addr") = methodReceiver. - implicitReceiver := self - implicitReceiverFor: methodReceiver - mixin: methodMixin - implementing: selector. + methodReceiverClassTag := objectMemory fetchClassTagOf: methodReceiver. - self assert: (self stackValue: numArgs + 1 "ret val") = methodReceiver. - self stackValue: numArgs + 1 "ret val " put: implicitReceiver. - "Replace the methodReceiver on the stack with the implicitReceiver. When the cache has - a hit, we don't care that the value on the stack is wrong because the compiled callee will - use the value in ReceiverResultReg to build its frame. But the interpreter will use - stack(numArgs)." + (self + inlineLookupInNSMethodCacheSel: messageSelector + classTag: methodReceiverClassTag + method: method + lookupRule: LookupRuleImplicit) + ifTrue: + [localAbsentReceiverOrZero = 0 + ifTrue: [localAbsentReceiver := methodReceiver] + ifFalse: [localAbsentReceiver := localAbsentReceiverOrZero]. + "check for coggability because method is in the cache" + self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] + ifFalse: + [self deny: (objectMemory isOopForwarded: messageSelector). + self deny: (objectMemory isForwardedClassTag: methodReceiverClassTag). + lkupClassTag := methodReceiverClassTag. + errSelIdx := self lookupImplicitReceiverSendNoMNU: methodReceiver. + errSelIdx ~= 0 ifTrue: + [self assert: errSelIdx == SelectorDoesNotUnderstand. + self handleMNU: errSelIdx + InMachineCodeTo: methodReceiver + classForMessage: (objectMemory classForClassTag: methodReceiverClassTag). + self unreachable]. + self addNewMethodToNSCache: LookupRuleImplicit]. - mrClassTag := objectMemory fetchClassTagOf: methodReceiver. - irClassTag := objectMemory fetchClassTagOf: implicitReceiver. - argumentCount := numArgs. + "Fix stacked receiver." + self stackValue: argumentCount + 1 "ret addr" put: localAbsentReceiver. - (self lookupInMethodCacheSel: selector classTag: irClassTag) - ifTrue: ["check for coggability because method is in the cache" - self ifAppropriateCompileToNativeCode: newMethod selector: selector] - ifFalse: [ - (objectMemory isOopForwarded: selector) ifTrue: - [self error: 'Selector should have fixed by mapObjectReferencesInMachineCodeForBecome']. - (objectMemory isForwardedClassTag: irClassTag) ifTrue: - [self error: 'Implicit receiver lookup should have followed fowarded objects']. - messageSelector := selector. - (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: irClassTag)) ~= 0 - ifTrue: [[self handleMNU: errSelIdx InMachineCodeTo: implicitReceiver classForMessage: (objectMemory classForClassTag: irClassTag). - self error: 'UNREACHABLE3']]]. (self maybeMethodHasCogMethod: newMethod) ifTrue: [ cogMethod := self cogMethodOf: newMethod. cogMethod selector = objectMemory nilObject + ifTrue: [cogit setSelectorOf: cogMethod to: messageSelector] - ifTrue: [cogit setSelectorOf: cogMethod to: selector] ifFalse: ["Deal with anonymous accessors, e.g. in Newspeak. The cogMethod may not have the correct selector. If not, try and compile a new method with the correct selector." + cogMethod selector ~= messageSelector ifTrue: [ + (cogit cog: newMethod selector: messageSelector) - cogMethod selector ~= selector ifTrue: [ - (cogit cog: newMethod selector: selector) ifNotNil: [:newCogMethod | cogMethod := newCogMethod]]]. + cogMethod selector = messageSelector - cogMethod selector = selector ifTrue: [cogit linkNSSendCache: nsSendCache + classTag: methodReceiverClassTag + enclosingObject: localAbsentReceiverOrZero - classTag: mrClassTag - enclosingObject: (implicitReceiver = methodReceiver - ifTrue: [0] ifFalse: [implicitReceiver]) target: cogMethod caller: self mframeHomeMethodExport] ifFalse: ["Out of code memory. Fall through to interpret."]. instructionPointer := self popStack. self executeNewMethod. + self unreachable]. - self error: 'UNREACHABLE 1']. instructionPointer := self popStack. self interpretMethodFromMachineCode. + self unreachable.! - self error: 'UNREACHABLE 2'. - ^nil! Item was changed: ----- Method: CoInterpreter>>ceOuterSend:receiver: (in category 'trampolines') ----- ceOuterSend: cacheAddress receiver: methodReceiver "An outer send cache missed." + | nsSendCache depth methodReceiverClassTag cogMethod errSelIdx | - | nsSendCache methodMixin numArgs selector depth enclosingObject cogMethod eoClassTag mrClassTag errSelIdx | <api> <option: #NewspeakVM> <inline: false> <var: #nsSendCache type: #'NSSendCache *'> <var: #cogMethod type: #'CogMethod *'> cogit assertCStackWellAligned. self assert: (objectMemory addressCouldBeOop: methodReceiver). + self deny: (objectMemory isOopForwarded: methodReceiver). nsSendCache := self cCoerceSimple: cacheAddress to: #'NSSendCache *'. + messageSelector := nsSendCache selector. + argumentCount := nsSendCache numArgs. - selector := nsSendCache selector. - numArgs := nsSendCache numArgs. depth := nsSendCache depth. + method := (self mframeHomeMethod: framePointer) methodObject. - methodMixin := self mMethodClass. + self assert: (self stackValue: argumentCount + 1 "ret addr") = methodReceiver. - enclosingObject := self - enclosingObjectAt: depth - withObject: methodReceiver - withMixin: methodMixin. + methodReceiverClassTag := objectMemory fetchClassTagOf: methodReceiver. - self assert: (self stackValue: numArgs + 1 "ret val") = methodReceiver. - self stackValue: numArgs + 1 "ret val " put: enclosingObject. - "Replace the methodReceiver on the stack with the enclosingObject. When the cache has - a hit, we don't care that the value on the stack is wrong because the compiled callee will - use the value in ReceiverResultReg to build its frame. But the interpreter will use - stack(numArgs)." + (self + inlineLookupInNSMethodCacheSel: messageSelector + classTag: methodReceiverClassTag + method: method + lookupRule: depth) + ifTrue: + [localAbsentReceiverOrZero = 0 + ifTrue: [localAbsentReceiver := methodReceiver] + ifFalse: [localAbsentReceiver := localAbsentReceiverOrZero]. + "check for coggability because method is in the cache" + self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] + ifFalse: + [self deny: (objectMemory isOopForwarded: messageSelector). + self deny: (objectMemory isForwardedClassTag: methodReceiverClassTag). + lkupClassTag := methodReceiverClassTag. + errSelIdx := self lookupOuterSendNoMNU: methodReceiver depth: depth. + errSelIdx ~= 0 ifTrue: + [self assert: errSelIdx == SelectorDoesNotUnderstand. + self handleMNU: errSelIdx + InMachineCodeTo: methodReceiver + classForMessage: (objectMemory classForClassTag: methodReceiverClassTag). + self unreachable]. + self addNewMethodToNSCache: depth]. - mrClassTag := objectMemory fetchClassTagOf: methodReceiver. - eoClassTag := objectMemory fetchClassTagOf: enclosingObject. - argumentCount := numArgs. + "Fix stacked receiver." + self stackValue: argumentCount + 1 "ret addr" put: localAbsentReceiver. - (self lookupInMethodCacheSel: selector classTag: eoClassTag) - ifTrue: ["check for coggability because method is in the cache" - self ifAppropriateCompileToNativeCode: newMethod selector: selector] - ifFalse: [ - (objectMemory isOopForwarded: selector) ifTrue: - [self error: 'Selector should have fixed by mapObjectReferencesInMachineCodeForBecome']. - (objectMemory isForwardedClassTag: eoClassTag) ifTrue: - [self error: 'Implicit receiver lookup should have followed fowarded objects']. - messageSelector := selector. - (errSelIdx := self lookupMethodNoMNUEtcInClass: (objectMemory classForClassTag: eoClassTag)) ~= 0 - ifTrue: [[self handleMNU: errSelIdx InMachineCodeTo: enclosingObject classForMessage: (objectMemory classForClassTag: eoClassTag). - self error: 'UNREACHABLE3']]]. (self maybeMethodHasCogMethod: newMethod) ifTrue: [ cogMethod := self cogMethodOf: newMethod. cogMethod selector = objectMemory nilObject + ifTrue: [cogit setSelectorOf: cogMethod to: messageSelector] - ifTrue: [cogit setSelectorOf: cogMethod to: selector] ifFalse: ["Deal with anonymous accessors, e.g. in Newspeak. The cogMethod may not have the correct selector. If not, try and compile a new method with the correct selector." + cogMethod selector ~= messageSelector ifTrue: [ + (cogit cog: newMethod selector: messageSelector) - cogMethod selector ~= selector ifTrue: [ - (cogit cog: newMethod selector: selector) ifNotNil: [:newCogMethod | cogMethod := newCogMethod]]]. + cogMethod selector = messageSelector - cogMethod selector = selector ifTrue: [cogit linkNSSendCache: nsSendCache + classTag: methodReceiverClassTag + enclosingObject: localAbsentReceiverOrZero - classTag: mrClassTag - enclosingObject: enclosingObject target: cogMethod caller: self mframeHomeMethodExport] ifFalse: ["Out of code memory. Fall through to interpret."]. instructionPointer := self popStack. self executeNewMethod. + self unreachable]. - self error: 'UNREACHABLE 1']. instructionPointer := self popStack. self interpretMethodFromMachineCode. + self unreachable.! - self error: 'UNREACHABLE 2'. - ^nil! Item was removed: - ----- Method: CoInterpreter>>implicitReceiverFor:mixin:implementing: (in category 'newspeak bytecode support') ----- - implicitReceiverFor: methodReceiver mixin: methodMixin implementing: selector - "This is used to implement implicit receiver sends in Newspeak. Find the nearest - lexically-enclosing implementation of selector by searching up the static chain of the - method's receiver, starting at mixin's application. This implementation is derived from - - <ContextPart> implicitReceiverFor: methodReceiver <Object> - in: methodMixin <Mixin> - implementing: selector <Symbol> ^<Object>" - - <api> - <option: #NewspeakVM> - cogit breakOnImplicitReceiver ifTrue: - [self sendBreakpoint: selector receiver: nil]. - ^super implicitReceiverFor: methodReceiver mixin: methodMixin implementing: selector! Item was added: + ----- Method: CoInterpreter>>lookupImplicitReceiverSendNoMNU: (in category 'message sending') ----- + lookupImplicitReceiverSendNoMNU: methodReceiver + "Do the full lookup for an implicit receiver send. + IN: messageSelector + IN: argumentCount + OUT: localAbsentReceiver + OUT: localAbsentReceiverOrZero + OUT: newMethod + OUT: primitiveIndex + RESULT: 0 or SelectorDoesNotUnderstand" + + | candidateReceiver candidateMixin candidateMixinApplication dictionary found | + messageSelector := objectMemory followMaybeForwarded: messageSelector. + candidateReceiver := methodReceiver. + self deny: (objectMemory isForwarded: method). + candidateMixin := self methodClassOf: method. + localAbsentReceiverOrZero := 0. + [self deny: (objectMemory isForwarded: candidateMixin). + self deny: (objectMemory isForwarded: candidateReceiver). + candidateMixinApplication := self + findApplicationOfTargetMixin: candidateMixin + startingAtBehavior: (objectMemory fetchClassOf: candidateReceiver). + self deny: (candidateMixinApplication = 0). + self deny: (candidateMixinApplication = objectMemory nilObject). + self deny: (objectMemory isForwarded: candidateMixinApplication). + self assert: (self addressCouldBeClassObj: candidateMixinApplication). + dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: candidateMixinApplication. + found := self lookupMethodInDictionary: dictionary. + found ifTrue: + [localAbsentReceiver := candidateReceiver. + ^self lookupLexicalNoMNU: messageSelector from: candidateMixin rule: LookupRuleImplicit]. + candidateMixin := objectMemory followObjField: EnclosingMixinIndex ofObject: candidateMixin. + self deny: (objectMemory isForwarded: candidateMixin). + candidateMixin = objectMemory nilObject] + whileFalse: + [localAbsentReceiverOrZero := candidateReceiver := objectMemory followObjField: EnclosingObjectIndex ofObject: candidateMixinApplication]. + "There is no lexically visible method, so the implicit receiver is the method receiver." + localAbsentReceiverOrZero := 0. + localAbsentReceiver := methodReceiver. + lkupClass := objectMemory fetchClassOf: methodReceiver. "For use by MNU" + ^self lookupProtectedNoMNU: messageSelector startingAt: lkupClass rule: LookupRuleImplicit.! Item was added: + ----- Method: CoInterpreter>>lookupLexicalNoMNU:from:rule: (in category 'message sending') ----- + lookupLexicalNoMNU: selector from: mixin rule: rule + "A shared part of the lookup for implicit receiver sends that found a lexically visible + method, and self and outer sends." + | receiverClass mixinApplication dictionary found | + receiverClass := objectMemory fetchClassOf: localAbsentReceiver. + mixinApplication := self findApplicationOfTargetMixin: mixin startingAtBehavior: receiverClass. + dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: mixinApplication. + found := self lookupMethodInDictionary: dictionary. + (found and: [(self accessModifierOfMethod: newMethod) = AccessModifierPrivate]) + ifTrue: [^0]. + ^self lookupProtectedNoMNU: selector startingAt: receiverClass rule: rule + ! Item was added: + ----- Method: CoInterpreter>>lookupOuterSendNoMNU:depth: (in category 'message sending') ----- + lookupOuterSendNoMNU: methodReceiver depth: depth + "Do the full lookup for a self or outer send. + IN: messageSelector + IN: argumentCount + OUT: localAbsentReceiver + OUT: localAbsentReceiverOrZero + OUT: newMethod + OUT: primitiveIndex + RESULT: 0 or SelectorDoesNotUnderstand" + + | targetMixin count mixinApplication | + localAbsentReceiver := methodReceiver. + localAbsentReceiverOrZero := 0. + targetMixin := self methodClassOf: method. + count := 0. + [count < depth] whileTrue: + [count := count + 1. + mixinApplication := self + findApplicationOfTargetMixin: targetMixin + startingAtBehavior: (objectMemory fetchClassOf: localAbsentReceiver). + localAbsentReceiverOrZero := localAbsentReceiver := objectMemory followObjField: EnclosingObjectIndex ofObject: mixinApplication. + targetMixin := objectMemory followObjField: EnclosingMixinIndex ofObject: targetMixin]. + ^self lookupLexicalNoMNU: messageSelector from: targetMixin rule: depth! Item was added: + ----- Method: CoInterpreter>>lookupProtectedNoMNU:startingAt:rule: (in category 'message sending') ----- + lookupProtectedNoMNU: selector startingAt: mixinApplication rule: rule + "A shared part of the lookup for self, outer or implicit receiver sends that did not find a + private lexically visible method, and (Newspeak) super sends." + | lookupClass dictionary found | + lookupClass := mixinApplication. + [lookupClass = objectMemory nilObject] whileFalse: + [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: lookupClass. + found := self lookupMethodInDictionary: dictionary. + (found and: [(self accessModifierOfMethod: newMethod) ~= AccessModifierPrivate]) + ifTrue: [^0]. + lookupClass := self superclassOf: lookupClass]. + ^SelectorDoesNotUnderstand! Item was added: + ----- Method: CoInterpreter>>unreachable (in category 'cog jit support') ----- + unreachable + self error: 'UNREACHABLE'.! Item was removed: - ----- Method: StackInterpreter>>implicitReceiverFor:mixin:implementing: (in category 'newspeak bytecode support') ----- - implicitReceiverFor: methodReceiver mixin: methodMixin implementing: selector - "This is used to implement implicit receiver sends in Newspeak. Find the nearest - lexically-enclosing implementation of selector by searching up the static chain of the - method's receiver, starting at mixin's application. This implementation is derived from - - <ContextPart> implicitReceiverFor: methodReceiver <Object> - in: methodMixin <Mixin> - implementing: selector <Symbol> ^<Object>" - <api> - <option: #NewspeakVM> - | candidateReceiver candidateMixin candidateMixinApplication dictionary found | - self deny: (objectMemory isOopForwarded: methodReceiver). - self deny: (objectMemory isForwarded: methodMixin). - "messageSelector is an implicit parameter of lookupMethodInDictionary:" - messageSelector := objectMemory followMaybeForwarded: selector. - candidateReceiver := methodReceiver. - candidateMixin := methodMixin. - [candidateMixinApplication := self - findApplicationOfTargetMixin: candidateMixin - startingAtBehavior: (objectMemory fetchClassOf: candidateReceiver). - self deny: (candidateMixinApplication = objectMemory nilObject). - dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: candidateMixinApplication. - found := self lookupMethodInDictionary: dictionary. - found ifTrue: [^candidateReceiver]. - candidateMixin := objectMemory followObjField: EnclosingMixinIndex ofObject: candidateMixin. - candidateMixin = objectMemory nilObject] - whileFalse: - [candidateReceiver := objectMemory followObjField: EnclosingObjectIndex ofObject: candidateMixinApplication]. - ^methodReceiver!

1 0

VM Maker: VMMaker.oscog-cb.1374.mcz
by commits＠source.squeak.org 22 Jun '15

22 Jun '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.1374.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.1374 Author: cb Time: 22 June 2015, 5:34:35.858 pm UUID: 888aa558-5941-4f00-9d4d-bb9dbedd1c3a Ancestors: VMMaker.oscog-cb.1373 Interesting register hack to avoid 1 move instruction in #== with forwarders. =============== Diff against VMMaker.oscog-cb.1373 =============== Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEqualsWithForwarders (in category 'bytecode generators') ----- genSpecialSelectorEqualsEqualsWithForwarders "Override to count inlined branches if followed by a conditional branch. We borrow the following conditional branch's counter and when about to inline the comparison we decrement the counter (without writing it back) and if it trips simply abort the inlining, falling back to the normal send which will then continue to the conditional branch which will trip and enter the abort." + | nextPC postBranchPC targetBytecodePC branchDescriptor counterReg fixup jumpEqual jumpNotEqual - | nextPC postBranchPC targetBytecodePC branchDescriptor counterReg fixup resultReg jumpEqual jumpNotEqual counterAddress countTripped unforwardArg unforwardRcvr argReg rcvrReg regMask | <var: #fixup type: #'BytecodeFixup *'> <var: #countTripped type: #'AbstractInstruction *'> <var: #label type: #'AbstractInstruction *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> <var: #jumpEqual type: #'AbstractInstruction *'> <var: #jumpNotEqual type: #'AbstractInstruction *'> ((coInterpreter isOptimizedMethod: methodObj) or: [needsFrame not]) ifTrue: [ ^ self genSpecialSelectorEqualsEqualsWithForwardersWithoutCounters ]. regMask := 0. self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants)." self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. argReg ifNotNil: [ regMask := self registerMaskFor: argReg ]. rcvrReg ifNotNil: [ regMask := regMask bitOr: (self registerMaskFor: rcvrReg) ]. "Only interested in inlining if followed by a conditional branch." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genEqualsEqualsNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg]. unforwardArg ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg ]. unforwardRcvr ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: rcvrReg scratchReg: TempReg ]. counterReg := self allocateRegNotConflictingWith: regMask. self genExecutionCountLogicInto: [ :cAddress :countTripBranch | counterAddress := cAddress. countTripped := countTripBranch ] counterReg: counterReg. self assert: (unforwardArg or: [ unforwardRcvr ]). "If branching the stack must be flushed for the merge" self ssFlushTo: simStackPtr - 2. self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. branchDescriptor isBranchTrue ifTrue: [ fixup := self ensureNonMergeFixupAt: postBranchPC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. ] ifFalse: [ fixup := self ensureNonMergeFixupAt: targetBytecodePC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: postBranchPC - initialPC) asUnsignedInteger. ]. self genFallsThroughCountLogicCounterReg: counterReg counterAddress: counterAddress. self Jump: fixup. countTripped jmpTarget: self Label. "inlined version of #== ignoring the branchDescriptor if the counter trips to have normal state for the optimizer" self ssPop: -2. self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. self ssPop: 2. + + "This code necessarily directly falls through the jumpIf: code which pops the top of the stack into TempReg. + We therefore directly assign the result to TempReg to save one move instruction" - - resultReg := rcvrReg ifNil: [ argReg ]. jumpEqual := self JumpZero: 0. + self genMoveFalseR: TempReg. - self genMoveFalseR: resultReg. jumpNotEqual := self Jump: 0. + jumpEqual jmpTarget: (self genMoveTrueR: TempReg). - jumpEqual jmpTarget: (self genMoveTrueR: resultReg). jumpNotEqual jmpTarget: self Label. + self ssPushRegister: TempReg. - self ssPushRegister: resultReg. (self fixupAt: nextPC - initialPC) targetInstruction = 0 ifTrue: [ branchReachedOnlyForCounterTrip := true ]. ^ 0!

1 0

VM Maker: VMMaker.oscog-cb.1373.mcz
by commits＠source.squeak.org 22 Jun '15

22 Jun '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.1373.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.1373 Author: cb Time: 22 June 2015, 4:20:40.643 pm UUID: 4994d85f-07d9-481a-8ab9-68ccfd589507 Ancestors: VMMaker.oscog-rmacnak.1372 slighlty change the code generation of #== in sista Jit to decrease the estimate size of abstract opcodes. We now need 11 in the sista Jit instead of 10 in the regular jit due to the counter logic, but it remains reasonable on the contrary to the previous value of 14. =============== Diff against VMMaker.oscog-rmacnak.1372 =============== Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>estimateOfAbstractOpcodesPerBytecodes (in category 'accessing') ----- estimateOfAbstractOpcodesPerBytecodes "Due to the counter logic, the estimation is higher" <inline: true> + ^ 11! - self flag: 'we could fix that when #== generates less instructions'. - ^ 14! Item was changed: ----- Method: SistaStackToRegisterMappingCogit>>genSpecialSelectorEqualsEqualsWithForwarders (in category 'bytecode generators') ----- genSpecialSelectorEqualsEqualsWithForwarders "Override to count inlined branches if followed by a conditional branch. We borrow the following conditional branch's counter and when about to inline the comparison we decrement the counter (without writing it back) and if it trips simply abort the inlining, falling back to the normal send which will then continue to the conditional branch which will trip and enter the abort." + | nextPC postBranchPC targetBytecodePC branchDescriptor counterReg fixup resultReg jumpEqual jumpNotEqual - | nextPC postBranchPC targetBytecodePC branchDescriptor label counterReg fixup counterAddress countTripped unforwardArg unforwardRcvr argReg rcvrReg regMask | <var: #fixup type: #'BytecodeFixup *'> <var: #countTripped type: #'AbstractInstruction *'> <var: #label type: #'AbstractInstruction *'> <var: #branchDescriptor type: #'BytecodeDescriptor *'> + <var: #jumpEqual type: #'AbstractInstruction *'> + <var: #jumpNotEqual type: #'AbstractInstruction *'> ((coInterpreter isOptimizedMethod: methodObj) or: [needsFrame not]) ifTrue: [ ^ self genSpecialSelectorEqualsEqualsWithForwardersWithoutCounters ]. regMask := 0. self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. unforwardRcvr := (objectRepresentation isUnannotatableConstant: (self ssValue: 1)) not. unforwardArg := (objectRepresentation isUnannotatableConstant: self ssTop) not. "If an operand is an annotable constant, it may be forwarded, so we need to store it into a register so the forwarder check can jump back to the comparison after unforwarding the constant. However, if one of the operand is an unnanotable constant, does not allocate a register for it (machine code will use operations on constants)." self allocateEqualsEqualsRegistersArgNeedsReg: unforwardArg rcvrNeedsReg: unforwardRcvr into: [ :rcvr :arg | rcvrReg:= rcvr. argReg := arg ]. argReg ifNotNil: [ regMask := self registerMaskFor: argReg ]. rcvrReg ifNotNil: [ regMask := regMask bitOr: (self registerMaskFor: rcvrReg) ]. "Only interested in inlining if followed by a conditional branch." (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) ifFalse: [^ self genEqualsEqualsNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg]. + unforwardArg ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg ]. + unforwardRcvr ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: rcvrReg scratchReg: TempReg ]. + counterReg := self allocateRegNotConflictingWith: regMask. self genExecutionCountLogicInto: [ :cAddress :countTripBranch | counterAddress := cAddress. countTripped := countTripBranch ] counterReg: counterReg. self assert: (unforwardArg or: [ unforwardRcvr ]). "If branching the stack must be flushed for the merge" self ssFlushTo: simStackPtr - 2. - label := self Label. - self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. + self ssPop: 2. + - self ssPop: 2. "pop by 2 temporarily for the fixups" branchDescriptor isBranchTrue ifTrue: [ fixup := self ensureNonMergeFixupAt: postBranchPC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: targetBytecodePC - initialPC) asUnsignedInteger. ] ifFalse: [ fixup := self ensureNonMergeFixupAt: targetBytecodePC - initialPC. self JumpZero: (self ensureNonMergeFixupAt: postBranchPC - initialPC) asUnsignedInteger. ]. - unforwardArg ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: argReg scratchReg: TempReg jumpBackTo: label ]. - unforwardRcvr ifTrue: [ objectRepresentation genEnsureOopInRegNotForwarded: rcvrReg scratchReg: TempReg jumpBackTo: label ]. - self ssPop: -2. self genFallsThroughCountLogicCounterReg: counterReg counterAddress: counterAddress. self Jump: fixup. + countTripped jmpTarget: self Label. "inlined version of #== ignoring the branchDescriptor if the counter trips to have normal state for the optimizer" + self ssPop: -2. + self genEqualsEqualsComparisonArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. + self ssPop: 2. + + resultReg := rcvrReg ifNil: [ argReg ]. + jumpEqual := self JumpZero: 0. + self genMoveFalseR: resultReg. + jumpNotEqual := self Jump: 0. + jumpEqual jmpTarget: (self genMoveTrueR: resultReg). + jumpNotEqual jmpTarget: self Label. + self ssPushRegister: resultReg. - self genEqualsEqualsNoBranchArgIsConstant: unforwardArg not rcvrIsConstant: unforwardRcvr not argReg: argReg rcvrReg: rcvrReg. (self fixupAt: nextPC - initialPC) targetInstruction = 0 ifTrue: [ branchReachedOnlyForCounterTrip := true ]. ^ 0!

1 0

VM Maker: VMMaker.oscog-rmacnak.1372.mcz
by commits＠source.squeak.org 22 Jun '15

22 Jun '15

Ryan Macnak uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-rmacnak.1372.mcz ==================== Summary ==================== Name: VMMaker.oscog-rmacnak.1372 Author: rmacnak Time: 21 June 2015, 5:25:31.325 pm UUID: addc4f0f-0a6b-4594-b946-a7f8af54d6a4 Ancestors: VMMaker.oscog-eem.1371 Enforce Newspeak access control in the interpreter, and enable it in Stack VMs. Disable in Cog VMs to avoid partial enforcement. Should be eliminated by Slang from Squeak VMs. Add a separate global lookup cache for non-ordinary sends. =============== Diff against VMMaker.oscog-eem.1371 =============== Item was removed: - ----- Method: CoInterpreter>>commonSend (in category 'send bytecodes') ----- - commonSend - "Send a message, starting lookup with the receiver's class." - "Assume: messageSelector and argumentCount have been set, and that - the receiver and arguments have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - <sharedCodeNamed: 'commonSend' inCase: #singleExtendedSendBytecode> - self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). - cogit recordSendTrace ifTrue: - [self recordTrace: (objectMemory classForClassTag: lkupClassTag) - thing: messageSelector - source: TraceIsFromInterpreter. - cogit printOnTrace ifTrue: - [self printActivationNameForSelector: messageSelector - startClass: (objectMemory classForClassTag: lkupClassTag); cr]]. - self internalFindNewMethod: LookupRuleOrdinary. - self internalExecuteNewMethod. - self fetchNextBytecode! Item was removed: - ----- Method: CoInterpreter>>commonSend: (in category 'message sending') ----- - commonSend: lookupRule - "Send a message, starting lookup with the receiver's class." - "Assume: messageSelector and argumentCount have been set, and that - the receiver and arguments have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). - cogit recordSendTrace ifTrue: - [self recordTrace: (objectMemory classForClassTag: lkupClassTag) - thing: messageSelector - source: TraceIsFromInterpreter. - cogit printOnTrace ifTrue: - [self printActivationNameForSelector: messageSelector - startClass: (objectMemory classForClassTag: lkupClassTag); cr]]. - self internalFindNewMethod: lookupRule. - self internalExecuteNewMethod. - self fetchNextBytecode! Item was added: + ----- Method: CoInterpreter>>commonSendOrdinary (in category 'send bytecodes') ----- + commonSendOrdinary + "Send a message, starting lookup with the receiver's class." + "Assume: messageSelector and argumentCount have been set, and that + the receiver and arguments have been pushed onto the stack," + "Note: This method is inlined into the interpreter dispatch loop." + <sharedCodeNamed: 'commonSendOrdinary' inCase: #singleExtendedSendBytecode> + self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). + cogit recordSendTrace ifTrue: + [self recordTrace: (objectMemory classForClassTag: lkupClassTag) + thing: messageSelector + source: TraceIsFromInterpreter. + cogit printOnTrace ifTrue: + [self printActivationNameForSelector: messageSelector + startClass: (objectMemory classForClassTag: lkupClassTag); cr]]. + self internalFindNewMethodOrdinary. + self internalExecuteNewMethod. + self fetchNextBytecode! Item was removed: - ----- Method: CoInterpreter>>internalFindNewMethod: (in category 'message sending') ----- - internalFindNewMethod: lookupRule - "Find the compiled method to be run when the current messageSelector is - sent to the given class, setting the values of newMethod and primitiveIndex." - | ok | - <inline: true> - ok := self inlineLookupInMethodCacheSel: messageSelector classTag: lkupClassTag. - ok ifTrue: - [self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] - ifFalse: - [self externalizeIPandSP. - ((objectMemory isOopForwarded: messageSelector) - or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: - [(objectMemory isOopForwarded: messageSelector) ifTrue: - [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. - (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: - [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. - (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: - [^self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector]]. - lkupClass := objectMemory classForClassTag: lkupClassTag. - self lookupMethodInClass: lkupClass. - self internalizeIPandSP. - self addNewMethodToCache: lkupClass]! Item was added: + ----- Method: CoInterpreter>>internalFindNewMethodOrdinary (in category 'message sending') ----- + internalFindNewMethodOrdinary + "Find the compiled method to be run when the current messageSelector is + sent to the given class, setting the values of newMethod and primitiveIndex." + | ok | + <inline: true> + ok := self inlineLookupInMethodCacheSel: messageSelector classTag: lkupClassTag. + ok ifTrue: + [self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector] + ifFalse: + [self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. + (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: + [^self ifAppropriateCompileToNativeCode: newMethod selector: messageSelector]]. + lkupClass := objectMemory classForClassTag: lkupClassTag. + self lookupMethodInClass: lkupClass. + self internalizeIPandSP. + self addNewMethodToCache: lkupClass]! Item was changed: ----- Method: CogVMSimulator>>initialize (in category 'initialization') ----- initialize "Initialize the CogVMSimulator when running the interpreter inside Smalltalk. The primary responsibility of this method is to allocate Smalltalk Arrays for variables that will be declared as statically-allocated global arrays in the translated code." super initialize. transcript := Transcript. objectMemory ifNil: [objectMemory := self class objectMemoryClass simulatorClass new]. cogit ifNil: [cogit := self class cogitClass new setInterpreter: self]. objectMemory coInterpreter: self cogit: cogit. cogit numRegArgs > 0 ifTrue: [debugStackDepthDictionary := Dictionary new]. cogThreadManager ifNotNil: [super initialize]. "Note: we must initialize ConstMinusOne & HasBeenReturnedFromMCPC differently for simulation, due to the fact that the simulator works only with +ve 32-bit values" ConstMinusOne := objectMemory integerObjectOf: -1. HasBeenReturnedFromMCPC := objectMemory integerObjectOf: -1. cogMethodZone := cogit methodZone. "Because Slang can't remove intermediate implicit receivers (cogit methodZone foo doesn't reduce to foo())" enableCog := true. methodCache := Array new: MethodCacheSize. + nsMethodCache := Array new: NSMethodCacheSize. atCache := Array new: AtCacheTotalSize. self flushMethodCache. cogCompiledCodeCompactionCalledFor := false. gcSemaphoreIndex := 0. externalSemaphoreSignalRequests := externalSemaphoreSignalResponses := #(). externalPrimitiveTable := CArrayAccessor on: (Array new: MaxExternalPrimitiveTableSize). externalPrimitiveTableFirstFreeIndex := 0. primitiveTable := self class primitiveTable copy. mappedPluginEntries := OrderedCollection new. objectMemory hasSpurMemoryManagerAPI ifTrue: [primitiveAccessorDepthTable := Array new: primitiveTable size. pluginList := {}. self loadNewPlugin: ''] ifFalse: [pluginList := {'' -> self }]. desiredNumStackPages := desiredEdenBytes := desiredCogCodeSize := 0. "This is initialized on loading the image, but convenient for testing stack page values..." numStackPages := self defaultNumStackPages. startMicroseconds := Time totalSeconds * 1000000. maxLiteralCountForCompile := MaxLiteralCountForCompile. minBackwardJumpCountForCompile := MinBackwardJumpCountForCompile. flagInterpretedMethods := false. "initialize InterpreterSimulator variables used for debugging" byteCount := lastPollCount := sendCount := lookupCount := 0. quitBlock := [^ self]. traceOn := true. printSends := printFrameAtEachStep := printBytecodeAtEachStep := false. myBitBlt := BitBltSimulator new setInterpreter: self. displayForm := fakeForm := 'Display has not yet been installed' asDisplayText form. suppressHeartbeatFlag := deferSmash := deferredSmash := false. systemAttributes := Dictionary new. primTraceLog := CArrayAccessor on: (Array new: 256 withAll: 0). primTraceLogIndex := 0. traceLog := CArrayAccessor on: (Array new: TraceBufferSize withAll: 0). traceLogIndex := 0. traceSources := TraceSources. statCodeCompactionCount := 0. statCodeCompactionUsecs := 0. extSemTabSize := 256! Item was removed: - ----- Method: CogVMSimulator>>internalFindNewMethod: (in category 'testing') ----- - internalFindNewMethod: lookupRule - " - | cName | - traceOn ifTrue: - [cName := (self sizeBitsOf: class) = 16r20 - ifTrue: ['class ' , (self nameOfClass: (self fetchPointer: 6 ofObject: class))] - ifFalse: [(self nameOfClass: class)]. - self cr; print: cName , '>>' , (self stringOf: messageSelector)]. - " - messageSelector = (objectMemory splObj: SelectorDoesNotUnderstand) ifTrue: [self halt]. - - self logSend: messageSelector. - " - (sendCount > 1000 and: [sendCount\\10 = 0]) ifTrue: - [Transcript print: sendCount; space. - self validate]. - " - " - (sendCount > 100150) ifTrue: - [self qvalidate. - messageQueue == nil ifTrue: [messageQueue := OrderedCollection new]. - messageQueue addLast: (self stringOf: messageSelector)]. - " - ^super internalFindNewMethod: lookupRule! Item was added: + ----- Method: CogVMSimulator>>internalFindNewMethodOrdinary (in category 'testing') ----- + internalFindNewMethodOrdinary + " + | cName | + traceOn ifTrue: + [cName := (self sizeBitsOf: class) = 16r20 + ifTrue: ['class ' , (self nameOfClass: (self fetchPointer: 6 ofObject: class))] + ifFalse: [(self nameOfClass: class)]. + self cr; print: cName , '>>' , (self stringOf: messageSelector)]. + " + messageSelector = (objectMemory splObj: SelectorDoesNotUnderstand) ifTrue: [self halt]. + + self logSend: messageSelector. + " + (sendCount > 1000 and: [sendCount\\10 = 0]) ifTrue: + [Transcript print: sendCount; space. + self validate]. + " + " + (sendCount > 100150) ifTrue: + [self qvalidate. + messageQueue == nil ifTrue: [messageQueue := OrderedCollection new]. + messageQueue addLast: (self stringOf: messageSelector)]. + " + ^super internalFindNewMethodOrdinary! Item was changed: InterpreterPrimitives subclass: #StackInterpreter + instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver localAbsentReceiverOrZero extA extB primitiveFunctionPointer methodCache nsMethodCache atCache lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' + classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex EnforceAccessControl FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' - instanceVariableNames: 'currentBytecode bytecodeSetSelector localFP localIP localSP stackLimit stackPage stackPages method instructionPointer stackPointer framePointer localReturnValue localAbsentReceiver extA extB primitiveFunctionPointer methodCache atCache isPrivateSend lkupClassTag lkupClass methodDictLinearSearchLimit highestRunnableProcessPriority nextWakeupUsecs nextPollUsecs inIOProcessEvents interruptKeycode interruptPending savedWindowSize imageHeaderFlags fullScreenFlag deferDisplayUpdates pendingFinalizationSignals extraVMMemory interpreterProxy showSurfaceFn primitiveTable primitiveAccessorDepthTable externalPrimitiveTable externalPrimitiveTableFirstFreeIndex overflowedPage extraFramesToMoveOnOverflow globalSessionID jmpBuf jmpDepth suspendedCallbacks suspendedMethods numStackPages desiredNumStackPages desiredEdenBytes classNameIndex thisClassIndex metaclassNumSlots interruptCheckChain suppressHeartbeatFlag breakSelector breakSelectorLength longRunningPrimitiveCheckMethod longRunningPrimitiveCheckSemaphore longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveCheckSequenceNumber longRunningPrimitiveSignalUndelivered checkAllocFiller tempOop tempOop2 theUnknownShort the2ndUnknownShort imageFloatsBigEndian maxExtSemTabSizeSet lastMethodCacheProbeWrite gcSemaphoreIndex classByteArrayCompactIndex statForceInterruptCheck statStackOverflow statStackPageDivorce statCheckForEvents statProcessSwitch statIOProcessEvents statPendingFinalizationSignals' - classVariableNames: 'AccessModifierPrivate AccessModifierProtected AccessModifierPublic AltBytecodeEncoderClassName AltLongStoreBytecode AlternateHeaderHasPrimFlag AlternateHeaderIsOptimizedFlag AlternateHeaderNumLiteralsMask AtCacheEntries AtCacheFixedFields AtCacheFmt AtCacheMask AtCacheOop AtCacheSize AtCacheTotalSize AtPutBase BytecodeEncoderClassName BytecodeTable CacheProbeMax CheckPrivacyViolations DirBadPath DirEntryFound DirNoMoreEntries DumpStackOnLowSpace EnclosingMixinIndex EnclosingObjectIndex FailImbalancedPrimitives LongStoreBytecode MaxExternalPrimitiveTableSize MaxJumpBuf MaxPrimitiveIndex MaxQuickPrimitiveIndex MethodHeaderArgCountShift MethodHeaderFlagBitPosition MethodHeaderTempCountShift MixinIndex PrimitiveExternalCallIndex PrimitiveTable StackPageReachedButUntraced StackPageTraceInvalid StackPageTraced StackPageUnreached V3PrimitiveBitsMask' poolDictionaries: 'VMBasicConstants VMBytecodeConstants VMMethodCacheConstants VMObjectIndices VMSpurObjectRepresentationConstants VMSqueakClassIndices VMStackFrameOffsets' category: 'VMMaker-Interpreter'! !StackInterpreter commentStamp: 'eem 12/5/2014 11:32' prior: 0! This class is a complete implementation of the Smalltalk-80 virtual machine, derived originally from the Blue Book specification but quite different in some areas. This VM supports Closures but *not* old-style BlockContexts. It has been modernized with 32-bit pointers, better management of Contexts (see next item), and attention to variable use that allows the CCodeGenerator (qv) to keep, eg, the instruction pointer and stack pointer in registers as well as keeping most simple variables in a global array that seems to improve performance for most platforms. The VM does not use Contexts directly. Instead Contexts serve as proxies for a more conventional stack format that is invisible to the image. There is considerable explanation at http://www.mirandabanda.org/cogblog/2009/01/14/under-cover-contexts-and-the…. The VM maintains a fixed-size stack zone divided into pages, each page being capable of holding several method/block activations. A send establishes a new frame in the current stack page, a return returns to the previous frame. This eliminates allocation/deallocation of contexts and the moving of receiver and arguments from caller to callee on each send/return. Contexts are created lazily when an activation needs a context (creating a block, explicit use of thisContext, access to sender when sender is a frame, or linking of stack pages together). Contexts are either conventional and heap-resident ("single") or "married" and serve as proxies for their corresponding frame or "widowed", meaning that their spouse frame has been returned from (died). A married context is specially marked (more details in the code) and refers to its frame. Likewise a married frame is specially marked and refers to its context. In addition to SmallInteger arithmetic and Floats, the VM supports logic on 32-bit PositiveLargeIntegers, thus allowing it to simulate itself much more effectively than would otherwise be the case. StackInterpreter and subclasses support multiple memory managers. Currently there are two. NewMemoryManager is a slightly refined version of ObjectMemory, and is the memory manager and garbage collector for the original Squeak object representation as described in "Back to the Future The Story of Squeak, A Practical Smalltalk Written in Itself", see http://ftp.squeak.org/docs/OOPSLA.Squeak.html. Spur is a faster, more regular object representation that is designed for more performance and functionality, and to have a common header format for both 32-bit and 64-bit versions. You can read about it in SpurMemoryManager's class comment. There is also a video of a presentation at ESUG 2014 (https://www.youtube.com/watch?v=k0nBNS1aHZ4), along with slides (http://www.slideshare.net/esug/spur-a-new-object-representation-for-cog?rel…).! Item was changed: ----- Method: StackInterpreter class>>declareCVarsIn: (in category 'translation') ----- declareCVarsIn: aCCodeGenerator | vmClass | self class == thisContext methodClass ifFalse: [^self]. "Don't duplicate decls in subclasses" vmClass := aCCodeGenerator vmClass. "Generate primitiveTable etc based on vmClass, not just StackInterpreter" aCCodeGenerator addHeaderFile:'<stddef.h> /* for e.g. alloca */'; addHeaderFile:'<setjmp.h>'; addHeaderFile:'<wchar.h> /* for wint_t */'; addHeaderFile:'"vmCallback.h"'; addHeaderFile:'"sqMemoryFence.h"'; addHeaderFile:'"dispdbg.h"'. vmClass declareInterpreterVersionIn: aCCodeGenerator defaultName: 'Stack'. aCCodeGenerator var: #interpreterProxy type: #'struct VirtualMachine*'. aCCodeGenerator declareVar: #sendTrace type: 'volatile int'; declareVar: #byteCount type: 'unsigned long'. "These need to be pointers or unsigned." self declareC: #(instructionPointer method newMethod) as: #usqInt in: aCCodeGenerator. "These are all pointers; char * because Slang has no support for C pointer arithmetic." self declareC: #(localIP localSP localFP stackPointer framePointer stackLimit stackMemory breakSelector) as: #'char *' in: aCCodeGenerator. aCCodeGenerator var: #breakSelectorLength declareC: 'sqInt breakSelectorLength = MinSmallInteger'. self declareC: #(stackPage overflowedPage) as: #'StackPage *' in: aCCodeGenerator. aCCodeGenerator removeVariable: 'stackPages'. "this is an implicit receiver in the translated code." NewspeakVM ifFalse: + [aCCodeGenerator removeVariable: 'localAbsentReceiver'. + aCCodeGenerator removeVariable: 'localAbsentReceiverOrZero']. - [aCCodeGenerator removeVariable: 'localAbsentReceiver']. "This defines bytecodeSetSelector as 0 if MULTIPLEBYTECODESETS is not defined, for the benefit of the interpreter on slow machines." aCCodeGenerator addConstantForBinding: (self bindingOf: #MULTIPLEBYTECODESETS). MULTIPLEBYTECODESETS == false ifTrue: [aCCodeGenerator removeVariable: 'extA'; removeVariable: 'extB'; removeVariable: 'bytecodeSetSelector']. aCCodeGenerator var: #methodCache declareC: 'long methodCache[MethodCacheSize + 1 /* ', (MethodCacheSize + 1) printString, ' */]'. aCCodeGenerator + var: #nsMethodCache + declareC: 'long nsMethodCache[NSMethodCacheSize + 1 /* ', (NSMethodCacheSize + 1) printString, ' */]'. + aCCodeGenerator var: #atCache declareC: 'sqInt atCache[AtCacheTotalSize + 1 /* ', (AtCacheTotalSize + 1) printString, ' */]'. aCCodeGenerator var: #primitiveTable declareC: 'void (*primitiveTable[MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */])(void) = ', vmClass primitiveTableString. vmClass primitiveTable do: [:symbolOrNot| (symbolOrNot isSymbol and: [symbolOrNot ~~ #primitiveFail]) ifTrue: [(aCCodeGenerator methodNamed: symbolOrNot) ifNotNil: [:tMethod| tMethod returnType: #void]]]. vmClass objectMemoryClass hasSpurMemoryManagerAPI ifTrue: [aCCodeGenerator var: #primitiveAccessorDepthTable type: 'signed char' sizeString: 'MaxPrimitiveIndex + 2 /* ', (MaxPrimitiveIndex + 2) printString, ' */' array: vmClass primitiveAccessorDepthTable] ifFalse: [aCCodeGenerator removeVariable: #primitiveAccessorDepthTable]. - (NewspeakVM and: [CheckPrivacyViolations]) ifFalse: - [aCCodeGenerator removeVariable: #isPrivateSend]. aCCodeGenerator var: #primitiveFunctionPointer declareC: 'void (*primitiveFunctionPointer)()'. aCCodeGenerator var: #externalPrimitiveTable declareC: 'void (*externalPrimitiveTable[MaxExternalPrimitiveTableSize + 1 /* ', (MaxExternalPrimitiveTableSize + 1) printString, ' */])(void)'. aCCodeGenerator var: #showSurfaceFn type: #'void *'. aCCodeGenerator var: #jmpBuf declareC: 'jmp_buf jmpBuf[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. aCCodeGenerator var: #suspendedCallbacks declareC: 'usqInt suspendedCallbacks[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. aCCodeGenerator var: #suspendedMethods declareC: 'usqInt suspendedMethods[MaxJumpBuf + 1 /* ', (MaxJumpBuf + 1) printString, ' */]'. aCCodeGenerator var: #interruptCheckChain declareC: 'void (*interruptCheckChain)(void) = 0'. self declareCAsUSqLong: #(nextPollUsecs nextWakeupUsecs longRunningPrimitiveGCUsecs longRunningPrimitiveStartUsecs longRunningPrimitiveStopUsecs "these are high-frequency enough that they're overflowing quite quickly on modern hardware" statProcessSwitch statIOProcessEvents statForceInterruptCheck statCheckForEvents statStackOverflow statStackPageDivorce) in: aCCodeGenerator. aCCodeGenerator var: #nextProfileTick type: #sqLong! Item was changed: ----- Method: StackInterpreter class>>initializeCaches (in category 'initialization') ----- initializeCaches | atCacheEntrySize | + NewspeakVM + ifTrue: [MethodCacheEntries := 512] + ifFalse: [MethodCacheEntries := 1024]. - MethodCacheEntries := 1024. MethodCacheSelector := 1. MethodCacheClass := 2. MethodCacheMethod := 3. MethodCachePrimFunction := 4. MethodCacheEntrySize := 4. "Must be power of two for masking scheme." MethodCacheMask := (MethodCacheEntries - 1) * MethodCacheEntrySize. MethodCacheSize := MethodCacheEntries * MethodCacheEntrySize. CacheProbeMax := 3. + NSMethodCacheEntries := 512. + NSMethodCacheSelector := 1. + NSMethodCacheClassTag := 2. + NSMethodCacheCallingMethod := 3. + NSMethodCacheDepthOrLookupRule := 4. + NSMethodCacheTargetMethod := 5. + NSMethodCachePrimFunction := 6. + NSMethodCacheActualReceiver := 7. + NSMethodCacheEntrySize := 8. "Must be power of two for masking scheme." + NSMethodCacheMask := NSMethodCacheEntries - 1 * NSMethodCacheEntrySize. + NSMethodCacheSize := NSMethodCacheEntries * NSMethodCacheEntrySize. + AtCacheEntries := 8. "Must be a power of two" AtCacheOop := 1. AtCacheSize := 2. AtCacheFmt := 3. AtCacheFixedFields := 4. atCacheEntrySize := 4. "Must be power of two for masking scheme." AtCacheMask := (AtCacheEntries-1) * atCacheEntrySize. AtPutBase := AtCacheEntries * atCacheEntrySize. AtCacheTotalSize := AtCacheEntries * atCacheEntrySize * 2. "LookupRuleOuter is [0, 255], with the value being the lexical depth. Note that an outer send to lexical depth 0 is equivalent to a self send. Implicit receiver and outer sends are encoded as adjacent values to allow a quick range check to determine whether the absent receiver might differ from the method receiver. Note also Smalltalk super sends use ordinary send lookup rules." LookupRuleSelf := 0. LookupRuleImplicit := 256. LookupRuleDynamicSuper := 257. LookupRuleOrdinary := 258. LookupRuleMNU := 259. ! Item was changed: ----- Method: StackInterpreter class>>initializeMiscConstants (in category 'initialization') ----- initializeMiscConstants super initializeMiscConstants. STACKVM := true. "These flags function to identify a GC operation, or to specify what operations the leak checker should be run for." GCModeFull := 1. "stop-the-world global GC" GCModeNewSpace := 2. "Spur's scavenge, or V3's incremental" GCModeIncremental := 4. "incremental global gc (Dijkstra tri-colour marking); as yet unimplemented" GCModeBecome := 8. "v3 post-become sweeping" GCModeImageSegment := 16. "just a flag for leak checking image segments" StackPageTraceInvalid := -1. StackPageUnreached := 0. StackPageReachedButUntraced := 1. StackPageTraced := 2. DumpStackOnLowSpace := 0. PrimitiveExternalCallIndex := 117. "Primitive index for #primitiveExternalCall" MillisecondClockMask := 16r1FFFFFFF. "Note: The external primitive table should actually be dynamically sized but for the sake of inferior platforms (e.g., Mac :-) who cannot allocate memory in any reasonable way, we keep it static (and cross our fingers...)" MaxExternalPrimitiveTableSize := 4096. "entries" MaxJumpBuf := 32. "max. callback depth" FailImbalancedPrimitives := initializationOptions at: #FailImbalancedPrimitives ifAbsentPut: [true]. + EnforceAccessControl := initializationOptions at: #EnforceAccessControl ifAbsentPut: [false]! - CheckPrivacyViolations := initializationOptions at: #CheckPrivacyViolations ifAbsentPut: [false]! Item was changed: ----- Method: StackInterpreter>>accessModifierOfMethod: (in category 'compiled methods') ----- accessModifierOfMethod: methodObj <option: #NewspeakVM> ^self accessModifierOfMethodHeader: (objectMemory methodHeaderOf: methodObj)! Item was changed: ----- Method: StackInterpreter>>accessModifierOfMethodHeader: (in category 'compiled methods') ----- accessModifierOfMethodHeader: header <option: #NewspeakVM> "accessModifier bits: 00 public 01 private 10 protected 11 undefined" + ^self cppIf: EnforceAccessControl + ifTrue: [header >> MethodHeaderFlagBitPosition bitAnd: 3] + ifFalse: [AccessModifierPublic]! - ^header >> MethodHeaderFlagBitPosition bitAnd: 3! Item was added: + ----- Method: StackInterpreter>>addNewMethodToNSCache: (in category 'method lookup cache') ----- + addNewMethodToNSCache: rule + <option: #NewspeakVM> + <inline: false> + | classObj probe hash primitiveIndex | + classObj := lkupClass. + hash := (messageSelector bitXor: lkupClassTag) bitXor: (method bitXor: rule). + self deny: rule = LookupRuleOrdinary. + + (objectMemory isOopCompiledMethod: newMethod) + ifTrue: + [primitiveIndex := self primitiveIndexOf: newMethod. + primitiveFunctionPointer := self functionPointerFor: primitiveIndex inClass: classObj] + ifFalse: + [self assert: ((objectMemory isNonImmediate: newMethod) + and: [objectMemory isForwarded: newMethod]) not. + primitiveFunctionPointer := #primitiveInvokeObjectAsMethod]. + + 0 to: CacheProbeMax-1 do: + [:p | probe := (hash >> p) bitAnd: NSMethodCacheMask. + (nsMethodCache at: probe + NSMethodCacheSelector) = 0 ifTrue: + ["Found an empty entry -- use it" + nsMethodCache at: probe + NSMethodCacheSelector put: messageSelector. + nsMethodCache at: probe + NSMethodCacheClassTag put: lkupClassTag. "(objectMemory classTagForClass: classObj)." + nsMethodCache at: probe + NSMethodCacheCallingMethod put: method. + nsMethodCache at: probe + NSMethodCacheDepthOrLookupRule put: rule. + nsMethodCache at: probe + NSMethodCacheTargetMethod put: newMethod. + nsMethodCache at: probe + NSMethodCachePrimFunction put: (self cCoerce: primitiveFunctionPointer to: #long). + nsMethodCache at: probe + NSMethodCacheActualReceiver put: localAbsentReceiverOrZero. + "lastMethodCacheProbeWrite := probe." "this for primitiveExternalMethod" + ^self]]. + + "OK, we failed to find an entry -- install at the first slot..." + probe := hash bitAnd: NSMethodCacheMask. "first probe" + nsMethodCache at: probe + NSMethodCacheSelector put: messageSelector. + nsMethodCache at: probe + NSMethodCacheClassTag put: lkupClassTag. "(objectMemory classTagForClass: classObj)." + nsMethodCache at: probe + NSMethodCacheCallingMethod put: method. + nsMethodCache at: probe + NSMethodCacheDepthOrLookupRule put: rule. + nsMethodCache at: probe + NSMethodCacheTargetMethod put: newMethod. + nsMethodCache at: probe + NSMethodCachePrimFunction put: (self cCoerce: primitiveFunctionPointer to: #long). + nsMethodCache at: probe + NSMethodCacheActualReceiver put: localAbsentReceiverOrZero. + "lastMethodCacheProbeWrite := probe. ""this for primitiveExternalMethod" + + "...and zap the following entries" + 1 to: CacheProbeMax-1 do: + [:p | probe := (hash >> p) bitAnd: NSMethodCacheMask. + nsMethodCache at: probe + NSMethodCacheSelector put: 0]! Item was changed: ----- Method: StackInterpreter>>bytecodePrimAt (in category 'common selector sends') ----- bytecodePrimAt "BytecodePrimAt will only succeed if the receiver is in the atCache. Otherwise it will fail so that the more general primitiveAt will put it in the cache after validating that message lookup results in a primitive response. Override to insert in the at: cache here. This is necessary since once there is a compiled at: primitive method (which doesn't use the at: cache) the only way something can get installed in the atCache is here." | index rcvr result atIx | index := self internalStackTop. rcvr := self internalStackValue: 1. ((objectMemory isNonImmediate: rcvr) and: [objectMemory isIntegerObject: index]) ifTrue: [atIx := rcvr bitAnd: AtCacheMask. "Index into atCache = 4N, for N = 0 ... 7" (atCache at: atIx+AtCacheOop) ~= rcvr ifTrue: [lkupClassTag := objectMemory fetchClassTagOfNonImm: rcvr. messageSelector := self specialSelector: 16. (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifFalse: [argumentCount := 1. + ^self commonSendOrdinary]. - ^self commonSend]. primitiveFunctionPointer == #primitiveAt ifTrue: [self install: rcvr inAtCache: atCache at: atIx string: false] ifFalse: [primitiveFunctionPointer == #primitiveStringAt ifTrue: [self install: rcvr inAtCache: atCache at: atIx string: true] ifFalse: [argumentCount := 1. + ^self commonSendOrdinary]]]. - ^self commonSend]]]. self successful ifTrue: [result := self commonVariable: rcvr at: (objectMemory integerValueOf: index) cacheIndex: atIx]. self successful ifTrue: [self fetchNextBytecode. ^self internalPop: 2 thenPush: result]. self initPrimCall]. messageSelector := self specialSelector: 16. argumentCount := 1. self normalSend! Item was changed: ----- Method: StackInterpreter>>bytecodePrimAtPut (in category 'common selector sends') ----- bytecodePrimAtPut "BytecodePrimAtPut will only succeed if the receiver is in the atCache. Otherwise it will fail so that the more general primitiveAtPut will put it in the cache after validating that message lookup results in a primitive response. Override to insert in the atCache here. This is necessary since once there is a compiled at:[put:] primitive method (which doesn't use the at: cache) the only way something can get installed in the atCache is here." | index rcvr atIx value | value := self internalStackTop. index := self internalStackValue: 1. rcvr := self internalStackValue: 2. ((objectMemory isNonImmediate: rcvr) and: [objectMemory isIntegerObject: index]) ifTrue: [atIx := (rcvr bitAnd: AtCacheMask) + AtPutBase. "Index into atPutCache" (atCache at: atIx+AtCacheOop) ~= rcvr ifTrue: [lkupClassTag := objectMemory fetchClassTagOfNonImm: rcvr. messageSelector := self specialSelector: 17. (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifFalse: [argumentCount := 2. + ^self commonSendOrdinary]. - ^self commonSend]. primitiveFunctionPointer == #primitiveAtPut ifTrue: [self install: rcvr inAtCache: atCache at: atIx string: false] ifFalse: [primitiveFunctionPointer == #primitiveStringAtPut ifTrue: [self install: rcvr inAtCache: atCache at: atIx string: true] ifFalse: [argumentCount := 2. + ^self commonSendOrdinary]]]. - ^self commonSend]]]. self successful ifTrue: [self commonVariable: rcvr at: (objectMemory integerValueOf: index) put: value cacheIndex: atIx]. self successful ifTrue: [self fetchNextBytecode. ^self internalPop: 3 thenPush: value]. self initPrimCall]. messageSelector := self specialSelector: 17. argumentCount := 2. self normalSend! Item was removed: - ----- Method: StackInterpreter>>commonSend (in category 'send bytecodes') ----- - commonSend - "Send a message, starting lookup with the receiver's class." - "Assume: messageSelector and argumentCount have been set, and that - the receiver and arguments have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - <sharedCodeInCase: #singleExtendedSendBytecode> - self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). - self printSends ifTrue: - [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. - self internalFindNewMethod: LookupRuleOrdinary. - self internalExecuteNewMethod. - self fetchNextBytecode! Item was removed: - ----- Method: StackInterpreter>>commonSend: (in category 'send bytecodes') ----- - commonSend: lookupRule - "Send a message, starting lookup with the receiver's class." - "Assume: messageSelector and argumentCount have been set, and that - the receiver and arguments have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - "<sharedCodeInCase: #singleExtendedSendBytecode>" - self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). - self printSends ifTrue: - [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. - self internalFindNewMethod: lookupRule. - self internalExecuteNewMethod. - self fetchNextBytecode! Item was removed: - ----- Method: StackInterpreter>>commonSendAbsent: (in category 'send bytecodes') ----- - commonSendAbsent: lookupRule - "Send an absent receiver message, shuffling arguments and inserting the absent - receiver for the send. Assume: messageSelector and argumentCount have been - set, and that the arguments but not the receiver have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - "160-175 1010 i i i i Send To Absent Implicit Receiver Literal Selector #iiii With 0 Arguments" - "240 11110000 i i i i i j j j Send To Absent Implicit Receiver Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" - "245 11110101 i i i i i j j j Send To Self Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" - "254 11111110 i i i i i j j j kkkkkkkk Send To Enclosing Object at Depth kkkkkkkk Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" - "<sharedCodeInCase: #extSendAbsentImplicitBytecode>" - self shuffleArgumentsAndStoreAbsentReceiver: localAbsentReceiver. - lkupClassTag := objectMemory fetchClassTagOf: localAbsentReceiver. - self assert: (objectMemory classForClassTag: lkupClassTag) ~= objectMemory nilObject. - CheckPrivacyViolations ifTrue: - [isPrivateSend := true]. - self commonSend: lookupRule! Item was removed: - ----- Method: StackInterpreter>>commonSendAbsentImplicit (in category 'send bytecodes') ----- - commonSendAbsentImplicit - "Send a message to the implicit receiver for that message." - "Assume: messageSelector and argumentCount have been set, and that - the arguments but not the receiver have been pushed onto the stack," - "Note: This method is inlined into the interpreter dispatch loop." - "160-175 1010 i i i i Send To Absent Implicit Receiver Literal Selector #iiii With 0 Arguments" - "240 11110000 i i i i i j j j Send To Absent Implicit Receiver Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" - <sharedCodeInCase: #extSendAbsentImplicitBytecode> - localAbsentReceiver := self - implicitReceiverFor: self receiver - mixin: (self methodClassOf: method) - implementing: messageSelector. - self commonSendAbsent: LookupRuleImplicit! Item was added: + ----- Method: StackInterpreter>>commonSendDynamicSuper (in category 'send bytecodes') ----- + commonSendDynamicSuper + "Assume: messageSelector and argumentCount have been set, and that + the receiver and arguments have been pushed onto the stack," + "Note: This method is inlined into the interpreter dispatch loop." + <sharedCodeInCase: #extSendAbsentDynamicSuperBytecode> + self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). + self printSends ifTrue: + [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. + self internalFindNewMethodDynamicSuper. + self shuffleArgumentsAndStoreAbsentReceiver: localAbsentReceiver. + self internalExecuteNewMethod. + self fetchNextBytecode! Item was added: + ----- Method: StackInterpreter>>commonSendImplicitReceiver (in category 'send bytecodes') ----- + commonSendImplicitReceiver + "Assume: messageSelector and argumentCount have been set, and that + the receiver and arguments have been pushed onto the stack," + "Note: This method is inlined into the interpreter dispatch loop." + <sharedCodeInCase: #extSendAbsentImplicitBytecode> + self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). + self printSends ifTrue: + [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. + self internalFindNewMethodImplicitReceiver. + self shuffleArgumentsAndStoreAbsentReceiver: localAbsentReceiver. + self internalExecuteNewMethod. + self fetchNextBytecode! Item was added: + ----- Method: StackInterpreter>>commonSendOrdinary (in category 'send bytecodes') ----- + commonSendOrdinary + "Send a message, starting lookup with the receiver's class." + "Assume: messageSelector and argumentCount have been set, and that + the receiver and arguments have been pushed onto the stack," + "Note: This method is inlined into the interpreter dispatch loop." + <sharedCodeInCase: #singleExtendedSendBytecode> + self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). + self printSends ifTrue: + [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. + self internalFindNewMethodOrdinary. + self internalExecuteNewMethod. + self fetchNextBytecode! Item was added: + ----- Method: StackInterpreter>>commonSendOuter: (in category 'send bytecodes') ----- + commonSendOuter: depth + "Assume: messageSelector and argumentCount have been set, and that + the receiver and arguments have been pushed onto the stack," + "Note: This method is inlined into the interpreter dispatch loop." + "<sharedCodeInCase: #extSendAbsentOuterBytecode>" + self sendBreakpoint: messageSelector receiver: (self internalStackValue: argumentCount). + self printSends ifTrue: + [self printActivationNameForSelector: messageSelector startClass: (objectMemory classForClassTag: lkupClassTag); cr]. + self internalFindNewMethodOuter: depth. + self shuffleArgumentsAndStoreAbsentReceiver: localAbsentReceiver. + self internalExecuteNewMethod. + self fetchNextBytecode! Item was changed: ----- Method: StackInterpreter>>directedSuperclassSend (in category 'send bytecodes') ----- directedSuperclassSend "Send a message to self, starting lookup with the superclass of the class on top of stack." "Assume: messageSelector and argumentCount have been set, and that the receiver and arguments have been pushed onto the stack," "Note: This method is inlined into the interpreter dispatch loop." <sharedCodeInCase: #extSendSuperBytecode> <option: #SistaVM> | class superclass | class := self internalPopStack. (objectMemory isForwarded: class) ifTrue: [class := objectMemory followForwarded: class]. superclass := self superclassOf: class. objectMemory ensureBehaviorHash: superclass. lkupClassTag := objectMemory classTagForClass: superclass. "To maintain the invariant that all receivers are unforwarded we need an explicit read barrier in the super send cases. Even though we always follow receivers on become e.g. super doSomethingWith: (self become: other) forwards the receiver self pushed on the stack." self ensureReceiverUnforwarded. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>extSendAbsentDynamicSuperBytecode (in category 'send bytecodes') ----- extSendAbsentDynamicSuperBytecode "241 11110001 i i i i i j j j Send To Dynamic Superclass Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" + | byte | - | byte mClassMixin mixinApplication | byte := self fetchByte. messageSelector := self literal: (byte >> 3) + (extA << 5). extA := 0. argumentCount := (byte bitAnd: 7) + (extB << 3). extB := 0. + self commonSendDynamicSuper! - self shuffleArgumentsAndStoreAbsentReceiver: self receiver. - mClassMixin := self methodClassOf: method. - mixinApplication := self - findApplicationOfTargetMixin: mClassMixin - startingAtBehavior: (objectMemory fetchClassOf: self receiver). - lkupClassTag := objectMemory classTagForClass: (self superclassOf: mixinApplication). - CheckPrivacyViolations ifTrue: - [isPrivateSend := true]. - self commonSend: LookupRuleDynamicSuper! Item was changed: ----- Method: StackInterpreter>>extSendAbsentImplicitBytecode (in category 'send bytecodes') ----- extSendAbsentImplicitBytecode "240 11110000 i i i i i j j j Send To Absent Implicit Receiver Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" | byte | byte := self fetchByte. messageSelector := self literal: (byte >> 3) + (extA << 5). extA := 0. argumentCount := (byte bitAnd: 7) + (extB << 3). extB := 0. + self commonSendImplicitReceiver.! - self commonSendAbsentImplicit! Item was changed: ----- Method: StackInterpreter>>extSendAbsentOuterBytecode (in category 'send bytecodes') ----- extSendAbsentOuterBytecode "254 11111110 i i i i i j j j kkkkkkkk Send To Enclosing Object at Depth kkkkkkkk Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" | byte depth | byte := self fetchByte. messageSelector := self literal: (byte >> 3) + (extA << 5). extA := 0. argumentCount := (byte bitAnd: 7) + (extB << 3). extB := 0. depth := self fetchByte. + self commonSendOuter: depth! - localAbsentReceiver := self - enclosingObjectAt: depth - withObject: self receiver - withMixin: (self methodClassOf: method). - CheckPrivacyViolations ifTrue: - [isPrivateSend := true]. - self commonSendAbsent: depth! Item was changed: ----- Method: StackInterpreter>>extSendAbsentSelfBytecode (in category 'send bytecodes') ----- extSendAbsentSelfBytecode "245 11110101 i i i i i j j j Send To Self Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" | byte | byte := self fetchByte. messageSelector := self literal: (byte >> 3) + (extA << 5). extA := 0. argumentCount := (byte bitAnd: 7) + (extB << 3). extB := 0. + self commonSendOuter: 0! - localAbsentReceiver := self receiver. - CheckPrivacyViolations ifTrue: - [isPrivateSend := true]. - self commonSendAbsent: LookupRuleSelf! Item was changed: ----- Method: StackInterpreter>>extSendBytecode (in category 'send bytecodes') ----- extSendBytecode "238 11101110 i i i i i j j j Send Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" | byte rcvr | byte := self fetchByte. messageSelector := self literal: (byte >> 3) + (extA << 5). extA := 0. argumentCount := (byte bitAnd: 7) + (extB << 3). extB := 0. rcvr := self internalStackValue: argumentCount. lkupClassTag := objectMemory fetchClassTagOf: rcvr. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>findApplicationOfTargetMixin:startingAtBehavior: (in category 'newspeak bytecode support') ----- findApplicationOfTargetMixin: targetMixin startingAtBehavior: aBehavior "This is used to implement implicit receiver and enclosing object lookup for Newspeak. Find the mixin applcation of which aClass is a subclass that is an application of targetMixin. This is an implementation derived from <ContextPart> findApplicationOf: targetMixin startingAt: aBehavior " | mixinApplication mixin | mixinApplication := aBehavior. [mixinApplication = objectMemory nilObject or: [mixinApplication = targetMixin + or: [(mixin := objectMemory followObjField: MixinIndex ofObject: mixinApplication) = targetMixin]]] whileFalse: + [mixinApplication := objectMemory followObjField: SuperclassIndex ofObject: mixinApplication]. + + mixinApplication = objectMemory nilObject ifTrue: [ + self print: 'looking for '; cr. + self longPrintOop: targetMixin; cr. + self print: ' in behavior '; cr. + self longPrintOop: aBehavior; cr. + ]. + - or: [(mixin := objectMemory fetchPointer: MixinIndex ofObject: mixinApplication) = targetMixin]]] whileFalse: - [mixinApplication := objectMemory fetchPointer: SuperclassIndex ofObject: mixinApplication]. ^mixinApplication! Item was changed: ----- Method: StackInterpreter>>flushMethodCache (in category 'method lookup cache') ----- flushMethodCache "Flush the method cache. The method cache is flushed on every programming change and garbage collect." 1 to: MethodCacheSize do: [ :i | methodCache at: i put: 0 ]. + self cppIf: NewspeakVM + ifTrue: [1 to: NSMethodCacheSize do: [ :i | nsMethodCache at: i put: 0 ]]. lastMethodCacheProbeWrite := 0. "this for primitiveExternalMethod" self flushAtCache.! Item was changed: ----- Method: StackInterpreter>>flushMethodCacheFrom:to: (in category 'method lookup cache') ----- flushMethodCacheFrom: memStart to: memEnd "Flush entries in the method cache only if the oop address is within the given memory range. This reduces overagressive cache clearing. Note the AtCache is fully flushed, 70% of the time cache entries live in newspace, new objects die young" | probe | probe := 0. 1 to: MethodCacheEntries do: [:i | (methodCache at: probe + MethodCacheSelector) = 0 ifFalse: [((((self oop: (methodCache at: probe + MethodCacheSelector) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheSelector) isLessThan: memEnd]) or: [(self oop: (methodCache at: probe + MethodCacheClass) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheClass) isLessThan: memEnd]]) or: [(self oop: (methodCache at: probe + MethodCacheMethod) isGreaterThanOrEqualTo: memStart) and: [self oop: (methodCache at: probe + MethodCacheMethod) isLessThan: memEnd]]) ifTrue: [methodCache at: probe + MethodCacheSelector put: 0]]. probe := probe + MethodCacheEntrySize]. + self cppIf: NewspeakVM + ifTrue: [1 to: NSMethodCacheSize do: [ :i | nsMethodCache at: i put: 0 ]]. self flushAtCache! Item was changed: ----- Method: StackInterpreter>>initialize (in category 'initialization') ----- initialize "Here we can initialize the variables C initializes to zero. #initialize methods do /not/ get translated." checkAllocFiller := false. "must preceed initializeObjectMemory:" primFailCode := 0. stackLimit := 0. "This is also the initialization flag for the stack system." stackPage := overflowedPage := 0. extraFramesToMoveOnOverflow := 0. bytecodeSetSelector := 0. highestRunnableProcessPriority := 0. nextProfileTick := 0. nextPollUsecs := 0. nextWakeupUsecs := 0. tempOop := tempOop2 := theUnknownShort := 0. interruptPending := false. inIOProcessEvents := 0. fullScreenFlag := 0. deferDisplayUpdates := false. pendingFinalizationSignals := statPendingFinalizationSignals := 0. globalSessionID := 0. jmpDepth := 0. longRunningPrimitiveStartUsecs := longRunningPrimitiveStopUsecs := 0. maxExtSemTabSizeSet := false. - isPrivateSend := false. statForceInterruptCheck := statStackOverflow := statCheckForEvents := statProcessSwitch := statIOProcessEvents := statStackPageDivorce := 0! Item was added: + ----- Method: StackInterpreter>>inlineLookupInNSMethodCacheSel:classTag:method:lookupRule: (in category 'method lookup cache') ----- + inlineLookupInNSMethodCacheSel: selector classTag: classTag method: callingMethod lookupRule: lookupRule + "Like inlineLookupInMethodCacheSel:classTag:, but the cache is additionally key'd by the calling method and lookupRule/depth and additionally answers localAbsentReceiverOrZero." + + | hash probe | + <inline: true> + hash := (selector bitXor: classTag) bitXor: (callingMethod bitXor: lookupRule). + + probe := hash bitAnd: NSMethodCacheMask. "first probe" + (((((nsMethodCache at: probe + NSMethodCacheSelector) = selector) and: + [(nsMethodCache at: probe + NSMethodCacheClassTag) = classTag]) and: + [(nsMethodCache at: probe + NSMethodCacheCallingMethod) = callingMethod]) and: + [(nsMethodCache at: probe + NSMethodCacheDepthOrLookupRule) = lookupRule]) ifTrue: + [newMethod := nsMethodCache at: probe + NSMethodCacheTargetMethod. + primitiveFunctionPointer := self cCoerceSimple: (nsMethodCache at: probe + NSMethodCachePrimFunction) + to: #'void (*)()'. + localAbsentReceiverOrZero := nsMethodCache at: probe + NSMethodCacheActualReceiver. + ^true "found entry in cache; done"]. + + probe := (hash >> 1) bitAnd: NSMethodCacheMask. "second probe" + (((((nsMethodCache at: probe + NSMethodCacheSelector) = selector) and: + [(nsMethodCache at: probe + NSMethodCacheClassTag) = classTag]) and: + [(nsMethodCache at: probe + NSMethodCacheCallingMethod) = callingMethod]) and: + [(nsMethodCache at: probe + NSMethodCacheDepthOrLookupRule) = lookupRule]) ifTrue: + [newMethod := nsMethodCache at: probe + NSMethodCacheTargetMethod. + primitiveFunctionPointer := self cCoerceSimple: (nsMethodCache at: probe + NSMethodCachePrimFunction) + to: #'void (*)()'. + localAbsentReceiverOrZero := nsMethodCache at: probe + NSMethodCacheActualReceiver. + ^true "found entry in cache; done"]. + + probe := (hash >> 2) bitAnd: NSMethodCacheMask. + (((((nsMethodCache at: probe + NSMethodCacheSelector) = selector) and: + [(nsMethodCache at: probe + NSMethodCacheClassTag) = classTag]) and: + [(nsMethodCache at: probe + NSMethodCacheCallingMethod) = callingMethod]) and: + [(nsMethodCache at: probe + NSMethodCacheDepthOrLookupRule) = lookupRule]) ifTrue: + [newMethod := nsMethodCache at: probe + NSMethodCacheTargetMethod. + primitiveFunctionPointer := self cCoerceSimple: (nsMethodCache at: probe + NSMethodCachePrimFunction) + to: #'void (*)()'. + localAbsentReceiverOrZero := nsMethodCache at: probe + NSMethodCacheActualReceiver. + ^true "found entry in cache; done"]. + + ^false! Item was removed: - ----- Method: StackInterpreter>>internalFindNewMethod: (in category 'message sending') ----- - internalFindNewMethod: lookupRule - "Find the compiled method to be run when the current messageSelector is sent to the class 'lkupClass', setting the values of 'newMethod' and 'primitiveIndex'." - <inline: true> - (self inlineLookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifFalse: - ["entry was not found in the cache; look it up the hard way" - self externalizeIPandSP. - ((objectMemory isOopForwarded: messageSelector) - or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: - [(objectMemory isOopForwarded: messageSelector) ifTrue: - [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. - (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: - [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. - (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: - [^nil]]. - lkupClass := objectMemory classForClassTag: lkupClassTag. - self lookupMethodInClass: lkupClass. - self internalizeIPandSP. - self addNewMethodToCache: lkupClass]. - "Clear the flag set in commonSendAbsent and tested in lookupMethodInClass:" - (NewspeakVM and: [CheckPrivacyViolations]) ifTrue: - [isPrivateSend := false].! Item was added: + ----- Method: StackInterpreter>>internalFindNewMethodDynamicSuper (in category 'message sending') ----- + internalFindNewMethodDynamicSuper + "Find the compiled method to be run when the current messageSelector is sent to the superclass of the class where the current method was looked up, setting the values of 'newMethod' and 'primitiveIndex'." + <inline: true> + localAbsentReceiver := self receiver. + self deny: (objectMemory isOopForwarded: localAbsentReceiver). + lkupClassTag := objectMemory fetchClassTagOf: localAbsentReceiver. + + (self inlineLookupInNSMethodCacheSel: messageSelector classTag: lkupClassTag method: method lookupRule: LookupRuleDynamicSuper) + ifFalse: + [ | actualLookupRule | + "entry was not found in the cache; look it up the hard way" + self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. + "(self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: + [^nil]"]. + lkupClass := objectMemory classForClassTag: lkupClassTag. + actualLookupRule := self lookupDynamicSuperSend. + self internalizeIPandSP. + self addNewMethodToNSCache: actualLookupRule]. + ! Item was added: + ----- Method: StackInterpreter>>internalFindNewMethodImplicitReceiver (in category 'message sending') ----- + internalFindNewMethodImplicitReceiver + "Find the compiled method to be run when the for an implicit receiver send of messageSelector, setting the values of 'newMethod' and 'primitiveIndex'." + <inline: true> + localAbsentReceiver := self receiver. + self deny: (objectMemory isOopForwarded: localAbsentReceiver). + lkupClassTag := objectMemory fetchClassTagOf: localAbsentReceiver. + + (self inlineLookupInNSMethodCacheSel: messageSelector classTag: lkupClassTag method: method lookupRule: LookupRuleImplicit) + ifTrue: + [localAbsentReceiverOrZero = 0 ifFalse: [localAbsentReceiver := localAbsentReceiverOrZero.]] + ifFalse: + [ | actualLookupRule | + "entry was not found in the cache; look it up the hard way" + self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. + "(self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: + [^nil]"]. + lkupClass := objectMemory classForClassTag: lkupClassTag. + actualLookupRule := self lookupImplicitReceiverSend. + self internalizeIPandSP. + self addNewMethodToNSCache: actualLookupRule]. + ! Item was added: + ----- Method: StackInterpreter>>internalFindNewMethodOrdinary (in category 'message sending') ----- + internalFindNewMethodOrdinary + "Find the compiled method to be run when the current messageSelector is sent to the class 'lkupClass', setting the values of 'newMethod' and 'primitiveIndex'." + <inline: true> + (self inlineLookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifFalse: + ["entry was not found in the cache; look it up the hard way" + self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. + (self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: + [^nil]]. + lkupClass := objectMemory classForClassTag: lkupClassTag. + self cppIf: #NewspeakVM + ifTrue: [self lookupOrdinarySend] + ifFalse: [self lookupMethodInClass: lkupClass]. + self internalizeIPandSP. + self addNewMethodToCache: lkupClass]. + ! Item was added: + ----- Method: StackInterpreter>>internalFindNewMethodOuter: (in category 'message sending') ----- + internalFindNewMethodOuter: depth + "Find the compiled method to be run when the current messageSelector is sent to the depth'th enclosing object w/r/t the mixin of the current method, setting the values of 'newMethod' and 'primitiveIndex'." + <inline: true> + localAbsentReceiver := self receiver. + self deny: (objectMemory isOopForwarded: localAbsentReceiver). + lkupClassTag := objectMemory fetchClassTagOf: localAbsentReceiver. + + (self inlineLookupInNSMethodCacheSel: messageSelector classTag: lkupClassTag method: method lookupRule: depth) + ifTrue: + [localAbsentReceiverOrZero = 0 ifFalse: [localAbsentReceiver := localAbsentReceiverOrZero.]] + ifFalse: + [ | actualLookupRule | + "entry was not found in the cache; look it up the hard way" + self externalizeIPandSP. + ((objectMemory isOopForwarded: messageSelector) + or: [objectMemory isForwardedClassTag: lkupClassTag]) ifTrue: + [(objectMemory isOopForwarded: messageSelector) ifTrue: + [messageSelector := self handleForwardedSelectorFaultFor: messageSelector]. + (objectMemory isForwardedClassTag: lkupClassTag) ifTrue: + [lkupClassTag := self handleForwardedSendFaultForTag: lkupClassTag]. + "(self lookupInMethodCacheSel: messageSelector classTag: lkupClassTag) ifTrue: + [^nil]"]. + lkupClass := objectMemory classForClassTag: lkupClassTag. + actualLookupRule := self lookupOuterSend: depth. + self internalizeIPandSP. + self addNewMethodToNSCache: actualLookupRule]. + ! Item was added: + ----- Method: StackInterpreter>>lookupDnuAbsent (in category 'message sending') ----- + lookupDnuAbsent + "An absent receiver send lookup failed. Replace the arguments on the stack with + a Message and lookup #doesNotUndestand:. + IN: lkupClass + IN: messageSelector + IN: argumentCount + OUT: newMethod + OUT: primitiveIndex + RESULT: LookupRuleMNU" + + | currentClass dictionary found | + self createActualMessageTo: lkupClass. + lkupClass := objectMemory fetchClassOf: localAbsentReceiver. + messageSelector := objectMemory splObj: SelectorDoesNotUnderstand. + currentClass := lkupClass. + [currentClass ~= objectMemory nilObject] whileTrue: + [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: currentClass. + found := self lookupMethodInDictionary: dictionary. + found ifTrue: [^LookupRuleMNU]. + currentClass := self superclassOf: currentClass]. + + self error: 'Recursive not understood error encountered' + ! Item was added: + ----- Method: StackInterpreter>>lookupDnuPresent (in category 'message sending') ----- + lookupDnuPresent + "A present receiver send lookup failed. Replace the arguments on the stack with + a Message and lookup #doesNotUndestand:. + IN: lkupClass + IN: messageSelector + IN: argumentCount + OUT: newMethod + OUT: primitiveIndex + RESULT: LookupRuleMNU" + + | currentClass dictionary found | + self createActualMessageTo: lkupClass. + messageSelector := objectMemory splObj: SelectorDoesNotUnderstand. + currentClass := lkupClass. + [currentClass ~= objectMemory nilObject] whileTrue: + [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: currentClass. + found := self lookupMethodInDictionary: dictionary. + found ifTrue: [^LookupRuleMNU]. + currentClass := self superclassOf: currentClass]. + + self error: 'Recursive not understood error encountered'! Item was added: + ----- Method: StackInterpreter>>lookupDynamicSuperSend (in category 'message sending') ----- + lookupDynamicSuperSend + "Do the full lookup for a Newspeak super send. + IN: messageSelector + IN: argumentCount + OUT: localAbsentReceiver + OUT: newMethod + OUT: primitiveIndex + RESULT: LookupRuleDynamicSuper or LookupRuleMNU" + + | methodMixin methodMixinApplication | + localAbsentReceiver := self receiver. + methodMixin := self methodClassOf: method. + methodMixinApplication := self + findApplicationOfTargetMixin: methodMixin + startingAtBehavior: (objectMemory fetchClassOf: localAbsentReceiver). + lkupClass := self superclassOf: methodMixinApplication. "For use by MNU" + ^self lookupProtected: messageSelector startingAt: lkupClass rule: LookupRuleDynamicSuper! Item was added: + ----- Method: StackInterpreter>>lookupImplicitReceiverSend (in category 'message sending') ----- + lookupImplicitReceiverSend + "Do the full lookup for an implicit receiver send. + IN: messageSelector + IN: argumentCount + OUT: localAbsentReceiver + OUT: localAbsentReceiverOrZero + OUT: newMethod + OUT: primitiveIndex + RESULT: LookupRuleImplicit or LookupRuleMNU" + + | methodReceiver candidateReceiver candidateMixin candidateMixinApplication dictionary found | + messageSelector := objectMemory followMaybeForwarded: messageSelector. + methodReceiver := self receiver. + candidateReceiver := methodReceiver. + self deny: (objectMemory isForwarded: method). + candidateMixin := self methodClassOf: method. + localAbsentReceiverOrZero := 0. + [self deny: (objectMemory isForwarded: candidateMixin). + self deny: (objectMemory isForwarded: candidateReceiver). + candidateMixinApplication := self + findApplicationOfTargetMixin: candidateMixin + startingAtBehavior: (objectMemory fetchClassOf: candidateReceiver). + self deny: (candidateMixinApplication = 0). + self deny: (candidateMixinApplication = objectMemory nilObject). + self deny: (objectMemory isForwarded: candidateMixinApplication). + self assert: (self addressCouldBeClassObj: candidateMixinApplication). + dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: candidateMixinApplication. + found := self lookupMethodInDictionary: dictionary. + found ifTrue: + [localAbsentReceiver := candidateReceiver. + ^self lookupLexical: messageSelector from: candidateMixin rule: LookupRuleImplicit]. + candidateMixin := objectMemory followObjField: EnclosingMixinIndex ofObject: candidateMixin. + self deny: (objectMemory isForwarded: candidateMixin). + candidateMixin = objectMemory nilObject] + whileFalse: + [localAbsentReceiverOrZero := candidateReceiver := objectMemory followObjField: EnclosingObjectIndex ofObject: candidateMixinApplication]. + "There is no lexically visible method, so the implicit receiver is the method receiver." + localAbsentReceiverOrZero := 0. + localAbsentReceiver := methodReceiver. + lkupClass := objectMemory fetchClassOf: methodReceiver. "For use by MNU" + ^self lookupProtected: messageSelector startingAt: lkupClass rule: LookupRuleImplicit.! Item was added: + ----- Method: StackInterpreter>>lookupLexical:from:rule: (in category 'message sending') ----- + lookupLexical: selector from: mixin rule: rule + "A shared part of the lookup for implicit receiver sends that found a lexically visible + method, and self and outer sends." + | receiverClass mixinApplication dictionary found | + receiverClass := objectMemory fetchClassOf: localAbsentReceiver. + lkupClass := receiverClass. "For use by MNU" + mixinApplication := self findApplicationOfTargetMixin: mixin startingAtBehavior: receiverClass. + dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: mixinApplication. + found := self lookupMethodInDictionary: dictionary. + (found and: [(self accessModifierOfMethod: newMethod) = AccessModifierPrivate]) + ifTrue: [^rule]. + ^self lookupProtected: selector startingAt: receiverClass rule: rule + ! Item was changed: ----- Method: StackInterpreter>>lookupMethodInClass: (in category 'message sending') ----- lookupMethodInClass: class | currentClass dictionary found | <inline: false> self assert: (self addressCouldBeClassObj: class). currentClass := class. [currentClass ~= objectMemory nilObject] whileTrue: [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: currentClass. dictionary = objectMemory nilObject ifTrue: ["MethodDict pointer is nil (hopefully due a swapped out stub) -- raise exception #cannotInterpret:." self createActualMessageTo: class. messageSelector := objectMemory splObj: SelectorCannotInterpret. self sendBreakpoint: messageSelector receiver: nil. ^self lookupMethodInClass: (self superclassOf: currentClass)]. found := self lookupMethodInDictionary: dictionary. + found ifTrue: [^currentClass]. - found ifTrue: - [self maybeCheckPrivacyOfNewMethod: currentClass. - ^currentClass]. currentClass := self superclassOf: currentClass]. "Could not find #doesNotUnderstand: -- unrecoverable error." messageSelector = (objectMemory splObj: SelectorDoesNotUnderstand) ifTrue: [self error: 'Recursive not understood error encountered']. "Cound not find a normal message -- raise exception #doesNotUnderstand:" self createActualMessageTo: class. messageSelector := objectMemory splObj: SelectorDoesNotUnderstand. self sendBreak: messageSelector + objectMemory baseHeaderSize point: (objectMemory lengthOf: messageSelector) receiver: nil. ^self lookupMethodInClass: class! Item was changed: ----- Method: StackInterpreter>>lookupMethodNoMNUEtcInClass: (in category 'message sending') ----- lookupMethodNoMNUEtcInClass: class "Lookup messageSelector in class. Answer 0 on success. Answer the splObj: index for the error selector to use on failure rather than performing MNU processing etc." | currentClass dictionary | <inline: false> - currentClass := class. [currentClass ~= objectMemory nilObject] whileTrue: [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: currentClass. dictionary = objectMemory nilObject ifTrue: [lkupClass := self superclassOf: currentClass. ^SelectorCannotInterpret]. (self lookupMethodInDictionary: dictionary) ifTrue: [self addNewMethodToCache: class. ^0]. currentClass := self superclassOf: currentClass]. lkupClass := class. ^SelectorDoesNotUnderstand! Item was added: + ----- Method: StackInterpreter>>lookupOrdinarySend (in category 'message sending') ----- + lookupOrdinarySend + "Do the full lookup for an ordinary send (i.e., a Newspeak or Smalltalk ordinary send or a Smalltalk super send). + IN: lkupClass + IN: messageSelector + IN: argumentCount + OUT: newMethod + OUT: primitiveIndex + RESULT: LookupOrdinary or LookupDNU" + + | currentClass dictionary found | + self assert: (self addressCouldBeClassObj: lkupClass). + currentClass := lkupClass. + [currentClass ~= objectMemory nilObject] whileTrue: + [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: currentClass. + found := self lookupMethodInDictionary: dictionary. + found ifTrue: + [(self accessModifierOfMethod: newMethod) == AccessModifierPublic + ifTrue: [^self]. + (self accessModifierOfMethod: newMethod) == AccessModifierProtected + ifTrue: [^self lookupDnuPresent]]. + currentClass := self superclassOf: currentClass]. + ^self lookupDnuPresent! Item was added: + ----- Method: StackInterpreter>>lookupOuterSend: (in category 'message sending') ----- + lookupOuterSend: depth + "Do the full lookup for a self or outer send. + IN: messageSelector + IN: argumentCount + OUT: localAbsentReceiver + OUT: localAbsentReceiverOrZero + OUT: newMethod + OUT: primitiveIndex + RESULT: [depth] or LookupRuleMNU" + + | targetMixin count mixinApplication | + localAbsentReceiver := self receiver. + localAbsentReceiverOrZero := 0. + targetMixin := self methodClassOf: method. + count := 0. + [count < depth] whileTrue: + [count := count + 1. + mixinApplication := self + findApplicationOfTargetMixin: targetMixin + startingAtBehavior: (objectMemory fetchClassOf: localAbsentReceiver). + localAbsentReceiverOrZero := localAbsentReceiver := objectMemory followObjField: EnclosingObjectIndex ofObject: mixinApplication. + targetMixin := objectMemory followObjField: EnclosingMixinIndex ofObject: targetMixin]. + ^self lookupLexical: messageSelector from: targetMixin rule: depth! Item was added: + ----- Method: StackInterpreter>>lookupProtected:startingAt:rule: (in category 'message sending') ----- + lookupProtected: selector startingAt: mixinApplication rule: rule + "A shared part of the lookup for self, outer or implicit receiver sends that did not find a + private lexically visible method, and (Newspeak) super sends." + | lookupClass dictionary found | + lookupClass := mixinApplication. + [lookupClass = objectMemory nilObject] whileFalse: + [dictionary := objectMemory followObjField: MethodDictionaryIndex ofObject: lookupClass. + found := self lookupMethodInDictionary: dictionary. + (found and: [(self accessModifierOfMethod: newMethod) ~= AccessModifierPrivate]) + ifTrue: [^rule]. + lookupClass := self superclassOf: lookupClass]. + ^self lookupDnuAbsent! Item was removed: - ----- Method: StackInterpreter>>maybeCheckPrivacyOfNewMethod: (in category 'message sending') ----- - maybeCheckPrivacyOfNewMethod: currentClass - <inline: true> - (NewspeakVM - and: [CheckPrivacyViolations - and: [isPrivateSend not - and: [messageSelector ~= (objectMemory splObj: SelectorDoesNotUnderstand) - and: [(self accessModifierOfMethod: newMethod) ~= AccessModifierPublic]]]]) ifTrue: - [self print: (self nameOfClass: currentClass); space. - self printStringOf: (messageSelector); print: ' from '. - self printStringOf: (self maybeSelectorOfMethod: method); cr]! Item was changed: ----- Method: StackInterpreter>>normalSend (in category 'send bytecodes') ----- normalSend "Send a message, starting lookup with the receiver's class." "Assume: messageSelector and argumentCount have been set, and that the receiver and arguments have been pushed onto the stack," "Note: This method is inlined into the interpreter dispatch loop." <sharedCodeInCase: #singleExtendedSendBytecode> | rcvr | rcvr := self internalStackValue: argumentCount. lkupClassTag := objectMemory fetchClassTagOf: rcvr. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>sendAbsentImplicit0ArgsBytecode (in category 'send bytecodes') ----- sendAbsentImplicit0ArgsBytecode "160-175 1010 i i i i Send To Absent Implicit Receiver Literal Selector #iiii With 0 Arguments" messageSelector := self literal: (currentBytecode bitAnd: 16rF). argumentCount := 0. + self commonSendImplicitReceiver! - self commonSendAbsentImplicit! Item was changed: ----- Method: StackInterpreter>>sendLiteralSelector0ArgsBytecode (in category 'send bytecodes') ----- sendLiteralSelector0ArgsBytecode "Can use any of the first 16 literals for the selector." | rcvr | messageSelector := self literal: (currentBytecode bitAnd: 16rF). argumentCount := 0. rcvr := self internalStackValue: 0. lkupClassTag := objectMemory fetchClassTagOf: rcvr. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>sendLiteralSelector1ArgBytecode (in category 'send bytecodes') ----- sendLiteralSelector1ArgBytecode "Can use any of the first 16 literals for the selector." | rcvr | messageSelector := self literal: (currentBytecode bitAnd: 16rF). argumentCount := 1. rcvr := self internalStackValue: 1. lkupClassTag := objectMemory fetchClassTagOf: rcvr. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>sendLiteralSelector2ArgsBytecode (in category 'send bytecodes') ----- sendLiteralSelector2ArgsBytecode "Can use any of the first 16 literals for the selector." | rcvr | messageSelector := self literal: (currentBytecode bitAnd: 16rF). argumentCount := 2. rcvr := self internalStackValue: 2. lkupClassTag := objectMemory fetchClassTagOf: rcvr. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreter>>superclassSend (in category 'send bytecodes') ----- superclassSend "Send a message to self, starting lookup with the superclass of the class containing the currently executing method." "Assume: messageSelector and argumentCount have been set, and that the receiver and arguments have been pushed onto the stack," "Note: This method is inlined into the interpreter dispatch loop." <sharedCodeInCase: #singleExtendedSuperBytecode> | superclass | superclass := self superclassOf: (self methodClassOf: method). objectMemory ensureBehaviorHash: superclass. lkupClassTag := objectMemory classTagForClass: superclass. "To maintain the invariant that all receivers are unforwarded we need an explicit read barrier in the super send cases. Even though we always follow receivers on become e.g. super doSomethingWith: (self become: other) forwards the receiver self pushed on the stack." self ensureReceiverUnforwarded. self assert: lkupClassTag ~= objectMemory nilObject. + self commonSendOrdinary! - self commonSend! Item was changed: ----- Method: StackInterpreterSimulator>>initialize (in category 'initialization') ----- initialize "Initialize the StackInterpreterSimulator when running the interpreter inside Smalltalk. The primary responsibility of this method is to allocate Smalltalk Arrays for variables that will be declared as statically-allocated global arrays in the translated code." super initialize. bootstrapping := false. transcript := Transcript. objectMemory ifNil: [objectMemory := self class objectMemoryClass simulatorClass new]. objectMemory coInterpreter: self. "Note: we must initialize ConstMinusOne differently for simulation, due to the fact that the simulator works only with +ve 32-bit values" ConstMinusOne := objectMemory integerObjectOf: -1. methodCache := Array new: MethodCacheSize. + nsMethodCache := Array new: NSMethodCacheSize. atCache := Array new: AtCacheTotalSize. self flushMethodCache. gcSemaphoreIndex := 0. externalSemaphoreSignalRequests := externalSemaphoreSignalResponses := #(). externalPrimitiveTable := CArrayAccessor on: (Array new: MaxExternalPrimitiveTableSize). externalPrimitiveTableFirstFreeIndex := 0. primitiveTable := self class primitiveTable copy. mappedPluginEntries := OrderedCollection new. objectMemory hasSpurMemoryManagerAPI ifTrue: [primitiveAccessorDepthTable := Array new: primitiveTable size. pluginList := {}. self loadNewPlugin: ''] ifFalse: [pluginList := {'' -> self }]. desiredNumStackPages := desiredEdenBytes := 0. "This is initialized on loading the image, but convenient for testing stack page values..." numStackPages := self defaultNumStackPages. startMicroseconds := Time totalSeconds * 1000000. "initialize InterpreterSimulator variables used for debugging" byteCount := sendCount := lookupCount := 0. quitBlock := [^self]. traceOn := true. printSends := printReturns := printFrameAtEachStep := printBytecodeAtEachStep := false. myBitBlt := BitBltSimulator new setInterpreter: self. displayForm := fakeForm := 'Display has not yet been installed' asDisplayText form. eventQueue := SharedQueue new. suppressHeartbeatFlag := false. systemAttributes := Dictionary new. extSemTabSize := 256. disableBooleanCheat := false. assertVEPAES := true. "a flag so the assertValidExecutionPointers can be disabled for simulation speed"! Item was removed: - ----- Method: StackInterpreterSimulator>>internalFindNewMethod: (in category 'testing') ----- - internalFindNewMethod: lookupRule - " - | cName | - traceOn ifTrue: - [cName := (self sizeBitsOf: class) = 16r20 - ifTrue: ['class ' , (self nameOfClass: (self fetchPointer: 6 ofObject: class))] - ifFalse: [(self nameOfClass: class)]. - self cr; print: cName , '>>' , (self stringOf: messageSelector)]. - " - messageSelector = (objectMemory splObj: SelectorDoesNotUnderstand) ifTrue: [self halt]. - - sendCount := sendCount + 1. - - printSends ifTrue: - [self cr; print: byteCount; space; printStringOf: messageSelector]. - " - (sendCount > 1000 and: [sendCount\\10 = 0]) ifTrue: - [Transcript print: sendCount; space. - self validate]. - " - " - (sendCount > 100150) ifTrue: - [self qvalidate. - messageQueue == nil ifTrue: [messageQueue := OrderedCollection new]. - messageQueue addLast: (self stringOf: messageSelector)]. - " - super internalFindNewMethod: lookupRule! Item was added: + ----- Method: StackInterpreterSimulator>>internalFindNewMethodOrdinary (in category 'testing') ----- + internalFindNewMethodOrdinary + " + | cName | + traceOn ifTrue: + [cName := (self sizeBitsOf: class) = 16r20 + ifTrue: ['class ' , (self nameOfClass: (self fetchPointer: 6 ofObject: class))] + ifFalse: [(self nameOfClass: class)]. + self cr; print: cName , '>>' , (self stringOf: messageSelector)]. + " + messageSelector = (objectMemory splObj: SelectorDoesNotUnderstand) ifTrue: [self halt]. + + sendCount := sendCount + 1. + + printSends ifTrue: + [self cr; print: byteCount; space; printStringOf: messageSelector]. + " + (sendCount > 1000 and: [sendCount\\10 = 0]) ifTrue: + [Transcript print: sendCount; space. + self validate]. + " + " + (sendCount > 100150) ifTrue: + [self qvalidate. + messageQueue == nil ifTrue: [messageQueue := OrderedCollection new]. + messageQueue addLast: (self stringOf: messageSelector)]. + " + super internalFindNewMethodOrdinary! Item was changed: ----- Method: VMMaker class>>generateNewspeakSpurCogVM (in category 'configurations') ----- generateNewspeakSpurCogVM "No primitives since we can use those for the Cog Newspeak VM" ^VMMaker generate: CoInterpreter and: StackToRegisterMappingCogit with: #( ObjectMemory Spur32BitCoMemoryManager MULTIPLEBYTECODESETS true + NewspeakVM true + EnforceAccessControl false) - NewspeakVM true) to: (FileDirectory default pathFromURI: self sourceTree, '/nsspursrc') platformDir: (FileDirectory default pathFromURI: self sourceTree, '/platforms') including:#( AsynchFilePlugin BMPReadWriterPlugin BalloonEnginePlugin BitBltSimulation DeflatePlugin DSAPlugin DropPlugin FileCopyPlugin FilePlugin FloatArrayPlugin FloatMathPlugin ImmX11Plugin JPEGReadWriter2Plugin JPEGReaderPlugin LargeIntegersPlugin Matrix2x3Plugin MiscPrimitivePlugin NewsqueakIA32ABIPlugin RePlugin SecurityPlugin SocketPlugin SoundPlugin SqueakSSLPlugin SurfacePlugin UUIDPlugin UnixOSProcessPlugin UnixAioPlugin VMProfileLinuxSupportPlugin VMProfileMacSupportPlugin Win32OSProcessPlugin) ! Item was changed: ----- Method: VMMaker class>>generateNewspeakSpurStack64VM (in category 'configurations') ----- generateNewspeakSpurStack64VM "No primitives since we can use those from the Cog VM" ^VMMaker generate: StackInterpreter + with: #( ObjectMemory Spur64BitMemoryManager - with: #(ObjectMemory Spur64BitMemoryManager MULTIPLEBYTECODESETS true NewspeakVM true FailImbalancedPrimitives false + EnforceAccessControl false) - CheckPrivacyViolations true) to: (FileDirectory default directoryNamed: self sourceTree, '/nsspurstack64src') fullName platformDir: (FileDirectory default directoryNamed: self sourceTree, '/platforms') fullName including: #()! Item was changed: ----- Method: VMMaker class>>generateNewspeakSpurStackVM (in category 'configurations') ----- generateNewspeakSpurStackVM "No primitives since we can use those from the Cog Newspeak VM" ^VMMaker generate: StackInterpreter with: #( ObjectMemory Spur32BitMemoryManager MULTIPLEBYTECODESETS true NewspeakVM true FailImbalancedPrimitives false + EnforceAccessControl true) - CheckPrivacyViolations true) to: (FileDirectory default directoryNamed: self sourceTree, '/nsspurstacksrc') fullName platformDir: (FileDirectory default directoryNamed: self sourceTree, '/platforms') fullName including: #()! Item was changed: SharedPool subclass: #VMMethodCacheConstants instanceVariableNames: '' + classVariableNames: 'LookupRuleDynamicSuper LookupRuleImplicit LookupRuleMNU LookupRuleOrdinary LookupRuleSelf MethodCacheClass MethodCacheEntries MethodCacheEntrySize MethodCacheMask MethodCacheMethod MethodCachePrim MethodCachePrimFunction MethodCacheSelector MethodCacheSize NSMethodCacheActualReceiver NSMethodCacheCallingMethod NSMethodCacheClassTag NSMethodCacheDepthOrLookupRule NSMethodCacheEntries NSMethodCacheEntrySize NSMethodCacheMask NSMethodCachePrimFunction NSMethodCacheSelector NSMethodCacheSize NSMethodCacheTargetMethod' - classVariableNames: 'LookupRuleDynamicSuper LookupRuleImplicit LookupRuleMNU LookupRuleOrdinary LookupRuleSelf MethodCacheClass MethodCacheEntries MethodCacheEntrySize MethodCacheMask MethodCacheMethod MethodCachePrim MethodCachePrimFunction MethodCacheSelector MethodCacheSize' poolDictionaries: '' category: 'VMMaker-Interpreter'! !VMMethodCacheConstants commentStamp: '<historical>' prior: 0! I am a shared pool for the constants that define the first-level method lookup cache. self ensureClassPool. #(#MethodCacheClass #MethodCacheEntries #MethodCacheEntrySize #MethodCacheMask #MethodCacheMethod #MethodCachePrimFunction #MethodCacheSelector #MethodCacheSize) do: [:k| self classPool declare: k from: StackInterpreter classPool]!

1 0

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

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 June 2015