ref_sharing.rs
464 lines
| 14.5 KiB
| application/rls-services+xml
|
RustLexer
Yuya Nishihara
|
r43352 | // ref_sharing.rs | ||
Raphaël Gomès
|
r42997 | // | ||
// Copyright 2019 Raphaël Gomès <rgomes@octobus.net> | ||||
// | ||||
Yuya Nishihara
|
r43352 | // Permission is hereby granted, free of charge, to any person obtaining a copy | ||
// of this software and associated documentation files (the "Software"), to | ||||
// deal in the Software without restriction, including without limitation the | ||||
// rights to use, copy, modify, merge, publish, distribute, sublicense, and/or | ||||
// sell copies of the Software, and to permit persons to whom the Software is | ||||
// furnished to do so, subject to the following conditions: | ||||
// | ||||
// The above copyright notice and this permission notice shall be included in | ||||
// all copies or substantial portions of the Software. | ||||
// | ||||
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | ||||
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | ||||
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | ||||
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | ||||
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING | ||||
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS | ||||
// IN THE SOFTWARE. | ||||
Raphaël Gomès
|
r42997 | |||
//! Macros for use in the `hg-cpython` bridge library. | ||||
use crate::exceptions::AlreadyBorrowed; | ||||
Yuya Nishihara
|
r43447 | use cpython::{PyClone, PyObject, PyResult, Python}; | ||
Yuya Nishihara
|
r43115 | use std::cell::{Cell, Ref, RefCell, RefMut}; | ||
Raphaël Gomès
|
r42997 | |||
/// Manages the shared state between Python and Rust | ||||
Yuya Nishihara
|
r43443 | #[derive(Debug, Default)] | ||
Raphaël Gomès
|
r42997 | pub struct PySharedState { | ||
leak_count: Cell<usize>, | ||||
mutably_borrowed: Cell<bool>, | ||||
} | ||||
Yuya Nishihara
|
r43445 | // &PySharedState can be Send because any access to inner cells is | ||
// synchronized by the GIL. | ||||
unsafe impl Sync for PySharedState {} | ||||
Raphaël Gomès
|
r42997 | impl PySharedState { | ||
pub fn borrow_mut<'a, T>( | ||||
&'a self, | ||||
py: Python<'a>, | ||||
pyrefmut: RefMut<'a, T>, | ||||
) -> PyResult<PyRefMut<'a, T>> { | ||||
if self.mutably_borrowed.get() { | ||||
return Err(AlreadyBorrowed::new( | ||||
py, | ||||
"Cannot borrow mutably while there exists another \ | ||||
mutable reference in a Python object", | ||||
)); | ||||
} | ||||
match self.leak_count.get() { | ||||
0 => { | ||||
self.mutably_borrowed.replace(true); | ||||
Ok(PyRefMut::new(py, pyrefmut, self)) | ||||
} | ||||
// TODO | ||||
// For now, this works differently than Python references | ||||
// in the case of iterators. | ||||
// Python does not complain when the data an iterator | ||||
// points to is modified if the iterator is never used | ||||
// afterwards. | ||||
// Here, we are stricter than this by refusing to give a | ||||
// mutable reference if it is already borrowed. | ||||
// While the additional safety might be argued for, it | ||||
// breaks valid programming patterns in Python and we need | ||||
// to fix this issue down the line. | ||||
_ => Err(AlreadyBorrowed::new( | ||||
py, | ||||
"Cannot borrow mutably while there are \ | ||||
immutable references in Python objects", | ||||
)), | ||||
} | ||||
} | ||||
Yuya Nishihara
|
r43446 | /// Return a reference to the wrapped data and its state with an | ||
/// artificial static lifetime. | ||||
Raphaël Gomès
|
r42997 | /// We need to be protected by the GIL for thread-safety. | ||
Yuya Nishihara
|
r43117 | /// | ||
/// # Safety | ||||
/// | ||||
/// This is highly unsafe since the lifetime of the given data can be | ||||
/// extended. Do not call this function directly. | ||||
pub unsafe fn leak_immutable<T>( | ||||
Raphaël Gomès
|
r42997 | &self, | ||
py: Python, | ||||
Yuya Nishihara
|
r43115 | data: &PySharedRefCell<T>, | ||
Yuya Nishihara
|
r43446 | ) -> PyResult<(&'static T, &'static PySharedState)> { | ||
Raphaël Gomès
|
r42997 | if self.mutably_borrowed.get() { | ||
return Err(AlreadyBorrowed::new( | ||||
py, | ||||
"Cannot borrow immutably while there is a \ | ||||
mutable reference in Python objects", | ||||
)); | ||||
} | ||||
Yuya Nishihara
|
r43446 | // TODO: it's weird that self is data.py_shared_state. Maybe we | ||
// can move stuff to PySharedRefCell? | ||||
Raphaël Gomès
|
r42997 | let ptr = data.as_ptr(); | ||
Yuya Nishihara
|
r43446 | let state_ptr: *const PySharedState = &data.py_shared_state; | ||
Raphaël Gomès
|
r42997 | self.leak_count.replace(self.leak_count.get() + 1); | ||
Yuya Nishihara
|
r43446 | Ok((&*ptr, &*state_ptr)) | ||
Raphaël Gomès
|
r42997 | } | ||
Yuya Nishihara
|
r43117 | /// # Safety | ||
/// | ||||
/// It's unsafe to update the reference count without knowing the | ||||
/// reference is deleted. Do not call this function directly. | ||||
pub unsafe fn decrease_leak_count(&self, _py: Python, mutable: bool) { | ||||
Raphaël Gomès
|
r42997 | if mutable { | ||
Yuya Nishihara
|
r43209 | assert_eq!(self.leak_count.get(), 0); | ||
assert!(self.mutably_borrowed.get()); | ||||
Raphaël Gomès
|
r42997 | self.mutably_borrowed.replace(false); | ||
Yuya Nishihara
|
r43209 | } else { | ||
let count = self.leak_count.get(); | ||||
assert!(count > 0); | ||||
self.leak_count.replace(count - 1); | ||||
Raphaël Gomès
|
r42997 | } | ||
} | ||||
} | ||||
Yuya Nishihara
|
r43115 | /// `RefCell` wrapper to be safely used in conjunction with `PySharedState`. | ||
/// | ||||
/// Only immutable operation is allowed through this interface. | ||||
#[derive(Debug)] | ||||
pub struct PySharedRefCell<T> { | ||||
inner: RefCell<T>, | ||||
Yuya Nishihara
|
r43448 | py_shared_state: PySharedState, | ||
Yuya Nishihara
|
r43115 | } | ||
impl<T> PySharedRefCell<T> { | ||||
Yuya Nishihara
|
r43443 | pub fn new(value: T) -> PySharedRefCell<T> { | ||
Yuya Nishihara
|
r43115 | Self { | ||
inner: RefCell::new(value), | ||||
Yuya Nishihara
|
r43443 | py_shared_state: PySharedState::default(), | ||
Yuya Nishihara
|
r43115 | } | ||
} | ||||
pub fn borrow(&self) -> Ref<T> { | ||||
// py_shared_state isn't involved since | ||||
// - inner.borrow() would fail if self is mutably borrowed, | ||||
// - and inner.borrow_mut() would fail while self is borrowed. | ||||
self.inner.borrow() | ||||
} | ||||
pub fn as_ptr(&self) -> *mut T { | ||||
self.inner.as_ptr() | ||||
} | ||||
Yuya Nishihara
|
r43444 | // TODO: maybe this should be named as try_borrow_mut(), and use | ||
// inner.try_borrow_mut(). The current implementation panics if | ||||
// self.inner has been borrowed, but returns error if py_shared_state | ||||
// refuses to borrow. | ||||
pub fn borrow_mut<'a>( | ||||
&'a self, | ||||
py: Python<'a>, | ||||
) -> PyResult<PyRefMut<'a, T>> { | ||||
self.py_shared_state.borrow_mut(py, self.inner.borrow_mut()) | ||||
Yuya Nishihara
|
r43115 | } | ||
} | ||||
Yuya Nishihara
|
r43448 | /// Sharable data member of type `T` borrowed from the `PyObject`. | ||
pub struct PySharedRef<'a, T> { | ||||
py: Python<'a>, | ||||
owner: &'a PyObject, | ||||
data: &'a PySharedRefCell<T>, | ||||
} | ||||
impl<'a, T> PySharedRef<'a, T> { | ||||
/// # Safety | ||||
/// | ||||
/// The `data` must be owned by the `owner`. Otherwise, the leak count | ||||
/// would get wrong. | ||||
pub unsafe fn new( | ||||
py: Python<'a>, | ||||
owner: &'a PyObject, | ||||
data: &'a PySharedRefCell<T>, | ||||
) -> Self { | ||||
Self { py, owner, data } | ||||
} | ||||
pub fn borrow(&self) -> Ref<T> { | ||||
self.data.borrow() | ||||
} | ||||
pub fn borrow_mut(&self) -> PyResult<PyRefMut<'a, T>> { | ||||
self.data.borrow_mut(self.py) | ||||
} | ||||
/// Returns a leaked reference and its management object. | ||||
/// | ||||
/// # Safety | ||||
/// | ||||
/// It's up to you to make sure that the management object lives | ||||
/// longer than the leaked reference. Otherwise, you'll get a | ||||
/// dangling reference. | ||||
pub unsafe fn leak_immutable( | ||||
&self, | ||||
) -> PyResult<(PyLeakedRef, &'static T)> { | ||||
let (static_ref, static_state_ref) = self | ||||
.data | ||||
.py_shared_state | ||||
.leak_immutable(self.py, self.data)?; | ||||
let leak_handle = | ||||
PyLeakedRef::new(self.py, self.owner, static_state_ref); | ||||
Ok((leak_handle, static_ref)) | ||||
} | ||||
} | ||||
Raphaël Gomès
|
r42997 | /// Holds a mutable reference to data shared between Python and Rust. | ||
pub struct PyRefMut<'a, T> { | ||||
inner: RefMut<'a, T>, | ||||
py_shared_state: &'a PySharedState, | ||||
} | ||||
impl<'a, T> PyRefMut<'a, T> { | ||||
Yuya Nishihara
|
r43117 | // Must be constructed by PySharedState after checking its leak_count. | ||
// Otherwise, drop() would incorrectly update the state. | ||||
Raphaël Gomès
|
r42997 | fn new( | ||
_py: Python<'a>, | ||||
inner: RefMut<'a, T>, | ||||
py_shared_state: &'a PySharedState, | ||||
) -> Self { | ||||
Self { | ||||
inner, | ||||
py_shared_state, | ||||
} | ||||
} | ||||
} | ||||
impl<'a, T> std::ops::Deref for PyRefMut<'a, T> { | ||||
type Target = RefMut<'a, T>; | ||||
fn deref(&self) -> &Self::Target { | ||||
&self.inner | ||||
} | ||||
} | ||||
impl<'a, T> std::ops::DerefMut for PyRefMut<'a, T> { | ||||
fn deref_mut(&mut self) -> &mut Self::Target { | ||||
&mut self.inner | ||||
} | ||||
} | ||||
impl<'a, T> Drop for PyRefMut<'a, T> { | ||||
fn drop(&mut self) { | ||||
let gil = Python::acquire_gil(); | ||||
let py = gil.python(); | ||||
Yuya Nishihara
|
r43117 | unsafe { | ||
self.py_shared_state.decrease_leak_count(py, true); | ||||
} | ||||
Raphaël Gomès
|
r42997 | } | ||
} | ||||
/// Allows a `py_class!` generated struct to share references to one of its | ||||
/// data members with Python. | ||||
/// | ||||
/// # Warning | ||||
/// | ||||
/// TODO allow Python container types: for now, integration with the garbage | ||||
/// collector does not extend to Rust structs holding references to Python | ||||
/// objects. Should the need surface, `__traverse__` and `__clear__` will | ||||
/// need to be written as per the `rust-cpython` docs on GC integration. | ||||
/// | ||||
/// # Parameters | ||||
/// | ||||
/// * `$name` is the same identifier used in for `py_class!` macro call. | ||||
/// * `$inner_struct` is the identifier of the underlying Rust struct | ||||
/// * `$data_member` is the identifier of the data member of `$inner_struct` | ||||
/// that will be shared. | ||||
Yuya Nishihara
|
r43448 | /// * `$shared_accessor` is the function name to be generated, which allows | ||
/// safe access to the data member. | ||||
/// | ||||
/// # Safety | ||||
/// | ||||
/// `$data_member` must persist while the `$name` object is alive. In other | ||||
/// words, it must be an accessor to a data field of the Python object. | ||||
Raphaël Gomès
|
r42997 | /// | ||
/// # Example | ||||
/// | ||||
/// ``` | ||||
/// struct MyStruct { | ||||
/// inner: Vec<u32>; | ||||
/// } | ||||
/// | ||||
/// py_class!(pub class MyType |py| { | ||||
Yuya Nishihara
|
r43115 | /// data inner: PySharedRefCell<MyStruct>; | ||
Raphaël Gomès
|
r42997 | /// }); | ||
/// | ||||
Yuya Nishihara
|
r43448 | /// py_shared_ref!(MyType, MyStruct, inner, inner_shared); | ||
Raphaël Gomès
|
r42997 | /// ``` | ||
macro_rules! py_shared_ref { | ||||
( | ||||
$name: ident, | ||||
$inner_struct: ident, | ||||
Yuya Nishihara
|
r43448 | $data_member: ident, | ||
$shared_accessor: ident | ||||
Raphaël Gomès
|
r42997 | ) => { | ||
impl $name { | ||||
Yuya Nishihara
|
r43448 | /// Returns a safe reference to the shared `$data_member`. | ||
/// | ||||
/// This function guarantees that `PySharedRef` is created with | ||||
/// the valid `self` and `self.$data_member(py)` pair. | ||||
fn $shared_accessor<'a>( | ||||
&'a self, | ||||
py: Python<'a>, | ||||
) -> $crate::ref_sharing::PySharedRef<'a, $inner_struct> { | ||||
use cpython::PythonObject; | ||||
use $crate::ref_sharing::PySharedRef; | ||||
let owner = self.as_object(); | ||||
let data = self.$data_member(py); | ||||
unsafe { PySharedRef::new(py, owner, data) } | ||||
} | ||||
Raphaël Gomès
|
r42997 | } | ||
Yuya Nishihara
|
r43447 | }; | ||
} | ||||
Raphaël Gomès
|
r42997 | |||
Yuya Nishihara
|
r43447 | /// Manage immutable references to `PyObject` leaked into Python iterators. | ||
/// | ||||
/// In truth, this does not represent leaked references themselves; | ||||
/// it is instead useful alongside them to manage them. | ||||
pub struct PyLeakedRef { | ||||
_inner: PyObject, | ||||
py_shared_state: &'static PySharedState, | ||||
} | ||||
Raphaël Gomès
|
r42997 | |||
Yuya Nishihara
|
r43447 | impl PyLeakedRef { | ||
/// # Safety | ||||
/// | ||||
/// The `py_shared_state` must be owned by the `inner` Python object. | ||||
// Marked as unsafe so client code wouldn't construct PyLeakedRef | ||||
// struct by mistake. Its drop() is unsafe. | ||||
pub unsafe fn new( | ||||
py: Python, | ||||
inner: &PyObject, | ||||
py_shared_state: &'static PySharedState, | ||||
) -> Self { | ||||
Self { | ||||
_inner: inner.clone_ref(py), | ||||
py_shared_state, | ||||
Raphaël Gomès
|
r42997 | } | ||
Yuya Nishihara
|
r43447 | } | ||
} | ||||
Raphaël Gomès
|
r42997 | |||
Yuya Nishihara
|
r43447 | impl Drop for PyLeakedRef { | ||
fn drop(&mut self) { | ||||
// py_shared_state should be alive since we do have | ||||
// a Python reference to the owner object. Taking GIL makes | ||||
// sure that the state is only accessed by this thread. | ||||
let gil = Python::acquire_gil(); | ||||
let py = gil.python(); | ||||
unsafe { | ||||
self.py_shared_state.decrease_leak_count(py, false); | ||||
Raphaël Gomès
|
r42997 | } | ||
Yuya Nishihara
|
r43447 | } | ||
Raphaël Gomès
|
r42997 | } | ||
/// Defines a `py_class!` that acts as a Python iterator over a Rust iterator. | ||||
Yuya Nishihara
|
r43158 | /// | ||
/// TODO: this is a bit awkward to use, and a better (more complicated) | ||||
/// procedural macro would simplify the interface a lot. | ||||
/// | ||||
/// # Parameters | ||||
/// | ||||
/// * `$name` is the identifier to give to the resulting Rust struct. | ||||
/// * `$leaked` corresponds to `$leaked` in the matching `py_shared_ref!` call. | ||||
/// * `$iterator_type` is the type of the Rust iterator. | ||||
/// * `$success_func` is a function for processing the Rust `(key, value)` | ||||
/// tuple on iteration success, turning it into something Python understands. | ||||
/// * `$success_func` is the return type of `$success_func` | ||||
/// | ||||
/// # Example | ||||
/// | ||||
/// ``` | ||||
/// struct MyStruct { | ||||
/// inner: HashMap<Vec<u8>, Vec<u8>>; | ||||
/// } | ||||
/// | ||||
/// py_class!(pub class MyType |py| { | ||||
/// data inner: PySharedRefCell<MyStruct>; | ||||
/// | ||||
/// def __iter__(&self) -> PyResult<MyTypeItemsIterator> { | ||||
Yuya Nishihara
|
r43449 | /// let (leak_handle, leaked_ref) = | ||
/// unsafe { self.inner_shared(py).leak_immutable()? }; | ||||
Yuya Nishihara
|
r43161 | /// MyTypeItemsIterator::from_inner( | ||
Yuya Nishihara
|
r43158 | /// py, | ||
Yuya Nishihara
|
r43161 | /// leak_handle, | ||
/// leaked_ref.iter(), | ||||
Yuya Nishihara
|
r43158 | /// ) | ||
/// } | ||||
/// }); | ||||
/// | ||||
/// impl MyType { | ||||
/// fn translate_key_value( | ||||
/// py: Python, | ||||
/// res: (&Vec<u8>, &Vec<u8>), | ||||
/// ) -> PyResult<Option<(PyBytes, PyBytes)>> { | ||||
/// let (f, entry) = res; | ||||
/// Ok(Some(( | ||||
/// PyBytes::new(py, f), | ||||
/// PyBytes::new(py, entry), | ||||
/// ))) | ||||
/// } | ||||
/// } | ||||
/// | ||||
/// py_shared_ref!(MyType, MyStruct, inner, MyTypeLeakedRef); | ||||
/// | ||||
Yuya Nishihara
|
r43159 | /// py_shared_iterator!( | ||
Yuya Nishihara
|
r43158 | /// MyTypeItemsIterator, | ||
Yuya Nishihara
|
r43447 | /// PyLeakedRef, | ||
Yuya Nishihara
|
r43158 | /// HashMap<'static, Vec<u8>, Vec<u8>>, | ||
/// MyType::translate_key_value, | ||||
/// Option<(PyBytes, PyBytes)> | ||||
/// ); | ||||
/// ``` | ||||
Yuya Nishihara
|
r43159 | macro_rules! py_shared_iterator { | ||
Raphaël Gomès
|
r42997 | ( | ||
$name: ident, | ||||
Yuya Nishihara
|
r43447 | $leaked: ty, | ||
Raphaël Gomès
|
r42997 | $iterator_type: ty, | ||
$success_func: expr, | ||||
$success_type: ty | ||||
) => { | ||||
py_class!(pub class $name |py| { | ||||
data inner: RefCell<Option<$leaked>>; | ||||
data it: RefCell<$iterator_type>; | ||||
def __next__(&self) -> PyResult<$success_type> { | ||||
let mut inner_opt = self.inner(py).borrow_mut(); | ||||
if inner_opt.is_some() { | ||||
match self.it(py).borrow_mut().next() { | ||||
None => { | ||||
// replace Some(inner) by None, drop $leaked | ||||
inner_opt.take(); | ||||
Ok(None) | ||||
} | ||||
Some(res) => { | ||||
$success_func(py, res) | ||||
} | ||||
} | ||||
} else { | ||||
Ok(None) | ||||
} | ||||
} | ||||
def __iter__(&self) -> PyResult<Self> { | ||||
Ok(self.clone_ref(py)) | ||||
} | ||||
}); | ||||
impl $name { | ||||
pub fn from_inner( | ||||
py: Python, | ||||
Yuya Nishihara
|
r43160 | leaked: $leaked, | ||
Raphaël Gomès
|
r42997 | it: $iterator_type | ||
) -> PyResult<Self> { | ||||
Self::create_instance( | ||||
py, | ||||
Yuya Nishihara
|
r43160 | RefCell::new(Some(leaked)), | ||
Raphaël Gomès
|
r42997 | RefCell::new(it) | ||
) | ||||
} | ||||
} | ||||
}; | ||||
} | ||||