]> git.proxmox.com Git - mirror_ovs.git/blame - ovsdb/transaction.c
vconn: Avoid using C++ keyword 'class' as variable name in headers
[mirror_ovs.git] / ovsdb / transaction.c
CommitLineData
b71273f6 1/* Copyright (c) 2009, 2010, 2011, 2012, 2013, 2014 Nicira, Inc.
f85f8ebb
BP
2 *
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at:
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16#include <config.h>
17
18#include "transaction.h"
19
17d18afb 20#include "bitmap.h"
d171b584 21#include "dynamic-string.h"
f85f8ebb
BP
22#include "hash.h"
23#include "hmap.h"
24#include "json.h"
71c93bd4 25#include "list.h"
f85f8ebb
BP
26#include "ovsdb-error.h"
27#include "ovsdb.h"
28#include "row.h"
29#include "table.h"
30#include "uuid.h"
31
32struct ovsdb_txn {
33 struct ovsdb *db;
ca6ba700 34 struct ovs_list txn_tables; /* Contains "struct ovsdb_txn_table"s. */
d171b584 35 struct ds comment;
f85f8ebb
BP
36};
37
38/* A table modified by a transaction. */
39struct ovsdb_txn_table {
ca6ba700 40 struct ovs_list node; /* Element in ovsdb_txn's txn_tables list. */
f85f8ebb
BP
41 struct ovsdb_table *table;
42 struct hmap txn_rows; /* Contains "struct ovsdb_txn_row"s. */
3e010b7a 43
6910a6e6
BP
44 /* This has the same form as the 'indexes' member of struct ovsdb_table,
45 * but it is only used or updated at transaction commit time, from
46 * check_index_uniqueness(). */
47 struct hmap *txn_indexes;
48
3e010b7a
BP
49 /* Used by for_each_txn_row(). */
50 unsigned int serial; /* Serial number of in-progress iteration. */
51 unsigned int n_processed; /* Number of rows processed. */
f85f8ebb
BP
52};
53
54/* A row modified by the transaction:
55 *
56 * - A row added by a transaction will have null 'old' and non-null 'new'.
57 *
58 * - A row deleted by a transaction will have non-null 'old' and null
59 * 'new'.
60 *
61 * - A row modified by a transaction will have non-null 'old' and 'new'.
62 *
a8c37dc5
BP
63 * - 'old' and 'new' both null indicates that a row was added then deleted
64 * within a single transaction. Most of the time we instead delete the
65 * ovsdb_txn_row entirely, but inside a for_each_txn_row() callback
66 * there are restrictions that sometimes mean we have to leave the
67 * ovsdb_txn_row in place.
f85f8ebb
BP
68 */
69struct ovsdb_txn_row {
70 struct hmap_node hmap_node; /* In ovsdb_txn_table's txn_rows hmap. */
71 struct ovsdb_row *old; /* The old row. */
72 struct ovsdb_row *new; /* The new row. */
c7d85e0d 73 size_t n_refs; /* Number of remaining references. */
3e010b7a 74
a8c37dc5
BP
75 /* These members are the same as the corresponding members of 'old' or
76 * 'new'. They are present here for convenience and because occasionally
77 * there can be an ovsdb_txn_row where both 'old' and 'new' are NULL. */
78 struct uuid uuid;
79 struct ovsdb_table *table;
80
3e010b7a
BP
81 /* Used by for_each_txn_row(). */
82 unsigned int serial; /* Serial number of in-progress commit. */
17d18afb
BP
83
84 unsigned long changed[]; /* Bits set to 1 for columns that changed. */
f85f8ebb
BP
85};
86
cab50449 87static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c5f341ab 88delete_garbage_row(struct ovsdb_txn *txn, struct ovsdb_txn_row *r);
3e010b7a 89static void ovsdb_txn_row_prefree(struct ovsdb_txn_row *);
cab50449 90static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
3e010b7a
BP
91for_each_txn_row(struct ovsdb_txn *txn,
92 struct ovsdb_error *(*)(struct ovsdb_txn *,
93 struct ovsdb_txn_row *));
94
95/* Used by for_each_txn_row() to track tables and rows that have been
96 * processed. */
97static unsigned int serial;
98
f85f8ebb
BP
99struct ovsdb_txn *
100ovsdb_txn_create(struct ovsdb *db)
101{
102 struct ovsdb_txn *txn = xmalloc(sizeof *txn);
103 txn->db = db;
71c93bd4 104 list_init(&txn->txn_tables);
d171b584 105 ds_init(&txn->comment);
f85f8ebb
BP
106 return txn;
107}
108
109static void
3e010b7a 110ovsdb_txn_free(struct ovsdb_txn *txn)
f85f8ebb 111{
cb22974d 112 ovs_assert(list_is_empty(&txn->txn_tables));
d171b584 113 ds_destroy(&txn->comment);
f85f8ebb
BP
114 free(txn);
115}
116
17d18afb 117static struct ovsdb_error *
3e010b7a
BP
118ovsdb_txn_row_abort(struct ovsdb_txn *txn OVS_UNUSED,
119 struct ovsdb_txn_row *txn_row)
f85f8ebb
BP
120{
121 struct ovsdb_row *old = txn_row->old;
122 struct ovsdb_row *new = txn_row->new;
123
3e010b7a 124 ovsdb_txn_row_prefree(txn_row);
f85f8ebb 125 if (!old) {
a8c37dc5
BP
126 if (new) {
127 hmap_remove(&new->table->rows, &new->hmap_node);
128 }
f85f8ebb
BP
129 } else if (!new) {
130 hmap_insert(&old->table->rows, &old->hmap_node, ovsdb_row_hash(old));
131 } else {
132 hmap_replace(&new->table->rows, &new->hmap_node, &old->hmap_node);
133 }
134 ovsdb_row_destroy(new);
3e010b7a
BP
135 free(txn_row);
136
137 return NULL;
f85f8ebb
BP
138}
139
6910a6e6
BP
140/* Returns the offset in bytes from the start of an ovsdb_row for 'table' to
141 * the hmap_node for the index numbered 'i'. */
142static size_t
143ovsdb_row_index_offset__(const struct ovsdb_table *table, size_t i)
144{
145 size_t n_fields = shash_count(&table->schema->columns);
146 return (offsetof(struct ovsdb_row, fields)
147 + n_fields * sizeof(struct ovsdb_datum)
148 + i * sizeof(struct hmap_node));
149}
150
151/* Returns the hmap_node in 'row' for the index numbered 'i'. */
152static struct hmap_node *
153ovsdb_row_get_index_node(struct ovsdb_row *row, size_t i)
154{
155 return (void *) ((char *) row + ovsdb_row_index_offset__(row->table, i));
156}
157
158/* Returns the ovsdb_row given 'index_node', which is a pointer to that row's
159 * hmap_node for the index numbered 'i' within 'table'. */
160static struct ovsdb_row *
161ovsdb_row_from_index_node(struct hmap_node *index_node,
162 const struct ovsdb_table *table, size_t i)
163{
164 return (void *) ((char *) index_node - ovsdb_row_index_offset__(table, i));
165}
166
f85f8ebb
BP
167void
168ovsdb_txn_abort(struct ovsdb_txn *txn)
169{
3e010b7a
BP
170 ovsdb_error_assert(for_each_txn_row(txn, ovsdb_txn_row_abort));
171 ovsdb_txn_free(txn);
f85f8ebb
BP
172}
173
0d0f05b9
BP
174static struct ovsdb_txn_row *
175find_txn_row(const struct ovsdb_table *table, const struct uuid *uuid)
176{
177 struct ovsdb_txn_row *txn_row;
178
179 if (!table->txn_table) {
180 return NULL;
181 }
182
4e8e4213 183 HMAP_FOR_EACH_WITH_HASH (txn_row, hmap_node,
0d0f05b9 184 uuid_hash(uuid), &table->txn_table->txn_rows) {
a8c37dc5 185 if (uuid_equals(uuid, &txn_row->uuid)) {
0d0f05b9
BP
186 return txn_row;
187 }
188 }
189
190 return NULL;
191}
192
c5f341ab
BP
193static struct ovsdb_txn_row *
194find_or_make_txn_row(struct ovsdb_txn *txn, const struct ovsdb_table *table,
195 const struct uuid *uuid)
196{
197 struct ovsdb_txn_row *txn_row = find_txn_row(table, uuid);
198 if (!txn_row) {
199 const struct ovsdb_row *row = ovsdb_table_get_row(table, uuid);
200 if (row) {
201 txn_row = ovsdb_txn_row_modify(txn, row)->txn_row;
202 }
203 }
204 return txn_row;
205}
206
cab50449 207static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
97f7803b
BP
208ovsdb_txn_adjust_atom_refs(struct ovsdb_txn *txn, const struct ovsdb_row *r,
209 const struct ovsdb_column *c,
c7d85e0d
BP
210 const struct ovsdb_base_type *base,
211 const union ovsdb_atom *atoms, unsigned int n,
212 int delta)
0d0f05b9 213{
c7d85e0d 214 const struct ovsdb_table *table;
0d0f05b9
BP
215 unsigned int i;
216
7360012b 217 if (!ovsdb_base_type_is_strong_ref(base)) {
c7d85e0d
BP
218 return NULL;
219 }
220
221 table = base->u.uuid.refTable;
0d0f05b9
BP
222 for (i = 0; i < n; i++) {
223 const struct uuid *uuid = &atoms[i].uuid;
c5f341ab
BP
224 struct ovsdb_txn_row *txn_row;
225
7f90cb0e
BP
226 if (uuid_equals(uuid, ovsdb_row_get_uuid(r))) {
227 /* Self-references don't count. */
228 continue;
229 }
c5f341ab
BP
230
231 txn_row = find_or_make_txn_row(txn, table, uuid);
c7d85e0d 232 if (!txn_row) {
c5f341ab
BP
233 return ovsdb_error("referential integrity violation",
234 "Table %s column %s row "UUID_FMT" "
235 "references nonexistent row "UUID_FMT" in "
236 "table %s.",
237 r->table->schema->name, c->name,
238 UUID_ARGS(ovsdb_row_get_uuid(r)),
239 UUID_ARGS(uuid), table->schema->name);
0d0f05b9 240 }
c7d85e0d 241 txn_row->n_refs += delta;
0d0f05b9 242 }
c7d85e0d
BP
243
244 return NULL;
0d0f05b9
BP
245}
246
cab50449 247static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c7d85e0d
BP
248ovsdb_txn_adjust_row_refs(struct ovsdb_txn *txn, const struct ovsdb_row *r,
249 const struct ovsdb_column *column, int delta)
0d0f05b9
BP
250{
251 const struct ovsdb_datum *field = &r->fields[column->index];
c7d85e0d 252 struct ovsdb_error *error;
0d0f05b9 253
97f7803b 254 error = ovsdb_txn_adjust_atom_refs(txn, r, column, &column->type.key,
c7d85e0d
BP
255 field->keys, field->n, delta);
256 if (!error) {
97f7803b 257 error = ovsdb_txn_adjust_atom_refs(txn, r, column, &column->type.value,
c7d85e0d 258 field->values, field->n, delta);
0d0f05b9 259 }
c7d85e0d 260 return error;
0d0f05b9
BP
261}
262
cab50449 263static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c7d85e0d 264update_row_ref_count(struct ovsdb_txn *txn, struct ovsdb_txn_row *r)
0d0f05b9 265{
a8c37dc5 266 struct ovsdb_table *table = r->table;
c7d85e0d
BP
267 struct shash_node *node;
268
269 SHASH_FOR_EACH (node, &table->schema->columns) {
270 const struct ovsdb_column *column = node->data;
271 struct ovsdb_error *error;
272
273 if (r->old) {
274 error = ovsdb_txn_adjust_row_refs(txn, r->old, column, -1);
275 if (error) {
1dd5b71d 276 return OVSDB_WRAP_BUG("error decreasing refcount", error);
c7d85e0d
BP
277 }
278 }
279 if (r->new) {
280 error = ovsdb_txn_adjust_row_refs(txn, r->new, column, 1);
281 if (error) {
282 return error;
0d0f05b9
BP
283 }
284 }
285 }
0d0f05b9 286
c7d85e0d 287 return NULL;
0d0f05b9
BP
288}
289
cab50449 290static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c7d85e0d 291check_ref_count(struct ovsdb_txn *txn OVS_UNUSED, struct ovsdb_txn_row *r)
0d0f05b9 292{
c7d85e0d
BP
293 if (r->new || !r->n_refs) {
294 return NULL;
295 } else {
296 return ovsdb_error("referential integrity violation",
297 "cannot delete %s row "UUID_FMT" because "
34582733 298 "of %"PRIuSIZE" remaining reference(s)",
a8c37dc5 299 r->table->schema->name, UUID_ARGS(&r->uuid),
c7d85e0d 300 r->n_refs);
0d0f05b9 301 }
0d0f05b9
BP
302}
303
cab50449 304static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c5f341ab
BP
305delete_row_refs(struct ovsdb_txn *txn, const struct ovsdb_row *row,
306 const struct ovsdb_base_type *base,
307 const union ovsdb_atom *atoms, unsigned int n)
308{
309 const struct ovsdb_table *table;
310 unsigned int i;
311
312 if (!ovsdb_base_type_is_strong_ref(base)) {
313 return NULL;
314 }
315
316 table = base->u.uuid.refTable;
317 for (i = 0; i < n; i++) {
318 const struct uuid *uuid = &atoms[i].uuid;
319 struct ovsdb_txn_row *txn_row;
320
321 if (uuid_equals(uuid, ovsdb_row_get_uuid(row))) {
322 /* Self-references don't count. */
323 continue;
324 }
325
326 txn_row = find_or_make_txn_row(txn, table, uuid);
327 if (!txn_row) {
328 return OVSDB_BUG("strong ref target missing");
329 } else if (!txn_row->n_refs) {
330 return OVSDB_BUG("strong ref target has zero n_refs");
331 } else if (!txn_row->new) {
332 return OVSDB_BUG("deleted strong ref target");
333 }
334
335 if (--txn_row->n_refs == 0) {
336 struct ovsdb_error *error = delete_garbage_row(txn, txn_row);
337 if (error) {
338 return error;
339 }
340 }
341 }
342
343 return NULL;
344}
345
cab50449 346static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c5f341ab
BP
347delete_garbage_row(struct ovsdb_txn *txn, struct ovsdb_txn_row *txn_row)
348{
349 struct shash_node *node;
350 struct ovsdb_row *row;
351
352 if (txn_row->table->schema->is_root) {
353 return NULL;
354 }
355
356 row = txn_row->new;
357 txn_row->new = NULL;
358 hmap_remove(&txn_row->table->rows, &row->hmap_node);
359 SHASH_FOR_EACH (node, &txn_row->table->schema->columns) {
360 const struct ovsdb_column *column = node->data;
361 const struct ovsdb_datum *field = &row->fields[column->index];
362 struct ovsdb_error *error;
363
364 error = delete_row_refs(txn, row,
365 &column->type.key, field->keys, field->n);
366 if (error) {
367 return error;
368 }
369
370 error = delete_row_refs(txn, row,
371 &column->type.value, field->values, field->n);
372 if (error) {
373 return error;
374 }
375 }
376 ovsdb_row_destroy(row);
377
378 return NULL;
379}
380
cab50449 381static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
c5f341ab
BP
382collect_garbage(struct ovsdb_txn *txn, struct ovsdb_txn_row *txn_row)
383{
384 if (txn_row->new && !txn_row->n_refs) {
385 return delete_garbage_row(txn, txn_row);
386 }
387 return NULL;
388}
389
cab50449 390static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
0d0f05b9
BP
391update_ref_counts(struct ovsdb_txn *txn)
392{
393 struct ovsdb_error *error;
0d0f05b9 394
c7d85e0d 395 error = for_each_txn_row(txn, update_row_ref_count);
0d0f05b9
BP
396 if (error) {
397 return error;
398 }
399
c7d85e0d 400 return for_each_txn_row(txn, check_ref_count);
0d0f05b9
BP
401}
402
17d18afb 403static struct ovsdb_error *
3e010b7a
BP
404ovsdb_txn_row_commit(struct ovsdb_txn *txn OVS_UNUSED,
405 struct ovsdb_txn_row *txn_row)
406{
6910a6e6
BP
407 size_t n_indexes = txn_row->table->schema->n_indexes;
408
409 if (txn_row->old) {
410 size_t i;
411
412 for (i = 0; i < n_indexes; i++) {
413 struct hmap_node *node = ovsdb_row_get_index_node(txn_row->old, i);
414 hmap_remove(&txn_row->table->indexes[i], node);
415 }
416 }
417 if (txn_row->new) {
418 size_t i;
419
420 for (i = 0; i < n_indexes; i++) {
421 struct hmap_node *node = ovsdb_row_get_index_node(txn_row->new, i);
422 hmap_insert(&txn_row->table->indexes[i], node, node->hash);
423 }
424 }
425
3e010b7a 426 ovsdb_txn_row_prefree(txn_row);
c7d85e0d
BP
427 if (txn_row->new) {
428 txn_row->new->n_refs = txn_row->n_refs;
429 }
3e010b7a
BP
430 ovsdb_row_destroy(txn_row->old);
431 free(txn_row);
432
433 return NULL;
434}
435
7360012b
BP
436static void
437add_weak_ref(struct ovsdb_txn *txn,
438 const struct ovsdb_row *src_, const struct ovsdb_row *dst_)
439{
ebc56baa
BP
440 struct ovsdb_row *src = CONST_CAST(struct ovsdb_row *, src_);
441 struct ovsdb_row *dst = CONST_CAST(struct ovsdb_row *, dst_);
7360012b
BP
442 struct ovsdb_weak_ref *weak;
443
444 if (src == dst) {
445 return;
446 }
447
448 dst = ovsdb_txn_row_modify(txn, dst);
449
450 if (!list_is_empty(&dst->dst_refs)) {
451 /* Omit duplicates. */
452 weak = CONTAINER_OF(list_back(&dst->dst_refs),
453 struct ovsdb_weak_ref, dst_node);
454 if (weak->src == src) {
455 return;
456 }
457 }
458
459 weak = xmalloc(sizeof *weak);
460 weak->src = src;
461 list_push_back(&dst->dst_refs, &weak->dst_node);
462 list_push_back(&src->src_refs, &weak->src_node);
463}
464
cab50449 465static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
7360012b
BP
466assess_weak_refs(struct ovsdb_txn *txn, struct ovsdb_txn_row *txn_row)
467{
468 struct ovsdb_table *table;
469 struct shash_node *node;
470
471 if (txn_row->old) {
472 /* Mark rows that have weak references to 'txn_row' as modified, so
473 * that their weak references will get reassessed. */
474 struct ovsdb_weak_ref *weak, *next;
475
4e8e4213 476 LIST_FOR_EACH_SAFE (weak, next, dst_node, &txn_row->old->dst_refs) {
7360012b
BP
477 if (!weak->src->txn_row) {
478 ovsdb_txn_row_modify(txn, weak->src);
479 }
480 }
481 }
482
483 if (!txn_row->new) {
484 /* We don't have to do anything about references that originate at
485 * 'txn_row', because ovsdb_row_destroy() will remove those weak
486 * references. */
487 return NULL;
488 }
489
a8c37dc5 490 table = txn_row->table;
7360012b
BP
491 SHASH_FOR_EACH (node, &table->schema->columns) {
492 const struct ovsdb_column *column = node->data;
493 struct ovsdb_datum *datum = &txn_row->new->fields[column->index];
494 unsigned int orig_n, i;
495 bool zero = false;
496
497 orig_n = datum->n;
498
499 if (ovsdb_base_type_is_weak_ref(&column->type.key)) {
500 for (i = 0; i < datum->n; ) {
501 const struct ovsdb_row *row;
502
503 row = ovsdb_table_get_row(column->type.key.u.uuid.refTable,
504 &datum->keys[i].uuid);
505 if (row) {
506 add_weak_ref(txn, txn_row->new, row);
507 i++;
508 } else {
509 if (uuid_is_zero(&datum->keys[i].uuid)) {
510 zero = true;
511 }
512 ovsdb_datum_remove_unsafe(datum, i, &column->type);
513 }
514 }
515 }
516
517 if (ovsdb_base_type_is_weak_ref(&column->type.value)) {
518 for (i = 0; i < datum->n; ) {
519 const struct ovsdb_row *row;
520
521 row = ovsdb_table_get_row(column->type.value.u.uuid.refTable,
522 &datum->values[i].uuid);
523 if (row) {
524 add_weak_ref(txn, txn_row->new, row);
525 i++;
526 } else {
527 if (uuid_is_zero(&datum->values[i].uuid)) {
528 zero = true;
529 }
530 ovsdb_datum_remove_unsafe(datum, i, &column->type);
531 }
532 }
533 }
534
535 if (datum->n != orig_n) {
5cd9f691 536 bitmap_set1(txn_row->changed, OVSDB_COL_VERSION);
7360012b
BP
537 bitmap_set1(txn_row->changed, column->index);
538 ovsdb_datum_sort_assert(datum, column->type.key.type);
539 if (datum->n < column->type.n_min) {
540 const struct uuid *row_uuid = ovsdb_row_get_uuid(txn_row->new);
541 if (zero && !txn_row->old) {
542 return ovsdb_error(
543 "constraint violation",
544 "Weak reference column \"%s\" in \"%s\" row "UUID_FMT
545 " (inserted within this transaction) contained "
546 "all-zeros UUID (probably as the default value for "
547 "this column) but deleting this value caused a "
548 "constraint volation because this column is not "
549 "allowed to be empty.", column->name,
550 table->schema->name, UUID_ARGS(row_uuid));
551 } else {
552 return ovsdb_error(
553 "constraint violation",
554 "Deletion of %u weak reference(s) to deleted (or "
555 "never-existing) rows from column \"%s\" in \"%s\" "
556 "row "UUID_FMT" %scaused this column to become empty, "
557 "but constraints on this column disallow an "
558 "empty column.",
559 orig_n - datum->n, column->name, table->schema->name,
560 UUID_ARGS(row_uuid),
561 (txn_row->old
562 ? ""
563 : "(inserted within this transaction) "));
564 }
565 }
566 }
567 }
568
569 return NULL;
570}
571
cab50449 572static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
17d18afb
BP
573determine_changes(struct ovsdb_txn *txn, struct ovsdb_txn_row *txn_row)
574{
a8c37dc5 575 struct ovsdb_table *table = txn_row->table;
17d18afb 576
17d18afb
BP
577 if (txn_row->old && txn_row->new) {
578 struct shash_node *node;
579 bool changed = false;
580
581 SHASH_FOR_EACH (node, &table->schema->columns) {
582 const struct ovsdb_column *column = node->data;
583 const struct ovsdb_type *type = &column->type;
584 unsigned int idx = column->index;
585
586 if (!ovsdb_datum_equals(&txn_row->old->fields[idx],
587 &txn_row->new->fields[idx],
588 type)) {
589 bitmap_set1(txn_row->changed, idx);
590 changed = true;
591 }
592 }
593
594 if (!changed) {
595 /* Nothing actually changed in this row, so drop it. */
596 ovsdb_txn_row_abort(txn, txn_row);
597 }
598 } else {
599 bitmap_set_multiple(txn_row->changed, 0,
600 shash_count(&table->schema->columns), 1);
601 }
602
603 return NULL;
604}
605
cab50449 606static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
87ab878c
BP
607check_max_rows(struct ovsdb_txn *txn)
608{
609 struct ovsdb_txn_table *t;
610
4e8e4213 611 LIST_FOR_EACH (t, node, &txn->txn_tables) {
87ab878c
BP
612 size_t n_rows = hmap_count(&t->table->rows);
613 unsigned int max_rows = t->table->schema->max_rows;
614
615 if (n_rows > max_rows) {
616 return ovsdb_error("constraint violation",
617 "transaction causes \"%s\" table to contain "
34582733 618 "%"PRIuSIZE" rows, greater than the schema-defined "
87ab878c
BP
619 "limit of %u row(s)",
620 t->table->schema->name, n_rows, max_rows);
621 }
622 }
623
624 return NULL;
625}
626
6910a6e6
BP
627static struct ovsdb_row *
628ovsdb_index_search(struct hmap *index, struct ovsdb_row *row, size_t i,
629 uint32_t hash)
630{
631 const struct ovsdb_table *table = row->table;
632 const struct ovsdb_column_set *columns = &table->schema->indexes[i];
633 struct hmap_node *node;
634
635 for (node = hmap_first_with_hash(index, hash); node;
636 node = hmap_next_with_hash(node)) {
637 struct ovsdb_row *irow = ovsdb_row_from_index_node(node, table, i);
638 if (ovsdb_row_equal_columns(row, irow, columns)) {
639 return irow;
640 }
641 }
642
643 return NULL;
644}
645
646static void
647duplicate_index_row__(const struct ovsdb_column_set *index,
648 const struct ovsdb_row *row,
649 const char *title,
650 struct ds *out)
651{
652 size_t n_columns = shash_count(&row->table->schema->columns);
653
654 ds_put_format(out, "%s row, with UUID "UUID_FMT", ",
655 title, UUID_ARGS(ovsdb_row_get_uuid(row)));
656 if (!row->txn_row
b71273f6 657 || bitmap_scan(row->txn_row->changed, 1, 0, n_columns) == n_columns) {
6910a6e6
BP
658 ds_put_cstr(out, "existed in the database before this "
659 "transaction and was not modified by the transaction.");
660 } else if (!row->txn_row->old) {
661 ds_put_cstr(out, "was inserted by this transaction.");
662 } else if (ovsdb_row_equal_columns(row->txn_row->old,
663 row->txn_row->new, index)) {
664 ds_put_cstr(out, "existed in the database before this "
665 "transaction, which modified some of the row's columns "
666 "but not any columns in this index.");
667 } else {
668 ds_put_cstr(out, "had the following index values before the "
669 "transaction: ");
670 ovsdb_row_columns_to_string(row->txn_row->old, index, out);
671 ds_put_char(out, '.');
672 }
673}
674
cab50449 675static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
6910a6e6
BP
676duplicate_index_row(const struct ovsdb_column_set *index,
677 const struct ovsdb_row *a,
678 const struct ovsdb_row *b)
679{
680 struct ovsdb_column_set all_columns;
681 struct ovsdb_error *error;
682 char *index_s;
683 struct ds s;
684
685 /* Put 'a' and 'b' in a predictable order to make error messages
686 * reproducible for testing. */
687 ovsdb_column_set_init(&all_columns);
688 ovsdb_column_set_add_all(&all_columns, a->table);
689 if (ovsdb_row_compare_columns_3way(a, b, &all_columns) < 0) {
690 const struct ovsdb_row *tmp = a;
691 a = b;
692 b = tmp;
693 }
694 ovsdb_column_set_destroy(&all_columns);
695
696 index_s = ovsdb_column_set_to_string(index);
697
698 ds_init(&s);
699 ds_put_format(&s, "Transaction causes multiple rows in \"%s\" table to "
700 "have identical values (", a->table->schema->name);
701 ovsdb_row_columns_to_string(a, index, &s);
702 ds_put_format(&s, ") for index on %s. ", index_s);
703 duplicate_index_row__(index, a, "First", &s);
704 ds_put_cstr(&s, " ");
705 duplicate_index_row__(index, b, "Second", &s);
706
707 free(index_s);
708
709 error = ovsdb_error("constraint violation", "%s", ds_cstr(&s));
710 ds_destroy(&s);
711 return error;
712}
713
cab50449 714static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
6910a6e6
BP
715check_index_uniqueness(struct ovsdb_txn *txn OVS_UNUSED,
716 struct ovsdb_txn_row *txn_row)
717{
718 struct ovsdb_txn_table *txn_table = txn_row->table->txn_table;
719 struct ovsdb_table *table = txn_row->table;
720 struct ovsdb_row *row = txn_row->new;
721 size_t i;
722
723 if (!row) {
724 return NULL;
725 }
726
727 for (i = 0; i < table->schema->n_indexes; i++) {
728 const struct ovsdb_column_set *index = &table->schema->indexes[i];
729 struct ovsdb_row *irow;
730 uint32_t hash;
731
732 hash = ovsdb_row_hash_columns(row, index, 0);
733 irow = ovsdb_index_search(&txn_table->txn_indexes[i], row, i, hash);
734 if (irow) {
735 return duplicate_index_row(index, irow, row);
736 }
737
738 irow = ovsdb_index_search(&table->indexes[i], row, i, hash);
739 if (irow && !irow->txn_row) {
740 return duplicate_index_row(index, irow, row);
741 }
742
743 hmap_insert(&txn_table->txn_indexes[i],
744 ovsdb_row_get_index_node(row, i), hash);
745 }
746
747 return NULL;
748}
749
bd06962a
BP
750struct ovsdb_error *
751ovsdb_txn_commit(struct ovsdb_txn *txn, bool durable)
f85f8ebb 752{
bd06962a
BP
753 struct ovsdb_replica *replica;
754 struct ovsdb_error *error;
f85f8ebb 755
17d18afb
BP
756 /* Figure out what actually changed, and abort early if the transaction
757 * was really a no-op. */
758 error = for_each_txn_row(txn, determine_changes);
759 if (error) {
1dd5b71d 760 return OVSDB_WRAP_BUG("can't happen", error);
17d18afb
BP
761 }
762 if (list_is_empty(&txn->txn_tables)) {
763 ovsdb_txn_abort(txn);
764 return NULL;
765 }
766
c5f341ab
BP
767 /* Update reference counts and check referential integrity. */
768 error = update_ref_counts(txn);
87ab878c
BP
769 if (error) {
770 ovsdb_txn_abort(txn);
771 return error;
772 }
773
c5f341ab
BP
774 /* Delete unreferenced, non-root rows. */
775 error = for_each_txn_row(txn, collect_garbage);
776 if (error) {
777 ovsdb_txn_abort(txn);
778 return OVSDB_WRAP_BUG("can't happen", error);
779 }
780
781 /* Check maximum rows table constraints. */
782 error = check_max_rows(txn);
0d0f05b9
BP
783 if (error) {
784 ovsdb_txn_abort(txn);
785 return error;
786 }
787
6910a6e6 788 /* Check reference counts and remove bad references for "weak" referential
7360012b
BP
789 * integrity. */
790 error = for_each_txn_row(txn, assess_weak_refs);
791 if (error) {
792 ovsdb_txn_abort(txn);
793 return error;
794 }
795
6910a6e6
BP
796 /* Verify that the indexes will still be unique post-transaction. */
797 error = for_each_txn_row(txn, check_index_uniqueness);
798 if (error) {
799 ovsdb_txn_abort(txn);
800 return error;
801 }
802
17d18afb 803 /* Send the commit to each replica. */
4e8e4213 804 LIST_FOR_EACH (replica, node, &txn->db->replicas) {
bd06962a 805 error = (replica->class->commit)(replica, txn, durable);
f85f8ebb 806 if (error) {
bd06962a
BP
807 /* We don't support two-phase commit so only the first replica is
808 * allowed to report an error. */
cb22974d 809 ovs_assert(&replica->node == txn->db->replicas.next);
f85f8ebb 810
bd06962a 811 ovsdb_txn_abort(txn);
f85f8ebb
BP
812 return error;
813 }
814 }
815
3e010b7a 816 /* Finalize commit. */
bd06962a 817 txn->db->run_triggers = true;
3e010b7a
BP
818 ovsdb_error_assert(for_each_txn_row(txn, ovsdb_txn_row_commit));
819 ovsdb_txn_free(txn);
820
f85f8ebb
BP
821 return NULL;
822}
823
bd06962a
BP
824void
825ovsdb_txn_for_each_change(const struct ovsdb_txn *txn,
826 ovsdb_txn_row_cb_func *cb, void *aux)
f85f8ebb 827{
bd06962a
BP
828 struct ovsdb_txn_table *t;
829 struct ovsdb_txn_row *r;
f85f8ebb 830
4e8e4213
BP
831 LIST_FOR_EACH (t, node, &txn->txn_tables) {
832 HMAP_FOR_EACH (r, hmap_node, &t->txn_rows) {
a8c37dc5 833 if ((r->old || r->new) && !cb(r->old, r->new, r->changed, aux)) {
bd06962a
BP
834 break;
835 }
f85f8ebb 836 }
bd06962a 837 }
f85f8ebb
BP
838}
839
840static struct ovsdb_txn_table *
71c93bd4 841ovsdb_txn_create_txn_table(struct ovsdb_txn *txn, struct ovsdb_table *table)
f85f8ebb 842{
71c93bd4
BP
843 if (!table->txn_table) {
844 struct ovsdb_txn_table *txn_table;
6910a6e6 845 size_t i;
f85f8ebb 846
71c93bd4 847 table->txn_table = txn_table = xmalloc(sizeof *table->txn_table);
f85f8ebb
BP
848 txn_table->table = table;
849 hmap_init(&txn_table->txn_rows);
3e010b7a 850 txn_table->serial = serial - 1;
6910a6e6
BP
851 txn_table->txn_indexes = xmalloc(table->schema->n_indexes
852 * sizeof *txn_table->txn_indexes);
853 for (i = 0; i < table->schema->n_indexes; i++) {
854 hmap_init(&txn_table->txn_indexes[i]);
855 }
71c93bd4 856 list_push_back(&txn->txn_tables, &txn_table->node);
f85f8ebb 857 }
71c93bd4 858 return table->txn_table;
f85f8ebb
BP
859}
860
861static struct ovsdb_txn_row *
71c93bd4 862ovsdb_txn_row_create(struct ovsdb_txn *txn, struct ovsdb_table *table,
b405dcfb 863 const struct ovsdb_row *old_, struct ovsdb_row *new)
f85f8ebb 864{
a8c37dc5 865 const struct ovsdb_row *row = old_ ? old_ : new;
ebc56baa 866 struct ovsdb_row *old = CONST_CAST(struct ovsdb_row *, old_);
17d18afb 867 size_t n_columns = shash_count(&table->schema->columns);
71c93bd4 868 struct ovsdb_txn_table *txn_table;
f85f8ebb
BP
869 struct ovsdb_txn_row *txn_row;
870
17d18afb
BP
871 txn_row = xzalloc(offsetof(struct ovsdb_txn_row, changed)
872 + bitmap_n_bytes(n_columns));
a8c37dc5
BP
873 txn_row->uuid = *ovsdb_row_get_uuid(row);
874 txn_row->table = row->table;
875 txn_row->old = old;
f85f8ebb 876 txn_row->new = new;
c7d85e0d 877 txn_row->n_refs = old ? old->n_refs : 0;
3e010b7a 878 txn_row->serial = serial - 1;
71c93bd4 879
b405dcfb
BP
880 if (old) {
881 old->txn_row = txn_row;
882 }
883 if (new) {
884 new->txn_row = txn_row;
885 }
886
71c93bd4
BP
887 txn_table = ovsdb_txn_create_txn_table(txn, table);
888 hmap_insert(&txn_table->txn_rows, &txn_row->hmap_node,
889 ovsdb_row_hash(old ? old : new));
f85f8ebb
BP
890
891 return txn_row;
892}
893
894struct ovsdb_row *
895ovsdb_txn_row_modify(struct ovsdb_txn *txn, const struct ovsdb_row *ro_row_)
896{
ebc56baa 897 struct ovsdb_row *ro_row = CONST_CAST(struct ovsdb_row *, ro_row_);
f85f8ebb
BP
898
899 if (ro_row->txn_row) {
cb22974d 900 ovs_assert(ro_row == ro_row->txn_row->new);
f85f8ebb
BP
901 return ro_row;
902 } else {
903 struct ovsdb_table *table = ro_row->table;
f85f8ebb
BP
904 struct ovsdb_row *rw_row;
905
f85f8ebb 906 rw_row = ovsdb_row_clone(ro_row);
0d0f05b9 907 rw_row->n_refs = ro_row->n_refs;
f85f8ebb 908 uuid_generate(ovsdb_row_get_version_rw(rw_row));
b405dcfb 909 ovsdb_txn_row_create(txn, table, ro_row, rw_row);
f85f8ebb
BP
910 hmap_replace(&table->rows, &ro_row->hmap_node, &rw_row->hmap_node);
911
912 return rw_row;
913 }
914}
915
916void
917ovsdb_txn_row_insert(struct ovsdb_txn *txn, struct ovsdb_row *row)
918{
919 uint32_t hash = ovsdb_row_hash(row);
920 struct ovsdb_table *table = row->table;
f85f8ebb
BP
921
922 uuid_generate(ovsdb_row_get_version_rw(row));
923
b405dcfb 924 ovsdb_txn_row_create(txn, table, NULL, row);
f85f8ebb
BP
925 hmap_insert(&table->rows, &row->hmap_node, hash);
926}
927
928/* 'row' must be assumed destroyed upon return; the caller must not reference
929 * it again. */
930void
931ovsdb_txn_row_delete(struct ovsdb_txn *txn, const struct ovsdb_row *row_)
932{
ebc56baa 933 struct ovsdb_row *row = CONST_CAST(struct ovsdb_row *, row_);
f85f8ebb
BP
934 struct ovsdb_table *table = row->table;
935 struct ovsdb_txn_row *txn_row = row->txn_row;
f85f8ebb
BP
936
937 hmap_remove(&table->rows, &row->hmap_node);
938
939 if (!txn_row) {
b405dcfb 940 ovsdb_txn_row_create(txn, table, row, NULL);
f85f8ebb 941 } else {
cb22974d 942 ovs_assert(txn_row->new == row);
f85f8ebb
BP
943 if (txn_row->old) {
944 txn_row->new = NULL;
945 } else {
71c93bd4 946 hmap_remove(&table->txn_table->txn_rows, &txn_row->hmap_node);
e084f690 947 free(txn_row);
f85f8ebb
BP
948 }
949 ovsdb_row_destroy(row);
950 }
951}
d171b584
BP
952
953void
954ovsdb_txn_add_comment(struct ovsdb_txn *txn, const char *s)
955{
956 if (txn->comment.length) {
957 ds_put_char(&txn->comment, '\n');
958 }
959 ds_put_cstr(&txn->comment, s);
960}
961
962const char *
963ovsdb_txn_get_comment(const struct ovsdb_txn *txn)
964{
965 return txn->comment.length ? ds_cstr_ro(&txn->comment) : NULL;
966}
3e010b7a
BP
967\f
968static void
969ovsdb_txn_row_prefree(struct ovsdb_txn_row *txn_row)
970{
a8c37dc5 971 struct ovsdb_txn_table *txn_table = txn_row->table->txn_table;
3e010b7a
BP
972
973 txn_table->n_processed--;
974 hmap_remove(&txn_table->txn_rows, &txn_row->hmap_node);
975
976 if (txn_row->old) {
977 txn_row->old->txn_row = NULL;
978 }
979 if (txn_row->new) {
980 txn_row->new->txn_row = NULL;
981 }
982}
983
984static void
985ovsdb_txn_table_destroy(struct ovsdb_txn_table *txn_table)
986{
6910a6e6
BP
987 size_t i;
988
cb22974d 989 ovs_assert(hmap_is_empty(&txn_table->txn_rows));
6910a6e6
BP
990
991 for (i = 0; i < txn_table->table->schema->n_indexes; i++) {
992 hmap_destroy(&txn_table->txn_indexes[i]);
993 }
714110de 994 free(txn_table->txn_indexes);
6910a6e6 995
3e010b7a
BP
996 txn_table->table->txn_table = NULL;
997 hmap_destroy(&txn_table->txn_rows);
998 list_remove(&txn_table->node);
999 free(txn_table);
1000}
1001
1002/* Calls 'cb' for every txn_row within 'txn'. If 'cb' returns nonnull, this
1003 * aborts the iteration and for_each_txn_row() passes the error up. Otherwise,
1004 * returns a null pointer after iteration is complete.
1005 *
1006 * 'cb' may insert new txn_rows and new txn_tables into 'txn'. It may delete
1007 * the txn_row that it is passed in, or txn_rows in txn_tables other than the
1008 * one passed to 'cb'. It may *not* delete txn_rows other than the one passed
1009 * in within the same txn_table. It may *not* delete any txn_tables. As long
1010 * as these rules are followed, 'cb' will be called exactly once for each
1011 * txn_row in 'txn', even those added by 'cb'.
a8c37dc5
BP
1012 *
1013 * (Even though 'cb' is not allowed to delete some txn_rows, it can still
1014 * delete any actual row by clearing a txn_row's 'new' member.)
3e010b7a 1015 */
cab50449 1016static struct ovsdb_error * OVS_WARN_UNUSED_RESULT
3e010b7a
BP
1017for_each_txn_row(struct ovsdb_txn *txn,
1018 struct ovsdb_error *(*cb)(struct ovsdb_txn *,
1019 struct ovsdb_txn_row *))
1020{
1021 bool any_work;
1022
1023 serial++;
1024
1025 do {
1026 struct ovsdb_txn_table *t, *next_txn_table;
1027
1028 any_work = false;
4e8e4213 1029 LIST_FOR_EACH_SAFE (t, next_txn_table, node, &txn->txn_tables) {
3e010b7a
BP
1030 if (t->serial != serial) {
1031 t->serial = serial;
1032 t->n_processed = 0;
1033 }
1034
1035 while (t->n_processed < hmap_count(&t->txn_rows)) {
1036 struct ovsdb_txn_row *r, *next_txn_row;
1037
4e8e4213 1038 HMAP_FOR_EACH_SAFE (r, next_txn_row, hmap_node, &t->txn_rows) {
3e010b7a
BP
1039 if (r->serial != serial) {
1040 struct ovsdb_error *error;
1041
1042 r->serial = serial;
1043 t->n_processed++;
1044 any_work = true;
1045
1046 error = cb(txn, r);
1047 if (error) {
1048 return error;
1049 }
1050 }
1051 }
1052 }
1053 if (hmap_is_empty(&t->txn_rows)) {
1054 /* Table is empty. Drop it. */
1055 ovsdb_txn_table_destroy(t);
1056 }
1057 }
1058 } while (any_work);
1059
1060 return NULL;
1061}