[swift-dev] Pure/isUniquelyReferenced and C libraries

[Michael Gottesman]

> On Feb 2, 2016, at 3:23 PM, Michael Gottesman <mgottesman at apple.com> wrote:
> 
> Jordan and I have ben arguing about this over IM a little bit and reached a satisfactory solution. Additionally, turns out we are already doing this (I am not sure if the uniqueness check aspect was thought about).

To be clear, what I was referring to was that we are treating read only functions as not touching reference counts. Nothing more than that.

> 
> Anyways, I am just going to close the discussion.
> 
> Michael
> 
>> On Feb 2, 2016, at 1:09 PM, Michael Gottesman <mgottesman at apple.com <mailto:mgottesman at apple.com>> wrote:
>> 
>>> 
>>> On Feb 2, 2016, at 1:03 PM, Michael Gottesman via swift-dev <swift-dev at swift.org <mailto:swift-dev at swift.org>> wrote:
>>> 
>>> Background
>>> ==========
>>> 
>>> I have recently been thinking about clang attributes and how we can take advantage of the work other people have done in terms of putting attributes in their headers especially in terms of ARC.
>>> 
>>> The two most pervasive such attributes are the const/pure attributes. Trivially the const attribute (since it can not read global memory) can not read or write reference counts. But what about pure? For those who are unfamiliar pure in "c" means that a function's value is only dependent on its arguments and reading global memory. Being able to only read global memory is an interesting property from the ARC perspective since there is only one ARC function that reads a reference count that is exported from the runtime, the uniqueness check. All other ways to read/write a reference count are either restricted to pure swift code or if they are allowed in C++ code write to reference counts. If we were able to say that it is undefined behavior to invoke isUniquelyReferenced from non-swift runtime functions, we immediately could get nice speed boosts when using imported c code that is pure without any further work on the maintainers part.
>>> 
>>> Proposal
>>> =======
>>> 
>>> State that is is undefined behavior to reference isUniquelyReferenced in a non-swift function in 3rd party libraries.
>> 
>> *NOTE* I am talking about the "c" attribute for pure, not the "swift" attribute (whatever that ends up being eventually).
>> 
>>> 
>>> Thoughts?
>>> Michael
>>> _______________________________________________
>>> swift-dev mailing list
>>> swift-dev at swift.org <mailto:swift-dev at swift.org>
>>> https://lists.swift.org/mailman/listinfo/swift-dev <https://lists.swift.org/mailman/listinfo/swift-dev>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20160202/a09a8b53/attachment.html>