pintos-os.org Git - openvswitch/blob - tests/ovsdb-execution.at

   1 AT_BANNER([OVSDB -- execution])
   2
   3 m4_define([ORDINAL_SCHEMA],
   4   [[{"name": "ordinals",
   5      "tables": {
   6        "ordinals": {
   7          "columns": {
   8            "number": {"type": "integer"},
   9            "name": {"type": "string"}}}},
  10      "version": "5.1.3",
  11      "cksum": "12345678 9"}]])
  12
  13 m4_define([CONSTRAINT_SCHEMA],
  14   [[{"name": "constraints",
  15      "tables": {
  16        "a": {
  17          "columns": {
  18            "a": {"type": "integer"},
  19            "a2a": {"type": {"key": {"type": "uuid", "refTable": "a"},
  20                             "min": 0, "max": "unlimited"}},
  21            "a2b": {"type": {"key": {"type": "uuid", "refTable": "b"},
  22                             "min": 0, "max": "unlimited"}}}},
  23        "b": {
  24          "columns": {
  25            "b": {"type": "integer"},
  26            "b2a": {"type": {"key": {"type": "uuid", "refTable": "a"},
  27                             "min": 0, "max": "unlimited"}},
  28            "b2b": {"type": {"key": {"type": "uuid", "refTable": "b"},
  29                             "min": 0, "max": "unlimited"}}}},
  30        "constrained": {
  31          "columns": {
  32            "positive": {"type": {"key": {"type": "integer",
  33                                          "minInteger": 1}}}},
  34          "maxRows": 1}}}]])
  35
  36 m4_define([WEAK_SCHEMA],
  37   [[{"name": "weak",
  38      "tables": {
  39        "a": {
  40          "columns": {
  41            "a": {"type": "integer"},
  42            "a2a": {"type": {"key": {"type": "uuid",
  43                                     "refTable": "a",
  44                                     "refType": "weak"},
  45                             "min": 0, "max": "unlimited"}},
  46            "a2a1": {"type": {"key": {"type": "uuid",
  47                                      "refTable": "a",
  48                                      "refType": "weak"}}},
  49            "a2b": {"type": {"key": {"type": "uuid",
  50                                     "refTable": "b",
  51                                     "refType": "weak"}}}}},
  52        "b": {
  53          "columns": {
  54            "b": {"type": "integer"},
  55            "b2a": {"type": {"key": {"type": "uuid",
  56                                     "refTable": "a",
  57                                     "refType": "weak"},
  58                             "min": 0, "max": "unlimited"}}}}}}]])
  59
  60 m4_define([GC_SCHEMA],
  61   [[{"name": "gc",
  62      "tables": {
  63        "root": {
  64          "columns": {
  65            "a": {"type": {"key": {"type": "uuid",
  66                                   "refTable": "a"},
  67                             "min": 0, "max": "unlimited"}}},
  68          "isRoot": true},
  69        "a": {
  70          "columns": {
  71            "a": {"type": "integer"},
  72            "a2a": {"type": {"key": {"type": "uuid",
  73                                     "refTable": "a"},
  74                             "min": 0, "max": "unlimited"}},
  75            "a2b": {"type": {"key": {"type": "uuid",
  76                                     "refTable": "b"},
  77                             "min": 0, "max": "unlimited"}},
  78            "wa2a": {"type": {"key": {"type": "uuid",
  79                                      "refTable": "a",
  80                                      "refType": "weak"},
  81                              "min": 0, "max": "unlimited"}},
  82            "wa2b": {"type": {"key": {"type": "uuid",
  83                                     "refTable": "b",
  84                                     "refType": "weak"},
  85                              "min": 0, "max": "unlimited"}}}},
  86        "b": {
  87          "columns": {
  88            "b": {"type": "integer"},
  89            "b2a": {"type": {"key": {"type": "uuid",
  90                                     "refTable": "a"},
  91                             "min": 0, "max": "unlimited"}},
  92            "wb2a": {"type": {"key": {"type": "uuid",
  93                                      "refTable": "a",
  94                                      "refType": "weak"},
  95                              "min": 0, "max": "unlimited"}}},
  96          "isRoot": false}}}]])
  97
  98 # OVSDB_CHECK_EXECUTION(TITLE, SCHEMA, TRANSACTIONS, OUTPUT, [KEYWORDS])
  99 #
 100 # Runs "test-ovsdb execute" with the given SCHEMA and each of the
 101 # TRANSACTIONS (which should be a quoted list of quoted strings).
 102 #
 103 # Checks that the overall output is OUTPUT, but UUIDs in the output
 104 # are replaced by markers of the form <N> where N is a number.  The
 105 # first unique UUID is replaced by <0>, the next by <1>, and so on.
 106 # If a given UUID appears more than once it is always replaced by the
 107 # same marker.
 108 #
 109 # TITLE is provided to AT_SETUP and KEYWORDS to AT_KEYWORDS.
 110 m4_define([OVSDB_CHECK_EXECUTION],
 111   [AT_SETUP([$1])
 112    AT_KEYWORDS([ovsdb execute execution positive $5])
 113    AT_CHECK([test-ovsdb execute '$2' m4_foreach([txn], [$3], [ 'txn'])],
 114      [0], [stdout], [])
 115    AT_CHECK([perl $srcdir/uuidfilt.pl stdout], [0], [$4])
 116    AT_CLEANUP])
 117
 118 OVSDB_CHECK_EXECUTION([uuid-name must be <id>],
 119   [CONSTRAINT_SCHEMA],
 120   [[[["constraints",
 121       {"op": "insert",
 122        "table": "a",
 123        "row": {},
 124        "uuid-name": "0"}]]]],
 125   [[[{"details":"Parsing ovsdb operation 1 of 1 failed: Type mismatch for member 'uuid-name'.","error":"syntax error","syntax":"{\"op\":\"insert\",\"row\":{},\"table\":\"a\",\"uuid-name\":\"0\"}"}]
 126 ]])
 127
 128 OVSDB_CHECK_EXECUTION([named-uuid must be <id>],
 129   [CONSTRAINT_SCHEMA],
 130   [[[["constraints",
 131       {"op": "insert",
 132        "table": "a",
 133        "row": {"a2a": ["named-uuid", "0"]}}]]]],
 134   [[[{"details":"named-uuid string is not a valid <id>","error":"syntax error","syntax":"[\"named-uuid\",\"0\"]"}]
 135 ]])
 136
 137 OVSDB_CHECK_EXECUTION([duplicate uuid-name not allowed],
 138   [ORDINAL_SCHEMA],
 139   [[[["ordinals",
 140       {"op": "insert",
 141        "table": "ordinals",
 142        "row": {},
 143        "uuid-name": "x"},
 144       {"op": "insert",
 145        "table": "ordinals",
 146        "row": {},
 147        "uuid-name": "x"}]]]],
 148   [[[{"uuid":["uuid","<0>"]},{"details":"This \"uuid-name\" appeared on an earlier \"insert\" operation.","error":"duplicate uuid-name","syntax":"\"x\""}]
 149 ]])
 150
 151 m4_define([EXECUTION_EXAMPLES], [
 152 dnl At one point the "commit" code ignored new rows with all-default values,
 153 dnl so this checks for that problem.
 154 OVSDB_CHECK_EXECUTION([insert default row, query table],
 155   [ORDINAL_SCHEMA],
 156   [[[["ordinals",
 157       {"op": "insert",
 158        "table": "ordinals",
 159        "row": {}}]]],
 160    [[["ordinals",
 161       {"op": "select",
 162        "table": "ordinals",
 163        "where": []}]]]],
 164   [[[{"uuid":["uuid","<0>"]}]
 165 [{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<1>"],"name":"","number":0}]}]
 166 ]])
 167
 168 OVSDB_CHECK_EXECUTION([insert row, query table],
 169   [ORDINAL_SCHEMA],
 170   [[[["ordinals",
 171       {"op": "insert",
 172        "table": "ordinals",
 173        "row": {"number": 0, "name": "zero"}}]]],
 174    [[["ordinals",
 175       {"op": "select",
 176        "table": "ordinals",
 177        "where": []}]]]],
 178   [[[{"uuid":["uuid","<0>"]}]
 179 [{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<1>"],"name":"zero","number":0}]}]
 180 ]])
 181
 182 OVSDB_CHECK_EXECUTION([insert rows, query by value],
 183   [ORDINAL_SCHEMA],
 184   [[[["ordinals",
 185       {"op": "insert",
 186        "table": "ordinals",
 187        "row": {"number": 0, "name": "zero"}}]]],
 188    [[["ordinals",
 189       {"op": "insert",
 190        "table": "ordinals",
 191        "row": {"number": 1, "name": "one"}}]]],
 192    [[["ordinals",
 193       {"op": "select",
 194        "table": "ordinals",
 195        "where": [["name", "==", "zero"]]}]]],
 196    [[["ordinals",
 197       {"op": "select",
 198        "table": "ordinals",
 199        "where": [["name", "==", "one"]]}]]]],
 200   [[[{"uuid":["uuid","<0>"]}]
 201 [{"uuid":["uuid","<1>"]}]
 202 [{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<2>"],"name":"zero","number":0}]}]
 203 [{"rows":[{"_uuid":["uuid","<1>"],"_version":["uuid","<3>"],"name":"one","number":1}]}]
 204 ]])
 205
 206 OVSDB_CHECK_EXECUTION([insert rows, query by named-uuid],
 207   [ORDINAL_SCHEMA],
 208   [[[["ordinals",
 209       {"op": "insert",
 210        "table": "ordinals",
 211        "row": {"number": 0, "name": "zero"},
 212        "uuid-name": "first"},
 213       {"op": "insert",
 214        "table": "ordinals",
 215        "row": {"number": 1, "name": "one"},
 216        "uuid-name": "second"},
 217       {"op": "select",
 218        "table": "ordinals",
 219        "where": [["_uuid", "==", ["named-uuid", "first"]]]},
 220       {"op": "select",
 221        "table": "ordinals",
 222        "where": [["_uuid", "==", ["named-uuid", "second"]]]}]]]],
 223   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<2>"],"name":"zero","number":0}]},{"rows":[{"_uuid":["uuid","<1>"],"_version":["uuid","<3>"],"name":"one","number":1}]}]
 224 ]])
 225
 226 OVSDB_CHECK_EXECUTION([insert rows, update rows by value],
 227   [ORDINAL_SCHEMA],
 228   [[[["ordinals",
 229       {"op": "insert",
 230        "table": "ordinals",
 231        "row": {"number": 0, "name": "zero"},
 232        "uuid-name": "first"}]]],
 233    [[["ordinals",
 234       {"op": "insert",
 235        "table": "ordinals",
 236        "row": {"number": 1, "name": "one"},
 237        "uuid-name": "first"}]]],
 238    [[["ordinals",
 239       {"op": "update",
 240        "table": "ordinals",
 241        "where": [["name", "==", "zero"]],
 242        "row": {"name": "nought"}}]]],
 243    [[["ordinals",
 244       {"op": "select",
 245        "table": "ordinals",
 246        "where": [],
 247        "sort": ["number"]}]]]],
 248   [[[{"uuid":["uuid","<0>"]}]
 249 [{"uuid":["uuid","<1>"]}]
 250 [{"count":1}]
 251 [{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<2>"],"name":"nought","number":0},{"_uuid":["uuid","<1>"],"_version":["uuid","<3>"],"name":"one","number":1}]}]
 252 ]])
 253
 254 OVSDB_CHECK_EXECUTION([insert rows, mutate rows],
 255   [ORDINAL_SCHEMA],
 256   [[[["ordinals",
 257       {"op": "insert",
 258        "table": "ordinals",
 259        "row": {"number": 0, "name": "zero"},
 260        "uuid-name": "first"}]]],
 261    [[["ordinals",
 262       {"op": "insert",
 263        "table": "ordinals",
 264        "row": {"number": 1, "name": "one"},
 265        "uuid-name": "first"}]]],
 266    [[["ordinals",
 267       {"op": "mutate",
 268        "table": "ordinals",
 269        "where": [["name", "==", "zero"]],
 270        "mutations": [["number", "+=", 2]]}]]],
 271    [[["ordinals",
 272       {"op": "select",
 273        "table": "ordinals",
 274        "where": [],
 275        "sort": ["number"]}]]]],
 276   [[[{"uuid":["uuid","<0>"]}]
 277 [{"uuid":["uuid","<1>"]}]
 278 [{"count":1}]
 279 [{"rows":[{"_uuid":["uuid","<1>"],"_version":["uuid","<2>"],"name":"one","number":1},{"_uuid":["uuid","<0>"],"_version":["uuid","<3>"],"name":"zero","number":2}]}]
 280 ]])
 281
 282 OVSDB_CHECK_EXECUTION([insert rows, delete by named-uuid],
 283   [ORDINAL_SCHEMA],
 284   [[[["ordinals",
 285       {"op": "insert",
 286        "table": "ordinals",
 287        "row": {"number": 0, "name": "zero"},
 288        "uuid-name": "first"},
 289       {"op": "insert",
 290        "table": "ordinals",
 291        "row": {"number": 1, "name": "one"},
 292        "uuid-name": "second"},
 293       {"op": "delete",
 294        "table": "ordinals",
 295        "where": [["_uuid", "==", ["named-uuid", "first"]]]},
 296       {"op": "select",
 297        "table": "ordinals",
 298        "where": [],
 299        "columns": ["name","number"]}]]]],
 300   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"count":1},{"rows":[{"name":"one","number":1}]}]
 301 ]])
 302
 303 OVSDB_CHECK_EXECUTION([insert rows, delete rows by value],
 304   [ORDINAL_SCHEMA],
 305   [[[["ordinals",
 306       {"op": "insert",
 307        "table": "ordinals",
 308        "row": {"number": 0, "name": "zero"},
 309        "uuid-name": "first"}]]],
 310    [[["ordinals",
 311       {"op": "insert",
 312        "table": "ordinals",
 313        "row": {"number": 1, "name": "one"},
 314        "uuid-name": "first"}]]],
 315    [[["ordinals",
 316       {"op": "delete",
 317        "table": "ordinals",
 318        "where": [["name", "==", "zero"]]}]]],
 319    [[["ordinals",
 320       {"op": "select",
 321        "table": "ordinals",
 322        "where": []}]]]],
 323   [[[{"uuid":["uuid","<0>"]}]
 324 [{"uuid":["uuid","<1>"]}]
 325 [{"count":1}]
 326 [{"rows":[{"_uuid":["uuid","<1>"],"_version":["uuid","<2>"],"name":"one","number":1}]}]
 327 ]])
 328
 329 OVSDB_CHECK_EXECUTION([insert rows, delete by (non-matching) value],
 330   [ORDINAL_SCHEMA],
 331   [[[["ordinals",
 332       {"op": "insert",
 333        "table": "ordinals",
 334        "row": {"number": 0, "name": "zero"},
 335        "uuid-name": "first"}]]],
 336    [[["ordinals",
 337       {"op": "insert",
 338        "table": "ordinals",
 339        "row": {"number": 1, "name": "one"},
 340        "uuid-name": "first"}]]],
 341    [[["ordinals",
 342       {"op": "delete",
 343        "table": "ordinals",
 344        "where": [["name", "==", "nought"]]}]]],
 345    [[["ordinals",
 346       {"op": "select",
 347        "table": "ordinals",
 348        "where": [],
 349        "sort": ["number"]}]]]],
 350   [[[{"uuid":["uuid","<0>"]}]
 351 [{"uuid":["uuid","<1>"]}]
 352 [{"count":0}]
 353 [{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<2>"],"name":"zero","number":0},{"_uuid":["uuid","<1>"],"_version":["uuid","<3>"],"name":"one","number":1}]}]
 354 ]])
 355
 356 OVSDB_CHECK_EXECUTION([insert rows, delete all],
 357   [ORDINAL_SCHEMA],
 358   [[[["ordinals",
 359       {"op": "insert",
 360        "table": "ordinals",
 361        "row": {"number": 0, "name": "zero"},
 362        "uuid-name": "first"},
 363       {"op": "insert",
 364        "table": "ordinals",
 365        "row": {"number": 1, "name": "one"},
 366        "uuid-name": "second"},
 367       {"op": "delete",
 368        "table": "ordinals",
 369        "where": []},
 370       {"op": "select",
 371        "table": "ordinals",
 372        "where": [],
 373        "columns": ["name","number"]}]]]],
 374   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"count":2},{"rows":[]}]
 375 ]])
 376
 377 OVSDB_CHECK_EXECUTION([insert row, query table, commit],
 378   [ORDINAL_SCHEMA],
 379   [[[["ordinals",
 380       {"op": "insert",
 381        "table": "ordinals",
 382        "row": {"number": 0, "name": "zero"}},
 383       {"op": "select",
 384        "table": "ordinals",
 385        "where": []},
 386       {"op": "commit",
 387        "durable": false}]]]],
 388   [[[{"uuid":["uuid","<0>"]},{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<1>"],"name":"zero","number":0}]},{}]
 389 ]])
 390
 391 OVSDB_CHECK_EXECUTION([insert row, query table, commit durably],
 392   [ORDINAL_SCHEMA],
 393   [[[["ordinals",
 394       {"op": "insert",
 395        "table": "ordinals",
 396        "row": {"number": 0, "name": "zero"}},
 397       {"op": "select",
 398        "table": "ordinals",
 399        "where": []},
 400       {"op": "commit",
 401        "durable": true}]]]],
 402   [[[{"uuid":["uuid","<0>"]},{"rows":[{"_uuid":["uuid","<0>"],"_version":["uuid","<1>"],"name":"zero","number":0}]},{}]
 403 ]])
 404
 405 OVSDB_CHECK_EXECUTION([equality wait with correct rows],
 406   [ORDINAL_SCHEMA],
 407   [[[["ordinals",
 408       {"op": "insert",
 409        "table": "ordinals",
 410        "row": {"number": 0, "name": "zero"}},
 411       {"op": "insert",
 412        "table": "ordinals",
 413        "row": {"number": 1, "name": "one"}},
 414       {"op": "wait",
 415        "timeout": 0,
 416        "table": "ordinals",
 417        "where": [],
 418        "columns": ["name", "number"],
 419        "until": "==",
 420        "rows": [{"name": "zero", "number": 0},
 421                 {"name": "one", "number": 1}]}]]]],
 422   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{}]
 423 ]])
 424
 425 OVSDB_CHECK_EXECUTION([equality wait with extra row],
 426   [ORDINAL_SCHEMA],
 427   [[[["ordinals",
 428       {"op": "insert",
 429        "table": "ordinals",
 430        "row": {"number": 0, "name": "zero"}},
 431       {"op": "insert",
 432        "table": "ordinals",
 433        "row": {"number": 1, "name": "one"}},
 434       {"op": "wait",
 435        "timeout": 0,
 436        "table": "ordinals",
 437        "where": [],
 438        "columns": ["name", "number"],
 439        "until": "==",
 440        "rows": [{"name": "zero", "number": 0},
 441                 {"name": "one", "number": 1},
 442                 {"name": "two", "number": 2}]}]]]],
 443   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"details":"\"wait\" timed out","error":"timed out"}]
 444 ]])
 445
 446 OVSDB_CHECK_EXECUTION([equality wait with missing row],
 447   [ORDINAL_SCHEMA],
 448   [[[["ordinals",
 449       {"op": "insert",
 450        "table": "ordinals",
 451        "row": {"number": 0, "name": "zero"}},
 452       {"op": "insert",
 453        "table": "ordinals",
 454        "row": {"number": 1, "name": "one"}},
 455       {"op": "wait",
 456        "timeout": 0,
 457        "table": "ordinals",
 458        "where": [],
 459        "columns": ["name", "number"],
 460        "until": "==",
 461        "rows": [{"name": "one", "number": 1}]}]]]],
 462   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"details":"\"wait\" timed out","error":"timed out"}]
 463 ]])
 464
 465 OVSDB_CHECK_EXECUTION([inequality wait with correct rows],
 466   [ORDINAL_SCHEMA],
 467   [[[["ordinals",
 468       {"op": "insert",
 469        "table": "ordinals",
 470        "row": {"number": 0, "name": "zero"}},
 471       {"op": "insert",
 472        "table": "ordinals",
 473        "row": {"number": 1, "name": "one"}},
 474       {"op": "wait",
 475        "timeout": 0,
 476        "table": "ordinals",
 477        "where": [],
 478        "columns": ["name", "number"],
 479        "until": "!=",
 480        "rows": [{"name": "zero", "number": 0},
 481                 {"name": "one", "number": 1}]}]]]],
 482   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"details":"\"wait\" timed out","error":"timed out"}]
 483 ]])
 484
 485 OVSDB_CHECK_EXECUTION([inequality wait with extra row],
 486   [ORDINAL_SCHEMA],
 487   [[[["ordinals",
 488       {"op": "insert",
 489        "table": "ordinals",
 490        "row": {"number": 0, "name": "zero"}},
 491       {"op": "insert",
 492        "table": "ordinals",
 493        "row": {"number": 1, "name": "one"}},
 494       {"op": "wait",
 495        "timeout": 0,
 496        "table": "ordinals",
 497        "where": [],
 498        "columns": ["name", "number"],
 499        "until": "!=",
 500        "rows": [{"name": "zero", "number": 0},
 501                 {"name": "one", "number": 1},
 502                 {"name": "two", "number": 2}]}]]]],
 503   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{}]
 504 ]])
 505
 506 OVSDB_CHECK_EXECUTION([inequality wait with missing row],
 507   [ORDINAL_SCHEMA],
 508   [[[["ordinals",
 509       {"op": "insert",
 510        "table": "ordinals",
 511        "row": {"number": 0, "name": "zero"}},
 512       {"op": "insert",
 513        "table": "ordinals",
 514        "row": {"number": 1, "name": "one"}},
 515       {"op": "wait",
 516        "timeout": 0,
 517        "table": "ordinals",
 518        "where": [],
 519        "columns": ["name", "number"],
 520        "until": "!=",
 521        "rows": [{"name": "one", "number": 1}]}]]]],
 522   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{}]
 523 ]])
 524
 525 OVSDB_CHECK_EXECUTION([insert and update constraints],
 526   [CONSTRAINT_SCHEMA],
 527   [[[["constraints",
 528       {"op": "insert",
 529        "table": "constrained",
 530        "row": {}}]]],
 531    [[["constraints",
 532       {"op": "insert",
 533        "table": "constrained",
 534        "row": {"positive": -1}}]]],
 535    [[["constraints",
 536       {"op": "update",
 537        "table": "constrained",
 538        "where": [],
 539        "row": {"positive": -2}}]]],
 540    [[["constraints",
 541       {"op": "insert",
 542        "table": "constrained",
 543        "row": {"positive": 1}}]]],
 544    [[["constraints",
 545       {"op": "insert",
 546        "table": "constrained",
 547        "row": {"positive": 2}}]]]],
 548   [[[{"details":"0 is less than minimum allowed value 1","error":"constraint violation"}]
 549 [{"details":"-1 is less than minimum allowed value 1","error":"constraint violation"}]
 550 [{"details":"-2 is less than minimum allowed value 1","error":"constraint violation"}]
 551 [{"uuid":["uuid","<0>"]}]
 552 [{"uuid":["uuid","<1>"]},{"details":"transaction causes \"constrained\" table to contain 2 rows, greater than the schema-defined limit of 1 row(s)","error":"constraint violation"}]
 553 ]])
 554
 555 OVSDB_CHECK_EXECUTION([referential integrity -- simple],
 556   [CONSTRAINT_SCHEMA],
 557   [[[["constraints",
 558       {"op": "insert",
 559        "table": "b",
 560        "row": {"b": 1},
 561        "uuid-name": "brow"},
 562       {"op": "insert",
 563        "table": "a",
 564        "row": {"a": 0,
 565                "a2b": ["set", [["named-uuid", "brow"]]]}},
 566       {"op": "insert",
 567        "table": "a",
 568        "row": {"a": 1,
 569                "a2b": ["set", [["named-uuid", "brow"]]]}},
 570       {"op": "insert",
 571        "table": "a",
 572        "row": {"a": 2,
 573                "a2b": ["set", [["named-uuid", "brow"]]]}}]]],
 574    [[["constraints",
 575       {"op": "delete",
 576        "table": "b",
 577        "where": []}]]],
 578    [[["constraints",
 579       {"op": "delete",
 580        "table": "a",
 581        "where": [["a", "==", 0]]}]]],
 582    [[["constraints",
 583       {"op": "delete",
 584        "table": "b",
 585        "where": []}]]],
 586    [[["constraints",
 587       {"op": "delete",
 588        "table": "a",
 589        "where": [["a", "==", 1]]}]]],
 590    [[["constraints",
 591       {"op": "delete",
 592        "table": "b",
 593        "where": []}]]],
 594    [[["constraints",
 595       {"op": "delete",
 596        "table": "a",
 597        "where": [["a", "==", 2]]}]]],
 598    [[["constraints",
 599       {"op": "delete",
 600        "table": "b",
 601        "where": []}]]]],
 602   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"uuid":["uuid","<2>"]},{"uuid":["uuid","<3>"]}]
 603 [{"count":1},{"details":"cannot delete b row <0> because of 3 remaining reference(s)","error":"referential integrity violation"}]
 604 [{"count":1}]
 605 [{"count":1},{"details":"cannot delete b row <0> because of 2 remaining reference(s)","error":"referential integrity violation"}]
 606 [{"count":1}]
 607 [{"count":1},{"details":"cannot delete b row <0> because of 1 remaining reference(s)","error":"referential integrity violation"}]
 608 [{"count":1}]
 609 [{"count":1}]
 610 ]])
 611
 612 OVSDB_CHECK_EXECUTION([referential integrity -- mutual references],
 613   [CONSTRAINT_SCHEMA],
 614   [[[["constraints",
 615       {"op": "insert",
 616        "table": "a",
 617        "row": {"a": 0,
 618                "a2b": ["set", [["named-uuid", "row2"]]],
 619                "a2a": ["set", [["named-uuid", "row1"]]]},
 620        "uuid-name": "row1"},
 621       {"op": "insert",
 622        "table": "b",
 623        "row": {"b": 1,
 624                "b2b": ["set", [["named-uuid", "row2"]]],
 625                "b2a": ["set", [["named-uuid", "row1"]]]},
 626        "uuid-name": "row2"}]]],
 627    [[["constraints",
 628       {"op": "insert",
 629        "table": "a",
 630        "row": {"a2b": ["set", [["uuid", "b516b960-5b19-4fc2-bb82-fe1cbd6d0241"]]]}}]]],
 631    [[["constraints",
 632       {"op": "delete",
 633        "table": "a",
 634        "where": [["a", "==", 0]]}]]],
 635    [[["constraints",
 636       {"op": "delete",
 637        "table": "b",
 638        "where": [["b", "==", 1]]}]]],
 639    dnl Try the deletions again to make sure that the refcounts got rolled back.
 640    [[["constraints",
 641       {"op": "delete",
 642        "table": "a",
 643        "where": [["a", "==", 0]]}]]],
 644    [[["constraints",
 645       {"op": "delete",
 646        "table": "b",
 647        "where": [["b", "==", 1]]}]]],
 648    [[["constraints",
 649       {"op": "delete",
 650        "table": "a",
 651        "where": [["a", "==", 0]]},
 652       {"op": "delete",
 653        "table": "b",
 654        "where": [["b", "==", 1]]}]]]],
 655   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]}]
 656 [{"uuid":["uuid","<2>"]},{"details":"Table a column a2b row <2> references nonexistent row <3> in table b.","error":"referential integrity violation"}]
 657 [{"count":1},{"details":"cannot delete a row <0> because of 1 remaining reference(s)","error":"referential integrity violation"}]
 658 [{"count":1},{"details":"cannot delete b row <1> because of 1 remaining reference(s)","error":"referential integrity violation"}]
 659 [{"count":1},{"details":"cannot delete a row <0> because of 1 remaining reference(s)","error":"referential integrity violation"}]
 660 [{"count":1},{"details":"cannot delete b row <1> because of 1 remaining reference(s)","error":"referential integrity violation"}]
 661 [{"count":1},{"count":1}]
 662 ]])
 663
 664 OVSDB_CHECK_EXECUTION([weak references],
 665   [WEAK_SCHEMA],
 666   [[[["weak",
 667       {"op": "insert",
 668        "table": "a",
 669        "row": {"a": 0,
 670                "a2a": ["set", [["named-uuid", "row1"],
 671                                ["named-uuid", "row2"],
 672                                ["uuid", "0e767b36-6822-4044-8307-d58467e04669"]]],
 673                "a2a1": ["named-uuid", "row1"],
 674                "a2b": ["named-uuid", "row3"]},
 675        "uuid-name": "row1"},
 676       {"op": "insert",
 677        "table": "a",
 678        "row": {"a": 1,
 679                "a2a": ["set", [["named-uuid", "row1"],
 680                                ["named-uuid", "row2"]]],
 681                "a2a1": ["named-uuid", "row2"],
 682                "a2b": ["named-uuid", "row3"]},
 683        "uuid-name": "row2"},
 684       {"op": "insert",
 685        "table": "a",
 686        "row": {"a": 2,
 687                "a2a": ["set", [["named-uuid", "row1"],
 688                                ["named-uuid", "row2"]]],
 689                "a2a1": ["named-uuid", "row2"],
 690                "a2b": ["named-uuid", "row4"]}},
 691       {"op": "insert",
 692        "table": "b",
 693        "row": {"b": 2,
 694                "b2a": ["named-uuid", "row1"]},
 695        "uuid-name": "row3"},
 696       {"op": "insert",
 697        "table": "b",
 698        "row": {"b": 3,
 699                "b2a": ["named-uuid", "row2"]},
 700        "uuid-name": "row4"}]]],
 701    dnl Check that the nonexistent row UUID we added to row a0 was deleted,
 702    dnl and that other rows were inserted as requested.
 703    [[["weak",
 704       {"op": "select",
 705        "table": "a",
 706        "where": [],
 707        "columns": ["_uuid", "a2a", "a2a1", "a2b"],
 708        "sort": ["a"]}]]],
 709    [[["weak",
 710       {"op": "select",
 711        "table": "b",
 712        "where": [],
 713        "columns": ["_uuid", "b", "b2a"],
 714        "sort": ["b"]}]]],
 715    dnl Try to insert invalid all-zeros weak reference (the default) into
 716    dnl "a2b", which requires exactly one value.
 717    [[["weak",
 718       {"op": "insert",
 719        "table": "a",
 720        "row": {"a2a1": ["named-uuid", "me"]},
 721        "uuid-name": "me"}]]],
 722    dnl Try to delete row from "b" that is referred to by weak references
 723    dnl from "a" table "a2b" column that requires exactly one value.
 724    [[["weak",
 725       {"op": "delete",
 726        "table": "b",
 727        "where": [["b", "==", 3]]}]]],
 728    dnl Try to delete row from "a" that is referred to by weak references
 729    dnl from "a" table "a2a1" column that requires exactly one value.
 730    [[["weak",
 731       {"op": "delete",
 732        "table": "a",
 733        "where": [["a", "==", 1]]}]]],
 734    dnl Delete the row that had the reference that caused the previous
 735    dnl deletion to fail, then check that other rows are unchanged.
 736    [[["weak",
 737       {"op": "delete",
 738        "table": "a",
 739        "where": [["a", "==", 2]]}]]],
 740    [[["weak",
 741       {"op": "select",
 742        "table": "a",
 743        "where": [],
 744        "columns": ["_uuid", "a2a", "a2a1", "a2b"],
 745        "sort": ["a"]}]]],
 746    [[["weak",
 747       {"op": "select",
 748        "table": "b",
 749        "where": [],
 750        "columns": ["_uuid", "b", "b2a"],
 751        "sort": ["b"]}]]],
 752    dnl Delete row a0 then check that references to it were removed.
 753    [[["weak",
 754       {"op": "delete",
 755        "table": "a",
 756        "where": [["a", "==", 0]]}]]],
 757    [[["weak",
 758       {"op": "select",
 759        "table": "a",
 760        "where": [],
 761        "columns": ["_uuid", "a2a", "a2a1", "a2b"],
 762        "sort": ["a"]}]]],
 763    [[["weak",
 764       {"op": "select",
 765        "table": "b",
 766        "where": [],
 767        "columns": ["_uuid", "b", "b2a"],
 768        "sort": ["b"]}]]],
 769    dnl Delete row a1 then check that references to it were removed.
 770    [[["weak",
 771       {"op": "delete",
 772        "table": "a",
 773        "where": [["a", "==", 1]]}]]],
 774    [[["weak",
 775       {"op": "select",
 776        "table": "a",
 777        "where": [],
 778        "columns": ["_uuid", "a2a", "a2a1", "a2b"],
 779        "sort": ["a"]}]]],
 780    [[["weak",
 781       {"op": "select",
 782        "table": "b",
 783        "where": [],
 784        "columns": ["_uuid", "b", "b2a"],
 785        "sort": ["b"]}]]]],
 786   [[[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"uuid":["uuid","<2>"]},{"uuid":["uuid","<3>"]},{"uuid":["uuid","<4>"]}]
 787 [{"rows":[{"_uuid":["uuid","<0>"],"a2a":["set",[["uuid","<0>"],["uuid","<1>"]]],"a2a1":["uuid","<0>"],"a2b":["uuid","<3>"]},{"_uuid":["uuid","<1>"],"a2a":["set",[["uuid","<0>"],["uuid","<1>"]]],"a2a1":["uuid","<1>"],"a2b":["uuid","<3>"]},{"_uuid":["uuid","<2>"],"a2a":["set",[["uuid","<0>"],["uuid","<1>"]]],"a2a1":["uuid","<1>"],"a2b":["uuid","<4>"]}]}]
 788 [{"rows":[{"_uuid":["uuid","<3>"],"b":2,"b2a":["uuid","<0>"]},{"_uuid":["uuid","<4>"],"b":3,"b2a":["uuid","<1>"]}]}]
 789 [{"uuid":["uuid","<5>"]},{"details":"Weak reference column \"a2b\" in \"a\" row <5> (inserted within this transaction) contained all-zeros UUID (probably as the default value for this column) but deleting this value caused a constraint volation because this column is not allowed to be empty.","error":"constraint violation"}]
 790 [{"count":1},{"details":"Deletion of 1 weak reference(s) to deleted (or never-existing) rows from column \"a2b\" in \"a\" row <2> caused this column to become empty, but constraints on this column disallow an empty column.","error":"constraint violation"}]
 791 [{"count":1},{"details":"Deletion of 1 weak reference(s) to deleted (or never-existing) rows from column \"a2a1\" in \"a\" row <2> caused this column to become empty, but constraints on this column disallow an empty column.","error":"constraint violation"}]
 792 [{"count":1}]
 793 [{"rows":[{"_uuid":["uuid","<0>"],"a2a":["set",[["uuid","<0>"],["uuid","<1>"]]],"a2a1":["uuid","<0>"],"a2b":["uuid","<3>"]},{"_uuid":["uuid","<1>"],"a2a":["set",[["uuid","<0>"],["uuid","<1>"]]],"a2a1":["uuid","<1>"],"a2b":["uuid","<3>"]}]}]
 794 [{"rows":[{"_uuid":["uuid","<3>"],"b":2,"b2a":["uuid","<0>"]},{"_uuid":["uuid","<4>"],"b":3,"b2a":["uuid","<1>"]}]}]
 795 [{"count":1}]
 796 [{"rows":[{"_uuid":["uuid","<1>"],"a2a":["uuid","<1>"],"a2a1":["uuid","<1>"],"a2b":["uuid","<3>"]}]}]
 797 [{"rows":[{"_uuid":["uuid","<3>"],"b":2,"b2a":["set",[]]},{"_uuid":["uuid","<4>"],"b":3,"b2a":["uuid","<1>"]}]}]
 798 [{"count":1}]
 799 [{"rows":[]}]
 800 [{"rows":[{"_uuid":["uuid","<3>"],"b":2,"b2a":["set",[]]},{"_uuid":["uuid","<4>"],"b":3,"b2a":["set",[]]}]}]
 801 ]])
 802
 803 OVSDB_CHECK_EXECUTION([garbage collection],
 804   [GC_SCHEMA],
 805   [dnl Check that inserting a row without any references is a no-op.
 806    [[["gc",
 807       {"op": "insert",
 808        "table": "a",
 809        "row": {"a": 0}}]]],
 810    [[["gc",
 811       {"op": "select",
 812        "table": "a",
 813        "where": [],
 814        "columns": ["a"]}]]],
 815    dnl Check that inserting a chain of rows that reference each other
 816    dnl in turn is also a no-op.
 817    [[["gc",
 818       {"op": "insert",
 819        "table": "a",
 820        "row": {"a": 0, "a2a": ["named-uuid", "row1"]},
 821        "uuid-name": "row0"},
 822       {"op": "insert",
 823        "table": "a",
 824        "row": {"a": 1, "a2a": ["named-uuid", "row2"]},
 825        "uuid-name": "row1"},
 826       {"op": "insert",
 827        "table": "a",
 828        "row": {"a": 2, "a2a": ["named-uuid", "row3"]},
 829        "uuid-name": "row2"},
 830       {"op": "insert",
 831        "table": "a",
 832        "row": {"a": 3},
 833        "uuid-name": "row3"}]]],
 834    [[["gc",
 835       {"op": "select",
 836        "table": "a",
 837        "where": [],
 838        "columns": ["a"]}]]],
 839    dnl Check that inserting a pair of rows that mutually reference each
 840    dnl other causes the rows to be retained.
 841    [[["gc",
 842       {"op": "insert",
 843        "table": "a",
 844        "row": {"a": 4, "a2a": ["named-uuid", "row5"]},
 845        "uuid-name": "row4"},
 846       {"op": "insert",
 847        "table": "a",
 848        "row": {"a": 5, "a2a": ["named-uuid", "row4"]},
 849        "uuid-name": "row5"}]]],
 850    [[["gc",
 851       {"op": "select",
 852        "table": "a",
 853        "where": [],
 854        "columns": ["a"],
 855        "sort": ["a"]}]]],
 856    dnl Check that unreferencing one of the rows causes the other to be deleted.
 857    [[["gc",
 858       {"op": "update",
 859        "table": "a",
 860        "where": [["a", "==", 4]],
 861        "row": {"a2a": ["set", []]}}]]],
 862    [[["gc",
 863       {"op": "select",
 864        "table": "a",
 865        "where": [],
 866        "columns": ["a"]}]]],
 867    dnl Check that inserting a pair of rows that mutually weak reference each
 868    dnl other is a no-op.
 869    [[["gc",
 870       {"op": "insert",
 871        "table": "a",
 872        "row": {"a": 6, "wa2a": ["named-uuid", "row7"]},
 873        "uuid-name": "row6"},
 874       {"op": "insert",
 875        "table": "a",
 876        "row": {"a": 7, "wa2a": ["named-uuid", "row6"]},
 877        "uuid-name": "row7"}]]],
 878    [[["gc",
 879       {"op": "select",
 880        "table": "a",
 881        "where": [],
 882        "columns": ["a"]}]]],
 883    dnl Check that a circular chain of rows is retained.
 884    [[["gc",
 885       {"op": "insert",
 886        "table": "a",
 887        "row": {"a": 8, "a2a": ["named-uuid", "row9"]},
 888        "uuid-name": "row8"},
 889       {"op": "insert",
 890        "table": "a",
 891        "row": {"a": 9, "a2a": ["named-uuid", "row10"]},
 892        "uuid-name": "row9"},
 893       {"op": "insert",
 894        "table": "a",
 895        "row": {"a": 10, "a2a": ["named-uuid", "row11"]},
 896        "uuid-name": "row10"},
 897       {"op": "insert",
 898        "table": "a",
 899        "row": {"a": 11, "a2a": ["named-uuid", "row8"]},
 900        "uuid-name": "row11"}]]],
 901    [[["gc",
 902       {"op": "select",
 903        "table": "a",
 904        "where": [],
 905        "columns": ["a"],
 906        "sort": ["a"]}]]],
 907    dnl Check that breaking the chain causes all of the rows to be deleted.
 908    [[["gc",
 909       {"op": "update",
 910        "table": "a",
 911        "where": [["a", "==", 9]],
 912        "row": {"a2a": ["set", []]}}]]],
 913    [[["gc",
 914       {"op": "select",
 915        "table": "a",
 916        "where": [],
 917        "columns": ["a"]}]]],
 918    dnl Check that inserting a row only referenced by itself is a no-op.
 919    [[["gc",
 920       {"op": "insert",
 921        "table": "a",
 922        "row": {"a": 12, "a2a": ["named-uuid", "self"]},
 923        "uuid-name": "self"}]]],
 924    [[["gc",
 925       {"op": "select",
 926        "table": "a",
 927        "where": [],
 928        "columns": ["a"]}]]]],
 929   [[[{"uuid":["uuid","<0>"]}]
 930 [{"rows":[]}]
 931 [{"uuid":["uuid","<1>"]},{"uuid":["uuid","<2>"]},{"uuid":["uuid","<3>"]},{"uuid":["uuid","<4>"]}]
 932 [{"rows":[]}]
 933 [{"uuid":["uuid","<5>"]},{"uuid":["uuid","<6>"]}]
 934 [{"rows":[{"a":4},{"a":5}]}]
 935 [{"count":1}]
 936 [{"rows":[]}]
 937 [{"uuid":["uuid","<7>"]},{"uuid":["uuid","<8>"]}]
 938 [{"rows":[]}]
 939 [{"uuid":["uuid","<9>"]},{"uuid":["uuid","<10>"]},{"uuid":["uuid","<11>"]},{"uuid":["uuid","<12>"]}]
 940 [{"rows":[{"a":8},{"a":9},{"a":10},{"a":11}]}]
 941 [{"count":1}]
 942 [{"rows":[]}]
 943 [{"uuid":["uuid","<13>"]}]
 944 [{"rows":[]}]
 945 ]])])
 946
 947 EXECUTION_EXAMPLES