2022-03-15 11:23:33 +00:00
use std ::convert ::TryInto ;
2022-06-08 08:01:44 +00:00
use garage_db as db ;
2022-03-15 11:23:33 +00:00
use garage_util ::data ::* ;
2022-03-15 11:31:23 +00:00
use garage_util ::error ::* ;
2022-03-15 11:23:33 +00:00
use garage_util ::time ::* ;
use crate ::manager ::BLOCK_GC_DELAY ;
pub struct BlockRc {
2022-06-08 08:01:44 +00:00
pub ( crate ) rc : db ::Tree ,
2022-03-15 11:23:33 +00:00
}
impl BlockRc {
2022-06-08 08:01:44 +00:00
pub ( crate ) fn new ( rc : db ::Tree ) -> Self {
2022-03-15 11:31:23 +00:00
Self { rc }
2022-03-15 11:23:33 +00:00
}
/// Increment the reference counter associated to a hash.
/// Returns true if the RC goes from zero to nonzero.
2022-06-08 08:01:44 +00:00
pub ( crate ) fn block_incref (
& self ,
tx : & mut db ::Transaction ,
hash : & Hash ,
) -> db ::TxOpResult < bool > {
2023-01-26 16:26:32 +00:00
let old_rc = RcEntry ::parse_opt ( tx . get ( & self . rc , hash ) ? ) ;
2022-06-08 08:01:44 +00:00
match old_rc . increment ( ) . serialize ( ) {
2023-01-26 16:26:32 +00:00
Some ( x ) = > tx . insert ( & self . rc , hash , x ) ? ,
2022-06-08 08:01:44 +00:00
None = > unreachable! ( ) ,
} ;
2022-03-15 11:23:33 +00:00
Ok ( old_rc . is_zero ( ) )
}
/// Decrement the reference counter associated to a hash.
/// Returns true if the RC is now zero.
2022-06-08 08:01:44 +00:00
pub ( crate ) fn block_decref (
& self ,
tx : & mut db ::Transaction ,
hash : & Hash ,
) -> db ::TxOpResult < bool > {
2023-01-26 16:26:32 +00:00
let new_rc = RcEntry ::parse_opt ( tx . get ( & self . rc , hash ) ? ) . decrement ( ) ;
2022-06-08 08:01:44 +00:00
match new_rc . serialize ( ) {
2023-01-26 16:26:32 +00:00
Some ( x ) = > tx . insert ( & self . rc , hash , x ) ? ,
None = > tx . remove ( & self . rc , hash ) ? ,
2022-06-08 08:01:44 +00:00
} ;
2022-03-15 11:31:23 +00:00
Ok ( matches! ( new_rc , RcEntry ::Deletable { .. } ) )
2022-03-15 11:23:33 +00:00
}
/// Read a block's reference count
pub ( crate ) fn get_block_rc ( & self , hash : & Hash ) -> Result < RcEntry , Error > {
Ok ( RcEntry ::parse_opt ( self . rc . get ( hash . as_ref ( ) ) ? ) )
}
/// Delete an entry in the RC table if it is deletable and the
/// deletion time has passed
pub ( crate ) fn clear_deleted_block_rc ( & self , hash : & Hash ) -> Result < ( ) , Error > {
let now = now_msec ( ) ;
2023-09-21 13:32:25 +00:00
self . rc . db ( ) . transaction ( | tx | {
2023-01-26 16:26:32 +00:00
let rcval = RcEntry ::parse_opt ( tx . get ( & self . rc , hash ) ? ) ;
2022-06-08 08:01:44 +00:00
match rcval {
RcEntry ::Deletable { at_time } if now > at_time = > {
2023-01-26 16:26:32 +00:00
tx . remove ( & self . rc , hash ) ? ;
2022-06-08 08:01:44 +00:00
}
_ = > ( ) ,
2022-03-15 11:23:33 +00:00
} ;
2023-09-21 13:32:25 +00:00
Ok ( ( ) )
2022-03-15 11:23:33 +00:00
} ) ? ;
Ok ( ( ) )
}
}
/// Describes the state of the reference counter for a block
#[ derive(Clone, Copy, Debug) ]
pub ( crate ) enum RcEntry {
/// Present: the block has `count` references, with `count` > 0.
///
/// This is stored as u64::to_be_bytes(count)
Present { count : u64 } ,
/// Deletable: the block has zero references, and can be deleted
/// once time (returned by now_msec) is larger than at_time
/// (in millis since Unix epoch)
///
/// This is stored as [0u8; 8] followed by u64::to_be_bytes(at_time),
/// (this allows for the data format to be backwards compatible with
/// previous Garage versions that didn't have this intermediate state)
Deletable { at_time : u64 } ,
/// Absent: the block has zero references, and can be deleted
/// immediately
Absent ,
}
impl RcEntry {
fn parse ( bytes : & [ u8 ] ) -> Self {
if bytes . len ( ) = = 8 {
RcEntry ::Present {
count : u64 ::from_be_bytes ( bytes . try_into ( ) . unwrap ( ) ) ,
}
} else if bytes . len ( ) = = 16 {
RcEntry ::Deletable {
at_time : u64 ::from_be_bytes ( bytes [ 8 .. 16 ] . try_into ( ) . unwrap ( ) ) ,
}
} else {
panic! ( " Invalid RC entry: {:?} , database is corrupted. This is an error Garage is currently unable to recover from. Sorry, and also please report a bug. " ,
bytes
)
}
}
fn parse_opt < V : AsRef < [ u8 ] > > ( bytes : Option < V > ) -> Self {
bytes
. map ( | b | Self ::parse ( b . as_ref ( ) ) )
. unwrap_or ( Self ::Absent )
}
fn serialize ( self ) -> Option < Vec < u8 > > {
match self {
RcEntry ::Present { count } = > Some ( u64 ::to_be_bytes ( count ) . to_vec ( ) ) ,
RcEntry ::Deletable { at_time } = > {
Some ( [ u64 ::to_be_bytes ( 0 ) , u64 ::to_be_bytes ( at_time ) ] . concat ( ) )
}
RcEntry ::Absent = > None ,
}
}
fn increment ( self ) -> Self {
let old_count = match self {
RcEntry ::Present { count } = > count ,
_ = > 0 ,
} ;
RcEntry ::Present {
count : old_count + 1 ,
}
}
fn decrement ( self ) -> Self {
match self {
RcEntry ::Present { count } = > {
if count > 1 {
RcEntry ::Present { count : count - 1 }
} else {
RcEntry ::Deletable {
at_time : now_msec ( ) + BLOCK_GC_DELAY . as_millis ( ) as u64 ,
}
}
}
del = > del ,
}
}
pub ( crate ) fn is_zero ( & self ) -> bool {
matches! ( self , RcEntry ::Deletable { .. } | RcEntry ::Absent )
}
pub ( crate ) fn is_nonzero ( & self ) -> bool {
! self . is_zero ( )
}
pub ( crate ) fn is_deletable ( & self ) -> bool {
match self {
RcEntry ::Present { .. } = > false ,
RcEntry ::Deletable { at_time } = > now_msec ( ) > * at_time ,
RcEntry ::Absent = > true ,
}
}
pub ( crate ) fn is_needed ( & self ) -> bool {
! self . is_deletable ( )
}
2022-12-13 13:23:45 +00:00
pub ( crate ) fn as_u64 ( & self ) -> u64 {
match self {
RcEntry ::Present { count } = > * count ,
_ = > 0 ,
}
}
2022-03-15 11:23:33 +00:00
}