2020-04-10 20:01:48 +00:00
|
|
|
use serde::{Deserialize, Serialize};
|
2020-07-08 15:33:14 +00:00
|
|
|
use std::collections::BTreeMap;
|
2020-07-08 15:34:37 +00:00
|
|
|
use std::sync::Arc;
|
2020-04-09 15:32:28 +00:00
|
|
|
|
2020-04-24 10:10:01 +00:00
|
|
|
use garage_util::background::BackgroundRunner;
|
|
|
|
use garage_util::data::*;
|
2020-04-23 17:05:46 +00:00
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
use garage_table::crdt::*;
|
2021-03-11 15:54:15 +00:00
|
|
|
use garage_table::replication::sharded::*;
|
2020-04-24 10:10:01 +00:00
|
|
|
use garage_table::*;
|
2020-04-18 17:39:08 +00:00
|
|
|
|
2020-04-24 10:10:01 +00:00
|
|
|
use crate::version_table::*;
|
2020-04-09 15:32:28 +00:00
|
|
|
|
2020-04-09 21:45:07 +00:00
|
|
|
#[derive(PartialEq, Clone, Debug, Serialize, Deserialize)]
|
2020-04-09 15:32:28 +00:00
|
|
|
pub struct Object {
|
2020-04-09 21:45:07 +00:00
|
|
|
// Primary key
|
2020-04-09 15:32:28 +00:00
|
|
|
pub bucket: String,
|
2020-04-09 21:45:07 +00:00
|
|
|
|
|
|
|
// Sort key
|
2020-04-09 15:32:28 +00:00
|
|
|
pub key: String,
|
|
|
|
|
2020-04-09 21:45:07 +00:00
|
|
|
// Data
|
2020-04-23 18:16:33 +00:00
|
|
|
versions: Vec<ObjectVersion>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Object {
|
|
|
|
pub fn new(bucket: String, key: String, versions: Vec<ObjectVersion>) -> Self {
|
|
|
|
let mut ret = Self {
|
|
|
|
bucket,
|
|
|
|
key,
|
|
|
|
versions: vec![],
|
|
|
|
};
|
|
|
|
for v in versions {
|
|
|
|
ret.add_version(v)
|
|
|
|
.expect("Twice the same ObjectVersion in Object constructor");
|
|
|
|
}
|
|
|
|
ret
|
|
|
|
}
|
|
|
|
/// Adds a version if it wasn't already present
|
|
|
|
pub fn add_version(&mut self, new: ObjectVersion) -> Result<(), ()> {
|
|
|
|
match self
|
|
|
|
.versions
|
|
|
|
.binary_search_by(|v| v.cmp_key().cmp(&new.cmp_key()))
|
|
|
|
{
|
|
|
|
Err(i) => {
|
|
|
|
self.versions.insert(i, new);
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
Ok(_) => Err(()),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
pub fn versions(&self) -> &[ObjectVersion] {
|
|
|
|
&self.versions[..]
|
|
|
|
}
|
2020-04-09 15:32:28 +00:00
|
|
|
}
|
|
|
|
|
2020-04-09 21:45:07 +00:00
|
|
|
#[derive(PartialEq, Clone, Debug, Serialize, Deserialize)]
|
|
|
|
pub struct ObjectVersion {
|
2020-04-09 15:32:28 +00:00
|
|
|
pub uuid: UUID,
|
|
|
|
pub timestamp: u64,
|
|
|
|
|
2020-04-26 18:55:13 +00:00
|
|
|
pub state: ObjectVersionState,
|
2020-04-09 15:32:28 +00:00
|
|
|
}
|
|
|
|
|
2020-07-08 14:46:47 +00:00
|
|
|
#[derive(PartialEq, Clone, Debug, Serialize, Deserialize)]
|
2020-04-26 18:55:13 +00:00
|
|
|
pub enum ObjectVersionState {
|
2020-07-08 15:33:14 +00:00
|
|
|
Uploading(ObjectVersionHeaders),
|
2020-07-08 14:46:47 +00:00
|
|
|
Complete(ObjectVersionData),
|
2020-04-26 18:55:13 +00:00
|
|
|
Aborted,
|
|
|
|
}
|
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
impl CRDT for ObjectVersionState {
|
2020-07-08 14:46:47 +00:00
|
|
|
fn merge(&mut self, other: &Self) {
|
2020-04-26 18:55:13 +00:00
|
|
|
use ObjectVersionState::*;
|
2020-07-08 15:34:37 +00:00
|
|
|
match other {
|
|
|
|
Aborted => {
|
|
|
|
*self = Aborted;
|
|
|
|
}
|
|
|
|
Complete(b) => match self {
|
|
|
|
Aborted => {}
|
|
|
|
Complete(a) => {
|
|
|
|
a.merge(b);
|
|
|
|
}
|
|
|
|
Uploading(_) => {
|
|
|
|
*self = Complete(b.clone());
|
|
|
|
}
|
|
|
|
},
|
|
|
|
Uploading(_) => {}
|
|
|
|
}
|
2020-04-26 18:55:13 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Debug, Serialize, Deserialize)]
|
2020-04-09 21:45:07 +00:00
|
|
|
pub enum ObjectVersionData {
|
2020-04-09 15:32:28 +00:00
|
|
|
DeleteMarker,
|
2020-07-08 14:46:47 +00:00
|
|
|
Inline(ObjectVersionMeta, #[serde(with = "serde_bytes")] Vec<u8>),
|
|
|
|
FirstBlock(ObjectVersionMeta, Hash),
|
|
|
|
}
|
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
impl AutoCRDT for ObjectVersionData {
|
|
|
|
const WARN_IF_DIFFERENT: bool = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Debug, Serialize, Deserialize)]
|
2020-07-08 14:46:47 +00:00
|
|
|
pub struct ObjectVersionMeta {
|
2020-07-08 15:34:37 +00:00
|
|
|
pub headers: ObjectVersionHeaders,
|
2020-07-08 14:46:47 +00:00
|
|
|
pub size: u64,
|
2020-07-08 15:34:37 +00:00
|
|
|
pub etag: String,
|
2020-07-08 14:46:47 +00:00
|
|
|
}
|
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
#[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Debug, Serialize, Deserialize)]
|
2020-07-08 15:33:14 +00:00
|
|
|
pub struct ObjectVersionHeaders {
|
2020-07-08 15:34:37 +00:00
|
|
|
pub content_type: String,
|
|
|
|
pub other: BTreeMap<String, String>,
|
2020-07-08 15:33:14 +00:00
|
|
|
}
|
|
|
|
|
2020-04-11 16:51:11 +00:00
|
|
|
impl ObjectVersion {
|
2020-04-26 18:55:13 +00:00
|
|
|
fn cmp_key(&self) -> (u64, UUID) {
|
|
|
|
(self.timestamp, self.uuid)
|
|
|
|
}
|
2020-07-08 15:34:37 +00:00
|
|
|
pub fn is_uploading(&self) -> bool {
|
|
|
|
match self.state {
|
|
|
|
ObjectVersionState::Uploading(_) => true,
|
|
|
|
_ => false,
|
|
|
|
}
|
|
|
|
}
|
2020-04-26 18:55:13 +00:00
|
|
|
pub fn is_complete(&self) -> bool {
|
2020-07-08 15:34:37 +00:00
|
|
|
match self.state {
|
|
|
|
ObjectVersionState::Complete(_) => true,
|
|
|
|
_ => false,
|
|
|
|
}
|
2020-04-26 18:55:13 +00:00
|
|
|
}
|
|
|
|
pub fn is_data(&self) -> bool {
|
2020-07-08 15:34:37 +00:00
|
|
|
match self.state {
|
|
|
|
ObjectVersionState::Complete(ObjectVersionData::DeleteMarker) => false,
|
|
|
|
ObjectVersionState::Complete(_) => true,
|
|
|
|
_ => false,
|
|
|
|
}
|
2020-04-11 16:51:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-09 15:32:28 +00:00
|
|
|
impl Entry<String, String> for Object {
|
|
|
|
fn partition_key(&self) -> &String {
|
|
|
|
&self.bucket
|
|
|
|
}
|
|
|
|
fn sort_key(&self) -> &String {
|
|
|
|
&self.key
|
|
|
|
}
|
2021-03-10 15:21:56 +00:00
|
|
|
}
|
2020-04-09 15:32:28 +00:00
|
|
|
|
2021-03-10 15:21:56 +00:00
|
|
|
impl CRDT for Object {
|
2020-04-09 21:45:07 +00:00
|
|
|
fn merge(&mut self, other: &Self) {
|
2021-03-10 15:21:56 +00:00
|
|
|
// Merge versions from other into here
|
2020-04-09 15:32:28 +00:00
|
|
|
for other_v in other.versions.iter() {
|
2020-04-11 16:51:11 +00:00
|
|
|
match self
|
|
|
|
.versions
|
|
|
|
.binary_search_by(|v| v.cmp_key().cmp(&other_v.cmp_key()))
|
|
|
|
{
|
2020-04-09 15:32:28 +00:00
|
|
|
Ok(i) => {
|
2020-07-08 15:34:37 +00:00
|
|
|
self.versions[i].state.merge(&other_v.state);
|
2020-04-09 15:32:28 +00:00
|
|
|
}
|
|
|
|
Err(i) => {
|
|
|
|
self.versions.insert(i, other_v.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-03-10 15:21:56 +00:00
|
|
|
|
|
|
|
// Remove versions which are obsolete, i.e. those that come
|
|
|
|
// before the last version which .is_complete().
|
2020-04-10 20:01:48 +00:00
|
|
|
let last_complete = self
|
|
|
|
.versions
|
|
|
|
.iter()
|
|
|
|
.enumerate()
|
|
|
|
.rev()
|
2020-04-26 18:55:13 +00:00
|
|
|
.filter(|(_, v)| v.is_complete())
|
2020-04-09 15:32:28 +00:00
|
|
|
.next()
|
|
|
|
.map(|(vi, _)| vi);
|
|
|
|
|
|
|
|
if let Some(last_vi) = last_complete {
|
|
|
|
self.versions = self.versions.drain(last_vi..).collect::<Vec<_>>();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-09 21:45:07 +00:00
|
|
|
pub struct ObjectTable {
|
2020-04-12 11:03:55 +00:00
|
|
|
pub background: Arc<BackgroundRunner>,
|
2020-04-19 11:22:28 +00:00
|
|
|
pub version_table: Arc<Table<VersionTable, TableShardedReplication>>,
|
2020-04-09 21:45:07 +00:00
|
|
|
}
|
|
|
|
|
2020-04-12 20:24:53 +00:00
|
|
|
impl TableSchema for ObjectTable {
|
2020-04-09 15:32:28 +00:00
|
|
|
type P = String;
|
|
|
|
type S = String;
|
|
|
|
type E = Object;
|
2020-11-20 19:11:04 +00:00
|
|
|
type Filter = DeletedFilter;
|
2020-04-09 15:32:28 +00:00
|
|
|
|
2021-02-23 19:25:15 +00:00
|
|
|
fn updated(&self, old: Option<Self::E>, new: Option<Self::E>) {
|
2020-04-12 11:03:55 +00:00
|
|
|
let version_table = self.version_table.clone();
|
2021-03-15 22:14:12 +00:00
|
|
|
self.background.spawn(async move {
|
2021-02-23 19:25:15 +00:00
|
|
|
if let (Some(old_v), Some(new_v)) = (old, new) {
|
|
|
|
// Propagate deletion of old versions
|
|
|
|
for v in old_v.versions.iter() {
|
|
|
|
let newly_deleted = match new_v
|
|
|
|
.versions
|
|
|
|
.binary_search_by(|nv| nv.cmp_key().cmp(&v.cmp_key()))
|
|
|
|
{
|
|
|
|
Err(_) => true,
|
|
|
|
Ok(i) => {
|
|
|
|
new_v.versions[i].state == ObjectVersionState::Aborted
|
|
|
|
&& v.state != ObjectVersionState::Aborted
|
|
|
|
}
|
|
|
|
};
|
|
|
|
if newly_deleted {
|
2021-03-10 15:21:56 +00:00
|
|
|
let deleted_version =
|
|
|
|
Version::new(v.uuid, old_v.bucket.clone(), old_v.key.clone(), true);
|
2021-02-23 19:25:15 +00:00
|
|
|
version_table.insert(&deleted_version).await?;
|
2020-04-26 18:59:17 +00:00
|
|
|
}
|
2020-04-11 16:51:11 +00:00
|
|
|
}
|
2020-04-19 20:52:20 +00:00
|
|
|
}
|
2021-02-23 19:25:15 +00:00
|
|
|
Ok(())
|
|
|
|
})
|
2020-04-09 15:32:28 +00:00
|
|
|
}
|
2020-04-17 15:09:57 +00:00
|
|
|
|
2020-11-20 19:11:04 +00:00
|
|
|
fn matches_filter(entry: &Self::E, filter: &Self::Filter) -> bool {
|
|
|
|
let deleted = !entry.versions.iter().any(|v| v.is_data());
|
|
|
|
filter.apply(deleted)
|
2020-04-17 15:09:57 +00:00
|
|
|
}
|
2020-07-08 14:46:47 +00:00
|
|
|
}
|