Vm-dev February 2016

vm-dev@lists.squeakfoundation.org

27 participants
141 discussions

Start a nNew thread

A reminder to check glibc versions on our build machines
by Eliot Miranda 17 Feb '16

17 Feb '16

http://arstechnica.com/security/2016/02/extremely-severe-bug-leaves-dizzyin… _,,,^..^,,,_ (phone)

2 1

VM Maker: VMMaker-tfel.376.mcz
by commits＠source.squeak.org 17 Feb '16

17 Feb '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-tfel.376.mcz ==================== Summary ==================== Name: VMMaker-tfel.376 Author: tfel Time: 17 February 2016, 5:59:52.238339 pm UUID: d69f8375-f4ff-497a-ad92-43a856afa1c1 Ancestors: VMMaker-dtl.375 Merge relevant Simulation changes from oscog VMMaker.oscog-tfel.1683 - Move BitBlt simulation methods into VMMaker, they can only be used if VMMaker is loaded, anyway, and they do not have any senders (besides a duplicated test that is also in VMMaker) - Avoid ENABLE_FAST_BLT binding lookup in BitBltSimulator, because that is not simulatable code VMMaker.oscog-tfel.1682 - fix BitBlt simulation to go through primitiveCopyBits primitive. VMMaker.oscog-tfel.1677 - Fix BitBltSimulation (for RSqueak on Spur) =============== Diff against VMMaker-dtl.375 =============== Item was added: + ----- Method: BitBlt>>copyBitsSimulated (in category '*VMMaker-Interpreter') ----- + copyBitsSimulated + ^ BitBltSimulation copyBitsFrom: self! Item was added: + ----- Method: BitBlt>>copyBitsSimulated: (in category '*VMMaker-Interpreter') ----- + copyBitsSimulated: alpha + ^ BitBltSimulation copyBitsFrom: self! Item was changed: ----- Method: BitBlt>>simulatePrimitive:args: (in category '*VMMaker-Interpreter') ----- simulatePrimitive: aString args: args "simulate primitives in RSqueak" aString = 'primitiveCopyBits' + ifTrue: [ + args size = 1 + ifTrue: [^ self copyBitsSimulated: (args at: 1)] + ifFalse: [^ self copyBitsSimulated]]. - ifTrue: [^ self copyBitsSimulated]. aString = 'primitiveWarpBits' ifTrue: [^ self warpBitsSimulated: (args at: 1) sourceMap: (args at: 2)]. ^ InterpreterProxy new primitiveFailFor: 255 ! Item was changed: ----- Method: BitBltSimulation class>>copyBitsFrom: (in category 'system simulation') ----- copyBitsFrom: aBitBlt "Simulate the copyBits primitive" | proxy bb | proxy := InterpreterProxy new. proxy loadStackFrom: thisContext sender home. bb := self simulatorClass new. bb initialiseModule. bb setInterpreter: proxy. proxy success: (bb loadBitBltFrom: aBitBlt). + bb primitiveCopyBits. + ^ proxy stackValue: 0! - bb copyBits. - proxy failed ifFalse:[ - proxy showDisplayBits: aBitBlt destForm Left: bb affectedLeft Top: bb affectedTop Right: bb affectedRight Bottom: bb affectedBottom]. - ^proxy stackValue: 0! Item was changed: ----- Method: BitBltSimulation>>loadColorMap (in category 'interpreter interface') ----- loadColorMap "ColorMap, if not nil, must be longWords, and 2^N long, where N = sourceDepth for 1, 2, 4, 8 bits, or N = 9, 12, or 15 (3, 4, 5 bits per color) for 16 or 32 bits." | cmSize oldStyle oop cmOop | <inline: true> cmFlags := cmMask := cmBitsPerColor := 0. cmShiftTable := nil. cmMaskTable := nil. cmLookupTable := nil. cmOop := interpreterProxy fetchPointer: BBColorMapIndex ofObject: bitBltOop. cmOop = interpreterProxy nilObject ifTrue:[^true]. cmFlags := ColorMapPresent. "even if identity or somesuch - may be cleared later" oldStyle := false. (interpreterProxy isWords: cmOop) ifTrue:[ "This is an old-style color map (indexed only, with implicit RGBA conversion)" cmSize := interpreterProxy slotSizeOf: cmOop. cmLookupTable := interpreterProxy firstIndexableField: cmOop. oldStyle := true. ] ifFalse: [ "A new-style color map (fully qualified)" ((interpreterProxy isPointers: cmOop) and:[(interpreterProxy slotSizeOf: cmOop) >= 3]) ifFalse:[^false]. cmShiftTable := self loadColorMapShiftOrMaskFrom: (interpreterProxy fetchPointer: 0 ofObject: cmOop). cmMaskTable := self loadColorMapShiftOrMaskFrom: (interpreterProxy fetchPointer: 1 ofObject: cmOop). oop := interpreterProxy fetchPointer: 2 ofObject: cmOop. oop = interpreterProxy nilObject ifTrue:[cmSize := 0] ifFalse:[(interpreterProxy isWords: oop) ifFalse:[^false]. cmSize := (interpreterProxy slotSizeOf: oop). cmLookupTable := interpreterProxy firstIndexableField: oop]. cmFlags := cmFlags bitOr: ColorMapNewStyle. self cCode: '' inSmalltalk: + []. - [self assert: cmShiftTable unitSize = 4. - self assert: cmMaskTable unitSize = 4. - self assert: cmLookupTable unitSize = 4]. ]. (cmSize bitAnd: cmSize - 1) = 0 ifFalse:[^false]. cmMask := cmSize - 1. cmBitsPerColor := 0. cmSize = 512 ifTrue: [cmBitsPerColor := 3]. cmSize = 4096 ifTrue: [cmBitsPerColor := 4]. cmSize = 32768 ifTrue: [cmBitsPerColor := 5]. cmSize = 0 ifTrue:[cmLookupTable := nil. cmMask := 0] ifFalse:[cmFlags := cmFlags bitOr: ColorMapIndexedPart]. oldStyle "needs implicit conversion" ifTrue:[ self setupColorMasks]. "Check if colorMap is just identity mapping for RGBA parts" (self isIdentityMap: cmShiftTable with: cmMaskTable) ifTrue:[ cmMaskTable := nil. cmShiftTable := nil ] ifFalse:[ cmFlags := cmFlags bitOr: ColorMapFixedPart]. ^true! Item was added: + ----- Method: BitBltSimulator>>cppIf:ifTrue:ifFalse: (in category 'translation support') ----- + cppIf: conditionBlockOrSymbolValue ifTrue: trueExpressionOrBlock ifFalse: falseExpressionOrBlockOrNil + "The simulator does not have fast blt defines" + ^ conditionBlockOrSymbolValue = #'ENABLE_FAST_BLT' + ifTrue: falseExpressionOrBlockOrNil + ifFalse: [super + cppIf: conditionBlockOrSymbolValue + ifTrue: trueExpressionOrBlock + ifFalse: falseExpressionOrBlockOrNil]! Item was changed: TParseNode subclass: #TCaseStmtNode instanceVariableNames: 'expression firsts lasts cases' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-Translation to C'! + + !TCaseStmtNode commentStamp: '<historical>' prior: 0! + I implement the main dispatch case statements for bytecode and primitive dispatch. See TMethod classPool associationAt: #CaseStatements! Item was added: + ----- Method: WarpBlt>>warpBitsSimulated (in category '*VMMaker-Interpreter-system simulation') ----- + warpBitsSimulated + "Simulate WarpBlt" + + cellSize < 1 ifTrue: [ ^self error: 'cellSize must be >= 1' ]. + + self warpBitsSimulated: cellSize + sourceMap: (sourceForm colormapIfNeededForDepth: 32). + ! Item was added: + ----- Method: WarpBlt>>warpBitsSimulated:sourceMap: (in category '*VMMaker-Interpreter-system simulation') ----- + warpBitsSimulated: n sourceMap: sourceMap + "Simulate WarpBlt" + ^ BitBltSimulation warpBitsFrom: self!

1 0

VM Maker: VMMaker.oscog-tfel.1683.mcz
by commits＠source.squeak.org 17 Feb '16

17 Feb '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1683.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1683 Author: tfel Time: 17 February 2016, 5:53:14.824885 pm UUID: 23976d15-2a83-46ed-8ce9-6ec4c186da1a Ancestors: VMMaker.oscog-tfel.1682 - Move BitBlt simulation methods into VMMaker, they can only be used if VMMaker is loaded, anyway, and they do not have any senders (besides a duplicated test that is also in VMMaker) - Avoid ENABLE_FAST_BLT binding lookup in BitBltSimulator, because that is not simulatable code =============== Diff against VMMaker.oscog-tfel.1682 =============== Item was added: + ----- Method: BitBlt>>copyBitsSimulated (in category '*VMMaker-Interpreter') ----- + copyBitsSimulated + ^ BitBltSimulation copyBitsFrom: self! Item was added: + ----- Method: BitBlt>>copyBitsSimulated: (in category '*VMMaker-Interpreter') ----- + copyBitsSimulated: alpha + ^ BitBltSimulation copyBitsFrom: self! Item was added: + ----- Method: BitBltSimulator>>cppIf:ifTrue:ifFalse: (in category 'translation support') ----- + cppIf: conditionBlockOrSymbolValue ifTrue: trueExpressionOrBlock ifFalse: falseExpressionOrBlockOrNil + "The simulator does not have fast blt defines" + ^ conditionBlockOrSymbolValue = #'ENABLE_FAST_BLT' + ifTrue: falseExpressionOrBlockOrNil + ifFalse: [super + cppIf: conditionBlockOrSymbolValue + ifTrue: trueExpressionOrBlock + ifFalse: falseExpressionOrBlockOrNil]! Item was added: + ----- Method: WarpBlt>>warpBitsSimulated (in category '*VMMaker-Interpreter-system simulation') ----- + warpBitsSimulated + "Simulate WarpBlt" + + cellSize < 1 ifTrue: [ ^self error: 'cellSize must be >= 1' ]. + + self warpBitsSimulated: cellSize + sourceMap: (sourceForm colormapIfNeededForDepth: 32). + ! Item was added: + ----- Method: WarpBlt>>warpBitsSimulated:sourceMap: (in category '*VMMaker-Interpreter-system simulation') ----- + warpBitsSimulated: n sourceMap: sourceMap + "Simulate WarpBlt" + ^ BitBltSimulation warpBitsFrom: self!

1 0

VM Maker: VMMaker.oscog-tfel.1682.mcz
by commits＠source.squeak.org 17 Feb '16

17 Feb '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1682.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1682 Author: tfel Time: 17 February 2016, 2:00:34.166899 pm UUID: be3fb4eb-3718-4bc1-b161-b3eab7e8d58e Ancestors: VMMaker.oscog-tfel.1681 fix BitBlt simulation to go through primitiveCopyBits primitive. =============== Diff against VMMaker.oscog-tfel.1681 =============== Item was changed: ----- Method: BitBltSimulation class>>copyBitsFrom: (in category 'system simulation') ----- copyBitsFrom: aBitBlt "Simulate the copyBits primitive" | proxy bb | proxy := InterpreterProxy new. proxy loadStackFrom: thisContext sender home. bb := self simulatorClass new. bb initialiseModule. bb setInterpreter: proxy. proxy success: (bb loadBitBltFrom: aBitBlt). + bb primitiveCopyBits. + ^ proxy stackValue: 0! - bb copyBits. - proxy failed ifFalse:[ - proxy showDisplayBits: aBitBlt destForm Left: bb affectedLeft Top: bb affectedTop Right: bb affectedRight Bottom: bb affectedBottom]. - ^proxy stackValue: 0!

1 0

VM Maker: VMMaker.oscog-tfel.1681.mcz
by commits＠source.squeak.org 17 Feb '16

17 Feb '16

Tim Felgentreff uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-tfel.1681.mcz ==================== Summary ==================== Name: VMMaker.oscog-tfel.1681 Author: tfel Time: 17 February 2016, 1:59:16.638589 pm UUID: 9f4ae99e-aa27-4ca7-a7e8-b6dae0f82b34 Ancestors: VMMaker.oscog-tfel.1680, VMMaker.oscog-eem.1680 merge =============== Diff against VMMaker.oscog-tfel.1680 =============== Item was changed: ----- Method: SpurMemoryManager>>fixFollowedField:ofObject:withInitialValue: (in category 'forwarding') ----- fixFollowedField: fieldIndex ofObject: anObject withInitialValue: initialValue "Private helper for followField:ofObject: to avoid code duplication for rare case." <inline: #never> | objOop | self assert: (self isOopForwarded: initialValue). + "inlined followForwarded: for speed (one less test)" + objOop := initialValue. + [objOop := self fetchPointer: 0 ofMaybeForwardedObject: objOop. + self isOopForwarded: objOop] whileTrue. - objOop := self followForwarded: initialValue. self storePointer: fieldIndex ofObject: anObject withValue: objOop. ^objOop! Item was added: + ----- Method: SpurMemoryManager>>followOopField:ofObject: (in category 'forwarding') ----- + followOopField: fieldIndex ofObject: anObject + "Make sure the oop at fieldIndex in anObject is not forwarded (follow the + forwarder there-in if so). Answer the (possibly followed) oop at fieldIndex." + | oop | + oop := self fetchPointer: fieldIndex ofObject: anObject. + (self isOopForwarded: oop) ifTrue: + [oop := self fixFollowedField: fieldIndex ofObject: anObject withInitialValue: oop]. + ^oop! Item was added: + ----- Method: SpurMemoryManager>>followedKeyOfEphemeron: (in category 'object access') ----- + followedKeyOfEphemeron: objOop + "Answer the object the ephemeron guards. This is its first element." + self assert: ((self isNonImmediate: objOop) and: [self isEphemeron: objOop]). + ^self followOopField: 0 ofObject: objOop! Item was changed: ----- Method: SpurMemoryManager>>markAllUnscannedEphemerons (in category 'weakness and ephemerality') ----- markAllUnscannedEphemerons "After firing the unscanned ephemerons we must scan-mark them. The wrinkle is that doing so may add more ephemerons to the set." | ptr | self assert: (self noUnscannedEphemerons) not. self assert: self allUnscannedEphemeronsAreActive. ptr := unscannedEphemerons top - self wordSize. [ptr >= unscannedEphemerons start] whileTrue: [| ephemeron key | + key := self followedKeyOfEphemeron: (ephemeron := self longAt: ptr). + self + markAndTrace: key; - key := self keyOfEphemeron: (ephemeron := self longAt: ptr). - self markAndTrace: key; markAndTrace: ephemeron. unscannedEphemerons top: unscannedEphemerons top - self wordSize. ptr < unscannedEphemerons top ifTrue: ["not the last entry; remove it by overwriting it with the last ephemeron (which must have been newly added by markAndTrace:)." self longAt: ptr put: (self longAt: unscannedEphemerons top)]. ptr := ptr - self wordSize]! Item was changed: ----- Method: SpurMemoryManager>>markAndTraceWeaklingsFrom: (in category 'weakness and ephemerality') ----- markAndTraceWeaklingsFrom: startIndex "Mark weaklings on the weaklingStack, ignoring startIndex number of elements on the bottom of the stack. Answer the size of the stack *before* the enumeration began." ^self objStack: weaklingStack from: startIndex do: [:weakling| + self deny: (self isForwarded: weakling). self markAndTraceClassOf: weakling. "N.B. generateToByDoLimitExpression:negative:on: guards against (unsigned)0 - 1 going +ve" 0 to: (self numStrongSlotsOfWeakling: weakling) - 1 do: [:i| | field | + field := self followObjField: i ofObject: weakling. - field := self fetchPointer: i ofObject: weakling. ((self isImmediate: field) or: [self isMarked: field]) ifFalse: [self markAndTrace: field]]]! Item was changed: ----- Method: SpurMemoryManager>>markInactiveEphemerons (in category 'weakness and ephemerality') ----- markInactiveEphemerons "Go through the unscanned ephemerons, marking the inactive ones, and removing them from the unscanned ephemerons. Answer if any inactive ones were found. We cannot fire the ephemerons until all are found to be active since scan-marking an inactive ephemeron later in the set may render a previously-observed active ephemeron as inactive." | foundInactive ptr | foundInactive := false. ptr := unscannedEphemerons start. [ptr < unscannedEphemerons top] whileTrue: [| ephemeron key | + key := self followedKeyOfEphemeron: (ephemeron := self longAt: ptr). + ((self isImmediate: key) or: [self isMarked: key]) - key := self keyOfEphemeron: (ephemeron := self longAt: ptr). - ((self isImmediate: key) or: [self isMarked: key]) ifTrue: [foundInactive := true. "Now remove the inactive ephemeron from the set, and scan-mark it. Scan-marking it may add more ephemerons to the set." unscannedEphemerons top: unscannedEphemerons top - self wordSize. unscannedEphemerons top > ptr ifTrue: [self longAt: ptr put: (self longAt: unscannedEphemerons top)]. self markAndTrace: ephemeron] ifFalse: [ptr := ptr + self wordSize]]. ^foundInactive! 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 and non-local return, we scan the receivers (including the stacked receiver for non-local return) and method references 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: #theFP type: #'char *'> + <var: #theIPPtr type: #'char *'> - <var: #theIPPtr type: #usqInt> <var: #callerFP type: #'char *'> <var: #thePage type: #'StackPage *'> self externalWriteBackHeadFramePointers. (theBecomeEffectsFlags anyMask: BecameCompiledMethodFlag) ifTrue: [(objectMemory isForwarded: method) ifTrue: [theIPPtr := instructionPointer - method. method := objectMemory followForwarded: method. instructionPointer := method + theIPPtr]. (objectMemory isOopForwarded: newMethod) ifTrue: [newMethod := objectMemory followForwarded: newMethod]]. self assert: stackPage ~= 0. 0 to: numStackPages - 1 do: [:i| | thePage theFP callerFP ptr oop | thePage := stackPages stackPageAt: i. thePage isFree ifFalse: [self assert: (self ifCurrentStackPageHasValidHeadPointers: thePage). theFP := thePage headFP. "Skip the instruction pointer on top of stack of inactive pages." + theIPPtr := thePage = stackPage ifTrue: [0] ifFalse: [thePage headSP]. - theIPPtr := thePage = stackPage ifTrue: [0] ifFalse: [thePage headSP asUnsignedInteger]. [self assert: (thePage addressIsInPage: theFP). + self assert: (theIPPtr = 0 or: [thePage addressIsInPage: theIPPtr]). - 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)]. ((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)]. ptr := (theFP + (self frameStackedReceiverOffset: theFP)) asInteger. oop := stackPages longAt: ptr. (objectMemory isOopForwarded: oop) ifTrue: [stackPages longAt: ptr put: (objectMemory followForwarded: oop)]. (callerFP := self frameCallerFP: theFP) ~= 0] whileTrue: [theIPPtr := (theFP + FoxCallerSavedIP) asInteger. theFP := callerFP]. "And finally follow the caller context." self assert: theFP = thePage baseFP. oop := self frameCallerContext: theFP. (objectMemory isForwarded: oop) ifTrue: [self frameCallerContext: theFP put: (objectMemory followForwarded: oop)]]]!

1 0

x64 FFI plugin
by Eliot Miranda 17 Feb '16

17 Feb '16

Hi Esteban, Hi All, I thought I'd help by doing the ThreadedFFIPlugin subclass for x64. turns out that the System V x86-64 ABI and the Win64 x86-64 ABI are sufficiently different that I'm splitting it across two classes. But in doing so I've had a moment of clarity (increasingly rare these days ;-) ). I've finally realised that Andreas put the type information in the right place, and that there is (I think) sufficient type information for structs to be parsed correctly. Andreas puts the type information in the first literal of the method containing the FFI call. (There is also an eval form where the function is passed in). The point here is that the type information is associated with the function, and hence with the function's signature. This is correct. In VisualWorks a big mistake was made by putting the type information in the actual parameter, so if one accidentally passes a parameter of the wrong type (types are only checked in debug mode) then it can be marshalled incorrectly. This difference is really important with the System V x86-64 AB, because the ABI uses register parameters, 6 integer register args and 8 floating-point register args, and will pass fields of a struct in available registers of either type as available. So if one passes just the following structure: struct foo { long a; double b; long c; double d; long e; double f; long g; double h; long i; double j; long k; double l; long m; double n; long o; double p; long q; double r; long s; double t; } to a function declared as (long one, double two, struct foo), a,b,c,d & e get passed in integer registers (along with one), and b,d,f,h,j,l & n get passed in xmm registers (along with two), while g,i,k,m,n,o,p,q,r,s & t get passed on the stack (strange but true). I had thought that this implies we need to generate machine code specific to each signature to efficiently marshall calls. But because the type information is flat, easily parsed and specific to each function rather than (as in VW) to a particular set of actual parameters, the interpreted approach we're currently using should at least be correct. So any marshalling code generation can be left as an optimization exercise, rather than an explicit requirement to achieve correctness. I hope to have the ThreadedX64SysVFFIPlugin written and tested before the end of the month. _,,,^..^,,,_ best, Eliot

1 2

Re: [Cuis-dev] Problem running Cuis with recent Cog VMs
by Phil (list) 16 Feb '16

16 Feb '16

On Tue, 2016-02-16 at 12:16 -0300, Juan Vuletich wrote: > ... > > The image hangs the VM, but looking at the console output that's > > not > > surprising (i.e. no valid sources or changes files.) > > No, the image should start fine without sources or changes. > I should have qualified that a bit better: it's not surprising given the lack of error handling logic. Sure, we can do better dealing with errors but I don't think that addresses the fundamental question/issue: why would the image have to deal with bad changes & sources filenames only under a specific version of the VM? > Thanks, > Juan Vuletich >

1 0

Re: [Pharo-users] Compiling Pharo to C++
by Ben Coman 16 Feb '16

16 Feb '16

> Unreal assumes that you either write C++ code > or using their own scripting language "Blueprint". Not entirely true [1].... [1] https://forums.unrealengine.com/showthread.php?3958-Scripting-Language-exte… On Tue, Feb 16, 2016 at 5:42 PM, Clément Bera <bera.clement(a)gmail.com> wrote: > Are you sure C++ compilation is the best way ? There are a lot of flaws: > Smalltalk needs to be restrictive or will be compiled to very slow code, you > will loose debugging features, etc. > > I would try to integrate Pharo the same way lua is integrated in engines > like Source2 from valve: you run your Unreal engine and have it call Pharo > as a scripting language to code some features. Something like [2], scrolling down to the #include ? [2] http://accu.org/index.php/journals/351 What would be the Cog equivalent of...? lua_State* L = lua_open(); and what would be a good starting point to look at this? main() and fakevm() in threadValidate.c [3] seem to lay out a basic structure. [3] https://git.io/vg7bn I see interpret() called from: * platforms/unix/vm/sqUnixMainNoDisplay.c [4] and * iOS/vm/Common/Classes/sqSqueakMainApplication.m [5] but can't see where this is implemented. [4] https://git.io/vg5fB [5] https://git.io/vg5JS I guess the new SDL derived headless mode mentioned recently would help with embedding Pharo in another program? cheers -ben > In such case, one needs to > make the VM embeddable in a C++ app, but on the vm-dev mailing list people > can help you to do so. Then you need to define some APIs based on what exist > in the interpreter proxy to easily call Pharo methods and share struct / > objects from C++. Lastly, you may consider adding a few settings in FFI. By > default the Smalltalk stack and the C stack are separated to to Smalltalk > specific stack page handling. I guess with some annotation in Pharo API code > called from C++ you could define the case where the stack could be shared or > not. > > While compiling to C++, how to you plan your compiler to manage memory ? > > > 2016-02-16 9:52 GMT+01:00 kilon.alios <kilon.alios(a)gmail.com>: >> >> So doing further research into Unreal , I have reached the conclusion that >> the best way to integrate Pharo is make a compiler that takes Pharo code >> and >> compiles it to C++. >> >> I have barely scratch such area when I was playing around with Pharo AST >> nodes. Any advice / ideas how to accomplish this ? >> >> Currently my goal is to start super simple, with compiling small pharo >> code >> fragments to C++ code and then much later on even introduce extensions to >> the pharo language to accommodate for C++ features like templates , >> pointers >> (FFI probably already cover this) , static types etc. Obviously if I can >> keep the pharo syntax intact would be the ideal option.

1 0

Re: Problem running Cuis with recent Cog VMs
by Phil (list) 16 Feb '16

16 Feb '16

OK, this is getting strange. Based on my previous post, I started digging into why I might be seeing a bad changes file name and I have no explanation for it. But I can reproduce it, so I've uploaded an image with a little debugging code to https://github.com/pbella/CogVM36 02Bug With Cog VM 3427 (http://www.mirandabanda.org/files/Cog/VM/2015/VM.r342 7/) or older, the image starts up as expected and when started from a terminal window I get: imagePath: /tmp imageName: /tmp/Cuis4.2-2679-debug.image sources: nil defaultSources: /tmp/CuisV4.sources defaultChanges: /tmp/Cuis4.2-2679-debug.changes Looks good. So now I start it up with Cog 3602 (http://www.mirandaband a.org/files/Cog/VM/VM.r3602/) and get: imagePath: /tmp/Cuis4.2-2679-debug.im imageName: /tmp/Cuis4.2-2679-debug.image sources: nil defaultSources: /tmp/Cuis4.2-2679-debug.imag/CuisV4.sources alternativeSources: /home/Shared/Apps/coglinux- 16.07.3602/lib/squeak/4.5-3602/CuisV4.sources defaultChanges: /tmp/Cuis4.2-2679-debug.image.changes The image hangs the VM, but looking at the console output that's not surprising (i.e. no valid sources or changes files.) 3602 appears to run Squeak 5 without problems on my machine but the little I've traced through its startup code, it does things differently which explains why it's not having this issue. Can someone try this on their machine to see if they can reproduce these results with Cog 3602 and an older Cog VM? (based on building from sources, the stack VM does not appear to have the problem) Do you get similar output? Is this a problem on other platforms or just Linux (x86)? #openSourcesAndChanges (the browser in the image opens on this) and loading Ken's StdIO package are the only changes from the base image. Thanks, Phil On Mon, 2016-02-15 at 22:55 -0500, Phil (list) wrote: > I've been doing a bit more digging into the problem I reported, and > Douglas reproduced, with newer Cog VMs (the last VM that I have > working > at all is 3427 (though it has other issues), I can reproduce the > crash > with the latest repo source or the just release 3602). While I > haven't > found a solution to it yet, it's looking very much like something > changed in more recent VMs that is causing problems for FileMan. > > What I've been able to determine so far is that when trying to start > up, SystemDictionary>>openSourcesAndChanges is trying to open a > changes > file with the name <basename>.image.changes which of course fails. > When I override the exception handler to catch Exception rather than > FileWriteError, the image hangs (empty/white windows, CPU utilization > pegged... infinite loop somewhere I'd guess) rather than crashing. > So > then I changed the exception handler to return 'emergency.changes' > asFileEntry privateWriteStream rather than nil and we're back to > crashing again. In both cases, the crash appears to occur in > #privateWriteStream call. Each time I try to wrap the upstream code > in > logic that deals with the error, it gets a bit further before > crashing... but that's just ignoring the issue rather than dealing > with > it. It's slow going since I never get to an image with a functioning > debugger but it sure looks like there's something in the VM that > FileMan doesn't like... does this give anyone any ideas? (on either > side: what's killing FileMan or what changed in the VM) > > Thanks, > Phil

1 1

Re: [Pharo-dev] Compiling the unix vm / spur
by Esteban Lorenzano 16 Feb '16

16 Feb '16

That should be fixed in my lasts commits... Which version is the ppa using? (I'm out 'till Thursday, sorry I cannot provide more support right now :( ) Esteban > On 16 feb 2016, at 9:41 a.m., Damien Cassou <damien.cassou(a)inria.fr> wrote: > > Hi Eliot, > > Eliot Miranda <eliot.miranda(a)gmail.com> writes: > >> On Mon, Feb 15, 2016 at 10:37 AM, Markus Fritsche <mfritsche(a)reauktion.de> >> wrote: >>> I was just going to update the ubuntu ppa an wanted to supply a spur vm >>> image. The compilation stopped however: >>> >>> -- Configuring done >>> CMake Error at IA32FFIPlugin/CMakeLists.txt:11 (add_library): >>> Cannot find source file: >>> >>> >>> /home/mfritsche/src/pharo-vm-spur-2016.02.13/src/plugins/IA32FFIPlugin/IA32FFIPlugin.c >> >> That's a bug in the CMake code (which I hope will be history in a few >> months). tt should be looking *only* for >> >> src/plugins/SqueakFFIPlugin/SqueakFFIPlugin.c >> >> which should include >> >> src/plugins/SqueakFFIPlugin/IA32FFIPlugin.c > > > do you know what we have to change and where exactly? I also face the > same problem. > > Thanks > > -- > Damien Cassou > http://damiencassou.seasidehosting.st > > "Success is the ability to go from one failure to another without > losing enthusiasm." --Winston Churchill >

1 0

← Newer
1
...
5
6
7
8
9
10
11
...
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 February 2016