cindex.rs
217 lines
| 7.0 KiB
| application/rls-services+xml
|
RustLexer
Georges Racinet
|
r41082 | // cindex.rs | ||
// | ||||
// Copyright 2018 Georges Racinet <gracinet@anybox.fr> | ||||
// | ||||
// This software may be used and distributed according to the terms of the | ||||
// GNU General Public License version 2 or any later version. | ||||
//! Bindings to use the Index defined by the parsers C extension | ||||
//! | ||||
//! Ideally, we should use an Index entirely implemented in Rust, | ||||
//! but this will take some time to get there. | ||||
Georges Racinet
|
r52146 | #![allow(dead_code)] | ||
Georges Racinet
|
r44991 | use cpython::{ | ||
r48042 | exc::ImportError, exc::TypeError, ObjectProtocol, PyClone, PyErr, | |||
PyObject, PyResult, PyTuple, Python, PythonObject, | ||||
Georges Racinet
|
r44991 | }; | ||
Georges Racinet
|
r44989 | use hg::revlog::{Node, RevlogIndex}; | ||
Raphaël Gomès
|
r51872 | use hg::{BaseRevision, Graph, GraphError, Revision}; | ||
Simon Sapin
|
r47141 | use libc::{c_int, ssize_t}; | ||
Georges Racinet
|
r41082 | |||
pacien
|
r49707 | const REVLOG_CABI_VERSION: c_int = 3; | ||
Georges Racinet
|
r44523 | |||
Georges Racinet
|
r44411 | #[repr(C)] | ||
pub struct Revlog_CAPI { | ||||
Georges Racinet
|
r44523 | abi_version: c_int, | ||
Georges Racinet
|
r44989 | index_length: | ||
Simon Sapin
|
r47141 | unsafe extern "C" fn(index: *mut revlog_capi::RawPyObject) -> ssize_t, | ||
Georges Racinet
|
r44989 | index_node: unsafe extern "C" fn( | ||
index: *mut revlog_capi::RawPyObject, | ||||
Simon Sapin
|
r47141 | rev: ssize_t, | ||
Georges Racinet
|
r44989 | ) -> *const Node, | ||
pacien
|
r49707 | fast_rank: unsafe extern "C" fn( | ||
index: *mut revlog_capi::RawPyObject, | ||||
rev: ssize_t, | ||||
) -> ssize_t, | ||||
Georges Racinet
|
r44411 | index_parents: unsafe extern "C" fn( | ||
index: *mut revlog_capi::RawPyObject, | ||||
rev: c_int, | ||||
ps: *mut [c_int; 2], | ||||
) -> c_int, | ||||
} | ||||
py_capsule!( | ||||
from mercurial.cext.parsers import revlog_CAPI | ||||
as revlog_capi for Revlog_CAPI); | ||||
Georges Racinet
|
r41082 | |||
/// A `Graph` backed up by objects and functions from revlog.c | ||||
/// | ||||
/// This implementation of the `Graph` trait, relies on (pointers to) | ||||
/// - the C index object (`index` member) | ||||
/// - the `index_get_parents()` function (`parents` member) | ||||
/// | ||||
/// # Safety | ||||
/// | ||||
/// The C index itself is mutable, and this Rust exposition is **not | ||||
/// protected by the GIL**, meaning that this construct isn't safe with respect | ||||
/// to Python threads. | ||||
/// | ||||
/// All callers of this `Index` must acquire the GIL and must not release it | ||||
/// while working. | ||||
/// | ||||
/// # TODO find a solution to make it GIL safe again. | ||||
/// | ||||
/// This is non trivial, and can wait until we have a clearer picture with | ||||
/// more Rust Mercurial constructs. | ||||
/// | ||||
/// One possibility would be to a `GILProtectedIndex` wrapper enclosing | ||||
/// a `Python<'p>` marker and have it be the one implementing the | ||||
/// `Graph` trait, but this would mean the `Graph` implementor would become | ||||
/// likely to change between subsequent method invocations of the `hg-core` | ||||
/// objects (a serious change of the `hg-core` API): | ||||
/// either exposing ways to mutate the `Graph`, or making it a non persistent | ||||
/// parameter in the relevant methods that need one. | ||||
/// | ||||
/// Another possibility would be to introduce an abstract lock handle into | ||||
/// the core API, that would be tied to `GILGuard` / `Python<'p>` | ||||
/// in the case of the `cpython` crate bindings yet could leave room for other | ||||
/// mechanisms in other contexts. | ||||
pub struct Index { | ||||
index: PyObject, | ||||
Georges Racinet
|
r44411 | capi: &'static Revlog_CAPI, | ||
Georges Racinet
|
r41082 | } | ||
impl Index { | ||||
pub fn new(py: Python, index: PyObject) -> PyResult<Self> { | ||||
Georges Racinet
|
r44523 | let capi = unsafe { revlog_capi::retrieve(py)? }; | ||
if capi.abi_version != REVLOG_CABI_VERSION { | ||||
return Err(PyErr::new::<ImportError, _>( | ||||
py, | ||||
format!( | ||||
"ABI version mismatch: the C ABI revlog version {} \ | ||||
does not match the {} expected by Rust hg-cpython", | ||||
capi.abi_version, REVLOG_CABI_VERSION | ||||
), | ||||
)); | ||||
} | ||||
r48042 | let compat: u64 = index.getattr(py, "rust_ext_compat")?.extract(py)?; | |||
if compat == 0 { | ||||
return Err(PyErr::new::<TypeError, _>( | ||||
py, | ||||
"index object not compatible with Rust", | ||||
)); | ||||
} | ||||
Raphaël Gomès
|
r45500 | Ok(Index { index, capi }) | ||
Georges Racinet
|
r41082 | } | ||
Georges Racinet
|
r44412 | |||
/// return a reference to the CPython Index object in this Struct | ||||
pub fn inner(&self) -> &PyObject { | ||||
&self.index | ||||
} | ||||
Georges Racinet
|
r44991 | |||
pub fn append(&mut self, py: Python, tup: PyTuple) -> PyResult<PyObject> { | ||||
self.index.call_method( | ||||
py, | ||||
"append", | ||||
PyTuple::new(py, &[tup.into_object()]), | ||||
None, | ||||
) | ||||
} | ||||
Georges Racinet
|
r41082 | } | ||
Georges Racinet
|
r41084 | impl Clone for Index { | ||
fn clone(&self) -> Self { | ||||
let guard = Python::acquire_gil(); | ||||
Index { | ||||
index: self.index.clone_ref(guard.python()), | ||||
Georges Racinet
|
r44411 | capi: self.capi, | ||
Georges Racinet
|
r41084 | } | ||
} | ||||
} | ||||
Georges Racinet
|
r44462 | impl PyClone for Index { | ||
fn clone_ref(&self, py: Python) -> Self { | ||||
Index { | ||||
index: self.index.clone_ref(py), | ||||
capi: self.capi, | ||||
} | ||||
} | ||||
} | ||||
Georges Racinet
|
r41082 | impl Graph for Index { | ||
/// wrap a call to the C extern parents function | ||||
fn parents(&self, rev: Revision) -> Result<[Revision; 2], GraphError> { | ||||
let mut res: [c_int; 2] = [0; 2]; | ||||
let code = unsafe { | ||||
Georges Racinet
|
r44411 | (self.capi.index_parents)( | ||
Georges Racinet
|
r41082 | self.index.as_ptr(), | ||
Raphaël Gomès
|
r51872 | rev.0 as c_int, | ||
Georges Racinet
|
r41082 | &mut res as *mut [c_int; 2], | ||
) | ||||
}; | ||||
match code { | ||||
Raphaël Gomès
|
r51872 | 0 => Ok([Revision(res[0]), Revision(res[1])]), | ||
Georges Racinet
|
r41082 | _ => Err(GraphError::ParentOutOfRange(rev)), | ||
} | ||||
} | ||||
} | ||||
Georges Racinet
|
r44989 | |||
pacien
|
r49349 | impl vcsgraph::graph::Graph for Index { | ||
fn parents( | ||||
&self, | ||||
Raphaël Gomès
|
r51872 | rev: BaseRevision, | ||
pacien
|
r49349 | ) -> Result<vcsgraph::graph::Parents, vcsgraph::graph::GraphReadError> | ||
{ | ||||
Raphaël Gomès
|
r51872 | // FIXME This trait should be reworked to decide between Revision | ||
// and UncheckedRevision, get better errors names, etc. | ||||
match Graph::parents(self, Revision(rev)) { | ||||
Ok(parents) => { | ||||
Ok(vcsgraph::graph::Parents([parents[0].0, parents[1].0])) | ||||
} | ||||
pacien
|
r49349 | Err(GraphError::ParentOutOfRange(rev)) => { | ||
Raphaël Gomès
|
r51872 | Err(vcsgraph::graph::GraphReadError::KeyedInvalidKey(rev.0)) | ||
pacien
|
r49349 | } | ||
} | ||||
} | ||||
} | ||||
pacien
|
r49708 | impl vcsgraph::graph::RankedGraph for Index { | ||
fn rank( | ||||
&self, | ||||
Raphaël Gomès
|
r51872 | rev: BaseRevision, | ||
pacien
|
r49708 | ) -> Result<vcsgraph::graph::Rank, vcsgraph::graph::GraphReadError> { | ||
match unsafe { | ||||
(self.capi.fast_rank)(self.index.as_ptr(), rev as ssize_t) | ||||
} { | ||||
-1 => Err(vcsgraph::graph::GraphReadError::InconsistentGraphData), | ||||
rank => Ok(rank as usize), | ||||
} | ||||
} | ||||
} | ||||
Georges Racinet
|
r44989 | impl RevlogIndex for Index { | ||
/// Note C return type is Py_ssize_t (hence signed), but we shall | ||||
/// force it to unsigned, because it's a length | ||||
fn len(&self) -> usize { | ||||
unsafe { (self.capi.index_length)(self.index.as_ptr()) as usize } | ||||
} | ||||
Raphaël Gomès
|
r45500 | fn node(&self, rev: Revision) -> Option<&Node> { | ||
Georges Racinet
|
r44989 | let raw = unsafe { | ||
Raphaël Gomès
|
r51872 | (self.capi.index_node)(self.index.as_ptr(), rev.0 as ssize_t) | ||
Georges Racinet
|
r44989 | }; | ||
if raw.is_null() { | ||||
None | ||||
} else { | ||||
// TODO it would be much better for the C layer to give us | ||||
// a length, since the hash length will change in the near | ||||
// future, but that's probably out of scope for the nodemap | ||||
// patch series. | ||||
// | ||||
// The root of that unsafety relies in the signature of | ||||
// `capi.index_node()` itself: returning a `Node` pointer | ||||
// whereas it's a `char *` in the C counterpart. | ||||
Some(unsafe { &*raw }) | ||||
} | ||||
} | ||||
} | ||||