Squeak-dev August 2021

squeak-dev@lists.squeakfoundation.org

18 participants
222 discussions

FFI: FFI-Kernel-mt.206.mcz
by commits＠source.squeak.org 17 Aug '21

17 Aug '21

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.206.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.206 Author: mt Time: 17 August 2021, 12:00:18.644505 pm UUID: 11a34cdc-d7d8-6b47-8bd8-a0774f3aeefc Ancestors: FFI-Kernel-mt.205 Some clean-up and bugfixes: - Generalize #becomeUnknownType to simplify edits to existing type aliases - Use #isCharType where appropriate - Nuke obsolete lookup functions in ExternalFunction - Fix "instance list" protocol on ExternalType class; "all" includes type aliases, others do no; this is now consistent with #atomicTypesDo: and #allAtomicTypesDo: - Nuke obsolete #becomeKnownTypeSafely on ExternalType now that #doneCompiling on ExternalStructure class works differently; only needed on ExternalUnknownType - Adds some commentary =============== Diff against FFI-Kernel-mt.205 =============== Item was changed: ----- Method: ExternalArrayType>>newTypeAlias (in category 'private') ----- newTypeAlias "A little bit expensive but easy to implement. Once the size information is encoded in the headerWord, we might be able to do some cheap update like for the alias-to-pointer type." - | newUnknownType | self isTypeAlias ifFalse: [^ self]. + self becomeUnknownType becomeKnownType.! - - newUnknownType := ExternalUnknownType basicNew - compiledSpec: self compiledSpec; - byteAlignment: self byteAlignment; - setReferentClass: referentClass; - setReferencedType: referencedType; - yourself. - - "Make my pointer type common again by setting the referentClass." - newUnknownType setReferencedType: referencedType. - referencedType setReferentClass: referentClass. - - self becomeForward: newUnknownType. - newUnknownType becomeKnownType.! Item was changed: ----- Method: ExternalData>>mightBeCString (in category 'testing') ----- mightBeCString + ^ self contentType isCharType and: [self size isNil]! - ^ self contentType = ExternalType char and: [self size isNil]! Item was removed: - ----- Method: ExternalFunction class>>atomicTypeNamed: (in category 'compiler support') ----- - atomicTypeNamed: aString - ^ExternalType atomicTypeNamed: aString! Item was removed: - ----- Method: ExternalFunction class>>structTypeNamed: (in category 'compiler support') ----- - structTypeNamed: aString - ^ExternalType structTypeNamed: aString! Item was changed: ----- Method: ExternalPointerType>>isStringType (in category 'testing - special') ----- isStringType "If pointer to atomic, the atomic type is encoded directly in the headerWord. Might change in the future; use #asNonPointerType in that case." + ^ self isCharType! - ^ self atomicType = FFITypeUnsignedChar! Item was added: + ----- Method: ExternalType class>>allArrayTypeNames (in category 'instance list') ----- + allArrayTypeNames + "Answers the names of the currently known array types. Includes alias-to-array types." + + ^ self allArrayTypes collect: [:each | each typeName]! Item was added: + ----- Method: ExternalType class>>allArrayTypes (in category 'instance list') ----- + allArrayTypes + "Answers all array types. Includes alias-to-array types." + + ^ Array streamContents: [:stream | + self allArrayTypesDo: [:type | stream nextPut: type]]! Item was added: + ----- Method: ExternalType class>>allArrayTypesDo: (in category 'instance list') ----- + allArrayTypesDo: block + + self arrayTypesDo: block. + + "Alias-to-array types are managed in StructTypes but are actual array types." + StructTypes do: [:each | + (each notNil "may be garbage collected" and: [each isArrayType]) + ifTrue: [block value: each]].! Item was added: + ----- Method: ExternalType class>>allAtomicTypeNames (in category 'instance list') ----- + allAtomicTypeNames + "Answers the names of the currently known atomic types. Includes names for alias-to-atomic types." + + ^ self allAtomicTypes collect: [:type | type typeName] ! Item was added: + ----- Method: ExternalType class>>allAtomicTypes (in category 'instance list') ----- + allAtomicTypes + "Answers the currently known atomic types. Includes alias-to-atomic types." + + ^ Array streamContents: [:stream | + self allAtomicTypesDo: [:type | stream nextPut: type]]! Item was added: + ----- Method: ExternalType class>>allAtomicTypesDo: (in category 'instance list') ----- + allAtomicTypesDo: block + + self atomicTypesDo: block. + + self typeAliasTypesDo: [:type | + type isAtomic ifTrue: [block value: type]].! Item was added: + ----- Method: ExternalType class>>allPointerTypeNames (in category 'instance list') ----- + allPointerTypeNames + + ^ self allPointerTypes collect: [:each | each typeName]! Item was added: + ----- Method: ExternalType class>>allPointerTypes (in category 'instance list') ----- + allPointerTypes + "Answers the pointer types. Includes alias-to-pointer types." + + ^ Array streamContents: [:stream | + self allPointerTypesDo: [:type | stream nextPut: type]]! Item was added: + ----- Method: ExternalType class>>allPointerTypesDo: (in category 'instance list') ----- + allPointerTypesDo: block + "Enumerat all pointer types, including alias-to-pointer types." + + self pointerTypesDo: block. + + "Type alias-to-pointer types are managed in StructTypes but are actual pointer types." + StructTypes do: [:each | (each notNil and: [each isPointerType]) + ifTrue: [block value: each]].! Item was added: + ----- Method: ExternalType class>>allStructTypeNames (in category 'instance list') ----- + allStructTypeNames + "Answers the names of the currently known struct types. Includes alias-to-struct types." + + ^ self allStructTypes collect: [:each | each typeName]! Item was added: + ----- Method: ExternalType class>>allStructTypes (in category 'instance list') ----- + allStructTypes + "Answers the currently known struct types, including alias-to-struct types." + + ^ Array streamContents: [:stream | + self allStructTypesDo: [:type | stream nextPut: type]]! Item was added: + ----- Method: ExternalType class>>allStructTypesDo: (in category 'instance list') ----- + allStructTypesDo: block + "Enumerate all struct types. Includes types for packed structs and unions. Includes type aliases." + + StructTypes do: [:each | (each notNil and: [each isStructureType]) + ifTrue: [block value: each]]! Item was changed: ----- Method: ExternalType class>>arrayTypesDo: (in category 'instance list') ----- arrayTypesDo: block ArrayTypes do: [:sizes | sizes do: [:each | each notNil "may be garbage collected" + ifTrue: [block value: each]]].! - ifTrue: [block value: each]]]. - - "Type aliases to array types are managed in StructTypes but are actual array types." - StructTypes do: [:each | - (each notNil "may be garbage collected" and: [each isArrayType]) - ifTrue: [block value: each]].! Item was changed: ----- Method: ExternalType class>>pointerTypes (in category 'instance list') ----- pointerTypes + "Answers the pointer types." - "Answers the currently known pointer types, including type-alias-to-pointer types." ^ Array streamContents: [:stream | self pointerTypesDo: [:type | stream nextPut: type]]! Item was changed: ----- Method: ExternalType class>>pointerTypesDo: (in category 'instance list') ----- pointerTypesDo: block + "Enumerate all pointer types. No alias-to-pointer types, but pointer types for other type aliases." - "Answers the currently known pointer types, including type-alias-to-pointer types." + self allAtomicTypesDo: [:type | - self atomicTypesDo: [:type | block value: type asPointerType]. + self allStructTypesDo: [:type | - self structTypesDo: [:type | block value: type asPointerType]. + self allArrayTypesDo: [:type | + block value: type asPointerType].! - self arrayTypesDo: [:type | - block value: type asPointerType]. - - "Type aliases to pointer types are managed in StructTypes but are actual pointer types." - StructTypes do: [:each | (each notNil and: [each isPointerType]) - ifTrue: [block value: each]].! Item was removed: - ----- Method: ExternalType>>becomeKnownTypeSafely (in category 'private') ----- - becomeKnownTypeSafely - "Ignore. We are already a known type." - - self assert: [self isUnknownType not].! Item was added: + ----- Method: ExternalType>>becomeUnknownType (in category 'private') ----- + becomeUnknownType + + | newUnknownType | + newUnknownType := ExternalUnknownType basicNew + compiledSpec: self compiledSpec; + byteAlignment: self byteAlignment; + setReferentClass: referentClass; + setReferencedType: referencedType; + yourself. + + "Make my pointer type common again by setting the referentClass." + newUnknownType setReferencedType: referencedType. + referencedType setReferentClass: referentClass. + + self becomeForward: newUnknownType. + ^ newUnknownType! Item was changed: ----- Method: ExternalUnknownType>>becomeArrayType (in category 'construction') ----- becomeArrayType "I am now positive on #isTypeAliasForArray :-) Make myself an array type. Not that easy because Arraytype as extra instVars #size and #contentType." + ^ self + becomeKnownTypeClass: ExternalArrayType + with: [:arrayType | + arrayType + setContentType: referentClass originalType contentType; "Hmm..." + setSize: referentClass originalType size; "Hmm..." + setByteSize: referentClass originalType byteSize "Hmm..."]! - | newArrayType | - newArrayType := ExternalArrayType basicNew - compiledSpec: self compiledSpec; - byteAlignment: self byteAlignment; - setReferentClass: referentClass; - setReferencedType: referencedType; - setContentType: referentClass originalType contentType; "Hmm..." - setSize: referentClass originalType size; "Hmm..." - setByteSize: referentClass originalType byteSize; "Hmm..." - yourself. - - self becomeForward: newArrayType. - - ^ newArrayType! Item was added: + ----- Method: ExternalUnknownType>>becomeKnownTypeClass:with: (in category 'construction') ----- + becomeKnownTypeClass: typeClass with: initBlock + + | newKnownType | + newKnownType := typeClass basicNew + compiledSpec: self compiledSpec; + byteAlignment: self byteAlignment; + setReferentClass: referentClass; + setReferencedType: referencedType. + initBlock value: newKnownType. + self becomeForward: newKnownType. + ^ newKnownType! Item was changed: ----- Method: ExternalUnknownType>>becomeKnownTypeSafely (in category 'construction') ----- becomeKnownTypeSafely "Give me some purpose. :-)" ^ [self becomeKnownType] ifError: [:msg | + Transcript showln: ('[FFI] Type for {1} still unknown: {2}' format: {referentClass. msg}). - Transcript showln: '[FFI] Type still unknown: ', msg. self assert: [self isUnknownType]. self].! Item was changed: ----- Method: ExternalUnknownType>>becomeStructureType (in category 'construction') ----- becomeStructureType + "Fast path because no extra instVars in ExternalStructureType." + - self changeClassTo: ExternalStructureType.! Item was added: + ----- Method: ExternalUnknownType>>becomeUnknownType (in category 'private') ----- + becomeUnknownType + + self assert: [self isUnknownType].! Item was changed: + ----- Method: ExternalUnknownType>>newReferentClass: (in category 'private') ----- - ----- Method: ExternalUnknownType>>newReferentClass: (in category 'construction') ----- newReferentClass: classOrNil self assert: [classOrNil notNil]. referentClass := classOrNil. compiledSpec := referentClass compiledSpec. byteAlignment := referentClass byteAlignment.! Item was changed: + ----- Method: ExternalUnknownType>>newTypeAlias (in category 'private') ----- - ----- Method: ExternalUnknownType>>newTypeAlias (in category 'construction') ----- newTypeAlias "A type alias is done compiling and its type can now be initialized completely. See ExternalTypeAlias class >> #originalTypeName and #isSkipped." self assert: [referentClass isBehavior]. referentClass isTypeAlias ifTrue: [^ self becomeKnownType]. self error: '[FFI] Only type aliases can become a known type later on'.!

1 0

UK Smalltalk User Group Meeting - Wednesday, August 25th
by Giovanni Corriga 16 Aug '21

16 Aug '21

The next meeting of the UK Smalltalk User Group will be on Wednesday, August 25th. Marcus Denker will talk about Variables in Pharo. We like to say that “Everything is an Object” in Smalltalk. This is true in many cases: Classes, methods, even the execution stack are reflectively available as objects. This talk shows how this idea can be extended to Variables and how Pharo implements first-class Variables for Globals, instance Variables, Class Variables, and even temporary variables. This presentation explores the Variable hierarchy, shows how variables simplify the compiler and how the reflective API provided by variables is used by the debugger. In a hands-on tutorial, we extend the language by defining new kinds of Variables. Marcus ( https://marcusdenker.de/ ) is a permanent researcher at INRIA Lille - Nord Europe ( http://www.inria.fr/lille/ ). Before, he was a postdoc at the PLEIAD lab/DCC University of Chile and the Software Composition Group, University of Bern. His research focuses on reflection and meta-programming for dynamic languages. Marcus Denker received a PhD in Computer Science from the University of Bern/Switzerland in 2008 and a Dipl.-Inform. (MSc) from the University of Karlsruhe/Germany in 2004. He co-founded Zweidenker GmbH ( https://zweidenker.de/ ) in 2009. Given the current COVID-19 restrictions, this will be an online meeting from home. If you'd like to join us, please sign up in advance on the meeting's Meetup page ( https://www.meetup.com/UKSTUG/events/cbklbrycclbhc/ ) to receive the meeting details. Don’t forget to bring your laptop and drinks!

1 0

FFI: FFI-Kernel-mt.205.mcz
by commits＠source.squeak.org 16 Aug '21

16 Aug '21

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.205.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.205 Author: mt Time: 16 August 2021, 9:12:47.322631 am UUID: f4fcd757-5ecb-ff44-b8b7-31df187c9721 Ancestors: FFI-Kernel-eem.204 Complements FFI-Pools-mt.33 =============== Diff against FFI-Kernel-eem.204 =============== Item was changed: ----- Method: ExternalType class>>byte (in category 'type constants') ----- byte + "For convenience, byte defaults to unsigned 8-bit integer." + + ^ self uint8_t! - "byte defaults to unsigned byte" - ^self unsignedByte! Item was changed: ----- Method: ExternalType class>>char (in category 'type constants') ----- char "char defaults to unsigned char" + + self flag: #discuss. "mt: Shouldn't this rather be signed 8-bit character type?" ^self unsignedChar! Item was changed: ----- Method: ExternalType class>>initialize (in category 'class initialization') ----- initialize " ExternalType initialize " + self initializeAtomicTypeNames. - self initializeFFIConstants. self initializeAtomicTypes. self initializeAtomicSends. self initializeStructureTypes. self initializeArrayClasses.! Item was added: + ----- Method: ExternalType class>>initializeAtomicTypeNames (in category 'class initialization') ----- + initializeAtomicTypeNames + "ExternalType initialize" + + AtomicTypeNames := IdentityDictionary newFrom: { + FFITypeVoid -> #'void'. + FFITypeBool -> #'bool'. + + FFITypeUnsignedInt8 -> #'uint8_t'. + FFITypeSignedInt8 -> #'int8_t'. + FFITypeUnsignedInt16 -> #'uint16_t'. + FFITypeSignedInt16 -> #'int16_t'. + FFITypeUnsignedInt32 -> #'uint32_t'. + FFITypeSignedInt32 -> #'int32_t'. + FFITypeUnsignedInt64 -> #'uint64_t'. + FFITypeSignedInt64 -> #'int64_t'. + + FFITypeUnsignedChar -> #'char'. + FFITypeSignedChar -> #'schar'. + + FFITypeSingleFloat -> #'float'. + FFITypeDoubleFloat -> #'double' + }.! Item was changed: ----- Method: ExternalType class>>initializeAtomicTypes (in category 'class initialization') ----- initializeAtomicTypes "(Re-)initialize all atomic types. Preserves object identity of all involved types. If the amount of types changed, use #resetAllAtomicTypes instead." | atomicType byteSize type typeName byteAlignment | - self flag: #ffiLongVsInt. "For a discussion about long vs. int see http://forum.world.st/Re-squeak-dev-64-bit-FFI-was-porting-Croquet-to-Squea…." - self basicInitializeAtomicTypes. self invalidateAtomicTypes. #( "name atomic id byte size byte alignment" + (#'void' 0 0 0) "No non-pointer support in calls. Duh. ;-)" + (#'bool' 1 1 1) "No pointer support in calls." + (#'uint8_t' 2 1 1) + (#'int8_t' 3 1 1) + (#'uint16_t' 4 2 2) + (#'int16_t' 5 2 2) + (#'uint32_t' 6 4 4) + (#'int32_t' 7 4 4) + (#'uint64_t' 8 8 8) "v.i." + (#'int64_t' 9 8 8) "v.i." + (#'char' 10 1 1) + (#'schar' 11 1 1) + (#'float' 12 4 4) + (#'double' 13 8 8) "v.i." - ('void' 0 0 0) "No non-pointer support in calls. Duh. ;-)" - ('bool' 1 1 1) "No pointer support in calls." - ('byte' 2 1 1) - ('sbyte' 3 1 1) - ('ushort' 4 2 2) - ('short' 5 2 2) - "!!!!!!" ('ulong' 6 4 "!!!!!!" 4) - "!!!!!!" ('long' 7 4 "!!!!!!" 4) - ('ulonglong' 8 8 8) "v.i." - ('longlong' 9 8 8) "v.i." - ('char' 10 1 1) - ('schar' 11 1 1) - ('float' 12 4 4) - ('double' 13 8 8) "v.i." "TODO: ('longdouble' 14 10 16? 4?)" ) do:[:typeSpec| | compiled | typeName := typeSpec first. atomicType := typeSpec second. + self assert: [(AtomicTypeNames keyAtValue: typeName) = atomicType]. + byteSize := typeSpec third. byteAlignment := typeSpec fourth. "0) On 32-bits Windows and MacOS, double and long long have an alignment of 8. But on 32-bit Linux, their alignment is 4. But not on a 32-bit Raspberry Pi OS." (FFIPlatformDescription current wordSize = 4 and: [FFIPlatformDescription current isUnix and: [FFIPlatformDescription current isARM not]]) ifTrue: [ + (#('double' 'int64_t' 'uint64_t') includes: typeName) ifTrue: [ - (#('double' 'longlong' 'ulonglong') includes: typeName) ifTrue: [ byteAlignment := 4]]. "1) Regular type" type := (AtomicTypes at: typeName). compiled := WordArray with: ((byteSize bitOr: FFIFlagAtomic) bitOr: (atomicType bitShift: FFIAtomicTypeShift)). compiled ~= type compiledSpec "Preserve the identity of #compiledSpec." ifTrue: [type compiledSpec: compiled]. type byteAlignment: byteAlignment. "2) Pointer type" type := type asPointerType. compiled := WordArray with: ((self pointerSpec bitOr: FFIFlagAtomic) bitOr: (atomicType bitShift: FFIAtomicTypeShift)). compiled ~= type compiledSpec "Preserve the identity of #compiledSpec." ifTrue: [type compiledSpec: compiled]. type byteAlignment: self pointerAlignment. ].! Item was removed: - ----- Method: ExternalType class>>initializeFFIConstants (in category 'class initialization') ----- - initializeFFIConstants - "ExternalType initialize" - FFIConstants initialize. "ensure proper initialization" - AtomicTypeNames := IdentityDictionary new. - AtomicTypeNames - at: FFITypeVoid put: 'void'; - at: FFITypeBool put: 'bool'; - at: FFITypeUnsignedByte put: 'byte'; - at: FFITypeSignedByte put: 'sbyte'; - at: FFITypeUnsignedShort put: 'ushort'; - at: FFITypeSignedShort put: 'short'; - flag: #ffiLongVsInt; - at: FFITypeUnsignedInt put: 'ulong'; - at: FFITypeSignedInt put: 'long'; - at: FFITypeUnsignedLongLong put: 'ulonglong'; - at: FFITypeSignedLongLong put: 'longlong'; - at: FFITypeUnsignedChar put: 'char'; - at: FFITypeSignedChar put: 'schar'; - at: FFITypeSingleFloat put: 'float'; - at: FFITypeDoubleFloat put: 'double'; - yourself.! Item was changed: ----- Method: ExternalType class>>int (in category 'type constants') ----- int + self flag: #deprecated. + ^ self int32_t! - self flag: #ffiLongVsInt. - ^ self long! Item was changed: ----- Method: ExternalType class>>int16_t (in category 'type constants - stdint.h') ----- int16_t + ^ AtomicTypes at: 'int16_t'! - ^ self signedShort! Item was changed: ----- Method: ExternalType class>>int32_t (in category 'type constants - stdint.h') ----- int32_t + ^ AtomicTypes at: 'int32_t'! - ^ self signedInt! Item was changed: ----- Method: ExternalType class>>int64_t (in category 'type constants - stdint.h') ----- int64_t + ^ AtomicTypes at: 'int64_t'! - ^ self signedLongLong! Item was changed: ----- Method: ExternalType class>>int8_t (in category 'type constants - stdint.h') ----- int8_t + ^ AtomicTypes at: 'int8_t'! - ^ self signedByte! Item was changed: ----- Method: ExternalType class>>long (in category 'type constants') ----- long + self flag: #deprecated. + ^ self int32_t! - self flag: #ffiLongVsInt. - ^ self signedLong! Item was changed: ----- Method: ExternalType class>>longlong (in category 'type constants') ----- longlong + + self flag: #deprecated. + ^ self int64_t! - ^ self signedLongLong! Item was changed: ----- Method: ExternalType class>>resetAllAtomicTypes (in category 'housekeeping') ----- resetAllAtomicTypes "Warning: This call is only required if you change the initialization for AtomicTypes." + AtomicTypeNames := nil. + self initializeAtomicTypeNames. + AtomicTypes := nil. self initializeAtomicTypes. AtomicSends := nil. self initializeAtomicSends. "Now also reset everything that depends on atomic types." self resetAllStructureTypes.! Item was changed: ----- Method: ExternalType class>>sbyte (in category 'type constants') ----- sbyte + + self flag: #deprecated. + ^self int8_t! - ^self signedByte! Item was changed: ----- Method: ExternalType class>>short (in category 'type constants') ----- short + + self flag: #deprecated. + ^self int16_t! - ^self signedShort! Item was changed: ----- Method: ExternalType class>>signedByte (in category 'type constants') ----- signedByte + + self flag: #deprecated. + ^ self int8_t! - ^AtomicTypes at: 'sbyte'! Item was changed: ----- Method: ExternalType class>>signedInt (in category 'type constants') ----- signedInt + self flag: #deprecated. - self flag: #ffiLongVsInt. ^ self signedLong! Item was changed: ----- Method: ExternalType class>>signedLong (in category 'type constants') ----- signedLong + self flag: #deprecated. + ^ self int32_t! - self flag: #ffiLongVsInt. - ^AtomicTypes at: 'long'! Item was changed: ----- Method: ExternalType class>>signedLongLong (in category 'type constants') ----- signedLongLong + + self flag: #deprecated. + ^ self int64_t! - ^AtomicTypes at: 'longlong'! Item was changed: ----- Method: ExternalType class>>signedShort (in category 'type constants') ----- signedShort + + self flag: #deprecated. + ^ self int16_t! - ^AtomicTypes at: 'short'! Item was changed: ----- Method: ExternalType class>>uint (in category 'type constants') ----- uint + self flag: #deprecated. + ^ self uint32_t! - self flag: #ffiLongVsInt. - ^ self ulong! Item was changed: ----- Method: ExternalType class>>uint16_t (in category 'type constants - stdint.h') ----- uint16_t + ^ AtomicTypes at: 'uint16_t'! - ^ self unsignedShort! Item was changed: ----- Method: ExternalType class>>uint32_t (in category 'type constants - stdint.h') ----- uint32_t + ^ AtomicTypes at: 'uint32_t'! - ^ self unsignedInt! Item was changed: ----- Method: ExternalType class>>uint64_t (in category 'type constants - stdint.h') ----- uint64_t + ^ AtomicTypes at: 'uint64_t'! - ^ self unsignedLongLong! Item was changed: ----- Method: ExternalType class>>uint8_t (in category 'type constants - stdint.h') ----- uint8_t + ^ AtomicTypes at: 'uint8_t'! - ^ self unsignedByte! Item was changed: ----- Method: ExternalType class>>uintptr_t (in category 'type constants - stddef.h') ----- uintptr_t "Answer an unsigned integer type that can hold a data pointer on the current platform, that is, 4-byte pointers on 32-bit und 8-byte pointers on 64-bit. Unlike actual C pointers (e.g., void*), you can do (pointer) arithmetic (e.g., #+) and bitwise manipulation (e.g., #bitOr:) on the resulting Smalltalk Integer objects. Note that the equivalent type for a void* yields an instance if ExternalData, whose handle is an ExternalAddress, which actually impelements #+ as of June 2020. So, you can also do pointer arithmetic using that type. Note that all FFI calls and struct types will be updated automatically on startup if a platform change is detected." ^ FFIPlatformDescription current wordSize = 4 + ifTrue: [self uint32_t] + ifFalse: [self uint64_t]! - ifTrue: [self unsignedInt] - ifFalse: [self unsignedLongLong]! Item was changed: ----- Method: ExternalType class>>ulong (in category 'type constants') ----- ulong + self flag: #deprecated. + ^ self uint32_t! - self flag: #ffiLongVsInt. - ^ self unsignedLong! Item was changed: ----- Method: ExternalType class>>ulonglong (in category 'type constants') ----- ulonglong + + self flag: #deprecated. + ^ self uint64_t! - ^ self unsignedLongLong! Item was changed: ----- Method: ExternalType class>>unsignedByte (in category 'type constants') ----- unsignedByte + + self flag: #deprecated. + ^ self uint8_t! - ^AtomicTypes at: 'byte'! Item was changed: ----- Method: ExternalType class>>unsignedInt (in category 'type constants') ----- unsignedInt + self flag: #deprecated. + ^ self uint32_t! - self flag: #ffiLongVsInt. - ^ self unsignedLong! Item was changed: ----- Method: ExternalType class>>unsignedLong (in category 'type constants') ----- unsignedLong + self flag: #deprecated. + ^ self uint32_t! - self flag: #ffiLongVsInt. - ^ AtomicTypes at: 'ulong'! Item was changed: ----- Method: ExternalType class>>unsignedLongLong (in category 'type constants') ----- unsignedLongLong + + self flag: #deprecated. + ^ self uint64_t! - ^AtomicTypes at: 'ulonglong'! Item was changed: ----- Method: ExternalType class>>unsignedShort (in category 'type constants') ----- unsignedShort + + self flag: #deprecated. + ^ self uint16_t! - ^AtomicTypes at: 'ushort'! Item was changed: ----- Method: ExternalType class>>ushort (in category 'type constants') ----- ushort + + self flag: #deprecated. + ^ self uint16_t! - ^self unsignedShort! Item was changed: ----- Method: ExternalType>>isIntegerType (in category 'testing - integer') ----- isIntegerType "Return true if the receiver is a built-in integer type" | type | type := self atomicType. + ^type >= FFITypeUnsignedInt8 and:[type <= FFITypeSignedInt64]! - ^type > FFITypeBool and:[type <= FFITypeSignedLongLong]! Item was changed: + (PackageInfo named: 'FFI-Kernel') postscript: '"Reinitialize new names and codes for atomic types." + FFIConstants initialize. + ExternalType resetAllTypes.'! - (PackageInfo named: 'FFI-Kernel') postscript: '"Reinitialize FFIAtomicReadWriteSend to use the new integer primitives" - ExternalType resetAllTypes...'!

1 0

FFI: FFI-Pools-mt.33.mcz
by commits＠source.squeak.org 16 Aug '21

16 Aug '21

Marcel Taeumel uploaded a new version of FFI-Pools to project FFI: http://source.squeak.org/FFI/FFI-Pools-mt.33.mcz ==================== Summary ==================== Name: FFI-Pools-mt.33 Author: mt Time: 16 August 2021, 9:12:05.515631 am UUID: 130e608a-49d9-a34f-afb4-a4f4a03826a3 Ancestors: FFI-Pools-mt.32 Rename pool variables for atomic integer types to follow the names of new integer primitives such as "FFITypeSignedInt" -> "FFITypeSignedInt32". Rename the basic type names of atomic integer types to follow stdint.h convention, i.e., int8_t, int16_t, int32_t, int64_t. Older names (i.e., short, long, longlong) are deprecated but remain available as direct-lookup alias. Their access might be a tiny bit slower due to the lookup. =============== Diff against FFI-Pools-mt.32 =============== Item was changed: ----- Method: ExternalPoolDefinition>>ffiVariable: (in category 'pragmas') ----- ffiVariable: aVariableName "Shortcut. Many libraries' C constants are just 4-byte integers on both 32-bit and 64-bit platforms." - - self flag: #ffiLongVsInt. "Our 'long' is a 4-byte integer." self ffiVariable: aVariableName + type: 'int32_t' - type: 'long' convertTo: #Integer.! Item was changed: ----- Method: ExternalPoolReadWriter class>>initializeAtomicTypesExtra (in category 'class initialization') ----- initializeAtomicTypesExtra "Initialize C type names and format placeholders for printf, which are used during C code generation. The implementation follows the one for initialization of atomic types in ExternalType. Even though all type names are repeated here explicitely, their location in the list of atomic types is looked up dynamically. So you can change the order to improve readability." | type typeName cTypeName cFormatPlaceholder | - self flag: #ffiLongVsInt. - AtomicCTypeNames := IdentityDictionary new. AtomicCFormatPlaceholders := IdentityDictionary new. #( "name C type name C printf % format" ('void' 'void' 'p') ('bool' 'unsigned int' 'u') "See ByteArray >> #booleanAt:" + ('uint8_t' 'unsigned char' 'hhu') "Not 'c' to avoid conversion issues" + ('int8_t' 'signed char' 'hhd') "Not 'c' to avoid conversion issues" + ('uint16_t' 'unsigned short' 'hu') + ('int16_t' 'signed short' 'hd') + ('uint32_t' 'unsigned int' 'u') "Not 'lu' bc. not unsigned long, see above" + ('int32_t' 'signed int' 'd') "Not 'ld' bc. not signed long, see above" + ('uint64_t' 'unsigned long long' 'llu') + ('int64_t' 'signed long long' 'lld') - ('byte' 'unsigned char' 'hhu') "Not 'c' to avoid conversion issues" - ('sbyte' 'signed char' 'hhd') "Not 'c' to avoid conversion issues" - ('ushort' 'unsigned short' 'hu') - ('short' 'signed short' 'hd') - "!!!!!!" ('ulong' 'unsigned int' 'u') "Not 'lu' bc. not unsigned long, see above" - "!!!!!!" ('long' 'signed int' 'd') "Not 'ld' bc. not signed long, see above" - ('ulonglong' 'unsigned long long' 'llu') - ('longlong' 'signed long long' 'lld') ('char' 'unsigned char' 'hhu') "Not 'c' to avoid conversion issues" ('schar' 'signed char' 'hhd') "Not 'c' to avoid conversion issues" ('float' 'float' 'g') "Not 'G' bc. notation in lowercase letters" ('double' 'double' 'g') "Not 'G' bc. notation in lowercase letters" "TODO: ('longdouble' 'long double' 'Lg')" ) do: [:typeSpec | typeName := typeSpec first. cTypeName := typeSpec second. cFormatPlaceholder := '%', typeSpec third. type := ExternalType atomicTypeNamed: typeName. AtomicCTypeNames at: type atomicType put: cTypeName. AtomicCFormatPlaceholders at: type atomicType put: cFormatPlaceholder].! Item was changed: SharedPool subclass: #FFIConstants instanceVariableNames: '' + classVariableNames: 'FFIAtomicTypeMask FFIAtomicTypeShift FFICallFlagThreaded FFICallTypeApi FFICallTypeCDecl FFICallTypesMask FFIErrorAddressNotFound FFIErrorAttemptToPassVoid FFIErrorBadAddress FFIErrorBadArg FFIErrorBadArgs FFIErrorBadAtomicType FFIErrorBadExternalFunction FFIErrorBadExternalLibrary FFIErrorBadReturn FFIErrorCallFrameTooBig FFIErrorCallType FFIErrorCoercionFailed FFIErrorGenericError FFIErrorIntAsPointer FFIErrorInvalidPointer FFIErrorModuleNotFound FFIErrorNoModule FFIErrorNotFunction FFIErrorStructSize FFIErrorWrongType FFIFlagAtomic FFIFlagPointer FFIFlagStructure FFINoCalloutAvailable FFIStructSizeMask FFITypeBool FFITypeDoubleFloat FFITypeSignedChar FFITypeSignedInt16 FFITypeSignedInt32 FFITypeSignedInt64 FFITypeSignedInt8 FFITypeSingleFloat FFITypeUnsignedChar FFITypeUnsignedInt16 FFITypeUnsignedInt32 FFITypeUnsignedInt64 FFITypeUnsignedInt8 FFITypeVoid' - classVariableNames: 'FFIAtomicTypeMask FFIAtomicTypeShift FFICallFlagThreaded FFICallTypeApi FFICallTypeCDecl FFICallTypesMask FFIErrorAddressNotFound FFIErrorAttemptToPassVoid FFIErrorBadAddress FFIErrorBadArg FFIErrorBadArgs FFIErrorBadAtomicType FFIErrorBadExternalFunction FFIErrorBadExternalLibrary FFIErrorBadReturn FFIErrorCallFrameTooBig FFIErrorCallType FFIErrorCoercionFailed FFIErrorGenericError FFIErrorIntAsPointer FFIErrorInvalidPointer FFIErrorModuleNotFound FFIErrorNoModule FFIErrorNotFunction FFIErrorStructSize FFIErrorWrongType FFIFlagAtomic FFIFlagPointer FFIFlagStructure FFINoCalloutAvailable FFIStructSizeMask FFITypeBool FFITypeDoubleFloat FFITypeSignedByte FFITypeSignedChar FFITypeSignedInt FFITypeSignedLongLong FFITypeSignedShort FFITypeSingleFloat FFITypeUnsignedByte FFITypeUnsignedChar FFITypeUnsignedInt FFITypeUnsignedLongLong FFITypeUnsignedShort FFITypeVoid' poolDictionaries: '' category: 'FFI-Pools'! !FFIConstants commentStamp: 'TorstenBergmann 4/27/2017 11:02' prior: 0! Constants definitions for FFI! Item was changed: ----- Method: FFIConstants class>>initializeTypeConstants (in category 'private - initialization') ----- initializeTypeConstants "type void" FFITypeVoid := 0. "type bool" FFITypeBool := 1. "basic integer types. note: (integerType anyMask: 1) = integerType isSigned" + FFITypeUnsignedInt8 := 2. + FFITypeSignedInt8 := 3. + FFITypeUnsignedInt16 := 4. + FFITypeSignedInt16 := 5. + FFITypeUnsignedInt32 := 6. + FFITypeSignedInt32 := 7. + FFITypeUnsignedInt64 := 8. + FFITypeSignedInt64 := 9. - FFITypeUnsignedByte := 2. - FFITypeSignedByte := 3. - FFITypeUnsignedShort := 4. - FFITypeSignedShort := 5. - FFITypeUnsignedInt := 6. - FFITypeSignedInt := 7. - "64bit types" - FFITypeUnsignedLongLong := 8. - FFITypeSignedLongLong := 9. - "special integer types" FFITypeUnsignedChar := 10. FFITypeSignedChar := 11. "float types" FFITypeSingleFloat := 12. FFITypeDoubleFloat := 13. "type flags" FFIFlagAtomic := 16r40000. "type is atomic" FFIFlagPointer := 16r20000. "type is pointer to base type" FFIFlagStructure := 16r10000. "baseType is structure of 64k length" FFIStructSizeMask := 16rFFFF. "mask for max size of structure" FFIAtomicTypeMask := 16r0F000000. "mask for atomic type spec" FFIAtomicTypeShift := 24. "shift for atomic type" !

1 0

FFI: FFI-Kernel-eem.204.mcz
by commits＠source.squeak.org 14 Aug '21

14 Aug '21

Eliot Miranda uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-eem.204.mcz ==================== Summary ==================== Name: FFI-Kernel-eem.204 Author: eem Time: 13 August 2021, 8:31:51.330962 pm UUID: 09eff658-357f-4556-b74d-d328b259b8e1 Ancestors: FFI-Kernel-mt.203 3 times faster ExternalAddress class>>fromInteger: =============== Diff against FFI-Kernel-mt.203 =============== Item was changed: ----- Method: ExternalAddress class>>fromInteger: (in category 'instance creation') ----- fromInteger: anInteger + "Interpret the given integer as an address pointing to an external memory area. + Answer an ExternalAddress to that address." + <primitive: #primitiveExternalAddressFromInteger module: #SqueakFFIPrims> - "Read the given interger as an address pointing to an external memory area." - | bytes | bytes := ByteArray basicNew: self wordSize. bytes integerAt: 1 put: anInteger size: bytes size signed: false. ^ bytes changeClassTo: self!

1 0

Debian tarball updates?
by tim Rowledge 13 Aug '21

13 Aug '21

Is anyone out there interested in, and able to spend the time, to try to sort out an update of the Debian tarball stuff? A long time ago we went through some considerable effort to get Squeak into the system and it seems to have languished ever since. It would make us look somewhat more contemporary if we could get an updated package built and inserted. Please, if you can help, let us know. tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim Strange OpCodes: RWD: Rewind Disk

6 15

FFI: FFI-Kernel-mt.203.mcz
by commits＠source.squeak.org 13 Aug '21

13 Aug '21

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.203.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.203 Author: mt Time: 13 August 2021, 1:19:00.926799 pm UUID: 15800863-014f-ea44-bd88-5b0ebb465a50 Ancestors: FFI-Kernel-mt.202 For backwards compatibility in terms of performance, add the integer primitives to the old-style ByteArray interface. =============== Diff against FFI-Kernel-mt.202 =============== Item was changed: ----- Method: ByteArray>>signedLongAt: (in category '*FFI-Kernel-examples') ----- signedLongAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt32At module: #SqueakFFIPrims error: ec> - ^ ExternalType int32_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>signedLongAt:put: (in category '*FFI-Kernel-examples') ----- signedLongAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt32AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType int32_t handle: self at: byteOffset put: value! Item was changed: ----- Method: ByteArray>>signedLongLongAt: (in category '*FFI-Kernel-examples') ----- signedLongLongAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt64At module: #SqueakFFIPrims error: ec> - ^ ExternalType int64_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>signedLongLongAt:put: (in category '*FFI-Kernel-examples') ----- signedLongLongAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt64AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType int64_t handle: self at: byteOffset put: value! Item was changed: ----- Method: ByteArray>>signedShortAt: (in category '*FFI-Kernel-examples') ----- signedShortAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt16At module: #SqueakFFIPrims error: ec> - ^ ExternalType int16_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>signedShortAt:put: (in category '*FFI-Kernel-examples') ----- signedShortAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveSignedInt16AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType int16_t handle: self at: byteOffset put: value! Item was changed: ----- Method: ByteArray>>unsignedLongAt: (in category '*FFI-Kernel-examples') ----- unsignedLongAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt32At module: #SqueakFFIPrims error: ec> - ^ ExternalType uint32_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>unsignedLongAt:put: (in category '*FFI-Kernel-examples') ----- unsignedLongAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt32AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType uint32_t handle: self at: byteOffset put: value! Item was changed: ----- Method: ByteArray>>unsignedLongLongAt: (in category '*FFI-Kernel-examples') ----- unsignedLongLongAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt64At module: #SqueakFFIPrims error: ec> - ^ ExternalType uint64_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>unsignedLongLongAt:put: (in category '*FFI-Kernel-examples') ----- unsignedLongLongAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt64AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType uint64_t handle: self at: byteOffset put: value! Item was changed: ----- Method: ByteArray>>unsignedShortAt: (in category '*FFI-Kernel-examples') ----- unsignedShortAt: byteOffset "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt16At module: #SqueakFFIPrims error: ec> - ^ ExternalType uint16_t handle: self at: byteOffset! Item was changed: ----- Method: ByteArray>>unsignedShortAt:put: (in category '*FFI-Kernel-examples') ----- unsignedShortAt: byteOffset put: value "For documentation and convenient exploration only. Type-safe access to byte arrays or external addresses SHOULD happen via external objects that have a type set such as instances of ExternalStructure and ExternalData." + <primitive: #primitiveUnsignedInt16AtPut module: #SqueakFFIPrims error: ec> - ^ ExternalType uint16_t handle: self at: byteOffset put: value!

1 0

The Trunk: Regex-Core-tobe.60.mcz
by commits＠source.squeak.org 13 Aug '21

13 Aug '21

Marcel Taeumel uploaded a new version of Regex-Core to project The Trunk: http://source.squeak.org/trunk/Regex-Core-tobe.60.mcz ==================== Summary ==================== Name: Regex-Core-tobe.60 Author: tobe Time: 12 August 2021, 11:27:45.831532 am UUID: 80ec8d3d-9a84-4928-be0e-1b65787f895b Ancestors: Regex-Core-ct.59 When an escaped character appeared in a charset, we did not handle adjacent ranges correctly See RxParserTest>>testCharacterSetWithEscapedAndRange for examples. =============== Diff against Regex-Core-ct.59 =============== Item was changed: ----- Method: RxCharSetParser>>parseEscapeChar (in category 'parsing') ----- parseEscapeChar + | first | self match: $\. + first := (RxsPredicate forEscapedLetter: lookahead) + ifNil: [ RxsCharacter with: lookahead ]. + self next == $- ifFalse: [^ elements add: first]. + self next ifNil: [ + elements add: first. + ^ self addChar: $-]. + self addRangeFrom: first character to: lookahead. - elements add: ((RxsPredicate forEscapedLetter: lookahead) - ifNil: [ RxsCharacter with: lookahead ]). self next!

1 0

The Trunk: Regex-Tests-Core-tobe.13.mcz
by commits＠source.squeak.org 13 Aug '21

13 Aug '21

Marcel Taeumel uploaded a new version of Regex-Tests-Core to project The Trunk: http://source.squeak.org/trunk/Regex-Tests-Core-tobe.13.mcz ==================== Summary ==================== Name: Regex-Tests-Core-tobe.13 Author: tobe Time: 12 August 2021, 11:28:42.158361 am UUID: 2ae5d8ba-6382-4b3b-9a07-7e10d0889a2c Ancestors: Regex-Tests-Core-ct.12 Complements Regex-Core-tobe.60 =============== Diff against Regex-Tests-Core-ct.12 =============== Item was added: + ----- Method: RxParserTest>>testCharacterSetWithEscapedAndRange (in category 'tests') ----- + testCharacterSetWithEscapedAndRange + + " two examples of where a - should not parse as a range " + self assert: ('[\+-]' asRegex matches: '+'). + self assert: ('[\+\-]' asRegex matches: '-'). + + " construct a range from an escaped + (43) to digit 4 (52) " + self assert: ('[\+-4]' asRegex matches: '3')!

1 0

The Trunk: Regex-Tests-Core-mt.16.mcz
by commits＠source.squeak.org 13 Aug '21

13 Aug '21

Marcel Taeumel uploaded a new version of Regex-Tests-Core to project The Trunk: http://source.squeak.org/trunk/Regex-Tests-Core-mt.16.mcz ==================== Summary ==================== Name: Regex-Tests-Core-mt.16 Author: mt Time: 13 August 2021, 12:31:24.998724 pm UUID: cde10f88-8cb5-a442-8d8c-6e53444970d2 Ancestors: Regex-Tests-Core-mt.15, Regex-Tests-Core-tobe.13 Merge =============== Diff against Regex-Tests-Core-mt.15 =============== Item was added: + ----- Method: RxParserTest>>testCharacterSetWithEscapedAndRange (in category 'tests') ----- + testCharacterSetWithEscapedAndRange + + " two examples of where a - should not parse as a range " + self assert: ('[\+-]' asRegex matches: '+'). + self assert: ('[\+\-]' asRegex matches: '-'). + + " construct a range from an escaped + (43) to digit 4 (52) " + self assert: ('[\+-4]' asRegex matches: '3')!

1 0

← Newer
1
...
15
16
17
18
19
20
21
22
23
Older →

Jump to page: