zone-update.c 22.3 KB
Newer Older
1
/*  Copyright (C) 2018 CZ.NIC, z.s.p.o. <knot-dns@labs.nic.cz>
2 3 4 5 6 7 8 9 10 11 12 13

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
14
    along with this program.  If not, see <https://www.gnu.org/licenses/>.
15 16
 */

17
#include "knot/common/log.h"
18
#include "knot/dnssec/zone-events.h"
Daniel Salzman's avatar
Daniel Salzman committed
19
#include "knot/updates/zone-update.h"
Libor Peltan's avatar
Libor Peltan committed
20
#include "knot/zone/adjust.h"
21
#include "knot/zone/serial.h"
22
#include "knot/zone/zone-diff.h"
23
#include "contrib/mempattern.h"
24
#include "contrib/trim.h"
25
#include "contrib/ucw/lists.h"
26
#include "contrib/ucw/mempool.h"
27

28 29
#include <urcu.h>

30
static int init_incremental(zone_update_t *update, zone_t *zone, zone_contents_t *old_contents, bool deep_copy)
31
{
32
	if (old_contents == NULL) {
33 34
		return KNOT_EINVAL;
	}
35

36 37 38 39
	int ret = changeset_init(&update->change, zone->name);
	if (ret != KNOT_EOK) {
		return ret;
	}
40

41 42 43 44 45 46 47 48 49 50
	if (deep_copy) {
		update->new_cont_deep_copy = true;
		update->new_cont = old_contents;
	} else {
		update->new_cont_deep_copy = false;
		ret = apply_prepare_zone_copy(old_contents, &update->new_cont);
		if (ret != KNOT_EOK) {
			changeset_clear(&update->change);
			return ret;
		}
51 52
	}

53
	uint32_t apply_flags = update->flags & UPDATE_STRICT ? APPLY_STRICT : 0;
Libor Peltan's avatar
Libor Peltan committed
54 55 56 57 58
	ret = apply_init_ctx(update->a_ctx, update->new_cont, apply_flags);
	if (ret != KNOT_EOK) {
		changeset_clear(&update->change);
		return ret;
	}
59

60
	/* Copy base SOA RR. */
61
	update->change.soa_from =
62
		node_create_rrset(old_contents->apex, KNOT_RRTYPE_SOA);
63
	if (update->change.soa_from == NULL) {
64
		zone_contents_free(update->new_cont);
65
		changeset_clear(&update->change);
66 67
		return KNOT_ENOMEM;
	}
68 69 70 71 72 73 74 75 76 77 78

	return KNOT_EOK;
}

static int init_full(zone_update_t *update, zone_t *zone)
{
	update->new_cont = zone_contents_new(zone->name);
	if (update->new_cont == NULL) {
		return KNOT_ENOMEM;
	}

79 80
	update->new_cont_deep_copy = true;

Libor Peltan's avatar
Libor Peltan committed
81 82 83 84 85
	int ret = apply_init_ctx(update->a_ctx, update->new_cont, 0);
	if (ret != KNOT_EOK) {
		zone_contents_free(update->new_cont);
		return ret;
	}
86

87 88 89
	return KNOT_EOK;
}

90 91 92 93 94 95 96 97 98 99 100 101 102 103
static int replace_soa(zone_contents_t *contents, const knot_rrset_t *rr)
{
	/* SOA possible only within apex. */
	if (!knot_dname_is_equal(rr->owner, contents->apex->owner)) {
		return KNOT_EDENIED;
	}

	knot_rrset_t old_soa = node_rrset(contents->apex, KNOT_RRTYPE_SOA);
	zone_node_t *n = contents->apex;
	int ret = zone_contents_remove_rr(contents, &old_soa, &n);
	if (ret != KNOT_EOK && ret != KNOT_EINVAL) {
		return ret;
	}

104 105 106 107 108 109
	ret = zone_contents_add_rr(contents, rr, &n);
	if (ret == KNOT_ETTL) {
		return KNOT_EOK;
	}

	return ret;
110 111
}

112 113
int init_base(zone_update_t *update, zone_t *zone, zone_contents_t *old_contents,
              zone_update_flags_t flags)
114
{
115
	if (update == NULL || zone == NULL || (old_contents == NULL && (flags & UPDATE_INCREMENTAL))) {
116 117 118 119 120 121 122 123 124
		return KNOT_EINVAL;
	}

	memset(update, 0, sizeof(*update));
	update->zone = zone;

	mm_ctx_mempool(&update->mm, MM_DEFAULT_BLKSIZE);
	update->flags = flags;

125 126 127 128 129 130
	update->a_ctx = calloc(1, sizeof(*update->a_ctx));
	if (update->a_ctx == NULL) {
		return KNOT_ENOMEM;
	}

	int ret = KNOT_EINVAL;
131
	if (flags & UPDATE_INCREMENTAL) {
132
		ret = init_incremental(update, zone, old_contents, flags & UPDATE_JOURNAL);
133
	} else if (flags & UPDATE_FULL) {
134 135 136 137
		ret = init_full(update, zone);
	}
	if (ret != KNOT_EOK) {
		free(update->a_ctx);
138
	}
139 140

	return ret;
141 142
}

143 144 145 146 147 148 149
/* ------------------------------- API -------------------------------------- */

int zone_update_init(zone_update_t *update, zone_t *zone, zone_update_flags_t flags)
{
	return init_base(update, zone, zone->contents, flags);
}

150
int zone_update_from_differences(zone_update_t *update, zone_t *zone, zone_contents_t *old_cont,
151
				 zone_contents_t *new_cont, zone_update_flags_t flags, bool ignore_dnssec)
152 153 154 155 156 157
{
	if (update == NULL || zone == NULL || new_cont == NULL ||
	    !(flags & UPDATE_INCREMENTAL) || (flags & UPDATE_FULL)) {
		return KNOT_EINVAL;
	}

158 159 160 161 162
	changeset_t diff;
	int ret = changeset_init(&diff, zone->name);
	if (ret != KNOT_EOK) {
		return ret;
	}
163

164 165 166 167
	ret = zone_contents_diff(old_cont, new_cont, &diff, ignore_dnssec);
	if (ret != KNOT_EOK && ret != KNOT_ENODIFF && ret != KNOT_ESEMCHECK) {
		changeset_clear(&diff);
		return ret;
168 169
	}

170 171 172 173
	// True if nonempty changes were made but the serial
	// remained the same and has to be incremented.
	bool diff_semcheck = (ret == KNOT_ESEMCHECK);

174
	ret = init_base(update, zone, old_cont, flags);
175
	if (ret != KNOT_EOK) {
176
		changeset_clear(&diff);
177 178 179
		return ret;
	}

180 181 182 183
	ret = zone_update_apply_changeset(update, &diff);
	changeset_clear(&diff);
	if (ret != KNOT_EOK) {
		zone_update_clear(update);
184 185 186
		return ret;
	}

187
	if (diff_semcheck) {
188 189 190 191 192 193 194 195
		ret = zone_update_increment_soa(update, conf());
		if (ret != KNOT_EOK) {
			zone_update_clear(update);
			return ret;
		}
		log_zone_info(zone->name, "automatic SOA serial increment");
	}

196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214
	return KNOT_EOK;
}

int zone_update_from_contents(zone_update_t *update, zone_t *zone_without_contents,
                              zone_contents_t *new_cont, zone_update_flags_t flags)
{
	if (update == NULL || zone_without_contents == NULL || new_cont == NULL) {
		return KNOT_EINVAL;
	}

	memset(update, 0, sizeof(*update));
	update->zone = zone_without_contents;

	mm_ctx_mempool(&update->mm, MM_DEFAULT_BLKSIZE);
	update->flags = flags;

	update->new_cont = new_cont;
	update->new_cont_deep_copy = true;

215 216 217 218 219
	update->a_ctx = calloc(1, sizeof(*update->a_ctx));
	if (update->a_ctx == NULL) {
		return KNOT_ENOMEM;
	}

220 221 222
	if (flags & UPDATE_INCREMENTAL) {
		int ret = changeset_init(&update->change, zone_without_contents->name);
		if (ret != KNOT_EOK) {
223
			free(update->a_ctx);
224 225 226 227 228 229
			return ret;
		}

		update->change.soa_from = node_create_rrset(new_cont->apex, KNOT_RRTYPE_SOA);
		if (update->change.soa_from == NULL) {
			changeset_clear(&update->change);
230
			free(update->a_ctx);
231 232 233 234 235
			return KNOT_ENOMEM;
		}
	}

	uint32_t apply_flags = update->flags & UPDATE_STRICT ? APPLY_STRICT : 0;
Libor Peltan's avatar
Libor Peltan committed
236 237 238 239 240 241
	int ret = apply_init_ctx(update->a_ctx, update->new_cont, apply_flags);
	if (ret != KNOT_EOK) {
		changeset_clear(&update->change);
		free(update->a_ctx);
		return ret;
	}
242 243 244 245

	return KNOT_EOK;
}

246 247 248 249 250 251
const zone_node_t *zone_update_get_node(zone_update_t *update, const knot_dname_t *dname)
{
	if (update == NULL || dname == NULL) {
		return NULL;
	}

252
	return zone_contents_find_node(update->new_cont, dname);
253 254
}

255 256
const zone_node_t *zone_update_get_apex(zone_update_t *update)
{
257 258 259 260
	if (update == NULL) {
		return NULL;
	}

261 262 263 264 265 266
	return zone_update_get_node(update, update->zone->name);
}

uint32_t zone_update_current_serial(zone_update_t *update)
{
	const zone_node_t *apex = zone_update_get_apex(update);
267
	if (apex != NULL) {
268
		return knot_soa_serial(node_rdataset(apex, KNOT_RRTYPE_SOA)->rdata);
269 270 271 272 273 274 275
	} else {
		return 0;
	}
}

const knot_rdataset_t *zone_update_from(zone_update_t *update)
{
276 277 278 279
	if (update == NULL) {
		return NULL;
	}

280 281 282 283 284 285
	if (update->flags & UPDATE_INCREMENTAL) {
		const zone_node_t *apex = update->zone->contents->apex;
		return node_rdataset(apex, KNOT_RRTYPE_SOA);
	}

	return NULL;
286 287 288 289
}

const knot_rdataset_t *zone_update_to(zone_update_t *update)
{
290 291 292
	if (update == NULL) {
		return NULL;
	}
293

294 295 296 297 298 299 300 301
	if (update->flags & UPDATE_FULL) {
		const zone_node_t *apex = update->new_cont->apex;
		return node_rdataset(apex, KNOT_RRTYPE_SOA);
	} else if (update->flags & UPDATE_INCREMENTAL) {
		if (update->change.soa_to == NULL) {
			return NULL;
		}
		return &update->change.soa_to->rrs;
302 303
	}

304
	return NULL;
305 306
}

307 308
void zone_update_clear(zone_update_t *update)
{
309 310
	if (update == NULL) {
		return;
311
	}
312 313 314

	if (update->flags & UPDATE_INCREMENTAL) {
		/* Revert any changes on error, do nothing on success. */
315
		if (update->new_cont_deep_copy) {
316
			update_cleanup(update->a_ctx);
317
			zone_contents_deep_free(update->new_cont);
318
		} else {
319
			update_rollback(update->a_ctx);
320
			update_free_zone(update->new_cont);
321
		}
322 323
		changeset_clear(&update->change);
	} else if (update->flags & UPDATE_FULL) {
324
		assert(update->new_cont_deep_copy);
325
		zone_contents_deep_free(update->new_cont);
326
	}
327
	free(update->a_ctx);
328 329
	mp_delete(update->mm.ctx);
	memset(update, 0, sizeof(*update));
330
}
331

332 333
int zone_update_add(zone_update_t *update, const knot_rrset_t *rrset)
{
334
	if (update == NULL || rrset == NULL) {
335 336 337
		return KNOT_EINVAL;
	}

338
	if (update->flags & UPDATE_INCREMENTAL) {
339 340 341 342 343 344 345
		int ret = changeset_add_addition(&update->change, rrset, CHANGESET_CHECK);
		if (ret != KNOT_EOK) {
			return ret;
		}

		if (rrset->type == KNOT_RRTYPE_SOA) {
			/* replace previous SOA */
346
			ret = apply_replace_soa(update->a_ctx, &update->change);
347 348 349 350 351 352
			if (ret != KNOT_EOK) {
				changeset_remove_addition(&update->change, rrset);
			}
			return ret;
		}

353
		ret = apply_add_rr(update->a_ctx, rrset);
354 355 356 357 358 359
		if (ret != KNOT_EOK) {
			changeset_remove_addition(&update->change, rrset);
			return ret;
		}

		return KNOT_EOK;
360
	} else if (update->flags & UPDATE_FULL) {
361 362 363 364 365
		if (rrset->type == KNOT_RRTYPE_SOA) {
			/* replace previous SOA */
			return replace_soa(update->new_cont, rrset);
		}

366
		zone_node_t *n = NULL;
367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382
		int ret = zone_contents_add_rr(update->new_cont, rrset, &n);
		if (ret == KNOT_ETTL) {
			char buff[KNOT_DNAME_TXT_MAXLEN + 1];
			char *owner = knot_dname_to_str(buff, rrset->owner, sizeof(buff));
			if (owner == NULL) {
				owner = "";
			}
			char type[16] = { '\0' };
			knot_rrtype_to_string(rrset->type, type, sizeof(type));
			log_zone_notice(update->new_cont->apex->owner,
			                "TTL mismatch, owner %s, type %s, "
			                "TTL set to %u", owner, type, rrset->ttl);
			return KNOT_EOK;
		}

		return ret;
383 384 385 386 387 388 389
	} else {
		return KNOT_EINVAL;
	}
}

int zone_update_remove(zone_update_t *update, const knot_rrset_t *rrset)
{
390
	if (update == NULL || rrset == NULL) {
391 392 393
		return KNOT_EINVAL;
	}

394
	if (update->flags & UPDATE_INCREMENTAL) {
395 396 397 398 399 400 401 402 403 404
		int ret = changeset_add_removal(&update->change, rrset, CHANGESET_CHECK);
		if (ret != KNOT_EOK) {
			return ret;
		}

		if (rrset->type == KNOT_RRTYPE_SOA) {
			/* SOA is replaced with addition */
			return KNOT_EOK;
		}

405
		ret = apply_remove_rr(update->a_ctx, rrset);
406 407 408 409 410 411
		if (ret != KNOT_EOK) {
			changeset_remove_removal(&update->change, rrset);
			return ret;
		}

		return KNOT_EOK;
412 413
	} else if (update->flags & UPDATE_FULL) {
		zone_node_t *n = NULL;
414 415
		knot_rrset_t *rrs_copy = knot_rrset_copy(rrset, &update->mm);
		int ret = zone_contents_remove_rr(update->new_cont, rrs_copy, &n);
416
		knot_rrset_free(rrs_copy, &update->mm);
417
		return ret;
418
	} else {
419
		return KNOT_EINVAL;
420 421 422
	}
}

423 424 425 426 427 428 429 430
int zone_update_remove_rrset(zone_update_t *update, knot_dname_t *owner, uint16_t type)
{
	if (update == NULL || owner == NULL) {
		return KNOT_EINVAL;
	}

	if (update->flags & UPDATE_INCREMENTAL) {
		/* Remove the RRSet from the original node */
431
		const zone_node_t *node = zone_contents_find_node(update->new_cont, owner);
432 433
		if (node != NULL) {
			knot_rrset_t rrset = node_rrset(node, type);
434 435 436
			if (rrset.owner == NULL) {
				return KNOT_ENOENT;
			}
Daniel Salzman's avatar
Daniel Salzman committed
437 438
			int ret = changeset_add_removal(&update->change, &rrset,
			                                CHANGESET_CHECK);
439 440 441 442
			if (ret != KNOT_EOK) {
				return ret;
			}

443 444 445 446 447
			if (type == KNOT_RRTYPE_SOA) {
				/* SOA is replaced with addition */
				return KNOT_EOK;
			}

448
			ret = apply_remove_rr(update->a_ctx, &rrset);
449 450 451
			if (ret != KNOT_EOK) {
				return ret;
			}
452
		} else {
453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478
			return KNOT_ENONODE;
		}
	} else if (update->flags & UPDATE_FULL) {
		/* Remove the RRSet from the non-synthesized new node */
		const zone_node_t *node = zone_contents_find_node(update->new_cont, owner);
		if (node == NULL) {
			return KNOT_ENONODE;
		}

		knot_rrset_t rrset = node_rrset(node, type);
		int ret = zone_update_remove(update, &rrset);
		if (ret != KNOT_EOK) {
			return ret;
		}
	}

	return KNOT_EOK;
}

int zone_update_remove_node(zone_update_t *update, const knot_dname_t *owner)
{
	if (update == NULL || owner == NULL) {
		return KNOT_EINVAL;
	}

	if (update->flags & UPDATE_INCREMENTAL) {
479 480
		/* Remove all RRSets from the new node */
		const zone_node_t *node = zone_contents_find_node(update->new_cont, owner);
481 482 483 484
		if (node != NULL) {
			size_t rrset_count = node->rrset_count;
			for (int i = 0; i < rrset_count; ++i) {
				knot_rrset_t rrset = node_rrset_at(node, rrset_count - 1 - i);
Daniel Salzman's avatar
Daniel Salzman committed
485 486
				int ret = changeset_add_removal(&update->change, &rrset,
				                                CHANGESET_CHECK);
487 488 489 490
				if (ret != KNOT_EOK) {
					return ret;
				}

491 492
				if (rrset.type == KNOT_RRTYPE_SOA) {
					/* SOA is replaced with addition */
493
					continue;
494 495
				}

496
				ret = apply_remove_rr(update->a_ctx, &rrset);
497 498 499 500
				if (ret != KNOT_EOK) {
					return ret;
				}
			}
501
		} else {
502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523
			return KNOT_ENONODE;
		}
	} else if (update->flags & UPDATE_FULL) {
		/* Remove all RRSets from the non-synthesized new node */
		const zone_node_t *node = zone_contents_find_node(update->new_cont, owner);
		if (node == NULL) {
			return KNOT_ENONODE;
		}

		size_t rrset_count = node->rrset_count;
		for (int i = 0; i < rrset_count; ++i) {
			knot_rrset_t rrset = node_rrset_at(node, rrset_count - 1 - i);
			int ret = zone_update_remove(update, &rrset);
			if (ret != KNOT_EOK) {
				return ret;
			}
		}
	}

	return KNOT_EOK;
}

524 525 526 527
int zone_update_apply_changeset(zone_update_t *update, const changeset_t *changes)
{
	int ret = KNOT_EOK;
	if (update->flags & UPDATE_INCREMENTAL) {
528
		ret = changeset_merge(&update->change, changes, CHANGESET_CHECK_CANCELOUT);
529 530
	}
	if (ret == KNOT_EOK) {
531
		ret = apply_changeset_directly(update->a_ctx, changes);
532 533 534 535 536 537 538 539 540 541
	}
	return ret;
}

int zone_update_apply_changeset_fix(zone_update_t *update, changeset_t *changes)
{
	int ret = changeset_cancelout(changes);
	if (ret == KNOT_EOK) {
		ret = changeset_preapply_fix(update->new_cont, changes);
	}
542 543
	if (ret == KNOT_EOK) {
		ret = zone_update_apply_changeset(update, changes);
544
	}
545
	return ret;
546 547
}

548 549 550 551 552 553 554 555 556 557
int zone_update_apply_changeset_reverse(zone_update_t *update, const changeset_t *changes)
{
	changeset_t reverse;
	reverse.remove = changes->add;
	reverse.add = changes->remove;
	reverse.soa_from = changes->soa_to;
	reverse.soa_to = changes->soa_from;
	return zone_update_apply_changeset(update, &reverse);
}

558
static int set_new_soa(zone_update_t *update, unsigned serial_policy)
559
{
560 561
	assert(update);

Daniel Salzman's avatar
Daniel Salzman committed
562 563
	knot_rrset_t *soa_cpy = node_create_rrset(zone_update_get_apex(update),
	                                          KNOT_RRTYPE_SOA);
564 565 566 567
	if (soa_cpy == NULL) {
		return KNOT_ENOMEM;
	}

568 569
	int ret = zone_update_remove(update, soa_cpy);
	if (ret != KNOT_EOK) {
570
		knot_rrset_free(soa_cpy, NULL);
571
		return ret;
572 573
	}

574
	uint32_t old_serial = knot_soa_serial(soa_cpy->rrs.rdata);
575
	uint32_t new_serial = serial_next(old_serial, serial_policy);
576
	if (serial_compare(old_serial, new_serial) != SERIAL_LOWER) {
577
		log_zone_warning(update->zone->name, "updated SOA serial is lower "
578
		                 "than current, serial %u -> %u",
579
		                 old_serial, new_serial);
580 581
		ret = KNOT_ESOAINVAL;
	} else {
582
		knot_soa_serial_set(soa_cpy->rrs.rdata, new_serial);
583

584 585
		ret = zone_update_add(update, soa_cpy);
	}
586
	knot_rrset_free(soa_cpy, NULL);
587 588 589 590 591 592 593 594 595 596 597 598

	return ret;
}

int zone_update_increment_soa(zone_update_t *update, conf_t *conf)
{
	if (update == NULL || conf == NULL) {
		return KNOT_EINVAL;
	}

	conf_val_t val = conf_zone_get(conf, C_SERIAL_POLICY, update->zone->name);
	return set_new_soa(update, conf_opt(&val));
599 600
}

Libor Peltan's avatar
Libor Peltan committed
601
static int commit_incremental(conf_t *conf, zone_update_t *update)
602
{
603
	assert(update);
604

605
	zone_contents_t *new_contents = update->new_cont;
606
	int ret = KNOT_EOK;
Libor Peltan's avatar
Libor Peltan committed
607
	if (zone_update_to(update) == NULL && !changeset_empty(&update->change)) {
608
		/* No SOA in the update, create one according to the current policy */
609
		ret = zone_update_increment_soa(update, conf);
610
		if (ret != KNOT_EOK) {
611
			zone_update_clear(update);
612 613
			return ret;
		}
614
	}
615

Libor Peltan's avatar
Libor Peltan committed
616
	ret = zone_adjust_full(new_contents);
617 618 619 620
	if (ret != KNOT_EOK) {
		zone_update_clear(update);
		return ret;
	}
621

622
	/* Write changes to journal if all went well. */
623
	conf_val_t val = conf_zone_get(conf, C_JOURNAL_CONTENT, update->zone->name);
Libor Peltan's avatar
Libor Peltan committed
624
	if (conf_opt(&val) != JOURNAL_CONTENT_NONE && !changeset_empty(&update->change)) {
625
		ret = zone_change_store(conf, update->zone, &update->change);
626
		if (ret != KNOT_EOK) {
627 628
			return ret;
		}
629
	}
630 631 632 633

	return KNOT_EOK;
}

Libor Peltan's avatar
Libor Peltan committed
634
static int commit_full(conf_t *conf, zone_update_t *update)
635
{
636 637 638 639 640 641 642 643
	assert(update);

	/* Check if we have SOA. We might consider adding full semantic check here.
	 * But if we wanted full sem-check I'd consider being it controlled by a flag
	 * - to enable/disable it on demand. */
	if (!node_rrtype_exists(update->new_cont->apex, KNOT_RRTYPE_SOA)) {
		return KNOT_ESEMCHECK;
	}
644

Libor Peltan's avatar
Libor Peltan committed
645
	int ret = zone_adjust_full(update->new_cont);
646 647 648 649
	if (ret != KNOT_EOK) {
		zone_update_clear(update);
		return ret;
	}
650

651 652 653
	/* Store new zone contents in journal. */
	conf_val_t val = conf_zone_get(conf, C_JOURNAL_CONTENT, update->zone->name);
	if (conf_opt(&val) == JOURNAL_CONTENT_ALL) {
654
		ret = zone_in_journal_store(conf, update->zone, update->new_cont);
655 656
	} else { // zone_in_journal_store does this automatically
		ret = zone_changes_clear(conf, update->zone);
657 658
	}

659
	return ret;
660 661
}

662 663
/*! \brief Routine for calling call_rcu() easier way.
 *
664
 * Consider moving elsewhere, as it has no direct relation to zone-update.
665 666 667
 */
typedef struct {
	struct rcu_head rcuhead;
668 669
	void (*callback)(void *);
	void *ctx;
670
	bool free_ctx;
671 672 673 674
} callrcu_wrapper_t;

static void callrcu_wrapper_cb(struct rcu_head *param)
{
675
	callrcu_wrapper_t *wrap = (callrcu_wrapper_t *)param;
676 677
	wrap->callback(wrap->ctx);
	if (wrap->free_ctx) {
678 679
		free(wrap->ctx);
	}
680
	free(wrap);
681 682 683

	// Trim extra heap.
	mem_trim();
684 685
}

686
/* NOTE: Does nothing if not enough memory. */
687
static void callrcu_wrapper(void *ctx, void *callback, bool free_ctx)
688
{
689
	callrcu_wrapper_t *wrap = calloc(1, sizeof(callrcu_wrapper_t));
690
	if (wrap != NULL) {
691 692
		wrap->callback = callback;
		wrap->ctx = ctx;
693
		wrap->free_ctx = free_ctx;
694 695 696 697
		call_rcu((struct rcu_head *)wrap, callrcu_wrapper_cb);
	}
}

698
int zone_update_commit(conf_t *conf, zone_update_t *update)
699
{
700
	if (conf == NULL || update == NULL) {
701 702 703 704
		return KNOT_EINVAL;
	}

	int ret = KNOT_EOK;
705
	if (update->flags & UPDATE_INCREMENTAL) {
Libor Peltan's avatar
Libor Peltan committed
706 707 708 709 710 711
		if (changeset_empty(&update->change) &&
		    update->zone->contents != NULL && !update->new_cont_deep_copy) {
			changeset_clear(&update->change);
			return KNOT_EOK;
		}
		ret = commit_incremental(conf, update);
712
	} else {
Libor Peltan's avatar
Libor Peltan committed
713
		ret = commit_full(conf, update);
714 715 716
	}
	if (ret != KNOT_EOK) {
		return ret;
717 718
	}

719
	/* Check the zone size. */
720
	conf_val_t val = conf_zone_get(conf, C_MAX_ZONE_SIZE, update->zone->name);
721
	size_t size_limit = conf_int(&val);
722

Libor Peltan's avatar
Libor Peltan committed
723
	if (update->new_cont->size > size_limit) {
724
		/* Recoverable error. */
725 726 727
		return KNOT_EZONESIZE;
	}

728 729 730 731 732 733 734 735
	/* Check if the zone was re-signed upon zone load to ensure proper flush
	 * even if the SOA serial wasn't incremented by re-signing. */
	val = conf_zone_get(conf, C_DNSSEC_SIGNING, update->zone->name);
	bool dnssec = conf_bool(&val);
	if (!changeset_empty(&update->change) && dnssec) {
		update->zone->zonefile.resigned = true;
	}

736
	/* Switch zone contents. */
737
	zone_contents_t *old_contents;
Libor Peltan's avatar
Libor Peltan committed
738
	old_contents = zone_switch_contents(update->zone, update->new_cont);
739 740 741

	/* Sync RCU. */
	if (update->flags & UPDATE_FULL) {
742
		assert(update->new_cont_deep_copy);
743
		callrcu_wrapper(old_contents, zone_contents_deep_free, false);
744
	} else if (update->flags & UPDATE_INCREMENTAL) {
745
		if (update->new_cont_deep_copy) {
746
			callrcu_wrapper(old_contents, zone_contents_deep_free, false);
747
		} else {
748
			callrcu_wrapper(old_contents, update_free_zone, false);
749
		}
750
		changeset_clear(&update->change);
751
	}
752
	callrcu_wrapper(update->a_ctx, update_cleanup, true);
753
	update->a_ctx = NULL;
754
	update->new_cont = NULL;
755

756 757 758 759 760 761
	/* Sync zonefile immediately if configured. */
	val = conf_zone_get(conf, C_ZONEFILE_SYNC, update->zone->name);
	if (conf_int(&val) == 0) {
		zone_events_schedule_now(update->zone, ZONE_EVENT_FLUSH);
	}

762
	return KNOT_EOK;
763 764
}

765 766 767 768
static int iter_init_tree_iters(zone_update_iter_t *it, zone_update_t *update,
                                bool nsec3)
{
	/* Set zone iterator. */
769
	zone_contents_t *_contents = update->new_cont;
770 771

	/* Begin iteration. We can safely assume _contents is a valid pointer. */
772
	zone_tree_t *tree = nsec3 ? _contents->nsec3_nodes : _contents->nodes;
773
	it->tree_it = trie_it_begin(tree);
774
	if (it->tree_it == NULL) {
775 776 777
		return KNOT_ENOMEM;
	}

778
	it->cur_node = (zone_node_t *)(*trie_it_val(it->tree_it));
779

780 781 782
	return KNOT_EOK;
}

783
static int iter_get_next_node(zone_update_iter_t *it)
784
{
785 786 787
	trie_it_next(it->tree_it);
	if (trie_it_finished(it->tree_it)) {
		trie_it_free(it->tree_it);
788 789
		it->tree_it = NULL;
		it->cur_node = NULL;
790 791 792
		return KNOT_ENOENT;
	}

793
	it->cur_node = (zone_node_t *)(*trie_it_val(it->tree_it));
794 795 796 797 798 799 800 801 802 803 804 805 806 807 808

	return KNOT_EOK;
}

static int iter_init(zone_update_iter_t *it, zone_update_t *update, const bool nsec3)
{
	memset(it, 0, sizeof(*it));

	it->update = update;
	it->nsec3 = nsec3;
	int ret = iter_init_tree_iters(it, update, nsec3);
	if (ret != KNOT_EOK) {
		return ret;
	}

809
	it->cur_node = (zone_node_t *)(*trie_it_val(it->tree_it));
810 811 812 813 814 815

	return KNOT_EOK;
}

int zone_update_iter(zone_update_iter_t *it, zone_update_t *update)
{
816 817 818 819
	if (it == NULL || update == NULL) {
		return KNOT_EINVAL;
	}

820 821 822 823 824
	return iter_init(it, update, false);
}

int zone_update_iter_nsec3(zone_update_iter_t *it, zone_update_t *update)
{
825 826 827 828
	if (it == NULL || update == NULL) {
		return KNOT_EINVAL;
	}

829 830
	if (update->flags & UPDATE_FULL) {
		if (update->new_cont->nsec3_nodes == NULL) {
831
			/* No NSEC3 tree. */
832 833 834 835 836
			return KNOT_ENOENT;
		}
	} else {
		if (update->change.add->nsec3_nodes == NULL &&
		    update->change.remove->nsec3_nodes == NULL) {
837
			/* No NSEC3 changes. */
838 839 840 841 842 843 844 845 846 847 848 849 850
			return KNOT_ENOENT;
		}
	}

	return iter_init(it, update, true);
}

int zone_update_iter_next(zone_update_iter_t *it)
{
	if (it == NULL) {
		return KNOT_EINVAL;
	}

851 852
	if (it->tree_it != NULL) {
		int ret = iter_get_next_node(it);
853 854 855 856 857 858 859 860 861 862
		if (ret != KNOT_EOK && ret != KNOT_ENOENT) {
			return ret;
		}
	}

	return KNOT_EOK;
}

const zone_node_t *zone_update_iter_val(zone_update_iter_t *it)
{
863
	if (it != NULL) {
864
		return it->cur_node;
865 866 867 868 869
	} else {
		return NULL;
	}
}

870
void zone_update_iter_finish(zone_update_iter_t *it)
871
{
872
	if (it == NULL) {
873
		return;
874 875
	}

876
	trie_it_free(it->tree_it);
877 878
}

879
bool zone_update_no_change(zone_update_t *update)
880
{
881 882 883 884
	if (update == NULL) {
		return true;
	}

885 886 887
	if (update->flags & UPDATE_INCREMENTAL) {
		return changeset_empty(&update->change);
	} else {
888 889 890
		/* This branch does not make much sense and FULL update will most likely
		 * be a change every time anyway, just return false. */
		return false;
891
	}
892
}