7805c6049034522646bae6089748e0068e0b39ac
[cascardo/ovs.git] / ovsdb / monitor.c
1 /*
2  * Copyright (c) 2015 Nicira, Inc.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at:
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16
17 #include <config.h>
18
19 #include <errno.h>
20
21 #include "bitmap.h"
22 #include "column.h"
23 #include "dynamic-string.h"
24 #include "json.h"
25 #include "jsonrpc.h"
26 #include "ovsdb-error.h"
27 #include "ovsdb-parser.h"
28 #include "ovsdb.h"
29 #include "row.h"
30 #include "simap.h"
31 #include "hash.h"
32 #include "table.h"
33 #include "hash.h"
34 #include "timeval.h"
35 #include "transaction.h"
36 #include "jsonrpc-server.h"
37 #include "monitor.h"
38 #include "openvswitch/vlog.h"
39
40
41 static const struct ovsdb_replica_class ovsdb_jsonrpc_replica_class;
42 static struct hmap ovsdb_monitors = HMAP_INITIALIZER(&ovsdb_monitors);
43
44 /*  Backend monitor.
45  *
46  *  ovsdb_monitor keep track of the ovsdb changes.
47  */
48
49 /* A collection of tables being monitored. */
50 struct ovsdb_monitor {
51     struct ovsdb_replica replica;
52     struct shash tables;     /* Holds "struct ovsdb_monitor_table"s. */
53     struct ovs_list jsonrpc_monitors;  /* Contains "jsonrpc_monitor_node"s. */
54     struct ovsdb *db;
55     uint64_t n_transactions;      /* Count number of committed transactions. */
56     struct hmap_node hmap_node;   /* Elements within ovsdb_monitors.  */
57     struct hmap json_cache;       /* Contains "ovsdb_monitor_json_cache_node"s.*/
58 };
59
60 /* A json object of updates between 'from_txn' and 'dbmon->n_transactions'
61  * inclusive.  */
62 struct ovsdb_monitor_json_cache_node {
63     struct hmap_node hmap_node;   /* Elements in json cache. */
64     uint64_t from_txn;
65     struct json *json;            /* Null, or a cloned of json */
66 };
67
68 struct jsonrpc_monitor_node {
69     struct ovsdb_jsonrpc_monitor *jsonrpc_monitor;
70     struct ovs_list node;
71 };
72
73 /* A particular column being monitored. */
74 struct ovsdb_monitor_column {
75     const struct ovsdb_column *column;
76     enum ovsdb_monitor_selection select;
77 };
78
79 /* A row that has changed in a monitored table. */
80 struct ovsdb_monitor_row {
81     struct hmap_node hmap_node; /* In ovsdb_jsonrpc_monitor_table.changes. */
82     struct uuid uuid;           /* UUID of row that changed. */
83     struct ovsdb_datum *old;    /* Old data, NULL for an inserted row. */
84     struct ovsdb_datum *new;    /* New data, NULL for a deleted row. */
85 };
86
87 /* Contains 'struct ovsdb_monitor_row's for rows that have been
88  * updated but not yet flushed to all the jsonrpc connection.
89  *
90  * 'n_refs' represent the number of jsonrpc connections that have
91  * not received updates. Generate the update for the last jsonprc
92  * connection will also destroy the whole "struct ovsdb_monitor_changes"
93  * object.
94  *
95  * 'transaction' stores the first update's transaction id.
96  * */
97 struct ovsdb_monitor_changes {
98     struct ovsdb_monitor_table *mt;
99     struct hmap rows;
100     int n_refs;
101     uint64_t transaction;
102     struct hmap_node hmap_node;  /* Element in ovsdb_monitor_tables' changes
103                                     hmap.  */
104 };
105
106 /* A particular table being monitored. */
107 struct ovsdb_monitor_table {
108     const struct ovsdb_table *table;
109
110     /* This is the union (bitwise-OR) of the 'select' values in all of the
111      * members of 'columns' below. */
112     enum ovsdb_monitor_selection select;
113
114     /* Columns being monitored. */
115     struct ovsdb_monitor_column *columns;
116     size_t n_columns;
117
118     /* Contains 'ovsdb_monitor_changes' indexed by 'transaction'. */
119     struct hmap changes;
120 };
121
122 static void ovsdb_monitor_destroy(struct ovsdb_monitor *dbmon);
123 static struct ovsdb_monitor_changes * ovsdb_monitor_table_add_changes(
124     struct ovsdb_monitor_table *mt, uint64_t next_txn);
125 static struct ovsdb_monitor_changes *ovsdb_monitor_table_find_changes(
126     struct ovsdb_monitor_table *mt, uint64_t unflushed);
127 static void ovsdb_monitor_changes_destroy(
128                                   struct ovsdb_monitor_changes *changes);
129 static void ovsdb_monitor_table_track_changes(struct ovsdb_monitor_table *mt,
130                                   uint64_t unflushed);
131
132 static struct ovsdb_monitor_json_cache_node *
133 ovsdb_monitor_json_cache_search(const struct ovsdb_monitor *dbmon,
134                                 uint64_t from_txn)
135 {
136     struct ovsdb_monitor_json_cache_node *node;
137     uint32_t hash = hash_uint64(from_txn);
138
139     HMAP_FOR_EACH_WITH_HASH(node, hmap_node, hash, &dbmon->json_cache) {
140         if (node->from_txn == from_txn) {
141             return node;
142         }
143     }
144
145     return NULL;
146 }
147
148 static void
149 ovsdb_monitor_json_cache_insert(struct ovsdb_monitor *dbmon,
150                                 uint64_t from_txn, struct json *json)
151 {
152     struct ovsdb_monitor_json_cache_node *node;
153     uint32_t hash;
154
155     node = xmalloc(sizeof *node);
156
157     hash = hash_uint64(from_txn);
158     node->from_txn = from_txn;
159     node->json = json ? json_clone(json) : NULL;
160
161     hmap_insert(&dbmon->json_cache, &node->hmap_node, hash);
162 }
163
164 static void
165 ovsdb_monitor_json_cache_flush(struct ovsdb_monitor *dbmon)
166 {
167     struct ovsdb_monitor_json_cache_node *node, *next;
168
169     HMAP_FOR_EACH_SAFE(node, next, hmap_node, &dbmon->json_cache) {
170         hmap_remove(&dbmon->json_cache, &node->hmap_node);
171         json_destroy(node->json);
172         free(node);
173     }
174 }
175
176 static int
177 compare_ovsdb_monitor_column(const void *a_, const void *b_)
178 {
179     const struct ovsdb_monitor_column *a = a_;
180     const struct ovsdb_monitor_column *b = b_;
181
182     return a->column < b->column ? -1 : a->column > b->column;
183 }
184
185 static struct ovsdb_monitor *
186 ovsdb_monitor_cast(struct ovsdb_replica *replica)
187 {
188     ovs_assert(replica->class == &ovsdb_jsonrpc_replica_class);
189     return CONTAINER_OF(replica, struct ovsdb_monitor, replica);
190 }
191
192 /* Finds and returns the ovsdb_monitor_row in 'mt->changes->rows' for the
193  * given 'uuid', or NULL if there is no such row. */
194 static struct ovsdb_monitor_row *
195 ovsdb_monitor_changes_row_find(const struct ovsdb_monitor_changes *changes,
196                                const struct uuid *uuid)
197 {
198     struct ovsdb_monitor_row *row;
199
200     HMAP_FOR_EACH_WITH_HASH (row, hmap_node, uuid_hash(uuid),
201                              &changes->rows) {
202         if (uuid_equals(uuid, &row->uuid)) {
203             return row;
204         }
205     }
206     return NULL;
207 }
208
209 /* Allocates an array of 'mt->n_columns' ovsdb_datums and initializes them as
210  * copies of the data in 'row' drawn from the columns represented by
211  * mt->columns[].  Returns the array.
212  *
213  * If 'row' is NULL, returns NULL. */
214 static struct ovsdb_datum *
215 clone_monitor_row_data(const struct ovsdb_monitor_table *mt,
216                        const struct ovsdb_row *row)
217 {
218     struct ovsdb_datum *data;
219     size_t i;
220
221     if (!row) {
222         return NULL;
223     }
224
225     data = xmalloc(mt->n_columns * sizeof *data);
226     for (i = 0; i < mt->n_columns; i++) {
227         const struct ovsdb_column *c = mt->columns[i].column;
228         const struct ovsdb_datum *src = &row->fields[c->index];
229         struct ovsdb_datum *dst = &data[i];
230         const struct ovsdb_type *type = &c->type;
231
232         ovsdb_datum_clone(dst, src, type);
233     }
234     return data;
235 }
236
237 /* Replaces the mt->n_columns ovsdb_datums in row[] by copies of the data from
238  * in 'row' drawn from the columns represented by mt->columns[]. */
239 static void
240 update_monitor_row_data(const struct ovsdb_monitor_table *mt,
241                         const struct ovsdb_row *row,
242                         struct ovsdb_datum *data)
243 {
244     size_t i;
245
246     for (i = 0; i < mt->n_columns; i++) {
247         const struct ovsdb_column *c = mt->columns[i].column;
248         const struct ovsdb_datum *src = &row->fields[c->index];
249         struct ovsdb_datum *dst = &data[i];
250         const struct ovsdb_type *type = &c->type;
251
252         if (!ovsdb_datum_equals(src, dst, type)) {
253             ovsdb_datum_destroy(dst, type);
254             ovsdb_datum_clone(dst, src, type);
255         }
256     }
257 }
258
259 /* Frees all of the mt->n_columns ovsdb_datums in data[], using the types taken
260  * from mt->columns[], plus 'data' itself. */
261 static void
262 free_monitor_row_data(const struct ovsdb_monitor_table *mt,
263                       struct ovsdb_datum *data)
264 {
265     if (data) {
266         size_t i;
267
268         for (i = 0; i < mt->n_columns; i++) {
269             const struct ovsdb_column *c = mt->columns[i].column;
270
271             ovsdb_datum_destroy(&data[i], &c->type);
272         }
273         free(data);
274     }
275 }
276
277 /* Frees 'row', which must have been created from 'mt'. */
278 static void
279 ovsdb_monitor_row_destroy(const struct ovsdb_monitor_table *mt,
280                           struct ovsdb_monitor_row *row)
281 {
282     if (row) {
283         free_monitor_row_data(mt, row->old);
284         free_monitor_row_data(mt, row->new);
285         free(row);
286     }
287 }
288
289 void
290 ovsdb_monitor_add_jsonrpc_monitor(struct ovsdb_monitor *dbmon,
291                                   struct ovsdb_jsonrpc_monitor *jsonrpc_monitor)
292 {
293     struct jsonrpc_monitor_node *jm;
294
295     jm = xzalloc(sizeof *jm);
296     jm->jsonrpc_monitor = jsonrpc_monitor;
297     list_push_back(&dbmon->jsonrpc_monitors, &jm->node);
298 }
299
300 struct ovsdb_monitor *
301 ovsdb_monitor_create(struct ovsdb *db,
302                      struct ovsdb_jsonrpc_monitor *jsonrpc_monitor)
303 {
304     struct ovsdb_monitor *dbmon;
305
306     dbmon = xzalloc(sizeof *dbmon);
307
308     ovsdb_replica_init(&dbmon->replica, &ovsdb_jsonrpc_replica_class);
309     ovsdb_add_replica(db, &dbmon->replica);
310     list_init(&dbmon->jsonrpc_monitors);
311     dbmon->db = db;
312     dbmon->n_transactions = 0;
313     shash_init(&dbmon->tables);
314     hmap_node_nullify(&dbmon->hmap_node);
315     hmap_init(&dbmon->json_cache);
316
317     ovsdb_monitor_add_jsonrpc_monitor(dbmon, jsonrpc_monitor);
318     return dbmon;
319 }
320
321 void
322 ovsdb_monitor_add_table(struct ovsdb_monitor *m,
323                         const struct ovsdb_table *table)
324 {
325     struct ovsdb_monitor_table *mt;
326
327     mt = xzalloc(sizeof *mt);
328     mt->table = table;
329     shash_add(&m->tables, table->schema->name, mt);
330     hmap_init(&mt->changes);
331 }
332
333 void
334 ovsdb_monitor_add_column(struct ovsdb_monitor *dbmon,
335                          const struct ovsdb_table *table,
336                          const struct ovsdb_column *column,
337                          enum ovsdb_monitor_selection select,
338                          size_t *allocated_columns)
339 {
340     struct ovsdb_monitor_table *mt;
341     struct ovsdb_monitor_column *c;
342
343     mt = shash_find_data(&dbmon->tables, table->schema->name);
344
345     if (mt->n_columns >= *allocated_columns) {
346         mt->columns = x2nrealloc(mt->columns, allocated_columns,
347                                  sizeof *mt->columns);
348     }
349
350     mt->select |= select;
351     c = &mt->columns[mt->n_columns++];
352     c->column = column;
353     c->select = select;
354 }
355
356 /* Check for duplicated column names. Return the first
357  * duplicated column's name if found. Otherwise return
358  * NULL.  */
359 const char * OVS_WARN_UNUSED_RESULT
360 ovsdb_monitor_table_check_duplicates(struct ovsdb_monitor *m,
361                                      const struct ovsdb_table *table)
362 {
363     struct ovsdb_monitor_table *mt;
364     int i;
365
366     mt = shash_find_data(&m->tables, table->schema->name);
367
368     if (mt) {
369         /* Check for duplicate columns. */
370         qsort(mt->columns, mt->n_columns, sizeof *mt->columns,
371               compare_ovsdb_monitor_column);
372         for (i = 1; i < mt->n_columns; i++) {
373             if (mt->columns[i].column == mt->columns[i - 1].column) {
374                 return mt->columns[i].column->name;
375             }
376         }
377     }
378
379     return NULL;
380 }
381
382 static struct ovsdb_monitor_changes *
383 ovsdb_monitor_table_add_changes(struct ovsdb_monitor_table *mt,
384                                 uint64_t next_txn)
385 {
386     struct ovsdb_monitor_changes *changes;
387
388     changes = xzalloc(sizeof *changes);
389
390     changes->transaction = next_txn;
391     changes->mt = mt;
392     changes->n_refs = 1;
393     hmap_init(&changes->rows);
394     hmap_insert(&mt->changes, &changes->hmap_node, hash_uint64(next_txn));
395
396     return changes;
397 };
398
399 static struct ovsdb_monitor_changes *
400 ovsdb_monitor_table_find_changes(struct ovsdb_monitor_table *mt,
401                                  uint64_t transaction)
402 {
403     struct ovsdb_monitor_changes *changes;
404     size_t hash = hash_uint64(transaction);
405
406     HMAP_FOR_EACH_WITH_HASH(changes, hmap_node, hash, &mt->changes) {
407         if (changes->transaction == transaction) {
408             return changes;
409         }
410     }
411
412     return NULL;
413 }
414
415 /* Stop currently tracking changes to table 'mt' since 'transaction'. */
416 static void
417 ovsdb_monitor_table_untrack_changes(struct ovsdb_monitor_table *mt,
418                                     uint64_t transaction)
419 {
420     struct ovsdb_monitor_changes *changes =
421                 ovsdb_monitor_table_find_changes(mt, transaction);
422     if (changes) {
423         if (--changes->n_refs == 0) {
424             hmap_remove(&mt->changes, &changes->hmap_node);
425             ovsdb_monitor_changes_destroy(changes);
426         }
427     }
428 }
429
430 /* Start tracking changes to table 'mt' begins from 'transaction' inclusive.
431  */
432 static void
433 ovsdb_monitor_table_track_changes(struct ovsdb_monitor_table *mt,
434                                   uint64_t transaction)
435 {
436     struct ovsdb_monitor_changes *changes;
437
438     changes = ovsdb_monitor_table_find_changes(mt, transaction);
439     if (changes) {
440         changes->n_refs++;
441     } else {
442         ovsdb_monitor_table_add_changes(mt, transaction);
443     }
444 }
445
446 static void
447 ovsdb_monitor_changes_destroy(struct ovsdb_monitor_changes *changes)
448 {
449     struct ovsdb_monitor_row *row, *next;
450
451     HMAP_FOR_EACH_SAFE (row, next, hmap_node, &changes->rows) {
452         hmap_remove(&changes->rows, &row->hmap_node);
453         ovsdb_monitor_row_destroy(changes->mt, row);
454     }
455     hmap_destroy(&changes->rows);
456     free(changes);
457 }
458
459 static enum ovsdb_monitor_selection
460 ovsdb_monitor_row_update_type(bool initial, const bool old, const bool new)
461 {
462     return initial ? OJMS_INITIAL
463             : !old ? OJMS_INSERT
464             : !new ? OJMS_DELETE
465             : OJMS_MODIFY;
466 }
467
468 /* Returns JSON for a <row-update> (as described in RFC 7047) for 'row' within
469  * 'mt', or NULL if no row update should be sent.
470  *
471  * The caller should specify 'initial' as true if the returned JSON is going to
472  * be used as part of the initial reply to a "monitor" request, false if it is
473  * going to be used as part of an "update" notification.
474  *
475  * 'changed' must be a scratch buffer for internal use that is at least
476  * bitmap_n_bytes(mt->n_columns) bytes long. */
477 static struct json *
478 ovsdb_monitor_compose_row_update(
479     const struct ovsdb_monitor_table *mt,
480     const struct ovsdb_monitor_row *row,
481     bool initial, unsigned long int *changed)
482 {
483     enum ovsdb_monitor_selection type;
484     struct json *old_json, *new_json;
485     struct json *row_json;
486     size_t i;
487
488     type = ovsdb_monitor_row_update_type(initial, row->old, row->new);
489     if (!(mt->select & type)) {
490         return NULL;
491     }
492
493     if (type == OJMS_MODIFY) {
494         size_t n_changes;
495
496         n_changes = 0;
497         memset(changed, 0, bitmap_n_bytes(mt->n_columns));
498         for (i = 0; i < mt->n_columns; i++) {
499             const struct ovsdb_column *c = mt->columns[i].column;
500             if (!ovsdb_datum_equals(&row->old[i], &row->new[i], &c->type)) {
501                 bitmap_set1(changed, i);
502                 n_changes++;
503             }
504         }
505         if (!n_changes) {
506             /* No actual changes: presumably a row changed and then
507              * changed back later. */
508             return NULL;
509         }
510     }
511
512     row_json = json_object_create();
513     old_json = new_json = NULL;
514     if (type & (OJMS_DELETE | OJMS_MODIFY)) {
515         old_json = json_object_create();
516         json_object_put(row_json, "old", old_json);
517     }
518     if (type & (OJMS_INITIAL | OJMS_INSERT | OJMS_MODIFY)) {
519         new_json = json_object_create();
520         json_object_put(row_json, "new", new_json);
521     }
522     for (i = 0; i < mt->n_columns; i++) {
523         const struct ovsdb_monitor_column *c = &mt->columns[i];
524
525         if (!(type & c->select)) {
526             /* We don't care about this type of change for this
527              * particular column (but we will care about it for some
528              * other column). */
529             continue;
530         }
531
532         if ((type == OJMS_MODIFY && bitmap_is_set(changed, i))
533             || type == OJMS_DELETE) {
534             json_object_put(old_json, c->column->name,
535                             ovsdb_datum_to_json(&row->old[i],
536                                                 &c->column->type));
537         }
538         if (type & (OJMS_INITIAL | OJMS_INSERT | OJMS_MODIFY)) {
539             json_object_put(new_json, c->column->name,
540                             ovsdb_datum_to_json(&row->new[i],
541                                                 &c->column->type));
542         }
543     }
544
545     return row_json;
546 }
547
548 /* Constructs and returns JSON for a <table-updates> object (as described in
549  * RFC 7047) for all the outstanding changes within 'monitor', starting from
550  * 'transaction'.  */
551 static struct json*
552 ovsdb_monitor_compose_update(struct ovsdb_monitor *dbmon,
553                              bool initial, uint64_t transaction)
554 {
555     struct shash_node *node;
556     unsigned long int *changed;
557     struct json *json;
558     size_t max_columns;
559
560     max_columns = 0;
561     SHASH_FOR_EACH (node, &dbmon->tables) {
562         struct ovsdb_monitor_table *mt = node->data;
563
564         max_columns = MAX(max_columns, mt->n_columns);
565     }
566     changed = xmalloc(bitmap_n_bytes(max_columns));
567
568     json = NULL;
569     SHASH_FOR_EACH (node, &dbmon->tables) {
570         struct ovsdb_monitor_table *mt = node->data;
571         struct ovsdb_monitor_row *row, *next;
572         struct ovsdb_monitor_changes *changes;
573         struct json *table_json = NULL;
574
575         changes = ovsdb_monitor_table_find_changes(mt, transaction);
576         if (!changes) {
577             continue;
578         }
579
580         HMAP_FOR_EACH_SAFE (row, next, hmap_node, &changes->rows) {
581             struct json *row_json;
582
583             row_json = ovsdb_monitor_compose_row_update(
584                 mt, row, initial, changed);
585             if (row_json) {
586                 char uuid[UUID_LEN + 1];
587
588                 /* Create JSON object for transaction overall. */
589                 if (!json) {
590                     json = json_object_create();
591                 }
592
593                 /* Create JSON object for transaction on this table. */
594                 if (!table_json) {
595                     table_json = json_object_create();
596                     json_object_put(json, mt->table->schema->name, table_json);
597                 }
598
599                 /* Add JSON row to JSON table. */
600                 snprintf(uuid, sizeof uuid, UUID_FMT, UUID_ARGS(&row->uuid));
601                 json_object_put(table_json, uuid, row_json);
602             }
603         }
604     }
605     free(changed);
606
607     return json;
608 }
609
610 /* Returns JSON for a <table-updates> object (as described in RFC 7047)
611  * for all the outstanding changes within 'monitor' that starts from
612  * '*unflushed' transaction id.
613  *
614  * The caller should specify 'initial' as true if the returned JSON is going to
615  * be used as part of the initial reply to a "monitor" request, false if it is
616  * going to be used as part of an "update" notification. */
617 struct json *
618 ovsdb_monitor_get_update(struct ovsdb_monitor *dbmon,
619                          bool initial, uint64_t *unflushed)
620 {
621     struct ovsdb_monitor_json_cache_node *cache_node;
622     struct shash_node *node;
623     struct json *json;
624     uint64_t prev_txn = *unflushed;
625     uint64_t next_txn = dbmon->n_transactions + 1;
626
627     /* Return a clone of cached json if one exists. Otherwise,
628      * generate a new one and add it to the cache.  */
629     cache_node = ovsdb_monitor_json_cache_search(dbmon, prev_txn);
630     if (cache_node) {
631         json = cache_node->json ? json_clone(cache_node->json) : NULL;
632     } else {
633         json = ovsdb_monitor_compose_update(dbmon, initial, prev_txn);
634         ovsdb_monitor_json_cache_insert(dbmon, prev_txn, json);
635     }
636
637     /* Maintain transaction id of 'changes'. */
638     SHASH_FOR_EACH (node, &dbmon->tables) {
639         struct ovsdb_monitor_table *mt = node->data;
640
641         ovsdb_monitor_table_untrack_changes(mt, prev_txn);
642         ovsdb_monitor_table_track_changes(mt, next_txn);
643     }
644     *unflushed = next_txn;
645
646     return json;
647 }
648
649 bool
650 ovsdb_monitor_needs_flush(struct ovsdb_monitor *dbmon,
651                           uint64_t next_transaction)
652 {
653     ovs_assert(next_transaction <= dbmon->n_transactions + 1);
654     return (next_transaction <= dbmon->n_transactions);
655 }
656
657 void
658 ovsdb_monitor_table_add_select(struct ovsdb_monitor *dbmon,
659                                const struct ovsdb_table *table,
660                                enum ovsdb_monitor_selection select)
661 {
662     struct ovsdb_monitor_table * mt;
663
664     mt = shash_find_data(&dbmon->tables, table->schema->name);
665     mt->select |= select;
666 }
667
668  /*
669  * If a row's change type (insert, delete or modify) matches that of
670  * the monitor, they should be sent to the monitor's clients as updates.
671  * Of cause, the monitor should also internally update with this change.
672  *
673  * When a change type does not require client side update, the monitor
674  * may still need to keep track of certain changes in order to generate
675  * correct future updates.  For example, the monitor internal state should
676  * be updated whenever a new row is inserted, in order to generate the
677  * correct initial state, regardless if a insert change type is being
678  * monitored.
679  *
680  * On the other hand, if a transaction only contains changes to columns
681  * that are not monitored, this transaction can be safely ignored by the
682  * monitor.
683  *
684  * Thus, the order of the declaration is important:
685  * 'OVSDB_CHANGES_REQUIRE_EXTERNAL_UPDATE' always implies
686  * 'OVSDB_CHANGES_REQUIRE_INTERNAL_UPDATE', but not vice versa.  */
687 enum ovsdb_monitor_changes_efficacy {
688     OVSDB_CHANGES_NO_EFFECT,                /* Monitor does not care about this
689                                                change.  */
690     OVSDB_CHANGES_REQUIRE_INTERNAL_UPDATE,  /* Monitor internal updates. */
691     OVSDB_CHANGES_REQUIRE_EXTERNAL_UPDATE,  /* Client needs to be updated.  */
692 };
693
694 struct ovsdb_monitor_aux {
695     const struct ovsdb_monitor *monitor;
696     struct ovsdb_monitor_table *mt;
697     enum ovsdb_monitor_changes_efficacy efficacy;
698 };
699
700 static void
701 ovsdb_monitor_init_aux(struct ovsdb_monitor_aux *aux,
702                        const struct ovsdb_monitor *m)
703 {
704     aux->monitor = m;
705     aux->mt = NULL;
706     aux->efficacy = OVSDB_CHANGES_NO_EFFECT;
707 }
708
709 static void
710 ovsdb_monitor_changes_update(const struct ovsdb_row *old,
711                              const struct ovsdb_row *new,
712                              const struct ovsdb_monitor_table *mt,
713                              struct ovsdb_monitor_changes *changes)
714 {
715     const struct uuid *uuid = ovsdb_row_get_uuid(new ? new : old);
716     struct ovsdb_monitor_row *change;
717
718     change = ovsdb_monitor_changes_row_find(changes, uuid);
719     if (!change) {
720         change = xzalloc(sizeof *change);
721         hmap_insert(&changes->rows, &change->hmap_node, uuid_hash(uuid));
722         change->uuid = *uuid;
723         change->old = clone_monitor_row_data(mt, old);
724         change->new = clone_monitor_row_data(mt, new);
725     } else {
726         if (new) {
727             update_monitor_row_data(mt, new, change->new);
728         } else {
729             free_monitor_row_data(mt, change->new);
730             change->new = NULL;
731
732             if (!change->old) {
733                 /* This row was added then deleted.  Forget about it. */
734                 hmap_remove(&changes->rows, &change->hmap_node);
735                 free(change);
736             }
737         }
738     }
739 }
740
741 static bool
742 ovsdb_monitor_columns_changed(const struct ovsdb_monitor_table *mt,
743                               const unsigned long int *changed)
744 {
745     size_t i;
746
747     for (i = 0; i < mt->n_columns; i++) {
748         size_t column_index = mt->columns[i].column->index;
749
750         if (bitmap_is_set(changed, column_index)) {
751             return true;
752         }
753     }
754
755     return false;
756 }
757
758 /* Return the efficacy of a row's change to a monitor table.
759  *
760  * Please see the block comment above 'ovsdb_monitor_changes_efficacy'
761  * definition form more information.  */
762 static enum ovsdb_monitor_changes_efficacy
763 ovsdb_monitor_changes_classify(enum ovsdb_monitor_selection type,
764                                const struct ovsdb_monitor_table *mt,
765                                const unsigned long int *changed)
766 {
767     if (type == OJMS_MODIFY &&
768         !ovsdb_monitor_columns_changed(mt, changed)) {
769         return OVSDB_CHANGES_NO_EFFECT;
770     }
771
772     return (mt->select & type)
773                 ?  OVSDB_CHANGES_REQUIRE_EXTERNAL_UPDATE
774                 :  OVSDB_CHANGES_REQUIRE_INTERNAL_UPDATE;
775 }
776
777 static bool
778 ovsdb_monitor_change_cb(const struct ovsdb_row *old,
779                         const struct ovsdb_row *new,
780                         const unsigned long int *changed,
781                         void *aux_)
782 {
783     struct ovsdb_monitor_aux *aux = aux_;
784     const struct ovsdb_monitor *m = aux->monitor;
785     struct ovsdb_table *table = new ? new->table : old->table;
786     struct ovsdb_monitor_table *mt;
787     struct ovsdb_monitor_changes *changes;
788
789     if (!aux->mt || table != aux->mt->table) {
790         aux->mt = shash_find_data(&m->tables, table->schema->name);
791         if (!aux->mt) {
792             /* We don't care about rows in this table at all.  Tell the caller
793              * to skip it.  */
794             return false;
795         }
796     }
797     mt = aux->mt;
798
799     HMAP_FOR_EACH(changes, hmap_node, &mt->changes) {
800         enum ovsdb_monitor_changes_efficacy efficacy;
801         enum ovsdb_monitor_selection type;
802
803         type = ovsdb_monitor_row_update_type(false, old, new);
804         efficacy = ovsdb_monitor_changes_classify(type, mt, changed);
805         if (efficacy > OVSDB_CHANGES_NO_EFFECT) {
806             ovsdb_monitor_changes_update(old, new, mt, changes);
807         }
808
809         if (aux->efficacy < efficacy) {
810             aux->efficacy = efficacy;
811         }
812     }
813
814     return true;
815 }
816
817 void
818 ovsdb_monitor_get_initial(const struct ovsdb_monitor *dbmon)
819 {
820     struct ovsdb_monitor_aux aux;
821     struct shash_node *node;
822
823     ovsdb_monitor_init_aux(&aux, dbmon);
824     SHASH_FOR_EACH (node, &dbmon->tables) {
825         struct ovsdb_monitor_table *mt = node->data;
826
827         if (mt->select & OJMS_INITIAL) {
828             struct ovsdb_row *row;
829             struct ovsdb_monitor_changes *changes;
830
831             changes = ovsdb_monitor_table_find_changes(mt, 0);
832             if (!changes) {
833                 changes = ovsdb_monitor_table_add_changes(mt, 0);
834                 HMAP_FOR_EACH (row, hmap_node, &mt->table->rows) {
835                     ovsdb_monitor_changes_update(NULL, row, mt, changes);
836                 }
837             } else {
838                 changes->n_refs++;
839             }
840         }
841     }
842 }
843
844 void
845 ovsdb_monitor_remove_jsonrpc_monitor(struct ovsdb_monitor *dbmon,
846                    struct ovsdb_jsonrpc_monitor *jsonrpc_monitor)
847 {
848     struct jsonrpc_monitor_node *jm;
849
850     if (list_is_empty(&dbmon->jsonrpc_monitors)) {
851         ovsdb_monitor_destroy(dbmon);
852         return;
853     }
854
855     /* Find and remove the jsonrpc monitor from the list.  */
856     LIST_FOR_EACH(jm, node, &dbmon->jsonrpc_monitors) {
857         if (jm->jsonrpc_monitor == jsonrpc_monitor) {
858             list_remove(&jm->node);
859             free(jm);
860
861             /* Destroy ovsdb monitor if this is the last user.  */
862             if (list_is_empty(&dbmon->jsonrpc_monitors)) {
863                 ovsdb_monitor_destroy(dbmon);
864             }
865
866             return;
867         };
868     }
869
870     /* Should never reach here. jsonrpc_monitor should be on the list.  */
871     OVS_NOT_REACHED();
872 }
873
874 static bool
875 ovsdb_monitor_table_equal(const struct ovsdb_monitor_table *a,
876                           const struct ovsdb_monitor_table *b)
877 {
878     size_t i;
879
880     if ((a->table != b->table) ||
881         (a->select != b->select) ||
882         (a->n_columns != b->n_columns)) {
883         return false;
884     }
885
886     for (i = 0; i < a->n_columns; i++) {
887         if ((a->columns[i].column != b->columns[i].column) ||
888             (a->columns[i].select != b->columns[i].select)) {
889             return false;
890         }
891     }
892
893     return true;
894 }
895
896 static bool
897 ovsdb_monitor_equal(const struct ovsdb_monitor *a,
898                     const struct ovsdb_monitor *b)
899 {
900     struct shash_node *node;
901
902     if (shash_count(&a->tables) != shash_count(&b->tables)) {
903         return false;
904     }
905
906     SHASH_FOR_EACH(node, &a->tables) {
907         const struct ovsdb_monitor_table *mta = node->data;
908         const struct ovsdb_monitor_table *mtb;
909
910         mtb = shash_find_data(&b->tables, node->name);
911         if (!mtb) {
912             return false;
913         }
914
915         if (!ovsdb_monitor_table_equal(mta, mtb)) {
916             return false;
917         }
918     }
919
920     return true;
921 }
922
923 static size_t
924 ovsdb_monitor_hash(const struct ovsdb_monitor *dbmon, size_t basis)
925 {
926     const struct shash_node **nodes;
927     size_t i, j, n;
928
929     nodes = shash_sort(&dbmon->tables);
930     n = shash_count(&dbmon->tables);
931
932     for (i = 0; i < n; i++) {
933         struct ovsdb_monitor_table *mt = nodes[i]->data;
934
935         basis = hash_pointer(mt->table, basis);
936         basis = hash_3words(mt->select, mt->n_columns, basis);
937
938         for (j = 0; j < mt->n_columns; j++) {
939             basis = hash_pointer(mt->columns[j].column, basis);
940             basis = hash_2words(mt->columns[j].select, basis);
941         }
942     }
943     free(nodes);
944
945     return basis;
946 }
947
948 struct ovsdb_monitor *
949 ovsdb_monitor_add(struct ovsdb_monitor *new_dbmon)
950 {
951     struct ovsdb_monitor *dbmon;
952     size_t hash;
953
954     /* New_dbmon should be associated with only one jsonrpc
955      * connections.  */
956     ovs_assert(list_is_singleton(&new_dbmon->jsonrpc_monitors));
957
958     hash = ovsdb_monitor_hash(new_dbmon, 0);
959     HMAP_FOR_EACH_WITH_HASH(dbmon, hmap_node, hash, &ovsdb_monitors) {
960         if (ovsdb_monitor_equal(dbmon,  new_dbmon)) {
961             return dbmon;
962         }
963     }
964
965     hmap_insert(&ovsdb_monitors, &new_dbmon->hmap_node, hash);
966     return new_dbmon;
967 }
968
969 static void
970 ovsdb_monitor_destroy(struct ovsdb_monitor *dbmon)
971 {
972     struct shash_node *node;
973
974     list_remove(&dbmon->replica.node);
975
976     if (!hmap_node_is_null(&dbmon->hmap_node)) {
977         hmap_remove(&ovsdb_monitors, &dbmon->hmap_node);
978     }
979
980     ovsdb_monitor_json_cache_flush(dbmon);
981     hmap_destroy(&dbmon->json_cache);
982
983     SHASH_FOR_EACH (node, &dbmon->tables) {
984         struct ovsdb_monitor_table *mt = node->data;
985         struct ovsdb_monitor_changes *changes, *next;
986
987         HMAP_FOR_EACH_SAFE (changes, next, hmap_node, &mt->changes) {
988             hmap_remove(&mt->changes, &changes->hmap_node);
989             ovsdb_monitor_changes_destroy(changes);
990         }
991         hmap_destroy(&mt->changes);
992         free(mt->columns);
993         free(mt);
994     }
995     shash_destroy(&dbmon->tables);
996     free(dbmon);
997 }
998
999 static struct ovsdb_error *
1000 ovsdb_monitor_commit(struct ovsdb_replica *replica,
1001                      const struct ovsdb_txn *txn,
1002                      bool durable OVS_UNUSED)
1003 {
1004     struct ovsdb_monitor *m = ovsdb_monitor_cast(replica);
1005     struct ovsdb_monitor_aux aux;
1006
1007     ovsdb_monitor_init_aux(&aux, m);
1008     ovsdb_txn_for_each_change(txn, ovsdb_monitor_change_cb, &aux);
1009
1010     if (aux.efficacy == OVSDB_CHANGES_REQUIRE_EXTERNAL_UPDATE) {
1011         ovsdb_monitor_json_cache_flush(m);
1012         m->n_transactions++;
1013     }
1014
1015     return NULL;
1016 }
1017
1018 static void
1019 ovsdb_monitor_destroy_callback(struct ovsdb_replica *replica)
1020 {
1021     struct ovsdb_monitor *dbmon = ovsdb_monitor_cast(replica);
1022     struct jsonrpc_monitor_node *jm, *next;
1023
1024     /* Delete all front end monitors. Removing the last front
1025      * end monitor will also destroy the corresponding 'ovsdb_monitor'.
1026      * ovsdb monitor will also be destroied.  */
1027     LIST_FOR_EACH_SAFE(jm, next, node, &dbmon->jsonrpc_monitors) {
1028         ovsdb_jsonrpc_monitor_destroy(jm->jsonrpc_monitor);
1029     }
1030 }
1031
1032 static const struct ovsdb_replica_class ovsdb_jsonrpc_replica_class = {
1033     ovsdb_monitor_commit,
1034     ovsdb_monitor_destroy_callback,
1035 };