Vm-dev October 2015

vm-dev@lists.squeakfoundation.org

29 participants
86 discussions

errors building linux32ARM
by Robert Withers 18 Oct '15

18 Oct '15

I just tried mvm in the build directory and I got gcc errors. I appreciate any help I receive. gcc version 4.6.4 (Ubuntu/Linaro 4.6.4-6ubuntu3) configure:2187: $? = 0 configure:2189: gcc -march=armv6 -mfpu=vfp -mfloat-abi=hard -V </dev/null >&5 gcc: error: unrecognized option '-V' gcc: fatal error: no input files compilation terminated. configure:2192: $? = 4 configure:2215: checking for C compiler default output file name configure:2218: gcc -march=armv6 -mfpu=vfp -mfloat-abi=hard -g -O2 -fwrapv -DNDEBUG -DDEBUGVM=0 -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DI_REALLY_DONT_CARE_HOW_UNS AFE_THIS_IS -DCOGMTVM=0 -Wl,-z,now conftest.c -lpthread -luuid -lasound >&5 cc1: error: unrecognized command line option '-mfpu=vfp' cc1: error: unrecognized command line option '-mfloat-abi=hard' conftest.c:1:0: error: bad value (armv6) for -march= switch configure:2221: $? = 1 configure: failed program was: | /* confdefs.h. */ | Regards, Robert

2 5

building the vm on linux - setting up tools
by Robert Withers 18 Oct '15

18 Oct '15

Good evening, I made some progress. I managed to load the following packages on my UbuntuMATE box: * build-essentials * libgl1-mesa-dev * libglu1-mesa-dev * gcc-multilib but I could not find i386 versions for the following: * lib32asound2-dev * ia32-libs * g++multilib I checked out the vm source, switched to build.linux32x86/squeak.cog.spur/build and ran ./mvm. Here are a couple errors from config.log. Any ideas what I might do? Many thanks, Robert gcc version 4.9.2 (Ubuntu 4.9.2-10ubuntu13) configure:2187: $? = 0 configure:2189: gcc -m32 -V </dev/null >&5 gcc: error: unrecognized command line option '-V' gcc: fatal error: no input files compilation terminated. configure:2192: $? = 4 configure:2215: checking for C compiler default output file name configure:2218: gcc -m32 -g -O2 -DNDEBUG -DDEBUGVM=0 -msse2 -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -DCOGMTVM=0 -Wl,-z,now conftest.c -lpthread -luuid >&5 /usr/bin/ld: cannot find -luuid collect2: error: ld returned 1 exit status configure:2221: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "" | #define PACKAGE_TARNAME "" | #define PACKAGE_VERSION "" | #define PACKAGE_STRING "" | #define PACKAGE_BUGREPORT "" | #define SQ_VERSION ".-" | #define OS_TYPE "unix" | #define VM_HOST "i686-pc-linux-gnu" | #define VM_HOST_OS "linux-gnu" | #define VM_HOST_CPU "i686" | /* end confdefs.h. */ | | int | main () | { | | ; | return 0; | } configure:2260: error: C compiler cannot create executables See `config.log' for more details.

2 4

VM Maker: VMMaker.oscog-eem.1492.mcz
by commits＠source.squeak.org 18 Oct '15

18 Oct '15

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1492.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.1492 Author: eem Time: 17 October 2015, 5:32:12.348 pm UUID: a0778a36-b0e9-4e06-af1a-0e50572c9db1 Ancestors: VMMaker.oscog-eem.1491 x64 Cogit: Get the Cogit to a state where the 64-bit Spur image starts simulating. It's a new world ;-) Reimplement CMethodCacheAccessor, introducing CArrayOfLongsAccessor for the primitive trace log. Alter CogStackPage and surrogates so that CogStackPageSurrogate64 is properly laid out. Revise the signedIntToFrom/Foo methods, and add some tests to check their behaviour. Provide two move multi-tab browser opening conveniences. =============== Diff against VMMaker.oscog-eem.1491 =============== Item was added: + CObjectAccessor subclass: #CArrayOfLongsAccessor + instanceVariableNames: 'objectMemory address elementByteSize' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-JITSimulation'! + + !CArrayOfLongsAccessor commentStamp: 'eem 10/8/2015 12:49' prior: 0! + A CArrayOfLongsAccessor is a class that wraps an Array stored in the heap. It maps at:[put:] into a suitably aligned and offset longAt:[put:], for accessing Arrays stored in the heap, such as the primTraceLog. + + Instance Variables + address: <Integer> + entryByteSize: <Integer> + objectMemory: <NewCoObjectMemorySimulator|Spur64BitMMLECoSimulator|Spur64BitMMLECoSimulator|Spur64BitMMBECoSimulator|Spur64BitMMBECoSimulator> + + address + - the base address in the heap of the start of the array + + entryByteSize + - the size of an element, in bytes + + objectMemory + - the memory manager whose heap is being accessed + ! Item was added: + ----- Method: CArrayOfLongsAccessor>>address (in category 'accessing') ----- + address + ^address! Item was added: + ----- Method: CArrayOfLongsAccessor>>at: (in category 'accessing') ----- + at: index + "Map at: into a suitably aligned and offset longAt:, for accessing Arrays stored in the heap, such as the primTraceLog." + ^objectMemory longAt: index * elementByteSize + address! Item was added: + ----- Method: CArrayOfLongsAccessor>>at:put: (in category 'accessing') ----- + at: index put: aValue + "Map at:put: into a suitably aligned and offset longAt:put:, for accessing Arrays stored in the heap, such as the primTraceLog." + ^objectMemory longAt: index * elementByteSize + address put: aValue! Item was added: + ----- Method: CArrayOfLongsAccessor>>objectMemory:at: (in category 'initialize-release') ----- + objectMemory: anObjectMemory at: anAddress + objectMemory := anObjectMemory. + object := anObjectMemory memory. + offset := anAddress / anObjectMemory wordSize. + elementByteSize := anObjectMemory wordSize. + address := anAddress! Item was changed: + CArrayOfLongsAccessor subclass: #CMethodCacheAccessor + instanceVariableNames: 'methodCacheArray entrySize functionPointerIndex' - CObjectAccessor subclass: #CMethodCacheAccessor - instanceVariableNames: 'methodCacheArray functionPointerIndex entrySize' classVariableNames: '' poolDictionaries: '' category: 'VMMaker-JITSimulation'! !CMethodCacheAccessor commentStamp: '<historical>' prior: 0! I am used to simulate accesses to the methodCache so it can live partly in memory, partly in a Smalltalk Array. This is necessary because in simulation function pointers are Smalltalk symbols (under simulation primitive dispatch is done via perform:). ! Item was changed: ----- Method: CMethodCacheAccessor>>at: (in category 'accessing') ----- at: index "The special handling of functionPointerIndex is necessary because in simulation function pointers are Smalltalk symbols (under simulation primitive dispatch is done via perform:)." index - 1 \\ entrySize = functionPointerIndex ifTrue: [^methodCacheArray at: index]. + ^objectMemory longAt: index * elementByteSize + address! - ^object at: index + offset! Item was changed: ----- Method: CMethodCacheAccessor>>at:put: (in category 'accessing') ----- at: index put: value "The special handling of functionPointerIndex is necessary because in simulation function pointers are Smalltalk symbols (under simulation primitive dispatch is done via perform:)." + (index = 16r44F and: [value = 16r1D]) ifTrue: + [self halt]. index - 1 \\ entrySize = functionPointerIndex ifTrue: + [objectMemory longAt: index * elementByteSize + address put: (0 = value ifTrue: [value] ifFalse: [value identityHash]). + ^methodCacheArray at: index put: value]. + ^objectMemory longAt: index * elementByteSize + address put: value! - [^methodCacheArray at: index put: value]. - ^object at: index + offset put: value! Item was removed: - ----- Method: CMethodCacheAccessor>>memory:offset:array:functionPointerIndex:entrySize: (in category 'initialize-release') ----- - memory: anObject offset: baseIndex array: cacheArray functionPointerIndex: fpIndex entrySize: esz - object := anObject. - offset := baseIndex. - methodCacheArray := cacheArray. - functionPointerIndex := fpIndex - 1. - entrySize := esz! Item was added: + ----- Method: CMethodCacheAccessor>>objectMemory:at:array:functionPointerIndex:entrySize: (in category 'initialize-release') ----- + objectMemory: anObjectMemory at: anAddress array: cacheArray functionPointerIndex: fpIndex entrySize: wordsPerCacheEntry + self objectMemory: anObjectMemory + at: anAddress - anObjectMemory wordSize. "implicit -1 for indices in at:[put:]; the MethodCache is one-relative" + methodCacheArray := cacheArray. + functionPointerIndex := fpIndex - 1. + entrySize := wordsPerCacheEntry! Item was added: + ----- Method: CObjectAccessor class>>defaultIntegerBaseInDebugger (in category 'debugger') ----- + defaultIntegerBaseInDebugger + ^VMClass defaultIntegerBaseInDebugger! Item was changed: ----- Method: CoInterpreter>>methodCacheAddress (in category 'cog jit support') ----- methodCacheAddress <api> <returnTypeC: #'void *'> + ^self cCode: [methodCache] inSmalltalk: [methodCache address]! - ^self cCode: [methodCache] inSmalltalk: [methodCache offset - 1 * objectMemory wordSize]! Item was changed: ----- Method: CoInterpreterStackPages>>longAt:put: (in category 'memory access') ----- + longAt: byteAddress put: a32Or64BitValue - longAt: byteAddress put: a32BitValue <doNotGenerate> self assert: (byteAddress >= minStackAddress and: [byteAddress < maxStackAddress]). + ^objectMemory longAt: byteAddress put: a32Or64BitValue! - ^objectMemory longAt: byteAddress put: a32BitValue! Item was changed: ----- Method: CoInterpreterStackPagesLSB>>byteAt: (in category 'memory access') ----- byteAt: byteAddress | lowBits long | + lowBits := byteAddress bitAnd: objectMemory wordSize - 1. - lowBits := byteAddress bitAnd: 3. long := self longAt: byteAddress - lowBits. + lowBits > 0 ifTrue: + [long := long bitShift: lowBits * -8]. + ^long bitAnd: 16rFF! - ^(lowBits caseOf: { - [0] -> [ long ]. - [1] -> [ long bitShift: -8 ]. - [2] -> [ long bitShift: -16 ]. - [3] -> [ long bitShift: -24 ] - }) bitAnd: 16rFF! Item was changed: ----- Method: CoInterpreterStackPagesLSB>>byteAt:put: (in category 'memory access') ----- byteAt: byteAddress put: byte | lowBits long longAddress | + self assert: (byte between: 0 and: 16rFF). + lowBits := byteAddress bitAnd: objectMemory wordSize - 1. - lowBits := byteAddress bitAnd: 3. longAddress := byteAddress - lowBits. long := self longAt: longAddress. + long := (long bitOr: (16rFF bitShift: lowBits * 8)) bitXor: (byte bitXor: 16rFF). - long := lowBits caseOf: { - [0] -> [ (long bitAnd: 16rFFFFFF00) bitOr: byte ]. - [1] -> [ (long bitAnd: 16rFFFF00FF) bitOr: (byte bitShift: 8) ]. - [2] -> [ (long bitAnd: 16rFF00FFFF) bitOr: (byte bitShift: 16) ]. - [3] -> [ (long bitAnd: 16r00FFFFFF) bitOr: (byte bitShift: 24) ] - }. - self longAt: longAddress put: long. ^byte! Item was changed: VMStructType subclass: #CogStackPage + instanceVariableNames: 'stackLimit headSP headFP baseFP baseAddress realStackLimit lastAddress trace padToWord nextPage prevPage' - instanceVariableNames: 'stackLimit headSP headFP baseFP baseAddress realStackLimit lastAddress trace nextPage prevPage' classVariableNames: '' poolDictionaries: 'VMBasicConstants VMBytecodeConstants' category: 'VMMaker-Interpreter'! !CogStackPage commentStamp: 'eem 8/14/2015 12:06' prior: 0! I am a class that helps organize the StackInterpreter's collection of stack pages. I represent the control block for a single stack page in the collection of stack pages represented by an InterpreterStackPages or CoInterpreterStackPages instance.! Item was added: + ----- Method: CogStackPage class>>getter:bitPosition:bitWidth:type: (in category 'code generation') ----- + getter: getter bitPosition: bitPosition bitWidth: bitWidth type: typeOrNil + ^String streamContents: + [:s| | startByte endByte accessor | + startByte := bitPosition // 8. + endByte := bitPosition + bitWidth - 1 // 8. + self assert: bitPosition \\ 8 = 0. + self assert: startByte \\ (bitWidth // 8) = 0. + accessor := #('byte' 'short' 'long' 'long') + at: endByte - startByte + 1 + ifAbsent: ['long64']. + s nextPutAll: getter; crtab: 1; nextPut: $^. + (typeOrNil notNil and: [typeOrNil last = $*]) ifTrue: + [accessor := 'unsigned', (accessor copy + at: 1 put: accessor first asUppercase; + yourself)]. + (typeOrNil notNil and: ['*StackPage*' match: typeOrNil]) ifTrue: + [s nextPutAll: 'stackPages surrogateAtAddress: (']. + s nextPutAll: 'memory '; + nextPutAll: accessor; + nextPutAll: 'At: address + '; print: startByte + 1. + (typeOrNil notNil and: ['*StackPage*' match: typeOrNil]) ifTrue: + [s nextPut: $)]] + + "| bitPosition | + bitPosition := 0. + (self fieldAccessorsForBytesPerWord: 4) collect: + [:spec| + bitPosition := bitPosition + spec second. + self getter: spec first + bitPosition: bitPosition - spec second + bitWidth: spec second + type: (spec at: 3 ifAbsent: [])]"! Item was changed: ----- Method: CogStackPage class>>instVarNamesAndTypesForTranslationDo: (in category 'translation') ----- instVarNamesAndTypesForTranslationDo: aBinaryBlock "enumerate aBinaryBlock with the names and C type strings for the inst vars to include in a StackPage struct." self allInstVarNames do: [:ivn| + (ivn = 'padToWord' and: [BytesPerWord = 4]) ifFalse: - ivn ~= 'stackPagesMemory' ifTrue: [aBinaryBlock value: ivn + value: ((ivn = 'trace' or: [ivn = 'padToWord']) - value: (ivn = 'trace' ifTrue: [#int] ifFalse: [(ivn endsWith: 'Page') ifTrue: ['struct _StackPage *'] ifFalse: [#'char *']])]]! Item was added: + ----- Method: CogStackPage class>>setter:bitPosition:bitWidth:type: (in category 'code generation') ----- + setter: getter bitPosition: bitPosition bitWidth: bitWidth type: typeOrNil + ^String streamContents: + [:s| | startByte endByte accessor | + startByte := bitPosition // 8. + endByte := bitPosition + bitWidth - 1 // 8. + self assert: bitPosition \\ 8 = 0. + self assert: startByte \\ (bitWidth // 8) = 0. + accessor := #('byte' 'short' 'long' 'long') + at: endByte - startByte + 1 + ifAbsent: ['long64']. + s nextPutAll: getter; nextPutAll: ': aValue'; crtab: 1; + nextPutAll: 'self assert: (address + '; print: startByte; + nextPutAll: ' >= zoneBase and: [address + '; print: endByte; + nextPutAll: ' < zoneLimit]).'; crtab: 1. + (typeOrNil notNil and: [typeOrNil last = $*]) ifTrue: + [accessor := 'unsigned', (accessor copy + at: 1 put: accessor first asUppercase; + yourself)]. + (typeOrNil notNil and: ['*StackPage*' match: typeOrNil]) ifFalse: + [s nextPut: $^]. + s nextPutAll: 'memory '; + nextPutAll: accessor; nextPutAll: 'At: address + '; print: startByte + 1; + nextPutAll: ' put: aValue'. + (typeOrNil notNil and: ['*StackPage*' match: typeOrNil]) ifTrue: + [s nextPutAll: ' asInteger.'; crtab: 1; nextPutAll: '^aValue']] + + "| bitPosition | + bitPosition := 0. + (self fieldAccessorsForBytesPerWord: 4) collect: + [:spec| + bitPosition := bitPosition + spec second. + self setter: spec first + bitPosition: bitPosition - spec second + bitWidth: spec second + type: (spec at: 3 ifAbsent: [])]"! Item was changed: + ----- Method: CogStackPageSurrogate32 class>>alignedByteSize (in category 'accessing') ----- - ----- Method: CogStackPageSurrogate32 class>>alignedByteSize (in category 'instance creation') ----- alignedByteSize ^40! Item was changed: ----- Method: CogStackPageSurrogate32>>nextPage: (in category 'accessing') ----- nextPage: aValue self assert: (address + 32 >= zoneBase and: [address + 35 < zoneLimit]). + memory unsignedLongAt: address + 33 put: aValue asInteger. + ^aValue! - ^memory - unsignedLongAt: address + 33 - put: aValue asInteger! Item was added: + ----- Method: CogStackPageSurrogate32>>padToWord (in category 'accessing') ----- + padToWord + ^memory longAt: address + 33! Item was added: + ----- Method: CogStackPageSurrogate32>>padToWord: (in category 'accessing') ----- + padToWord: aValue + self assert: (address + 32 >= zoneBase and: [address + 35 < zoneLimit]). + ^memory longAt: address + 33 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate32>>prevPage: (in category 'accessing') ----- prevPage: aValue self assert: (address + 36 >= zoneBase and: [address + 39 < zoneLimit]). + memory unsignedLongAt: address + 37 put: aValue asInteger. + ^aValue! - ^memory - unsignedLongAt: address + 37 - put: aValue asInteger! Item was changed: ----- Method: CogStackPageSurrogate32>>stackLimit: (in category 'accessing') ----- stackLimit: aValue + self assert: (address + 0 >= zoneBase and: [address + 3 < zoneLimit]). + ^memory unsignedLongAt: address + 1 put: aValue! - self assert: (address >= zoneBase and: [address + 3 < zoneLimit]). - ^memory unsignedLongAt: address + 1 put: aValue signedIntToLong! Item was changed: ----- Method: CogStackPageSurrogate64>>baseAddress (in category 'accessing') ----- baseAddress + ^memory unsignedLong64At: address + 33! - ^memory long64At: address + 33! Item was changed: ----- Method: CogStackPageSurrogate64>>baseAddress: (in category 'accessing') ----- baseAddress: aValue self assert: (address + 32 >= zoneBase and: [address + 39 < zoneLimit]). + ^memory unsignedLong64At: address + 33 put: aValue! - ^memory long64At: address + 33 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>baseFP (in category 'accessing') ----- baseFP + ^memory unsignedLong64At: address + 25! - ^memory long64At: address + 25! Item was changed: ----- Method: CogStackPageSurrogate64>>baseFP: (in category 'accessing') ----- baseFP: aValue self assert: (address + 24 >= zoneBase and: [address + 31 < zoneLimit]). + ^memory unsignedLong64At: address + 25 put: aValue! - ^memory long64At: address + 25 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>headFP (in category 'accessing') ----- headFP + ^memory unsignedLong64At: address + 17! - ^memory long64At: address + 17! Item was changed: ----- Method: CogStackPageSurrogate64>>headFP: (in category 'accessing') ----- headFP: aValue self assert: (address + 16 >= zoneBase and: [address + 23 < zoneLimit]). + ^memory unsignedLong64At: address + 17 put: aValue! - ^memory long64At: address + 17 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>headSP (in category 'accessing') ----- headSP + ^memory unsignedLong64At: address + 9! - ^memory long64At: address + 9! Item was changed: ----- Method: CogStackPageSurrogate64>>headSP: (in category 'accessing') ----- headSP: aValue self assert: (address + 8 >= zoneBase and: [address + 15 < zoneLimit]). + ^memory unsignedLong64At: address + 9 put: aValue! - ^memory long64At: address + 9 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>lastAddress (in category 'accessing') ----- lastAddress + ^memory unsignedLong64At: address + 49! - ^memory long64At: address + 49! Item was changed: ----- Method: CogStackPageSurrogate64>>lastAddress: (in category 'accessing') ----- lastAddress: aValue + self assert: (address + 48 >= zoneBase and: [address + 55 < zoneLimit]). + ^memory unsignedLong64At: address + 49 put: aValue! - self assert: (address + 48 >= zoneBase and: [address + 35 < zoneLimit]). - ^memory long64At: address + 49 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>nextPage (in category 'accessing') ----- nextPage + ^stackPages surrogateAtAddress: (memory unsignedLong64At: address + 65)! - ^stackPages surrogateAtAddress: (memory long64At: address + 65)! Item was changed: ----- Method: CogStackPageSurrogate64>>nextPage: (in category 'accessing') ----- nextPage: aValue self assert: (address + 64 >= zoneBase and: [address + 71 < zoneLimit]). + memory unsignedLong64At: address + 65 put: aValue asInteger. + ^aValue! - ^memory - long64At: address + 65 - put: aValue asInteger! Item was added: + ----- Method: CogStackPageSurrogate64>>padToWord (in category 'accessing') ----- + padToWord + ^memory long64At: address + 65! Item was added: + ----- Method: CogStackPageSurrogate64>>padToWord: (in category 'accessing') ----- + padToWord: aValue + self assert: (address + 64 >= zoneBase and: [address + 71 < zoneLimit]). + ^memory long64At: address + 65 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>prevPage (in category 'accessing') ----- prevPage + ^stackPages surrogateAtAddress: (memory unsignedLong64At: address + 73)! - ^stackPages surrogateAtAddress: (memory long64At: address + 73)! Item was changed: ----- Method: CogStackPageSurrogate64>>prevPage: (in category 'accessing') ----- prevPage: aValue self assert: (address + 72 >= zoneBase and: [address + 79 < zoneLimit]). + memory unsignedLong64At: address + 73 put: aValue asInteger. + ^aValue! - ^memory - long64At: address + 73 - put: aValue asInteger! Item was changed: ----- Method: CogStackPageSurrogate64>>realStackLimit (in category 'accessing') ----- realStackLimit + ^memory unsignedLong64At: address + 41! - ^memory long64At: address + 41! Item was changed: ----- Method: CogStackPageSurrogate64>>realStackLimit: (in category 'accessing') ----- realStackLimit: aValue self assert: (address + 40 >= zoneBase and: [address + 47 < zoneLimit]). + ^memory unsignedLong64At: address + 41 put: aValue! - ^memory long64At: address + 41 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>stackLimit (in category 'accessing') ----- stackLimit + ^memory unsignedLong64At: address + 1! - ^memory long64At: address + 1! Item was changed: ----- Method: CogStackPageSurrogate64>>stackLimit: (in category 'accessing') ----- stackLimit: aValue + self assert: (address + 0 >= zoneBase and: [address + 7 < zoneLimit]). + ^memory unsignedLong64At: address + 1 put: aValue! - self assert: (address >= zoneBase and: [address + 7 < zoneLimit]). - ^memory long64At: address + 1 put: aValue! Item was changed: ----- Method: CogStackPageSurrogate64>>trace (in category 'accessing') ----- trace + ^memory long64At: address + 57! - ^memory longAt: address + 57! Item was changed: ----- Method: CogStackPageSurrogate64>>trace: (in category 'accessing') ----- trace: aValue + self assert: (address + 56 >= zoneBase and: [address + 63 < zoneLimit]). + ^memory long64At: address + 57 put: aValue! - self assert: (address + 56 >= zoneBase and: [address + 59 < zoneLimit]). - ^memory longAt: address + 57 put: aValue! Item was changed: ----- Method: CogVMSimulator>>ceSendFromInLineCacheMiss: (in category 'trampolines') ----- ceSendFromInLineCacheMiss: oPIC "Override to map the address into a CogMethodSurrogate" | surrogate | surrogate := oPIC isInteger ifTrue: [cogit cogMethodSurrogateAt: oPIC] ifFalse: [oPIC]. self logSend: surrogate selector. + (surrogate cmNumArgs = 0 + and: [(self stackValue: 1) = 16r8169D0 + and: [self stackTop = 16r53EA7]]) ifTrue: + [self halt]. ^super ceSendFromInLineCacheMiss: surrogate! Item was changed: ----- Method: CogVMSimulator>>moveMethodCacheToMemoryAt: (in category 'initialization') ----- moveMethodCacheToMemoryAt: address | oldMethodCache | oldMethodCache := methodCache. - self flag: 'broken for 64-bit VM because Bitmap access unit is 32-bits'. "In the VM the methodCache is written as a normal array with 1-relative addressing. In C this works by allocating an extra element in the methodCache array (see class-side declareCVarsIn:). In simulation simply position the start of the methodCache one word lower, achieving the same effect. -1 because CArrayAccessor is 0-relative and adds 1 on accesses itself." methodCache := CMethodCacheAccessor new + objectMemory: objectMemory + at: address - memory: objectMemory memory - offset: address / objectMemory wordSize array: oldMethodCache functionPointerIndex: MethodCachePrimFunction entrySize: MethodCacheEntrySize. + self assert: address - objectMemory wordSize = self methodCacheAddress. 1 to: MethodCacheSize do: [:i| self assert: (methodCache at: i) = 0]. methodCache at: 1 put: 16rC4EC4. + self assert: (objectMemory longAt: address) = 16rC4EC4. - self assert: (self longAt: address) = 16rC4EC4. 1 to: MethodCacheSize do: [:i| methodCache at: i put: (oldMethodCache at: i)]! Item was changed: ----- Method: CogVMSimulator>>movePrimTraceLogToMemoryAt: (in category 'initialization') ----- movePrimTraceLogToMemoryAt: address | oldTraceLog | oldTraceLog := primTraceLog. + primTraceLog := CArrayOfLongsAccessor new + objectMemory: objectMemory at: address. + self assert: address = self primTraceLogAddress. - self flag: 'broken for 64-bit VM because Bitmap access unit is 32-bits'. - primTraceLog := CObjectAccessor new - memory: objectMemory memory - offset: address / objectMemory wordSize. 0 to: PrimTraceLogSize - 1 do: [:i| self assert: (primTraceLog at: i) = 0]. primTraceLog at: 0 put: 16rC4EC4. + self assert: (objectMemory longAt: address) = 16rC4EC4. - self assert: (self longAt: address) = 16rC4EC4. 0 to: PrimTraceLogSize - 1 do: [:i| primTraceLog at: i put: (oldTraceLog at: i)]! Item was changed: ----- Method: Cogit>>cCoerceSimple:to: (in category 'translation support') ----- cCoerceSimple: value to: cTypeString <doNotGenerate> + cTypeString last == $* ifTrue: + [cTypeString == #'CogMethod *' ifTrue: + [^(value isInteger and: [value < 0]) + ifTrue: [value] "it's an error code; leave it be" + ifFalse: [self cogMethodSurrogateAt: value asUnsignedInteger]]. + cTypeString == #'CogBlockMethod *' ifTrue: + [^self cogBlockMethodSurrogateAt: value asUnsignedInteger]. + cTypeString == #'NSSendCache *' ifTrue: + [^self nsSendCacheSurrogateAt: value asUnsignedInteger]. + (cTypeString == #'AbstractInstruction *' + and: [value isBehavior]) ifTrue: + [^CogCompilerClass]. + cTypeString == #'StackPage *' ifTrue: + [^coInterpreter stackPages surrogateAtAddress: value]]. - cTypeString == #'CogMethod *' ifTrue: - [^(value isInteger and: [value < 0]) - ifTrue: [value] "it's an error code; leave it be" - ifFalse: [self cogMethodSurrogateAt: value asUnsignedInteger]]. - cTypeString == #'CogBlockMethod *' ifTrue: - [^self cogBlockMethodSurrogateAt: value asUnsignedInteger]. - cTypeString == #'NSSendCache *' ifTrue: - [^self nsSendCacheSurrogateAt: value asUnsignedInteger]. - (cTypeString == #'AbstractInstruction *' - and: [value isBehavior]) ifTrue: - [^CogCompilerClass]. ^super cCoerceSimple: value to: cTypeString! Item was added: + ----- Method: Integer>>signedIntFromChar (in category '*VMMaker-interpreter simulator') ----- + signedIntFromChar + "Self is an unsigned 8-bit integer in twos-comp form" + + | shortBits | + shortBits := self bitAnd: 16rFF. + ^(self bitAnd: 16r80) "sign bit" = 0 + ifTrue: [shortBits] + ifFalse: [shortBits - 16r100]! Item was changed: ----- Method: Integer>>signedIntFromLong (in category '*VMMaker-interpreter simulator') ----- signedIntFromLong "Self is a signed or unsigned 32-bit integer" + | bits | + (self >= -1073741824 and: [self <= 1073741823]) ifTrue: "These are known to be SmallIntegers..." + [^self]. + bits := self bitAnd: 16rFFFFFFFF. + (bits digitAt: 4) <= 16r7F ifTrue: [^bits]. + ^bits - 16r100000000! - | sign | - self < 0 ifTrue: [^self]. - sign := self bitAnd: 16r80000000. - sign = 0 ifTrue: [^ self]. - ^ self - sign - sign! Item was changed: ----- Method: Integer>>signedIntFromLong64 (in category '*VMMaker-interpreter simulator') ----- signedIntFromLong64 "Self is a signed or unsigned 64-bit integer" + | bits | + "This case is handled by the SmallInteger subclass..." + "(self >= -1073741824 and: [self <= 1073741823]) ifTrue: + [^self]." + bits := self bitAnd: 16rFFFFFFFFFFFFFFFF. + (bits digitAt: 8) <= 16r7F ifTrue: [^bits]. + ^bits - 16r10000000000000000! - | sign | - self < 0 ifTrue: [^self]. - sign := self bitAnd: 16r8000000000000000. - sign = 0 ifTrue: [^self]. - ^self - sign - sign! Item was added: + ----- Method: Integer>>signedIntToChar (in category '*VMMaker-interpreter simulator') ----- + signedIntToChar + "Produces an 8-bit value in twos-comp form. Truncates if out-of-range as per a C cast" + + ^self bitAnd: 16rFF! Item was changed: ----- Method: Integer>>signedIntToLong (in category '*VMMaker-interpreter simulator') ----- signedIntToLong + "Produces a 32-bit value in twos-comp form. Truncates if out-of-range as per a C cast" - "Produces a 32-bit value in twos-comp form. Sorry no error checking" + ^self bitAnd: 16rFFFFFFFF! - self >= 0 - ifTrue: [^ self] - ifFalse: [^ self + 16r80000000 + 16r80000000] - ! Item was changed: ----- Method: Integer>>signedIntToLong64 (in category '*VMMaker-interpreter simulator') ----- signedIntToLong64 + "Produces a 64-bit value in twos-comp form. Truncates if out-of-range as per a C cast" - "Produces a 64-bit value in twos-comp form. Sorry no error checking" + ^self bitAnd: 16rFFFFFFFFFFFFFFFF! - self >= 0 - ifTrue: [^ self] - ifFalse: [^ self + 16r8000000000000000 + 16r8000000000000000] - ! Item was changed: ----- Method: Integer>>signedIntToShort (in category '*VMMaker-interpreter simulator') ----- signedIntToShort + "Produces a 16-bit value in twos-comp form. Truncates if out-of-range as per a C cast" - "Produces a 16-bit value (0-65k) in twos-comp form. Sorry no error checking" ^self bitAnd: 16rFFFF! Item was added: + ----- Method: SmallInteger>>signedIntFromLong64 (in category '*VMMaker-interpreter simulator') ----- + signedIntFromLong64 + "Self is a signed or unsigned 64-bit integer. + Currently SmallIntegers are either 31-bit (in the 32-bit implementation) or 61-bit + (in the 64-bit implementation) so save some time by overriding in the subclass." + ^self! Item was added: + ----- Method: VMClass class>>openCogTestsMultiWindowBrowser (in category 'utilities') ----- + openCogTestsMultiWindowBrowser + "Answer a new multi-window browser on the test classes in VMMaker" + "self openCogTestsMultiWindowBrowser" + | testClasses b | + testClasses := (PackageInfo named: 'VMMaker') classes select: [:c| c inheritsFrom: TestCase]. + testClasses removeAll: AbstractInstructionTests allSubclasses. + testClasses removeAll: (testClasses select: [:c| '*Plugin*' match: c name]). + b := Browser open. + testClasses do: + [:class| b selectCategoryForClass: class; selectClass: class] + separatedBy: + [b multiWindowState addNewWindow]. + b multiWindowState selectWindowIndex: 1! Item was added: + ----- Method: VMClass class>>openCogitMultiWindowBrowser (in category 'utilities') ----- + openCogitMultiWindowBrowser + "Answer a new multi-window browser on the ObjectMemory classes, the Cog Interpreter classes, and the main JIT classes" + "self openCogitMultiWindowBrowser" + | b | + b := Browser open. + Cogit withAllSubclasses, + CogObjectRepresentation withAllSubclasses, + {CogMethodZone. CogRTLOpcodes }, + (CogAbstractInstruction withAllSubclasses reject: [:c| c name endsWith: 'Tests']), + {VMStructType. VMMaker. CCodeGenerator. TMethod} + do: [:class| + b selectCategoryForClass: class; selectClass: class] + separatedBy: + [b multiWindowState addNewWindow]. + b multiWindowState selectWindowIndex: 1! Item was added: + TestCase subclass: #VMMakerIntegerTests + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'VMMaker-Tests'! Item was added: + ----- Method: VMMakerIntegerTests>>testSignedIntFromFoo (in category 'tests') ----- + testSignedIntFromFoo + self assert: 16r55 signedIntFromChar equals: 16r55. + self assert: 16r155 signedIntFromChar equals: 16r55. + self assert: 16rAA signedIntFromChar < 0. + self assert: (16rAA signedIntFromChar bitAnd: 16rFF) = 16rAA. + + self assert: 16r5555 signedIntFromShort equals: 16r5555. + self assert: 16r15555 signedIntFromShort equals: 16r5555. + self assert: 16rAAAA signedIntFromShort < 0. + self assert: (16rAAAA signedIntFromShort bitAnd: 16rFFFF) = 16rAAAA. + + self assert: 16r55555555 signedIntFromLong equals: 16r55555555. + self assert: 16r155555555 signedIntFromLong equals: 16r55555555. + self assert: 16rAAAAAAAA signedIntFromLong< 0. + self assert: (16rAAAAAAAA signedIntFromLong bitAnd: 16rFFFFFFFF) = 16rAAAAAAAA. + + self assert: 16r5555555555555555 signedIntFromLong64 equals: 16r5555555555555555. + self assert: 16r15555555555555555 signedIntFromLong64 equals: 16r5555555555555555. + self assert: 16rAAAAAAAAAAAAAAAA signedIntFromLong64< 0. + self assert: (16rAAAAAAAAAAAAAAAA signedIntFromLong64 bitAnd: 16rFFFFFFFFFFFFFFFF) = 16rAAAAAAAAAAAAAAAA! Item was added: + ----- Method: VMMakerIntegerTests>>testSignedIntToFoo (in category 'tests') ----- + testSignedIntToFoo + #(16r55 -16r56 16r5555 -16r5556 16r55555555 -16r55555556 16r5555555555555555 -16r5555555555555556) do: + [:n| + n abs digitLength = 1 ifTrue: + [self assert: n signedIntToChar signedIntFromChar equals: n]. + self assert: (n signedIntToChar signedIntFromChar bitAnd: 16rFF) equals: (n bitAnd: 16rFF). + n abs digitLength <= 2 ifTrue: + [self assert: n signedIntToShort signedIntFromShort equals: n]. + self assert: (n signedIntToShort signedIntFromShort bitAnd: 16rFFFF) equals: (n bitAnd: 16rFFFF). + n abs digitLength <= 4 ifTrue: + [self assert: n signedIntToLong signedIntFromLong equals: n]. + self assert: (n signedIntToLong signedIntFromLong bitAnd: 16rFFFFFFFF) equals: (n bitAnd: 16rFFFFFFFF). + n abs digitLength <= 8 ifTrue: + [self assert: n signedIntToLong64 signedIntFromLong64 equals: n]. + self assert: (n signedIntToLong64 signedIntFromLong64 bitAnd: 16rFFFFFFFFFFFFFFFF) equals: (n bitAnd: 16rFFFFFFFFFFFFFFFF)]!

1 0

[commit][3475] Fix syntax for shell funcitons in envvars.sh
by commits＠squeakvm.org 16 Oct '15

16 Oct '15

Revision: 3475 Author: eliot Date: 2015-10-16 10:59:15 -0700 (Fri, 16 Oct 2015) Log Message: ----------- Fix syntax for shell funcitons in envvars.sh Modified Paths: -------------- branches/Cog/image/envvars.sh Modified: branches/Cog/image/envvars.sh =================================================================== --- branches/Cog/image/envvars.sh 2015-10-08 19:36:03 UTC (rev 3474) +++ branches/Cog/image/envvars.sh 2015-10-16 17:59:15 UTC (rev 3475) @@ -23,11 +23,11 @@ OSREL=`uname -r | sed 's/$[0-9]*$\.$[0-9]*$\.$[0-9]*$.*$/\1.\2.\3/'` fi -test "$OS" = Darwin && function quietmd5 () { /sbin/md5 -q "$1" 2>/dev/null; } -test "$OS" = Darwin || function quietmd5 () { /usr/bin/md5sum "$1" | sed 's/ .*$//' 2>/dev/null; } +test "$OS" = Darwin && function quietmd5 { /sbin/md5 -q "$1" 2>/dev/null; } +test "$OS" = Darwin || function quietmd5 { /usr/bin/md5sum "$1" | sed 's/ .*$//' 2>/dev/null; } -test "$OS" = Darwin && function geturl () { FILE=`basename "$1"`; curl -C - "`echo $1 | sed 's/ /%20/g'`" -o "$FILE"; } -test "$OS" = Darwin || function geturl () { wget -c "$1"; } +test "$OS" = Darwin && function geturl { FILE=`basename "$1"`; curl -C - "`echo $1 | sed 's/ /%20/g'`" -o "$FILE"; } +test "$OS" = Darwin || function geturl { wget -c "$1"; } if [ "$OS" != Darwin -a ! -x "`which wget`" ]; then echo "cannot find wget. wget for Windows is available from http://gnuwin32.sourceforge.net/packages/wget.htm, probably as http://downloads.sourceforge.net/gnuwin32/wget-1.11.4-1-setup.exe" 1>&2 @@ -41,7 +41,7 @@ exit 1 fi -function get_vm_from_tar() # VM VMHASH VMARC VMARCHASH +function get_vm_from_tar # VM VMHASH VMARC VMARCHASH { VM="$1" VMDIR=`echo $VM | sed 's/\/.*//'` VMHASH="$2" @@ -64,7 +64,7 @@ fi } -function get_vm_from_zip() # VM VMHASH VMARC VMARCHASH +function get_vm_from_zip # VM VMHASH VMARC VMARCHASH { VM="$1" VMDIR=`echo $VM | sed 's/\/.*//'` VMHASH="$2"

1 0

Re: [Pharo-dev] Random forest in Pharo
by Robert Withers 16 Oct '15

16 Oct '15

On 10/16/2015 07:58 AM, Esteban Lorenzano wrote: > >> On 16 Oct 2015, at 13:53, Esteban Lorenzano <estebanlm(a)gmail.com> wrote: >> >> >>> On 16 Oct 2015, at 13:22, Robert Withers <robert.w.withers(a)gmail.com> wrote: >>> >>> Bonjour Stef, >>> >>> I believe the change everyone would be waiting for is a Multi-threaded VM, that supports threaded callouts and callbacks. So I suppose the questions become: >> >> multi thread ffi vm exists as a prototype, and according to its author (Eliot) needs no less than 4 months of someone skilled working on it to finish it. >> >>> - will existing NB syntax require change with the introduction of a MTVM? >> >> nothing will be equal… why? because you will need to provide callbacks. There is no magic here, if you want something to happen while doing something else, you need to provide a way to be called back when that thing finishes. >> >> now we have: >> >> nbCall:module: >> >> to call FFI (will change to a more generic ffiCall:module:, btw… but we’ll keep old notation some versions to provide backward compatibility) >> >> So I can imagine an API like this: >> >> ffiAsyncCall:callback:module: >> >> So yes… you need change. But that’s inevitable… Of course you can do a fwk forking in image and starting a continuation, etc. But well, I will let you guys to think on that (also you still will need the fork) :) > > Actually I just remembered that current prototype works attaching external call with an internal Process (with some special id inside). > But still, I do not expect call syntax will change at all. Are you saying all FFI callouts would become threaded or would there be an unthreaded callout and a threaded callout? I was assuming the second scenario. Robert > > Esteban > >> >>> - to what degree will NB syntax need to be extended to support threaded callouts. >> >> as described, I suppose. No exact idea until we implement. >> >>> - what NB syntax changes are needed for callbacks. >> >> NB used some magic there. Shadow classes and etc. We do not need/want that anymore. >> >> now you have a new FFICallback api, where you can do: >> >> FFICallback >> signature: #(int (int handle, int *pitch, int x, int y, int w, int h)) >> block: [ :handle :pitch :x :y :w :h | >> pitch signedLongAt: 1 put: (self get_stride: handle). >> self get_data: handle ] >> >> (I extracted that example from my ongoing port of Athens) >> >>> - timing: when is MTVM expected and can we operate on the leading edge? >> >> we are lacking resources: Is just me (in the Pharo part, of course… Eliot and some others work also in the exclusively VM part, but they have other agendas). >> >> So… my plan is: >> >> - NB to FFI port (should be ready soon) >> - spur32 bits (should be ready soon, we are just waiting the NB to FFI) >> - spur64 bits (Eliot is working on the JIT, I need to manage the migration of Pharo) >> - FFI 64bits (0% done here… just some stubs waiting for effort). But we want to move Pharo to 64bits… we are losing a train here... >> - FFI MT >> >> So… not very hight priority. According as how I see things now, I *think* I can have that some point of 2017… yes, as far as that. Also because I have a lot other stuff to do, not just the lowlevel parts. >> >> Of course this is not good and we have talked with some people to speed up this. We talked with Igor about taking the MT stuff (yes, we also believe is VERY important), but he fade in the blur… I didn’t hear from him since 3 months (I’m still waiting for some feedback on OSWindow work he did, he)… yes I’m a bit frustrated. >> >> If *anyone* wants to collaborate in any part of this list (is a MASSIVE effort), I would be very happy and willing to provide as much assistance/guiding/peer programming as I can. >> >> hope this helps >> >> Esteban >> >>> >>> Personally, in SqueakElib, I have my network and session layers working for encrypted connections, so I just have the presentation layer to go. Once done, I would be very interested in working in the VM with whomever is also interested with an eye towards threading (MTVM). I am no expert here so it will be a challenge I am looking forward to. >>> >>> Regards, >>> Robert >>> >>> On 10/16/2015 06:59 AM, stepharo wrote: >>>> >>>> In pharodays presentations we explictly mentioned our strategy: >>>> - we keep NB syntax >>>> - we change the assembly generation to be able to get Spur. >>>> >>>> Stef >>>> >>>> I can tell you that if I could get a lua kind of jit now I would sign >>>> immediately and also for having pharo as a dll. >>>> Now it takes time to do soemthing. >>>> >>>> Le 15/10/15 17:35, Robert Withers a écrit : >>>>> >>>>> I am reticent to invest in learning FFI that is changing without an idea >>>>> of the direction of the change. So >>>> >>>> >>> >> > >

2 1

Re: [squeak-dev] re: "callback failed to own the VM"
by Eliot Miranda 15 Oct '15

15 Oct '15

Hi Craig, first, the message from the non-MT VM, "Warning; callback failed to own the VM", indicates that a callback is coming in on other than the VM thread. Here's the non-MT implementation from sqVirtualMachine.c: sqInt ownVM(sqInt threadIdAndFlags) { extern sqInt amInVMThread(void); return amInVMThread() ? 0 : -1; } So with the normal VM any callbacks must come in on the thread that made a callout. On Tue, Oct 6, 2015 at 7:23 AM, Craig Latta <craig(a)netjam.org> wrote: > > Hm, I still get the "failed to own the VM" message with the > multithreaded VM. I thought it would wait until it could run the > callback from a VM thread? What now? > Second, the MT VM /is/ only a prototype. But second, what's the platform, etc? Do you have a reproducible case? Are you willing to use gdb et al to debug ownVM? The issue here is when a callback comes in from some unknown thread, what do we do with it? By default it is rejected. But if there is a process in the foreignCallbackProcessSlot of the specialObjectsArray, it will be cloned to handle each "foreign" callback. Likely you don't have such a process installed, hence the callbacks getting rejected. If you read CogInterpreterMT>>ownVM: you'll see CogInterpreterMT>>ownVM: threadIndexAndFlags <api> <inline: false> "This is the entry-point for plugins and primitives that wish to reacquire the VM after having released it via disownVM or callbacks that want to acquire it without knowing their ownership status. This call will block until the VM is owned by the current thread or an error occurs. The argument should be the value answered by disownVM, or 0 for callbacks that don't know if they have disowned or not. This is both an optimization to avoid having to query thread- local storage for the current thread's index (since it can easily keep it in some local variable), and a record of when an unbound process becomes affined to a thread for the dynamic extent of some operation. Answer 0 if the current thread is known to the VM. Answer 1 if the current thread is unknown to the VM and takes ownership. Answer -1 if the current thread is unknown to the VM and fails to take ownership." | threadIndex flags vmThread myProc activeProc sched | <var: #vmThread type: #'CogVMThread *'> threadIndexAndFlags = 0 ifTrue: [^self ownVMFromUnidentifiedThread]. ... and CogInterpreterMT>>ownVMFromUnidentifiedThread "Attempt to take ownership from a thread that as yet doesn't know its index. This supports callbacks where the callback could originate from any thread. Answer 0 if the owning thread is known to the VM. Answer 1 if the owning thread is unknown to the VM and now owns the VM. Answer -1 if the owning thread is unknown to the VM and fails to own the VM. Answer -2 if the owning thread is unknown to the VM and there is no foreign callback process installed." | count threadIndex vmThread | <var: #vmThread type: #'CogVMThread *'> <inline: false> (threadIndex := cogThreadManager ioGetThreadLocalThreadIndex) ~= 0 ifTrue: [ "this is a callback from a known thread" threadIndex = cogThreadManager getVMOwner ifTrue: "the VM has not been disowned" [self assert: (disowningVMThread isNil or: [disowningVMThread = self currentVMThread]). disowningVMThread := nil. self currentVMThread state: CTMAssignableOrInVM. ^VMAlreadyOwnedHenceDoNotDisown]. ^self ownVM: threadIndex]. foreignCallbackPriority = 0 ifTrue: [^-2]. ... i.e. that to accept a callback from an unknown thread the system has to have the priority at which to run callbacks from unknown threads (foreignCallbackPriority) determined, and that's set by the priority of the process filling the foreignCallbackProcessSlot in the specialObjectsArray, as set by disownVM:. CogInterpreterMT>>disownVM: flags "Release the VM to other threads and answer the current thread's index. Currently valid flags: DisownVMLockOutFullGC - prevent fullGCs while this thread disowns the VM. OwnVMForeignThreadFlag - indicates lowest-level entry from a foreign thread - not to be used explicitly by clients - only set by ownVMFromUnidentifiedThread VMAlreadyOwnedHenceDoNotDisown - indicates an ownVM from a callback was made when the vm was still owned. - not to be used explicitly by clients - only set by ownVMFromUnidentifiedThread This is the entry-point for plugins and primitives that wish to release the VM while performing some operation that may potentially block, and for callbacks returning back to some blocking operation. If this thread does not reclaim the VM before- hand then when the next heartbeat occurs the thread manager will schedule a thread to acquire the VM which may start running the VM in place of this thread. N.B. Most of the state needed to resume after preemption is set in preemptDisowningThread." <api> <inline: false> | vmThread result | <var: #vmThread type: #'CogVMThread *'> ... (flags anyMask: DisownVMForProcessorRelinquish) ifTrue: [| proc | (proc := objectMemory splObj: foreignCallbackProcessSlot) ~= objectMemory nilObject ifTrue: [foreignCallbackPriority := self quickFetchInteger: PriorityIndex ofObject: proc]. relinquishing := true. self sqLowLevelMFence]. So how to install a process in the foreignCallbackProcessSlot? See SmalltalkImage>>recreateSpecialObjectsArray. SmalltalkImage>>recreateSpecialObjectsArray "Smalltalk recreateSpecialObjectsArray" "To external package developers: **** DO NOT OVERRIDE THIS METHOD. ***** If you are writing a plugin and need additional special object(s) for your own use, use addGCRoot() function and use own, separate special objects registry " "The Special Objects Array is an array of objects used by the Squeak virtual machine. Its contents are critical and accesses to it by the VM are unchecked, so don't even think of playing here unless you know what you are doing." | newArray | newArray := Array new: 60. "Nil false and true get used throughout the interpreter" newArray at: 1 put: nil. newArray at: 2 put: false. newArray at: 3 put: true. ... "Used to be WeakFinalizationList for WeakFinalizationList hasNewFinalization, obsoleted by ephemeron support." newArray at: 56 put: nil. "reserved for foreign callback process" >>> newArray at: 57 put: (self specialObjectsArray at: 57 ifAbsent: []). newArray at: 58 put: #unusedBytecode. "59 reserved for Sista counter tripped message" newArray at: 59 put: #conditionalBranchCounterTrippedOn:. "60 reserved for Sista class trap message" newArray at: 60 put: #classTrapFor:. "Now replace the interpreter's reference in one atomic operation" self specialObjectsArray becomeForward: newArray So chose a priority to run foreign callbacks at, write a pair of accessors to set and get the foreign callback process in the specialObjectsArray. Set the slot to a new process ([] newProcess priority: N; yourself), save and restart the image (to allow the system to initialize correctly), and then see how you get on. I expect you'll see crashes soon enough because...the MT VM is a prototype. But you may just get lucky. I certainly hope so! Ah yes, you also have to arrange that when that process runs it replaces itself in the foreignCallbackSlot, so you'll have to work out a scheme to handle multiple foreign callbacks. I wrote a scheme for VW, but haven't got this far with the Cog MT VM. _,,,^..^,,,_ best, Eliot

3 20

error with envvars.sh when building VMMaker image
by Robert Withers 14 Oct '15

14 Oct '15

I am also getting an error on the image side, I've found, when running buildspurtrunkvmmakerimage.sh. ~/warren/image$ ./buildspurtrunkvmmakerimage.sh ./buildspurtrunkvmmakerimage.sh: 26: ./envvars.sh: Syntax error: "(" unexpected thanks, Robert

3 4

Re: [Vm-dev] FilePlugin can't delete files with 0444
by Max Leske 13 Oct '15

13 Oct '15

> On 13 Oct 2015, at 17:14, vm-dev-request(a)lists.squeakfoundation.org wrote: > >> >> >> Hi. >> >> Git creates it’s object files (the object database files) with permission >> 0444 (i.e. no write permissions). On OS X and Linux the VM is happy to >> delete those files but on Windows 7 the FilePlugin fails with a >> #primitiveFailed:. >> >> Before I dive into the code and start fixing stuff I wanted to know if >> this is a known issue / unfixable problem. >> > > Yes, I saw this already when working with git directories for the long path > issue. > On windows, we'll have to remove a readonly attribute if we want to delete > read-only files. > > Don't know how to fix this, silently in the vm if the plugin failed? Or > return with an appropriate return code and > give the image a chance to ask the user and then call the delete method > again with a flag "do-delete-readonly-files" > Or add a method to the plugin, to change the attributes and change add code > in the image to provide a method that changes > readonly flags for all entries prior to calling deleteAll? > > In my opinion the behaviour should be identical on Windows and on *nix. The point is, I think, that a read only file which belongs to the current user is effectively writeable. The missing write bit simply states that the file is private and should not be deleted lightly. From that point of view the VM does the right thing on *nix (I didn’t test this but I’d expect the primitive to fail aswell if the current user were *not* the owner of the file). Also, this is a case where one could simply supply ‘-f’ to ‘rm’ on the command line, but FilePlugin has no notion of forcing deletion. So either we add a “forceDeletePrimitive” or we make sure that the primitive works the same way on both systems. And yes, I’d rather have a nice error than a #primitiveFailed, but that’s the FileDirectory / FileStream / FileSystem code, not FilePlugin. Cheers, Max > > > > > >> >> Cheers, >> Max

1 0

Re: [Pharo-dev] Alien and FFI in Pharo
by Robert Withers 13 Oct '15

13 Oct '15

I just had a realization. I do need MT (is this what forking callout/callback threaded vm is called?) I think, for callout, not callback. The select call is a blocking call and will block the image thread. Is it true? If so, let's figure it out, Craig. I'm with you. thanks, Robert On 10/13/2015 03:20 AM, Robert Withers wrote: > Hi Craig, > > I saw your thread on that. Luckily NIO is a blocking call-out when you > call select, so no callbacks. > > Callbacks would be nice to have available. It sounds like it is > potentially big in impact to the image environment...pure events. I > don't wish to see conversation completely stop on it, but I do not have > a compelling use for it yet. I'd rather see 64bit Cog/Spur on PI. > > thanks, > Robert > > On 10/13/2015 03:00 AM, Craig Latta wrote: >> >>> I want to get NIO sockets working using FFI, which I understand means >>> Alien. I can't seem to load Alien from the Catalog. >>> >>> What do you suggest I do? >> >> If NIO sockets involve callbacks from threads forked by the >> library, don't bother. Cog's scheduler deadlocks. >> >> >> -C >> >> -- >> Craig Latta >> netjam.org >> +31 6 2757 7177 (SMS ok) >> + 1 415 287 3547 (no SMS) >> >>

1 0

FilePlugin can't delete files with 0444 permission on Windows
by Max Leske 13 Oct '15

13 Oct '15

Hi. Git creates it’s object files (the object database files) with permission 0444 (i.e. no write permissions). On OS X and Linux the VM is happy to delete those files but on Windows 7 the FilePlugin fails with a #primitiveFailed:. Before I dive into the code and start fixing stuff I wanted to know if this is a known issue / unfixable problem. Cheers, Max

2 1

← Newer
1
2
3
4
5
6
7
8
9
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev October 2015