2008-02-22 12:44:35 +01:00
/*******************************************************************************/
/* Copyright (C) 2008 Jonathan Moore Liles */
/* */
/* This program is free software; you can redistribute it and/or modify it */
/* under the terms of the GNU General Public License as published by the */
/* Free Software Foundation; either version 2 of the License, or (at your */
/* option) any later version. */
/* */
/* This program is distributed in the hope that it will be useful, but WITHOUT */
/* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or */
/* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for */
/* more details. */
/* */
/* You should have received a copy of the GNU General Public License along */
/* with This program; see the file COPYING. If not,write to the Free Software */
/* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
/*******************************************************************************/
2008-06-21 06:38:29 +02:00
/* This class handles all journaling. All journaled objects must
inherit from Loggable as well as define a few special methods ( via
macros ) , get and set methods , and have contructors and destructors
that call log_create ( ) and log_destroy ( ) in the appropriate
order . Any action that might affect multiple loggable objects
* must * be braced by calls to Loggable : : block_start ( ) and
Loggable : : block_end ( ) in order for Undo to work properly . */
2008-05-22 17:32:26 +02:00
2008-02-22 12:44:35 +01:00
# include "Loggable.H"
2008-02-25 05:14:19 +01:00
# include <stdlib.h>
2008-02-22 12:44:35 +01:00
# include <stdio.h>
2008-03-05 08:05:08 +01:00
# include <string.h>
2008-02-22 12:44:35 +01:00
2010-02-01 07:25:16 +01:00
# include "file.h"
2008-06-04 15:44:53 +02:00
2009-12-25 01:57:34 +01:00
// #include "const.h"
2010-02-01 07:25:16 +01:00
# include "debug.h"
2008-07-30 04:30:45 +02:00
2012-06-16 03:53:40 +02:00
# include "Mutex.H"
2008-05-22 22:58:36 +02:00
# include <algorithm>
using std : : min ;
using std : : max ;
2013-03-19 01:21:29 +01:00
# ifndef NDEBUG
bool Loggable : : _snapshotting = false ;
int Loggable : : _snapshot_count = 0 ;
# endif
2013-02-10 03:19:40 +01:00
bool Loggable : : _readonly = false ;
2008-02-22 21:20:44 +01:00
FILE * Loggable : : _fp ;
2009-01-11 22:38:29 +01:00
unsigned int Loggable : : _log_id = 0 ;
2008-02-24 11:04:14 +01:00
int Loggable : : _level = 0 ;
2010-02-01 04:14:56 +01:00
int Loggable : : _dirty = 0 ;
2008-06-09 00:42:26 +02:00
off_t Loggable : : _undo_offset = 0 ;
2008-02-22 12:44:35 +01:00
2009-01-12 01:37:38 +01:00
std : : map < unsigned int , Loggable : : log_pair > Loggable : : _loggables ;
2009-01-11 07:35:20 +01:00
2008-05-22 22:58:36 +02:00
std : : map < std : : string , create_func * > Loggable : : _class_map ;
std : : queue < char * > Loggable : : _transaction ;
2008-02-24 08:42:41 +01:00
2008-06-05 06:27:55 +02:00
progress_func * Loggable : : _progress_callback = NULL ;
void * Loggable : : _progress_callback_arg = NULL ;
2008-08-04 05:54:22 +02:00
snapshot_func * Loggable : : _snapshot_callback = NULL ;
void * Loggable : : _snapshot_callback_arg = NULL ;
2012-03-05 03:02:01 +01:00
dirty_func * Loggable : : _dirty_callback = NULL ;
void * Loggable : : _dirty_callback_arg = NULL ;
2009-01-11 07:35:20 +01:00
2012-06-16 03:53:40 +02:00
static Mutex _lock ;
2009-01-11 07:35:20 +01:00
Loggable : : ~ Loggable ( )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2009-01-12 01:37:38 +01:00
_loggables [ _id ] . loggable = NULL ;
2009-01-11 07:35:20 +01:00
}
2008-06-04 06:41:53 +02:00
2008-07-30 04:30:45 +02:00
void
Loggable : : block_start ( void )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2008-07-30 04:30:45 +02:00
+ + Loggable : : _level ;
}
void
Loggable : : block_end ( void )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2008-07-30 04:30:45 +02:00
- - Loggable : : _level ;
ASSERT ( Loggable : : _level > = 0 , " Programming error " ) ;
if ( Loggable : : _level = = 0 )
flush ( ) ;
}
Loggable *
2009-01-11 22:38:29 +01:00
Loggable : : find ( unsigned int id )
2008-07-30 04:30:45 +02:00
{
2010-01-31 19:51:55 +01:00
if ( _relative_id )
id + = _relative_id ;
2009-01-12 01:37:38 +01:00
return _loggables [ id ] . loggable ;
2008-07-30 04:30:45 +02:00
}
2008-06-04 06:41:53 +02:00
/** Open the journal /filename/ and replay it, bringing the end state back into RAM */
2008-02-22 21:20:44 +01:00
bool
Loggable : : open ( const char * filename )
{
2008-04-20 04:15:54 +02:00
FILE * fp ;
2008-06-04 15:44:53 +02:00
Loggable : : _fp = NULL ;
2008-04-20 04:15:54 +02:00
if ( ! ( fp = fopen ( filename , " a+ " ) ) )
2008-02-22 21:20:44 +01:00
{
2008-05-03 18:46:48 +02:00
WARNING ( " Could not open log file for writing! " ) ;
2013-02-10 03:19:40 +01:00
if ( ! ( fp = fopen ( filename , " r " ) ) )
{
WARNING ( " Could not open log file for reading! " ) ;
return false ;
}
else
{
_readonly = true ;
}
2008-02-22 21:20:44 +01:00
}
2013-02-10 03:19:40 +01:00
_readonly = false ;
2008-02-22 21:20:44 +01:00
2009-01-11 07:35:20 +01:00
load_unjournaled_state ( ) ;
2008-06-04 15:44:53 +02:00
if ( newer ( " snapshot " , filename ) )
2008-04-19 03:05:57 +02:00
{
2008-07-12 06:24:32 +02:00
MESSAGE ( " Loading snapshot " ) ;
2008-04-19 03:05:57 +02:00
2008-06-04 15:44:53 +02:00
FILE * fp = fopen ( " snapshot " , " r " ) ;
replay ( fp ) ;
fclose ( fp ) ;
}
else
{
2008-07-12 06:24:32 +02:00
MESSAGE ( " Replaying journal " ) ;
2008-06-04 15:44:53 +02:00
replay ( fp ) ;
2008-04-19 03:05:57 +02:00
}
2008-06-04 15:44:53 +02:00
fseek ( fp , 0 , SEEK_END ) ;
2008-06-09 00:42:26 +02:00
_undo_offset = ftell ( fp ) ;
2008-06-04 15:44:53 +02:00
2008-04-20 04:15:54 +02:00
Loggable : : _fp = fp ;
2008-02-22 21:20:44 +01:00
return true ;
}
2009-01-11 07:35:20 +01:00
bool
Loggable : : load_unjournaled_state ( void )
{
FILE * fp ;
fp = fopen ( " unjournaled " , " r " ) ;
if ( ! fp )
2009-01-12 00:57:36 +01:00
{
DWARNING ( " Could not open unjournaled state file for reading " ) ;
2009-01-11 07:35:20 +01:00
return false ;
2009-01-12 00:57:36 +01:00
}
2009-01-11 07:35:20 +01:00
unsigned int id ;
2013-09-21 08:02:02 +02:00
char * buf ;
2009-01-11 07:35:20 +01:00
2017-03-28 08:16:09 +02:00
while ( fscanf ( fp , " %X set %m[^ \n ] \n " , & id , & buf ) = = 2 )
2013-09-21 08:02:02 +02:00
{
2009-01-12 01:37:38 +01:00
_loggables [ id ] . unjournaled_state = new Log_Entry ( buf ) ;
2013-09-21 08:02:02 +02:00
free ( buf ) ;
}
2009-01-11 07:35:20 +01:00
fclose ( fp ) ;
return true ;
}
2008-06-05 06:27:55 +02:00
# include <sys/stat.h>
# include <unistd.h>
2009-12-25 01:57:34 +01:00
/** replay journal or snapshot */
bool
Loggable : : replay ( const char * file )
{
2009-12-28 06:25:28 +01:00
if ( FILE * fp = fopen ( file , " r " ) )
{
bool r = replay ( fp ) ;
2009-12-25 01:57:34 +01:00
2009-12-28 06:25:28 +01:00
fclose ( fp ) ;
2009-12-25 01:57:34 +01:00
2009-12-28 06:25:28 +01:00
return r ;
}
else
return false ;
2009-12-25 01:57:34 +01:00
}
2008-06-04 15:44:53 +02:00
/** replay journal or snapshot */
bool
Loggable : : replay ( FILE * fp )
{
2013-09-21 08:02:02 +02:00
char * buf = NULL ;
2008-06-04 15:44:53 +02:00
2008-06-05 06:27:55 +02:00
struct stat st ;
fstat ( fileno ( fp ) , & st ) ;
off_t total = st . st_size ;
off_t current = 0 ;
2008-06-06 04:51:07 +02:00
if ( _progress_callback )
_progress_callback ( 0 , _progress_callback_arg ) ;
2017-03-28 08:16:09 +02:00
while ( fscanf ( fp , " %m[^ \n ] \n " , & buf ) = = 1 )
2008-06-04 15:44:53 +02:00
{
if ( ! ( ! strcmp ( buf , " { " ) | | ! strcmp ( buf , " } " ) ) )
{
if ( * buf = = ' \t ' )
do_this ( buf + 1 , false ) ;
else
do_this ( buf , false ) ;
}
2008-06-05 06:27:55 +02:00
2013-09-21 08:02:02 +02:00
free ( buf ) ;
2008-06-05 06:27:55 +02:00
current = ftell ( fp ) ;
if ( _progress_callback )
_progress_callback ( current * 100 / total , _progress_callback_arg ) ;
2008-06-04 15:44:53 +02:00
}
2008-06-05 06:27:55 +02:00
2008-06-06 04:30:34 +02:00
if ( _progress_callback )
_progress_callback ( 0 , _progress_callback_arg ) ;
2012-03-05 03:02:01 +01:00
clear_dirty ( ) ;
2008-06-05 06:27:55 +02:00
return true ;
2008-06-04 15:44:53 +02:00
}
2008-06-04 06:41:53 +02:00
/** close journal and delete all loggable objects, returing the systemt to a blank slate */
2008-05-04 00:50:32 +02:00
bool
Loggable : : close ( void )
{
DMESSAGE ( " closing journal and destroying all journaled objects " ) ;
2010-01-23 19:22:33 +01:00
if ( _fp )
{
fclose ( _fp ) ;
_fp = NULL ;
}
2008-05-04 00:50:32 +02:00
2008-07-12 06:24:32 +02:00
if ( ! snapshot ( " snapshot " ) )
WARNING ( " Failed to create snapshot " ) ;
2008-06-04 15:44:53 +02:00
2012-06-17 07:07:47 +02:00
if ( ! save_unjournaled_state ( ) )
WARNING ( " Failed to save unjournaled state " ) ;
2009-01-12 01:37:38 +01:00
for ( std : : map < unsigned int , Loggable : : log_pair > : : iterator i = _loggables . begin ( ) ;
2009-01-12 00:48:21 +01:00
i ! = _loggables . end ( ) ; + + i )
2012-06-17 07:07:47 +02:00
{
2009-01-12 01:37:38 +01:00
if ( i - > second . loggable )
delete i - > second . loggable ;
if ( i - > second . unjournaled_state )
delete i - > second . unjournaled_state ;
2012-06-17 07:07:47 +02:00
}
2009-01-12 01:37:38 +01:00
_loggables . clear ( ) ;
2008-05-04 00:50:32 +02:00
return true ;
}
2009-01-11 07:35:20 +01:00
/** save out unjournaled state for all loggables */
bool
Loggable : : save_unjournaled_state ( void )
{
2009-01-12 00:57:36 +01:00
FILE * fp ;
2009-01-11 07:35:20 +01:00
2009-01-12 00:57:36 +01:00
fp = fopen ( " unjournaled " , " w " ) ;
if ( ! fp )
{
DWARNING ( " Could not open unjournaled state file for writing! " ) ;
return false ;
}
2009-01-11 07:35:20 +01:00
2009-01-12 01:37:38 +01:00
for ( std : : map < unsigned int , Loggable : : log_pair > : : iterator i = _loggables . begin ( ) ;
i ! = _loggables . end ( ) ; + + i )
2009-01-11 07:35:20 +01:00
{
2012-06-17 07:07:47 +02:00
/* get the latest state */
if ( i - > second . loggable )
i - > second . loggable - > record_unjournaled ( ) ;
2009-01-12 01:37:38 +01:00
if ( i - > second . unjournaled_state )
2009-01-11 07:35:20 +01:00
{
2009-01-12 01:37:38 +01:00
char * s = i - > second . unjournaled_state - > print ( ) ;
2009-01-11 07:35:20 +01:00
2009-01-12 00:48:21 +01:00
fprintf ( fp , " 0x%X set %s \n " , i - > first , s ) ;
2009-01-11 07:35:20 +01:00
free ( s ) ;
}
}
fclose ( fp ) ;
return true ;
}
2008-06-04 06:41:53 +02:00
/** must be called after construction in create() methods */
2008-05-06 01:24:21 +02:00
void
2009-01-11 22:38:29 +01:00
Loggable : : update_id ( unsigned int id )
2008-05-06 01:24:21 +02:00
{
/* make sure we're the last one */
2009-12-28 06:25:28 +01:00
ASSERT ( _id = = _log_id , " %u != %u " , _id , _log_id ) ;
2009-01-12 01:37:38 +01:00
assert ( _loggables [ _id ] . loggable = = this ) ;
2008-05-05 20:35:04 +02:00
2009-01-12 01:37:38 +01:00
_loggables [ _id ] . loggable = NULL ;
2008-05-05 20:35:04 +02:00
2008-05-06 01:24:21 +02:00
_log_id = max ( _log_id , id ) ;
2008-05-05 20:35:04 +02:00
2008-05-06 01:24:21 +02:00
/* return this id number to the system */
// --_log_id;
2008-05-05 20:35:04 +02:00
2008-05-06 01:24:21 +02:00
_id = id ;
2008-05-05 20:35:04 +02:00
2009-01-12 01:37:38 +01:00
if ( _loggables [ _id ] . loggable )
FATAL ( " Attempt to create object with an ID (0x%X) that already exists. The existing object is of type \" %s \" , the new one is \" %s \" . Corrupt journal? " , _id , _loggables [ _id ] . loggable - > class_name ( ) , class_name ( ) ) ;
2008-05-05 20:35:04 +02:00
2009-01-12 01:37:38 +01:00
_loggables [ _id ] . loggable = this ;
2008-05-06 01:24:21 +02:00
}
2008-05-05 20:35:04 +02:00
/** return a pointer to a static copy of /s/ with all special characters escaped */
const char *
Loggable : : escape ( const char * s )
{
2021-01-24 07:21:40 +01:00
static size_t rl = 256 ;
static char * r = new char [ rl + 1 ] ;
if ( strlen ( s ) * 2 > rl )
{
delete [ ] r ;
rl = strlen ( s ) * 2 ;
r = new char [ rl + 1 ] ;
}
2008-05-05 20:35:04 +02:00
2008-05-06 07:34:46 +02:00
size_t i = 0 ;
2021-01-24 07:21:40 +01:00
for ( ; * s & & i < rl ; + + i , + + s )
2008-05-05 20:35:04 +02:00
{
if ( ' \n ' = = * s )
{
r [ i + + ] = ' \\ ' ;
r [ i ] = ' n ' ;
}
else if ( ' " ' = = * s )
{
r [ i + + ] = ' \\ ' ;
r [ i ] = ' " ' ;
}
else
r [ i ] = * s ;
}
2008-05-06 07:34:46 +02:00
r [ i ] = ' \0 ' ;
2008-05-05 20:35:04 +02:00
return r ;
}
2010-01-31 19:51:55 +01:00
unsigned int Loggable : : _relative_id = 0 ;
/* calls to do_this() between invocation of this method and
* end_relative_id_mode ( ) will have all their IDs made relative to the
* highest available ID at this time of this call . Non - Mixer uses
* this to allow importing of module chains */
void
Loggable : : begin_relative_id_mode ( void )
{
_relative_id = + + _log_id ;
}
void
Loggable : : end_relative_id_mode ( void )
{
_relative_id = 0 ;
}
2008-05-05 02:04:20 +02:00
/** 'do' a message like "Audio_Region 0xF1 set :r 123" */
2008-03-27 06:58:31 +01:00
bool
Loggable : : do_this ( const char * s , bool reverse )
{
2009-01-11 22:38:29 +01:00
unsigned int id = 0 ;
2008-07-15 06:07:47 +02:00
2008-03-27 06:58:31 +01:00
char classname [ 40 ] ;
char command [ 40 ] ;
2008-05-07 17:19:55 +02:00
char * arguments = NULL ;
2008-03-01 08:31:06 +01:00
2009-09-08 02:53:04 +02:00
int found = sscanf ( s , " %s %X %s " , classname , & id , command ) ;
2012-11-06 08:50:28 +01:00
if ( 3 ! = found )
FATAL ( " Invalid journal entry format \" %s \" " , s ) ;
2009-09-08 02:53:04 +02:00
2008-03-27 06:58:31 +01:00
const char * create , * destroy ;
2008-03-01 08:31:06 +01:00
2008-03-27 06:58:31 +01:00
if ( reverse )
{
2017-03-28 08:16:09 +02:00
// sscanf( s, "%s %*X %s %*[^\n<]<< %m[^\n]", classname, command, &arguments );
sscanf ( s , " %s %*X %s%*[^ \n <]<< %m[^ \n ] " , classname , command , & arguments ) ;
2008-03-27 06:58:31 +01:00
create = " destroy " ;
destroy = " create " ;
2008-06-09 00:42:26 +02:00
DMESSAGE ( " undoing \" %s \" " , s ) ;
2008-03-27 06:58:31 +01:00
}
else
{
2017-03-28 08:16:09 +02:00
sscanf ( s , " %s %*X %s %m[^ \n <] " , classname , command , & arguments ) ;
2008-03-27 06:58:31 +01:00
create = " create " ;
destroy = " destroy " ;
}
2008-03-01 08:31:06 +01:00
2008-03-27 06:58:31 +01:00
if ( ! strcmp ( command , destroy ) )
{
2009-09-08 02:53:04 +02:00
Loggable * l = find ( id ) ;
2008-04-25 23:35:51 +02:00
/* deleting eg. a track, which contains a list of other
2008-06-04 06:41:53 +02:00
widgets , causes destroy messages to be emitted for all those
widgets , but when replaying the journal the destroy message
causes the children to be deleted also . . . This is a temporary
hack . Would it be better to queue up objects for deletion
( when ? ) */
2008-04-25 23:35:51 +02:00
if ( l )
delete l ;
2008-03-27 06:58:31 +01:00
}
else if ( ! strcmp ( command , " set " ) )
{
2008-04-27 21:37:52 +02:00
// printf( "got set command (%s).\n", arguments );
2008-03-01 08:31:06 +01:00
2009-09-08 02:53:04 +02:00
Loggable * l = find ( id ) ;
ASSERT ( l , " Unable to find object 0x%X referenced by command \" %s \" " , id , s ) ;
2008-06-04 05:34:36 +02:00
Log_Entry e ( arguments ) ;
2008-04-20 04:15:54 +02:00
2008-03-27 06:58:31 +01:00
l - > log_start ( ) ;
2008-04-20 04:15:54 +02:00
l - > set ( e ) ;
2008-03-27 06:58:31 +01:00
l - > log_end ( ) ;
}
else if ( ! strcmp ( command , create ) )
{
2008-06-04 05:34:36 +02:00
Log_Entry e ( arguments ) ;
2008-04-28 10:29:59 +02:00
2008-05-22 22:58:36 +02:00
ASSERT ( _class_map [ std : : string ( classname ) ] , " Journal contains an object of class \" %s \" , but I don't know how to create such objects. " , classname ) ;
2008-04-20 23:46:47 +02:00
2008-03-27 06:58:31 +01:00
{
2010-01-31 19:51:55 +01:00
if ( _relative_id )
id + = _relative_id ;
2008-03-27 06:58:31 +01:00
/* create */
2008-12-18 08:18:41 +01:00
Loggable * l = _class_map [ std : : string ( classname ) ] ( e , id ) ;
2008-03-27 06:58:31 +01:00
l - > log_create ( ) ;
2009-01-11 07:35:20 +01:00
/* we're now creating a loggable. Apply any unjournaled
* state it may have had in the past under this log ID */
2009-01-12 01:37:38 +01:00
Log_Entry * e = _loggables [ id ] . unjournaled_state ;
2009-01-12 00:48:21 +01:00
if ( e )
l - > set ( * e ) ;
2008-03-27 06:58:31 +01:00
}
2008-03-01 08:31:06 +01:00
2008-03-27 06:58:31 +01:00
}
2008-04-28 10:29:59 +02:00
2008-05-07 04:32:37 +02:00
if ( arguments )
free ( arguments ) ;
2008-04-28 10:29:59 +02:00
return true ;
2008-03-27 06:58:31 +01:00
}
2008-02-27 21:04:17 +01:00
2008-06-09 00:42:26 +02:00
/** Reverse the last journal transaction */
void
Loggable : : undo ( void )
{
2014-07-22 07:31:10 +02:00
if ( ! _fp | | /* journal not open */
1 = = _undo_offset ) /* nothing left to undo */
return ;
2013-09-21 08:02:02 +02:00
char * buf ;
2008-02-25 05:14:19 +01:00
2008-03-05 18:03:17 +01:00
block_start ( ) ;
2008-06-09 00:42:26 +02:00
long here = ftell ( _fp ) ;
2008-03-05 18:03:17 +01:00
2008-06-09 00:42:26 +02:00
fseek ( _fp , _undo_offset , SEEK_SET ) ;
2008-03-05 18:03:17 +01:00
2013-09-21 08:02:02 +02:00
if ( ( buf = backwards_afgets ( _fp ) ) )
2008-03-05 08:05:08 +01:00
{
2013-09-21 08:02:02 +02:00
if ( ! strcmp ( buf , " } \n " ) )
2008-06-09 00:42:26 +02:00
{
2013-09-21 08:02:02 +02:00
free ( buf ) ;
DMESSAGE ( " undoing block " ) ;
for ( ; ; )
{
if ( ( buf = backwards_afgets ( _fp ) ) )
{
char * s = buf ;
if ( * s ! = ' \t ' )
{
DMESSAGE ( " done with block " , s ) ;
break ;
}
else
+ + s ;
do_this ( s , true ) ;
free ( buf ) ;
}
}
}
else
{
do_this ( buf , true ) ;
2008-03-05 08:05:08 +01:00
2013-09-21 08:02:02 +02:00
free ( buf ) ;
2008-06-09 00:42:26 +02:00
}
}
2008-03-05 08:05:08 +01:00
2008-06-09 00:42:26 +02:00
off_t uo = ftell ( _fp ) ;
2008-03-05 08:05:08 +01:00
2008-06-09 00:42:26 +02:00
ASSERT ( _undo_offset < = here , " WTF? " ) ;
2013-09-21 08:02:02 +02:00
2008-03-05 18:03:17 +01:00
block_end ( ) ;
2008-06-09 00:42:26 +02:00
_undo_offset = uo ;
2013-09-21 08:02:02 +02:00
2008-02-25 05:14:19 +01:00
}
2008-06-19 06:14:14 +02:00
/** write a snapshot of the current state of all loggable objects to
* file handle / fp / */
2008-06-05 06:27:55 +02:00
bool
Loggable : : snapshot ( FILE * fp )
{
FILE * ofp = _fp ;
2008-08-04 05:54:22 +02:00
if ( ! Loggable : : _snapshot_callback )
{
DWARNING ( " No snapshot callback defined " ) ;
return false ;
}
2008-06-05 06:27:55 +02:00
if ( ! ( _fp = fp ) )
{
_fp = ofp ;
return false ;
}
2008-05-06 01:24:21 +02:00
2013-03-19 01:21:29 +01:00
# ifndef NDEBUG
_snapshotting = true ;
_snapshot_count + + ;
# endif
2008-05-04 09:35:35 +02:00
block_start ( ) ;
2008-08-04 05:54:22 +02:00
Loggable : : _snapshot_callback ( _snapshot_callback_arg ) ;
2008-03-01 08:31:06 +01:00
2008-05-04 09:35:35 +02:00
block_end ( ) ;
2013-03-19 01:21:29 +01:00
# ifndef NDEBUG
_snapshotting = false ;
# endif
2008-03-01 08:31:06 +01:00
_fp = ofp ;
2012-03-05 03:02:01 +01:00
clear_dirty ( ) ;
2008-03-01 08:31:06 +01:00
return true ;
}
2008-02-25 05:14:19 +01:00
2008-06-19 06:14:14 +02:00
/** write a snapshot of the current state of all loggable objects to
* file / name / */
2008-06-04 15:44:53 +02:00
bool
Loggable : : snapshot ( const char * name )
{
FILE * fp ;
2021-01-21 02:22:51 +01:00
char * tmp = NULL ;
{
const char * filename = basename ( name ) ;
char * dir = ( char * ) malloc ( ( strlen ( name ) - strlen ( filename ) ) + 1 ) ;
strncpy ( dir , name , strlen ( name ) - strlen ( filename ) ) ;
asprintf ( & tmp , " %s#%s " , dir , filename ) ;
free ( dir ) ;
}
2013-03-19 01:21:37 +01:00
2021-01-21 02:22:51 +01:00
if ( ! ( fp = fopen ( tmp , " w " ) ) )
{
DWARNING ( " Could not open file for writing: %s " , tmp ) ;
2008-06-04 15:44:53 +02:00
return false ;
2021-01-21 02:22:51 +01:00
}
2008-06-04 15:44:53 +02:00
2008-07-12 06:24:32 +02:00
bool r = snapshot ( fp ) ;
2008-06-04 15:44:53 +02:00
fclose ( fp ) ;
2008-06-05 06:27:55 +02:00
2021-01-21 02:22:51 +01:00
rename ( tmp , name ) ;
2013-03-19 01:21:37 +01:00
2021-01-21 02:22:51 +01:00
free ( tmp ) ;
2013-03-19 01:21:37 +01:00
2008-07-12 06:24:32 +02:00
return r ;
2008-06-04 15:44:53 +02:00
}
2008-06-04 06:41:53 +02:00
/** Replace the journal with a snapshot of the current state */
2008-04-24 00:29:14 +02:00
void
Loggable : : compact ( void )
{
2008-04-24 02:33:44 +02:00
fseek ( _fp , 0 , SEEK_SET ) ;
ftruncate ( fileno ( _fp ) , 0 ) ;
2008-04-24 00:29:14 +02:00
2008-06-05 06:27:55 +02:00
if ( ! snapshot ( _fp ) )
FATAL ( " Could not write snapshot! " ) ;
2008-04-24 00:29:14 +02:00
2008-06-09 00:42:26 +02:00
fseek ( _fp , 0 , SEEK_END ) ;
2008-04-24 02:33:44 +02:00
}
2008-04-24 00:29:14 +02:00
2008-06-16 02:19:44 +02:00
# include <stdarg.h>
2009-09-08 02:48:34 +02:00
/** Writes (part of) a line to the journal. Each separate line will be
* stored separately in _transaction until transaction is closed .
*/
2008-02-25 05:14:19 +01:00
void
Loggable : : log ( const char * fmt , . . . )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ;
2009-09-08 02:48:34 +02:00
static char * buf = NULL ;
static size_t i = 0 ;
static size_t buf_size = 0 ;
2008-06-04 15:44:53 +02:00
if ( ! _fp )
return ;
2009-09-08 02:48:34 +02:00
if ( NULL = = buf )
{
buf_size = 1024 ;
buf = ( char * ) malloc ( buf_size ) ;
}
2008-03-03 17:13:17 +01:00
2008-02-25 05:14:19 +01:00
va_list args ;
if ( fmt )
{
va_start ( args , fmt ) ;
2009-09-08 02:48:34 +02:00
for ( ; ; )
{
size_t l = vsnprintf ( buf + i , buf_size - i , fmt , args ) ;
if ( l > = buf_size - i )
{
buf = ( char * ) realloc ( buf , buf_size + = ( l + 1 ) + buf_size ) ;
}
else
{
i + = l ;
break ;
}
}
2008-02-25 05:14:19 +01:00
va_end ( args ) ;
}
2008-02-25 23:47:49 +01:00
2009-09-08 02:48:34 +02:00
if ( ' \n ' = = buf [ i - 1 ] )
2008-03-03 17:13:17 +01:00
{
_transaction . push ( strdup ( buf ) ) ;
i = 0 ;
}
2008-02-25 05:14:19 +01:00
}
2008-02-24 08:42:41 +01:00
2008-06-04 06:41:53 +02:00
/** End the current transaction and commit it to the journal */
2008-03-03 17:13:17 +01:00
void
Loggable : : flush ( void )
{
2008-04-19 03:05:57 +02:00
if ( ! _fp )
{
2008-04-21 05:05:25 +02:00
// printf( "error: no log file open!\n" );
2008-04-19 03:05:57 +02:00
while ( ! _transaction . empty ( ) )
{
free ( _transaction . front ( ) ) ;
_transaction . pop ( ) ;
}
return ;
}
2008-03-03 17:13:17 +01:00
int n = _transaction . size ( ) ;
if ( n > 1 )
fprintf ( _fp , " { \n " ) ;
while ( ! _transaction . empty ( ) )
{
char * s = _transaction . front ( ) ;
_transaction . pop ( ) ;
if ( n > 1 )
fprintf ( _fp , " \t " ) ;
fprintf ( _fp , " %s " , s ) ;
free ( s ) ;
}
if ( n > 1 )
fprintf ( _fp , " } \n " ) ;
2008-06-09 00:42:26 +02:00
if ( n )
/* something done, reset undo index */
_undo_offset = ftell ( _fp ) ;
2008-04-28 10:29:59 +02:00
2008-03-03 17:13:17 +01:00
fflush ( _fp ) ;
}
2008-02-24 08:42:41 +01:00
2008-06-04 06:41:53 +02:00
/** Print bidirectional journal entry */
2008-02-24 08:42:41 +01:00
void
2008-06-04 06:28:28 +02:00
Loggable : : log_print ( const Log_Entry * o , const Log_Entry * n ) const
2008-02-24 08:42:41 +01:00
{
2008-06-04 06:28:28 +02:00
if ( ! _fp )
return ;
2008-02-24 08:42:41 +01:00
if ( n )
2008-06-04 06:28:28 +02:00
for ( int i = 0 ; i < n - > size ( ) ; + + i )
{
const char * s , * v ;
n - > get ( i , & s , & v ) ;
log ( " %s %s%s " , s , v , n - > size ( ) = = i + 1 ? " " : " " ) ;
}
2008-02-24 08:42:41 +01:00
2008-06-04 06:28:28 +02:00
if ( o & & o - > size ( ) )
2008-02-24 08:42:41 +01:00
{
2008-02-25 05:14:19 +01:00
if ( n ) log ( " << " ) ;
2008-06-04 06:28:28 +02:00
for ( int i = 0 ; i < o - > size ( ) ; + + i )
{
const char * s , * v ;
o - > get ( i , & s , & v ) ;
2008-06-04 15:44:53 +02:00
log ( " %s %s%s " , s , v , o - > size ( ) = = i + 1 ? " " : " " ) ;
2008-06-04 06:28:28 +02:00
}
2008-02-24 08:42:41 +01:00
}
2008-02-25 05:14:19 +01:00
log ( " \n " ) ;
2008-02-24 08:42:41 +01:00
}
2008-06-04 06:41:53 +02:00
/** Remember current object state for later comparison. *Must* be
* called before any user action that might change one of the object ' s
* journaled properties . */
2008-02-24 08:42:41 +01:00
void
Loggable : : log_start ( void )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2008-02-24 14:28:55 +01:00
if ( ! _old_state )
2008-04-20 04:15:54 +02:00
{
2008-06-04 05:47:26 +02:00
_old_state = new Log_Entry ;
2008-02-24 14:28:55 +01:00
2008-06-04 05:47:26 +02:00
get ( * _old_state ) ;
2008-04-20 04:15:54 +02:00
}
2008-02-24 14:28:55 +01:00
+ + _nest ;
2008-02-24 08:42:41 +01:00
}
2008-06-04 06:41:53 +02:00
/** Log any change to the object's state since log_start(). */
2008-02-24 08:42:41 +01:00
void
Loggable : : log_end ( void )
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2008-07-31 06:03:16 +02:00
ASSERT ( _old_state , " Programming error: log_end() called before log_start() " ) ;
2008-02-24 14:28:55 +01:00
if ( - - _nest > 0 )
return ;
2008-06-04 06:28:28 +02:00
Log_Entry * new_state ;
2008-04-20 04:15:54 +02:00
2008-06-04 06:28:28 +02:00
new_state = new Log_Entry ;
2008-04-20 04:15:54 +02:00
2008-06-04 06:28:28 +02:00
get ( * new_state ) ;
2008-02-24 08:42:41 +01:00
2008-06-06 05:26:51 +02:00
if ( Log_Entry : : diff ( _old_state , new_state ) )
2008-02-24 11:04:14 +01:00
{
2008-02-25 05:14:19 +01:00
log ( " %s 0x%X set " , class_name ( ) , _id ) ;
2008-02-24 08:42:41 +01:00
2008-06-04 06:28:28 +02:00
log_print ( _old_state , new_state ) ;
2010-02-01 04:14:56 +01:00
2012-03-05 03:02:01 +01:00
set_dirty ( ) ;
2008-02-24 11:04:14 +01:00
}
2008-02-24 08:42:41 +01:00
2008-07-31 06:03:16 +02:00
delete new_state ;
delete _old_state ;
2008-02-24 14:28:55 +01:00
2008-02-24 08:42:41 +01:00
_old_state = NULL ;
2008-02-24 14:28:55 +01:00
2008-03-03 17:13:17 +01:00
if ( Loggable : : _level = = 0 )
Loggable : : flush ( ) ;
2008-02-24 08:42:41 +01:00
}
2008-06-04 06:41:53 +02:00
/** Log object creation. *Must* be called at the end of all public
* constructors for leaf classes */
2010-01-14 04:20:40 +01:00
2008-02-24 08:42:41 +01:00
void
2008-04-25 08:34:08 +02:00
Loggable : : log_create ( void ) const
2008-02-24 08:42:41 +01:00
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2012-03-05 03:02:01 +01:00
set_dirty ( ) ;
2010-02-01 04:14:56 +01:00
2008-06-04 15:44:53 +02:00
if ( ! _fp )
/* replaying, don't bother */
return ;
2009-09-08 02:53:04 +02:00
2013-03-19 01:21:29 +01:00
# ifndef NDEBUG
if ( _snapshotting & & _snapshot_count ! = _num_snapshot )
{
_num_snapshot_creates = 1 ;
_num_snapshot = _snapshot_count ;
}
else if ( _snapshotting & & _snapshot_count = = _num_snapshot )
{
_num_snapshot_creates + + ;
ASSERT ( _num_snapshot_creates < 2 , " Attempt to log creation of same object twice in one snapshot! %s " , class_name ( ) ) ;
}
else
{
_num_log_creates + + ;
ASSERT ( _num_log_creates < 2 , " Attempt to log creation of same object twice in the journal! %s " , class_name ( ) ) ;
}
# endif
2008-02-27 21:04:17 +01:00
log ( " %s 0x%X create " , class_name ( ) , _id ) ;
2008-02-24 08:42:41 +01:00
2008-04-20 04:15:54 +02:00
Log_Entry e ;
get ( e ) ;
2008-06-04 15:44:53 +02:00
if ( e . size ( ) )
log_print ( NULL , & e ) ;
else
log ( " \n " ) ;
2008-03-03 17:13:17 +01:00
if ( Loggable : : _level = = 0 )
Loggable : : flush ( ) ;
2008-02-24 08:42:41 +01:00
}
2009-01-11 07:35:20 +01:00
/** record this loggable's unjournaled state in memory */
void
Loggable : : record_unjournaled ( void ) const
{
Log_Entry * e = new Log_Entry ( ) ;
get_unjournaled ( * e ) ;
2012-06-17 07:07:47 +02:00
Log_Entry * * le = & _loggables [ _id ] . unjournaled_state ;
2009-01-11 07:35:20 +01:00
2012-06-17 07:07:47 +02:00
if ( * le )
{
delete * le ;
* le = NULL ;
}
2009-01-11 07:35:20 +01:00
if ( e - > size ( ) )
2012-06-17 07:07:47 +02:00
* le = e ;
2009-01-11 07:35:20 +01:00
else
2009-01-12 05:33:10 +01:00
delete e ;
2009-01-11 07:35:20 +01:00
}
2008-06-04 06:41:53 +02:00
/** Log object destruction. *Must* be called at the beginning of the
* destructors of leaf classes */
2008-02-24 08:42:41 +01:00
void
2008-04-25 08:34:08 +02:00
Loggable : : log_destroy ( void ) const
2008-02-24 08:42:41 +01:00
{
2012-06-16 03:53:40 +02:00
Locker lock ( _lock ) ; ;
2012-03-05 03:02:01 +01:00
set_dirty ( ) ;
2010-02-01 04:14:56 +01:00
2008-05-07 04:00:36 +02:00
if ( ! _fp )
/* tearing down... don't bother */
return ;
2012-06-17 07:07:47 +02:00
/* the unjournaled state may have changed: make a note of it. */
record_unjournaled ( ) ;
2008-05-07 17:19:55 +02:00
log ( " %s 0x%X destroy << " , class_name ( ) , _id ) ;
2008-02-24 08:42:41 +01:00
2008-04-20 04:15:54 +02:00
Log_Entry e ;
get ( e ) ;
2008-06-04 06:28:28 +02:00
log_print ( NULL , & e ) ;
2008-03-03 17:13:17 +01:00
if ( Loggable : : _level = = 0 )
Loggable : : flush ( ) ;
2008-02-24 08:42:41 +01:00
}