Disk ARchive  2.4.12
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Defines
escape.hpp
Go to the documentation of this file.
00001 /*********************************************************************/
00002 // dar - disk archive - a backup/restoration program
00003 // Copyright (C) 2002-2052 Denis Corbin
00004 //
00005 // This program is free software; you can redistribute it and/or
00006 // modify it under the terms of the GNU General Public License
00007 // as published by the Free Software Foundation; either version 2
00008 // of the License, or (at your option) any later version.
00009 //
00010 // This program is distributed in the hope that it will be useful,
00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00013 // GNU General Public License for more details.
00014 //
00015 // You should have received a copy of the GNU General Public License
00016 // along with this program; if not, write to the Free Software
00017 // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
00018 //
00019 // to contact the author : http://dar.linux.free.fr/email.html
00020 /*********************************************************************/
00021 
00037 
00038 
00039 #ifndef ESCAPE_HPP
00040 #define ESCAPE_HPP
00041 
00042 #include "../my_config.h"
00043 
00044 extern "C"
00045 {
00046 #if HAVE_LIMITS_H
00047 #include <limits.h>
00048 #endif
00049 }
00050 
00051 #include <set>
00052 
00053 #include "generic_file.hpp"
00054 
00055 #define ESCAPE_FIXED_SEQUENCE_NORMAL 0xAD
00056 #define ESCAPE_FIXED_SEQUENCE_SPARSE_FILE 0xAE
00057 
00058 #define MAX_BUFFER_SIZE 204800
00059 #ifdef SSIZE_MAX
00060 #if SSIZE_MAX < MAX_BUFFER_SIZE
00061 #undef MAX_BUFFER_SIZE
00062 #define MAX_BUFFER_SIZE SSIZE_MAX
00063 #endif
00064 #endif
00065 
00066 namespace libdar
00067 {
00068 
00071 
00072     class escape : public generic_file
00073     {
00074     public:
00075         enum sequence_type
00076         {
00077             seqt_undefined,       //< not enough data to define the type of the escape sequence
00078             seqt_not_a_sequence,  //< to escape data corresponding to an escape sequence's fixed byte sequence
00079             seqt_file,            //< placed before inode information, eventually followed by file data
00080             seqt_ea,              //< placed before EA data
00081             seqt_catalogue,       //< placed before the archive's internal catalogue
00082             seqt_data_name,       //< placed before the archive data_name (at the beginning of the archive)
00083             seqt_file_crc,        //< placed before the CRC of file's data
00084             seqt_ea_crc,          //< placed before the CRC of file's EA
00085             seqt_changed,         //< placed before new copy of file's data if file's data changed while reading it for backup
00086             seqt_dirty,           //< placed after data CRC if file is dirty
00087             seqt_failed_backup    //< placed after inode information if the file could not be openned at backup time
00088         };
00089 
00090             // the archive layout of marks is :
00091             // ... <seqt_file> <inode> [<file data> [<seqt_changed> <new copy of data> [...] ] <seqt_file_crc> <CRC>[<seqt_dirty>]] [<seqt_ea> <EA> <sqt_ea_crc> <CRC>] ...
00092             // this previous sequence that we will call <SEQ> is repeated for each file, then on the overall archive we have :
00093             // <seqt_data_name> <data_name> <SEQ> ... <SEQ> <seqt_catalogue> <catalogue> <terminator>
00094 
00095             // the provided "below" object must exist during the whole live of the escape object, the escape object does not own this "below" object
00096             // it must be destroyed by the caller/creator of the escape object.
00097 
00098 
00099             // constructors & destructors
00100 
00101         escape(generic_file *below,                           //< "Below" is the generic file that holds the escaped data
00102                const std::set<sequence_type> & x_unjumpable); //< a set of marks that can never been jumped over when skipping for the next mark of a any given type.
00103         escape(const escape & ref) : generic_file(ref) { copy_from(ref); };
00104         const escape & operator = (const escape & ref);
00105         ~escape();
00106 
00107             // escape specific routines
00108 
00109         void add_mark_at_current_position(sequence_type t);
00110 
00112 
00117         bool skip_to_next_mark(sequence_type t, bool jump);
00118         bool next_to_read_is_mark(sequence_type t);
00119         bool next_to_read_is_which_mark(sequence_type & t);
00120 
00121         void add_unjumpable_mark(sequence_type t) { if(is_terminated()) throw SRC_BUG; unjumpable.insert(t); };
00122         void remove_unjumpable_mark(sequence_type t);
00123         bool is_unjumpable_mark(sequence_type t) const { return unjumpable.find(t) != unjumpable.end(); };
00124         void clear_all_unjumpable_marks() { unjumpable.clear(); };
00125 
00126             // generic_file inherited routines
00127             // NOTA: Nothing is done to prevent skip* operation to put the read cursor in the middle of an escape sequence and
00128             // thus incorrectly consider it as normal data. Such event should only occure upon archive corruption and will be detected
00129             // by checksum mechanisms.
00130 
00131         bool skip(const infinint & pos);
00132         bool skip_to_eof();
00133         bool skip_relative(S_I x);
00134         infinint get_position();
00135 
00136         generic_file *get_below() const { return x_below; };
00137 
00138     protected:
00139         U_I inherited_read(char *a, U_I size);
00140         void inherited_write(const char *a, U_I size);
00141         void inherited_sync_write() { flush_write(); };
00142         void inherited_terminate() { flush_or_clean(); };
00143 
00144         void change_fixed_escape_sequence(unsigned char value) { fixed_sequence[0] = value; };
00145         bool has_escaped_data_since_last_skip() const { return escaped_data_count_since_last_skip > 0; };
00146 
00147     private:
00148 
00149             //-- constants
00150 
00152         static const U_I ESCAPE_SEQUENCE_LENGTH = 6;
00153         static const U_I WRITE_BUFFER_SIZE = 2*ESCAPE_SEQUENCE_LENGTH;
00154         static const U_I READ_BUFFER_SIZE = MAX_BUFFER_SIZE;
00155 
00157 
00163         static const unsigned char usual_fixed_sequence[ESCAPE_SEQUENCE_LENGTH];
00164 
00165             //-- variables
00166 
00167         generic_file *x_below;        //< the generic_file in which we read/write escaped data from/to the object is not owned by "this"
00168         U_I write_buffer_size;        //< amount of data in write transit not yet written to "below" (may have to be escaped)
00169         char write_buffer[WRITE_BUFFER_SIZE]; //< data in write transit, all data is unescaped, up to the first real mark, after it, data is raw (may be escaped)
00170                                               //< the first real mark is pointed to by escape_seq_offset_in_buffer
00171         U_I read_buffer_size;         //< amount of data in write transit, read from below, but not yet unescaped and returned to the upper layer
00172         U_I already_read;             //< data in buffer that has already returned to the upper layer
00173         bool read_eof;                //< whether we reached a escape sequence while reading data
00174         U_I escape_seq_offset_in_buffer; //< location of the first escape sequence which is not a data sequence
00175         char read_buffer[READ_BUFFER_SIZE]; //< data in read transit
00176         std::set<sequence_type> unjumpable; //< list of mark that cannot be jumped over when searching for the next mark
00177         unsigned char fixed_sequence[ESCAPE_SEQUENCE_LENGTH]; // the preambule of an escape sequence to use/search for
00178         infinint escaped_data_count_since_last_skip;
00179 
00180             //-- routines
00181 
00182         void set_fixed_sequence_for(sequence_type t) { fixed_sequence[ESCAPE_SEQUENCE_LENGTH - 1] = type2char(t); };
00183         void check_below() { if(x_below == NULL) throw SRC_BUG; };
00184         void clean_data() { read_buffer_size = already_read = escape_seq_offset_in_buffer = 0; }; //< drops all in-transit data
00185         void flush_write();                                                                       //< write down to "below" all in-transit data
00186         void flush_or_clean()
00187         {
00188             switch(get_mode())
00189             {
00190             case gf_read_only:
00191                 clean_data();
00192                 break;
00193             case gf_write_only:
00194                 flush_write();
00195                 break;
00196             default:
00197                 throw SRC_BUG;
00198             }
00199         };
00200         void copy_from(const escape & ref);
00201         bool mini_read_buffer(); //< returns true if it could end having at least ESCAPE_SEQUENCE_LENGTH bytes in read_buffer, false else (EOF reached).
00202 
00203             //-- static routine(s)
00204 
00205             // some convertion routines
00206         static char type2char(sequence_type x);
00207         static sequence_type char2type(char x);
00208 
00210 
00212 
00215         static U_I trouve_amorce(const char *a, U_I size, const unsigned char escape_sequence[ESCAPE_SEQUENCE_LENGTH]);
00216 
00218 
00225         static U_I remove_data_marks_and_stop_at_first_real_mark(char *a, U_I size, U_I & delta, const unsigned char escape_sequence[ESCAPE_SEQUENCE_LENGTH]);
00226     };
00227 
00229 
00230 } // end of namespace
00231 
00232 #endif
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Defines