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