2007-11-29 14:18:54 +00:00
/* -*- mode: C; c-basic-offset: 4 -*- */
2013-04-16 23:57:48 -04:00
# ident "$Id$"
2013-04-16 23:57:48 -04:00
# ident "Copyright (c) 2007, 2008, 2009 Tokutek Inc. All rights reserved."
# ident "The technology is licensed by the Massachusetts Institute of Technology, Rutgers State University of New Jersey, and the Research Foundation of State University of New York at Stony Brook under United States of America Serial No. 11 / 760379 and to the patents and / or patent applications resulting from it."
2007-11-29 14:18:54 +00:00
2013-04-16 23:57:20 -04:00
# include "includes.h"
2013-04-16 23:57:59 -04:00
# include "log_header.h"
# include "varray.h"
2007-11-23 20:36:03 +00:00
2013-04-16 23:57:59 -04:00
static int toku_recover_trace = 0 ;
2008-04-07 01:30:25 +00:00
//#define DO_VERIFY_COUNTS
2008-03-14 19:14:31 +00:00
# ifdef DO_VERIFY_COUNTS
# define VERIFY_COUNTS(n) toku_verify_counts(n)
# else
# define VERIFY_COUNTS(n) ((void)0)
# endif
2013-04-16 23:57:59 -04:00
struct backward_scan_state {
enum backward_state { BS_INIT , BS_SAW_CKPT_END , BS_SAW_CKPT } bs ;
LSN checkpoint_lsn ;
int n_live_txns ;
TXNID min_live_txn ;
} ;
static void backward_scan_state_init ( struct backward_scan_state * bs ) {
bs - > bs = BS_INIT ; bs - > checkpoint_lsn = ZERO_LSN ; bs - > n_live_txns = 0 ; bs - > min_live_txn = 0 ;
}
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
// Map filenum to brt
2013-04-16 23:57:59 -04:00
// TODO why can't we use the cachetable to find by filenum?
2013-04-16 23:58:00 -04:00
struct file_map {
2013-04-16 23:57:59 -04:00
struct cf_pair {
FILENUM filenum ;
CACHEFILE cf ;
BRT brt ; // set to zero on an fopen, but filled in when an fheader is seen.
} * cf_pairs ;
int n_cf_pairs , max_cf_pairs ;
} ;
2013-04-16 23:58:00 -04:00
static void file_map_init ( struct file_map * fmap ) {
2013-04-16 23:57:59 -04:00
fmap - > cf_pairs = NULL ;
fmap - > n_cf_pairs = fmap - > max_cf_pairs = 0 ;
}
2013-04-16 23:58:00 -04:00
static void file_map_close_dictionaries ( struct file_map * fmap ) {
2013-04-16 23:57:59 -04:00
int r ;
2013-04-16 23:58:00 -04:00
for ( int i = 0 ; i < fmap - > n_cf_pairs ; i + + ) {
2013-04-16 23:57:59 -04:00
if ( fmap - > cf_pairs [ i ] . brt ) {
r = toku_close_brt ( fmap - > cf_pairs [ i ] . brt , 0 , 0 ) ;
//r = toku_cachefile_close(&cf_pairs[i].cf);
assert ( r = = 0 ) ;
}
}
2013-04-16 23:58:00 -04:00
fmap - > n_cf_pairs = fmap - > max_cf_pairs = 0 ;
2013-04-16 23:57:59 -04:00
if ( fmap - > cf_pairs ) {
toku_free ( fmap - > cf_pairs ) ;
fmap - > cf_pairs = NULL ;
}
}
2013-04-16 23:58:00 -04:00
static int file_map_add ( struct file_map * fmap , FILENUM fnum , CACHEFILE cf , BRT brt ) {
if ( fmap - > cf_pairs = = NULL ) {
fmap - > max_cf_pairs = 1 ;
2013-04-16 23:57:59 -04:00
MALLOC_N ( fmap - > max_cf_pairs , fmap - > cf_pairs ) ;
2013-04-16 23:58:00 -04:00
if ( fmap - > cf_pairs = = NULL ) {
fmap - > max_cf_pairs = 0 ;
return errno ;
}
fmap - > n_cf_pairs = 1 ;
2013-04-16 23:57:59 -04:00
} else {
if ( fmap - > n_cf_pairs > = fmap - > max_cf_pairs ) {
2013-04-16 23:58:00 -04:00
struct cf_pair * new_cf_pairs = toku_realloc ( fmap - > cf_pairs , 2 * fmap - > max_cf_pairs * sizeof ( struct cf_pair ) ) ;
if ( new_cf_pairs = = NULL )
return errno ;
fmap - > cf_pairs = new_cf_pairs ;
fmap - > max_cf_pairs * = 2 ;
2013-04-16 23:57:59 -04:00
}
fmap - > n_cf_pairs + + ;
}
fmap - > cf_pairs [ fmap - > n_cf_pairs - 1 ] . filenum = fnum ;
fmap - > cf_pairs [ fmap - > n_cf_pairs - 1 ] . cf = cf ;
fmap - > cf_pairs [ fmap - > n_cf_pairs - 1 ] . brt = brt ;
return 0 ;
}
2013-04-16 23:58:00 -04:00
static int find_cachefile ( struct file_map * fmap , FILENUM fnum , struct cf_pair * * cf_pair ) {
for ( int i = 0 ; i < fmap - > n_cf_pairs ; i + + ) {
2013-04-16 23:57:59 -04:00
if ( fnum . fileid = = fmap - > cf_pairs [ i ] . filenum . fileid ) {
* cf_pair = fmap - > cf_pairs + i ;
return 0 ;
}
}
return 1 ;
}
2013-04-16 23:57:59 -04:00
struct recover_env {
CACHETABLE ct ;
TOKULOGGER logger ;
brt_compare_func bt_compare ;
brt_compare_func dup_compare ;
struct backward_scan_state bs ;
2013-04-16 23:58:00 -04:00
struct file_map fmap ;
2013-04-16 23:57:59 -04:00
} ;
typedef struct recover_env * RECOVER_ENV ;
2008-03-14 19:14:31 +00:00
2013-04-16 23:58:00 -04:00
static int recover_env_init ( RECOVER_ENV env , brt_compare_func bt_compare , brt_compare_func dup_compare ) {
2013-04-16 23:57:59 -04:00
int r ;
2013-04-16 23:57:59 -04:00
r = toku_create_cachetable ( & env - > ct , 1 < < 25 , ( LSN ) { 0 } , 0 ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
r = toku_logger_create ( & env - > logger ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
toku_logger_write_log_files ( env - > logger , FALSE ) ;
toku_logger_set_cachetable ( env - > logger , env - > ct ) ;
env - > bt_compare = bt_compare ;
env - > dup_compare = dup_compare ;
2013-04-16 23:58:00 -04:00
file_map_init ( & env - > fmap ) ;
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
if ( toku_recover_trace )
printf ( " %s:%d \n " , __FUNCTION__ , __LINE__ ) ;
2008-03-14 19:14:31 +00:00
return r ;
}
2013-04-16 23:58:00 -04:00
static void recover_env_cleanup ( RECOVER_ENV env ) {
2013-04-16 23:57:59 -04:00
int r ;
2013-04-16 23:58:00 -04:00
file_map_close_dictionaries ( & env - > fmap ) ;
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
r = toku_logger_close ( & env - > logger ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
r = toku_cachetable_close ( & env - > ct ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
if ( toku_recover_trace )
printf ( " %s:%d \n " , __FUNCTION__ , __LINE__ ) ;
2013-04-16 23:57:59 -04:00
}
// Null function supplied to transaction commit and abort
static void recover_yield ( voidfp UU ( f ) , void * UU ( extra ) ) {
// nothing
2008-03-14 19:14:31 +00:00
}
2013-04-16 23:57:59 -04:00
static void toku_recover_commit ( LSN UU ( lsn ) , TXNID xid , RECOVER_ENV env ) {
2013-04-16 23:57:59 -04:00
int r ;
// find the transaction by transaction id
TOKUTXN txn ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , xid , & txn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
// commit the transaction
r = toku_txn_commit_txn ( txn , TRUE , recover_yield , NULL ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:53 -04:00
2013-04-16 23:57:59 -04:00
// close the transaction
toku_txn_close_txn ( txn ) ;
2008-03-14 19:14:31 +00:00
}
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_commit ( struct logtype_commit * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static void toku_recover_xabort ( LSN UU ( lsn ) , TXNID xid , RECOVER_ENV env ) {
2013-04-16 23:57:59 -04:00
int r ;
// find the transaction by transaction id
TOKUTXN txn ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , xid , & txn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
// abort the transaction
r = toku_txn_abort_txn ( txn , recover_yield , NULL ) ;
assert ( r = = 0 ) ;
// close the transaction
toku_txn_close_txn ( txn ) ;
2008-04-21 04:22:45 +00:00
}
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_xabort ( struct logtype_xabort * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static void create_dir_from_file ( const char * fname ) {
2008-04-18 14:45:04 +00:00
char * tmp = toku_strdup ( fname ) ;
char ch ;
2013-04-16 23:58:00 -04:00
for ( int i = 0 ; ( ch = fname [ i ] ) ; i + + ) {
2013-04-16 23:57:29 -04:00
//
// TODO: this may fail in windows, double check the absolute path names
// and '/' as the directory delimiter or something
//
2008-04-18 14:45:04 +00:00
if ( ch = = ' / ' ) {
if ( i > 0 ) {
tmp [ i ] = 0 ;
mode_t oldu = umask ( 0 ) ;
2013-04-16 23:57:28 -04:00
int r = toku_os_mkdir ( tmp , S_IRWXU ) ;
2008-04-18 14:45:04 +00:00
if ( r ! = 0 & & errno ! = EEXIST ) {
printf ( " error: %s \n " , strerror ( errno ) ) ;
}
2013-04-16 23:57:59 -04:00
assert ( r = = 0 | | ( errno = = EEXIST ) ) ;
2008-04-18 14:45:04 +00:00
umask ( oldu ) ;
tmp [ i ] = ch ;
}
}
}
toku_free ( tmp ) ;
}
2013-04-16 23:57:53 -04:00
// Open the file if it is not already open. If it is already open, then do nothing.
2013-04-16 23:57:59 -04:00
static void internal_toku_recover_fopen_or_fcreate ( RECOVER_ENV env , int flags , int mode , char * fixedfname , FILENUM filenum , u_int32_t treeflags ) {
2013-04-16 23:58:00 -04:00
int r ;
// already open
struct cf_pair * pair = NULL ;
r = find_cachefile ( & env - > fmap , filenum , & pair ) ;
if ( r = = 0 ) {
toku_free ( fixedfname ) ;
return ;
2013-04-16 23:57:53 -04:00
}
2013-04-16 23:58:00 -04:00
if ( flags & O_TRUNC ) {
// maybe unlink
r = unlink ( fixedfname ) ;
if ( r ! = 0 )
printf ( " %s:%d unlink %d \n " , __FUNCTION__ , __LINE__ , errno ) ;
2013-04-16 23:57:53 -04:00
}
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:44 -04:00
BRT brt = 0 ;
2013-04-16 23:58:00 -04:00
r = toku_brt_create ( & brt ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
// create tree with treeflags, otherwise use the treeflags from the tree
2013-04-16 23:57:59 -04:00
if ( flags & O_CREAT )
toku_brt_set_flags ( brt , treeflags ) ;
2013-04-16 23:57:59 -04:00
// set the key compare functions
if ( env - > bt_compare )
toku_brt_set_bt_compare ( brt , env - > bt_compare ) ;
if ( env - > dup_compare )
toku_brt_set_dup_compare ( brt , env - > dup_compare ) ;
2013-04-16 23:58:00 -04:00
// TODO mode
mode = mode ;
r = toku_brt_open ( brt , fixedfname , fixedfname , ( flags & O_CREAT ) ! = 0 , FALSE , env - > ct , NULL , NULL ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:58:00 -04:00
toku_free ( fixedfname ) ;
file_map_add ( & env - > fmap , filenum , NULL , brt ) ;
2013-04-16 23:57:44 -04:00
}
2013-04-16 23:57:59 -04:00
static void toku_recover_fopen ( LSN UU ( lsn ) , TXNID UU ( xid ) , BYTESTRING fname , FILENUM filenum , RECOVER_ENV env ) {
2013-04-16 23:57:44 -04:00
char * fixedfname = fixup_fname ( & fname ) ;
2013-04-16 23:57:59 -04:00
internal_toku_recover_fopen_or_fcreate ( env , 0 , 0 , fixedfname , filenum , 0 ) ;
2013-04-16 23:57:44 -04:00
}
2013-04-16 23:58:00 -04:00
static int toku_recover_backward_fopen ( struct logtype_fopen * l , RECOVER_ENV env ) {
if ( env - > bs . bs = = BS_SAW_CKPT_END ) {
// close the tree
struct cf_pair * pair = NULL ;
int r = find_cachefile ( & env - > fmap , l - > filenum , & pair ) ;
if ( r = = 0 ) {
r = toku_close_brt ( pair - > brt , 0 , 0 ) ;
assert ( r = = 0 ) ;
pair - > brt = 0 ;
}
}
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:44 -04:00
// fcreate is like fopen except that the file must be created. Also creates the dir if needed.
2013-04-16 23:57:59 -04:00
static void toku_recover_fcreate ( LSN UU ( lsn ) , TXNID UU ( xid ) , FILENUM filenum , BYTESTRING fname , u_int32_t mode , u_int32_t treeflags , RECOVER_ENV env ) {
2013-04-16 23:57:44 -04:00
char * fixedfname = fixup_fname ( & fname ) ;
create_dir_from_file ( fixedfname ) ;
2013-04-16 23:57:59 -04:00
internal_toku_recover_fopen_or_fcreate ( env , O_CREAT | O_TRUNC , mode , fixedfname , filenum , treeflags ) ;
2013-04-16 23:57:44 -04:00
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_fcreate ( struct logtype_fcreate * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:56 -04:00
2013-04-16 23:57:59 -04:00
static void toku_recover_enq_insert ( LSN lsn __attribute__ ( ( __unused__ ) ) , FILENUM filenum , TXNID xid , BYTESTRING key , BYTESTRING val , RECOVER_ENV env ) {
2013-04-16 23:57:56 -04:00
struct cf_pair * pair = NULL ;
2013-04-16 23:57:59 -04:00
int r = find_cachefile ( & env - > fmap , filenum , & pair ) ;
2013-04-16 23:57:56 -04:00
if ( r ! = 0 ) {
// if we didn't find a cachefile, then we don't have to do anything.
return ;
}
2013-04-16 23:57:59 -04:00
// TODO compare file LSN with this XID
TOKUTXN txn ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , xid , & txn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:56 -04:00
DBT keydbt , valdbt ;
2013-04-16 23:57:59 -04:00
toku_fill_dbt ( & keydbt , key . data , key . len ) ;
toku_fill_dbt ( & valdbt , val . data , val . len ) ;
r = toku_brt_insert ( pair - > brt , & keydbt , & valdbt , txn ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:56 -04:00
}
2013-04-16 23:57:53 -04:00
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_enq_insert ( struct logtype_enq_insert * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:56 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static void toku_recover_enq_delete_both ( LSN lsn __attribute__ ( ( __unused__ ) ) , FILENUM filenum , TXNID xid , BYTESTRING key , BYTESTRING val , RECOVER_ENV env ) {
2013-04-16 23:57:56 -04:00
struct cf_pair * pair = NULL ;
2013-04-16 23:57:59 -04:00
int r = find_cachefile ( & env - > fmap , filenum , & pair ) ;
2013-04-16 23:57:56 -04:00
if ( r ! = 0 ) {
// if we didn't find a cachefile, then we don't have to do anything.
return ;
}
2013-04-16 23:57:59 -04:00
// TODO compare file LSN with this XID
TOKUTXN txn ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , xid , & txn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:56 -04:00
DBT keydbt , valdbt ;
2013-04-16 23:57:59 -04:00
toku_fill_dbt ( & keydbt , key . data , key . len ) ;
toku_fill_dbt ( & valdbt , val . data , val . len ) ;
r = toku_brt_delete_both ( pair - > brt , & keydbt , & valdbt , txn ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:56 -04:00
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_enq_delete_both ( struct logtype_enq_delete_both * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:56 -04:00
return 0 ;
}
2013-04-16 23:58:00 -04:00
static void toku_recover_enq_delete_any ( LSN lsn __attribute__ ( ( __unused__ ) ) , FILENUM filenum , TXNID xid , BYTESTRING key , RECOVER_ENV env ) {
2013-04-16 23:57:56 -04:00
struct cf_pair * pair = NULL ;
2013-04-16 23:57:59 -04:00
int r = find_cachefile ( & env - > fmap , filenum , & pair ) ;
2013-04-16 23:57:56 -04:00
if ( r ! = 0 ) {
// if we didn't find a cachefile, then we don't have to do anything.
return ;
}
2013-04-16 23:57:59 -04:00
// TODO compare file LSN with this XID
TOKUTXN txn ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , xid , & txn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
DBT keydbt ;
toku_fill_dbt ( & keydbt , key . data , key . len ) ;
r = toku_brt_delete ( pair - > brt , & keydbt , txn ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:56 -04:00
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_enq_delete_any ( struct logtype_enq_delete_any * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:56 -04:00
return 0 ;
}
2013-04-16 23:57:53 -04:00
2013-04-16 23:57:59 -04:00
static void toku_recover_fclose ( LSN UU ( lsn ) , BYTESTRING UU ( fname ) , FILENUM filenum , RECOVER_ENV UU ( env ) ) {
2008-04-17 03:11:55 +00:00
struct cf_pair * pair = NULL ;
2013-04-16 23:57:59 -04:00
int r = find_cachefile ( & env - > fmap , filenum , & pair ) ;
2013-04-16 23:58:00 -04:00
if ( r = = 0 ) {
r = toku_close_brt ( pair - > brt , 0 , 0 ) ;
assert ( r = = 0 ) ;
pair - > brt = 0 ;
}
2008-04-17 03:11:55 +00:00
}
2013-04-16 23:58:00 -04:00
static int toku_recover_backward_fclose ( struct logtype_fclose * l , RECOVER_ENV env ) {
if ( env - > bs . bs = = BS_SAW_CKPT ) {
// tree open
char * fixedfname = fixup_fname ( & l - > fname ) ;
internal_toku_recover_fopen_or_fcreate ( env , 0 , 0 , fixedfname , l - > filenum , 0 ) ;
}
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_begin_checkpoint ( LSN UU ( lsn ) , u_int64_t UU ( timestamp ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:47 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_begin_checkpoint ( struct logtype_begin_checkpoint * l , RECOVER_ENV env ) {
struct backward_scan_state * bs = & env - > bs ;
2013-04-16 23:57:53 -04:00
switch ( bs - > bs ) {
case BS_INIT :
return 0 ; // incomplete checkpoint
case BS_SAW_CKPT_END :
assert ( bs - > checkpoint_lsn . lsn = = l - > lsn . lsn ) ;
bs - > bs = BS_SAW_CKPT ;
if ( bs - > n_live_txns = = 0 ) {
fprintf ( stderr , " Turning around at begin_checkpoint % " PRIu64 " \n " , l - > lsn . lsn ) ;
return 1 ;
2013-04-16 23:58:00 -04:00
} else
return 0 ;
2013-04-16 23:57:53 -04:00
case BS_SAW_CKPT :
return 0 ; // ignore it
}
2013-04-16 23:57:54 -04:00
fprintf ( stderr , " %s: %d Unknown checkpoint state %d \n " , __FILE__ , __LINE__ , ( int ) bs - > bs ) ;
2013-04-16 23:57:53 -04:00
abort ( ) ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_end_checkpoint ( LSN UU ( lsn ) , TXNID UU ( xid ) , u_int64_t UU ( timestamp ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:47 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_end_checkpoint ( struct logtype_end_checkpoint * l , RECOVER_ENV env ) {
struct backward_scan_state * bs = & env - > bs ;
2013-04-16 23:57:53 -04:00
switch ( bs - > bs ) {
case BS_INIT :
bs - > bs = BS_SAW_CKPT_END ;
bs - > checkpoint_lsn . lsn = l - > txnid ;
return 0 ;
case BS_SAW_CKPT_END :
fprintf ( stderr , " %s:%d Should not see two end_checkpoint log entries without an intervening begin_checkpoint \n " , __FILE__ , __LINE__ ) ;
abort ( ) ;
case BS_SAW_CKPT :
return 0 ;
}
2013-04-16 23:57:54 -04:00
fprintf ( stderr , " %s: %d Unknown checkpoint state %d \n " , __FILE__ , __LINE__ , ( int ) bs - > bs ) ;
2013-04-16 23:57:53 -04:00
abort ( ) ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_fassociate ( LSN UU ( lsn ) , FILENUM UU ( filenum ) , BYTESTRING UU ( fname ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:53 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_fassociate ( struct logtype_fassociate * l , RECOVER_ENV env ) {
2013-04-16 23:57:53 -04:00
char * fixedfname = fixup_fname ( & l - > fname ) ;
2013-04-16 23:57:59 -04:00
internal_toku_recover_fopen_or_fcreate ( env , 0 , 0 , fixedfname , l - > filenum , 0 ) ;
2013-04-16 23:57:47 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_xstillopen ( LSN UU ( lsn ) , TXNID UU ( xid ) , TXNID UU ( parent ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2008-03-21 19:40:32 +00:00
return 0 ;
}
2008-03-14 19:14:31 +00:00
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_xstillopen ( struct logtype_xstillopen * l , RECOVER_ENV env ) {
struct backward_scan_state * bs = & env - > bs ;
2013-04-16 23:57:53 -04:00
switch ( bs - > bs ) {
case BS_INIT :
return 0 ; // ignore live txns from incomplete checkpoint
case BS_SAW_CKPT_END :
2013-04-16 23:58:00 -04:00
if ( bs - > n_live_txns = = 0 )
2013-04-16 23:57:59 -04:00
bs - > min_live_txn = l - > txnid ;
2013-04-16 23:58:00 -04:00
else if ( toku_txnid_older ( l - > txnid , bs - > min_live_txn ) )
2013-04-16 23:58:00 -04:00
bs - > min_live_txn = l - > txnid ;
2013-04-16 23:57:53 -04:00
bs - > n_live_txns + + ;
return 0 ;
case BS_SAW_CKPT :
return 0 ; // ignore live txns from older checkpoints
}
2013-04-16 23:57:54 -04:00
fprintf ( stderr , " %s: %d Unknown checkpoint state %d \n " , __FILE__ , __LINE__ , ( int ) bs - > bs ) ;
2013-04-16 23:57:53 -04:00
abort ( ) ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_xbegin ( LSN lsn , TXNID parent_xid , RECOVER_ENV env ) {
2013-04-16 23:57:59 -04:00
int r ;
2013-04-16 23:57:59 -04:00
// lookup the parent
2013-04-16 23:57:59 -04:00
TOKUTXN parent = NULL ;
2013-04-16 23:57:59 -04:00
r = toku_txnid2txn ( env - > logger , parent_xid , & parent ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:53 -04:00
2013-04-16 23:57:59 -04:00
// create a transaction and bind it to the transaction id
2013-04-16 23:57:59 -04:00
TOKUTXN txn = NULL ;
2013-04-16 23:57:59 -04:00
r = toku_txn_begin_with_xid ( parent , & txn , env - > logger , lsn . lsn ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2008-03-21 21:02:30 +00:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_xbegin ( struct logtype_xbegin * l , RECOVER_ENV env ) {
struct backward_scan_state * bs = & env - > bs ;
2013-04-16 23:57:53 -04:00
switch ( bs - > bs ) {
case BS_INIT :
return 0 ; // ignore txns that began after checkpoint
case BS_SAW_CKPT_END :
return 0 ; // ignore txns that began during the checkpoint
case BS_SAW_CKPT :
assert ( bs - > n_live_txns > 0 ) ; // the only thing we are doing here is looking for a live txn, so there better be one
// If we got to the min, return nonzero
2013-04-16 23:57:59 -04:00
if ( bs - > min_live_txn > = l - > lsn . lsn ) {
2013-04-16 23:57:53 -04:00
fprintf ( stderr , " Turning around at xbegin % " PRIu64 " \n " , l - > lsn . lsn ) ;
return 1 ;
} else {
2013-04-16 23:58:00 -04:00
fprintf ( stderr , " Scanning back at xbegin % " PRIu64 " (looking for % " PRIu64 " ) \n " , l - > lsn . lsn , bs - > min_live_txn ) ;
2013-04-16 23:57:53 -04:00
return 0 ;
}
}
2013-04-16 23:57:54 -04:00
fprintf ( stderr , " %s: %d Unknown checkpoint state %d \n " , __FILE__ , __LINE__ , ( int ) bs - > bs ) ;
2013-04-16 23:57:53 -04:00
abort ( ) ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_timestamp ( LSN UU ( lsn ) , u_int64_t UU ( timestamp ) , BYTESTRING UU ( comment ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:55 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_timestamp ( struct logtype_timestamp * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:55 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_shutdown ( LSN UU ( lsn ) , u_int64_t UU ( timestamp ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:56 -04:00
return 0 ;
}
2013-04-16 23:57:59 -04:00
static int toku_recover_backward_shutdown ( struct logtype_shutdown * UU ( l ) , RECOVER_ENV UU ( env ) ) {
2013-04-16 23:57:59 -04:00
// nothing
2013-04-16 23:57:56 -04:00
return 0 ;
}
2013-04-16 23:57:39 -04:00
static int toku_delete_rolltmp_files ( const char * log_dir ) {
struct dirent * de ;
DIR * d = opendir ( log_dir ) ;
if ( d = = 0 ) {
return errno ;
}
int result = 0 ;
while ( ( de = readdir ( d ) ) ) {
char rolltmp_prefix [ ] = " __rolltmp. " ;
int r = memcmp ( de - > d_name , rolltmp_prefix , sizeof ( rolltmp_prefix ) - 1 ) ;
2013-04-16 23:57:59 -04:00
if ( r = = 0 ) {
2013-04-16 23:57:39 -04:00
int fnamelen = strlen ( log_dir ) + strlen ( de - > d_name ) + 2 ; // One for the slash and one for the trailing NUL.
char fname [ fnamelen ] ;
2013-04-16 23:57:42 -04:00
int l = snprintf ( fname , fnamelen , " %s/%s " , log_dir , de - > d_name ) ;
assert ( l + 1 = = fnamelen ) ;
2013-04-16 23:57:39 -04:00
r = unlink ( fname ) ;
if ( r ! = 0 ) {
result = errno ;
perror ( " Trying to delete a rolltmp file " ) ;
}
}
}
{
int r = closedir ( d ) ;
if ( r = = - 1 ) return errno ;
}
return result ;
}
2013-04-16 23:57:59 -04:00
// Effects: If there are no log files, or if there is a "clean" checkpoint at the end of the log,
2013-04-16 23:57:59 -04:00
// then we don't need recovery to run. Skip the shutdown log entry if there is one.
// Returns: TRUE if we need recovery, otherwise FALSE.
2013-04-16 23:58:00 -04:00
int tokudb_needs_recovery ( const char * log_dir , BOOL ignore_log_empty ) {
2013-04-16 23:57:59 -04:00
int needs_recovery ;
2007-11-23 18:27:50 +00:00
int r ;
2013-04-16 23:57:59 -04:00
TOKULOGCURSOR logcursor = NULL ;
2008-03-12 19:40:38 +00:00
2013-04-16 23:57:59 -04:00
r = toku_logcursor_create ( & logcursor , log_dir ) ;
if ( r ! = 0 ) {
needs_recovery = TRUE ; goto exit ;
}
struct log_entry * le = NULL ;
r = toku_logcursor_last ( logcursor , & le ) ;
2013-04-16 23:58:00 -04:00
if ( r = = DB_NOTFOUND & & ignore_log_empty ) {
2013-04-16 23:57:59 -04:00
needs_recovery = FALSE ; goto exit ;
}
if ( r ! = 0 ) {
needs_recovery = TRUE ; goto exit ;
}
2013-04-16 23:57:59 -04:00
if ( le - > cmd = = LT_shutdown | | le - > cmd = = LT_timestamp ) {
2013-04-16 23:57:59 -04:00
r = toku_logcursor_prev ( logcursor , & le ) ;
if ( r ! = 0 ) {
needs_recovery = TRUE ; goto exit ;
}
2013-04-16 23:57:59 -04:00
}
if ( le - > cmd ! = LT_end_checkpoint ) {
needs_recovery = TRUE ; goto exit ;
}
struct log_entry end_checkpoint = * le ;
2008-03-12 19:40:38 +00:00
2013-04-16 23:57:59 -04:00
r = toku_logcursor_prev ( logcursor , & le ) ;
if ( r ! = 0 | | le - > cmd ! = LT_begin_checkpoint ) {
needs_recovery = TRUE ; goto exit ;
}
if ( le - > u . begin_checkpoint . lsn . lsn ! = end_checkpoint . u . end_checkpoint . txnid ) {
needs_recovery = TRUE ; goto exit ;
}
needs_recovery = FALSE ;
exit :
if ( logcursor ) {
r = toku_logcursor_destroy ( & logcursor ) ;
assert ( r = = 0 ) ;
2008-03-12 19:40:38 +00:00
}
2013-04-16 23:57:59 -04:00
return needs_recovery ;
}
2013-04-16 23:57:59 -04:00
// Sort the transactions in reverse order of transaction id
static int compare_txn ( const void * a , const void * b ) {
TOKUTXN atxn = ( TOKUTXN ) * ( void * * ) a ;
TOKUTXN btxn = ( TOKUTXN ) * ( void * * ) b ;
2013-04-16 23:58:00 -04:00
// TODO this is wrong. we want if (older(atxn, btxn)) return -1
2013-04-16 23:58:00 -04:00
if ( toku_txnid_eq ( atxn - > txnid64 , btxn - > txnid64 ) )
return 0 ;
if ( toku_txnid_older ( atxn - > txnid64 , btxn - > txnid64 ) )
2013-04-16 23:57:59 -04:00
return + 1 ;
2013-04-16 23:58:00 -04:00
else
return - 1 ;
2013-04-16 23:57:59 -04:00
}
2013-04-16 23:57:59 -04:00
// Append a transaction to the set of live transactions
static int append_live_txn ( OMTVALUE v , u_int32_t UU ( i ) , void * extra ) {
TOKUTXN txn = ( TOKUTXN ) v ;
struct varray * live_txns = ( struct varray * ) extra ;
varray_append ( live_txns , txn ) ;
return 0 ;
}
// Abort a live transaction
static void abort_live_txn ( void * v , void * UU ( extra ) ) {
TOKUTXN txn = ( TOKUTXN ) v ;
// abort the transaction
int r = toku_txn_abort_txn ( txn , recover_yield , NULL ) ;
assert ( r = = 0 ) ;
// close the transaction
toku_txn_close_txn ( txn ) ;
}
2013-04-16 23:57:59 -04:00
static int do_recovery ( RECOVER_ENV env , const char * data_dir , const char * log_dir ) {
2013-04-16 23:57:59 -04:00
int r ;
2013-04-16 23:58:00 -04:00
int rr = 0 ;
TOKULOGCURSOR logcursor = NULL ;
2013-04-16 23:58:00 -04:00
struct log_entry * le = NULL ;
2008-03-12 19:40:38 +00:00
char org_wd [ 1000 ] ;
{
char * wd = getcwd ( org_wd , sizeof ( org_wd ) ) ;
assert ( wd ! = 0 ) ;
//printf("%s:%d org_wd=\"%s\"\n", __FILE__, __LINE__, org_wd);
}
2013-04-16 23:57:53 -04:00
2013-04-16 23:57:59 -04:00
r = toku_logger_open ( log_dir , env - > logger ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
LSN lastlsn = toku_logger_last_lsn ( env - > logger ) ;
2013-04-16 23:57:58 -04:00
2013-04-16 23:58:00 -04:00
// there must be at least one log entry
r = toku_logcursor_create ( & logcursor , log_dir ) ;
assert ( r = = 0 ) ;
r = toku_logcursor_last ( logcursor , & le ) ;
if ( r ! = 0 ) {
rr = DB_RUNRECOVERY ; goto errorexit ;
}
// TODO use logcursor->invalidate()
r = toku_logcursor_destroy ( & logcursor ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:58 -04:00
r = toku_logcursor_create ( & logcursor , log_dir ) ;
assert ( r = = 0 ) ;
r = chdir ( data_dir ) ;
2013-04-16 23:58:00 -04:00
if ( r ! = 0 ) {
// no data directory error
rr = errno ; goto errorexit ;
}
2013-04-16 23:57:58 -04:00
2013-04-16 23:57:59 -04:00
// scan backwards
2013-04-16 23:57:59 -04:00
backward_scan_state_init ( & env - > bs ) ;
2013-04-16 23:57:58 -04:00
while ( 1 ) {
2013-04-16 23:57:59 -04:00
le = NULL ;
2013-04-16 23:57:58 -04:00
r = toku_logcursor_prev ( logcursor , & le ) ;
2013-04-16 23:57:59 -04:00
if ( toku_recover_trace )
printf ( " %s:%d r=%d cmd=%c \n " , __FUNCTION__ , __LINE__ , r , le ? le - > cmd : ' ? ' ) ;
2013-04-16 23:58:00 -04:00
if ( r ! = 0 ) {
if ( r = = DB_RUNRECOVERY ) {
rr = DB_RUNRECOVERY ; goto errorexit ;
}
2013-04-16 23:57:58 -04:00
break ;
2013-04-16 23:58:00 -04:00
}
2013-04-16 23:57:59 -04:00
logtype_dispatch_assign ( le , toku_recover_backward_ , r , env ) ;
2013-04-16 23:57:59 -04:00
if ( r ! = 0 ) {
2013-04-16 23:57:59 -04:00
if ( toku_recover_trace )
printf ( " %s:%d r=%d cmd=%c \n " , __FUNCTION__ , __LINE__ , r , le ? le - > cmd : ' ? ' ) ;
2013-04-16 23:57:59 -04:00
logtype_dispatch_args ( le , toku_recover_ , env ) ;
2013-04-16 23:57:58 -04:00
break ;
2013-04-16 23:57:59 -04:00
}
2013-04-16 23:57:53 -04:00
}
2013-04-16 23:57:58 -04:00
2013-04-16 23:57:59 -04:00
// scan forwards
2013-04-16 23:57:58 -04:00
while ( 1 ) {
2013-04-16 23:57:59 -04:00
le = NULL ;
2013-04-16 23:57:58 -04:00
r = toku_logcursor_next ( logcursor , & le ) ;
2013-04-16 23:57:59 -04:00
if ( toku_recover_trace )
printf ( " %s:%d r=%d cmd=%c \n " , __FUNCTION__ , __LINE__ , r , le ? le - > cmd : ' ? ' ) ;
2013-04-16 23:58:00 -04:00
if ( r ! = 0 ) {
if ( r = = DB_RUNRECOVERY ) {
rr = DB_RUNRECOVERY ; goto errorexit ;
}
2013-04-16 23:57:58 -04:00
break ;
2013-04-16 23:58:00 -04:00
}
2013-04-16 23:57:59 -04:00
logtype_dispatch_args ( le , toku_recover_ , env ) ;
2007-11-23 18:27:50 +00:00
}
2013-04-16 23:57:58 -04:00
2013-04-16 23:57:59 -04:00
r = toku_logcursor_destroy ( & logcursor ) ;
assert ( r = = 0 ) ;
// restart logging
2013-04-16 23:57:59 -04:00
toku_logger_restart ( env - > logger , lastlsn ) ;
2013-04-16 23:57:59 -04:00
2013-04-16 23:57:59 -04:00
// abort all of the remaining live transactions in reverse transaction id order
2013-04-16 23:57:59 -04:00
struct varray * live_txns = NULL ;
r = varray_create ( & live_txns , 1 ) ;
assert ( r = = 0 ) ;
2013-04-16 23:57:59 -04:00
toku_omt_iterate ( env - > logger - > live_txns , append_live_txn , live_txns ) ;
2013-04-16 23:57:59 -04:00
varray_sort ( live_txns , compare_txn ) ;
2013-04-16 23:57:59 -04:00
varray_iterate ( live_txns , abort_live_txn , NULL ) ;
varray_destroy ( & live_txns ) ;
// close the open dictionaries
2013-04-16 23:58:00 -04:00
file_map_close_dictionaries ( & env - > fmap ) ;
2013-04-16 23:57:59 -04:00
// write a recovery log entry
BYTESTRING recover_comment = { strlen ( " recover " ) , " recover " } ;
2013-04-16 23:57:59 -04:00
r = toku_log_timestamp ( env - > logger , NULL , TRUE , 0 , recover_comment ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
// checkpoint
// TODO: checkpoint locks needed here?
2013-04-16 23:57:59 -04:00
r = toku_cachetable_begin_checkpoint ( env - > ct , env - > logger ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
// TODO: what about the error_string?
2013-04-16 23:57:59 -04:00
r = toku_cachetable_end_checkpoint ( env - > ct , env - > logger , NULL ) ;
2013-04-16 23:57:59 -04:00
assert ( r = = 0 ) ;
2013-04-16 23:57:58 -04:00
r = chdir ( org_wd ) ;
assert ( r = = 0 ) ;
2008-03-14 11:02:28 +00:00
2013-04-16 23:57:59 -04:00
return 0 ;
2013-04-16 23:58:00 -04:00
errorexit :
if ( logcursor ) {
r = toku_logcursor_destroy ( & logcursor ) ;
assert ( r = = 0 ) ;
}
r = chdir ( org_wd ) ;
assert ( r = = 0 ) ;
return rr ;
2013-04-16 23:57:59 -04:00
}
2013-04-16 23:57:59 -04:00
int tokudb_recover ( const char * data_dir , const char * log_dir , brt_compare_func bt_compare , brt_compare_func dup_compare ) {
2013-04-16 23:57:59 -04:00
int r ;
int lockfd ;
{
const char fname [ ] = " /__recoverylock_dont_delete_me " ;
int namelen = strlen ( data_dir ) ;
char lockfname [ namelen + sizeof ( fname ) ] ;
int l = snprintf ( lockfname , sizeof ( lockfname ) , " %s%s " , data_dir , fname ) ;
assert ( l + 1 = = ( signed ) ( sizeof ( lockfname ) ) ) ;
lockfd = toku_os_lock_file ( lockfname ) ;
if ( lockfd < 0 ) {
printf ( " Couldn't run recovery because some other process holds the recovery lock %s \n " , lockfname ) ;
return errno ; }
}
r = toku_delete_rolltmp_files ( log_dir ) ;
if ( r ! = 0 ) {
toku_os_unlock_file ( lockfd ) ;
return r ;
}
2013-04-16 23:57:58 -04:00
2013-04-16 23:57:59 -04:00
int rr = 0 ;
2013-04-16 23:58:00 -04:00
if ( tokudb_needs_recovery ( log_dir , FALSE ) ) {
2013-04-16 23:57:59 -04:00
struct recover_env renv ;
r = recover_env_init ( & renv , bt_compare , dup_compare ) ;
assert ( r = = 0 ) ;
rr = do_recovery ( & renv , data_dir , log_dir ) ;
recover_env_cleanup ( & renv ) ;
}
2013-04-16 23:57:59 -04:00
r = toku_os_unlock_file ( lockfd ) ;
if ( r ! = 0 ) return errno ;
2008-03-12 19:40:38 +00:00
2013-04-16 23:57:59 -04:00
return rr ;
2007-11-23 18:27:50 +00:00
}