1 /* Copyright (c) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 Nicira, Inc.
2 * Copyright (C) 2016 Hewlett Packard Enterprise Development LP
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:
8 * http://www.apache.org/licenses/LICENSE-2.0
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.
20 /* Open vSwitch Database Interface Definition Language (OVSDB IDL).
22 * The OVSDB IDL maintains an in-memory replica of a database. It issues RPC
23 * requests to an OVSDB database server and parses the responses, converting
24 * raw JSON into data structures that are easier for clients to digest. Most
25 * notably, references to rows via UUID become C pointers.
27 * The IDL always presents a consistent snapshot of the database to its client,
28 * that is, it won't present the effects of some part of a transaction applied
29 * at the database server without presenting all of its effects.
31 * The IDL also assists with issuing database transactions. The client creates
32 * a transaction, manipulates the IDL data structures, and commits or aborts
33 * the transaction. The IDL then composes and issues the necessary JSON-RPC
34 * requests and reports to the client whether the transaction completed
41 #include "ovsdb-types.h"
42 #include "ovsdb-data.h"
43 #include "openvswitch/list.h"
44 #include "ovsdb-condition.h"
49 struct ovsdb_idl_class
;
51 struct ovsdb_idl_column
;
52 struct ovsdb_idl_table_class
;
55 struct ovsdb_idl
*ovsdb_idl_create(const char *remote
,
56 const struct ovsdb_idl_class
*,
57 bool monitor_everything_by_default
,
59 void ovsdb_idl_set_remote(struct ovsdb_idl
*, const char *, bool);
60 void ovsdb_idl_destroy(struct ovsdb_idl
*);
62 void ovsdb_idl_run(struct ovsdb_idl
*);
63 void ovsdb_idl_wait(struct ovsdb_idl
*);
65 void ovsdb_idl_set_lock(struct ovsdb_idl
*, const char *lock_name
);
66 bool ovsdb_idl_has_lock(const struct ovsdb_idl
*);
67 bool ovsdb_idl_is_lock_contended(const struct ovsdb_idl
*);
69 const struct uuid
* ovsdb_idl_get_monitor_id(const struct ovsdb_idl
*);
70 unsigned int ovsdb_idl_get_seqno(const struct ovsdb_idl
*);
71 bool ovsdb_idl_has_ever_connected(const struct ovsdb_idl
*);
72 void ovsdb_idl_enable_reconnect(struct ovsdb_idl
*);
73 void ovsdb_idl_force_reconnect(struct ovsdb_idl
*);
74 void ovsdb_idl_verify_write_only(struct ovsdb_idl
*);
76 bool ovsdb_idl_is_alive(const struct ovsdb_idl
*);
77 int ovsdb_idl_get_last_error(const struct ovsdb_idl
*);
79 void ovsdb_idl_set_probe_interval(const struct ovsdb_idl
*, int probe_interval
);
81 void ovsdb_idl_check_consistency(const struct ovsdb_idl
*);
83 const struct ovsdb_idl_class
*ovsdb_idl_get_class(const struct ovsdb_idl
*);
84 const struct ovsdb_idl_table_class
*ovsdb_idl_table_class_from_column(
85 const struct ovsdb_idl_class
*, const struct ovsdb_idl_column
*);
87 /* Choosing columns and tables to replicate. */
89 /* Modes with which the IDL can monitor a column.
91 * If no bits are set, the column is not monitored at all. Its value will
92 * always appear to the client to be the default value for its type.
94 * If OVSDB_IDL_MONITOR is set, then the column is replicated. Its value will
95 * reflect the value in the database. If OVSDB_IDL_ALERT is also set, then the
96 * value returned by ovsdb_idl_get_seqno() will change when the column's value
99 * The possible mode combinations are:
101 * - 0, for a column that a client doesn't care about.
103 * - (OVSDB_IDL_MONITOR | OVSDB_IDL_ALERT), for a column that a client wants
104 * to track and possibly update.
106 * - OVSDB_IDL_MONITOR, for columns that a client treats as "write-only",
107 * that is, it updates them but doesn't want to get alerted about its own
108 * updates. It also won't be alerted about other clients' updates, so this
109 * is suitable only for use by a client that "owns" a particular column.
111 * - OVDSB_IDL_ALERT without OVSDB_IDL_MONITOR is not valid.
113 * - (OVSDB_IDL_MONITOR | OVSDB_IDL_ALERT | OVSDB_IDL_TRACK), for a column
114 * that a client wants to track using the change tracking
115 * ovsdb_idl_track_get_*() functions.
117 #define OVSDB_IDL_MONITOR (1 << 0) /* Monitor this column? */
118 #define OVSDB_IDL_ALERT (1 << 1) /* Alert client when column updated? */
119 #define OVSDB_IDL_TRACK (1 << 2)
121 void ovsdb_idl_add_column(struct ovsdb_idl
*, const struct ovsdb_idl_column
*);
122 void ovsdb_idl_add_table(struct ovsdb_idl
*,
123 const struct ovsdb_idl_table_class
*);
125 void ovsdb_idl_omit(struct ovsdb_idl
*, const struct ovsdb_idl_column
*);
126 void ovsdb_idl_omit_alert(struct ovsdb_idl
*, const struct ovsdb_idl_column
*);
130 * In OVSDB, change tracking is applied at each client in the IDL layer. This
131 * means that when a client makes a request to track changes on a particular
132 * table, they are essentially requesting information about the incremental
133 * changes to that table from the point in time that the request is made. Once
134 * the client clears tracked changes, that information will no longer be
137 * The implication of the above is that if a client requires replaying
138 * untracked history, it faces the choice of either trying to remember changes
139 * itself (which translates into a memory leak) or of being structured with a
140 * path for processing the full untracked table as well as a path that
141 * processes incremental changes. */
142 enum ovsdb_idl_change
{
143 OVSDB_IDL_CHANGE_INSERT
,
144 OVSDB_IDL_CHANGE_MODIFY
,
145 OVSDB_IDL_CHANGE_DELETE
,
149 /* Row, table sequence numbers */
150 unsigned int ovsdb_idl_table_get_seqno(
151 const struct ovsdb_idl
*idl
,
152 const struct ovsdb_idl_table_class
*table_class
);
153 unsigned int ovsdb_idl_row_get_seqno(
154 const struct ovsdb_idl_row
*row
,
155 enum ovsdb_idl_change change
);
157 void ovsdb_idl_track_add_column(struct ovsdb_idl
*idl
,
158 const struct ovsdb_idl_column
*column
);
159 void ovsdb_idl_track_add_all(struct ovsdb_idl
*idl
);
160 const struct ovsdb_idl_row
*ovsdb_idl_track_get_first(
161 const struct ovsdb_idl
*, const struct ovsdb_idl_table_class
*);
162 const struct ovsdb_idl_row
*ovsdb_idl_track_get_next(const struct ovsdb_idl_row
*);
163 bool ovsdb_idl_track_is_updated(const struct ovsdb_idl_row
*row
,
164 const struct ovsdb_idl_column
*column
);
165 void ovsdb_idl_track_clear(const struct ovsdb_idl
*);
168 /* Reading the database replica. */
170 const struct ovsdb_idl_row
*ovsdb_idl_get_row_for_uuid(
171 const struct ovsdb_idl
*, const struct ovsdb_idl_table_class
*,
172 const struct uuid
*);
173 const struct ovsdb_idl_row
*ovsdb_idl_first_row(
174 const struct ovsdb_idl
*, const struct ovsdb_idl_table_class
*);
175 const struct ovsdb_idl_row
*ovsdb_idl_next_row(const struct ovsdb_idl_row
*);
177 const struct ovsdb_datum
*ovsdb_idl_read(const struct ovsdb_idl_row
*,
178 const struct ovsdb_idl_column
*);
179 const struct ovsdb_datum
*ovsdb_idl_get(const struct ovsdb_idl_row
*,
180 const struct ovsdb_idl_column
*,
181 enum ovsdb_atomic_type key_type
,
182 enum ovsdb_atomic_type value_type
);
183 bool ovsdb_idl_is_mutable(const struct ovsdb_idl_row
*,
184 const struct ovsdb_idl_column
*);
186 bool ovsdb_idl_row_is_synthetic(const struct ovsdb_idl_row
*);
190 * A transaction may modify the contents of a database by modifying the values
191 * of columns, deleting rows, inserting rows, or adding checks that columns in
192 * the database have not changed ("verify" operations), through
193 * ovsdb_idl_txn_*() functions. (The OVSDB IDL code generator produces helper
194 * functions that internally call the ovsdb_idl_txn_*() functions. These are
195 * likely to be more convenient.)
197 * Reading and writing columns and inserting and deleting rows are all
198 * straightforward. The reasons to verify columns are less obvious.
199 * Verification is the key to maintaining transactional integrity. Because
200 * OVSDB handles multiple clients, it can happen that between the time that
201 * OVSDB client A reads a column and writes a new value, OVSDB client B has
202 * written that column. Client A's write should not ordinarily overwrite
203 * client B's, especially if the column in question is a "map" column that
204 * contains several more or less independent data items. If client A adds a
205 * "verify" operation before it writes the column, then the transaction fails
206 * in case client B modifies it first. Client A will then see the new value of
207 * the column and compose a new transaction based on the new contents written
210 * When a transaction is complete, which must be before the next call to
211 * ovsdb_idl_run() on 'idl', call ovsdb_idl_txn_commit() or
212 * ovsdb_idl_txn_abort().
214 * The life-cycle of a transaction looks like this:
216 * 1. Create the transaction and record the initial sequence number:
218 * seqno = ovsdb_idl_get_seqno(idl);
219 * txn = ovsdb_idl_txn_create(idl);
221 * 2. Modify the database with ovsdb_idl_txn_*() functions directly or
224 * 3. Commit the transaction by calling ovsdb_idl_txn_commit(). The first call
225 * to this function probably returns TXN_INCOMPLETE. The client must keep
226 * calling again along as this remains true, calling ovsdb_idl_run() in
227 * between to let the IDL do protocol processing. (If the client doesn't
228 * have anything else to do in the meantime, it can use
229 * ovsdb_idl_txn_commit_block() to avoid having to loop itself.)
231 * 4. If the final status is TXN_TRY_AGAIN, wait for ovsdb_idl_get_seqno() to
232 * change from the saved 'seqno' (it's possible that it's already changed,
233 * in which case the client should not wait at all), then start over from
234 * step 1. Only a call to ovsdb_idl_run() will change the return value of
235 * ovsdb_idl_get_seqno(). (ovsdb_idl_txn_commit_block() calls
239 enum ovsdb_idl_txn_status
{
240 TXN_UNCOMMITTED
, /* Not yet committed or aborted. */
241 TXN_UNCHANGED
, /* Transaction didn't include any changes. */
242 TXN_INCOMPLETE
, /* Commit in progress, please wait. */
243 TXN_ABORTED
, /* ovsdb_idl_txn_abort() called. */
244 TXN_SUCCESS
, /* Commit successful. */
245 TXN_TRY_AGAIN
, /* Commit failed because a "verify" operation
246 * reported an inconsistency, due to a network
247 * problem, or other transient failure. Wait
248 * for a change, then try again. */
249 TXN_NOT_LOCKED
, /* Server hasn't given us the lock yet. */
250 TXN_ERROR
/* Commit failed due to a hard error. */
253 const char *ovsdb_idl_txn_status_to_string(enum ovsdb_idl_txn_status
);
255 struct ovsdb_idl_txn
*ovsdb_idl_txn_create(struct ovsdb_idl
*);
256 void ovsdb_idl_txn_add_comment(struct ovsdb_idl_txn
*, const char *, ...)
257 OVS_PRINTF_FORMAT (2, 3);
258 void ovsdb_idl_txn_set_dry_run(struct ovsdb_idl_txn
*);
259 void ovsdb_idl_txn_increment(struct ovsdb_idl_txn
*,
260 const struct ovsdb_idl_row
*,
261 const struct ovsdb_idl_column
*,
263 void ovsdb_idl_txn_destroy(struct ovsdb_idl_txn
*);
264 void ovsdb_idl_txn_wait(const struct ovsdb_idl_txn
*);
265 enum ovsdb_idl_txn_status
ovsdb_idl_txn_commit(struct ovsdb_idl_txn
*);
266 enum ovsdb_idl_txn_status
ovsdb_idl_txn_commit_block(struct ovsdb_idl_txn
*);
267 void ovsdb_idl_txn_abort(struct ovsdb_idl_txn
*);
269 const char *ovsdb_idl_txn_get_error(const struct ovsdb_idl_txn
*);
271 int64_t ovsdb_idl_txn_get_increment_new_value(const struct ovsdb_idl_txn
*);
272 const struct uuid
*ovsdb_idl_txn_get_insert_uuid(const struct ovsdb_idl_txn
*,
273 const struct uuid
*);
275 void ovsdb_idl_txn_write(const struct ovsdb_idl_row
*,
276 const struct ovsdb_idl_column
*,
277 struct ovsdb_datum
*);
278 void ovsdb_idl_txn_write_clone(const struct ovsdb_idl_row
*,
279 const struct ovsdb_idl_column
*,
280 const struct ovsdb_datum
*);
281 void ovsdb_idl_txn_write_partial_map(const struct ovsdb_idl_row
*,
282 const struct ovsdb_idl_column
*,
283 struct ovsdb_datum
*);
284 void ovsdb_idl_txn_delete_partial_map(const struct ovsdb_idl_row
*,
285 const struct ovsdb_idl_column
*,
286 struct ovsdb_datum
*);
287 void ovsdb_idl_txn_write_partial_set(const struct ovsdb_idl_row
*,
288 const struct ovsdb_idl_column
*,
289 struct ovsdb_datum
*);
290 void ovsdb_idl_txn_delete_partial_set(const struct ovsdb_idl_row
*,
291 const struct ovsdb_idl_column
*,
292 struct ovsdb_datum
*);
293 void ovsdb_idl_txn_delete(const struct ovsdb_idl_row
*);
294 const struct ovsdb_idl_row
*ovsdb_idl_txn_insert(
295 struct ovsdb_idl_txn
*, const struct ovsdb_idl_table_class
*,
296 const struct uuid
*);
298 struct ovsdb_idl
*ovsdb_idl_txn_get_idl (struct ovsdb_idl_txn
*);
299 void ovsdb_idl_get_initial_snapshot(struct ovsdb_idl
*);
302 /* ovsdb_idl_loop provides an easy way to manage the transactions related
303 * to 'idl' and to cope with different status during transaction. */
304 struct ovsdb_idl_loop
{
305 struct ovsdb_idl
*idl
;
306 unsigned int skip_seqno
;
308 struct ovsdb_idl_txn
*committing_txn
;
309 unsigned int precommit_seqno
;
311 struct ovsdb_idl_txn
*open_txn
;
313 /* These members allow a client a simple, stateless way to keep track of
314 * transactions that commit: when a transaction commits successfully,
315 * ovsdb_idl_loop_commit_and_wait() copies 'next_cfg' to 'cur_cfg'. Thus,
316 * the client can set 'next_cfg' to a value that indicates a successful
317 * commit and check 'cur_cfg' on each iteration. */
322 #define OVSDB_IDL_LOOP_INITIALIZER(IDL) { .idl = (IDL) }
324 void ovsdb_idl_loop_destroy(struct ovsdb_idl_loop
*);
325 struct ovsdb_idl_txn
*ovsdb_idl_loop_run(struct ovsdb_idl_loop
*);
326 int ovsdb_idl_loop_commit_and_wait(struct ovsdb_idl_loop
*);
328 /* Conditional Replication
329 * =======================
331 * By default, when the IDL replicates a particular table in the database, it
332 * replicates every row in the table. These functions allow the client to
333 * specify that only selected rows should be replicated, by constructing a
334 * per-table condition that specifies the rows to replicate.
336 * A condition is a disjunction of clauses. The condition is true, and thus a
337 * row is replicated, if any of the clauses evaluates to true for a given row.
338 * (Thus, a condition with no clauses is always false.)
341 struct ovsdb_idl_condition
{
342 struct hmap clauses
; /* Contains "struct ovsdb_idl_clause"s. */
343 bool is_true
; /* Is the condition unconditionally true? */
345 #define OVSDB_IDL_CONDITION_INIT(CONDITION) \
346 { HMAP_INITIALIZER(&(CONDITION)->clauses), false }
348 void ovsdb_idl_condition_init(struct ovsdb_idl_condition
*);
349 void ovsdb_idl_condition_clear(struct ovsdb_idl_condition
*);
350 void ovsdb_idl_condition_destroy(struct ovsdb_idl_condition
*);
351 void ovsdb_idl_condition_add_clause(struct ovsdb_idl_condition
*,
352 enum ovsdb_function function
,
353 const struct ovsdb_idl_column
*column
,
354 const struct ovsdb_datum
*arg
);
355 void ovsdb_idl_condition_add_clause_true(struct ovsdb_idl_condition
*);
356 bool ovsdb_idl_condition_is_true(const struct ovsdb_idl_condition
*);
358 unsigned int ovsdb_idl_set_condition(struct ovsdb_idl
*,
359 const struct ovsdb_idl_table_class
*,
360 const struct ovsdb_idl_condition
*);
362 unsigned int ovsdb_idl_get_condition_seqno(const struct ovsdb_idl
*);
364 /* The OVSDB-IDL Compound Indexes feature allows for the creation of custom
365 * table indexes over one or more columns in the IDL. These indexes provide
366 * the ability to retrieve rows matching a particular search criteria and to
367 * iterate over a subset of rows in a defined order.
370 #define OVSDB_INDEX_DESC -1
371 #define OVSDB_INDEX_ASC 1
374 * Skiplist comparison function. Allows to store sorted data.
376 typedef int (column_comparator
)(const void *a
, const void *b
);
378 struct ovsdb_idl_index_cursor
{
379 struct ovsdb_idl_index
*index
; /* Index used by this cursor */
380 struct skiplist_node
*position
; /* Current position in the index */
383 struct ovsdb_idl_index
*ovsdb_idl_create_index(struct ovsdb_idl
*idl
,
384 const struct ovsdb_idl_table_class
*tc
,
385 const char *index_name
);
386 void ovsdb_idl_index_add_column(struct ovsdb_idl_index
*,
387 const struct ovsdb_idl_column
*,
389 column_comparator
*custom_comparer
);
390 bool ovsdb_idl_initialize_cursor(struct ovsdb_idl
*,
391 const struct ovsdb_idl_table_class
*tc
,
392 const char *index_name
,
393 struct ovsdb_idl_index_cursor
*cursor
);
394 void ovsdb_idl_index_write_(struct ovsdb_idl_row
*,
395 const struct ovsdb_idl_column
*,
396 struct ovsdb_datum
*,
397 const struct ovsdb_idl_table_class
*);
398 struct ovsdb_idl_row
*ovsdb_idl_index_init_row(struct ovsdb_idl
*,
399 const struct ovsdb_idl_table_class
*);
400 void ovsdb_idl_index_destroy_row__(const struct ovsdb_idl_row
*);
401 struct ovsdb_idl_row
*ovsdb_idl_index_first(struct ovsdb_idl_index_cursor
*);
402 struct ovsdb_idl_row
*ovsdb_idl_index_next(struct ovsdb_idl_index_cursor
*);
403 struct ovsdb_idl_row
*ovsdb_idl_index_data(struct ovsdb_idl_index_cursor
*);
404 struct ovsdb_idl_row
*ovsdb_idl_index_find(struct ovsdb_idl_index_cursor
*,
405 struct ovsdb_idl_row
*);
406 struct ovsdb_idl_row
*ovsdb_idl_index_forward_to(
407 struct ovsdb_idl_index_cursor
*,
408 struct ovsdb_idl_row
*);
409 int ovsdb_idl_index_compare(struct ovsdb_idl_index_cursor
*,
410 struct ovsdb_idl_row
*a
,
411 struct ovsdb_idl_row
*b
);
412 #endif /* ovsdb-idl.h */