Home | History | Annotate | Line # | Download | only in dns
journal.c revision 1.1.1.2
      1      1.1  christos /*	$NetBSD: journal.c,v 1.1.1.2 2019/01/09 16:48:20 christos Exp $	*/
      2      1.1  christos 
      3      1.1  christos /*
      4      1.1  christos  * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
      5      1.1  christos  *
      6      1.1  christos  * This Source Code Form is subject to the terms of the Mozilla Public
      7      1.1  christos  * License, v. 2.0. If a copy of the MPL was not distributed with this
      8      1.1  christos  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
      9      1.1  christos  *
     10      1.1  christos  * See the COPYRIGHT file distributed with this work for additional
     11      1.1  christos  * information regarding copyright ownership.
     12      1.1  christos  */
     13      1.1  christos 
     14      1.1  christos #include <config.h>
     15      1.1  christos 
     16  1.1.1.2  christos #include <inttypes.h>
     17  1.1.1.2  christos #include <stdbool.h>
     18      1.1  christos #include <stdlib.h>
     19      1.1  christos #include <unistd.h>
     20      1.1  christos #include <errno.h>
     21      1.1  christos 
     22      1.1  christos #include <isc/file.h>
     23      1.1  christos #include <isc/mem.h>
     24      1.1  christos #include <isc/print.h>
     25      1.1  christos #include <isc/stdio.h>
     26      1.1  christos #include <isc/string.h>
     27      1.1  christos #include <isc/util.h>
     28      1.1  christos 
     29      1.1  christos #include <dns/compress.h>
     30      1.1  christos #include <dns/db.h>
     31      1.1  christos #include <dns/dbiterator.h>
     32      1.1  christos #include <dns/diff.h>
     33      1.1  christos #include <dns/fixedname.h>
     34      1.1  christos #include <dns/journal.h>
     35      1.1  christos #include <dns/log.h>
     36      1.1  christos #include <dns/rdataset.h>
     37      1.1  christos #include <dns/rdatasetiter.h>
     38      1.1  christos #include <dns/result.h>
     39      1.1  christos #include <dns/soa.h>
     40      1.1  christos 
     41      1.1  christos /*! \file
     42      1.1  christos  * \brief Journaling.
     43      1.1  christos  *
     44      1.1  christos  * A journal file consists of
     45      1.1  christos  *
     46      1.1  christos  *   \li A fixed-size header of type journal_rawheader_t.
     47      1.1  christos  *
     48      1.1  christos  *   \li The index.  This is an unordered array of index entries
     49      1.1  christos  *     of type journal_rawpos_t giving the locations
     50      1.1  christos  *     of some arbitrary subset of the journal's addressable
     51      1.1  christos  *     transactions.  The index entries are used as hints to
     52      1.1  christos  *     speed up the process of locating a transaction with a given
     53      1.1  christos  *     serial number.  Unused index entries have an "offset"
     54      1.1  christos  *     field of zero.  The size of the index can vary between
     55      1.1  christos  *     journal files, but does not change during the lifetime
     56      1.1  christos  *     of a file.  The size can be zero.
     57      1.1  christos  *
     58      1.1  christos  *   \li The journal data.  This  consists of one or more transactions.
     59      1.1  christos  *     Each transaction begins with a transaction header of type
     60      1.1  christos  *     journal_rawxhdr_t.  The transaction header is followed by a
     61      1.1  christos  *     sequence of RRs, similar in structure to an IXFR difference
     62      1.1  christos  *     sequence (RFC1995).  That is, the pre-transaction SOA,
     63      1.1  christos  *     zero or more other deleted RRs, the post-transaction SOA,
     64      1.1  christos  *     and zero or more other added RRs.  Unlike in IXFR, each RR
     65      1.1  christos  *     is prefixed with a 32-bit length.
     66      1.1  christos  *
     67      1.1  christos  *     The journal data part grows as new transactions are
     68      1.1  christos  *     appended to the file.  Only those transactions
     69      1.1  christos  *     whose serial number is current-(2^31-1) to current
     70      1.1  christos  *     are considered "addressable" and may be pointed
     71      1.1  christos  *     to from the header or index.  They may be preceded
     72      1.1  christos  *     by old transactions that are no longer addressable,
     73      1.1  christos  *     and they may be followed by transactions that were
     74      1.1  christos  *     appended to the journal but never committed by updating
     75      1.1  christos  *     the "end" position in the header.  The latter will
     76      1.1  christos  *     be overwritten when new transactions are added.
     77      1.1  christos  */
     78      1.1  christos 
     79      1.1  christos /**************************************************************************/
     80      1.1  christos /*
     81      1.1  christos  * Miscellaneous utilities.
     82      1.1  christos  */
     83      1.1  christos 
     84      1.1  christos #define JOURNAL_COMMON_LOGARGS \
     85      1.1  christos 	dns_lctx, DNS_LOGCATEGORY_GENERAL, DNS_LOGMODULE_JOURNAL
     86      1.1  christos 
     87      1.1  christos #define JOURNAL_DEBUG_LOGARGS(n) \
     88      1.1  christos 	JOURNAL_COMMON_LOGARGS, ISC_LOG_DEBUG(n)
     89      1.1  christos 
     90      1.1  christos /*%
     91      1.1  christos  * It would be non-sensical (or at least obtuse) to use FAIL() with an
     92      1.1  christos  * ISC_R_SUCCESS code, but the test is there to keep the Solaris compiler
     93      1.1  christos  * from complaining about "end-of-loop code not reached".
     94      1.1  christos  */
     95      1.1  christos #define FAIL(code) \
     96      1.1  christos 	do { result = (code);					\
     97      1.1  christos 		if (result != ISC_R_SUCCESS) goto failure;	\
     98      1.1  christos 	} while (0)
     99      1.1  christos 
    100      1.1  christos #define CHECK(op) \
    101      1.1  christos 	do { result = (op); 					\
    102      1.1  christos 		if (result != ISC_R_SUCCESS) goto failure; 	\
    103      1.1  christos 	} while (0)
    104      1.1  christos 
    105      1.1  christos #define JOURNAL_SERIALSET	0x01U
    106      1.1  christos 
    107      1.1  christos static isc_result_t index_to_disk(dns_journal_t *);
    108      1.1  christos 
    109  1.1.1.2  christos static inline uint32_t
    110      1.1  christos decode_uint32(unsigned char *p) {
    111      1.1  christos 	return ((p[0] << 24) +
    112      1.1  christos 		(p[1] << 16) +
    113      1.1  christos 		(p[2] <<  8) +
    114      1.1  christos 		(p[3] <<  0));
    115      1.1  christos }
    116      1.1  christos 
    117      1.1  christos static inline void
    118  1.1.1.2  christos encode_uint32(uint32_t val, unsigned char *p) {
    119  1.1.1.2  christos 	p[0] = (uint8_t)(val >> 24);
    120  1.1.1.2  christos 	p[1] = (uint8_t)(val >> 16);
    121  1.1.1.2  christos 	p[2] = (uint8_t)(val >>  8);
    122  1.1.1.2  christos 	p[3] = (uint8_t)(val >>  0);
    123      1.1  christos }
    124      1.1  christos 
    125      1.1  christos isc_result_t
    126      1.1  christos dns_db_createsoatuple(dns_db_t *db, dns_dbversion_t *ver, isc_mem_t *mctx,
    127      1.1  christos 		      dns_diffop_t op, dns_difftuple_t **tp)
    128      1.1  christos {
    129      1.1  christos 	isc_result_t result;
    130      1.1  christos 	dns_dbnode_t *node;
    131      1.1  christos 	dns_rdataset_t rdataset;
    132      1.1  christos 	dns_rdata_t rdata = DNS_RDATA_INIT;
    133      1.1  christos 	dns_fixedname_t fixed;
    134      1.1  christos 	dns_name_t *zonename;
    135      1.1  christos 
    136      1.1  christos 	zonename = dns_fixedname_initname(&fixed);
    137      1.1  christos 	dns_name_copy(dns_db_origin(db), zonename, NULL);
    138      1.1  christos 
    139      1.1  christos 	node = NULL;
    140  1.1.1.2  christos 	result = dns_db_findnode(db, zonename, false, &node);
    141      1.1  christos 	if (result != ISC_R_SUCCESS)
    142      1.1  christos 		goto nonode;
    143      1.1  christos 
    144      1.1  christos 	dns_rdataset_init(&rdataset);
    145      1.1  christos 	result = dns_db_findrdataset(db, node, ver, dns_rdatatype_soa, 0,
    146      1.1  christos 				     (isc_stdtime_t)0, &rdataset, NULL);
    147      1.1  christos 	if (result != ISC_R_SUCCESS)
    148      1.1  christos 		goto freenode;
    149      1.1  christos 
    150      1.1  christos 	result = dns_rdataset_first(&rdataset);
    151      1.1  christos 	if (result != ISC_R_SUCCESS)
    152      1.1  christos 		goto freenode;
    153      1.1  christos 
    154      1.1  christos 	dns_rdataset_current(&rdataset, &rdata);
    155      1.1  christos 	dns_rdataset_getownercase(&rdataset, zonename);
    156      1.1  christos 
    157      1.1  christos 	result = dns_difftuple_create(mctx, op, zonename, rdataset.ttl,
    158      1.1  christos 				      &rdata, tp);
    159      1.1  christos 
    160      1.1  christos 	dns_rdataset_disassociate(&rdataset);
    161      1.1  christos 	dns_db_detachnode(db, &node);
    162      1.1  christos 	return (result);
    163      1.1  christos 
    164      1.1  christos  freenode:
    165      1.1  christos 	dns_db_detachnode(db, &node);
    166      1.1  christos  nonode:
    167      1.1  christos 	UNEXPECTED_ERROR(__FILE__, __LINE__, "missing SOA");
    168      1.1  christos 	return (result);
    169      1.1  christos }
    170      1.1  christos 
    171      1.1  christos /* Journaling */
    172      1.1  christos 
    173      1.1  christos /*%
    174      1.1  christos  * On-disk representation of a "pointer" to a journal entry.
    175      1.1  christos  * These are used in the journal header to locate the beginning
    176      1.1  christos  * and end of the journal, and in the journal index to locate
    177      1.1  christos  * other transactions.
    178      1.1  christos  */
    179      1.1  christos typedef struct {
    180      1.1  christos 	unsigned char	serial[4];  /*%< SOA serial before update. */
    181      1.1  christos 	/*
    182      1.1  christos 	 * XXXRTH  Should offset be 8 bytes?
    183      1.1  christos 	 * XXXDCL ... probably, since isc_offset_t is 8 bytes on many OSs.
    184      1.1  christos 	 * XXXAG  ... but we will not be able to seek >2G anyway on many
    185      1.1  christos 	 *            platforms as long as we are using fseek() rather
    186      1.1  christos 	 *            than lseek().
    187      1.1  christos 	 */
    188      1.1  christos 	unsigned char	offset[4];  /*%< Offset from beginning of file. */
    189      1.1  christos } journal_rawpos_t;
    190      1.1  christos 
    191      1.1  christos 
    192      1.1  christos /*%
    193      1.1  christos  * The header is of a fixed size, with some spare room for future
    194      1.1  christos  * extensions.
    195      1.1  christos  */
    196      1.1  christos #define JOURNAL_HEADER_SIZE 64 /* Bytes. */
    197      1.1  christos 
    198      1.1  christos /*%
    199      1.1  christos  * The on-disk representation of the journal header.
    200      1.1  christos  * All numbers are stored in big-endian order.
    201      1.1  christos  */
    202      1.1  christos typedef union {
    203      1.1  christos 	struct {
    204      1.1  christos 		/*% File format version ID. */
    205      1.1  christos 		unsigned char 		format[16];
    206      1.1  christos 		/*% Position of the first addressable transaction */
    207      1.1  christos 		journal_rawpos_t 	begin;
    208      1.1  christos 		/*% Position of the next (yet nonexistent) transaction. */
    209      1.1  christos 		journal_rawpos_t 	end;
    210      1.1  christos 		/*% Number of index entries following the header. */
    211      1.1  christos 		unsigned char 		index_size[4];
    212      1.1  christos 		/*% Source serial number. */
    213      1.1  christos 		unsigned char           sourceserial[4];
    214      1.1  christos 		unsigned char           flags;
    215      1.1  christos 	} h;
    216      1.1  christos 	/* Pad the header to a fixed size. */
    217      1.1  christos 	unsigned char pad[JOURNAL_HEADER_SIZE];
    218      1.1  christos } journal_rawheader_t;
    219      1.1  christos 
    220      1.1  christos /*%
    221      1.1  christos  * The on-disk representation of the transaction header.
    222      1.1  christos  * There is one of these at the beginning of each transaction.
    223      1.1  christos  */
    224      1.1  christos typedef struct {
    225      1.1  christos 	unsigned char	size[4]; 	/*%< In bytes, excluding header. */
    226      1.1  christos 	unsigned char	serial0[4];	/*%< SOA serial before update. */
    227      1.1  christos 	unsigned char	serial1[4];	/*%< SOA serial after update. */
    228      1.1  christos } journal_rawxhdr_t;
    229      1.1  christos 
    230      1.1  christos /*%
    231      1.1  christos  * The on-disk representation of the RR header.
    232      1.1  christos  * There is one of these at the beginning of each RR.
    233      1.1  christos  */
    234      1.1  christos typedef struct {
    235      1.1  christos 	unsigned char	size[4]; 	/*%< In bytes, excluding header. */
    236      1.1  christos } journal_rawrrhdr_t;
    237      1.1  christos 
    238      1.1  christos /*%
    239      1.1  christos  * The in-core representation of the journal header.
    240      1.1  christos  */
    241      1.1  christos typedef struct {
    242  1.1.1.2  christos 	uint32_t	serial;
    243      1.1  christos 	isc_offset_t	offset;
    244      1.1  christos } journal_pos_t;
    245      1.1  christos 
    246      1.1  christos #define POS_VALID(pos) 		((pos).offset != 0)
    247      1.1  christos #define POS_INVALIDATE(pos) 	((pos).offset = 0, (pos).serial = 0)
    248      1.1  christos 
    249      1.1  christos typedef struct {
    250      1.1  christos 	unsigned char 	format[16];
    251      1.1  christos 	journal_pos_t 	begin;
    252      1.1  christos 	journal_pos_t 	end;
    253  1.1.1.2  christos 	uint32_t	index_size;
    254  1.1.1.2  christos 	uint32_t	sourceserial;
    255  1.1.1.2  christos 	bool	serialset;
    256      1.1  christos } journal_header_t;
    257      1.1  christos 
    258      1.1  christos /*%
    259      1.1  christos  * The in-core representation of the transaction header.
    260      1.1  christos  */
    261      1.1  christos 
    262      1.1  christos typedef struct {
    263  1.1.1.2  christos 	uint32_t	size;
    264  1.1.1.2  christos 	uint32_t	serial0;
    265  1.1.1.2  christos 	uint32_t	serial1;
    266      1.1  christos } journal_xhdr_t;
    267      1.1  christos 
    268      1.1  christos /*%
    269      1.1  christos  * The in-core representation of the RR header.
    270      1.1  christos  */
    271      1.1  christos typedef struct {
    272  1.1.1.2  christos 	uint32_t	size;
    273      1.1  christos } journal_rrhdr_t;
    274      1.1  christos 
    275      1.1  christos 
    276      1.1  christos /*%
    277      1.1  christos  * Initial contents to store in the header of a newly created
    278      1.1  christos  * journal file.
    279      1.1  christos  *
    280      1.1  christos  * The header starts with the magic string ";BIND LOG V9\n"
    281      1.1  christos  * to identify the file as a BIND 9 journal file.  An ASCII
    282      1.1  christos  * identification string is used rather than a binary magic
    283      1.1  christos  * number to be consistent with BIND 8 (BIND 8 journal files
    284      1.1  christos  * are ASCII text files).
    285      1.1  christos  */
    286      1.1  christos 
    287      1.1  christos static journal_header_t
    288      1.1  christos initial_journal_header = { ";BIND LOG V9\n", { 0, 0 }, { 0, 0 }, 0, 0, 0 };
    289      1.1  christos 
    290      1.1  christos #define JOURNAL_EMPTY(h) ((h)->begin.offset == (h)->end.offset)
    291      1.1  christos 
    292      1.1  christos typedef enum {
    293      1.1  christos 	JOURNAL_STATE_INVALID,
    294      1.1  christos 	JOURNAL_STATE_READ,
    295      1.1  christos 	JOURNAL_STATE_WRITE,
    296      1.1  christos 	JOURNAL_STATE_TRANSACTION,
    297      1.1  christos 	JOURNAL_STATE_INLINE
    298      1.1  christos } journal_state_t;
    299      1.1  christos 
    300      1.1  christos struct dns_journal {
    301      1.1  christos 	unsigned int		magic;		/*%< JOUR */
    302      1.1  christos 	isc_mem_t		*mctx;		/*%< Memory context */
    303      1.1  christos 	journal_state_t		state;
    304      1.1  christos 	char 			*filename;	/*%< Journal file name */
    305      1.1  christos 	FILE *			fp;		/*%< File handle */
    306      1.1  christos 	isc_offset_t		offset;		/*%< Current file offset */
    307      1.1  christos 	journal_header_t 	header;		/*%< In-core journal header */
    308      1.1  christos 	unsigned char		*rawindex;	/*%< In-core buffer for journal index in on-disk format */
    309      1.1  christos 	journal_pos_t		*index;		/*%< In-core journal index */
    310      1.1  christos 
    311      1.1  christos 	/*% Current transaction state (when writing). */
    312      1.1  christos 	struct {
    313      1.1  christos 		unsigned int	n_soa;		/*%< Number of SOAs seen */
    314      1.1  christos 		journal_pos_t	pos[2];		/*%< Begin/end position */
    315      1.1  christos 	} x;
    316      1.1  christos 
    317      1.1  christos 	/*% Iteration state (when reading). */
    318      1.1  christos 	struct {
    319      1.1  christos 		/* These define the part of the journal we iterate over. */
    320      1.1  christos 		journal_pos_t bpos;		/*%< Position before first, */
    321      1.1  christos 		journal_pos_t epos;		/*%< and after last transaction */
    322      1.1  christos 		/* The rest is iterator state. */
    323  1.1.1.2  christos 		uint32_t current_serial;	/*%< Current SOA serial */
    324      1.1  christos 		isc_buffer_t source;		/*%< Data from disk */
    325      1.1  christos 		isc_buffer_t target;		/*%< Data from _fromwire check */
    326      1.1  christos 		dns_decompress_t dctx;		/*%< Dummy decompression ctx */
    327      1.1  christos 		dns_name_t name;		/*%< Current domain name */
    328      1.1  christos 		dns_rdata_t rdata;		/*%< Current rdata */
    329  1.1.1.2  christos 		uint32_t ttl;		/*%< Current TTL */
    330      1.1  christos 		unsigned int xsize;		/*%< Size of transaction data */
    331      1.1  christos 		unsigned int xpos;		/*%< Current position in it */
    332      1.1  christos 		isc_result_t result;		/*%< Result of last call */
    333      1.1  christos 	} it;
    334      1.1  christos };
    335      1.1  christos 
    336      1.1  christos #define DNS_JOURNAL_MAGIC	ISC_MAGIC('J', 'O', 'U', 'R')
    337      1.1  christos #define DNS_JOURNAL_VALID(t)	ISC_MAGIC_VALID(t, DNS_JOURNAL_MAGIC)
    338      1.1  christos 
    339      1.1  christos static void
    340      1.1  christos journal_pos_decode(journal_rawpos_t *raw, journal_pos_t *cooked) {
    341      1.1  christos 	cooked->serial = decode_uint32(raw->serial);
    342      1.1  christos 	cooked->offset = decode_uint32(raw->offset);
    343      1.1  christos }
    344      1.1  christos 
    345      1.1  christos static void
    346      1.1  christos journal_pos_encode(journal_rawpos_t *raw, journal_pos_t *cooked) {
    347      1.1  christos 	encode_uint32(cooked->serial, raw->serial);
    348      1.1  christos 	encode_uint32(cooked->offset, raw->offset);
    349      1.1  christos }
    350      1.1  christos 
    351      1.1  christos static void
    352      1.1  christos journal_header_decode(journal_rawheader_t *raw, journal_header_t *cooked) {
    353      1.1  christos 	INSIST(sizeof(cooked->format) == sizeof(raw->h.format));
    354      1.1  christos 	memmove(cooked->format, raw->h.format, sizeof(cooked->format));
    355      1.1  christos 	journal_pos_decode(&raw->h.begin, &cooked->begin);
    356      1.1  christos 	journal_pos_decode(&raw->h.end, &cooked->end);
    357      1.1  christos 	cooked->index_size = decode_uint32(raw->h.index_size);
    358      1.1  christos 	cooked->sourceserial = decode_uint32(raw->h.sourceserial);
    359  1.1.1.2  christos 	cooked->serialset = ((raw->h.flags & JOURNAL_SERIALSET) != 0);
    360      1.1  christos }
    361      1.1  christos 
    362      1.1  christos static void
    363      1.1  christos journal_header_encode(journal_header_t *cooked, journal_rawheader_t *raw) {
    364      1.1  christos 	unsigned char flags = 0;
    365      1.1  christos 
    366      1.1  christos 	INSIST(sizeof(cooked->format) == sizeof(raw->h.format));
    367      1.1  christos 	memset(raw->pad, 0, sizeof(raw->pad));
    368      1.1  christos 	memmove(raw->h.format, cooked->format, sizeof(raw->h.format));
    369      1.1  christos 	journal_pos_encode(&raw->h.begin, &cooked->begin);
    370      1.1  christos 	journal_pos_encode(&raw->h.end, &cooked->end);
    371      1.1  christos 	encode_uint32(cooked->index_size, raw->h.index_size);
    372      1.1  christos 	encode_uint32(cooked->sourceserial, raw->h.sourceserial);
    373  1.1.1.2  christos 	if (cooked->serialset) {
    374      1.1  christos 		flags |= JOURNAL_SERIALSET;
    375  1.1.1.2  christos 	}
    376      1.1  christos 	raw->h.flags = flags;
    377      1.1  christos }
    378      1.1  christos 
    379      1.1  christos /*
    380      1.1  christos  * Journal file I/O subroutines, with error checking and reporting.
    381      1.1  christos  */
    382      1.1  christos static isc_result_t
    383  1.1.1.2  christos journal_seek(dns_journal_t *j, uint32_t offset) {
    384      1.1  christos 	isc_result_t result;
    385      1.1  christos 
    386      1.1  christos 	result = isc_stdio_seek(j->fp, (off_t)offset, SEEK_SET);
    387      1.1  christos 	if (result != ISC_R_SUCCESS) {
    388      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    389      1.1  christos 			      "%s: seek: %s", j->filename,
    390      1.1  christos 			      isc_result_totext(result));
    391      1.1  christos 		return (ISC_R_UNEXPECTED);
    392      1.1  christos 	}
    393      1.1  christos 	j->offset = offset;
    394      1.1  christos 	return (ISC_R_SUCCESS);
    395      1.1  christos }
    396      1.1  christos 
    397      1.1  christos static isc_result_t
    398      1.1  christos journal_read(dns_journal_t *j, void *mem, size_t nbytes) {
    399      1.1  christos 	isc_result_t result;
    400      1.1  christos 
    401      1.1  christos 	result = isc_stdio_read(mem, 1, nbytes, j->fp, NULL);
    402      1.1  christos 	if (result != ISC_R_SUCCESS) {
    403      1.1  christos 		if (result == ISC_R_EOF)
    404      1.1  christos 			return (ISC_R_NOMORE);
    405      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    406      1.1  christos 			      "%s: read: %s",
    407      1.1  christos 			      j->filename, isc_result_totext(result));
    408      1.1  christos 		return (ISC_R_UNEXPECTED);
    409      1.1  christos 	}
    410      1.1  christos 	j->offset += (isc_offset_t)nbytes;
    411      1.1  christos 	return (ISC_R_SUCCESS);
    412      1.1  christos }
    413      1.1  christos 
    414      1.1  christos static isc_result_t
    415      1.1  christos journal_write(dns_journal_t *j, void *mem, size_t nbytes) {
    416      1.1  christos 	isc_result_t result;
    417      1.1  christos 
    418      1.1  christos 	result = isc_stdio_write(mem, 1, nbytes, j->fp, NULL);
    419      1.1  christos 	if (result != ISC_R_SUCCESS) {
    420      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    421      1.1  christos 			      "%s: write: %s",
    422      1.1  christos 			      j->filename, isc_result_totext(result));
    423      1.1  christos 		return (ISC_R_UNEXPECTED);
    424      1.1  christos 	}
    425      1.1  christos 	j->offset += (isc_offset_t)nbytes;
    426      1.1  christos 	return (ISC_R_SUCCESS);
    427      1.1  christos }
    428      1.1  christos 
    429      1.1  christos static isc_result_t
    430      1.1  christos journal_fsync(dns_journal_t *j) {
    431      1.1  christos 	isc_result_t result;
    432      1.1  christos 	result = isc_stdio_flush(j->fp);
    433      1.1  christos 	if (result != ISC_R_SUCCESS) {
    434      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    435      1.1  christos 			      "%s: flush: %s",
    436      1.1  christos 			      j->filename, isc_result_totext(result));
    437      1.1  christos 		return (ISC_R_UNEXPECTED);
    438      1.1  christos 	}
    439      1.1  christos 	result = isc_stdio_sync(j->fp);
    440      1.1  christos 	if (result != ISC_R_SUCCESS) {
    441      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    442      1.1  christos 			      "%s: fsync: %s",
    443      1.1  christos 			      j->filename, isc_result_totext(result));
    444      1.1  christos 		return (ISC_R_UNEXPECTED);
    445      1.1  christos 	}
    446      1.1  christos 	return (ISC_R_SUCCESS);
    447      1.1  christos }
    448      1.1  christos 
    449      1.1  christos /*
    450      1.1  christos  * Read/write a transaction header at the current file position.
    451      1.1  christos  */
    452      1.1  christos 
    453      1.1  christos static isc_result_t
    454      1.1  christos journal_read_xhdr(dns_journal_t *j, journal_xhdr_t *xhdr) {
    455      1.1  christos 	journal_rawxhdr_t raw;
    456      1.1  christos 	isc_result_t result;
    457      1.1  christos 	result = journal_read(j, &raw, sizeof(raw));
    458      1.1  christos 	if (result != ISC_R_SUCCESS)
    459      1.1  christos 		return (result);
    460      1.1  christos 	xhdr->size = decode_uint32(raw.size);
    461      1.1  christos 	xhdr->serial0 = decode_uint32(raw.serial0);
    462      1.1  christos 	xhdr->serial1 = decode_uint32(raw.serial1);
    463      1.1  christos 	return (ISC_R_SUCCESS);
    464      1.1  christos }
    465      1.1  christos 
    466      1.1  christos static isc_result_t
    467  1.1.1.2  christos journal_write_xhdr(dns_journal_t *j, uint32_t size,
    468  1.1.1.2  christos 		   uint32_t serial0, uint32_t serial1)
    469      1.1  christos {
    470      1.1  christos 	journal_rawxhdr_t raw;
    471      1.1  christos 	encode_uint32(size, raw.size);
    472      1.1  christos 	encode_uint32(serial0, raw.serial0);
    473      1.1  christos 	encode_uint32(serial1, raw.serial1);
    474      1.1  christos 	return (journal_write(j, &raw, sizeof(raw)));
    475      1.1  christos }
    476      1.1  christos 
    477      1.1  christos 
    478      1.1  christos /*
    479      1.1  christos  * Read an RR header at the current file position.
    480      1.1  christos  */
    481      1.1  christos 
    482      1.1  christos static isc_result_t
    483      1.1  christos journal_read_rrhdr(dns_journal_t *j, journal_rrhdr_t *rrhdr) {
    484      1.1  christos 	journal_rawrrhdr_t raw;
    485      1.1  christos 	isc_result_t result;
    486      1.1  christos 	result = journal_read(j, &raw, sizeof(raw));
    487      1.1  christos 	if (result != ISC_R_SUCCESS)
    488      1.1  christos 		return (result);
    489      1.1  christos 	rrhdr->size = decode_uint32(raw.size);
    490      1.1  christos 	return (ISC_R_SUCCESS);
    491      1.1  christos }
    492      1.1  christos 
    493      1.1  christos static isc_result_t
    494      1.1  christos journal_file_create(isc_mem_t *mctx, const char *filename) {
    495      1.1  christos 	FILE *fp = NULL;
    496      1.1  christos 	isc_result_t result;
    497      1.1  christos 	journal_header_t header;
    498      1.1  christos 	journal_rawheader_t rawheader;
    499      1.1  christos 	int index_size = 56; /* XXX configurable */
    500      1.1  christos 	int size;
    501      1.1  christos 	void *mem; /* Memory for temporary index image. */
    502      1.1  christos 
    503      1.1  christos 	INSIST(sizeof(journal_rawheader_t) == JOURNAL_HEADER_SIZE);
    504      1.1  christos 
    505      1.1  christos 	result = isc_stdio_open(filename, "wb", &fp);
    506      1.1  christos 	if (result != ISC_R_SUCCESS) {
    507      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    508      1.1  christos 			      "%s: create: %s",
    509      1.1  christos 			      filename, isc_result_totext(result));
    510      1.1  christos 		return (ISC_R_UNEXPECTED);
    511      1.1  christos 	}
    512      1.1  christos 
    513      1.1  christos 	header = initial_journal_header;
    514      1.1  christos 	header.index_size = index_size;
    515      1.1  christos 	journal_header_encode(&header, &rawheader);
    516      1.1  christos 
    517      1.1  christos 	size = sizeof(journal_rawheader_t) +
    518      1.1  christos 		index_size * sizeof(journal_rawpos_t);
    519      1.1  christos 
    520      1.1  christos 	mem = isc_mem_get(mctx, size);
    521      1.1  christos 	if (mem == NULL) {
    522      1.1  christos 		(void)isc_stdio_close(fp);
    523      1.1  christos 		(void)isc_file_remove(filename);
    524      1.1  christos 		return (ISC_R_NOMEMORY);
    525      1.1  christos 	}
    526      1.1  christos 	memset(mem, 0, size);
    527      1.1  christos 	memmove(mem, &rawheader, sizeof(rawheader));
    528      1.1  christos 
    529      1.1  christos 	result = isc_stdio_write(mem, 1, (size_t) size, fp, NULL);
    530      1.1  christos 	if (result != ISC_R_SUCCESS) {
    531      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    532      1.1  christos 				 "%s: write: %s",
    533      1.1  christos 				 filename, isc_result_totext(result));
    534      1.1  christos 		(void)isc_stdio_close(fp);
    535      1.1  christos 		(void)isc_file_remove(filename);
    536      1.1  christos 		isc_mem_put(mctx, mem, size);
    537      1.1  christos 		return (ISC_R_UNEXPECTED);
    538      1.1  christos 	}
    539      1.1  christos 	isc_mem_put(mctx, mem, size);
    540      1.1  christos 
    541      1.1  christos 	result = isc_stdio_close(fp);
    542      1.1  christos 	if (result != ISC_R_SUCCESS) {
    543      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    544      1.1  christos 				 "%s: close: %s",
    545      1.1  christos 				 filename, isc_result_totext(result));
    546      1.1  christos 		(void)isc_file_remove(filename);
    547      1.1  christos 		return (ISC_R_UNEXPECTED);
    548      1.1  christos 	}
    549      1.1  christos 
    550      1.1  christos 	return (ISC_R_SUCCESS);
    551      1.1  christos }
    552      1.1  christos 
    553      1.1  christos static isc_result_t
    554  1.1.1.2  christos journal_open(isc_mem_t *mctx, const char *filename, bool writable,
    555  1.1.1.2  christos 	     bool create, dns_journal_t **journalp)
    556      1.1  christos {
    557      1.1  christos 	FILE *fp = NULL;
    558      1.1  christos 	isc_result_t result;
    559      1.1  christos 	journal_rawheader_t rawheader;
    560      1.1  christos 	dns_journal_t *j;
    561      1.1  christos 
    562      1.1  christos 	INSIST(journalp != NULL && *journalp == NULL);
    563      1.1  christos 	j = isc_mem_get(mctx, sizeof(*j));
    564      1.1  christos 	if (j == NULL)
    565      1.1  christos 		return (ISC_R_NOMEMORY);
    566      1.1  christos 
    567      1.1  christos 	j->mctx = NULL;
    568      1.1  christos 	isc_mem_attach(mctx, &j->mctx);
    569      1.1  christos 	j->state = JOURNAL_STATE_INVALID;
    570      1.1  christos 	j->fp = NULL;
    571      1.1  christos 	j->filename = isc_mem_strdup(mctx, filename);
    572      1.1  christos 	j->index = NULL;
    573      1.1  christos 	j->rawindex = NULL;
    574      1.1  christos 
    575      1.1  christos 	if (j->filename == NULL)
    576      1.1  christos 		FAIL(ISC_R_NOMEMORY);
    577      1.1  christos 
    578      1.1  christos 	result = isc_stdio_open(j->filename, writable ? "rb+" : "rb", &fp);
    579      1.1  christos 
    580      1.1  christos 	if (result == ISC_R_FILENOTFOUND) {
    581      1.1  christos 		if (create) {
    582      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_DEBUG(1),
    583      1.1  christos 				      "journal file %s does not exist, "
    584      1.1  christos 				      "creating it", j->filename);
    585      1.1  christos 			CHECK(journal_file_create(mctx, filename));
    586      1.1  christos 			/*
    587      1.1  christos 			 * Retry.
    588      1.1  christos 			 */
    589      1.1  christos 			result = isc_stdio_open(j->filename, "rb+", &fp);
    590      1.1  christos 		} else {
    591      1.1  christos 			FAIL(ISC_R_NOTFOUND);
    592      1.1  christos 		}
    593      1.1  christos 	}
    594      1.1  christos 	if (result != ISC_R_SUCCESS) {
    595      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    596      1.1  christos 			      "%s: open: %s",
    597      1.1  christos 			      j->filename, isc_result_totext(result));
    598      1.1  christos 		FAIL(ISC_R_UNEXPECTED);
    599      1.1  christos 	}
    600      1.1  christos 
    601      1.1  christos 	j->fp = fp;
    602      1.1  christos 
    603      1.1  christos 	/*
    604      1.1  christos 	 * Set magic early so that seek/read can succeed.
    605      1.1  christos 	 */
    606      1.1  christos 	j->magic = DNS_JOURNAL_MAGIC;
    607      1.1  christos 
    608      1.1  christos 	CHECK(journal_seek(j, 0));
    609      1.1  christos 	CHECK(journal_read(j, &rawheader, sizeof(rawheader)));
    610      1.1  christos 
    611      1.1  christos 	if (memcmp(rawheader.h.format, initial_journal_header.format,
    612      1.1  christos 		   sizeof(initial_journal_header.format)) != 0) {
    613      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    614      1.1  christos 				 "%s: journal format not recognized",
    615      1.1  christos 				 j->filename);
    616      1.1  christos 		FAIL(ISC_R_UNEXPECTED);
    617      1.1  christos 	}
    618      1.1  christos 	journal_header_decode(&rawheader, &j->header);
    619      1.1  christos 
    620      1.1  christos 	/*
    621      1.1  christos 	 * If there is an index, read the raw index into a dynamically
    622      1.1  christos 	 * allocated buffer and then convert it into a cooked index.
    623      1.1  christos 	 */
    624      1.1  christos 	if (j->header.index_size != 0) {
    625      1.1  christos 		unsigned int i;
    626      1.1  christos 		unsigned int rawbytes;
    627      1.1  christos 		unsigned char *p;
    628      1.1  christos 
    629      1.1  christos 		rawbytes = j->header.index_size * sizeof(journal_rawpos_t);
    630      1.1  christos 		j->rawindex = isc_mem_get(mctx, rawbytes);
    631      1.1  christos 		if (j->rawindex == NULL)
    632      1.1  christos 			FAIL(ISC_R_NOMEMORY);
    633      1.1  christos 
    634      1.1  christos 		CHECK(journal_read(j, j->rawindex, rawbytes));
    635      1.1  christos 
    636      1.1  christos 		j->index = isc_mem_get(mctx, j->header.index_size *
    637      1.1  christos 				       sizeof(journal_pos_t));
    638      1.1  christos 		if (j->index == NULL)
    639      1.1  christos 			FAIL(ISC_R_NOMEMORY);
    640      1.1  christos 
    641      1.1  christos 		p = j->rawindex;
    642      1.1  christos 		for (i = 0; i < j->header.index_size; i++) {
    643      1.1  christos 			j->index[i].serial = decode_uint32(p);
    644      1.1  christos 			p += 4;
    645      1.1  christos 			j->index[i].offset = decode_uint32(p);
    646      1.1  christos 			p += 4;
    647      1.1  christos 		}
    648      1.1  christos 		INSIST(p == j->rawindex + rawbytes);
    649      1.1  christos 	}
    650      1.1  christos 	j->offset = -1; /* Invalid, must seek explicitly. */
    651      1.1  christos 
    652      1.1  christos 	/*
    653      1.1  christos 	 * Initialize the iterator.
    654      1.1  christos 	 */
    655      1.1  christos 	dns_name_init(&j->it.name, NULL);
    656      1.1  christos 	dns_rdata_init(&j->it.rdata);
    657      1.1  christos 
    658      1.1  christos 	/*
    659      1.1  christos 	 * Set up empty initial buffers for unchecked and checked
    660      1.1  christos 	 * wire format RR data.  They will be reallocated
    661      1.1  christos 	 * later.
    662      1.1  christos 	 */
    663      1.1  christos 	isc_buffer_init(&j->it.source, NULL, 0);
    664      1.1  christos 	isc_buffer_init(&j->it.target, NULL, 0);
    665      1.1  christos 	dns_decompress_init(&j->it.dctx, -1, DNS_DECOMPRESS_NONE);
    666      1.1  christos 
    667      1.1  christos 	j->state =
    668      1.1  christos 		writable ? JOURNAL_STATE_WRITE : JOURNAL_STATE_READ;
    669      1.1  christos 
    670      1.1  christos 	*journalp = j;
    671      1.1  christos 	return (ISC_R_SUCCESS);
    672      1.1  christos 
    673      1.1  christos  failure:
    674      1.1  christos 	j->magic = 0;
    675      1.1  christos 	if (j->rawindex != NULL)
    676      1.1  christos 		isc_mem_put(j->mctx, j->rawindex, j->header.index_size *
    677      1.1  christos 			    sizeof(journal_rawpos_t));
    678      1.1  christos 	if (j->index != NULL)
    679      1.1  christos 		isc_mem_put(j->mctx, j->index, j->header.index_size *
    680      1.1  christos 			    sizeof(journal_pos_t));
    681      1.1  christos 	if (j->filename != NULL)
    682      1.1  christos 		isc_mem_free(j->mctx, j->filename);
    683      1.1  christos 	if (j->fp != NULL)
    684      1.1  christos 		(void)isc_stdio_close(j->fp);
    685      1.1  christos 	isc_mem_putanddetach(&j->mctx, j, sizeof(*j));
    686      1.1  christos 	return (result);
    687      1.1  christos }
    688      1.1  christos 
    689      1.1  christos isc_result_t
    690      1.1  christos dns_journal_open(isc_mem_t *mctx, const char *filename, unsigned int mode,
    691      1.1  christos 		 dns_journal_t **journalp)
    692      1.1  christos {
    693      1.1  christos 	isc_result_t result;
    694      1.1  christos 	size_t namelen;
    695      1.1  christos 	char backup[1024];
    696  1.1.1.2  christos 	bool writable, create;
    697      1.1  christos 
    698  1.1.1.2  christos 	create = ((mode & DNS_JOURNAL_CREATE) != 0);
    699  1.1.1.2  christos 	writable = ((mode & (DNS_JOURNAL_WRITE|DNS_JOURNAL_CREATE)) != 0);
    700      1.1  christos 
    701      1.1  christos 	result = journal_open(mctx, filename, writable, create, journalp);
    702      1.1  christos 	if (result == ISC_R_NOTFOUND) {
    703      1.1  christos 		namelen = strlen(filename);
    704      1.1  christos 		if (namelen > 4U && strcmp(filename + namelen - 4, ".jnl") == 0)
    705      1.1  christos 			namelen -= 4;
    706      1.1  christos 
    707  1.1.1.2  christos 		result = snprintf(backup, sizeof(backup), "%.*s.jbk",
    708  1.1.1.2  christos 				  (int)namelen, filename);
    709  1.1.1.2  christos 		if (result >= sizeof(backup)) {
    710  1.1.1.2  christos 			return ISC_R_NOSPACE;
    711  1.1.1.2  christos 		}
    712      1.1  christos 		result = journal_open(mctx, backup, writable, writable,
    713      1.1  christos 				      journalp);
    714      1.1  christos 	}
    715      1.1  christos 	return (result);
    716      1.1  christos }
    717      1.1  christos 
    718      1.1  christos /*
    719      1.1  christos  * A comparison function defining the sorting order for
    720      1.1  christos  * entries in the IXFR-style journal file.
    721      1.1  christos  *
    722      1.1  christos  * The IXFR format requires that deletions are sorted before
    723      1.1  christos  * additions, and within either one, SOA records are sorted
    724      1.1  christos  * before others.
    725      1.1  christos  *
    726      1.1  christos  * Also sort the non-SOA records by type as a courtesy to the
    727      1.1  christos  * server receiving the IXFR - it may help reduce the amount of
    728      1.1  christos  * rdataset merging it has to do.
    729      1.1  christos  */
    730      1.1  christos static int
    731      1.1  christos ixfr_order(const void *av, const void *bv) {
    732      1.1  christos 	dns_difftuple_t const * const *ap = av;
    733      1.1  christos 	dns_difftuple_t const * const *bp = bv;
    734      1.1  christos 	dns_difftuple_t const *a = *ap;
    735      1.1  christos 	dns_difftuple_t const *b = *bp;
    736      1.1  christos 	int r;
    737      1.1  christos 	int bop = 0, aop = 0;
    738      1.1  christos 
    739      1.1  christos 	switch (a->op) {
    740      1.1  christos 	case DNS_DIFFOP_DEL:
    741      1.1  christos 	case DNS_DIFFOP_DELRESIGN:
    742      1.1  christos 		aop = 1;
    743      1.1  christos 		break;
    744      1.1  christos 	case DNS_DIFFOP_ADD:
    745      1.1  christos 	case DNS_DIFFOP_ADDRESIGN:
    746      1.1  christos 		aop = 0;
    747      1.1  christos 		break;
    748      1.1  christos 	default:
    749      1.1  christos 		INSIST(0);
    750  1.1.1.2  christos 		ISC_UNREACHABLE();
    751      1.1  christos 	}
    752      1.1  christos 
    753      1.1  christos 	switch (b->op) {
    754      1.1  christos 	case DNS_DIFFOP_DEL:
    755      1.1  christos 	case DNS_DIFFOP_DELRESIGN:
    756      1.1  christos 		bop = 1;
    757      1.1  christos 		break;
    758      1.1  christos 	case DNS_DIFFOP_ADD:
    759      1.1  christos 	case DNS_DIFFOP_ADDRESIGN:
    760      1.1  christos 		bop = 0;
    761      1.1  christos 		break;
    762      1.1  christos 	default:
    763      1.1  christos 		INSIST(0);
    764  1.1.1.2  christos 		ISC_UNREACHABLE();
    765      1.1  christos 	}
    766      1.1  christos 
    767      1.1  christos 	r = bop - aop;
    768      1.1  christos 	if (r != 0)
    769      1.1  christos 		return (r);
    770      1.1  christos 
    771      1.1  christos 	r = (b->rdata.type == dns_rdatatype_soa) -
    772      1.1  christos 		(a->rdata.type == dns_rdatatype_soa);
    773      1.1  christos 	if (r != 0)
    774      1.1  christos 		return (r);
    775      1.1  christos 
    776      1.1  christos 	r = (a->rdata.type - b->rdata.type);
    777      1.1  christos 	return (r);
    778      1.1  christos }
    779      1.1  christos 
    780      1.1  christos /*
    781      1.1  christos  * Advance '*pos' to the next journal transaction.
    782      1.1  christos  *
    783      1.1  christos  * Requires:
    784      1.1  christos  *	*pos refers to a valid journal transaction.
    785      1.1  christos  *
    786      1.1  christos  * Ensures:
    787      1.1  christos  *	When ISC_R_SUCCESS is returned,
    788      1.1  christos  *	*pos refers to the next journal transaction.
    789      1.1  christos  *
    790      1.1  christos  * Returns one of:
    791      1.1  christos  *
    792      1.1  christos  *    ISC_R_SUCCESS
    793      1.1  christos  *    ISC_R_NOMORE 	*pos pointed at the last transaction
    794      1.1  christos  *    Other results due to file errors are possible.
    795      1.1  christos  */
    796      1.1  christos static isc_result_t
    797      1.1  christos journal_next(dns_journal_t *j, journal_pos_t *pos) {
    798      1.1  christos 	isc_result_t result;
    799      1.1  christos 	journal_xhdr_t xhdr;
    800      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
    801      1.1  christos 
    802      1.1  christos 	result = journal_seek(j, pos->offset);
    803      1.1  christos 	if (result != ISC_R_SUCCESS)
    804      1.1  christos 		return (result);
    805      1.1  christos 
    806      1.1  christos 	if (pos->serial == j->header.end.serial)
    807      1.1  christos 		return (ISC_R_NOMORE);
    808      1.1  christos 	/*
    809      1.1  christos 	 * Read the header of the current transaction.
    810      1.1  christos 	 * This will return ISC_R_NOMORE if we are at EOF.
    811      1.1  christos 	 */
    812      1.1  christos 	result = journal_read_xhdr(j, &xhdr);
    813      1.1  christos 	if (result != ISC_R_SUCCESS)
    814      1.1  christos 		return (result);
    815      1.1  christos 
    816      1.1  christos 	/*
    817      1.1  christos 	 * Check serial number consistency.
    818      1.1  christos 	 */
    819      1.1  christos 	if (xhdr.serial0 != pos->serial) {
    820      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    821      1.1  christos 			      "%s: journal file corrupt: "
    822      1.1  christos 			      "expected serial %u, got %u",
    823      1.1  christos 			      j->filename, pos->serial, xhdr.serial0);
    824      1.1  christos 		return (ISC_R_UNEXPECTED);
    825      1.1  christos 	}
    826      1.1  christos 
    827      1.1  christos 	/*
    828      1.1  christos 	 * Check for offset wraparound.
    829      1.1  christos 	 */
    830      1.1  christos 	if ((isc_offset_t)(pos->offset + sizeof(journal_rawxhdr_t) + xhdr.size)
    831      1.1  christos 	    < pos->offset) {
    832      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
    833      1.1  christos 			      "%s: offset too large", j->filename);
    834      1.1  christos 		return (ISC_R_UNEXPECTED);
    835      1.1  christos 	}
    836      1.1  christos 
    837      1.1  christos 	pos->offset += sizeof(journal_rawxhdr_t) + xhdr.size;
    838      1.1  christos 	pos->serial = xhdr.serial1;
    839      1.1  christos 	return (ISC_R_SUCCESS);
    840      1.1  christos }
    841      1.1  christos 
    842      1.1  christos /*
    843      1.1  christos  * If the index of the journal 'j' contains an entry "better"
    844      1.1  christos  * than '*best_guess', replace '*best_guess' with it.
    845      1.1  christos  *
    846      1.1  christos  * "Better" means having a serial number closer to 'serial'
    847      1.1  christos  * but not greater than 'serial'.
    848      1.1  christos  */
    849      1.1  christos static void
    850  1.1.1.2  christos index_find(dns_journal_t *j, uint32_t serial, journal_pos_t *best_guess) {
    851      1.1  christos 	unsigned int i;
    852      1.1  christos 	if (j->index == NULL)
    853      1.1  christos 		return;
    854      1.1  christos 	for (i = 0; i < j->header.index_size; i++) {
    855      1.1  christos 		if (POS_VALID(j->index[i]) &&
    856      1.1  christos 		    DNS_SERIAL_GE(serial, j->index[i].serial) &&
    857      1.1  christos 		    DNS_SERIAL_GT(j->index[i].serial, best_guess->serial))
    858      1.1  christos 			*best_guess = j->index[i];
    859      1.1  christos 	}
    860      1.1  christos }
    861      1.1  christos 
    862      1.1  christos /*
    863      1.1  christos  * Add a new index entry.  If there is no room, make room by removing
    864      1.1  christos  * the odd-numbered entries and compacting the others into the first
    865      1.1  christos  * half of the index.  This decimates old index entries exponentially
    866      1.1  christos  * over time, so that the index always contains a much larger fraction
    867      1.1  christos  * of recent serial numbers than of old ones.  This is deliberate -
    868      1.1  christos  * most index searches are for outgoing IXFR, and IXFR tends to request
    869      1.1  christos  * recent versions more often than old ones.
    870      1.1  christos  */
    871      1.1  christos static void
    872      1.1  christos index_add(dns_journal_t *j, journal_pos_t *pos) {
    873      1.1  christos 	unsigned int i;
    874      1.1  christos 	if (j->index == NULL)
    875      1.1  christos 		return;
    876      1.1  christos 	/*
    877      1.1  christos 	 * Search for a vacant position.
    878      1.1  christos 	 */
    879      1.1  christos 	for (i = 0; i < j->header.index_size; i++) {
    880      1.1  christos 		if (! POS_VALID(j->index[i]))
    881      1.1  christos 			break;
    882      1.1  christos 	}
    883      1.1  christos 	if (i == j->header.index_size) {
    884      1.1  christos 		unsigned int k = 0;
    885      1.1  christos 		/*
    886      1.1  christos 		 * Found no vacant position.  Make some room.
    887      1.1  christos 		 */
    888      1.1  christos 		for (i = 0; i < j->header.index_size; i += 2) {
    889      1.1  christos 			j->index[k++] = j->index[i];
    890      1.1  christos 		}
    891      1.1  christos 		i = k; /* 'i' identifies the first vacant position. */
    892      1.1  christos 		while (k < j->header.index_size) {
    893      1.1  christos 			POS_INVALIDATE(j->index[k]);
    894      1.1  christos 			k++;
    895      1.1  christos 		}
    896      1.1  christos 	}
    897      1.1  christos 	INSIST(i < j->header.index_size);
    898      1.1  christos 	INSIST(! POS_VALID(j->index[i]));
    899      1.1  christos 
    900      1.1  christos 	/*
    901      1.1  christos 	 * Store the new index entry.
    902      1.1  christos 	 */
    903      1.1  christos 	j->index[i] = *pos;
    904      1.1  christos }
    905      1.1  christos 
    906      1.1  christos /*
    907      1.1  christos  * Invalidate any existing index entries that could become
    908      1.1  christos  * ambiguous when a new transaction with number 'serial' is added.
    909      1.1  christos  */
    910      1.1  christos static void
    911  1.1.1.2  christos index_invalidate(dns_journal_t *j, uint32_t serial) {
    912      1.1  christos 	unsigned int i;
    913      1.1  christos 	if (j->index == NULL)
    914      1.1  christos 		return;
    915      1.1  christos 	for (i = 0; i < j->header.index_size; i++) {
    916      1.1  christos 		if (! DNS_SERIAL_GT(serial, j->index[i].serial))
    917      1.1  christos 			POS_INVALIDATE(j->index[i]);
    918      1.1  christos 	}
    919      1.1  christos }
    920      1.1  christos 
    921      1.1  christos /*
    922      1.1  christos  * Try to find a transaction with initial serial number 'serial'
    923      1.1  christos  * in the journal 'j'.
    924      1.1  christos  *
    925      1.1  christos  * If found, store its position at '*pos' and return ISC_R_SUCCESS.
    926      1.1  christos  *
    927      1.1  christos  * If 'serial' is current (= the ending serial number of the
    928      1.1  christos  * last transaction in the journal), set '*pos' to
    929      1.1  christos  * the position immediately following the last transaction and
    930      1.1  christos  * return ISC_R_SUCCESS.
    931      1.1  christos  *
    932      1.1  christos  * If 'serial' is within the range of addressable serial numbers
    933      1.1  christos  * covered by the journal but that particular serial number is missing
    934      1.1  christos  * (from the journal, not just from the index), return ISC_R_NOTFOUND.
    935      1.1  christos  *
    936      1.1  christos  * If 'serial' is outside the range of addressable serial numbers
    937      1.1  christos  * covered by the journal, return ISC_R_RANGE.
    938      1.1  christos  *
    939      1.1  christos  */
    940      1.1  christos static isc_result_t
    941  1.1.1.2  christos journal_find(dns_journal_t *j, uint32_t serial, journal_pos_t *pos) {
    942      1.1  christos 	isc_result_t result;
    943      1.1  christos 	journal_pos_t current_pos;
    944      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
    945      1.1  christos 
    946      1.1  christos 	if (DNS_SERIAL_GT(j->header.begin.serial, serial))
    947      1.1  christos 		return (ISC_R_RANGE);
    948      1.1  christos 	if (DNS_SERIAL_GT(serial, j->header.end.serial))
    949      1.1  christos 		return (ISC_R_RANGE);
    950      1.1  christos 	if (serial == j->header.end.serial) {
    951      1.1  christos 		*pos = j->header.end;
    952      1.1  christos 		return (ISC_R_SUCCESS);
    953      1.1  christos 	}
    954      1.1  christos 
    955      1.1  christos 	current_pos = j->header.begin;
    956      1.1  christos 	index_find(j, serial, &current_pos);
    957      1.1  christos 
    958      1.1  christos 	while (current_pos.serial != serial) {
    959      1.1  christos 		if (DNS_SERIAL_GT(current_pos.serial, serial))
    960      1.1  christos 			return (ISC_R_NOTFOUND);
    961      1.1  christos 		result = journal_next(j, &current_pos);
    962      1.1  christos 		if (result != ISC_R_SUCCESS)
    963      1.1  christos 			return (result);
    964      1.1  christos 	}
    965      1.1  christos 	*pos = current_pos;
    966      1.1  christos 	return (ISC_R_SUCCESS);
    967      1.1  christos }
    968      1.1  christos 
    969      1.1  christos isc_result_t
    970      1.1  christos dns_journal_begin_transaction(dns_journal_t *j) {
    971  1.1.1.2  christos 	uint32_t offset;
    972      1.1  christos 	isc_result_t result;
    973      1.1  christos 	journal_rawxhdr_t hdr;
    974      1.1  christos 
    975      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
    976      1.1  christos 	REQUIRE(j->state == JOURNAL_STATE_WRITE ||
    977      1.1  christos 		j->state == JOURNAL_STATE_INLINE);
    978      1.1  christos 
    979      1.1  christos 	/*
    980      1.1  christos 	 * Find the file offset where the new transaction should
    981      1.1  christos 	 * be written, and seek there.
    982      1.1  christos 	 */
    983      1.1  christos 	if (JOURNAL_EMPTY(&j->header)) {
    984      1.1  christos 		offset = sizeof(journal_rawheader_t) +
    985      1.1  christos 			j->header.index_size * sizeof(journal_rawpos_t);
    986      1.1  christos 	} else {
    987      1.1  christos 		offset = j->header.end.offset;
    988      1.1  christos 	}
    989      1.1  christos 	j->x.pos[0].offset = offset;
    990      1.1  christos 	j->x.pos[1].offset = offset; /* Initial value, will be incremented. */
    991      1.1  christos 	j->x.n_soa = 0;
    992      1.1  christos 
    993      1.1  christos 	CHECK(journal_seek(j, offset));
    994      1.1  christos 
    995      1.1  christos 	/*
    996      1.1  christos 	 * Write a dummy transaction header of all zeroes to reserve
    997      1.1  christos 	 * space.  It will be filled in when the transaction is
    998      1.1  christos 	 * finished.
    999      1.1  christos 	 */
   1000      1.1  christos 	memset(&hdr, 0, sizeof(hdr));
   1001      1.1  christos 	CHECK(journal_write(j, &hdr, sizeof(hdr)));
   1002      1.1  christos 	j->x.pos[1].offset = j->offset;
   1003      1.1  christos 
   1004      1.1  christos 	j->state = JOURNAL_STATE_TRANSACTION;
   1005      1.1  christos 	result = ISC_R_SUCCESS;
   1006      1.1  christos  failure:
   1007      1.1  christos 	return (result);
   1008      1.1  christos }
   1009      1.1  christos 
   1010      1.1  christos isc_result_t
   1011      1.1  christos dns_journal_writediff(dns_journal_t *j, dns_diff_t *diff) {
   1012      1.1  christos 	dns_difftuple_t *t;
   1013      1.1  christos 	isc_buffer_t buffer;
   1014      1.1  christos 	void *mem = NULL;
   1015  1.1.1.2  christos 	uint64_t size;
   1016      1.1  christos 	isc_result_t result;
   1017      1.1  christos 	isc_region_t used;
   1018      1.1  christos 
   1019      1.1  christos 	REQUIRE(DNS_DIFF_VALID(diff));
   1020      1.1  christos 	REQUIRE(j->state == JOURNAL_STATE_TRANSACTION);
   1021      1.1  christos 
   1022      1.1  christos 	isc_log_write(JOURNAL_DEBUG_LOGARGS(3), "writing to journal");
   1023      1.1  christos 	(void)dns_diff_print(diff, NULL);
   1024      1.1  christos 
   1025      1.1  christos 	/*
   1026      1.1  christos 	 * Pass 1: determine the buffer size needed, and
   1027      1.1  christos 	 * keep track of SOA serial numbers.
   1028      1.1  christos 	 */
   1029      1.1  christos 	size = 0;
   1030      1.1  christos 	for (t = ISC_LIST_HEAD(diff->tuples); t != NULL;
   1031      1.1  christos 	     t = ISC_LIST_NEXT(t, link))
   1032      1.1  christos 	{
   1033      1.1  christos 		if (t->rdata.type == dns_rdatatype_soa) {
   1034      1.1  christos 			if (j->x.n_soa < 2)
   1035      1.1  christos 				j->x.pos[j->x.n_soa].serial =
   1036      1.1  christos 					dns_soa_getserial(&t->rdata);
   1037      1.1  christos 			j->x.n_soa++;
   1038      1.1  christos 		}
   1039      1.1  christos 		size += sizeof(journal_rawrrhdr_t);
   1040      1.1  christos 		size += t->name.length; /* XXX should have access macro? */
   1041      1.1  christos 		size += 10;
   1042      1.1  christos 		size += t->rdata.length;
   1043      1.1  christos 	}
   1044      1.1  christos 
   1045      1.1  christos 	if (size >= DNS_JOURNAL_SIZE_MAX) {
   1046      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1047      1.1  christos 			      "dns_journal_writediff: %s: journal entry "
   1048  1.1.1.2  christos 			      "too big to be stored: %" PRIu64 " bytes", j->filename,
   1049      1.1  christos 			      size);
   1050      1.1  christos 		return (ISC_R_NOSPACE);
   1051      1.1  christos 	}
   1052      1.1  christos 
   1053      1.1  christos 	mem = isc_mem_get(j->mctx, size);
   1054      1.1  christos 	if (mem == NULL)
   1055      1.1  christos 		return (ISC_R_NOMEMORY);
   1056      1.1  christos 
   1057      1.1  christos 	isc_buffer_init(&buffer, mem, size);
   1058      1.1  christos 
   1059      1.1  christos 	/*
   1060      1.1  christos 	 * Pass 2.  Write RRs to buffer.
   1061      1.1  christos 	 */
   1062      1.1  christos 	for (t = ISC_LIST_HEAD(diff->tuples); t != NULL;
   1063      1.1  christos 	     t = ISC_LIST_NEXT(t, link))
   1064      1.1  christos 	{
   1065      1.1  christos 		/*
   1066      1.1  christos 		 * Write the RR header.
   1067      1.1  christos 		 */
   1068      1.1  christos 		isc_buffer_putuint32(&buffer, t->name.length + 10 +
   1069      1.1  christos 				     t->rdata.length);
   1070      1.1  christos 		/*
   1071      1.1  christos 		 * Write the owner name, RR header, and RR data.
   1072      1.1  christos 		 */
   1073      1.1  christos 		isc_buffer_putmem(&buffer, t->name.ndata, t->name.length);
   1074      1.1  christos 		isc_buffer_putuint16(&buffer, t->rdata.type);
   1075      1.1  christos 		isc_buffer_putuint16(&buffer, t->rdata.rdclass);
   1076      1.1  christos 		isc_buffer_putuint32(&buffer, t->ttl);
   1077      1.1  christos 		INSIST(t->rdata.length < 65536);
   1078  1.1.1.2  christos 		isc_buffer_putuint16(&buffer, (uint16_t)t->rdata.length);
   1079      1.1  christos 		INSIST(isc_buffer_availablelength(&buffer) >= t->rdata.length);
   1080      1.1  christos 		isc_buffer_putmem(&buffer, t->rdata.data, t->rdata.length);
   1081      1.1  christos 	}
   1082      1.1  christos 
   1083      1.1  christos 	isc_buffer_usedregion(&buffer, &used);
   1084      1.1  christos 	INSIST(used.length == size);
   1085      1.1  christos 
   1086      1.1  christos 	j->x.pos[1].offset += used.length;
   1087      1.1  christos 
   1088      1.1  christos 	/*
   1089      1.1  christos 	 * Write the buffer contents to the journal file.
   1090      1.1  christos 	 */
   1091      1.1  christos 	CHECK(journal_write(j, used.base, used.length));
   1092      1.1  christos 
   1093      1.1  christos 	result = ISC_R_SUCCESS;
   1094      1.1  christos 
   1095      1.1  christos  failure:
   1096      1.1  christos 	if (mem != NULL)
   1097      1.1  christos 		isc_mem_put(j->mctx, mem, size);
   1098      1.1  christos 	return (result);
   1099      1.1  christos 
   1100      1.1  christos }
   1101      1.1  christos 
   1102      1.1  christos isc_result_t
   1103      1.1  christos dns_journal_commit(dns_journal_t *j) {
   1104      1.1  christos 	isc_result_t result;
   1105      1.1  christos 	journal_rawheader_t rawheader;
   1106  1.1.1.2  christos 	uint64_t total;
   1107      1.1  christos 
   1108      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
   1109      1.1  christos 	REQUIRE(j->state == JOURNAL_STATE_TRANSACTION ||
   1110      1.1  christos 		j->state == JOURNAL_STATE_INLINE);
   1111      1.1  christos 
   1112      1.1  christos 	/*
   1113      1.1  christos 	 * Just write out a updated header.
   1114      1.1  christos 	 */
   1115      1.1  christos 	if (j->state == JOURNAL_STATE_INLINE) {
   1116      1.1  christos 		CHECK(journal_fsync(j));
   1117      1.1  christos 		journal_header_encode(&j->header, &rawheader);
   1118      1.1  christos 		CHECK(journal_seek(j, 0));
   1119      1.1  christos 		CHECK(journal_write(j, &rawheader, sizeof(rawheader)));
   1120      1.1  christos 		CHECK(journal_fsync(j));
   1121      1.1  christos 		j->state = JOURNAL_STATE_WRITE;
   1122      1.1  christos 		return (ISC_R_SUCCESS);
   1123      1.1  christos 	}
   1124      1.1  christos 
   1125      1.1  christos 	/*
   1126      1.1  christos 	 * Perform some basic consistency checks.
   1127      1.1  christos 	 */
   1128      1.1  christos 	if (j->x.n_soa != 2) {
   1129      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1130      1.1  christos 			      "%s: malformed transaction: %d SOAs",
   1131      1.1  christos 			      j->filename, j->x.n_soa);
   1132      1.1  christos 		return (ISC_R_UNEXPECTED);
   1133      1.1  christos 	}
   1134  1.1.1.2  christos 	if (! DNS_SERIAL_GT(j->x.pos[1].serial, j->x.pos[0].serial)) {
   1135      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1136      1.1  christos 			      "%s: malformed transaction: serial number "
   1137  1.1.1.2  christos 			      "did not increase", j->filename);
   1138      1.1  christos 		return (ISC_R_UNEXPECTED);
   1139      1.1  christos 	}
   1140      1.1  christos 	if (! JOURNAL_EMPTY(&j->header)) {
   1141      1.1  christos 		if (j->x.pos[0].serial != j->header.end.serial) {
   1142      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1143      1.1  christos 					 "malformed transaction: "
   1144      1.1  christos 					 "%s last serial %u != "
   1145      1.1  christos 					 "transaction first serial %u",
   1146      1.1  christos 					 j->filename,
   1147      1.1  christos 					 j->header.end.serial,
   1148      1.1  christos 					 j->x.pos[0].serial);
   1149      1.1  christos 			return (ISC_R_UNEXPECTED);
   1150      1.1  christos 		}
   1151      1.1  christos 	}
   1152      1.1  christos 
   1153      1.1  christos 	/*
   1154      1.1  christos 	 * We currently don't support huge journal entries.
   1155      1.1  christos 	 */
   1156      1.1  christos 	total = j->x.pos[1].offset - j->x.pos[0].offset;
   1157      1.1  christos 	if (total >= DNS_JOURNAL_SIZE_MAX) {
   1158      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1159      1.1  christos 			     "transaction too big to be stored in journal: "
   1160  1.1.1.2  christos 			     "%" PRIu64 "b (max is %" PRIu64 "b)", total,
   1161  1.1.1.2  christos 			     (uint64_t)DNS_JOURNAL_SIZE_MAX);
   1162      1.1  christos 		return (ISC_R_UNEXPECTED);
   1163      1.1  christos 	}
   1164      1.1  christos 
   1165      1.1  christos 	/*
   1166      1.1  christos 	 * Some old journal entries may become non-addressable
   1167      1.1  christos 	 * when we increment the current serial number.  Purge them
   1168      1.1  christos 	 * by stepping header.begin forward to the first addressable
   1169      1.1  christos 	 * transaction.  Also purge them from the index.
   1170      1.1  christos 	 */
   1171      1.1  christos 	if (! JOURNAL_EMPTY(&j->header)) {
   1172      1.1  christos 		while (! DNS_SERIAL_GT(j->x.pos[1].serial,
   1173      1.1  christos 				       j->header.begin.serial)) {
   1174      1.1  christos 			CHECK(journal_next(j, &j->header.begin));
   1175      1.1  christos 		}
   1176      1.1  christos 		index_invalidate(j, j->x.pos[1].serial);
   1177      1.1  christos 	}
   1178      1.1  christos #ifdef notyet
   1179      1.1  christos 	if (DNS_SERIAL_GT(last_dumped_serial, j->x.pos[1].serial)) {
   1180      1.1  christos 		force_dump(...);
   1181      1.1  christos 	}
   1182      1.1  christos #endif
   1183      1.1  christos 
   1184      1.1  christos 	/*
   1185      1.1  christos 	 * Commit the transaction data to stable storage.
   1186      1.1  christos 	 */
   1187      1.1  christos 	CHECK(journal_fsync(j));
   1188      1.1  christos 
   1189      1.1  christos 	if (j->state == JOURNAL_STATE_TRANSACTION) {
   1190      1.1  christos 		isc_offset_t offset;
   1191      1.1  christos 		offset = (j->x.pos[1].offset - j->x.pos[0].offset) -
   1192      1.1  christos 				 sizeof(journal_rawxhdr_t);
   1193      1.1  christos 		/*
   1194      1.1  christos 		 * Update the transaction header.
   1195      1.1  christos 		 */
   1196      1.1  christos 		CHECK(journal_seek(j, j->x.pos[0].offset));
   1197      1.1  christos 		CHECK(journal_write_xhdr(j, offset, j->x.pos[0].serial,
   1198      1.1  christos 					 j->x.pos[1].serial));
   1199      1.1  christos 	}
   1200      1.1  christos 
   1201      1.1  christos 	/*
   1202      1.1  christos 	 * Update the journal header.
   1203      1.1  christos 	 */
   1204      1.1  christos 	if (JOURNAL_EMPTY(&j->header))
   1205      1.1  christos 		j->header.begin = j->x.pos[0];
   1206      1.1  christos 	j->header.end = j->x.pos[1];
   1207      1.1  christos 	journal_header_encode(&j->header, &rawheader);
   1208      1.1  christos 	CHECK(journal_seek(j, 0));
   1209      1.1  christos 	CHECK(journal_write(j, &rawheader, sizeof(rawheader)));
   1210      1.1  christos 
   1211      1.1  christos 	/*
   1212      1.1  christos 	 * Update the index.
   1213      1.1  christos 	 */
   1214      1.1  christos 	index_add(j, &j->x.pos[0]);
   1215      1.1  christos 
   1216      1.1  christos 	/*
   1217      1.1  christos 	 * Convert the index into on-disk format and write
   1218      1.1  christos 	 * it to disk.
   1219      1.1  christos 	 */
   1220      1.1  christos 	CHECK(index_to_disk(j));
   1221      1.1  christos 
   1222      1.1  christos 	/*
   1223      1.1  christos 	 * Commit the header to stable storage.
   1224      1.1  christos 	 */
   1225      1.1  christos 	CHECK(journal_fsync(j));
   1226      1.1  christos 
   1227      1.1  christos 	/*
   1228      1.1  christos 	 * We no longer have a transaction open.
   1229      1.1  christos 	 */
   1230      1.1  christos 	j->state = JOURNAL_STATE_WRITE;
   1231      1.1  christos 
   1232      1.1  christos 	result = ISC_R_SUCCESS;
   1233      1.1  christos 
   1234      1.1  christos  failure:
   1235      1.1  christos 	return (result);
   1236      1.1  christos }
   1237      1.1  christos 
   1238      1.1  christos isc_result_t
   1239      1.1  christos dns_journal_write_transaction(dns_journal_t *j, dns_diff_t *diff) {
   1240      1.1  christos 	isc_result_t result;
   1241      1.1  christos 	CHECK(dns_diff_sort(diff, ixfr_order));
   1242      1.1  christos 	CHECK(dns_journal_begin_transaction(j));
   1243      1.1  christos 	CHECK(dns_journal_writediff(j, diff));
   1244      1.1  christos 	CHECK(dns_journal_commit(j));
   1245      1.1  christos 	result = ISC_R_SUCCESS;
   1246      1.1  christos  failure:
   1247      1.1  christos 	return (result);
   1248      1.1  christos }
   1249      1.1  christos 
   1250      1.1  christos void
   1251      1.1  christos dns_journal_destroy(dns_journal_t **journalp) {
   1252      1.1  christos 	dns_journal_t *j = *journalp;
   1253      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
   1254      1.1  christos 
   1255      1.1  christos 	j->it.result = ISC_R_FAILURE;
   1256      1.1  christos 	dns_name_invalidate(&j->it.name);
   1257      1.1  christos 	dns_decompress_invalidate(&j->it.dctx);
   1258      1.1  christos 	if (j->rawindex != NULL)
   1259      1.1  christos 		isc_mem_put(j->mctx, j->rawindex, j->header.index_size *
   1260      1.1  christos 			    sizeof(journal_rawpos_t));
   1261      1.1  christos 	if (j->index != NULL)
   1262      1.1  christos 		isc_mem_put(j->mctx, j->index, j->header.index_size *
   1263      1.1  christos 			    sizeof(journal_pos_t));
   1264      1.1  christos 	if (j->it.target.base != NULL)
   1265      1.1  christos 		isc_mem_put(j->mctx, j->it.target.base, j->it.target.length);
   1266      1.1  christos 	if (j->it.source.base != NULL)
   1267      1.1  christos 		isc_mem_put(j->mctx, j->it.source.base, j->it.source.length);
   1268      1.1  christos 	if (j->filename != NULL)
   1269      1.1  christos 		isc_mem_free(j->mctx, j->filename);
   1270      1.1  christos 	if (j->fp != NULL)
   1271      1.1  christos 		(void)isc_stdio_close(j->fp);
   1272      1.1  christos 	j->magic = 0;
   1273      1.1  christos 	isc_mem_putanddetach(&j->mctx, j, sizeof(*j));
   1274      1.1  christos 	*journalp = NULL;
   1275      1.1  christos }
   1276      1.1  christos 
   1277      1.1  christos /*
   1278      1.1  christos  * Roll the open journal 'j' into the database 'db'.
   1279      1.1  christos  * A new database version will be created.
   1280      1.1  christos  */
   1281      1.1  christos 
   1282      1.1  christos /* XXX Share code with incoming IXFR? */
   1283      1.1  christos 
   1284      1.1  christos static isc_result_t
   1285      1.1  christos roll_forward(dns_journal_t *j, dns_db_t *db, unsigned int options) {
   1286      1.1  christos 	isc_buffer_t source;		/* Transaction data from disk */
   1287      1.1  christos 	isc_buffer_t target;		/* Ditto after _fromwire check */
   1288  1.1.1.2  christos 	uint32_t db_serial;		/* Database SOA serial */
   1289  1.1.1.2  christos 	uint32_t end_serial;	/* Last journal SOA serial */
   1290      1.1  christos 	isc_result_t result;
   1291      1.1  christos 	dns_dbversion_t *ver = NULL;
   1292      1.1  christos 	journal_pos_t pos;
   1293      1.1  christos 	dns_diff_t diff;
   1294      1.1  christos 	unsigned int n_soa = 0;
   1295      1.1  christos 	unsigned int n_put = 0;
   1296      1.1  christos 	dns_diffop_t op;
   1297      1.1  christos 
   1298      1.1  christos 	REQUIRE(DNS_JOURNAL_VALID(j));
   1299      1.1  christos 	REQUIRE(DNS_DB_VALID(db));
   1300      1.1  christos 
   1301      1.1  christos 	dns_diff_init(j->mctx, &diff);
   1302      1.1  christos 
   1303      1.1  christos 	/*
   1304      1.1  christos 	 * Set up empty initial buffers for unchecked and checked
   1305      1.1  christos 	 * wire format transaction data.  They will be reallocated
   1306      1.1  christos 	 * later.
   1307      1.1  christos 	 */
   1308      1.1  christos 	isc_buffer_init(&source, NULL, 0);
   1309      1.1  christos 	isc_buffer_init(&target, NULL, 0);
   1310      1.1  christos 
   1311      1.1  christos 	/*
   1312      1.1  christos 	 * Create the new database version.
   1313      1.1  christos 	 */
   1314      1.1  christos 	CHECK(dns_db_newversion(db, &ver));
   1315      1.1  christos 
   1316      1.1  christos 	/*
   1317      1.1  christos 	 * Get the current database SOA serial number.
   1318      1.1  christos 	 */
   1319      1.1  christos 	CHECK(dns_db_getsoaserial(db, ver, &db_serial));
   1320      1.1  christos 
   1321      1.1  christos 	/*
   1322      1.1  christos 	 * Locate a journal entry for the current database serial.
   1323      1.1  christos 	 */
   1324      1.1  christos 	CHECK(journal_find(j, db_serial, &pos));
   1325      1.1  christos 	/*
   1326      1.1  christos 	 * XXX do more drastic things, like marking zone stale,
   1327      1.1  christos 	 * if this fails?
   1328      1.1  christos 	 */
   1329      1.1  christos 	/*
   1330      1.1  christos 	 * XXXRTH  The zone code should probably mark the zone as bad and
   1331      1.1  christos 	 *         scream loudly into the log if this is a dynamic update
   1332      1.1  christos 	 *	   log reply that failed.
   1333      1.1  christos 	 */
   1334      1.1  christos 
   1335      1.1  christos 	end_serial = dns_journal_last_serial(j);
   1336      1.1  christos 	if (db_serial == end_serial)
   1337      1.1  christos 		CHECK(DNS_R_UPTODATE);
   1338      1.1  christos 
   1339      1.1  christos 	CHECK(dns_journal_iter_init(j, db_serial, end_serial));
   1340      1.1  christos 
   1341      1.1  christos 	for (result = dns_journal_first_rr(j);
   1342      1.1  christos 	     result == ISC_R_SUCCESS;
   1343      1.1  christos 	     result = dns_journal_next_rr(j))
   1344      1.1  christos 	{
   1345      1.1  christos 		dns_name_t *name;
   1346  1.1.1.2  christos 		uint32_t ttl;
   1347      1.1  christos 		dns_rdata_t *rdata;
   1348      1.1  christos 		dns_difftuple_t *tuple = NULL;
   1349      1.1  christos 
   1350      1.1  christos 		name = NULL;
   1351      1.1  christos 		rdata = NULL;
   1352      1.1  christos 		dns_journal_current_rr(j, &name, &ttl, &rdata);
   1353      1.1  christos 
   1354      1.1  christos 		if (rdata->type == dns_rdatatype_soa) {
   1355      1.1  christos 			n_soa++;
   1356      1.1  christos 			if (n_soa == 2)
   1357      1.1  christos 				db_serial = j->it.current_serial;
   1358      1.1  christos 		}
   1359      1.1  christos 
   1360      1.1  christos 		if (n_soa == 3)
   1361      1.1  christos 			n_soa = 1;
   1362      1.1  christos 		if (n_soa == 0) {
   1363      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1364      1.1  christos 					 "%s: journal file corrupt: missing "
   1365      1.1  christos 					 "initial SOA", j->filename);
   1366      1.1  christos 			FAIL(ISC_R_UNEXPECTED);
   1367      1.1  christos 		}
   1368      1.1  christos 		if ((options & DNS_JOURNALOPT_RESIGN) != 0)
   1369      1.1  christos 			op = (n_soa == 1) ? DNS_DIFFOP_DELRESIGN :
   1370      1.1  christos 					    DNS_DIFFOP_ADDRESIGN;
   1371      1.1  christos 		else
   1372      1.1  christos 			op = (n_soa == 1) ? DNS_DIFFOP_DEL : DNS_DIFFOP_ADD;
   1373      1.1  christos 
   1374      1.1  christos 		CHECK(dns_difftuple_create(diff.mctx, op, name, ttl, rdata,
   1375      1.1  christos 					   &tuple));
   1376      1.1  christos 		dns_diff_append(&diff, &tuple);
   1377      1.1  christos 
   1378      1.1  christos 		if (++n_put > 100)  {
   1379      1.1  christos 			isc_log_write(JOURNAL_DEBUG_LOGARGS(3),
   1380      1.1  christos 				      "%s: applying diff to database (%u)",
   1381      1.1  christos 				      j->filename, db_serial);
   1382      1.1  christos 			(void)dns_diff_print(&diff, NULL);
   1383      1.1  christos 			CHECK(dns_diff_apply(&diff, db, ver));
   1384      1.1  christos 			dns_diff_clear(&diff);
   1385      1.1  christos 			n_put = 0;
   1386      1.1  christos 		}
   1387      1.1  christos 	}
   1388      1.1  christos 	if (result == ISC_R_NOMORE)
   1389      1.1  christos 		result = ISC_R_SUCCESS;
   1390      1.1  christos 	CHECK(result);
   1391      1.1  christos 
   1392      1.1  christos 	if (n_put != 0) {
   1393      1.1  christos 		isc_log_write(JOURNAL_DEBUG_LOGARGS(3),
   1394      1.1  christos 			      "%s: applying final diff to database (%u)",
   1395      1.1  christos 			      j->filename, db_serial);
   1396      1.1  christos 		(void)dns_diff_print(&diff, NULL);
   1397      1.1  christos 		CHECK(dns_diff_apply(&diff, db, ver));
   1398      1.1  christos 		dns_diff_clear(&diff);
   1399      1.1  christos 	}
   1400      1.1  christos 
   1401      1.1  christos  failure:
   1402      1.1  christos 	if (ver != NULL)
   1403      1.1  christos 		dns_db_closeversion(db, &ver, result == ISC_R_SUCCESS ?
   1404  1.1.1.2  christos 				    true : false);
   1405      1.1  christos 
   1406      1.1  christos 	if (source.base != NULL)
   1407      1.1  christos 		isc_mem_put(j->mctx, source.base, source.length);
   1408      1.1  christos 	if (target.base != NULL)
   1409      1.1  christos 		isc_mem_put(j->mctx, target.base, target.length);
   1410      1.1  christos 
   1411      1.1  christos 	dns_diff_clear(&diff);
   1412      1.1  christos 
   1413      1.1  christos 	INSIST(ver == NULL);
   1414      1.1  christos 
   1415      1.1  christos 	return (result);
   1416      1.1  christos }
   1417      1.1  christos 
   1418      1.1  christos isc_result_t
   1419      1.1  christos dns_journal_rollforward(isc_mem_t *mctx, dns_db_t *db, unsigned int options,
   1420      1.1  christos 			const char *filename)
   1421      1.1  christos {
   1422      1.1  christos 	dns_journal_t *j;
   1423      1.1  christos 	isc_result_t result;
   1424      1.1  christos 
   1425      1.1  christos 	REQUIRE(DNS_DB_VALID(db));
   1426      1.1  christos 	REQUIRE(filename != NULL);
   1427      1.1  christos 
   1428      1.1  christos 	j = NULL;
   1429      1.1  christos 	result = dns_journal_open(mctx, filename, DNS_JOURNAL_READ, &j);
   1430      1.1  christos 	if (result == ISC_R_NOTFOUND) {
   1431      1.1  christos 		isc_log_write(JOURNAL_DEBUG_LOGARGS(3),
   1432      1.1  christos 			      "no journal file, but that's OK");
   1433      1.1  christos 		return (DNS_R_NOJOURNAL);
   1434      1.1  christos 	}
   1435      1.1  christos 	if (result != ISC_R_SUCCESS)
   1436      1.1  christos 		return (result);
   1437      1.1  christos 	if (JOURNAL_EMPTY(&j->header))
   1438      1.1  christos 		result = DNS_R_UPTODATE;
   1439      1.1  christos 	else
   1440      1.1  christos 		result = roll_forward(j, db, options);
   1441      1.1  christos 
   1442      1.1  christos 	dns_journal_destroy(&j);
   1443      1.1  christos 
   1444      1.1  christos 	return (result);
   1445      1.1  christos }
   1446      1.1  christos 
   1447      1.1  christos isc_result_t
   1448      1.1  christos dns_journal_print(isc_mem_t *mctx, const char *filename, FILE *file) {
   1449      1.1  christos 	dns_journal_t *j;
   1450      1.1  christos 	isc_buffer_t source;		/* Transaction data from disk */
   1451      1.1  christos 	isc_buffer_t target;		/* Ditto after _fromwire check */
   1452  1.1.1.2  christos 	uint32_t start_serial;		/* Database SOA serial */
   1453  1.1.1.2  christos 	uint32_t end_serial;	/* Last journal SOA serial */
   1454      1.1  christos 	isc_result_t result;
   1455      1.1  christos 	dns_diff_t diff;
   1456      1.1  christos 	unsigned int n_soa = 0;
   1457      1.1  christos 	unsigned int n_put = 0;
   1458      1.1  christos 
   1459      1.1  christos 	REQUIRE(filename != NULL);
   1460      1.1  christos 
   1461      1.1  christos 	j = NULL;
   1462      1.1  christos 	result = dns_journal_open(mctx, filename, DNS_JOURNAL_READ, &j);
   1463      1.1  christos 	if (result == ISC_R_NOTFOUND) {
   1464      1.1  christos 		isc_log_write(JOURNAL_DEBUG_LOGARGS(3), "no journal file");
   1465      1.1  christos 		return (DNS_R_NOJOURNAL);
   1466      1.1  christos 	}
   1467      1.1  christos 
   1468      1.1  christos 	if (result != ISC_R_SUCCESS) {
   1469      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1470      1.1  christos 			      "journal open failure: %s: %s",
   1471      1.1  christos 			      isc_result_totext(result), filename);
   1472      1.1  christos 		return (result);
   1473      1.1  christos 	}
   1474      1.1  christos 
   1475      1.1  christos 	if (j->header.serialset)
   1476      1.1  christos 		fprintf(file, "Source serial = %u\n", j->header.sourceserial);
   1477      1.1  christos 	dns_diff_init(j->mctx, &diff);
   1478      1.1  christos 
   1479      1.1  christos 	/*
   1480      1.1  christos 	 * Set up empty initial buffers for unchecked and checked
   1481      1.1  christos 	 * wire format transaction data.  They will be reallocated
   1482      1.1  christos 	 * later.
   1483      1.1  christos 	 */
   1484      1.1  christos 	isc_buffer_init(&source, NULL, 0);
   1485      1.1  christos 	isc_buffer_init(&target, NULL, 0);
   1486      1.1  christos 
   1487      1.1  christos 	start_serial = dns_journal_first_serial(j);
   1488      1.1  christos 	end_serial = dns_journal_last_serial(j);
   1489      1.1  christos 
   1490      1.1  christos 	CHECK(dns_journal_iter_init(j, start_serial, end_serial));
   1491      1.1  christos 
   1492      1.1  christos 	for (result = dns_journal_first_rr(j);
   1493      1.1  christos 	     result == ISC_R_SUCCESS;
   1494      1.1  christos 	     result = dns_journal_next_rr(j))
   1495      1.1  christos 	{
   1496      1.1  christos 		dns_name_t *name;
   1497  1.1.1.2  christos 		uint32_t ttl;
   1498      1.1  christos 		dns_rdata_t *rdata;
   1499      1.1  christos 		dns_difftuple_t *tuple = NULL;
   1500      1.1  christos 
   1501      1.1  christos 		name = NULL;
   1502      1.1  christos 		rdata = NULL;
   1503      1.1  christos 		dns_journal_current_rr(j, &name, &ttl, &rdata);
   1504      1.1  christos 
   1505      1.1  christos 		if (rdata->type == dns_rdatatype_soa)
   1506      1.1  christos 			n_soa++;
   1507      1.1  christos 
   1508      1.1  christos 		if (n_soa == 3)
   1509      1.1  christos 			n_soa = 1;
   1510      1.1  christos 		if (n_soa == 0) {
   1511      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1512      1.1  christos 				      "%s: journal file corrupt: missing "
   1513      1.1  christos 				      "initial SOA", j->filename);
   1514      1.1  christos 			FAIL(ISC_R_UNEXPECTED);
   1515      1.1  christos 		}
   1516      1.1  christos 		CHECK(dns_difftuple_create(diff.mctx, n_soa == 1 ?
   1517      1.1  christos 					   DNS_DIFFOP_DEL : DNS_DIFFOP_ADD,
   1518      1.1  christos 					   name, ttl, rdata, &tuple));
   1519      1.1  christos 		dns_diff_append(&diff, &tuple);
   1520      1.1  christos 
   1521      1.1  christos 		if (++n_put > 100)  {
   1522      1.1  christos 			result = dns_diff_print(&diff, file);
   1523      1.1  christos 			dns_diff_clear(&diff);
   1524      1.1  christos 			n_put = 0;
   1525      1.1  christos 			if (result != ISC_R_SUCCESS)
   1526      1.1  christos 				break;
   1527      1.1  christos 		}
   1528      1.1  christos 	}
   1529      1.1  christos 	if (result == ISC_R_NOMORE)
   1530      1.1  christos 		result = ISC_R_SUCCESS;
   1531      1.1  christos 	CHECK(result);
   1532      1.1  christos 
   1533      1.1  christos 	if (n_put != 0) {
   1534      1.1  christos 		result = dns_diff_print(&diff, file);
   1535      1.1  christos 		dns_diff_clear(&diff);
   1536      1.1  christos 	}
   1537      1.1  christos 	goto cleanup;
   1538      1.1  christos 
   1539      1.1  christos  failure:
   1540      1.1  christos 	isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1541      1.1  christos 		      "%s: cannot print: journal file corrupt", j->filename);
   1542      1.1  christos 
   1543      1.1  christos  cleanup:
   1544      1.1  christos 	if (source.base != NULL)
   1545      1.1  christos 		isc_mem_put(j->mctx, source.base, source.length);
   1546      1.1  christos 	if (target.base != NULL)
   1547      1.1  christos 		isc_mem_put(j->mctx, target.base, target.length);
   1548      1.1  christos 
   1549      1.1  christos 	dns_diff_clear(&diff);
   1550      1.1  christos 	dns_journal_destroy(&j);
   1551      1.1  christos 
   1552      1.1  christos 	return (result);
   1553      1.1  christos }
   1554      1.1  christos 
   1555      1.1  christos /**************************************************************************/
   1556      1.1  christos /*
   1557      1.1  christos  * Miscellaneous accessors.
   1558      1.1  christos  */
   1559  1.1.1.2  christos bool
   1560      1.1  christos dns_journal_empty(dns_journal_t *j) {
   1561      1.1  christos 	return (JOURNAL_EMPTY(&j->header));
   1562      1.1  christos }
   1563      1.1  christos 
   1564  1.1.1.2  christos uint32_t
   1565      1.1  christos dns_journal_first_serial(dns_journal_t *j) {
   1566      1.1  christos 	return (j->header.begin.serial);
   1567      1.1  christos }
   1568      1.1  christos 
   1569  1.1.1.2  christos uint32_t
   1570      1.1  christos dns_journal_last_serial(dns_journal_t *j) {
   1571      1.1  christos 	return (j->header.end.serial);
   1572      1.1  christos }
   1573      1.1  christos 
   1574      1.1  christos void
   1575  1.1.1.2  christos dns_journal_set_sourceserial(dns_journal_t *j, uint32_t sourceserial) {
   1576      1.1  christos 
   1577      1.1  christos 	REQUIRE(j->state == JOURNAL_STATE_WRITE ||
   1578      1.1  christos 		j->state == JOURNAL_STATE_INLINE ||
   1579      1.1  christos 		j->state == JOURNAL_STATE_TRANSACTION);
   1580      1.1  christos 
   1581      1.1  christos 	j->header.sourceserial = sourceserial;
   1582  1.1.1.2  christos 	j->header.serialset = true;
   1583      1.1  christos 	if (j->state == JOURNAL_STATE_WRITE)
   1584      1.1  christos 		j->state = JOURNAL_STATE_INLINE;
   1585      1.1  christos }
   1586      1.1  christos 
   1587  1.1.1.2  christos bool
   1588  1.1.1.2  christos dns_journal_get_sourceserial(dns_journal_t *j, uint32_t *sourceserial) {
   1589      1.1  christos 	REQUIRE(sourceserial != NULL);
   1590      1.1  christos 
   1591      1.1  christos 	if (!j->header.serialset)
   1592  1.1.1.2  christos 		return (false);
   1593      1.1  christos 	*sourceserial = j->header.sourceserial;
   1594  1.1.1.2  christos 	return (true);
   1595      1.1  christos }
   1596      1.1  christos 
   1597      1.1  christos /**************************************************************************/
   1598      1.1  christos /*
   1599      1.1  christos  * Iteration support.
   1600      1.1  christos  *
   1601      1.1  christos  * When serving an outgoing IXFR, we transmit a part the journal starting
   1602      1.1  christos  * at the serial number in the IXFR request and ending at the serial
   1603      1.1  christos  * number that is current when the IXFR request arrives.  The ending
   1604      1.1  christos  * serial number is not necessarily at the end of the journal:
   1605      1.1  christos  * the journal may grow while the IXFR is in progress, but we stop
   1606      1.1  christos  * when we reach the serial number that was current when the IXFR started.
   1607      1.1  christos  */
   1608      1.1  christos 
   1609      1.1  christos static isc_result_t read_one_rr(dns_journal_t *j);
   1610      1.1  christos 
   1611      1.1  christos /*
   1612      1.1  christos  * Make sure the buffer 'b' is has at least 'size' bytes
   1613      1.1  christos  * allocated, and clear it.
   1614      1.1  christos  *
   1615      1.1  christos  * Requires:
   1616      1.1  christos  *	Either b->base is NULL, or it points to b->length bytes of memory
   1617      1.1  christos  *	previously allocated by isc_mem_get().
   1618      1.1  christos  */
   1619      1.1  christos 
   1620      1.1  christos static isc_result_t
   1621      1.1  christos size_buffer(isc_mem_t *mctx, isc_buffer_t *b, unsigned size) {
   1622      1.1  christos 	if (b->length < size) {
   1623      1.1  christos 		void *mem = isc_mem_get(mctx, size);
   1624      1.1  christos 		if (mem == NULL)
   1625      1.1  christos 			return (ISC_R_NOMEMORY);
   1626      1.1  christos 		if (b->base != NULL)
   1627      1.1  christos 			isc_mem_put(mctx, b->base, b->length);
   1628      1.1  christos 		b->base = mem;
   1629      1.1  christos 		b->length = size;
   1630      1.1  christos 	}
   1631      1.1  christos 	isc_buffer_clear(b);
   1632      1.1  christos 	return (ISC_R_SUCCESS);
   1633      1.1  christos }
   1634      1.1  christos 
   1635      1.1  christos isc_result_t
   1636      1.1  christos dns_journal_iter_init(dns_journal_t *j,
   1637  1.1.1.2  christos 		      uint32_t begin_serial, uint32_t end_serial)
   1638      1.1  christos {
   1639      1.1  christos 	isc_result_t result;
   1640      1.1  christos 
   1641      1.1  christos 	CHECK(journal_find(j, begin_serial, &j->it.bpos));
   1642      1.1  christos 	INSIST(j->it.bpos.serial == begin_serial);
   1643      1.1  christos 
   1644      1.1  christos 	CHECK(journal_find(j, end_serial, &j->it.epos));
   1645      1.1  christos 	INSIST(j->it.epos.serial == end_serial);
   1646      1.1  christos 
   1647      1.1  christos 	result = ISC_R_SUCCESS;
   1648      1.1  christos  failure:
   1649      1.1  christos 	j->it.result = result;
   1650      1.1  christos 	return (j->it.result);
   1651      1.1  christos }
   1652      1.1  christos 
   1653      1.1  christos 
   1654      1.1  christos isc_result_t
   1655      1.1  christos dns_journal_first_rr(dns_journal_t *j) {
   1656      1.1  christos 	isc_result_t result;
   1657      1.1  christos 
   1658      1.1  christos 	/*
   1659      1.1  christos 	 * Seek to the beginning of the first transaction we are
   1660      1.1  christos 	 * interested in.
   1661      1.1  christos 	 */
   1662      1.1  christos 	CHECK(journal_seek(j, j->it.bpos.offset));
   1663      1.1  christos 	j->it.current_serial = j->it.bpos.serial;
   1664      1.1  christos 
   1665      1.1  christos 	j->it.xsize = 0;  /* We have no transaction data yet... */
   1666      1.1  christos 	j->it.xpos = 0;	  /* ...and haven't used any of it. */
   1667      1.1  christos 
   1668      1.1  christos 	return (read_one_rr(j));
   1669      1.1  christos 
   1670      1.1  christos  failure:
   1671      1.1  christos 	return (result);
   1672      1.1  christos }
   1673      1.1  christos 
   1674      1.1  christos static isc_result_t
   1675      1.1  christos read_one_rr(dns_journal_t *j) {
   1676      1.1  christos 	isc_result_t result;
   1677      1.1  christos 
   1678      1.1  christos 	dns_rdatatype_t rdtype;
   1679      1.1  christos 	dns_rdataclass_t rdclass;
   1680      1.1  christos 	unsigned int rdlen;
   1681  1.1.1.2  christos 	uint32_t ttl;
   1682      1.1  christos 	journal_xhdr_t xhdr;
   1683      1.1  christos 	journal_rrhdr_t rrhdr;
   1684      1.1  christos 
   1685      1.1  christos 	if (j->offset > j->it.epos.offset) {
   1686      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1687      1.1  christos 			      "%s: journal corrupt: possible integer overflow",
   1688      1.1  christos 			      j->filename);
   1689      1.1  christos 		return (ISC_R_UNEXPECTED);
   1690      1.1  christos 	}
   1691      1.1  christos 	if (j->offset == j->it.epos.offset)
   1692      1.1  christos 		return (ISC_R_NOMORE);
   1693      1.1  christos 	if (j->it.xpos == j->it.xsize) {
   1694      1.1  christos 		/*
   1695      1.1  christos 		 * We are at a transaction boundary.
   1696      1.1  christos 		 * Read another transaction header.
   1697      1.1  christos 		 */
   1698      1.1  christos 		CHECK(journal_read_xhdr(j, &xhdr));
   1699      1.1  christos 		if (xhdr.size == 0) {
   1700      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1701      1.1  christos 				      "%s: journal corrupt: empty transaction",
   1702      1.1  christos 				      j->filename);
   1703      1.1  christos 			FAIL(ISC_R_UNEXPECTED);
   1704      1.1  christos 		}
   1705      1.1  christos 		if (xhdr.serial0 != j->it.current_serial) {
   1706      1.1  christos 			isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1707      1.1  christos 					 "%s: journal file corrupt: "
   1708      1.1  christos 					 "expected serial %u, got %u",
   1709      1.1  christos 					 j->filename,
   1710      1.1  christos 					 j->it.current_serial, xhdr.serial0);
   1711      1.1  christos 			FAIL(ISC_R_UNEXPECTED);
   1712      1.1  christos 		}
   1713      1.1  christos 		j->it.xsize = xhdr.size;
   1714      1.1  christos 		j->it.xpos = 0;
   1715      1.1  christos 	}
   1716      1.1  christos 	/*
   1717      1.1  christos 	 * Read an RR.
   1718      1.1  christos 	 */
   1719      1.1  christos 	CHECK(journal_read_rrhdr(j, &rrhdr));
   1720      1.1  christos 	/*
   1721      1.1  christos 	 * Perform a sanity check on the journal RR size.
   1722      1.1  christos 	 * The smallest possible RR has a 1-byte owner name
   1723      1.1  christos 	 * and a 10-byte header.  The largest possible
   1724      1.1  christos 	 * RR has 65535 bytes of data, a header, and a maximum-
   1725      1.1  christos 	 * size owner name, well below 70 k total.
   1726      1.1  christos 	 */
   1727      1.1  christos 	if (rrhdr.size < 1+10 || rrhdr.size > 70000) {
   1728      1.1  christos 		isc_log_write(JOURNAL_COMMON_LOGARGS, ISC_LOG_ERROR,
   1729      1.1  christos 				 "%s: journal corrupt: impossible RR size "
   1730      1.1  christos 				 "(%d bytes)", j->filename, rrhdr.size);
   1731      1.1  christos 		FAIL(ISC_R_UNEXPECTED);
   1732      1.1  christos 	}
   1733      1.1  christos 
   1734      1.1  christos 	CHECK(size_buffer(j->mctx, &j->it.source, rrhdr.size));
   1735      1.1  christos 	CHECK(journal_read(j, j->it.source.base, rrhdr.size));
   1736      1.1  christos 	isc_buffer_add(&j->it.source, rrhdr.size);
   1737      1.1  christos 
   1738      1.1  christos 	/*
   1739      1.1  christos 	 * The target buffer is made the same size
   1740      1.1  christos 	 * as the source buffer, with the assumption that when
   1741      1.1  christos 	 * no compression in present, the output of dns_*_fromwire()
   1742      1.1  christos 	 * is no larger than the input.
   1743      1.1  christos 	 */
   1744      1.1  christos 	CHECK(size_buffer(j->mctx, &j->it.target, rrhdr.size));
   1745      1.1  christos 
   1746      1.1  christos 	/*
   1747      1.1  christos 	 * Parse the owner name.  We don't know where it
   1748      1.1  christos 	 * ends yet, so we make the entire "remaining"
   1749      1.1  christos 	 * part of the buffer "active".
   1750      1.1  christos 	 */
   1751      1.1  christos 	isc_buffer_setactive(&j->it.source,
   1752      1.1  christos 			     j->it.source.used - j->it.source.current);
   1753      1.1  christos 	CHECK(dns_name_fromwire(&j->it.name, &j->it.source,
   1754      1.1  christos 				&j->it.dctx, 0, &j->it.target));
   1755      1.1  christos 
   1756      1.1  christos 	/*
   1757      1.1  christos 	 * Check that the RR header is there, and parse it.
   1758      1.1  christos 	 */
   1759      1.1  christos 	if (isc_buffer_remaininglength(&j->it.source) < 10)
   1760      1.1  christos 		FAIL(DNS_R_FORMERR);
   1761      1.1  christos 
   1762      1.1  christos 	rdtype = isc_buffer_getuint16(&j->it.source);
   1763      1.1  christos 	rdclass = isc_buffer_getuint16(&j->it.source);
   1764      1.1  christos 	ttl = isc_buffer_getuint32(&j->it.source);
   1765      1.1  christos 	rdlen = isc_buffer_getuint16(&j->it.source);
   1766      1.1  christos 
   1767      1.1  christos 	/*
   1768      1.1  christos 	 * Parse the rdata.
   1769      1.1  christos 	 */
   1770      1.1  christos 	if (isc_buffer_remaininglength(&j->it.source) != rdlen)
   1771      1.1  christos 		FAIL(DNS_R_FORMERR);
   1772      1.1  christos 	isc_buffer_setactive(&j->it.source, rdlen);
   1773      1.1  christos 	dns_rdata_reset(&j->it.rdata);
   1774      1.1  christos 	CHECK(dns_rdata_fromwire(&j->it.rdata, rdclass,
   1775      1.1  christos 				 rdtype, &j->it.source, &j->it.dctx,
   1776      1.1  christos 				 0, &j->it.target));
   1777      1.1  christos 	j->it.ttl = ttl;
   1778      1.1  christos 
   1779      1.1  christos 	j->it.xpos += sizeof(journal_rawrrhdr_t) + rrhdr.size;
   1780      1.1  christos 	if (rdtype == dns_rdatatype_soa) {
   1781      1.1  christos 		/* XXX could do additional consistency checks here */
   1782      1.1  christos 		j->it.current_serial = dns_soa_getserial(&j->it.rdata);
   1783      1.1  christos 	}
   1784      1.1  christos 
   1785      1.1  christos 	result = ISC_R_SUCCESS;
   1786      1.1  christos 
   1787      1.1  christos  failure:
   1788      1.1  christos 	j->it.result = result;
   1789      1.1  christos 	return (result);
   1790      1.1  christos }
   1791      1.1  christos 
   1792      1.1  christos isc_result_t
   1793      1.1  christos dns_journal_next_rr(dns_journal_t *j) {
   1794      1.1  christos 	j->it.result = read_one_rr(j);
   1795      1.1  christos 	return (j->it.result);
   1796      1.1  christos }
   1797      1.1  christos 
   1798      1.1  christos void
   1799  1.1.1.2  christos dns_journal_current_rr(dns_journal_t *j, dns_name_t **name, uint32_t *ttl,
   1800      1.1  christos 		   dns_rdata_t **rdata)
   1801      1.1  christos {
   1802      1.1  christos 	REQUIRE(j->it.result == ISC_R_SUCCESS);
   1803      1.1  christos 	*name = &j->it.name;
   1804      1.1  christos 	*ttl = j->it.ttl;
   1805      1.1  christos 	*rdata = &j->it.rdata;
   1806      1.1  christos }
   1807      1.1  christos 
   1808      1.1  christos /**************************************************************************/
   1809      1.1  christos /*
   1810      1.1  christos  * Generating diffs from databases
   1811      1.1  christos  */
   1812      1.1  christos 
   1813      1.1  christos /*
   1814      1.1  christos  * Construct a diff containing all the RRs at the current name of the
   1815      1.1  christos  * database iterator 'dbit' in database 'db', version 'ver'.
   1816      1.1  christos  * Set '*name' to the current name, and append the diff to 'diff'.
   1817      1.1  christos  * All new tuples will have the operation 'op'.
   1818      1.1  christos  *
   1819      1.1  christos  * Requires: 'name' must have buffer large enough to hold the name.
   1820      1.1  christos  * Typically, a dns_fixedname_t would be used.
   1821      1.1  christos  */
   1822      1.1  christos static isc_result_t
   1823      1.1  christos get_name_diff(dns_db_t *db, dns_dbversion_t *ver, isc_stdtime_t now,
   1824      1.1  christos 	      dns_dbiterator_t *dbit, dns_name_t *name, dns_diffop_t op,
   1825      1.1  christos 	      dns_diff_t *diff)
   1826      1.1  christos {
   1827      1.1  christos 	isc_result_t result;
   1828      1.1  christos 	dns_dbnode_t *node = NULL;
   1829      1.1  christos 	dns_rdatasetiter_t *rdsiter = NULL;
   1830      1.1  christos 	dns_difftuple_t *tuple = NULL;
   1831      1.1  christos 
   1832      1.1  christos 	result = dns_dbiterator_current(dbit, &node, name);
   1833      1.1  christos 	if (result != ISC_R_SUCCESS)
   1834      1.1  christos 		return (result);
   1835      1.1  christos 
   1836      1.1  christos 	result = dns_db_allrdatasets(db, node, ver, now, &rdsiter);
   1837      1.1  christos 	if (result != ISC_R_SUCCESS)
   1838      1.1  christos 		goto cleanup_node;
   1839      1.1  christos 
   1840      1.1  christos 	for (result = dns_rdatasetiter_first(rdsiter);
   1841      1.1  christos 	     result == ISC_R_SUCCESS;
   1842      1.1  christos 	     result = dns_rdatasetiter_next(rdsiter))
   1843      1.1  christos 	{
   1844      1.1  christos 		dns_rdataset_t rdataset;
   1845      1.1  christos 
   1846      1.1  christos 		dns_rdataset_init(&rdataset);
   1847      1.1  christos 		dns_rdatasetiter_current(rdsiter, &rdataset);
   1848      1.1  christos 
   1849      1.1  christos 		for (result = dns_rdataset_first(&rdataset);
   1850      1.1  christos 		     result == ISC_R_SUCCESS;
   1851      1.1  christos 		     result = dns_rdataset_next(&rdataset))
   1852      1.1  christos 		{
   1853      1.1  christos 			dns_rdata_t rdata = DNS_RDATA_INIT;
   1854      1.1  christos 			dns_rdataset_current(&rdataset, &rdata);
   1855      1.1  christos 			result = dns_difftuple_create(diff->mctx, op, name,
   1856      1.1  christos 						      rdataset.ttl, &rdata,
   1857      1.1  christos 						      &tuple);
   1858      1.1  christos 			if (result != ISC_R_SUCCESS) {
   1859      1.1  christos 				dns_rdataset_disassociate(&rdataset);
   1860      1.1  christos 				goto cleanup_iterator;
   1861      1.1  christos 			}
   1862      1.1  christos 			dns_diff_append(diff, &tuple);
   1863      1.1  christos 		}
   1864      1.1  christos 		dns_rdataset_disassociate(&rdataset);
   1865      1.1  christos 		if (result != ISC_R_NOMORE)
   1866      1.1  christos 			goto cleanup_iterator;
   1867      1.1  christos 	}
   1868      1.1  christos 	if (result != ISC_R_NOMORE)
   1869      1.1  christos 		goto cleanup_iterator;
   1870      1.1  christos 
   1871      1.1  christos 	result = ISC_R_SUCCESS;
   1872      1.1  christos 
   1873      1.1  christos  cleanup_iterator:
   1874      1.1  christos 	dns_rdatasetiter_destroy(&rdsiter);
   1875      1.1  christos 
   1876      1.1  christos  cleanup_node:
   1877      1.1  christos 	dns_db_detachnode(db, &node);
   1878      1.1  christos 
   1879      1.1  christos 	return (result);
   1880      1.1  christos }
   1881      1.1  christos 
   1882      1.1  christos /*
   1883      1.1  christos  * Comparison function for use by dns_diff_subtract when sorting
   1884      1.1  christos  * the diffs to be subtracted.  The sort keys are the rdata type
   1885      1.1  christos  * and the rdata itself.  The owner name is ignored, because
   1886      1.1  christos  * it is known to be the same for all tuples.
   1887      1.1  christos  */
   1888      1.1  christos static int
   1889      1.1  christos rdata_order(const void *av, const void *bv) {
   1890      1.1  christos 	dns_difftuple_t const * const *ap = av;
   1891      1.1  christos 	dns_difftuple_t const * const *bp = bv;
   1892      1.1  christos 	dns_difftuple_t const *a = *ap;
   1893      1.1  christos 	dns_difftuple_t const *b = *bp;
   1894      1.1  christos 	int r;
   1895      1.1  christos 	r = (b->rdata.type - a->rdata.type);
   1896      1.1  christos 	if (r != 0)
   1897      1.1  christos 		return (r);
   1898      1.1  christos 	r = dns_rdata_compare(&a->rdata, &b->rdata);
   1899      1.1  christos 	return (r);
   1900      1.1  christos }
   1901      1.1  christos 
   1902      1.1  christos static isc_result_t
   1903      1.1  christos dns_diff_subtract(dns_diff_t diff[2], dns_diff_t *r) {
   1904      1.1  christos 	isc_result_t result;
   1905      1.1  christos 	dns_difftuple_t *p[2];
   1906      1.1  christos 	int i, t;
   1907  1.1.1.2  christos 	bool append;
   1908      1.1  christos 
   1909      1.1  christos 	CHECK(dns_diff_sort(&diff[0], rdata_order));
   1910      1.1  christos 	CHECK(dns_diff_sort(&diff[1], rdata_order));
   1911      1.1  christos 
   1912      1.1  christos 	for (;;) {
   1913      1.1  christos 		p[0] = ISC_LIST_HEAD(diff[0].tuples);
   1914      1.1  christos 		p[1] = ISC_LIST_HEAD(diff[1].tuples);
   1915      1.1  christos 		if (p[0] == NULL && p[1] == NULL)
   1916      1.1  christos 			break;
   1917      1.1  christos 
   1918      1.1  christos 		for (i = 0; i < 2; i++)
   1919      1.1  christos 			if (p[!i] == NULL) {
   1920      1.1  christos 				ISC_LIST_UNLINK(diff[i].tuples, p[i], link);
   1921      1.1  christos 				ISC_LIST_APPEND(r->tuples, p[i], link);
   1922      1.1  christos 				goto next;
   1923      1.1  christos 			}
   1924      1.1  christos 		t = rdata_order(&p[0], &p[1]);
   1925      1.1  christos 		if (t < 0) {
   1926      1.1  christos 			ISC_LIST_UNLINK(diff[0].tuples, p[0], link);
   1927      1.1  christos 			ISC_LIST_APPEND(r->tuples, p[0], link);
   1928      1.1  christos 			goto next;
   1929      1.1  christos 		}
   1930      1.1  christos 		if (t > 0) {
   1931      1.1  christos 			ISC_LIST_UNLINK(diff[1].tuples, p[1], link);
   1932      1.1  christos 			ISC_LIST_APPEND(r->tuples, p[1], link);
   1933      1.1  christos 			goto next;
   1934      1.1  christos 		}
   1935      1.1  christos 		INSIST(t == 0);
   1936      1.1  christos 		/*
   1937      1.1  christos 		 * Identical RRs in both databases; skip them both
   1938      1.1  christos 		 * if the ttl differs.
   1939      1.1  christos 		 */
   1940  1.1.1.2  christos 		append = (p[0]->ttl != p[1]->ttl);
   1941      1.1  christos 		for (i = 0; i < 2; i++) {
   1942      1.1  christos 			ISC_LIST_UNLINK(diff[i].tuples, p[i], link);
   1943      1.1  christos 			if (append) {
   1944      1.1  christos 				ISC_LIST_APPEND(r->tuples, p[i], link);
   1945      1.1  christos 			} else {
   1946      1.1  christos 				dns_difftuple_free(&p[i]);
   1947      1.1  christos 			}
   1948      1.1  christos 		}
   1949      1.1  christos 	next: ;
   1950      1.1  christos 	}
   1951      1.1  christos 	result = ISC_R_SUCCESS;
   1952      1.1  christos  failure:
   1953      1.1  christos 	return (result);
   1954      1.1  christos }
   1955      1.1  christos 
   1956      1.1  christos static isc_result_t
   1957      1.1  christos diff_namespace(dns_db_t *dba, dns_dbversion_t *dbvera,
   1958      1.1  christos 	       dns_db_t *dbb, dns_dbversion_t *dbverb,
   1959      1.1  christos 	       unsigned int options, dns_diff_t *resultdiff)
   1960      1.1  christos {
   1961      1.1  christos 	dns_db_t *db[2];
   1962      1.1  christos 	dns_dbversion_t *ver[2];
   1963      1.1  christos 	dns_dbiterator_t *dbit[2] = { NULL, NULL };
   1964  1.1.1.2  christos 	bool have[2] = { false, false };
   1965      1.1  christos 	dns_fixedname_t fixname[2];
   1966      1.1  christos 	isc_result_t result, itresult[2];
   1967      1.1  christos 	dns_diff_t diff[2];
   1968      1.1  christos 	int i, t;
   1969      1.1  christos 
   1970      1.1  christos 	db[0] = dba, db[1] = dbb;
   1971      1.1  christos 	ver[0] = dbvera, ver[1] = dbverb;
   1972      1.1  christos 
   1973      1.1  christos 	dns_diff_init(resultdiff->mctx, &diff[0]);
   1974      1.1  christos 	dns_diff_init(resultdiff->mctx, &diff[1]);
   1975      1.1  christos 
   1976      1.1  christos 	dns_fixedname_init(&fixname[0]);
   1977      1.1  christos 	dns_fixedname_init(&fixname[1]);
   1978      1.1  christos 
   1979      1.1  christos 	result = dns_db_createiterator(db[0], options, &dbit[0]);
   1980      1.1  christos 	if (result != ISC_R_SUCCESS)
   1981      1.1  christos 		return (result);
   1982      1.1  christos 	result = dns_db_createiterator(db[1], options, &dbit[1]);
   1983      1.1  christos 	if (result != ISC_R_SUCCESS)
   1984      1.1  christos 		goto cleanup_iterator;
   1985      1.1  christos 
   1986      1.1  christos 	itresult[0] = dns_dbiterator_first(dbit[0]);
   1987      1.1  christos 	itresult[1] = dns_dbiterator_first(dbit[1]);
   1988      1.1  christos 
   1989      1.1  christos 	for (;;) {
   1990      1.1  christos 		for (i = 0; i < 2; i++) {
   1991      1.1  christos 			if (! have[i] && itresult[i] == ISC_R_SUCCESS) {
   1992      1.1  christos 				CHECK(get_name_diff(db[i], ver[i], 0, dbit[i],
   1993      1.1  christos 					    dns_fixedname_name(&fixname[i]),
   1994      1.1  christos 					    i == 0 ?
   1995      1.1  christos 					    DNS_DIFFOP_ADD :
   1996      1.1  christos 					    DNS_DIFFOP_DEL,
   1997      1.1  christos 					    &diff[i]));
   1998      1.1  christos 				itresult[i] = dns_dbiterator_next(dbit[i]);
   1999  1.1.1.2  christos 				have[i] = true;
   2000      1.1  christos 			}
   2001      1.1  christos 		}
   2002      1.1  christos 
   2003      1.1  christos 		if (! have[0] && ! have[1]) {
   2004      1.1  christos 			INSIST(ISC_LIST_EMPTY(diff[0].tuples));
   2005      1.1  christos 			INSIST(ISC_LIST_EMPTY(diff[1].tuples));
   2006      1.1  christos 			break;
   2007      1.1  christos 		}
   2008      1.1  christos 
   2009      1.1  christos 		for (i = 0; i < 2; i++) {
   2010      1.1  christos 			if (! have[!i]) {
   2011      1.1  christos 				ISC_LIST_APPENDLIST(resultdiff->tuples,
   2012      1.1  christos 						    diff[i].tuples, link);
   2013      1.1  christos 				INSIST(ISC_LIST_EMPTY(diff[i].tuples));
   2014  1.1.1.2  christos 				have[i] = false;
   2015      1.1  christos 				goto next;
   2016      1.1  christos 			}
   2017      1.1  christos 		}
   2018      1.1  christos 
   2019      1.1  christos 		t = dns_name_compare(dns_fixedname_name(&fixname[0]),
   2020      1.1  christos 				     dns_fixedname_name(&fixname[1]));
   2021      1.1  christos 		if (t < 0) {
   2022      1.1  christos 			ISC_LIST_APPENDLIST(resultdiff->tuples,
   2023      1.1  christos 					    diff[0].tuples, link);
   2024      1.1  christos 			INSIST(ISC_LIST_EMPTY(diff[0].tuples));
   2025  1.1.1.2  christos 			have[0] = false;
   2026      1.1  christos 			continue;
   2027      1.1  christos 		}
   2028      1.1  christos 		if (t > 0) {
   2029      1.1  christos 			ISC_LIST_APPENDLIST(resultdiff->tuples,
   2030      1.1  christos 					    diff[1].tuples, link);
   2031      1.1  christos 			INSIST(ISC_LIST_EMPTY(diff[1].tuples));
   2032  1.1.1.2  christos 			have[1] = false;
   2033      1.1  christos 			continue;
   2034      1.1  christos 		}
   2035      1.1  christos 		INSIST(t == 0);
   2036      1.1  christos 		CHECK(dns_diff_subtract(diff, resultdiff));
   2037      1.1  christos 		INSIST(ISC_LIST_EMPTY(diff[0].tuples));
   2038      1.1  christos 		INSIST(ISC_LIST_EMPTY(diff[1].tuples));
   2039  1.1.1.2  christos 		have[0] = have[1] = false;
   2040      1.1  christos 	next: ;
   2041      1.1  christos 	}
   2042      1.1  christos 	if (itresult[0] != ISC_R_NOMORE)
   2043      1.1  christos 		FAIL(itresult[0]);
   2044      1.1  christos 	if (itresult[1] != ISC_R_NOMORE)
   2045      1.1  christos 		FAIL(itresult[1]);
   2046      1.1  christos 
   2047      1.1  christos 	INSIST(ISC_LIST_EMPTY(diff[0].tuples));
   2048      1.1  christos 	INSIST(ISC_LIST_EMPTY(diff[1].tuples));
   2049      1.1  christos 
   2050      1.1  christos  failure:
   2051      1.1  christos 	dns_dbiterator_destroy(&dbit[1]);
   2052      1.1  christos 
   2053      1.1  christos  cleanup_iterator:
   2054      1.1  christos 	dns_dbiterator_destroy(&dbit[0]);
   2055      1.1  christos 	dns_diff_clear(&diff[0]);
   2056      1.1  christos 	dns_diff_clear(&diff[1]);
   2057      1.1  christos 	return (result);
   2058      1.1  christos }
   2059      1.1  christos 
   2060      1.1  christos /*
   2061      1.1  christos  * Compare the databases 'dba' and 'dbb' and generate a journal
   2062      1.1  christos  * entry containing the changes to make 'dba' from 'dbb' (note
   2063      1.1  christos  * the order).  This journal entry will consist of a single,
   2064      1.1  christos  * possibly very large transaction.
   2065      1.1  christos  */
   2066      1.1  christos isc_result_t
   2067      1.1  christos dns_db_diff(isc_mem_t *mctx, dns_db_t *dba, dns_dbversion_t *dbvera,
   2068      1.1  christos 	    dns_db_t *dbb, dns_dbversion_t *dbverb, const char *filename)
   2069      1.1  christos {
   2070      1.1  christos 	isc_result_t result;
   2071      1.1  christos 	dns_diff_t diff;
   2072      1.1  christos 
   2073      1.1  christos 	dns_diff_init(mctx, &diff);
   2074      1.1  christos 
   2075      1.1  christos 	result = dns_db_diffx(&diff, dba, dbvera, dbb, dbverb, filename);
   2076      1.1  christos 
   2077      1.1  christos 	dns_diff_clear(&diff);
   2078      1.1  christos 
   2079      1.1  christos 	return (result);
   2080      1.1  christos }
   2081      1.1  christos 
   2082      1.1  christos isc_result_t
   2083      1.1  christos dns_db_diffx(dns_diff_t *diff, dns_db_t *dba, dns_dbversion_t *dbvera,
   2084      1.1  christos 	     dns_db_t *dbb, dns_dbversion_t *dbverb, const char *filename)
   2085      1.1  christos {
   2086      1.1  christos 	isc_result_t result;
   2087      1.1  christos 	dns_journal_t *journal = NULL;
   2088      1.1  christos 
   2089      1.1  christos 	if (filename != NULL) {
   2090      1.1  christos 		result = dns_journal_open(diff->mctx, filename,
   2091      1.1  christos 					  DNS_JOURNAL_CREATE, &journal);
   2092      1.1  christos 		if (result != ISC_R_SUCCESS)
   2093      1.1  christos 			return (result);
   2094      1.1  christos 	}
   2095      1.1  christos 
   2096      1.1  christos 	CHECK(diff_namespace(dba, dbvera, dbb, dbverb, DNS_DB_NONSEC3, diff));
   2097      1.1  christos 	CHECK(diff_namespace(dba, dbvera, dbb, dbverb, DNS_DB_NSEC3ONLY, diff));
   2098      1.1  christos 
   2099      1.1  christos 	if (journal != NULL) {
   2100      1.1  christos 		if (ISC_LIST_EMPTY(diff->tuples))
   2101      1.1  christos 			isc_log_write(JOURNAL_DEBUG_LOGARGS(3), "no changes");
   2102      1.1  christos 		else
   2103      1.1  christos 			CHECK(dns_journal_write_transaction(journal, diff));
   2104      1.1  christos 	}
   2105      1.1  christos 
   2106      1.1  christos  failure:
   2107      1.1  christos 	if (journal != NULL)
   2108      1.1  christos 		dns_journal_destroy(&journal);
   2109      1.1  christos 	return (result);
   2110      1.1  christos }
   2111      1.1  christos 
   2112      1.1  christos isc_result_t
   2113  1.1.1.2  christos dns_journal_compact(isc_mem_t *mctx, char *filename, uint32_t serial,
   2114  1.1.1.2  christos 		    uint32_t target_size)
   2115      1.1  christos {
   2116      1.1  christos 	unsigned int i;
   2117      1.1  christos 	journal_pos_t best_guess;
   2118      1.1  christos 	journal_pos_t current_pos;
   2119      1.1  christos 	dns_journal_t *j1 = NULL;
   2120      1.1  christos 	dns_journal_t *j2 = NULL;
   2121      1.1  christos 	journal_rawheader_t rawheader;
   2122      1.1  christos 	unsigned int copy_length;
   2123      1.1  christos 	size_t namelen;
   2124      1.1  christos 	char *buf = NULL;
   2125      1.1  christos 	unsigned int size = 0;
   2126      1.1  christos 	isc_result_t result;
   2127      1.1  christos 	unsigned int indexend;
   2128  1.1.1.2  christos 	char newname[PATH_MAX];
   2129  1.1.1.2  christos 	char backup[PATH_MAX];
   2130  1.1.1.2  christos 	bool is_backup = false;
   2131      1.1  christos 
   2132      1.1  christos 	REQUIRE(filename != NULL);
   2133      1.1  christos 
   2134      1.1  christos 	namelen = strlen(filename);
   2135  1.1.1.2  christos 	if (namelen > 4U && strcmp(filename + namelen - 4, ".jnl") == 0) {
   2136      1.1  christos 		namelen -= 4;
   2137  1.1.1.2  christos 	}
   2138      1.1  christos 
   2139  1.1.1.2  christos 	result = snprintf(newname, sizeof(newname), "%.*s.jnw",
   2140  1.1.1.2  christos 			  (int)namelen, filename);
   2141  1.1.1.2  christos 	RUNTIME_CHECK(result < sizeof(newname));
   2142  1.1.1.2  christos 
   2143  1.1.1.2  christos 	result = snprintf(backup, sizeof(backup), "%.*s.jbk",
   2144  1.1.1.2  christos 			  (int)namelen, filename);
   2145  1.1.1.2  christos 	RUNTIME_CHECK(result < sizeof(backup));
   2146      1.1  christos 
   2147  1.1.1.2  christos 	result = journal_open(mctx, filename, false, false, &j1);
   2148      1.1  christos 	if (result == ISC_R_NOTFOUND) {
   2149  1.1.1.2  christos 		is_backup = true;
   2150  1.1.1.2  christos 		result = journal_open(mctx, backup, false, false, &j1);
   2151      1.1  christos 	}
   2152      1.1  christos 	if (result != ISC_R_SUCCESS)
   2153      1.1  christos 		return (result);
   2154      1.1  christos 
   2155      1.1  christos 	if (JOURNAL_EMPTY(&j1->header)) {
   2156      1.1  christos 		dns_journal_destroy(&j1);
   2157      1.1  christos 		return (ISC_R_SUCCESS);
   2158      1.1  christos 	}
   2159      1.1  christos 
   2160      1.1  christos 	if (DNS_SERIAL_GT(j1->header.begin.serial, serial) ||
   2161      1.1  christos 	    DNS_SERIAL_GT(serial, j1->header.end.serial)) {
   2162      1.1  christos 		dns_journal_destroy(&j1);
   2163      1.1  christos 		return (ISC_R_RANGE);
   2164      1.1  christos 	}
   2165      1.1  christos 
   2166      1.1  christos 	/*
   2167      1.1  christos 	 * Cope with very small target sizes.
   2168      1.1  christos 	 */
   2169      1.1  christos 	indexend = sizeof(journal_rawheader_t) +
   2170      1.1  christos 		   j1->header.index_size * sizeof(journal_rawpos_t);
   2171      1.1  christos 	if (target_size < DNS_JOURNAL_SIZE_MIN)
   2172      1.1  christos 		target_size = DNS_JOURNAL_SIZE_MIN;
   2173      1.1  christos 	if (target_size < indexend * 2)
   2174      1.1  christos 		target_size = target_size/2 + indexend;
   2175      1.1  christos 
   2176      1.1  christos 	/*
   2177      1.1  christos 	 * See if there is any work to do.
   2178      1.1  christos 	 */
   2179  1.1.1.2  christos 	if ((uint32_t) j1->header.end.offset < target_size) {
   2180      1.1  christos 		dns_journal_destroy(&j1);
   2181      1.1  christos 		return (ISC_R_SUCCESS);
   2182      1.1  christos 	}
   2183      1.1  christos 
   2184  1.1.1.2  christos 	CHECK(journal_open(mctx, newname, true, true, &j2));
   2185      1.1  christos 
   2186      1.1  christos 	/*
   2187      1.1  christos 	 * Remove overhead so space test below can succeed.
   2188      1.1  christos 	 */
   2189      1.1  christos 	if (target_size >= indexend)
   2190      1.1  christos 		target_size -= indexend;
   2191      1.1  christos 
   2192      1.1  christos 	/*
   2193      1.1  christos 	 * Find if we can create enough free space.
   2194      1.1  christos 	 */
   2195      1.1  christos 	best_guess = j1->header.begin;
   2196      1.1  christos 	for (i = 0; i < j1->header.index_size; i++) {
   2197      1.1  christos 		if (POS_VALID(j1->index[i]) &&
   2198      1.1  christos 		    DNS_SERIAL_GE(serial, j1->index[i].serial) &&
   2199  1.1.1.2  christos 		    ((uint32_t)(j1->header.end.offset - j1->index[i].offset)
   2200      1.1  christos 		     >= target_size / 2) &&
   2201      1.1  christos 		    j1->index[i].offset > best_guess.offset)
   2202      1.1  christos 			best_guess = j1->index[i];
   2203      1.1  christos 	}
   2204      1.1  christos 
   2205      1.1  christos 	current_pos = best_guess;
   2206      1.1  christos 	while (current_pos.serial != serial) {
   2207      1.1  christos 		CHECK(journal_next(j1, &current_pos));
   2208      1.1  christos 		if (current_pos.serial == j1->header.end.serial)
   2209      1.1  christos 			break;
   2210      1.1  christos 
   2211      1.1  christos 		if (DNS_SERIAL_GE(serial, current_pos.serial) &&
   2212  1.1.1.2  christos 		   ((uint32_t)(j1->header.end.offset - current_pos.offset)
   2213      1.1  christos 		     >= (target_size / 2)) &&
   2214      1.1  christos 		    current_pos.offset > best_guess.offset)
   2215      1.1  christos 			best_guess = current_pos;
   2216      1.1  christos 		else
   2217      1.1  christos 			break;
   2218      1.1  christos 	}
   2219      1.1  christos 
   2220      1.1  christos 	INSIST(best_guess.serial != j1->header.end.serial);
   2221      1.1  christos 	if (best_guess.serial != serial)
   2222      1.1  christos 		CHECK(journal_next(j1, &best_guess));
   2223      1.1  christos 
   2224      1.1  christos 	/*
   2225      1.1  christos 	 * We should now be roughly half target_size provided
   2226      1.1  christos 	 * we did not reach 'serial'.  If not we will just copy
   2227      1.1  christos 	 * all uncommitted deltas regardless of the size.
   2228      1.1  christos 	 */
   2229      1.1  christos 	copy_length = j1->header.end.offset - best_guess.offset;
   2230      1.1  christos 
   2231      1.1  christos 	if (copy_length != 0) {
   2232      1.1  christos 		/*
   2233      1.1  christos 		 * Copy best_guess to end into space just freed.
   2234      1.1  christos 		 */
   2235      1.1  christos 		size = 64*1024;
   2236      1.1  christos 		if (copy_length < size)
   2237      1.1  christos 			size = copy_length;
   2238      1.1  christos 		buf = isc_mem_get(mctx, size);
   2239      1.1  christos 		if (buf == NULL) {
   2240      1.1  christos 			result = ISC_R_NOMEMORY;
   2241      1.1  christos 			goto failure;
   2242      1.1  christos 		}
   2243      1.1  christos 
   2244      1.1  christos 		CHECK(journal_seek(j1, best_guess.offset));
   2245      1.1  christos 		CHECK(journal_seek(j2, indexend));
   2246      1.1  christos 		for (i = 0; i < copy_length; i += size) {
   2247      1.1  christos 			unsigned int len = (copy_length - i) > size ? size :
   2248      1.1  christos 							 (copy_length - i);
   2249      1.1  christos 			CHECK(journal_read(j1, buf, len));
   2250      1.1  christos 			CHECK(journal_write(j2, buf, len));
   2251      1.1  christos 		}
   2252      1.1  christos 
   2253      1.1  christos 		CHECK(journal_fsync(j2));
   2254      1.1  christos 
   2255      1.1  christos 		/*
   2256      1.1  christos 		 * Compute new header.
   2257      1.1  christos 		 */
   2258      1.1  christos 		j2->header.begin.serial = best_guess.serial;
   2259      1.1  christos 		j2->header.begin.offset = indexend;
   2260      1.1  christos 		j2->header.end.serial = j1->header.end.serial;
   2261      1.1  christos 		j2->header.end.offset = indexend + copy_length;
   2262      1.1  christos 		j2->header.sourceserial = j1->header.sourceserial;
   2263      1.1  christos 		j2->header.serialset = j1->header.serialset;
   2264      1.1  christos 
   2265      1.1  christos 		/*
   2266      1.1  christos 		 * Update the journal header.
   2267      1.1  christos 		 */
   2268      1.1  christos 		journal_header_encode(&j2->header, &rawheader);
   2269      1.1  christos 		CHECK(journal_seek(j2, 0));
   2270      1.1  christos 		CHECK(journal_write(j2, &rawheader, sizeof(rawheader)));
   2271      1.1  christos 		CHECK(journal_fsync(j2));
   2272      1.1  christos 
   2273      1.1  christos 		/*
   2274      1.1  christos 		 * Build new index.
   2275      1.1  christos 		 */
   2276      1.1  christos 		current_pos = j2->header.begin;
   2277      1.1  christos 		while (current_pos.serial != j2->header.end.serial) {
   2278      1.1  christos 			index_add(j2, &current_pos);
   2279      1.1  christos 			CHECK(journal_next(j2, &current_pos));
   2280      1.1  christos 		}
   2281      1.1  christos 
   2282      1.1  christos 		/*
   2283      1.1  christos 		 * Write index.
   2284      1.1  christos 		 */
   2285      1.1  christos 		CHECK(index_to_disk(j2));
   2286      1.1  christos 		CHECK(journal_fsync(j2));
   2287      1.1  christos 
   2288      1.1  christos 		indexend = j2->header.end.offset;
   2289      1.1  christos 		POST(indexend);
   2290      1.1  christos 	}
   2291      1.1  christos 
   2292      1.1  christos 	/*
   2293      1.1  christos 	 * Close both journals before trying to rename files (this is
   2294      1.1  christos 	 * necessary on WIN32).
   2295      1.1  christos 	 */
   2296      1.1  christos 	dns_journal_destroy(&j1);
   2297      1.1  christos 	dns_journal_destroy(&j2);
   2298      1.1  christos 
   2299      1.1  christos 	/*
   2300      1.1  christos 	 * With a UFS file system this should just succeed and be atomic.
   2301      1.1  christos 	 * Any IXFR outs will just continue and the old journal will be
   2302      1.1  christos 	 * removed on final close.
   2303      1.1  christos 	 *
   2304      1.1  christos 	 * With MSDOS / NTFS we need to do a two stage rename, triggered
   2305      1.1  christos 	 * by EEXIST.  (If any IXFR's are running in other threads, however,
   2306      1.1  christos 	 * this will fail, and the journal will not be compacted.  But
   2307      1.1  christos 	 * if so, hopefully they'll be finished by the next time we
   2308      1.1  christos 	 * compact.)
   2309      1.1  christos 	 */
   2310      1.1  christos 	if (rename(newname, filename) == -1) {
   2311      1.1  christos 		if (errno == EEXIST && !is_backup) {
   2312      1.1  christos 			result = isc_file_remove(backup);
   2313      1.1  christos 			if (result != ISC_R_SUCCESS &&
   2314      1.1  christos 			    result != ISC_R_FILENOTFOUND)
   2315      1.1  christos 				goto failure;
   2316      1.1  christos 			if (rename(filename, backup) == -1)
   2317      1.1  christos 				goto maperrno;
   2318      1.1  christos 			if (rename(newname, filename) == -1)
   2319      1.1  christos 				goto maperrno;
   2320      1.1  christos 			(void)isc_file_remove(backup);
   2321      1.1  christos 		} else {
   2322      1.1  christos  maperrno:
   2323      1.1  christos 			result = ISC_R_FAILURE;
   2324      1.1  christos 			goto failure;
   2325      1.1  christos 		}
   2326      1.1  christos 	}
   2327      1.1  christos 
   2328      1.1  christos 	result = ISC_R_SUCCESS;
   2329      1.1  christos 
   2330      1.1  christos  failure:
   2331      1.1  christos 	(void)isc_file_remove(newname);
   2332      1.1  christos 	if (buf != NULL)
   2333      1.1  christos 		isc_mem_put(mctx, buf, size);
   2334      1.1  christos 	if (j1 != NULL)
   2335      1.1  christos 		dns_journal_destroy(&j1);
   2336      1.1  christos 	if (j2 != NULL)
   2337      1.1  christos 		dns_journal_destroy(&j2);
   2338      1.1  christos 	return (result);
   2339      1.1  christos }
   2340      1.1  christos 
   2341      1.1  christos static isc_result_t
   2342      1.1  christos index_to_disk(dns_journal_t *j) {
   2343      1.1  christos 	isc_result_t result = ISC_R_SUCCESS;
   2344      1.1  christos 
   2345      1.1  christos 	if (j->header.index_size != 0) {
   2346      1.1  christos 		unsigned int i;
   2347      1.1  christos 		unsigned char *p;
   2348      1.1  christos 		unsigned int rawbytes;
   2349      1.1  christos 
   2350      1.1  christos 		rawbytes = j->header.index_size * sizeof(journal_rawpos_t);
   2351      1.1  christos 
   2352      1.1  christos 		p = j->rawindex;
   2353      1.1  christos 		for (i = 0; i < j->header.index_size; i++) {
   2354      1.1  christos 			encode_uint32(j->index[i].serial, p);
   2355      1.1  christos 			p += 4;
   2356      1.1  christos 			encode_uint32(j->index[i].offset, p);
   2357      1.1  christos 			p += 4;
   2358      1.1  christos 		}
   2359      1.1  christos 		INSIST(p == j->rawindex + rawbytes);
   2360      1.1  christos 
   2361      1.1  christos 		CHECK(journal_seek(j, sizeof(journal_rawheader_t)));
   2362      1.1  christos 		CHECK(journal_write(j, j->rawindex, rawbytes));
   2363      1.1  christos 	}
   2364      1.1  christos failure:
   2365      1.1  christos 	return (result);
   2366      1.1  christos }
   2367