revlog.rs
468 lines
| 14.2 KiB
| application/rls-services+xml
|
RustLexer
Antoine Cezar
|
r46097 | use std::borrow::Cow; | ||
Simon Sapin
|
r49375 | use std::convert::TryFrom; | ||
Antoine Cezar
|
r46097 | use std::io::Read; | ||
use std::ops::Deref; | ||||
use std::path::Path; | ||||
use flate2::read::ZlibDecoder; | ||||
use micro_timer::timed; | ||||
Simon Sapin
|
r48171 | use sha1::{Digest, Sha1}; | ||
Antoine Cezar
|
r46097 | use zstd; | ||
use super::index::Index; | ||||
Simon Sapin
|
r47160 | use super::node::{NodePrefix, NODE_BYTES_LENGTH, NULL_NODE}; | ||
Simon Sapin
|
r46706 | use super::nodemap; | ||
Simon Sapin
|
r47172 | use super::nodemap::{NodeMap, NodeMapError}; | ||
Simon Sapin
|
r46706 | use super::nodemap_docket::NodeMapDocket; | ||
Antoine Cezar
|
r46097 | use super::patch; | ||
Simon Sapin
|
r47172 | use crate::errors::HgError; | ||
Simon Sapin
|
r46782 | use crate::repo::Repo; | ||
Antoine Cezar
|
r46097 | use crate::revlog::Revision; | ||
Simon Sapin
|
r48781 | use crate::{Node, NULL_REVISION}; | ||
Antoine Cezar
|
r46097 | |||
Simon Sapin
|
r49378 | const REVISION_FLAG_CENSORED: u16 = 1 << 15; | ||
const REVISION_FLAG_ELLIPSIS: u16 = 1 << 14; | ||||
const REVISION_FLAG_EXTSTORED: u16 = 1 << 13; | ||||
const REVISION_FLAG_HASCOPIESINFO: u16 = 1 << 12; | ||||
// Keep this in sync with REVIDX_KNOWN_FLAGS in | ||||
// mercurial/revlogutils/flagutil.py | ||||
const REVIDX_KNOWN_FLAGS: u16 = REVISION_FLAG_CENSORED | ||||
| REVISION_FLAG_ELLIPSIS | ||||
| REVISION_FLAG_EXTSTORED | ||||
| REVISION_FLAG_HASCOPIESINFO; | ||||
Simon Sapin
|
r47172 | #[derive(derive_more::From)] | ||
Antoine Cezar
|
r46097 | pub enum RevlogError { | ||
InvalidRevision, | ||||
Pulkit Goyal
|
r47577 | /// Working directory is not supported | ||
WDirUnsupported, | ||||
Simon Sapin
|
r46646 | /// Found more than one entry whose ID match the requested prefix | ||
AmbiguousPrefix, | ||||
Simon Sapin
|
r47172 | #[from] | ||
Other(HgError), | ||||
Antoine Cezar
|
r46097 | } | ||
Simon Sapin
|
r47172 | impl From<NodeMapError> for RevlogError { | ||
fn from(error: NodeMapError) -> Self { | ||||
match error { | ||||
NodeMapError::MultipleResults => RevlogError::AmbiguousPrefix, | ||||
NodeMapError::RevisionNotInIndex(_) => RevlogError::corrupted(), | ||||
} | ||||
} | ||||
} | ||||
Simon Sapin
|
r49374 | fn corrupted() -> HgError { | ||
HgError::corrupted("corrupted revlog") | ||||
} | ||||
Simon Sapin
|
r47172 | impl RevlogError { | ||
fn corrupted() -> Self { | ||||
Simon Sapin
|
r49374 | RevlogError::Other(corrupted()) | ||
Simon Sapin
|
r47119 | } | ||
} | ||||
Antoine Cezar
|
r46097 | /// Read only implementation of revlog. | ||
pub struct Revlog { | ||||
/// When index and data are not interleaved: bytes of the revlog index. | ||||
/// When index and data are interleaved: bytes of the revlog index and | ||||
/// data. | ||||
Simon Sapin
|
r48781 | index: Index, | ||
Antoine Cezar
|
r46097 | /// When index and data are not interleaved: bytes of the revlog data | ||
data_bytes: Option<Box<dyn Deref<Target = [u8]> + Send>>, | ||||
Simon Sapin
|
r46706 | /// When present on disk: the persistent nodemap for this revlog | ||
nodemap: Option<nodemap::NodeTree>, | ||||
Antoine Cezar
|
r46097 | } | ||
impl Revlog { | ||||
/// Open a revlog index file. | ||||
/// | ||||
/// It will also open the associated data file if index and data are not | ||||
/// interleaved. | ||||
#[timed] | ||||
Antoine cezar
|
r46408 | pub fn open( | ||
Simon Sapin
|
r46782 | repo: &Repo, | ||
index_path: impl AsRef<Path>, | ||||
Antoine cezar
|
r46408 | data_path: Option<&Path>, | ||
Simon Sapin
|
r48777 | ) -> Result<Self, HgError> { | ||
Simon Sapin
|
r46782 | let index_path = index_path.as_ref(); | ||
Arseniy Alekseyev
|
r49013 | let index = { | ||
match repo.store_vfs().mmap_open_opt(&index_path)? { | ||||
None => Index::new(Box::new(vec![])), | ||||
Some(index_mmap) => { | ||||
let index = Index::new(Box::new(index_mmap))?; | ||||
Ok(index) | ||||
} | ||||
} | ||||
}?; | ||||
Antoine Cezar
|
r46097 | |||
Antoine cezar
|
r46408 | let default_data_path = index_path.with_extension("d"); | ||
Antoine Cezar
|
r46097 | // type annotation required | ||
// won't recognize Mmap as Deref<Target = [u8]> | ||||
let data_bytes: Option<Box<dyn Deref<Target = [u8]> + Send>> = | ||||
Antoine cezar
|
r46175 | if index.is_inline() { | ||
Antoine Cezar
|
r46097 | None | ||
} else { | ||||
Antoine cezar
|
r46408 | let data_path = data_path.unwrap_or(&default_data_path); | ||
Simon Sapin
|
r47172 | let data_mmap = repo.store_vfs().mmap_open(data_path)?; | ||
Antoine Cezar
|
r46097 | Some(Box::new(data_mmap)) | ||
}; | ||||
Arseniy Alekseyev
|
r49040 | let nodemap = if index.is_inline() { | ||
None | ||||
} else { | ||||
NodeMapDocket::read_from_file(repo, index_path)?.map( | ||||
|(docket, data)| { | ||||
nodemap::NodeTree::load_bytes( | ||||
Box::new(data), | ||||
docket.data_length, | ||||
) | ||||
}, | ||||
) | ||||
}; | ||||
Simon Sapin
|
r46706 | |||
Ok(Revlog { | ||||
index, | ||||
data_bytes, | ||||
nodemap, | ||||
}) | ||||
Antoine Cezar
|
r46097 | } | ||
Antoine Cezar
|
r46105 | /// Return number of entries of the `Revlog`. | ||
pub fn len(&self) -> usize { | ||||
Antoine cezar
|
r46175 | self.index.len() | ||
Antoine Cezar
|
r46105 | } | ||
/// Returns `true` if the `Revlog` has zero `entries`. | ||||
pub fn is_empty(&self) -> bool { | ||||
Antoine cezar
|
r46175 | self.index.is_empty() | ||
Antoine Cezar
|
r46105 | } | ||
Simon Sapin
|
r48783 | /// Returns the node ID for the given revision number, if it exists in this | ||
/// revlog | ||||
Simon Sapin
|
r48781 | pub fn node_from_rev(&self, rev: Revision) -> Option<&Node> { | ||
Arseniy Alekseyev
|
r49050 | if rev == NULL_REVISION { | ||
return Some(&NULL_NODE); | ||||
} | ||||
Simon Sapin
|
r48781 | Some(self.index.get_entry(rev)?.hash()) | ||
} | ||||
Simon Sapin
|
r48783 | /// Return the revision number for the given node ID, if it exists in this | ||
/// revlog | ||||
Antoine Cezar
|
r46105 | #[timed] | ||
Simon Sapin
|
r48782 | pub fn rev_from_node( | ||
Simon Sapin
|
r46647 | &self, | ||
Simon Sapin
|
r47160 | node: NodePrefix, | ||
Simon Sapin
|
r46647 | ) -> Result<Revision, RevlogError> { | ||
Simon Sapin
|
r48776 | if node.is_prefix_of(&NULL_NODE) { | ||
return Ok(NULL_REVISION); | ||||
} | ||||
Simon Sapin
|
r46706 | if let Some(nodemap) = &self.nodemap { | ||
return nodemap | ||||
Simon Sapin
|
r47172 | .find_bin(&self.index, node)? | ||
Simon Sapin
|
r46706 | .ok_or(RevlogError::InvalidRevision); | ||
} | ||||
// Fallback to linear scan when a persistent nodemap is not present. | ||||
// This happens when the persistent-nodemap experimental feature is not | ||||
// enabled, or for small revlogs. | ||||
// | ||||
// TODO: consider building a non-persistent nodemap in memory to | ||||
// optimize these cases. | ||||
Simon Sapin
|
r46646 | let mut found_by_prefix = None; | ||
Antoine Cezar
|
r46105 | for rev in (0..self.len() as Revision).rev() { | ||
let index_entry = | ||||
Simon Sapin
|
r47172 | self.index.get_entry(rev).ok_or(HgError::corrupted( | ||
"revlog references a revision not in the index", | ||||
))?; | ||||
Simon Sapin
|
r46647 | if node == *index_entry.hash() { | ||
Antoine Cezar
|
r46105 | return Ok(rev); | ||
} | ||||
Simon Sapin
|
r46647 | if node.is_prefix_of(index_entry.hash()) { | ||
Simon Sapin
|
r46646 | if found_by_prefix.is_some() { | ||
return Err(RevlogError::AmbiguousPrefix); | ||||
} | ||||
found_by_prefix = Some(rev) | ||||
} | ||||
Antoine Cezar
|
r46105 | } | ||
Simon Sapin
|
r46646 | found_by_prefix.ok_or(RevlogError::InvalidRevision) | ||
Antoine Cezar
|
r46105 | } | ||
Simon Sapin
|
r47162 | /// Returns whether the given revision exists in this revlog. | ||
pub fn has_rev(&self, rev: Revision) -> bool { | ||||
self.index.get_entry(rev).is_some() | ||||
} | ||||
Antoine Cezar
|
r46097 | /// Return the full data associated to a revision. | ||
/// | ||||
/// All entries required to build the final data out of deltas will be | ||||
/// retrieved as needed, and the deltas will be applied to the inital | ||||
/// snapshot to rebuild the final data. | ||||
#[timed] | ||||
Simon Sapin
|
r49373 | pub fn get_rev_data( | ||
&self, | ||||
rev: Revision, | ||||
) -> Result<Cow<[u8]>, RevlogError> { | ||||
Arseniy Alekseyev
|
r49012 | if rev == NULL_REVISION { | ||
Simon Sapin
|
r49373 | return Ok(Cow::Borrowed(&[])); | ||
Arseniy Alekseyev
|
r49012 | }; | ||
Simon Sapin
|
r49374 | Ok(self.get_entry(rev)?.data()?) | ||
Antoine Cezar
|
r46097 | } | ||
Antoine Cezar
|
r46102 | /// Check the hash of some given data against the recorded hash. | ||
pub fn check_hash( | ||||
&self, | ||||
p1: Revision, | ||||
p2: Revision, | ||||
expected: &[u8], | ||||
data: &[u8], | ||||
) -> bool { | ||||
Antoine cezar
|
r46175 | let e1 = self.index.get_entry(p1); | ||
Antoine Cezar
|
r46102 | let h1 = match e1 { | ||
Some(ref entry) => entry.hash(), | ||||
Simon Sapin
|
r46647 | None => &NULL_NODE, | ||
Antoine Cezar
|
r46102 | }; | ||
Antoine cezar
|
r46175 | let e2 = self.index.get_entry(p2); | ||
Antoine Cezar
|
r46102 | let h2 = match e2 { | ||
Some(ref entry) => entry.hash(), | ||||
Simon Sapin
|
r46647 | None => &NULL_NODE, | ||
Antoine Cezar
|
r46102 | }; | ||
Simon Sapin
|
r48171 | &hash(data, h1.as_bytes(), h2.as_bytes()) == expected | ||
Antoine Cezar
|
r46102 | } | ||
Antoine Cezar
|
r46097 | /// Build the full data of a revision out its snapshot | ||
/// and its deltas. | ||||
#[timed] | ||||
fn build_data_from_deltas( | ||||
snapshot: RevlogEntry, | ||||
deltas: &[RevlogEntry], | ||||
Simon Sapin
|
r49374 | ) -> Result<Vec<u8>, HgError> { | ||
Simon Sapin
|
r49372 | let snapshot = snapshot.data_chunk()?; | ||
Antoine Cezar
|
r46097 | let deltas = deltas | ||
.iter() | ||||
.rev() | ||||
Simon Sapin
|
r49372 | .map(RevlogEntry::data_chunk) | ||
Simon Sapin
|
r49374 | .collect::<Result<Vec<_>, _>>()?; | ||
Antoine Cezar
|
r46097 | let patches: Vec<_> = | ||
deltas.iter().map(|d| patch::PatchList::new(d)).collect(); | ||||
let patch = patch::fold_patch_lists(&patches); | ||||
Ok(patch.apply(&snapshot)) | ||||
} | ||||
/// Return the revlog data. | ||||
fn data(&self) -> &[u8] { | ||||
match self.data_bytes { | ||||
Some(ref data_bytes) => &data_bytes, | ||||
Antoine cezar
|
r46175 | None => panic!( | ||
"forgot to load the data or trying to access inline data" | ||||
), | ||||
Antoine Cezar
|
r46097 | } | ||
} | ||||
/// Get an entry of the revlog. | ||||
Simon Sapin
|
r49374 | pub fn get_entry( | ||
&self, | ||||
rev: Revision, | ||||
) -> Result<RevlogEntry, RevlogError> { | ||||
Antoine cezar
|
r46175 | let index_entry = self | ||
.index | ||||
.get_entry(rev) | ||||
.ok_or(RevlogError::InvalidRevision)?; | ||||
Antoine Cezar
|
r46097 | let start = index_entry.offset(); | ||
Simon Sapin
|
r49375 | let end = start + index_entry.compressed_len() as usize; | ||
Antoine cezar
|
r46175 | let data = if self.index.is_inline() { | ||
self.index.data(start, end) | ||||
} else { | ||||
&self.data()[start..end] | ||||
}; | ||||
Antoine Cezar
|
r46097 | let entry = RevlogEntry { | ||
Simon Sapin
|
r49373 | revlog: self, | ||
Antoine Cezar
|
r46097 | rev, | ||
Antoine cezar
|
r46175 | bytes: data, | ||
Antoine Cezar
|
r46097 | compressed_len: index_entry.compressed_len(), | ||
uncompressed_len: index_entry.uncompressed_len(), | ||||
Arseniy Alekseyev
|
r49289 | base_rev_or_base_of_delta_chain: if index_entry | ||
.base_revision_or_base_of_delta_chain() | ||||
== rev | ||||
{ | ||||
Antoine Cezar
|
r46097 | None | ||
} else { | ||||
Arseniy Alekseyev
|
r49289 | Some(index_entry.base_revision_or_base_of_delta_chain()) | ||
Antoine Cezar
|
r46097 | }, | ||
Simon Sapin
|
r49376 | p1: index_entry.p1(), | ||
p2: index_entry.p2(), | ||||
Simon Sapin
|
r49378 | flags: index_entry.flags(), | ||
Simon Sapin
|
r49376 | hash: *index_entry.hash(), | ||
Antoine Cezar
|
r46097 | }; | ||
Ok(entry) | ||||
} | ||||
Arseniy Alekseyev
|
r49289 | |||
/// when resolving internal references within revlog, any errors | ||||
/// should be reported as corruption, instead of e.g. "invalid revision" | ||||
fn get_entry_internal( | ||||
&self, | ||||
rev: Revision, | ||||
Simon Sapin
|
r49374 | ) -> Result<RevlogEntry, HgError> { | ||
return self.get_entry(rev).map_err(|_| corrupted()); | ||||
Arseniy Alekseyev
|
r49289 | } | ||
Antoine Cezar
|
r46097 | } | ||
/// The revlog entry's bytes and the necessary informations to extract | ||||
/// the entry's data. | ||||
Simon Sapin
|
r49373 | #[derive(Clone)] | ||
Antoine Cezar
|
r46097 | pub struct RevlogEntry<'a> { | ||
Simon Sapin
|
r49373 | revlog: &'a Revlog, | ||
Antoine Cezar
|
r46097 | rev: Revision, | ||
bytes: &'a [u8], | ||||
Simon Sapin
|
r49375 | compressed_len: u32, | ||
uncompressed_len: i32, | ||||
Arseniy Alekseyev
|
r49289 | base_rev_or_base_of_delta_chain: Option<Revision>, | ||
Simon Sapin
|
r49376 | p1: Revision, | ||
p2: Revision, | ||||
Simon Sapin
|
r49378 | flags: u16, | ||
Simon Sapin
|
r49376 | hash: Node, | ||
Antoine Cezar
|
r46097 | } | ||
impl<'a> RevlogEntry<'a> { | ||||
Martin von Zweigbergk
|
r48895 | pub fn revision(&self) -> Revision { | ||
self.rev | ||||
} | ||||
Simon Sapin
|
r49375 | pub fn uncompressed_len(&self) -> Option<u32> { | ||
u32::try_from(self.uncompressed_len).ok() | ||||
} | ||||
Simon Sapin
|
r49378 | pub fn has_p1(&self) -> bool { | ||
self.p1 != NULL_REVISION | ||||
} | ||||
pub fn is_cencored(&self) -> bool { | ||||
(self.flags & REVISION_FLAG_CENSORED) != 0 | ||||
} | ||||
pub fn has_length_affecting_flag_processor(&self) -> bool { | ||||
// Relevant Python code: revlog.size() | ||||
// note: ELLIPSIS is known to not change the content | ||||
(self.flags & (REVIDX_KNOWN_FLAGS ^ REVISION_FLAG_ELLIPSIS)) != 0 | ||||
} | ||||
Simon Sapin
|
r49373 | /// The data for this entry, after resolving deltas if any. | ||
Simon Sapin
|
r49374 | pub fn data(&self) -> Result<Cow<'a, [u8]>, HgError> { | ||
Simon Sapin
|
r49373 | let mut entry = self.clone(); | ||
let mut delta_chain = vec![]; | ||||
// The meaning of `base_rev_or_base_of_delta_chain` depends on | ||||
// generaldelta. See the doc on `ENTRY_DELTA_BASE` in | ||||
// `mercurial/revlogutils/constants.py` and the code in | ||||
// [_chaininfo] and in [index_deltachain]. | ||||
let uses_generaldelta = self.revlog.index.uses_generaldelta(); | ||||
while let Some(base_rev) = entry.base_rev_or_base_of_delta_chain { | ||||
let base_rev = if uses_generaldelta { | ||||
base_rev | ||||
} else { | ||||
entry.rev - 1 | ||||
}; | ||||
delta_chain.push(entry); | ||||
entry = self.revlog.get_entry_internal(base_rev)?; | ||||
} | ||||
let data = if delta_chain.is_empty() { | ||||
entry.data_chunk()? | ||||
} else { | ||||
Revlog::build_data_from_deltas(entry, &delta_chain)?.into() | ||||
}; | ||||
if self.revlog.check_hash( | ||||
Simon Sapin
|
r49376 | self.p1, | ||
self.p2, | ||||
self.hash.as_bytes(), | ||||
Simon Sapin
|
r49373 | &data, | ||
) { | ||||
Ok(data) | ||||
} else { | ||||
Simon Sapin
|
r49374 | Err(corrupted()) | ||
Simon Sapin
|
r49373 | } | ||
} | ||||
Antoine Cezar
|
r46097 | /// Extract the data contained in the entry. | ||
Simon Sapin
|
r49372 | /// This may be a delta. (See `is_delta`.) | ||
Simon Sapin
|
r49374 | fn data_chunk(&self) -> Result<Cow<'a, [u8]>, HgError> { | ||
Antoine Cezar
|
r46097 | if self.bytes.is_empty() { | ||
return Ok(Cow::Borrowed(&[])); | ||||
} | ||||
match self.bytes[0] { | ||||
// Revision data is the entirety of the entry, including this | ||||
// header. | ||||
b'\0' => Ok(Cow::Borrowed(self.bytes)), | ||||
// Raw revision data follows. | ||||
b'u' => Ok(Cow::Borrowed(&self.bytes[1..])), | ||||
// zlib (RFC 1950) data. | ||||
Antoine cezar
|
r46169 | b'x' => Ok(Cow::Owned(self.uncompressed_zlib_data()?)), | ||
Antoine Cezar
|
r46097 | // zstd data. | ||
Antoine cezar
|
r46169 | b'\x28' => Ok(Cow::Owned(self.uncompressed_zstd_data()?)), | ||
Simon Sapin
|
r47172 | // A proper new format should have had a repo/store requirement. | ||
Simon Sapin
|
r49374 | _format_type => Err(corrupted()), | ||
Antoine Cezar
|
r46097 | } | ||
} | ||||
Simon Sapin
|
r49374 | fn uncompressed_zlib_data(&self) -> Result<Vec<u8>, HgError> { | ||
Antoine Cezar
|
r46097 | let mut decoder = ZlibDecoder::new(self.bytes); | ||
if self.is_delta() { | ||||
Simon Sapin
|
r49375 | let mut buf = Vec::with_capacity(self.compressed_len as usize); | ||
Simon Sapin
|
r49374 | decoder.read_to_end(&mut buf).map_err(|_| corrupted())?; | ||
Antoine cezar
|
r46169 | Ok(buf) | ||
Antoine Cezar
|
r46097 | } else { | ||
Simon Sapin
|
r49375 | let cap = self.uncompressed_len.max(0) as usize; | ||
let mut buf = vec![0; cap]; | ||||
Simon Sapin
|
r49374 | decoder.read_exact(&mut buf).map_err(|_| corrupted())?; | ||
Antoine cezar
|
r46169 | Ok(buf) | ||
Antoine Cezar
|
r46097 | } | ||
} | ||||
Simon Sapin
|
r49374 | fn uncompressed_zstd_data(&self) -> Result<Vec<u8>, HgError> { | ||
Antoine Cezar
|
r46097 | if self.is_delta() { | ||
Simon Sapin
|
r49375 | let mut buf = Vec::with_capacity(self.compressed_len as usize); | ||
Antoine Cezar
|
r46097 | zstd::stream::copy_decode(self.bytes, &mut buf) | ||
Simon Sapin
|
r49374 | .map_err(|_| corrupted())?; | ||
Antoine cezar
|
r46169 | Ok(buf) | ||
Antoine Cezar
|
r46097 | } else { | ||
Simon Sapin
|
r49375 | let cap = self.uncompressed_len.max(0) as usize; | ||
let mut buf = vec![0; cap]; | ||||
Antoine Cezar
|
r46097 | let len = zstd::block::decompress_to_buffer(self.bytes, &mut buf) | ||
Simon Sapin
|
r49374 | .map_err(|_| corrupted())?; | ||
Simon Sapin
|
r49375 | if len != self.uncompressed_len as usize { | ||
Simon Sapin
|
r49374 | Err(corrupted()) | ||
Antoine cezar
|
r46169 | } else { | ||
Ok(buf) | ||||
} | ||||
Antoine Cezar
|
r46097 | } | ||
} | ||||
/// Tell if the entry is a snapshot or a delta | ||||
/// (influences on decompression). | ||||
fn is_delta(&self) -> bool { | ||||
Arseniy Alekseyev
|
r49289 | self.base_rev_or_base_of_delta_chain.is_some() | ||
Antoine Cezar
|
r46097 | } | ||
} | ||||
Antoine Cezar
|
r46102 | /// Calculate the hash of a revision given its data and its parents. | ||
Simon Sapin
|
r48171 | fn hash( | ||
data: &[u8], | ||||
p1_hash: &[u8], | ||||
p2_hash: &[u8], | ||||
) -> [u8; NODE_BYTES_LENGTH] { | ||||
Antoine Cezar
|
r46102 | let mut hasher = Sha1::new(); | ||
let (a, b) = (p1_hash, p2_hash); | ||||
if a > b { | ||||
Simon Sapin
|
r48171 | hasher.update(b); | ||
hasher.update(a); | ||||
Antoine Cezar
|
r46102 | } else { | ||
Simon Sapin
|
r48171 | hasher.update(a); | ||
hasher.update(b); | ||||
Antoine Cezar
|
r46102 | } | ||
Simon Sapin
|
r48171 | hasher.update(data); | ||
*hasher.finalize().as_ref() | ||||
Antoine Cezar
|
r46102 | } | ||