Vm-dev December 2016

vm-dev@lists.squeakfoundation.org

34 participants
102 discussions

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

06 May '18

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

3 8

Amazing ARM simulator experience
by Eliot Miranda 03 May '17

03 May '17

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

5 7

Re: [Vm-dev] [Pharo-dev] Problem with OSSubprocess / signals / heartbeat ?
by Guille Polito 02 Apr '17

02 Apr '17

Ok, so following a bit on this. I'll summarize some of our findings, some of them maybe obvious for some people in this list. I saw that there are actually two different kind of VMs for *nix [1] : - threaded heartbeat - itimer + signal heartbeat Specially, I'd like to cite the following paragraph for the lazy: A distinction on linux is between VMs with an itimer hearbeat or a threaded heartbeat. VMs with an itimer hearbeat use setitimer to deliver a SIGALRM signal at regular intervals to interrupt the VM to check for events. These signals can be troublesome, interrupting foreign code that cannot cope with such signals. VMs with a threaded heartbeat use a high-priority thread that loops, blocking on nanosleep and then interrupting the VM, performing the same function as the itimer heartbeat but without using signals. These VMs are to be preferred but suport for multiple thread priorities in user-level processes has only been available on linux in kernels later than 2.6.12. So, I downloaded the heartbeat squeak VM from bintray [2]. This VM requires so deploy some configuration files in /etc/security [2]. Under this configuration OSSubprocess worked like a charm (or I did not found the issue again so far). Now, this heartbeat threaded VM is the recommended in the README file, and we see that OSSubprocess generates the exact issue stated. The main problem remains for the moment since Pharo's default download includes not this VM but the itimer one. I talked with Esteban about it and he was aware of these two VM flavours, and the reason why we are using the itimer one is the need to deploy those permission files in /etc, which makes installation a bit less automatic. Cheers, Guille [1] https://github.com/OpenSmalltalk/opensmalltalk-vm/blob/e17db79411cfec767e04… [2] https://bintray.com/opensmalltalk/vm/download_file?file_path=cog_linux32x86… [3] https://github.com/OpenSmalltalk/opensmalltalk-vm/releases/tag/r3732#linux -------- Original Message -------- > > >> I asked Santa an OSSubprocess that won't hang :) >> > > > I really appreciate to see such not so small polar elfves helping santa :) > > > > Stef > > > > > > > >> Thanks, >> >> Guille >> >> >> >> >> >> -------- Original Message -------- >> >>> >>> >>>> On 19 Dec 2016, at 14:41, Mariano Martinez Peck >>>> <marianopeck(a)gmail.com> wrote: >>>> >>>> >>>> >>>> Hi guys, >>>> >>>> >>>> >>>> Guille Polito kept one of these images if someone can give us a >>>> hand. He also proposed the great idea of using `strace` to see what >>>> was going on. He (together with Pable Tesone) suspected that the >>>> heartbeat could be interrupting the `clone()` function which is (I >>>> think) called internally by the 'posix_spawn()' which is the one >>>> used by OSSubprocess. >>>> >>>> >>>> >>>> When these images are "hung" they found at a infinitive loop like this: >>>> >>> Okay, how many child processes do you have at that point? How many >>> processes does the system have? >>> >>> >>> >>> >>> >>>> [pid 17477] --- SIGALRM {si_signo=SIGALRM, si_code=SI_KERNEL} --- >>>> >>>> [pid 17477] gettimeofday({1482152630, 593498}, NULL) = 0 >>>> >>>> [pid 17477] sigreturn() (mask []) = 120 >>>> >>>> [pid 17477] clone(child_stack=0, >>>> flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, >>>> child_tidptr=0xf7578768) = ? ERESTARTNOINTR (To be restarted) >>>> >>>> [pid 17477] --- SIGALRM {si_signo=SIGALRM, si_code=SI_KERNEL} --- >>>> >>>> [pid 17477] gettimeofday({1482152630, 600126}, NULL) = 0 >>>> >>>> [pid 17477] sigreturn() (mask []) = 120 >>>> >>>> [pid 17477] clone(child_stack=0, >>>> flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, >>>> child_tidptr=0xf7578768) = ? ERESTARTNOINTR (To be restarted) >>>> >>> so above.. 7ms between the two gettimeofday calls? Nothing else? Set >>> a breakpoint on clone/fork in gdb and look at the c-stack at this >>> point? Could you strace with timestamps to see how much time is >>> spent? Is the process suspicious in other ways? >>> >>> >>> >>> So yes.. sounds like clone doesn't complete.. the question is why? >>> Is it out of resources? Is something in the VM blocking longer than >>> the heartbeat, is the heartbeat more frequent than expected? >>> >>> >>> >>> >>> >>>> As you can see, there is a SIGALARM involved. It also looks like >>>> the `gettimeofday` is used by the heartbeat ? Could it be that >>>> someone the heartbeat is interrupting the `clone()` ? >>>> >>>> >>>> >>>> Guille also showed me the `strace` output with a regular / working >>>> image: >>>> >>>> >>>> >>>> >>>> >>>> [pid 18647] --- SIGALRM {si_signo=SIGALRM, si_code=SI_KERNEL} --- >>>> >>>> [pid 18647] gettimeofday({1482152829, 481014}, NULL) = 0 >>>> >>>> [pid 18647] sigreturn() (mask []) = -1 EINTR (Interrupted >>>> system call) >>>> >>>> [pid 18647] getitimer(ITIMER_REAL, {it_interval={0, 2000}, >>>> it_value={0, 1917}}) = 0 >>>> >>>> [pid 18647] recvmsg(3, 0xff7b0734, 0) = -1 EAGAIN (Resource >>>> temporarily unavailable) >>>> >>>> [pid 18647] select(4, [3], [], [3], {0, 1000}) = 0 (Timeout) >>>> >>>> [pid 18647] getitimer(ITIMER_REAL, {it_interval={0, 2000}, >>>> it_value={0, 797}}) = 0 >>>> >>>> [pid 18647] recvmsg(3, 0xff7b0734, 0) = -1 EAGAIN (Resource >>>> temporarily unavailable) >>>> >>>> [pid 18647] select(4, [3], [], [3], {0, 1000}) = ? ERESTARTNOHAND >>>> (To be restarted if no handler) >>>> >>>> [pid 18647] --- SIGALRM {si_signo=SIGALRM, si_code=SI_KERNEL} --- >>>> >>>> >>>> >>>> >>>> >>>> Does anyone have any hint here? >>>> >>> Get timestamps in there. How long does it take to fail/end in this >>> situation? >>> >>> >>> >>> holger >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >> >> >> >> >> >> > > > > > >

7 18

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

26 Feb '17

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

5 5

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

14 Jan '17

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

1 3

Lowcode and x64
by Nicolas Cellier 05 Jan '17

05 Jan '17

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

2 1

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

04 Jan '17

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

4 9

VM Maker: VMMaker.oscog-eem.2060.mcz
by commits＠source.squeak.org 02 Jan '17

02 Jan '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2060.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2060 Author: eem Time: 30 December 2016, 5:35:05.715938 pm UUID: f9dcc3c5-4596-4d3b-a6f1-40a2dde5c7f5 Ancestors: VMMaker.oscog-eem.2059 SocketPluginSimulator: SocketPlugin simulation sufficient to do a diff of a changed package against source.squeak.org/trunk, and indeed sufficient to get far enough to provke an assert-fail in compaction. Simulate only ipv4. Clean up primitiveHasSocketAccess to be smart syntax and eliminate the cCode: from initialiseModule. =============== Diff against VMMaker.oscog-eem.2059 =============== Item was added: + ----- Method: NewCoObjectMemorySimulator>>signalSemaphoreWithIndex: (in category 'simulation only') ----- + signalSemaphoreWithIndex: index + "hack around the CoInterpreter/ObjectMemory split refactoring" + ^coInterpreter signalSemaphoreWithIndex: index! Item was added: + ----- Method: NewObjectMemorySimulator>>signalSemaphoreWithIndex: (in category 'simulation only') ----- + signalSemaphoreWithIndex: index + "hack around the CoInterpreter/ObjectMemory split refactoring" + ^coInterpreter signalSemaphoreWithIndex: index! Item was added: + ----- Method: SocketPlugin class>>simulatorClass (in category 'simulation') ----- + simulatorClass + ^SmartSyntaxPluginSimulator! Item was changed: ----- Method: SocketPlugin>>initialiseModule (in category 'initialize-release') ----- initialiseModule <export: true> sDSAfn := interpreterProxy ioLoadFunction: 'secDisableSocketAccess' From: 'SecurityPlugin'. sHSAfn := interpreterProxy ioLoadFunction: 'secHasSocketAccess' From: 'SecurityPlugin'. sCCTPfn := interpreterProxy ioLoadFunction: 'secCanConnectToPort' From: 'SecurityPlugin'. sCCLOPfn := interpreterProxy ioLoadFunction: 'secCanListenOnPort' From: 'SecurityPlugin'. sCCSOTfn := interpreterProxy ioLoadFunction: 'secCanCreateSocketOfType' From: 'SecurityPlugin'. + ^self socketInit! - ^self cCode: 'socketInit()' inSmalltalk:[true]! Item was changed: ----- Method: SocketPlugin>>primitiveHasSocketAccess (in category 'security primitives') ----- primitiveHasSocketAccess + self primitive: 'primitiveHasSocketAccess'. - | hasAccess | - <export: true> "If the security plugin can be loaded, use it to check . If not, assume it's ok" + ^(sHSAfn = 0 + or: [self cCode: ' ((sqInt (*) (void)) sHSAfn)()' inSmalltalk: [true]]) asBooleanObj! - hasAccess := sHSAfn = 0 - or: [self cCode: ' ((sqInt (*) (void)) sHSAfn)()' inSmalltalk:[true]]. - interpreterProxy pop: 1. - interpreterProxy pushBool: hasAccess! Item was added: + SocketPlugin subclass: #SocketPluginSimulator + instanceVariableNames: 'openSocketHandles externalSemaphores hostSocketToSimSocketMap simSocketToHostSocketMap fakeAddressCounter resolverSemaphoreIndex ipv6support' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-InterpreterSimulation'! Item was added: + ----- Method: SocketPluginSimulator>>close (in category 'initialize-release') ----- + close "close any sockets that ST may have opened" + openSocketHandles do: [:h | self closeAndDestroy: h]. + Smalltalk unregisterExternalObjects: externalSemaphores! Item was added: + ----- Method: SocketPluginSimulator>>closeAndDestroy: (in category 'initialize-release') ----- + closeAndDestroy: socketHandle + "c.f. Socket closeAndDestroy: timeoutSeconds" + | fakeSocket | + fakeSocket := Socket basicNew. + [(fakeSocket primSocketConnectionStatus: socketHandle) = (Socket classPool at: #Connected) ifTrue: + [fakeSocket primSocketCloseConnection: socketHandle]. + fakeSocket + primSocketAbortConnection: socketHandle; + primSocketDestroy: socketHandle] + on: SocketPrimitiveFailed + do: [:ex| Transcript cr; show: ex message]! Item was added: + ----- Method: SocketPluginSimulator>>hostSocketHandleFromSimSocketHandle: (in category 'simulation support') ----- + hostSocketHandleFromSimSocketHandle: socketHandleCArray + "Answer the corresponding host socketHandle for the simulation socketHandle, or nil if none, failing the primitive." + ^simSocketToHostSocketMap + at: (self simSocketHandleFrom: socketHandleCArray) + ifAbsent: [interpreterProxy primitiveFail. nil]! Item was added: + ----- Method: SocketPluginSimulator>>ipv6support (in category 'accessing') ----- + ipv6support + + ^ ipv6support + ! Item was added: + ----- Method: SocketPluginSimulator>>ipv6support: (in category 'accessing') ----- + ipv6support: anObject + + ipv6support := anObject. + ! Item was added: + ----- Method: SocketPluginSimulator>>map:to:type:register:spawning:and:and: (in category 'simulation support') ----- + map: hostSocketHandle to: simSockPtr type: socketType register: semaphores spawning: blockOne and: blockTwo and: blockThree + | simSocket | + "SQSocket is typedef struct { int sessionID; int socketType; void *privateSocketPtr; } SQSocket" + simSocket := ByteArray new: (self sizeof: #SQSocket). + simSocket + unsignedLongAt: 1 put: interpreterProxy getThisSessionID; + unsignedLongAt: 5 put: socketType. + simSocket size = 12 + ifTrue: [simSocket unsignedLongAt: 9 put: (fakeAddressCounter := fakeAddressCounter + 64)] + ifFalse: [simSocket unsignedLongLongAt: 9 put: (fakeAddressCounter := fakeAddressCounter + 80)]. + self assert: ((interpreterProxy isBytes: simSockPtr cPtrAsOop) + and: [(interpreterProxy numBytesOf: simSockPtr cPtrAsOop) = simSocket size]). + 1 to: simSocket size do: + [:i| simSockPtr at: i - 1 put: (simSocket at: i)]. + self assert: (self simSocketHandleFrom: simSockPtr) = simSocket. + openSocketHandles add: hostSocketHandle. + hostSocketToSimSocketMap at: hostSocketHandle put: simSocket. + simSocketToHostSocketMap at: simSocket put: hostSocketHandle. + externalSemaphores addAll: semaphores. + "N.B. These don't need registering. Eventually they will end up + waiting on semaphores that have been unregistered, and hence + will get garbage collected, along with these processes." + blockOne fork. + blockTwo fork. + blockThree fork! Item was added: + ----- Method: SocketPluginSimulator>>netAddressAsByteArrayFromInt: (in category 'simulation support') ----- + netAddressAsByteArrayFromInt: netAddress + ^ByteArray + with: ((netAddress bitShift: -24) bitAnd: 16rFF) + with: ((netAddress bitShift: -16) bitAnd: 16rFF) + with: ((netAddress bitShift: -8) bitAnd: 16rFF) + with: (netAddress bitAnd: 16rFF)! Item was added: + ----- Method: SocketPluginSimulator>>simSocketHandleFrom: (in category 'simulation support') ----- + simSocketHandleFrom: socketHandleCArray + | simSocket | + "SQSocket is typedef struct { int sessionID; int socketType; void *privateSocketPtr; } SQSocket" + simSocket := ByteArray new: (self sizeof: #SQSocket). + 1 to: simSocket size do: + [:i| + simSocket at: i put: (socketHandleCArray at: i - 1)]. + ^simSocket! Item was added: + ----- Method: SocketPluginSimulator>>simulator: (in category 'accessing') ----- + simulator: aSmartSyntaxPluginSimulator + super simulator: aSmartSyntaxPluginSimulator. + aSmartSyntaxPluginSimulator logging: true! Item was added: + ----- Method: SocketPluginSimulator>>socketInit (in category 'initialize-release') ----- + socketInit + openSocketHandles := Set new. + externalSemaphores := Set new. + hostSocketToSimSocketMap := Dictionary new. + simSocketToHostSocketMap := Dictionary new. + fakeAddressCounter := 16r50C4E70. "Socket, if you squint at it right..." + "Set all the security functions to zero so simulation does't need to work fully." + sDSAfn := sHSAfn := sCCTPfn := sCCLOPfn := sCCSOTfn := 0. + "for now..." + ipv6support := false. + ^true! Item was added: + ----- Method: SocketPluginSimulator>>sqNetworkInit: (in category 'simulation') ----- + sqNetworkInit: resolverSemaIndex + "Simply assume the network is initialized." + (NetNameResolver classPool at: #HaveNetwork) ifFalse: + [NetNameResolver initializeNetwork]. + resolverSemaphoreIndex + ifNil: [resolverSemaphoreIndex := resolverSemaIndex] + ifNotNil: [self assert: resolverSemaphoreIndex = resolverSemaIndex]. + ^0! Item was added: + ----- Method: SocketPluginSimulator>>sqResolverHostNameSize (in category 'simulation') ----- + sqResolverHostNameSize + ipv6support ifTrue: [^NetNameResolver primHostNameSize]. + interpreterProxy primitiveFail! Item was added: + ----- Method: SocketPluginSimulator>>sqResolverNameLookupResult (in category 'simulation') ----- + sqResolverNameLookupResult + "For now don't simulate the implicit semaphore." + | bytes | + bytes := NetNameResolver primNameLookupResult. + self assert: bytes size = 4. + "Effectively netAddressToInt: bytes" + ^ ((bytes at: 4)) + + ((bytes at: 3) <<8) + + ((bytes at: 2) <<16) + + ((bytes at: 1) <<24)! Item was added: + ----- Method: SocketPluginSimulator>>sqResolverStartName:Lookup: (in category 'simulation') ----- + sqResolverStartName: aCArray Lookup: size + "For now don't simulate the implicit semaphore." + | hostName busy | + busy := NetNameResolver classPool at: #ResolverBusy. + hostName := self st: (String new: size) rn: aCArray cpy: size. + NetNameResolver primStartLookupOfName: hostName. + resolverSemaphoreIndex ifNotNil: + [[[NetNameResolver primNameResolverStatus = busy] whileTrue: + [(Delay forSeconds: 1) wait]. + interpreterProxy signalSemaphoreWithIndex: resolverSemaphoreIndex] fork] + ! Item was added: + ----- Method: SocketPluginSimulator>>sqResolverStatus (in category 'simulation') ----- + sqResolverStatus + ^NetNameResolver primNameResolverStatus! Item was added: + ----- Method: SocketPluginSimulator>>sqSocket:ConnectTo:Port: (in category 'simulation') ----- + sqSocket: socketHandle ConnectTo: addr Port: port + ^[Socket basicNew + primSocket: ((self hostSocketHandleFromSimSocketHandle: socketHandle) ifNil: [^self]) + connectTo: (self netAddressAsByteArrayFromInt: addr) + port: port] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + 0]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocket:CreateNetType:SocketType:RecvBytes:SendBytes:SemaID:ReadSemaID:WriteSemaID: (in category 'simulation') ----- + sqSocket: sockPtr CreateNetType: netType SocketType: socketType RecvBytes: recvBufSize SendBytes: sendBufSize SemaID: semaIndex ReadSemaID: readSemaIndex WriteSemaID: writeSemaIndex + "Simulate the sqSocketCreateNetTypeSocketTypeRecvBytesSendBytesSemaIDReadSemaIDWriteSemaID function. + We descend beneath the Socket abstraftion to simulate as accurately as possible." + | semaphoresAndIndexes semaphores indexes socketHandle | + semaphoresAndIndexes := Smalltalk newExternalSemaphores: 3. + semaphores := semaphoresAndIndexes first. + indexes := semaphoresAndIndexes second. + socketHandle := [Socket basicNew + primSocketCreateNetwork: netType + type: socketType + receiveBufferSize: recvBufSize + sendBufSize: sendBufSize + semaIndex: indexes first + readSemaIndex: indexes second + writeSemaIndex: indexes third] + on: SocketPrimitiveFailed + do: [:ex| + #failed]. + socketHandle == #failed ifTrue: + [interpreterProxy primitiveFail. + Smalltalk unregisterExternalObjects: semaphores. + ^self]. + "N.B. There is now a Processor yield in doSignalExternalSemaphores: every 100 virtual microseconds. + This allows these to make progress. Their job is to map a host signal into a signal of the relevant index." + self map: socketHandle + to: sockPtr + type: socketType + register: semaphores + spawning: [[semaphores first wait. interpreterProxy signalSemaphoreWithIndex: semaIndex] repeat] + and: [[semaphores second wait. interpreterProxy signalSemaphoreWithIndex: readSemaIndex] repeat] + and: [[semaphores third wait. interpreterProxy signalSemaphoreWithIndex: writeSemaIndex] repeat]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocket:ReceiveDataBuf:Count: (in category 'simulation') ----- + sqSocket: socketHandleCArray ReceiveDataBuf: bufferStartCArray Count: numBytes + ^[| buffer n | + buffer := ByteArray new: numBytes. + n := Socket basicNew + primSocket: ((self hostSocketHandleFromSimSocketHandle: socketHandleCArray) ifNil: [^0]) + receiveDataInto: buffer + startingAt: 1 + count: numBytes. + 1 to: n do: + [:i| + bufferStartCArray at: i - 1 put: (buffer at: i)]. + n] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + 0]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocket:SendDataBuf:Count: (in category 'simulation') ----- + sqSocket: socketHandleCArray SendDataBuf: bufferStartCArray Count: numBytes + | data | + data := ByteArray new: numBytes. + 1 to: numBytes do: + [:i| data at: i put: (bufferStartCArray at: i - 1)]. + ^[Socket basicNew + primSocket: ((self hostSocketHandleFromSimSocketHandle: socketHandleCArray) ifNil: [^0]) + sendData: data + startIndex: 1 + count: numBytes] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + 0]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocketConnectionStatus: (in category 'simulation') ----- + sqSocketConnectionStatus: socketHandleCArray + ^[Socket basicNew + primSocketConnectionStatus: ((self hostSocketHandleFromSimSocketHandle: socketHandleCArray) ifNil: [^-1])] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + -1]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocketDestroy: (in category 'simulation') ----- + sqSocketDestroy: socketHandleCArray + | simHandle hostHandle | + simHandle := self simSocketHandleFrom: socketHandleCArray. + hostHandle := simSocketToHostSocketMap removeKey: simHandle ifAbsent: []. + hostHandle ifNil: + [interpreterProxy primitiveFail. + ^self]. + hostSocketToSimSocketMap removeKey: hostHandle ifAbsent: []. + [Socket basicNew primSocketDestroy: hostHandle] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocketReceiveDataAvailable: (in category 'simulation') ----- + sqSocketReceiveDataAvailable: socketHandleCArray + ^[Socket basicNew + primSocketReceiveDataAvailable: ((self hostSocketHandleFromSimSocketHandle: socketHandleCArray) ifNil: [^false])] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + false]! Item was added: + ----- Method: SocketPluginSimulator>>sqSocketSendDone: (in category 'simulation') ----- + sqSocketSendDone: socketHandleCArray + ^[Socket basicNew + primSocketSendDone: ((self hostSocketHandleFromSimSocketHandle: socketHandleCArray) ifNil: [^false])] + on: SocketPrimitiveFailed + do: [:ex| + interpreterProxy primitiveFail. + false]! Item was added: + ----- Method: SpurMemoryManager>>signalSemaphoreWithIndex: (in category 'simulation only') ----- + signalSemaphoreWithIndex: index + "hack around the CoInterpreter/ObjectMemory split refactoring" + <doNotGenerate> + ^coInterpreter signalSemaphoreWithIndex: index! Item was changed: ----- Method: StackInterpreterSimulator>>signalSemaphoreWithIndex: (in category 'process primitive support') ----- signalSemaphoreWithIndex: index "This is a non-thread-safe simulation. See platforms/Cross/vm/sqExternalSemaphores.c for the real code." index <= 0 ifTrue: [^false]. index > externalSemaphoreSignalRequests size ifTrue: [| newRequests newResponses | newRequests := Array new: 1 << index highBit withAll: 0. newResponses := newRequests copy. newRequests replaceFrom: 1 to: externalSemaphoreSignalRequests size with: externalSemaphoreSignalRequests startingAt: 1. newResponses replaceFrom: 1 to: externalSemaphoreSignalResponses size with: externalSemaphoreSignalResponses + startingAt: 1. + externalSemaphoreSignalRequests := newRequests. + externalSemaphoreSignalResponses := newResponses]. - startingAt: 1]. externalSemaphoreSignalRequests at: index put: (externalSemaphoreSignalRequests at: index) + 1. ^true!

3 6

[OpenSmalltalk/opensmalltalk-vm] 439e7b: CogVM plugin source as per VMMaker.oscog-eem.2064
by GitHub 31 Dec '16

31 Dec '16

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 439e7bbd0db64faf3c2cf6bfe782a472d3ed760d https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/439e7bbd0db64faf3c… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2016-12-31 (Sat, 31 Dec 2016) Changed paths: M src/plugins/ADPCMCodecPlugin/ADPCMCodecPlugin.c M src/plugins/B2DPlugin/B2DPlugin.c M src/plugins/B3DAcceleratorPlugin/B3DAcceleratorPlugin.c M src/plugins/BitBltPlugin/BitBltPlugin.c M src/plugins/CroquetPlugin/CroquetPlugin.c M src/plugins/DSAPrims/DSAPrims.c M src/plugins/FilePlugin/FilePlugin.c M src/plugins/GeniePlugin/GeniePlugin.c M src/plugins/HostWindowPlugin/HostWindowPlugin.c M src/plugins/IA32ABI/IA32ABI.c M src/plugins/ImmX11Plugin/ImmX11Plugin.c M src/plugins/JPEGReadWriter2Plugin/JPEGReadWriter2Plugin.c M src/plugins/JPEGReaderPlugin/JPEGReaderPlugin.c M src/plugins/Klatt/Klatt.c M src/plugins/LargeIntegers/LargeIntegers.c M src/plugins/LocalePlugin/LocalePlugin.c M src/plugins/MIDIPlugin/MIDIPlugin.c M src/plugins/MacMenubarPlugin/MacMenubarPlugin.c M src/plugins/MiscPrimitivePlugin/MiscPrimitivePlugin.c M src/plugins/Mpeg3Plugin/Mpeg3Plugin.c M src/plugins/ScratchPlugin/ScratchPlugin.c M src/plugins/SerialPlugin/SerialPlugin.c M src/plugins/SocketPlugin/SocketPlugin.c M src/plugins/SoundGenerationPlugin/SoundGenerationPlugin.c M src/plugins/SqueakFFIPrims/ARM32FFIPlugin.c M src/plugins/SqueakFFIPrims/IA32FFIPlugin.c M src/plugins/SqueakFFIPrims/X64SysVFFIPlugin.c M src/plugins/SqueakFFIPrims/X64Win64FFIPlugin.c M src/plugins/StarSqueakPlugin/StarSqueakPlugin.c M src/plugins/UnicodePlugin/UnicodePlugin.c M src/plugins/UnixOSProcessPlugin/UnixOSProcessPlugin.c M src/plugins/VMProfileLinuxSupportPlugin/VMProfileLinuxSupportPlugin.c M src/plugins/VMProfileMacSupportPlugin/VMProfileMacSupportPlugin.c M src/plugins/Win32OSProcessPlugin/Win32OSProcessPlugin.c M src/plugins/ZipPlugin/ZipPlugin.c Log Message: ----------- CogVM plugin source as per VMMaker.oscog-eem.2064 SmartSyntaxPlugin Slang: Avoid generating unreachable code when failing. Avoid an unnecessary test for failed if returning an expression which can't fail. Don't generate the return guard if there's nothing to guard. Commit: 5272c868063f3bdfe2c3a7c7636b65acf480f8d3 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/5272c868063f3bdfe2… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2016-12-31 (Sat, 31 Dec 2016) Changed paths: M platforms/unix/vm/sqUnixSpurMemory.c M platforms/win32/vm/sqWin32SpurAlloc.c Log Message: ----------- Merge branch 'Cog' of http://www.github.com/opensmalltalk/vm into Cog Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/11880398af1d...52…

1 0

VM Maker: VMMaker.oscog-eem.2064.mcz
by commits＠source.squeak.org 31 Dec '16

31 Dec '16

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2064.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2064 Author: eem Time: 31 December 2016, 2:47:35.497669 pm UUID: 732488bd-fbde-43e8-b942-4ca3e05e53a6 Ancestors: VMMaker.oscog-eem.2063 SmartSyntaxPlugin Slang: And don't generate the return guard if there's nothing to guard. =============== Diff against VMMaker.oscog-eem.2063 =============== Item was changed: ----- Method: SmartSyntaxPluginTMethod>>fixUpReturnOneStmt:on: (in category 'transforming') ----- fixUpReturnOneStmt: stmt on: sStream stmt isReturn ifFalse: [^sStream nextPut: stmt]. (stmt expression isSend and: [#('primitiveFail' 'primitiveFailFor:') includes: stmt expression selector]) ifTrue: ["failure return" sStream nextPut: stmt expression. sStream nextPut: self nullReturnExpr. ^nil]. (stmt expression isVariable and: ['nil' = stmt expression name]) ifTrue: ["^ nil -- this is never right unless automatically generated" sStream nextPut: stmt. ^nil]. (stmt expression isVariable and: ['self' = stmt expression name]) ifTrue: ["^ self" self generateFailureGuardOn: sStream. fullArgs isEmpty ifFalse:[ sStream nextPut: (self popExpr: fullArgs size)]. sStream nextPut: self nullReturnExpr. ^nil]. (stmt expression isVariable | stmt expression isConstant | suppressingFailureGuards) ifTrue: ["^ variable or ^ constant or ^ expr without guardchecking" self generateFailureGuardOn: sStream. sStream nextPut: (self pop: fullArgs size + 1 thenReturnExpr: stmt expression). sStream nextPut: self nullReturnExpr. ^nil]. "^ expr with necessary guard checking" + sStream isEmpty ifFalse: [self generateFailureGuardOn: sStream]. - self generateFailureGuardOn: sStream. (self resultExpressionAlwaysFails: stmt expression) ifTrue: [sStream nextPut: stmt expression] ifFalse: [sStream nextPut: (self assign: (self oopVariable: '_return_value') expression: stmt expression). (self resultExpressionCanFail: stmt expression) ifTrue: [self generateFailureGuardOn: sStream]. sStream nextPut: (self pop: fullArgs size + 1 thenReturnExpr: (self oopVariable: '_return_value'))]. sStream nextPut: self nullReturnExpr!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev December 2016