-
Notifications
You must be signed in to change notification settings - Fork 7
Adds an unchecked version to get a BorrowedReference pointer #4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adds an unchecked version to get a BorrowedReference pointer #4
Conversation
And other code review changes
Even if netstandard lacks (for now) the necessary APIs for domain (un)loading, it is still possible to (un)load domains via the Mono C runtime.
In Runtime_data.cs
…e pointer" We Don't support python 2 anymore, but the CI machines may still be using it to build.
Codecov Report
@@ Coverage Diff @@
## soft-shutdown #4 +/- ##
==============================================
Coverage 86.25% 86.25%
==============================================
Files 1 1
Lines 291 291
==============================================
Hits 251 251
Misses 40 40
Flags with carried forward coverage won't be shown. Click here to find out more. Continue to review full report at Codecov.
|
src/runtime/runtime_data.cs
Outdated
| IntPtr capsule = PySys_GetObject("clr_data").DangerousGetAddressUnchecked(); | ||
| if (capsule != IntPtr.Zero) | ||
| { | ||
| IntPtr oldData = PyCapsule_GetPointer(capsule, null); | ||
| PyMem_Free(oldData); | ||
| PyCapsule_SetPointer(capsule, IntPtr.Zero); | ||
| } |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Now that you never own the pointer, you can use BorrowedReference and never call "Dangerous" methods on it. Make PyCapsule_GetPointer and PyCapsule_SetPointer take first argument as BorrowedReference.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Make PyCapsule_GetPointer and PyCapsule_SetPointer take first argument as BorrowedReference
I don't think this is semantically correct. These methods can operate on something other than BorrowedReferences
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, this is exactly right. The method borrows a capsule object in a similar way we use borrowed references. The second argument of course should stay as raw pointer.
Think of it this way: if you were to implement PyCapsule_GetPointer, you'd need a borrowed reference to the capsule in order to update it (as opposed to stealing or taking/giving up ownership).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In this use case, it is. However in the case where I create the new capsule (and receive a NewReference), and then set the capsule's pointer with PyCapsule_SetPointer, well.. it's a bit weird. But as I said in another reply, NewReference in implicitly castable to borrowed reference, which makes it transparent to the user.
src/runtime/runtime_data.cs
Outdated
| private static void RestoreRuntimeDataImpl() | ||
| { | ||
| IntPtr capsule = PySys_GetObject("clr_data").DangerousGetAddress(); | ||
| IntPtr capsule = PySys_GetObject("clr_data").DangerousGetAddressUnchecked(); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same here, you don't need the raw address.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I do need it. PyCapsule_GetPointer at line 113 needs an IntPtr. Sure I could add an overload for PyCapsule_GetPointer, but I think what we really need is an implicit operator.
src/runtime/runtime_data.cs
Outdated
| } | ||
| capsule = PyCapsule_New(mem, null, IntPtr.Zero); | ||
| ClearCLRData(); | ||
| IntPtr capsule = PyCapsule_New(mem, null, IntPtr.Zero); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ideally, this should have been NewReference, and decref below should be Dispose
Also adds implicit IntPtr conversion operators to simplify their use.
src/runtime/BorrowedReference.cs
Outdated
| public static implicit operator IntPtr(in BorrowedReference self) => self.DangerousGetAddress(); | ||
|
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This exposes dangerous shotgun as an innocent operator
src/runtime/NewReference.cs
Outdated
| => new BorrowedReference(reference.pointer); | ||
|
|
||
| [Pure] | ||
| public static implicit operator IntPtr(in NewReference reference) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same
src/runtime/runtime.cs
Outdated
| /// <remark> | ||
| /// We need this method because BorrowedReference can be implicitly casted to IntPtr. | ||
| /// </remark> | ||
| internal static void XDecref(BorrowedReference op) | ||
| { | ||
| throw new InvalidOperationException("Cannot DecRef a borrowed reference."); | ||
| } | ||
|
|
||
| /// <remark> | ||
| /// We need this method because NewReference can be implicitly casted to IntPtr. | ||
| /// </remark> | ||
| internal static void XDecref(NewReference op) | ||
| { | ||
| op.Dispose(); | ||
| } | ||
|
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No implicit casts. The types were created specifically to avoid freely mixing different kinds of ownership for PyObject*.
|
|
||
| [DllImport(_PythonDll, CallingConvention = CallingConvention.Cdecl)] | ||
| internal static extern IntPtr PyCapsule_New(IntPtr pointer, string name, IntPtr destructor); | ||
| internal static extern NewReference PyCapsule_New(IntPtr pointer, string name, IntPtr destructor); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Re: implicit conversions to IntPtr: If you find it hard to change all the places, that use PyCapsule_New to use NewReference avoiding its dangerous methods as much as possible, just keep this return type IntPtr here, and use NewReference at the call site.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not that I find it hard, I got confused by how the BorrowedReference gets marshalled. Or more like how it could get marshalled without needing an overload.
Also, NewReference is implicitly castable to BorrowedReference which solves most issues. The naming still bugs me a bit, but if it works, it works.
src/runtime/runtime.cs
Outdated
| internal static extern NewReference PyCapsule_New(IntPtr pointer, string name, IntPtr destructor); | ||
|
|
||
| [DllImport(_PythonDll, CallingConvention = CallingConvention.Cdecl)] | ||
| internal static extern IntPtr PyCapsule_GetPointer(IntPtr capsule, string name); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should be IntPtr PyCapsule_GetPointer(BorrowedReference capsule, string name)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Or you can add an overload.
|
travis-ci has one failure on an unrelated error: |
lostmsu
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me. The new Dangerous method is not used anywhere though, so should not be added.
src/runtime/BorrowedReference.cs
Outdated
| /// <summary> | ||
| /// Gets a raw pointer to the Python object. Does not throw an exception | ||
| /// if the pointer is null | ||
| /// </summary> | ||
| public IntPtr DangerousGetAddressUnchecked() => this.pointer; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
NIT: I don't think you are actually using this anywhere
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Indeed, it's not used anymore
And other code review changes.