ref_sharing.rs
430 lines
| 14.1 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; | ||||
use cpython::{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
|
r43443 | pub py_shared_state: PySharedState, // TODO: remove pub | ||
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 | } | ||
} | ||||
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. | ||||
/// * `$leaked` is the identifier to give to the struct that will manage | ||||
/// references to `$name`, to be used for example in other macros like | ||||
Yuya Nishihara
|
r43159 | /// `py_shared_iterator`. | ||
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 | /// }); | ||
/// | ||||
/// py_shared_ref!(MyType, MyStruct, inner, MyTypeLeakedRef); | ||||
/// ``` | ||||
macro_rules! py_shared_ref { | ||||
( | ||||
$name: ident, | ||||
$inner_struct: ident, | ||||
$data_member: ident, | ||||
$leaked: ident, | ||||
) => { | ||||
impl $name { | ||||
Yuya Nishihara
|
r43444 | // TODO: remove this function in favor of inner(py).borrow_mut() | ||
Raphaël Gomès
|
r42997 | fn borrow_mut<'a>( | ||
&'a self, | ||||
py: Python<'a>, | ||||
) -> PyResult<crate::ref_sharing::PyRefMut<'a, $inner_struct>> | ||||
{ | ||||
Yuya Nishihara
|
r43115 | // assert $data_member type | ||
use crate::ref_sharing::PySharedRefCell; | ||||
let data: &PySharedRefCell<_> = self.$data_member(py); | ||||
Yuya Nishihara
|
r43444 | data.borrow_mut(py) | ||
Raphaël Gomès
|
r42997 | } | ||
Yuya Nishihara
|
r43116 | /// 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. | ||||
Yuya Nishihara
|
r43117 | unsafe fn leak_immutable<'a>( | ||
Raphaël Gomès
|
r42997 | &'a self, | ||
py: Python<'a>, | ||||
Yuya Nishihara
|
r43116 | ) -> PyResult<($leaked, &'static $inner_struct)> { | ||
Yuya Nishihara
|
r43115 | // assert $data_member type | ||
use crate::ref_sharing::PySharedRefCell; | ||||
let data: &PySharedRefCell<_> = self.$data_member(py); | ||||
Yuya Nishihara
|
r43446 | let (static_ref, static_state_ref) = | ||
Yuya Nishihara
|
r43443 | data.py_shared_state.leak_immutable(py, data)?; | ||
Yuya Nishihara
|
r43446 | let leak_handle = $leaked::new(py, self, static_state_ref); | ||
Yuya Nishihara
|
r43116 | Ok((leak_handle, static_ref)) | ||
Raphaël Gomès
|
r42997 | } | ||
} | ||||
/// Manage immutable references to `$name` leaked into Python | ||||
/// iterators. | ||||
/// | ||||
/// In truth, this does not represent leaked references themselves; | ||||
/// it is instead useful alongside them to manage them. | ||||
pub struct $leaked { | ||||
Yuya Nishihara
|
r43446 | _inner: $name, | ||
py_shared_state: &'static crate::ref_sharing::PySharedState, | ||||
Raphaël Gomès
|
r42997 | } | ||
impl $leaked { | ||||
Yuya Nishihara
|
r43446 | /// # Safety | ||
/// | ||||
/// The `py_shared_state` must be owned by the `inner` Python | ||||
/// object. | ||||
Yuya Nishihara
|
r43117 | // Marked as unsafe so client code wouldn't construct $leaked | ||
// struct by mistake. Its drop() is unsafe. | ||||
Yuya Nishihara
|
r43446 | unsafe fn new( | ||
py: Python, | ||||
inner: &$name, | ||||
py_shared_state: &'static crate::ref_sharing::PySharedState, | ||||
) -> Self { | ||||
Raphaël Gomès
|
r42997 | Self { | ||
Yuya Nishihara
|
r43446 | _inner: inner.clone_ref(py), | ||
py_shared_state, | ||||
Raphaël Gomès
|
r42997 | } | ||
} | ||||
} | ||||
impl Drop for $leaked { | ||||
fn drop(&mut self) { | ||||
Yuya Nishihara
|
r43446 | // 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. | ||||
Raphaël Gomès
|
r42997 | let gil = Python::acquire_gil(); | ||
let py = gil.python(); | ||||
Yuya Nishihara
|
r43117 | unsafe { | ||
Yuya Nishihara
|
r43446 | self.py_shared_state.decrease_leak_count(py, false); | ||
Yuya Nishihara
|
r43117 | } | ||
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> { | ||||
/// let (leak_handle, leaked_ref) = unsafe { self.leak_immutable(py)? }; | ||||
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, | ||
/// MyTypeLeakedRef, | ||||
/// 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, | ||||
$leaked: ident, | ||||
$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) | ||
) | ||||
} | ||||
} | ||||
}; | ||||
} | ||||