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