use super::service_fault::reach;
use super::service_journal::{Intent, Recovery, list_intents, mark_done, recovery_for, write_intent, OPEN_EXTENSION};
use super::service_protocol::{CommitRequest, FailureCode};
use super::transaction_git::{GitContext, GitOutput, GitRequest, run_git};
use std::collections::{BTreeSet, HashMap};
use std::path::{Path, PathBuf};
pub const LANDING_ATTEMPTS: usize = 3;
const INDEX_ATTEMPTS: usize = 5;
const INDEX_PAUSE: std::time::Duration = std::time::Duration::from_millis(100);
pub struct LandContext {
pub git: GitContext,
pub journal: PathBuf,
pub on_objects_written: Option<Box<dyn Fn() + Send + Sync>>,
}
#[derive(Clone, Debug, Eq, PartialEq)]
pub enum Outcome {
Landed { commit: String },
RetryPrepare { base: String },
BranchMoved,
}
fn run(git: &GitContext, repository: &Path, arguments: &[&str], input: Option<Vec<u8>>) -> Result<GitOutput, FailureCode> {
let mut request: GitRequest = GitRequest::new(repository, arguments);
request.input = input;
let output: GitOutput = run_git(git, &request).map_err(|_| { return FailureCode::Unavailable; })?;
return Ok(output);
}
fn classify(output: &GitOutput) -> FailureCode {
let text: String = output.error_text().to_lowercase();
if text.contains("no space left") || text.contains("quota exceeded") {
return FailureCode::RepositoryFull;
}
if text.contains("read-only file system") || text.contains("permission denied") {
return FailureCode::RepositoryReadOnly;
}
if text.contains("index.lock") {
return FailureCode::IndexInUse;
}
return FailureCode::Unavailable;
}
fn checked(git: &GitContext, repository: &Path, arguments: &[&str], input: Option<Vec<u8>>) -> Result<String, FailureCode> {
let output: GitOutput = run(git, repository, arguments, input)?;
if !output.succeeded() {
return Err(classify(&output));
}
return Ok(String::from_utf8_lossy(output.stdout.as_slice()).trim().to_string());
}
fn quoted(path: &str) -> String {
let mut text: String = String::from("\"");
for character in path.chars() {
match character {
'"' => text.push_str("\\\""),
'\\' => text.push_str("\\\\"),
other => text.push(other),
}
}
text.push('"');
return text;
}
fn overlaps(path: &str, changed: &str) -> bool {
return path == changed || path.starts_with(&format!("{changed}/")) || changed.starts_with(&format!("{path}/"));
}
fn import_stream(scratch: &str, old: &str, requests: &[&CommitRequest], amended_parents: &[String]) -> Vec<u8> {
let mut bytes: Vec<u8> = Vec::new();
for (index, request) in requests.iter().enumerate() {
bytes.extend(format!("commit {scratch}\nmark :{}\n", index + 1).as_bytes());
if let Some(author) = &request.author {
bytes.extend(format!("author {author}\n").as_bytes());
}
bytes.extend(format!("committer {}\ndata {}\n", request.committer, request.message.len()).as_bytes());
bytes.extend(request.message.as_bytes());
bytes.push(b'\n');
if let Some(tree) = request.tree.as_deref().filter(|_| { return request.amend; }) {
for (position, parent) in amended_parents.iter().enumerate() {
bytes.extend(format!("{} {parent}\n", if position == 0 { "from" } else { "merge" }).as_bytes());
}
bytes.extend(format!("M 040000 {tree} \"\"\n").as_bytes());
bytes.push(b'\n');
continue;
}
if index == 0 {
bytes.extend(format!("from {old}\n").as_bytes());
}
for change in &request.changes {
match &change.blob {
Some(blob) => bytes.extend(format!("M {:o} {blob} {}\n", change.mode, quoted(change.path.as_str())).as_bytes()),
None => bytes.extend(format!("D {}\n", quoted(change.path.as_str())).as_bytes()),
}
}
bytes.push(b'\n');
}
bytes.extend(b"done\n");
return bytes;
}
fn commits_from_marks(text: &str, count: usize) -> Option<Vec<String>> {
let mut commits: Vec<Option<String>> = vec![None; count];
for line in text.lines() {
let mut parts = line.split(' ');
let (Some(mark), Some(name)) = (parts.next(), parts.next()) else { continue };
let slot: usize = mark.trim_start_matches(':').parse::<usize>().ok()?;
if slot >= 1 && slot <= count {
commits[slot - 1] = Some(name.to_string());
}
}
return commits.into_iter().collect();
}
fn literal(path: &str) -> String {
return format!(":(top,literal){path}");
}
fn update_index(git: &GitContext, repository: &Path, new: &str, paths: &[String]) -> Result<(), FailureCode> {
if paths.is_empty() {
return Ok(());
}
let specs: Vec<String> = paths.iter().map(|path| { return literal(path.as_str()); }).collect();
let mut arguments: Vec<&str> = vec!["reset", "-q", new, "--"];
arguments.extend(specs.iter().map(String::as_str));
let mut last: FailureCode = FailureCode::Unavailable;
for attempt in 0..INDEX_ATTEMPTS {
match checked(git, repository, &arguments, None) {
Ok(_) => return Ok(()),
Err(code) => last = code,
}
if attempt + 1 < INDEX_ATTEMPTS {
std::thread::sleep(INDEX_PAUSE);
}
}
return Err(last);
}
pub fn land_batch(context: &LandContext, seq: u64, requests: &[CommitRequest]) -> Result<Vec<Outcome>, FailureCode> {
let first: &CommitRequest = requests.first().ok_or(FailureCode::Rejected)?;
if requests.iter().any(|request| {
return request.repository != first.repository || request.common_dir != first.common_dir || request.reference != first.reference;
}) {
return Err(FailureCode::Rejected);
}
let alone: bool = requests.iter().any(CommitRequest::lands_alone);
if alone && requests.len() != 1 {
return Err(FailureCode::Rejected);
}
let repository: &Path = first.repository.as_path();
let git: GitContext = GitContext { common_dir: Some(first.common_dir.clone()), ..context.git.clone() };
let scratch: String = format!("refs/cli-git-service/{seq}");
let mut outcomes: Vec<Outcome>;
let mut attempts_left: usize = LANDING_ATTEMPTS;
loop {
let old: String = checked(&git, repository, &["rev-parse", "--verify", first.reference.as_str()], None)?;
if alone && first.base != old {
return Ok(vec![Outcome::BranchMoved]);
}
let amended_parents: Vec<String> = if alone {
let listing: String = checked(&git, repository, &["rev-list", "--parents", "--max-count=1", first.base.as_str()], None)?;
listing.split_whitespace().skip(1).map(str::to_string).collect()
} else {
Vec::new()
};
let mut changed_since: HashMap<&str, BTreeSet<String>> = HashMap::new();
let mut landing: Vec<(usize, &CommitRequest)> = Vec::new();
outcomes = vec![Outcome::RetryPrepare { base: old.clone() }; requests.len()];
for (index, request) in requests.iter().enumerate() {
if request.base != old && !changed_since.contains_key(request.base.as_str()) {
let listing: String = checked(&git, repository, &["diff-tree", "-r", "--name-only", "-z", request.base.as_str(), old.as_str()], None)?;
changed_since.insert(request.base.as_str(), listing.split('\0').filter(|name| { return !name.is_empty(); }).map(str::to_string).collect());
}
let conflicts: bool = request.base != old
&& request.changes.iter().any(|change| {
return changed_since.get(request.base.as_str()).is_some_and(|names| { return names.iter().any(|name| { return overlaps(change.path.as_str(), name.as_str()); }); });
});
if !conflicts {
landing.push((index, request));
}
}
if landing.is_empty() {
return Ok(outcomes);
}
let batch: Vec<&CommitRequest> = landing.iter().map(|(_, request)| { return *request; }).collect();
let (commits, new): (Vec<String>, String) = if let Some(built) = first.commit.as_deref() {
let expected: Vec<String> = if first.amend { amended_parents.clone() } else { vec![first.base.clone()] };
let listing: GitOutput = run(&git, repository, &["rev-list", "--parents", "--max-count=1", built], None)?;
let text: String = String::from_utf8_lossy(listing.stdout.as_slice()).into_owned();
let mut words = text.split_whitespace();
let named_itself: bool = listing.succeeded() && words.next() == Some(built);
if !named_itself || words.map(str::to_string).collect::<Vec<String>>() != expected {
return Err(FailureCode::Rejected);
}
(vec![built.to_string()], built.to_string())
} else {
let marks: PathBuf = context.journal.join(format!("marks-{seq}"));
let marks_argument: String = format!("--export-marks={}", marks.display());
checked(&git, repository, &["fast-import", "--quiet", "--done", marks_argument.as_str()], Some(import_stream(scratch.as_str(), old.as_str(), &batch, amended_parents.as_slice())))?;
let marks_text: String = std::fs::read_to_string(&marks).map_err(|_| { return FailureCode::Unavailable; })?;
let _marks_removed = std::fs::remove_file(&marks);
let made: Vec<String> = commits_from_marks(marks_text.as_str(), batch.len()).ok_or(FailureCode::Unavailable)?;
let last: String = made.last().cloned().ok_or(FailureCode::Unavailable)?;
(made, last)
};
reach("after-objects");
if let Some(seam) = &context.on_objects_written {
seam();
}
let paths: Vec<String> = batch.iter().flat_map(|request| { return request.changes.iter().map(|change| { return change.path.clone(); }); }).collect();
let intent: Intent = Intent {
seq,
repository: first.repository.clone(),
common_dir: first.common_dir.clone(),
reference: first.reference.clone(),
old: old.clone(),
new: new.clone(),
ids: batch.iter().map(|request| { return request.id.clone(); }).collect(),
commits: commits.clone(),
paths: paths.clone(),
};
write_intent(context.journal.as_path(), &intent).map_err(|error| { return storage_failure(&error); })?;
reach("after-intent");
let removal: String = if first.commit.is_some() { String::new() } else { format!("delete {scratch}\n") };
let transaction: String = format!("start\nupdate {} {new} {old}\n{removal}prepare\ncommit\n", first.reference);
let moved: GitOutput = run(&git, repository, &["update-ref", "--stdin"], Some(transaction.into_bytes()))?;
if !moved.succeeded() {
let _intent_removed = std::fs::remove_file(super::service_journal::batch_path(context.journal.as_path(), seq, OPEN_EXTENSION));
let _deleted = run(&git, repository, &["update-ref", "-d", scratch.as_str()], None);
attempts_left -= 1;
if attempts_left == 0 {
return Err(FailureCode::BranchKeepsChanging);
}
continue;
}
reach("after-ref");
if update_index(&git, repository, new.as_str(), &paths).is_ok() {
reach("after-index");
let _marked = mark_done(context.journal.as_path(), seq);
}
for (slot, (index, _)) in landing.iter().enumerate() {
outcomes[*index] = Outcome::Landed { commit: commits[slot].clone() };
}
return Ok(outcomes);
}
}
fn storage_failure(error: &std::io::Error) -> FailureCode {
return match error.raw_os_error() {
Some(code) if code == 28 || code == 122 => FailureCode::RepositoryFull,
Some(code) if code == 30 || code == 13 => FailureCode::RepositoryReadOnly,
_ => FailureCode::Unavailable,
};
}
#[derive(Clone, Debug, Eq, PartialEq)]
pub struct RecoveryReport {
pub seq: u64,
pub decision: Recovery,
}
pub fn recover(context: &LandContext) -> Vec<RecoveryReport> {
let mut reports: Vec<RecoveryReport> = Vec::new();
for (path, parsed) in list_intents(context.journal.as_path(), OPEN_EXTENSION) {
let Some(intent) = parsed else {
let _removed = std::fs::remove_file(&path);
continue;
};
let git: GitContext = GitContext { common_dir: Some(intent.common_dir.clone()), ..context.git.clone() };
let current: String = checked(&git, intent.repository.as_path(), &["rev-parse", "--verify", intent.reference.as_str()], None).unwrap_or_default();
let ancestor: bool = run(&git, intent.repository.as_path(), &["merge-base", "--is-ancestor", intent.new.as_str(), current.as_str()], None)
.is_ok_and(|output| { return output.succeeded(); });
let decision: Recovery = recovery_for(&intent, current.as_str(), ancestor);
match decision {
Recovery::Drop => {
let _removed = std::fs::remove_file(&path);
}
Recovery::Finish => {
if update_index(&git, intent.repository.as_path(), intent.new.as_str(), &intent.paths).is_ok() {
let _marked = mark_done(context.journal.as_path(), intent.seq);
}
}
}
reports.push(RecoveryReport { seq: intent.seq, decision });
}
return reports;
}
#[cfg(test)]
#[path = "service_land_tests.rs"]
mod tests;