Vm-dev December 2014

vm-dev@lists.squeakfoundation.org

33 participants
160 discussions

VM Maker: Cog-eem.231.mcz
by commits＠source.squeak.org 26 Dec '14

26 Dec '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.231.mcz ==================== Summary ==================== Name: Cog-eem.231 Author: eem Time: 25 December 2014, 3:24:27.566 pm UUID: 05230b26-8846-4550-8343-40baaf79bffd Ancestors: Cog-eem.230 Fix bug in 32-bit to 64-bit bootstrap that pinned all objects. Add pinning methods. =============== Diff against Cog-eem.230 =============== Item was changed: ----- Method: Spur32to64BitBootstrap>>clone: (in category 'bootstrap image') ----- clone: obj32 | obj64 format numSlots numBytes hash | format := heap32 formatOf: obj32. numSlots := heap32 numSlotsOf: obj32. format > heap32 lastPointerFormat ifTrue: [format < heap32 firstByteFormat ifTrue: [format = heap32 firstLongFormat ifTrue: [numSlots := heap32 numSlotsOf: obj32. numSlots odd ifTrue: [format := format + 1]. numSlots := numSlots + 1 // 2] ifFalse: [self error: 'bad format']] ifFalse: [numBytes := heap32 numBytesOf: obj32. format < heap32 firstCompiledMethodFormat ifTrue: [format := heap64 byteFormatForNumBytes: numBytes. numSlots := numSlots + 1 // 2] ifFalse: [numSlots := heap32 numPointerSlotsOf: obj32. numBytes := numBytes - (numSlots * heap32 bytesPerOop). format := (heap64 byteFormatForNumBytes: numBytes) + heap32 firstCompiledMethodFormat - heap32 firstByteFormat. numSlots := numSlots + (heap64 numSlotsForBytes: numBytes)]]]. obj64 := heap64 allocateSlots: numSlots format: format classIndex: (heap32 classIndexOf: obj32). (hash := heap32 rawHashBitsOf: obj32) ~= 0 ifTrue: [heap64 setHashBitsOf: obj64 to: hash]. + (heap32 isImmutable: obj32) ifTrue: - (heap32 isImmutable: obj32) ~= 0 ifTrue: [heap64 setIsImmutableOf: obj64 to: true]. + (heap32 isPinned: obj32) ifTrue: - (heap32 isPinned: obj32) ~= 0 ifTrue: [heap64 setIsPinnedOf: obj64 to: true]. self deny: (heap32 isRemembered: obj32). self deny: (heap32 isMarked: obj32). self deny: (heap32 isGrey: obj32). reverseMap at: obj64 put: obj32. ^map at: obj32 put: obj64! Item was changed: ----- Method: SpurBootstrap class>>categoryForClass:meta:selector: (in category 'method prototype categorization') ----- categoryForClass: className meta: isMeta selector: selector ^(isMeta ifTrue: [{ className. #class. selector }] ifFalse: [{ className. selector }]) caseOf: { [#(Behavior allInstancesOrNil)] -> [#enumerating]. [#(Behavior byteSizeOfInstance)] -> [#'accessing instances and variables']. [#(Behavior byteSizeOfInstanceOfSize:)] -> [#'accessing instances and variables']. [#(Behavior elementSize)] -> [#'accessing instances and variables']. [#(Behavior handleFailingBasicNew)] -> [#private]. [#(Behavior handleFailingBasicNew:)] -> [#private]. [#(Behavior handleFailingFailingBasicNew)] -> [#private]. [#(Behavior handleFailingFailingBasicNew:)] -> [#private]. [#(Behavior identityHash)] -> [#comparing]. [#(Behavior isCompiledMethodClass)] -> [#testing]. [#(Behavior isEphemeronClass)] -> [#testing]. [#(Behavior isImmediateClass)] -> [#testing]. [#(BoxedFloat64 class basicNew)] -> [#'instance creation']. [#(BoxedFloat64 class basicNew:)] -> [#'instance creation']. [#(Character identityHash)] -> [#comparing]. [#(Character setValue:)] -> [#accessing]. [#(Class immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category:)] -> [#'subclass creation']. [#(ClassBuilder superclass:immediateSubclass:instanceVariableNames:classVariableNames:poolDictionaries:category:)] -> [#public]. [#(CompiledMethod bytecodeSetName)] -> [#accessing]. [#(CompiledMethod class handleFailingFailingNewMethod:header:)] -> [#private]. [#(CompiledMethod class handleFailingNewMethod:header:)] -> [#private]. [#(CompiledMethod class headerFlagForEncoder:)] -> [#'method encoding']. [#(CompiledMethod class installPrimaryBytecodeSet:)] -> [#'class initialization']. [#(CompiledMethod class installSecondaryBytecodeSet:)] -> [#'class initialization']. [#(Context class allInstances)] -> [#enumerating]. [#(Context class allInstancesDo:)] -> [#enumerating]. [#(Context failPrimitiveWith:)] -> [#'system simulation']. [#(Context isPrimFailToken:)] -> [#private]. [#(Context send:to:with:lookupIn:)] -> [#controlling]. [#(ContextPart isPrimFailToken:)] -> [#private]. [#(ContextPart send:to:with:lookupIn:)] -> [#controlling]. [#(EncoderForV3 computeMethodHeaderForNumArgs:numTemps:numLits:primitive:)] -> [#'method encoding']. [#(EncoderForV3PlusClosures genCallPrimitive:)] -> [#'bytecode generation']. [#(EncoderForV3PlusClosures class callPrimitiveCode)] -> [#'bytecode decoding']. [#(MethodContext failPrimitiveWith:)] -> [#'system simulation']. [#(MethodContext class allInstances)] -> [#enumerating]. [#(MethodContext class allInstancesDo:)] -> [#enumerating]. + [#(Object isPinned)] -> [#'system primitives']. + [#(Object pin)] -> [#'system primitives']. + [#(Object setPinned:)] -> [#'system primitives']. + [#(Object unpin)] -> [#'system primitives']. [#(SmallFloat64 class basicNew)] -> [#'instance creation']. [#(SmallFloat64 class basicNew:)] -> [#'instance creation']. [#(SmallFloat64 clone)] -> [#copying]. [#(SmallFloat64 copy)] -> [#copying]. [#(SmallFloat64 deepCopy)] -> [#copying]. + [#(SmallFloat64 identityHash)] -> [#comparing]. [#(SmallFloat64 shallowCopy)] -> [#copying]. [#(SmallFloat64 veryDeepCopyWith:)] -> [#copying]. [#(SmallInteger asCharacter)] -> [#converting]. [#(SmalltalkImage growMemoryByAtLeast:)] -> [#'memory space']. [#(SmalltalkImage maxIdentityHash)] -> [#'system attributes']. [#(SystemDictionary growMemoryByAtLeast:)] -> [#'memory space']. [#(SystemDictionary maxIdentityHash)] -> [#'system attributes']. [#(SystemDictionary setGCParameters)] -> [#'snapshot and quit']. [#(SystemNavigation allObjects)] -> [#query]. [#(SystemNavigation allObjectsOrNil)] -> [#query]. } otherwise: [Transcript nextPutAll: className. isMeta ifTrue: [Transcript nextPutAll: ' class']. Transcript nextPutAll: '>>'; store: selector; nextPutAll: ' is unclassified'; cr; flush. ^Categorizer default]! Item was added: + ----- Method: SpurBootstrapPrototypes>>ObjectPROTOTYPEisPinned (in category 'method prototypes') ----- + ObjectPROTOTYPEisPinned + "Answer if the receiver is pinned. The VM's garbage collector routinely moves + objects as it reclaims and compacts memory. But it can also pin an object so + that it will not be moved, which can make it easier to pass objects out through + the FFI." + <primitive: 183 error: ec> + ^self primitiveFailed! Item was added: + ----- Method: SpurBootstrapPrototypes>>ObjectPROTOTYPEpin (in category 'method prototypes') ----- + ObjectPROTOTYPEpin + "The VM's garbage collector routinely moves objects as it reclaims and compacts + memory. But it can also pin an object so that it will not be moved, which can make + it easier to pass objects out through the FFI. Objects are unpinnned when created. + This method ensures an object is pinned, and answers whether it was already pinned." + ^self setPinned: true! Item was added: + ----- Method: SpurBootstrapPrototypes>>ObjectPROTOTYPEsetPinned: (in category 'method prototypes') ----- + ObjectPROTOTYPEsetPinned: aBoolean + "The VM's garbage collector routinely moves objects as it reclaims and compacts + memory. But it can also pin an object so that it will not be moved, which can make + it easier to pass objects out through the FFI. Objects are unpinnned when created. + This primitive either pins or unpins an object, and answers if it was already pinned." + <primitive: 184 error: ec> + ^self primitiveFailed! Item was added: + ----- Method: SpurBootstrapPrototypes>>ObjectPROTOTYPEunpin (in category 'method prototypes') ----- + ObjectPROTOTYPEunpin + "The VM's garbage collector routinely moves objects as it reclaims and compacts + memory. But it can also pin an object so that it will not be moved, which can make + it easier to pass objects out through the FFI. Objects are unpinnned when created. + This method ensures an object is unpinned, and answers whether it was pinned." + ^self setPinned: false!

1 0

VM Maker: VMMaker.oscog-eem.998.mcz
by commits＠source.squeak.org 23 Dec '14

23 Dec '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.998.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.998 Author: eem Time: 23 December 2014, 9:31:13.819 am UUID: 20a6acb3-9a01-4219-b650-8966301ffe11 Ancestors: VMMaker.oscog-eem.997 Fix printStackReferencesTo: for CoInterpreter. Similarly collapse printFrame: into StackInterpreter only. Declare as #undeclared CoInterpreter-specific indices in StackInterpreter. =============== Diff against VMMaker.oscog-eem.997 =============== Item was removed: - ----- Method: CoInterpreter>>printFrame: (in category 'debug printing') ----- - printFrame: theFP - | thePage theSP | - <inline: false> - <var: #theFP type: #'char *'> - <var: #thePage type: #'StackPage *'> - <var: #theSP type: #'char *'> - theFP = framePointer - ifTrue: [theSP := stackPointer] - ifFalse: - [thePage := stackPages stackPageFor: theFP. - (stackPages isFree: thePage) ifTrue: - [self printHexPtr: theFP; print: ' is on a free page?!!'; cr. - ^nil]. - (thePage ~= stackPage - and: [theFP = thePage headFP]) - ifTrue: [theSP := thePage headSP] - ifFalse: - [theSP := self findSPOrNilOf: theFP - on: thePage - startingFrom: ((thePage = stackPage - and: [framePointer - between: thePage realStackLimit - and: thePage baseAddress]) - ifTrue: [framePointer] - ifFalse: [thePage headFP])]]. - theSP isNil ifTrue: - [self print: 'could not find sp; using bogus value'; cr. - theSP := theFP + ((self isMachineCodeFrame: theFP) - ifTrue: [FoxMFReceiver] - ifFalse: [FoxIFReceiver])]. - self printFrame: theFP WithSP: theSP! Item was changed: ----- Method: StackInterpreter class>>initializeFrameIndices (in category 'initialization') ----- initializeFrameIndices "Format of a stack frame. Word-sized indices relative to the frame pointer. Terminology Frames are either single (have no context) or married (have a context). Contexts are either single (exist on the heap), married (have a context) or widowed (had a frame that has exited). Stacks grow down: receiver for method activations/closure for block activations arg0 ... argN caller's method ip/base frame's sender context fp-> saved fp method frame flags context (uninitialized) receiver first temp ... sp-> Nth temp frame flags holds the number of arguments (since argument temporaries are above the frame) the flag for a block activation and the flag indicating if the context field is valid (whether the frame is married). The first frame in a stack page is the baseFrame and is marked as such by a null saved fp, in which case the saved method ip is actually the context (possibly hybrid) beneath the base frame" | fxCallerSavedIP fxSavedFP fxMethod fxFrameFlags fxThisContext fxReceiver | fxCallerSavedIP := 1. fxSavedFP := 0. fxMethod := -1. fxFrameFlags := -2. "Can find numArgs, needed for fast temp access. args are above fxCallerSavedIP. + Can find ``is block'' bit + Can find ``has context'' bit" - Can find ``is block'' bit - Can find ``has context'' bit" fxThisContext := -3. fxReceiver := -4. FrameSlots := fxCallerSavedIP - fxReceiver + 1. FoxCallerSavedIP := fxCallerSavedIP * BytesPerWord. "In base frames the caller saved ip field holds the caller context." FoxCallerContext := FoxCallerSavedIP. FoxSavedFP := fxSavedFP * BytesPerWord. FoxMethod := fxMethod * BytesPerWord. FoxFrameFlags := fxFrameFlags * BytesPerWord. FoxThisContext := fxThisContext * BytesPerWord. + FoxReceiver := fxReceiver * BytesPerWord. + + "Mark the CoInterpreter-specific offsets as #undeclared to + avoid including them accidentally in StackInterpreter code." + IFrameSlots := #undeclared. + MFrameSlots := #undeclared. + FoxIFrameFlags := #undeclared. + FoxIFSavedIP := #undeclared. + FoxIFReceiver := #undeclared. + FoxMFReceiver := #undeclared! - FoxReceiver := fxReceiver * BytesPerWord! Item was changed: ----- Method: StackInterpreter>>printFrame: (in category 'debug printing') ----- printFrame: theFP | thePage theSP | <inline: false> <var: #theFP type: #'char *'> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> theFP = framePointer ifTrue: [theSP := stackPointer] ifFalse: [thePage := stackPages stackPageFor: theFP. (stackPages isFree: thePage) ifTrue: [self printHexPtr: theFP; print: ' is on a free page?!!'; cr. ^nil]. + (thePage ~= stackPage + and: [theFP = thePage headFP]) + ifTrue: [theSP := thePage headSP] + ifFalse: + [theSP := self findSPOrNilOf: theFP + on: thePage + startingFrom: ((thePage = stackPage + and: [framePointer + between: thePage realStackLimit + and: thePage baseAddress]) + ifTrue: [framePointer] + ifFalse: [thePage headFP])]]. + theSP ifNil: - theSP := self findSPOrNilOf: theFP - on: thePage - startingFrom: ((thePage = stackPage - and: [framePointer < thePage headFP]) - ifTrue: [framePointer] - ifFalse: [thePage headFP])]. - theSP isNil ifTrue: [self print: 'could not find sp; using bogus value'; cr. + theSP := self frameReceiverOffset: theFP]. - theSP := theFP + FoxReceiver]. self printFrame: theFP WithSP: theSP! Item was changed: ----- Method: StackInterpreter>>printStackReferencesTo: (in category 'object memory support') ----- printStackReferencesTo: oop <api> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> <var: #theFP type: #'char *'> <var: #callerFP type: #'char *'> 0 to: numStackPages - 1 do: [:i| | thePage theSP theFP callerFP | thePage := stackPages stackPageAt: i. thePage isFree ifFalse: [theSP := thePage headSP. + theFP := thePage headFP. - theFP := thePage headFP. "Skip the instruction pointer on top of stack of inactive pages." thePage = stackPage ifFalse: [theSP := theSP + objectMemory wordSize]. + [[theSP <= (self frameReceiverOffset: theFP)] whileTrue: - [[theSP <= (theFP + FoxReceiver)] whileTrue: [oop = (stackPages longAt: theSP) ifTrue: [self print: 'FP: '; printHexnp: theFP; print: ' @ '; printHexnp: theSP; cr]. theSP := theSP + objectMemory wordSize]. + (self frameHasContext: theFP) ifTrue: - (self frameHasContext: theFP) ifTrue: [oop = (self frameContext: theFP) ifTrue: [self print: 'FP: '; printHexnp: theFP; print: ' CTXT'; cr]]. + oop = (self frameMethod: theFP) ifTrue: - oop = (self frameMethod: theFP) ifTrue: [self print: 'FP: '; printHexnp: theFP; print: ' MTHD'; cr]. + (callerFP := self frameCallerFP: theFP) ~= 0] + whileTrue: + [theSP := (theFP + FoxCallerSavedIP) + objectMemory wordSize. + theFP := callerFP]. + theSP := theFP + FoxCallerSavedIP. "a.k.a. FoxCallerContext" - (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: - [theSP := (theFP + FoxCallerSavedIP) + objectMemory wordSize. - theFP := callerFP]. - theSP := theFP + FoxCallerContext. "a.k.a. FoxCallerSavedIP" [theSP <= thePage baseAddress] whileTrue: [oop = (stackPages longAt: theSP) ifTrue: [self print: 'FP: '; printHexnp: theFP; print: ' @ '; printHexnp: theSP; cr]. theSP := theSP + objectMemory wordSize]]]!

1 0

Re: [Pharo-dev] Cog in the cloud
by Ben Coman 22 Dec '14

22 Dec '14

(whoops forgot to cross-post) Eliot Miranda wrote: > Hi Ben, > > > On Dec 19, 2014, at 8:08 PM, Ben Coman <btc(a)openInWorld.com> wrote: > >> Just some thoughts that arose as I skipped along the web... >> >> With the idea of using Pharo in the cloud, I was thinking of how PharoNOS[1] is basing off top of the Linux kernel, but the examples indicate its operating in User Mode. So I was wondering about performance being greater[2] if the CogVM ran in Kernel Mode. However maybe this could get tangled in the GPL license of the kernel. >> >> Now I believe FreeBSD/NetBSD license is compatible with COG's MIT license, so that seems a better option for eliminating layers of the operating system. They both[3][4] have pre-built Amazon Machine Images to run on EC2, as well as instructions[5] to build your own AMI. So potentially we could build an AMI with the CogVM linked to the FreeBSDKernel operating in Kernel Mode, with no User Mode. The lack of direct access to memory from the Image, and probably single application focus should be sufficient security to forgo User Mode, and run faster. >> >> But we could go a step further. Runing in the cloud relies heavily on virtualisation, and for performance[6], most likely on the OS's paravirtualisation interface - to Xen for example. So from Cog, why not interface direct to the Xen FrontEndDriver[7] and eliminate the DomU operating system all together. What I understand from [6] is that Xen's paravirtualisation hooks makes it much easier to boot, than booting on the bare metal of a fully-virtualised system. So the former seems more achievable than the latter (which was the only option in years past), and also be more portable as technology evolves, to any platform Xen runs on. >> >> Squeak/Pharo on Cog-Xen could be a good choice for a Cloud Operating System[8]. Maybe a good student research project? > > This sounds really cool, but could you analyse a bit further? > > - what key economic and managerial benefits accrue from this configuration? I'll put some more thought into this, but just off the top of my head (so it turned out more technical than economic/managerial): * Eliminates performance overhead of system call context switching. Although this is replaced by hypercalls, it removes one layer on hypervisor systems, which plausibly is going to be EVERYTHING in the future. * Eliminate performance overhead of OS networking stack http://roscidus.com/blog/blog/2014/08/15/optimising-the-unikernel/ * Data from virtual devices is event driven. * More easily portable to different ARM platforms. Xen will present a common interface to hide platform idiosyncrasies. --> More widespread embedded use Cog. http://www.slideshare.net/xen_com_mgr/free-rtos-xensummit * Run databases in their own domain. * Isolate plugin memory space. Rather than linking plugins into Cog, potentially threatening its stability, run them in a separate domain and use high-speed inter-domain shared memory. http://www.cs.ucsb.edu/~nanli/projects/cs270.pdf * Have a cloud community of thousands** of Images running each in their own domain, communicating with high-speed inter-domain shared memory. ** presumptive figure - would need to check scaling ability * Data sharing on high density hosting providers. Not sure if its there yet, but may get Copy-On-Write http://www-archive.xenproject.org/files/xensummit_fall07/18_GregorMilos.pdf * In very large Images, which Spur will allow, perhaps a better way to snapshot an Image is via virtual machine snapshotting using Copy-On. http://www.cercs.gatech.edu/tech-reports/tr2010/git-cercs-10-05.pdf * Rather than convert the Cog/Image to be multi-threaded, could have many grid nodes running their own domain, communicating with high speed shared memory. http://www.cs.ucsb.edu/~nanli/projects/cs270.pdf http://osnet.cs.binghamton.edu/publications/hines07memx.pdf * AMD's hardware virtualisation eliminated a Ring and also segmented memory protection used by virtualisation to separate address spaces, so 64-bit AMD can be slower. Eliminating the OS kernel layer probably bypasses this limitation since there would be only two levels - Hypervisor & Cog. https://lse.epita.fr/data/2011-lse-summer-week/xen.pdf * Its where all the cool kids hang out --> marketing opportunity > > - what infrastructure is missing? (e.g. what key drivers need implementing?) I'll need to understand Cog more. As a start, here are some porting and API docs... http://events.linuxfoundation.org/sites/events/files/slides/Porting%20FreeB… http://oss.org.cn/ossdocs/server_storage/xen/interface/interface.html http://www.informit.com/articles/article.aspx?p=1160234&seqNum=4 https://lse.epita.fr/data/2011-lse-summer-week/xen.pdf https://github.com/cloudius-systems/osv/blob/master/drivers/xenfront-xenbus… cheers -ben >> >> [1] http://pillarhub.pharocloud.com/hub/mikefilonov/pharonos >> [2] http://blog.codinghorror.com/understanding-user-and-kernel-mode/ >> [3] http://www.daemonology.net/freebsd-on-ec2/ >> [4] http://wiki.netbsd.org/amazon_ec2/amis/ >> [5] http://wiki.netbsd.org/amazon_ec2/build_your_own_ami/ >> [6] http://wiki.xen.org/wiki/Virtualization_Spectrum >> [7] http://wiki.xen.org/wiki/FrontendDriver >> [8] http://wiki.xen.org/wiki/Cloud_Operating_Systems > > > Eliot (phone) >

2 2

VM Maker: Cog-eem.230.mcz
by commits＠source.squeak.org 22 Dec '14

22 Dec '14

Eliot Miranda uploaded a new version of Cog to project VM Maker: http://source.squeak.org/VMMaker/Cog-eem.230.mcz ==================== Summary ==================== Name: Cog-eem.230 Author: eem Time: 22 December 2014, 1:48:33.304 pm UUID: 24969f5e-e5a9-49a3-927e-28f5610df9f0 Ancestors: Cog-eem.229 Spur bootstrap: Add SmallFLoat64>>identityHash. Needs VMMaker.oscog-eem.997. Change ClassDescription>>updateInstancesFrom:... to use forwarding become. This is necessary if the GC in ClassBuilder>>#update:to: is to be avoided. =============== Diff against Cog-eem.229 =============== Item was added: + ----- Method: SpurBootstrapPrototypes>>ClassDescriptionPROTOTYPEupdateInstances:from:isMeta: (in category 'method prototypes') ----- + ClassDescriptionPROTOTYPEupdateInstances: oldInstances from: oldClass isMeta: isMeta + "Recreate any existing instances of the argument, oldClass, as instances of the receiver, + which is a newly changed class. Permute variables as necessary, and forward old instances + to new instances. Answer nil to defeat old clients that expect an array of old instances. + The old behaviour, which necessitated a global GC, exchanged identities and answered + the old instances. But no clients used the result. This way we avoid the unnecessary GC," + | map variable instSize newInstances | + + oldInstances isEmpty ifTrue: + [^nil]. "no instances to convert" + isMeta ifTrue: + [(oldInstances size = 1 + and: [self soleInstance class == self]) ifFalse: + [^self error:'Metaclasses can only have one instance']]. + map := self instVarMappingFrom: oldClass. + variable := self isVariable. + instSize := self instSize. + newInstances := Array new: oldInstances size. + 1 to: oldInstances size do: + [:i| + newInstances + at: i + put: (self newInstanceFrom: (oldInstances at: i) variable: variable size: instSize map: map)]. + "Now perform a bulk mutation of old instances into new ones" + oldInstances elementsForwardIdentityTo: newInstances. + ^nil! Item was added: + ----- Method: SpurBootstrapPrototypes>>ClassDescriptionPROTOTYPEupdateInstancesFrom: (in category 'method prototypes') ----- + ClassDescriptionPROTOTYPEupdateInstancesFrom: oldClass + "Recreate any existing instances of the argument, oldClass, as instances of + the receiver, which is a newly changed class. Permute variables as necessary, + and forward old instances to new instances.. Answer nil to defeat any clients + that expected the old behaviour of answering the array of old instances." + "ar 7/15/1999: The updating below is possibly dangerous. If there are any + contexts having an old instance as receiver it might crash the system if + the new receiver in which the context is executed has a different layout. + See bottom below for a simple example:" + self updateInstances: oldClass allInstances asArray from: oldClass isMeta: self isMeta. + "Now fix up instances in segments that are out on the disk." + ImageSegment allSubInstancesDo: + [:seg | + seg segUpdateInstancesOf: oldClass toBe: self isMeta: self isMeta]. + ^nil + + "This attempts to crash the VM by stepping off the end of an instance. + As the doctor says, do not do this." + " | crashingBlock class | + class := Object subclass: #CrashTestDummy + instanceVariableNames: 'instVar' + classVariableNames: '' + poolDictionaries: '' + category: 'Crash-Test'. + class compile:'instVar: value instVar := value'. + class compile:'crashingBlock ^[instVar]'. + crashingBlock := (class new) instVar: 42; crashingBlock. + Object subclass: #CrashTestDummy + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Crash-Test'. + crashingBlock value"! Item was added: + ----- Method: SpurBootstrapPrototypes>>SmallFloat64PROTOTYPEidentityHash (in category 'method prototypes') ----- + SmallFloat64PROTOTYPEidentityHash + "Answer an integer unique to the receiver." + <primitive: 171> + ^self primitiveFailed!

1 0

VM Maker: VMMaker.oscog-eem.997.mcz
by commits＠source.squeak.org 22 Dec '14

22 Dec '14

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.997.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.997 Author: eem Time: 22 December 2014, 1:13:29.425 pm UUID: 91767646-27b5-4e5b-9a0f-fc5fc4bdceb5 Ancestors: VMMaker.oscog-tpr.996 Replace primitiveCharacterValue with primitiveImmediateAsInteger which provides SmallFloat64>>identityHash as well as Character>> asInteger. Refactor small float manipulations to introduce smallFloatBitsOf:. Provide printStackReferencesTo:. Fix slip in StackToRegisterMappingCogit>>genBinaryConstOpVarInlinePrimitive: Fix slip in shortPrint:. Simulator: Fix simulation of followForwardingPointersInStackZone:. =============== Diff against VMMaker.oscog-tpr.996 =============== Item was removed: - ----- Method: InterpreterPrimitives>>primitiveCharacterValue (in category 'object access primitives') ----- - primitiveCharacterValue - | characterCode characterObject | - characterObject := self stackTop. - characterCode := CharacterTable - ifNil: [objectMemory integerObjectOf: (objectMemory characterValueOf: characterObject)] - ifNotNil: [objectMemory fetchPointer: CharacterValueIndex ofObject: characterObject]. - "the Character must be the receiver for safety" - self pop: 1 thenPush: characterCode! Item was added: + ----- Method: InterpreterPrimitives>>primitiveImmediateAsInteger (in category 'arithmetic float primitives') ----- + primitiveImmediateAsInteger + "For a Smalnteger, answer itself. + For a Character, answer its code as an unsigned integer. + For a SmallFloat, answer the signed, but unadjusted bit pattern (so as to keep the result a SmallInteger). + This is a good value for an immediate's hash." + <option: #Spur64BitMemoryManager> + | oop value | + oop := self stackTop. + (objectMemory isIntegerObject: oop) ifTrue: + [value := objectMemory integerValueOf: oop] ifFalse: + [(objectMemory isCharacterObject: oop) ifTrue: + [value := objectMemory characterValueOf: oop] ifFalse: + [(objectMemory isImmediateFloat: oop) ifTrue: + [value := objectMemory rotatedFloatBitsOf: oop] ifFalse: + [^self primitiveFailFor: PrimErrBadReceiver]]]. + self pop: argumentCount thenPushInteger: value! Item was added: + ----- Method: InterpreterPrimitives>>primitiveSmallFloatHash (in category 'arithmetic float primitives') ----- + primitiveSmallFloatHash + "Answer the ieee 754 double precision floating point bits of the SmallFloat receiver." + <option: #Spur64BitMemoryManager> + + self pop: 1 thenPush: (objectMemory positive64BitIntegerFor: (objectMemory smallFloatBitsOf: self stackTop))! Item was changed: ----- Method: Spur64BitMMLESimulator>>longAt:put: (in category 'memory access') ----- longAt: byteAddress put: a32BitValue "Store the 64-bit value at byteAddress which must be 0 mod 4." + "byteAddress = 16r1F5AE8 ifTrue: [self halt]." - ^self long64At: byteAddress put: a32BitValue! Item was changed: ----- Method: Spur64BitMemoryManager>>fetchLong32:ofFloatObject: (in category 'object access') ----- fetchLong32: fieldIndex ofFloatObject: oop "index by word size, and return a pointer as long as the word size" + | bits | - | rot | (self isImmediateFloat: oop) ifFalse: [^self fetchLong32: fieldIndex ofObject: oop]. + bits := self smallFloatBitsOf: oop. - - rot := oop >> self numTagBits. - rot > 1 ifTrue: - [rot := rot + (self smallFloatExponentOffset << (self smallFloatMantissaBits + 1))]. - rot := self rotateRight: rot. ^self + cCode: [self longAt: (self cCoerceSimple: (self addressOf: bits) to: #'char *') - cCode: [self longAt: (self cCoerceSimple: (self addressOf: rot) to: #'char *') + (fieldIndex << self shiftForWord)] inSmalltalk: [self flag: #endian. fieldIndex = 0 + ifTrue: [bits >> 32] + ifFalse: [bits bitAnd: 16rFFFFFFFF]]! - ifTrue: [rot >> 32] - ifFalse: [rot bitAnd: 16rFFFFFFFF]]! Item was changed: ----- Method: Spur64BitMemoryManager>>mem:mo:ve: (in category 'simulation only') ----- mem: destAddress mo: sourceAddress ve: bytes <doNotGenerate> | dst src | dst := destAddress asInteger. src := sourceAddress asInteger. "Emulate the c library memmove function" + self assert: bytes \\ 4 = 0. - self assert: bytes \\ 8 = 0. destAddress > sourceAddress ifTrue: + [bytes - 4 to: 0 by: -4 do: + [:i| self long32At: dst + i put: (self long32At: src + i)]] - [bytes - 8 to: 0 by: -8 do: - [:i| self longAt: dst + i put: (self longAt: src + i)]] ifFalse: + [0 to: bytes - 4 by: 4 do: + [:i| self long32At: dst + i put: (self long32At: src + i)]]! - [0 to: bytes - 8 by: 8 do: - [:i| self longAt: dst + i put: (self longAt: src + i)]]! Item was added: + ----- Method: Spur64BitMemoryManager>>rotatedFloatBitsOf: (in category 'interpreter access') ----- + rotatedFloatBitsOf: oop + "Answer the signed, but unadjusted value of a SmallFloat64, suitable for use as a hash. + Keeping the exponent unadjusted keeps the value in the SmallInteger range. + See section 61-bit Immediate Floats in the SpurMemoryManager class comment. + msb lsb + Decode: [8expsubset][52mantissa][1s][3tags] + shift away tags & sign: [ 0000 ][8expsubset][52mantissa] + add sign: [ ssss ][8expsubset][52mantissa]" + self assert: (self isImmediateFloat: oop). + ^oop asUnsignedInteger >> (self numTagBits + 1) + + ((oop anyMask: 1 << self numTagBits) + ifTrue: [-1 << (64 - self numTagBits - 1)] + ifFalse: [0])! Item was added: + ----- Method: Spur64BitMemoryManager>>smallFloatBitsOf: (in category 'interpreter access') ----- + smallFloatBitsOf: oop + "Answer the ieee 754 double precision floating point bits of the argument, a SmallFloat. + See section 61-bit Immediate Floats in the SpurMemoryManager class comment. + msb lsb + Decode: [8expsubset][52mantissa][1s][3tags] + shift away tags: [ 000 ][8expsubset][52mantissa][1s] + add exponent offset: [ 11 exponent ][52mantissa][1s] + rot sign: [1s][ 11 exponent ][52mantissa]" + | rot | + self assert: (self isImmediateFloat: oop). + rot := oop asUnsignedInteger >> self numTagBits. + rot > 1 ifTrue: "a.k.a. ~= +/-0.0" + [rot := rot + (self smallFloatExponentOffset << (self smallFloatMantissaBits + 1))]. + rot := self rotateRight: rot. + ^rot! Item was changed: ----- Method: Spur64BitMemoryManager>>smallFloatObjectOf: (in category 'interpreter access') ----- smallFloatObjectOf: aFloat "Encode the argument, aFloat in the SmallFloat range, as a tagged small float. See section 61-bit Immediate Floats in the SpurMemoryManager class comment. Encode: [1s][ 11 exponent ][52mantissa] rot sign: [ 11 exponent ][52mantissa][1s] sub exponent offset: [ 000 ][8expsubset][52 mantissa][1s] shift: [8expsubset][52 mantissa][1s][ 000 ] or/add tags: [8expsubset][52mantissa][1s][3tags]" <inline: true> <var: #aFloat type: #double> | rawFloat rot | <var: #rot type: #'unsigned long'> self assert: (self isSmallFloatValue: aFloat). rawFloat := self cCode: [(self cCoerce: (self addressOf: aFloat) to: 'sqLong *') at: 0] inSmalltalk: [(aFloat at: 1) << 32 + (aFloat at: 2)]. rot := self rotateLeft: rawFloat. + rot > 1 ifTrue: "a.k.a. ~= +/-0.0" - rot > 1 ifTrue: [rot := rot - (self smallFloatExponentOffset << (self smallFloatMantissaBits + 1)). self assert: rot > 0]. ^self cCode: [rot << self numTagBits + self smallFloatTag] inSmalltalk: [((rot << self numTagBits) bitAnd: 16rFFFFFFFFFFFFFFFF) + self smallFloatTag]! Item was changed: ----- Method: Spur64BitMemoryManager>>smallFloatValueOf: (in category 'interpreter access') ----- smallFloatValueOf: oop "Answer the C double precision floating point value of the argument, a SmallFloat. See section 61-bit Immediate Floats in the SpurMemoryManager class comment. msb lsb Decode: [8expsubset][52mantissa][1s][3tags] shift away tags: [ 000 ][8expsubset][52mantissa][1s] add exponent offset: [ 11 exponent ][52mantissa][1s] rot sign: [1s][ 11 exponent ][52mantissa]" + | bits | - | rot | <returnTypeC: #double> + bits := self smallFloatBitsOf: oop. + ^self cCode: [(self cCoerce: (self addressOf: bits) to: #'double *') at: 0] - self assert: (oop bitAnd: self tagMask) = self smallFloatTag. - rot := oop asUnsignedInteger >> self numTagBits. - rot > 1 ifTrue: - [rot := rot + (self smallFloatExponentOffset << (self smallFloatMantissaBits + 1))]. - rot := self rotateRight: rot. - ^self cCode: [(self cCoerce: (self addressOf: rot) to: #'double *') at: 0] inSmalltalk: [(Float new: 2) + at: 1 put: bits >> 32; + at: 2 put: (bits bitAnd: 16rFFFFFFFF); - at: 1 put: rot >> 32; - at: 2 put: (rot bitAnd: 16rFFFFFFFF); yourself]! Item was changed: ----- Method: SpurMemoryManager>>become:with:twoWay:copyHash: (in category 'become api') ----- become: array1 with: array2 twoWay: twoWayFlag copyHash: copyHashFlag "All references to each object in array1 are swapped with all references to the corresponding object in array2. That is, all pointers to one object are replaced with with pointers to the other. The arguments must be arrays of the same length. Answers PrimNoErr if the primitive succeeds, otherwise a relevant error code." "Implementation: Uses lazy forwarding to defer updating references until message send." | ec | self assert: becomeEffectsFlags = 0. self leakCheckBecome ifTrue: [self runLeakCheckerForFullGC: true]. (self isArray: array1) ifFalse: [^PrimErrBadReceiver]. ((self isArray: array2) and: [(self numSlotsOf: array1) = (self numSlotsOf: array2)]) ifFalse: [^PrimErrBadArgument]. (twoWayFlag or: [copyHashFlag]) ifTrue: [ec := self containsOnlyValidBecomeObjects: array1 and: array2] ifFalse: [self followForwardedObjectFields: array2 toDepth: 0. ec := self containsOnlyValidBecomeObjects: array1]. + ec ~= 0 ifTrue: + [becomeEffectsFlags := 0. + ^ec]. - ec ~= 0 ifTrue: [^ec]. coInterpreter preBecomeAction. twoWayFlag ifTrue: [self innerBecomeObjectsIn: array1 and: array2 copyHash: copyHashFlag] ifFalse: [self innerBecomeObjectsIn: array1 to: array2 copyHash: copyHashFlag]. self followSpecialObjectsOop. "N.B. perform coInterpreter's postBecomeAction: *before* postBecomeScanClassTable: to allow the coInterpreter to void method cache entries by spotting classIndices that refer to forwarded objects. postBecomeScanClassTable: follows forwarders in the table." coInterpreter postBecomeAction: becomeEffectsFlags. self postBecomeScanClassTable: becomeEffectsFlags. becomeEffectsFlags := 0. self assert: self validClassTableHashes. self leakCheckBecome ifTrue: [self runLeakCheckerForFullGC: true]. ^PrimNoErr "success"! Item was changed: ----- Method: StackInterpreter class>>initializePrimitiveTable (in category 'initialization') ----- (excessive size, no diff calculated) Item was changed: ----- Method: StackInterpreter>>followForwardingPointersInStackZone: (in category 'object memory support') ----- followForwardingPointersInStackZone: theBecomeEffectsFlags "Spur's become: is lazy, turning the becommed object into a forwarding object to the other. The read-barrier is minimised by arranging that forwarding pointers will fail a method cache probe, since notionally objects' internals are accessed only via sending messages to them, the exception is primitives that access the internals of the non-receiver argument(s). To avoid a read barrier on bytecode, literal and inst var fetch we scan the receivers and methods in the stack zone and follow any forwarded ones. This is of course way cheaper than scanning all of memory as in the old become." | theIPPtr | <inline: false> <var: #thePage type: #'StackPage *'> <var: #theSP type: #'char *'> <var: #theFP type: #'char *'> <var: #callerFP type: #'char *'> <var: #theIPPtr type: #usqInt> (theBecomeEffectsFlags anyMask: BecameCompiledMethodFlag) ifTrue: [(objectMemory isForwarded: method) ifTrue: [theIPPtr := instructionPointer - method. method := objectMemory followForwarded: method. instructionPointer := method + theIPPtr]. (objectMemory isForwarded: newMethod) ifTrue: [newMethod := objectMemory followForwarded: newMethod]]. self assert: stackPage ~= 0. 0 to: numStackPages - 1 do: [:i| | thePage theSP theFP callerFP theIP oop | thePage := stackPages stackPageAt: i. thePage isFree ifFalse: [theSP := thePage headSP. theFP := thePage headFP. "Skip the instruction pointer on top of stack of inactive pages." thePage = stackPage ifTrue: [theIPPtr := 0] ifFalse: + [theIPPtr := theSP asInteger. - [theIPPtr := theSP asUnsignedInteger. theSP := theSP + objectMemory wordSize]. [self assert: (thePage addressIsInPage: theFP). self assert: (theIPPtr = 0 or: [thePage addressIsInPage: theIPPtr asVoidPointer]). oop := stackPages longAt: theFP + FoxReceiver. (objectMemory isOopForwarded: oop) ifTrue: [stackPages longAt: theFP + FoxReceiver put: (objectMemory followForwarded: oop)]. theIP := (theFP + (self frameStackedReceiverOffset: theFP)) asInteger. "reuse theIP; its just an offset here" oop := stackPages longAt: theIP. (objectMemory isOopForwarded: oop) ifTrue: [stackPages longAt: theIP put: (objectMemory followForwarded: oop)]. ((self frameHasContext: theFP) and: [(objectMemory isForwarded: (self frameContext: theFP))]) ifTrue: [stackPages longAt: theFP + FoxThisContext put: (objectMemory followForwarded: (self frameContext: theFP))]. oop := self frameMethod: theFP. (objectMemory isForwarded: oop) ifTrue: [| newOop delta | newOop := objectMemory followForwarded: oop. theIPPtr ~= 0 ifTrue: [self assert: (stackPages longAt: theIPPtr) > (self frameMethod: theFP). delta := newOop - oop. stackPages longAt: theIPPtr put: (stackPages longAt: theIPPtr) + delta]. stackPages longAt: theFP + FoxMethod put: (oop := newOop)]. (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: [theIPPtr := (theFP + FoxCallerSavedIP) asInteger. theFP := callerFP]]]! Item was changed: ----- Method: StackInterpreter>>initializeInterpreter: (in category 'initialization') ----- initializeInterpreter: bytesToShift "Initialize Interpreter state before starting execution of a new image." interpreterProxy := self sqGetInterpreterProxy. self dummyReferToProxy. objectMemory initializeObjectMemory: bytesToShift. self checkAssumedCompactClasses. self initializeExtraClassInstVarIndices. method := newMethod := objectMemory nilObject. + self cCode: '' inSmalltalk: + [breakSelectorLength ifNil: + [breakSelectorLength := objectMemory minSmallInteger]]. - self cCode: '' inSmalltalk: [breakSelectorLength := objectMemory minSmallInteger]. methodDictLinearSearchLimit := 8. self flushMethodCache. self flushAtCache. self initialCleanup. profileSemaphore := profileProcess := profileMethod := objectMemory nilObject. interruptKeycode := 2094. "cmd-. as used for Mac but no other OS" [globalSessionID = 0] whileTrue: [globalSessionID := self cCode: [(self time: #NULL) + self ioMSecs] inSmalltalk: [(Random new next * SmallInteger maxVal) asInteger]]! Item was added: + ----- Method: StackInterpreter>>printStackReferencesTo: (in category 'object memory support') ----- + printStackReferencesTo: oop + <api> + <var: #thePage type: #'StackPage *'> + <var: #theSP type: #'char *'> + <var: #theFP type: #'char *'> + <var: #callerFP type: #'char *'> + 0 to: numStackPages - 1 do: + [:i| | thePage theSP theFP callerFP | + thePage := stackPages stackPageAt: i. + thePage isFree ifFalse: + [theSP := thePage headSP. + theFP := thePage headFP. + "Skip the instruction pointer on top of stack of inactive pages." + thePage = stackPage ifFalse: + [theSP := theSP + objectMemory wordSize]. + [[theSP <= (theFP + FoxReceiver)] whileTrue: + [oop = (stackPages longAt: theSP) ifTrue: + [self print: 'FP: '; printHexnp: theFP; print: ' @ '; printHexnp: theSP; cr]. + theSP := theSP + objectMemory wordSize]. + (self frameHasContext: theFP) ifTrue: + [oop = (self frameContext: theFP) ifTrue: + [self print: 'FP: '; printHexnp: theFP; print: ' CTXT'; cr]]. + oop = (self frameMethod: theFP) ifTrue: + [self print: 'FP: '; printHexnp: theFP; print: ' MTHD'; cr]. + (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: + [theSP := (theFP + FoxCallerSavedIP) + objectMemory wordSize. + theFP := callerFP]. + theSP := theFP + FoxCallerContext. "a.k.a. FoxCallerSavedIP" + [theSP <= thePage baseAddress] whileTrue: + [oop = (stackPages longAt: theSP) ifTrue: + [self print: 'FP: '; printHexnp: theFP; print: ' @ '; printHexnp: theSP; cr]. + theSP := theSP + objectMemory wordSize]]]! Item was changed: ----- Method: StackInterpreter>>shortPrint: (in category 'simulation') ----- shortPrint: oop <doNotGenerate> | name classOop | (objectMemory isImmediate: oop) ifTrue: [(objectMemory isImmediateCharacter: oop) ifTrue: [^(objectMemory characterValueOf: oop) < 256 ifTrue: ['=$', (objectMemory characterValueOf: oop) printString, ' (', (String with: (Character value: (objectMemory characterValueOf: oop))), ')'] ifFalse: ['=$', (objectMemory characterValueOf: oop) printString, '(???)']]. (objectMemory isIntegerObject: oop) ifTrue: [^'=', (objectMemory integerValueOf: oop) printString, ' (', (objectMemory integerValueOf: oop) hex, ')']. (objectMemory isImmediateFloat: oop) ifTrue: [^ '=', (objectMemory floatValueOf: oop) printString, ' (', oop hex, ')']. ^'= UNKNOWN IMMEDIATE', ' (', (objectMemory integerValueOf: oop) hex, ')']. (objectMemory addressCouldBeObj: oop) ifFalse: [^(oop bitAnd: objectMemory allocationUnit - 1) ~= 0 ifTrue: [' is misaligned'] ifFalse: [self whereIs: oop]]. (objectMemory isFreeObject: oop) ifTrue: [^' is a free chunk of size ', (objectMemory sizeOfFree: oop) printString, (objectMemory hasSpurMemoryManagerAPI ifTrue: [' 0th: ', (objectMemory fetchPointer: 0 ofFreeChunk: oop) hex] ifFalse: [''])]. (objectMemory isForwarded: oop) ifTrue: [^' is a forwarded object to ', (objectMemory followForwarded: oop) hex, ' of slot size ', (objectMemory numSlotsOfAny: oop) printString]. (objectMemory isFloatInstance: oop) ifTrue: [^'=', (objectMemory dbgFloatValueOf: oop) printString]. oop = objectMemory nilObject ifTrue: [^'nil']. oop = objectMemory falseObject ifTrue: [^'false']. oop = objectMemory trueObject ifTrue: [^'true']. classOop := objectMemory fetchClassOfNonImm: oop. ((self objCouldBeClassObj: oop) and: [(objectMemory numSlotsOf: classOop) = metaclassNumSlots]) ifTrue: [^'class ', (self nameOfClass: oop)]. name := self nameOfClass: classOop. name size = 0 ifTrue: [name := '??']. (#('String' 'ByteString') includes: name) ifTrue: [^(self stringOf: oop) printString]. (#('Symbol' 'ByteSymbol') includes: name) ifTrue: [^'#', (self stringOf: oop)]. name = 'Character' ifTrue: "SpurMemoryManager has immediate Characters (see above); ObjectMemory does not" [^'=', (Character value: (objectMemory integerValueOf: (objectMemory fetchPointer: 0 ofObject: oop))) printString]. "Try to spot association-like things; they're all subclasses of LookupKey" ((objectMemory isPointersNonImm: oop) + and: [classOop ~= objectMemory nilObject and: [((objectMemory instanceSizeOf: classOop) between: ValueIndex + 1 and: ValueIndex + 2) + and: [(objectMemory isBytes: (objectMemory fetchPointer: KeyIndex ofObject: oop))]]]) ifTrue: - and: [(objectMemory isBytes: (objectMemory fetchPointer: KeyIndex ofObject: oop))]]) ifTrue: [| classLookupKey | classLookupKey := objectMemory fetchClassOfNonImm: (objectMemory splObj: SchedulerAssociation). [classLookupKey = objectMemory nilObject ifTrue: [^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name]. (objectMemory instanceSizeOf: classLookupKey) = (KeyIndex + 1)] whileFalse: [classLookupKey := self superclassOf: classLookupKey]. (self includesBehavior: classOop ThatOf: classLookupKey) ifTrue: [^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name, ' ', (self shortPrint: (objectMemory fetchPointer: KeyIndex ofObject: oop)), ' -> ', (objectMemory fetchPointer: ValueIndex ofObject: oop) hex8]]. ^(('AEIOU' includes: name first) ifTrue: ['an '] ifFalse: ['a ']), name! Item was changed: ----- Method: StackToRegisterMappingCogit>>genBinaryConstOpVarInlinePrimitive: (in category 'inline primitive generators') ----- genBinaryConstOpVarInlinePrimitive: prim "Const op var version of binary inline primitives." "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. See EncoderForSistaV1's class comment and StackInterpreter>>#binaryInlinePrimitive:" | ra val untaggedVal | (ra := backEnd availableRegisterOrNilFor: self liveRegisters) ifNil: [self ssAllocateRequiredReg: (ra := optStatus isReceiverResultRegLive ifTrue: [Arg0Reg] ifFalse: [ReceiverResultReg])]. ra = ReceiverResultReg ifTrue: [optStatus isReceiverResultRegLive: false]. self ssTop popToReg: ra. self ssPop: 1. val := self ssTop constant. self ssPop: 1. untaggedVal := val - objectMemory smallIntegerTag. prim caseOf: { "0 through 6, +, -, *, /, //, \\, quo:, SmallInteger op SmallInteger => SmallInteger, no overflow" [0] -> [self AddCq: untaggedVal R: ra]. + [1] -> [self MoveCq: val R: TempReg. + self SubR: ra R: TempReg. + objectRepresentation genAddSmallIntegerTagsTo: TempReg. + self MoveR: TempReg R: ra]. - [1] -> [self MoveCq: untaggedVal R: TempReg. - self SubR: ra R: TempReg. - self MoveR: TempReg R: ra ]. [2] -> [objectRepresentation genRemoveSmallIntegerTagsInScratchReg: ra. self MoveCq: (objectMemory integerValueOf: val) R: TempReg. self MulR: TempReg R: ra. objectRepresentation genAddSmallIntegerTagsTo: ra]. "2016 through 2019, bitAnd:, bitOr:, bitXor, bitShift:, SmallInteger op SmallInteger => SmallInteger, no overflow" "2032 through 2037, >, <, >=, <=. =, ~=, SmallInteger op SmallInteger => Boolean (flags?? then in jump bytecodes if ssTop is a flags value, just generate the instruction!!!!)" "2064 through 2068, Pointer Object>>at:, Byte Object>>at:, Short16 Word Object>>at: LongWord32 Object>>at: Quad64Word Object>>at:. obj op 0-rel SmallInteger => oop" [64] -> [self genConvertSmallIntegerToIntegerInReg: ra. self MoveCq: val R: TempReg. + self MoveXwr: ra R: TempReg R: ra]. - self MoveXwr: ra R: TempReg R: ra ]. [65] -> [self genConvertSmallIntegerToIntegerInReg: ra. + self MoveCq: val R: TempReg. + self MoveXbr: ra R: TempReg R: ra] + - self MoveCq: val R: TempReg. - self MoveXbr: ra R: TempReg R: ra ] } otherwise: [^EncounteredUnknownBytecode]. self ssPushRegister: ra. ^0!

1 0

Cog in the cloud
by Ben Coman 21 Dec '14

21 Dec '14

Just some thoughts that arose as I skipped along the web... With the idea of using Pharo in the cloud, I was thinking of how PharoNOS[1] is basing off top of the Linux kernel, but the examples indicate its operating in User Mode. So I was wondering about performance being greater[2] if the CogVM ran in Kernel Mode. However maybe this could get tangled in the GPL license of the kernel. Now I believe FreeBSD/NetBSD license is compatible with COG's MIT license, so that seems a better option for eliminating layers of the operating system. They both[3][4] have pre-built Amazon Machine Images to run on EC2, as well as instructions[5] to build your own AMI. So potentially we could build an AMI with the CogVM linked to the FreeBSDKernel operating in Kernel Mode, with no User Mode. The lack of direct access to memory from the Image, and probably single application focus should be sufficient security to forgo User Mode, and run faster. But we could go a step further. Runing in the cloud relies heavily on virtualisation, and for performance[6], most likely on the OS's paravirtualisation interface - to Xen for example. So from Cog, why not interface direct to the Xen FrontEndDriver[7] and eliminate the DomU operating system all together. What I understand from [6] is that Xen's paravirtualisation hooks makes it much easier to boot, than booting on the bare metal of a fully-virtualised system. So the former seems more achievable than the latter (which was the only option in years past), and also be more portable as technology evolves, to any platform Xen runs on. Squeak/Pharo on Cog-Xen could be a good choice for a Cloud Operating System[8]. Maybe a good student research project? cheers -ben [1] http://pillarhub.pharocloud.com/hub/mikefilonov/pharonos [2] http://blog.codinghorror.com/understanding-user-and-kernel-mode/ [3] http://www.daemonology.net/freebsd-on-ec2/ [4] http://wiki.netbsd.org/amazon_ec2/amis/ [5] http://wiki.netbsd.org/amazon_ec2/build_your_own_ami/ [6] http://wiki.xen.org/wiki/Virtualization_Spectrum [7] http://wiki.xen.org/wiki/FrontendDriver [8] http://wiki.xen.org/wiki/Cloud_Operating_Systems

3 2

DelayBenchmark requires Smalltalk recompile (was Re: [Pharo-dev] [pharo-project/pharo-core] 3a75cc: 40416)
by Ben Coman 20 Dec '14

20 Dec '14

Since 40416, "DelayBenchmark run" crashes the VM. 40415 has no problem. I cannot reproduce the problem by loading the two slices below on top of 40415. No PharoDebug.log is produced, only a crash.dmp, which maybe indicates a segmentation fault in #garbageCollect. An Image that crashes on startup is available at... http://files.openinworld.com/Pharo/Issues/crash2014-12-20.tgz Doing "Smalltalk recompile" fixes the problem, so could someone do this for the trunk Image? cheers -ben GitHub wrote: > Branch: refs/heads/4.0 > Home: https://github.com/pharo-project/pharo-core > Commit: 3a75ccaa8823084df99b8dc50ab033515829200b > https://github.com/pharo-project/pharo-core/commit/3a75ccaa8823084df99b8dc5… > Author: Jenkins Build Server <board(a)pharo-project.org> > Date: 2014-12-15 (Mon, 15 Dec 2014) > > Changed paths: > M NativeBoost-Core.package/NBFFICallout.class/instance/accessing/resolveType_.st > M Polymorph-Widgets.package/extension/SystemWindow/instance/taskbarButtonMenu_.st > A Polymorph-Widgets.package/extension/SystemWindow/instance/taskbarCloseAllToRight.st > A ScriptLoader40.package/ScriptLoader.class/instance/pharo - scripts/script416.st > A ScriptLoader40.package/ScriptLoader.class/instance/pharo - updates/update40416.st > M ScriptLoader40.package/ScriptLoader.class/instance/public/commentForCurrentUpdate.st > > Log Message: > ----------- > 40416 > 14627 Taskbar > Close all > windows to right > https://pharo.fogbugz.com/f/cases/14627 > > 14626 Fix is required in NBFFICallout>>resolveType: to pass NBSQLite3s tests > https://pharo.fogbugz.com/f/cases/14626 > > http://files.pharo.org/image/40/40416.zip > >

1 0

sqSocketListenOnPortBacklogSizeInterface problems
by Levente Uzonyi 20 Dec '14

20 Dec '14

Hi All, This function of the SocketPlugin is implmeneted differently on win32 and unix, and I find both implementations suboptimal. Difference #1: On windows the addr parameter is ignored if the socketType is not TCPSocketType. This makes it impossible to bind a UDP socket to a specific IP address. Difference #2: If the requested port on the given interface is not available for the given socket type, then on windows the primitive will fail. On unix the primitive swallows the error. In case of TCP sockets accept will fail (whenever it's called). The only direct indicator of the failure is that the local port number will be a random value instead of the requested one. For UDP sockets, there will be multiple sockets bound to the same IP/port, but the created socket will not receive packets. I think the primitive must fail if binding the socket is not possible. I also think that the requested IP address must not be ignored. Is it just an oversight, or is there a good reason why these are implemented the way they are? Levente

1 0

VM Maker: VMMaker.oscog-tpr.996.mcz
by commits＠source.squeak.org 20 Dec '14

20 Dec '14

tim Rowledge uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tpr.996.mcz ==================== Summary ==================== Name: VMMaker.oscog-tpr.996 Author: tpr Time: 19 December 2014, 5:37:21.507 pm UUID: 7fe1e44f-8163-41e0-a7f7-4e4264c8790b Ancestors: VMMaker.oscog-cb.995 Change the pixel-touch-pixel prim to allow LPI arguments for the color values =============== Diff against VMMaker.oscog-cb.995 =============== Item was changed: ----- Method: BitBltSimulation>>primitiveCompareColorA:to:test: (in category 'primitives') ----- primitiveCompareColorA: colorA to: colorB test: testID "Invoke the pixel color comparing primitive.Only applicable if compiling with ENABLE_FAST_BLT" | rcvr val | <export: true> rcvr := self primitive: 'primitiveCompareColors' + parameters: #(#Unsigned #Unsigned #SmallInteger ) - parameters: #(#SmallInteger #SmallInteger #SmallInteger ) receiver: #Oop. self cppIf: #'ENABLE_FAST_BLT' ifTrue: [(self loadBitBltFrom: rcvr) ifFalse: [^ interpreterProxy primitiveFail]. self clipRange. (bbW <= 0 or: [bbH <= 0]) ifTrue: ["zero width or height; noop" ^ interpreterProxy primitiveFail]. self cCode: ' compare_operation_t op; op.matchRule = testID & 3; op.tally = testID & (1u<<3); op.srcA.bits = (void *) sourceBits; op.srcA.pitch = sourcePitch; op.srcA.depth = sourceDepth; op.srcA.msb = sourceMSB; op.srcA.x = sx; op.srcA.y = sy; op.srcB.bits = (void *) destBits; op.srcB.pitch = destPitch; op.srcB.depth = destDepth; op.srcB.msb = destMSB; op.srcB.x = dx; op.srcB.y = dy; op.width = bbW; op.height = bbH; op.colorA = colorA; op.colorB = colorB; val = compareColorsDispatch(&op);'. ^val asPositiveIntegerObj] ifFalse: [interpreterProxy primitiveFail]!

1 0

squeak.stack.spur squeak.stack.v3 only on ARM32?
by gettimothy 19 Dec '14

19 Dec '14

Good Morning. Herbert has volunteered to take the CMakeVMMakerSqueak for a spin on Raspberry Pi. Looking at Eliot's gnu build tree under Cog/build.linux32ARM/ I only see squeak.stack.spur and squeak.stack.v3 Should we stick only to those in CMake land? or should we give a squeak.cog.v3 build a shot? thx. tty

2 1

← Newer
1
2
3
4
5
6
7
...
16
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 December 2014