1Parsed test spec with 3 sessions 2 3starting permutation: wx1 c1 rxwy2 c2 ry3 c3 4step wx1: update D1 set id = id + 1; 5step c1: COMMIT; 6step rxwy2: update D2 set id = (select id+1 from D1); 7step c2: COMMIT; 8step ry3: select id from D2; 9id 10-- 11 3 12(1 row) 13 14step c3: COMMIT; 15 16starting permutation: wx1 c1 rxwy2 ry3 c2 c3 17step wx1: update D1 set id = id + 1; 18step c1: COMMIT; 19step rxwy2: update D2 set id = (select id+1 from D1); 20step ry3: select id from D2; 21id 22-- 23 1 24(1 row) 25 26step c2: COMMIT; 27step c3: COMMIT; 28 29starting permutation: wx1 c1 rxwy2 ry3 c3 c2 30step wx1: update D1 set id = id + 1; 31step c1: COMMIT; 32step rxwy2: update D2 set id = (select id+1 from D1); 33step ry3: select id from D2; 34id 35-- 36 1 37(1 row) 38 39step c3: COMMIT; 40step c2: COMMIT; 41 42starting permutation: wx1 c1 ry3 rxwy2 c2 c3 43step wx1: update D1 set id = id + 1; 44step c1: COMMIT; 45step ry3: select id from D2; 46id 47-- 48 1 49(1 row) 50 51step rxwy2: update D2 set id = (select id+1 from D1); 52step c2: COMMIT; 53step c3: COMMIT; 54 55starting permutation: wx1 c1 ry3 rxwy2 c3 c2 56step wx1: update D1 set id = id + 1; 57step c1: COMMIT; 58step ry3: select id from D2; 59id 60-- 61 1 62(1 row) 63 64step rxwy2: update D2 set id = (select id+1 from D1); 65step c3: COMMIT; 66step c2: COMMIT; 67 68starting permutation: wx1 c1 ry3 c3 rxwy2 c2 69step wx1: update D1 set id = id + 1; 70step c1: COMMIT; 71step ry3: select id from D2; 72id 73-- 74 1 75(1 row) 76 77step c3: COMMIT; 78step rxwy2: update D2 set id = (select id+1 from D1); 79step c2: COMMIT; 80 81starting permutation: wx1 rxwy2 c1 c2 ry3 c3 82step wx1: update D1 set id = id + 1; 83step rxwy2: update D2 set id = (select id+1 from D1); 84step c1: COMMIT; 85step c2: COMMIT; 86step ry3: select id from D2; 87id 88-- 89 2 90(1 row) 91 92step c3: COMMIT; 93 94starting permutation: wx1 rxwy2 c1 ry3 c2 c3 95step wx1: update D1 set id = id + 1; 96step rxwy2: update D2 set id = (select id+1 from D1); 97step c1: COMMIT; 98step ry3: select id from D2; 99id 100-- 101 1 102(1 row) 103 104step c2: COMMIT; 105ERROR: could not serialize access due to read/write dependencies among transactions 106step c3: COMMIT; 107 108starting permutation: wx1 rxwy2 c1 ry3 c3 c2 109step wx1: update D1 set id = id + 1; 110step rxwy2: update D2 set id = (select id+1 from D1); 111step c1: COMMIT; 112step ry3: select id from D2; 113id 114-- 115 1 116(1 row) 117 118step c3: COMMIT; 119step c2: COMMIT; 120ERROR: could not serialize access due to read/write dependencies among transactions 121 122starting permutation: wx1 rxwy2 c2 c1 ry3 c3 123step wx1: update D1 set id = id + 1; 124step rxwy2: update D2 set id = (select id+1 from D1); 125step c2: COMMIT; 126step c1: COMMIT; 127step ry3: select id from D2; 128id 129-- 130 2 131(1 row) 132 133step c3: COMMIT; 134 135starting permutation: wx1 rxwy2 c2 ry3 c1 c3 136step wx1: update D1 set id = id + 1; 137step rxwy2: update D2 set id = (select id+1 from D1); 138step c2: COMMIT; 139step ry3: select id from D2; 140id 141-- 142 2 143(1 row) 144 145step c1: COMMIT; 146step c3: COMMIT; 147 148starting permutation: wx1 rxwy2 c2 ry3 c3 c1 149step wx1: update D1 set id = id + 1; 150step rxwy2: update D2 set id = (select id+1 from D1); 151step c2: COMMIT; 152step ry3: select id from D2; 153id 154-- 155 2 156(1 row) 157 158step c3: COMMIT; 159step c1: COMMIT; 160 161starting permutation: wx1 rxwy2 ry3 c1 c2 c3 162step wx1: update D1 set id = id + 1; 163step rxwy2: update D2 set id = (select id+1 from D1); 164step ry3: select id from D2; 165id 166-- 167 1 168(1 row) 169 170step c1: COMMIT; 171step c2: COMMIT; 172ERROR: could not serialize access due to read/write dependencies among transactions 173step c3: COMMIT; 174 175starting permutation: wx1 rxwy2 ry3 c1 c3 c2 176step wx1: update D1 set id = id + 1; 177step rxwy2: update D2 set id = (select id+1 from D1); 178step ry3: select id from D2; 179id 180-- 181 1 182(1 row) 183 184step c1: COMMIT; 185step c3: COMMIT; 186step c2: COMMIT; 187ERROR: could not serialize access due to read/write dependencies among transactions 188 189starting permutation: wx1 rxwy2 ry3 c2 c1 c3 190step wx1: update D1 set id = id + 1; 191step rxwy2: update D2 set id = (select id+1 from D1); 192step ry3: select id from D2; 193id 194-- 195 1 196(1 row) 197 198step c2: COMMIT; 199step c1: COMMIT; 200step c3: COMMIT; 201 202starting permutation: wx1 rxwy2 ry3 c2 c3 c1 203step wx1: update D1 set id = id + 1; 204step rxwy2: update D2 set id = (select id+1 from D1); 205step ry3: select id from D2; 206id 207-- 208 1 209(1 row) 210 211step c2: COMMIT; 212step c3: COMMIT; 213step c1: COMMIT; 214 215starting permutation: wx1 rxwy2 ry3 c3 c1 c2 216step wx1: update D1 set id = id + 1; 217step rxwy2: update D2 set id = (select id+1 from D1); 218step ry3: select id from D2; 219id 220-- 221 1 222(1 row) 223 224step c3: COMMIT; 225step c1: COMMIT; 226step c2: COMMIT; 227 228starting permutation: wx1 rxwy2 ry3 c3 c2 c1 229step wx1: update D1 set id = id + 1; 230step rxwy2: update D2 set id = (select id+1 from D1); 231step ry3: select id from D2; 232id 233-- 234 1 235(1 row) 236 237step c3: COMMIT; 238step c2: COMMIT; 239step c1: COMMIT; 240 241starting permutation: wx1 ry3 c1 rxwy2 c2 c3 242step wx1: update D1 set id = id + 1; 243step ry3: select id from D2; 244id 245-- 246 1 247(1 row) 248 249step c1: COMMIT; 250step rxwy2: update D2 set id = (select id+1 from D1); 251step c2: COMMIT; 252step c3: COMMIT; 253 254starting permutation: wx1 ry3 c1 rxwy2 c3 c2 255step wx1: update D1 set id = id + 1; 256step ry3: select id from D2; 257id 258-- 259 1 260(1 row) 261 262step c1: COMMIT; 263step rxwy2: update D2 set id = (select id+1 from D1); 264step c3: COMMIT; 265step c2: COMMIT; 266 267starting permutation: wx1 ry3 c1 c3 rxwy2 c2 268step wx1: update D1 set id = id + 1; 269step ry3: select id from D2; 270id 271-- 272 1 273(1 row) 274 275step c1: COMMIT; 276step c3: COMMIT; 277step rxwy2: update D2 set id = (select id+1 from D1); 278step c2: COMMIT; 279 280starting permutation: wx1 ry3 rxwy2 c1 c2 c3 281step wx1: update D1 set id = id + 1; 282step ry3: select id from D2; 283id 284-- 285 1 286(1 row) 287 288step rxwy2: update D2 set id = (select id+1 from D1); 289step c1: COMMIT; 290step c2: COMMIT; 291ERROR: could not serialize access due to read/write dependencies among transactions 292step c3: COMMIT; 293 294starting permutation: wx1 ry3 rxwy2 c1 c3 c2 295step wx1: update D1 set id = id + 1; 296step ry3: select id from D2; 297id 298-- 299 1 300(1 row) 301 302step rxwy2: update D2 set id = (select id+1 from D1); 303step c1: COMMIT; 304step c3: COMMIT; 305step c2: COMMIT; 306ERROR: could not serialize access due to read/write dependencies among transactions 307 308starting permutation: wx1 ry3 rxwy2 c2 c1 c3 309step wx1: update D1 set id = id + 1; 310step ry3: select id from D2; 311id 312-- 313 1 314(1 row) 315 316step rxwy2: update D2 set id = (select id+1 from D1); 317step c2: COMMIT; 318step c1: COMMIT; 319step c3: COMMIT; 320 321starting permutation: wx1 ry3 rxwy2 c2 c3 c1 322step wx1: update D1 set id = id + 1; 323step ry3: select id from D2; 324id 325-- 326 1 327(1 row) 328 329step rxwy2: update D2 set id = (select id+1 from D1); 330step c2: COMMIT; 331step c3: COMMIT; 332step c1: COMMIT; 333 334starting permutation: wx1 ry3 rxwy2 c3 c1 c2 335step wx1: update D1 set id = id + 1; 336step ry3: select id from D2; 337id 338-- 339 1 340(1 row) 341 342step rxwy2: update D2 set id = (select id+1 from D1); 343step c3: COMMIT; 344step c1: COMMIT; 345step c2: COMMIT; 346 347starting permutation: wx1 ry3 rxwy2 c3 c2 c1 348step wx1: update D1 set id = id + 1; 349step ry3: select id from D2; 350id 351-- 352 1 353(1 row) 354 355step rxwy2: update D2 set id = (select id+1 from D1); 356step c3: COMMIT; 357step c2: COMMIT; 358step c1: COMMIT; 359 360starting permutation: wx1 ry3 c3 c1 rxwy2 c2 361step wx1: update D1 set id = id + 1; 362step ry3: select id from D2; 363id 364-- 365 1 366(1 row) 367 368step c3: COMMIT; 369step c1: COMMIT; 370step rxwy2: update D2 set id = (select id+1 from D1); 371step c2: COMMIT; 372 373starting permutation: wx1 ry3 c3 rxwy2 c1 c2 374step wx1: update D1 set id = id + 1; 375step ry3: select id from D2; 376id 377-- 378 1 379(1 row) 380 381step c3: COMMIT; 382step rxwy2: update D2 set id = (select id+1 from D1); 383step c1: COMMIT; 384step c2: COMMIT; 385 386starting permutation: wx1 ry3 c3 rxwy2 c2 c1 387step wx1: update D1 set id = id + 1; 388step ry3: select id from D2; 389id 390-- 391 1 392(1 row) 393 394step c3: COMMIT; 395step rxwy2: update D2 set id = (select id+1 from D1); 396step c2: COMMIT; 397step c1: COMMIT; 398 399starting permutation: rxwy2 wx1 c1 c2 ry3 c3 400step rxwy2: update D2 set id = (select id+1 from D1); 401step wx1: update D1 set id = id + 1; 402step c1: COMMIT; 403step c2: COMMIT; 404step ry3: select id from D2; 405id 406-- 407 2 408(1 row) 409 410step c3: COMMIT; 411 412starting permutation: rxwy2 wx1 c1 ry3 c2 c3 413step rxwy2: update D2 set id = (select id+1 from D1); 414step wx1: update D1 set id = id + 1; 415step c1: COMMIT; 416step ry3: select id from D2; 417id 418-- 419 1 420(1 row) 421 422step c2: COMMIT; 423ERROR: could not serialize access due to read/write dependencies among transactions 424step c3: COMMIT; 425 426starting permutation: rxwy2 wx1 c1 ry3 c3 c2 427step rxwy2: update D2 set id = (select id+1 from D1); 428step wx1: update D1 set id = id + 1; 429step c1: COMMIT; 430step ry3: select id from D2; 431id 432-- 433 1 434(1 row) 435 436step c3: COMMIT; 437step c2: COMMIT; 438ERROR: could not serialize access due to read/write dependencies among transactions 439 440starting permutation: rxwy2 wx1 c2 c1 ry3 c3 441step rxwy2: update D2 set id = (select id+1 from D1); 442step wx1: update D1 set id = id + 1; 443step c2: COMMIT; 444step c1: COMMIT; 445step ry3: select id from D2; 446id 447-- 448 2 449(1 row) 450 451step c3: COMMIT; 452 453starting permutation: rxwy2 wx1 c2 ry3 c1 c3 454step rxwy2: update D2 set id = (select id+1 from D1); 455step wx1: update D1 set id = id + 1; 456step c2: COMMIT; 457step ry3: select id from D2; 458id 459-- 460 2 461(1 row) 462 463step c1: COMMIT; 464step c3: COMMIT; 465 466starting permutation: rxwy2 wx1 c2 ry3 c3 c1 467step rxwy2: update D2 set id = (select id+1 from D1); 468step wx1: update D1 set id = id + 1; 469step c2: COMMIT; 470step ry3: select id from D2; 471id 472-- 473 2 474(1 row) 475 476step c3: COMMIT; 477step c1: COMMIT; 478 479starting permutation: rxwy2 wx1 ry3 c1 c2 c3 480step rxwy2: update D2 set id = (select id+1 from D1); 481step wx1: update D1 set id = id + 1; 482step ry3: select id from D2; 483id 484-- 485 1 486(1 row) 487 488step c1: COMMIT; 489step c2: COMMIT; 490ERROR: could not serialize access due to read/write dependencies among transactions 491step c3: COMMIT; 492 493starting permutation: rxwy2 wx1 ry3 c1 c3 c2 494step rxwy2: update D2 set id = (select id+1 from D1); 495step wx1: update D1 set id = id + 1; 496step ry3: select id from D2; 497id 498-- 499 1 500(1 row) 501 502step c1: COMMIT; 503step c3: COMMIT; 504step c2: COMMIT; 505ERROR: could not serialize access due to read/write dependencies among transactions 506 507starting permutation: rxwy2 wx1 ry3 c2 c1 c3 508step rxwy2: update D2 set id = (select id+1 from D1); 509step wx1: update D1 set id = id + 1; 510step ry3: select id from D2; 511id 512-- 513 1 514(1 row) 515 516step c2: COMMIT; 517step c1: COMMIT; 518step c3: COMMIT; 519 520starting permutation: rxwy2 wx1 ry3 c2 c3 c1 521step rxwy2: update D2 set id = (select id+1 from D1); 522step wx1: update D1 set id = id + 1; 523step ry3: select id from D2; 524id 525-- 526 1 527(1 row) 528 529step c2: COMMIT; 530step c3: COMMIT; 531step c1: COMMIT; 532 533starting permutation: rxwy2 wx1 ry3 c3 c1 c2 534step rxwy2: update D2 set id = (select id+1 from D1); 535step wx1: update D1 set id = id + 1; 536step ry3: select id from D2; 537id 538-- 539 1 540(1 row) 541 542step c3: COMMIT; 543step c1: COMMIT; 544step c2: COMMIT; 545 546starting permutation: rxwy2 wx1 ry3 c3 c2 c1 547step rxwy2: update D2 set id = (select id+1 from D1); 548step wx1: update D1 set id = id + 1; 549step ry3: select id from D2; 550id 551-- 552 1 553(1 row) 554 555step c3: COMMIT; 556step c2: COMMIT; 557step c1: COMMIT; 558 559starting permutation: rxwy2 c2 wx1 c1 ry3 c3 560step rxwy2: update D2 set id = (select id+1 from D1); 561step c2: COMMIT; 562step wx1: update D1 set id = id + 1; 563step c1: COMMIT; 564step ry3: select id from D2; 565id 566-- 567 2 568(1 row) 569 570step c3: COMMIT; 571 572starting permutation: rxwy2 c2 wx1 ry3 c1 c3 573step rxwy2: update D2 set id = (select id+1 from D1); 574step c2: COMMIT; 575step wx1: update D1 set id = id + 1; 576step ry3: select id from D2; 577id 578-- 579 2 580(1 row) 581 582step c1: COMMIT; 583step c3: COMMIT; 584 585starting permutation: rxwy2 c2 wx1 ry3 c3 c1 586step rxwy2: update D2 set id = (select id+1 from D1); 587step c2: COMMIT; 588step wx1: update D1 set id = id + 1; 589step ry3: select id from D2; 590id 591-- 592 2 593(1 row) 594 595step c3: COMMIT; 596step c1: COMMIT; 597 598starting permutation: rxwy2 c2 ry3 wx1 c1 c3 599step rxwy2: update D2 set id = (select id+1 from D1); 600step c2: COMMIT; 601step ry3: select id from D2; 602id 603-- 604 2 605(1 row) 606 607step wx1: update D1 set id = id + 1; 608step c1: COMMIT; 609step c3: COMMIT; 610 611starting permutation: rxwy2 c2 ry3 wx1 c3 c1 612step rxwy2: update D2 set id = (select id+1 from D1); 613step c2: COMMIT; 614step ry3: select id from D2; 615id 616-- 617 2 618(1 row) 619 620step wx1: update D1 set id = id + 1; 621step c3: COMMIT; 622step c1: COMMIT; 623 624starting permutation: rxwy2 c2 ry3 c3 wx1 c1 625step rxwy2: update D2 set id = (select id+1 from D1); 626step c2: COMMIT; 627step ry3: select id from D2; 628id 629-- 630 2 631(1 row) 632 633step c3: COMMIT; 634step wx1: update D1 set id = id + 1; 635step c1: COMMIT; 636 637starting permutation: rxwy2 ry3 wx1 c1 c2 c3 638step rxwy2: update D2 set id = (select id+1 from D1); 639step ry3: select id from D2; 640id 641-- 642 1 643(1 row) 644 645step wx1: update D1 set id = id + 1; 646step c1: COMMIT; 647step c2: COMMIT; 648ERROR: could not serialize access due to read/write dependencies among transactions 649step c3: COMMIT; 650 651starting permutation: rxwy2 ry3 wx1 c1 c3 c2 652step rxwy2: update D2 set id = (select id+1 from D1); 653step ry3: select id from D2; 654id 655-- 656 1 657(1 row) 658 659step wx1: update D1 set id = id + 1; 660step c1: COMMIT; 661step c3: COMMIT; 662step c2: COMMIT; 663ERROR: could not serialize access due to read/write dependencies among transactions 664 665starting permutation: rxwy2 ry3 wx1 c2 c1 c3 666step rxwy2: update D2 set id = (select id+1 from D1); 667step ry3: select id from D2; 668id 669-- 670 1 671(1 row) 672 673step wx1: update D1 set id = id + 1; 674step c2: COMMIT; 675step c1: COMMIT; 676step c3: COMMIT; 677 678starting permutation: rxwy2 ry3 wx1 c2 c3 c1 679step rxwy2: update D2 set id = (select id+1 from D1); 680step ry3: select id from D2; 681id 682-- 683 1 684(1 row) 685 686step wx1: update D1 set id = id + 1; 687step c2: COMMIT; 688step c3: COMMIT; 689step c1: COMMIT; 690 691starting permutation: rxwy2 ry3 wx1 c3 c1 c2 692step rxwy2: update D2 set id = (select id+1 from D1); 693step ry3: select id from D2; 694id 695-- 696 1 697(1 row) 698 699step wx1: update D1 set id = id + 1; 700step c3: COMMIT; 701step c1: COMMIT; 702step c2: COMMIT; 703 704starting permutation: rxwy2 ry3 wx1 c3 c2 c1 705step rxwy2: update D2 set id = (select id+1 from D1); 706step ry3: select id from D2; 707id 708-- 709 1 710(1 row) 711 712step wx1: update D1 set id = id + 1; 713step c3: COMMIT; 714step c2: COMMIT; 715step c1: COMMIT; 716 717starting permutation: rxwy2 ry3 c2 wx1 c1 c3 718step rxwy2: update D2 set id = (select id+1 from D1); 719step ry3: select id from D2; 720id 721-- 722 1 723(1 row) 724 725step c2: COMMIT; 726step wx1: update D1 set id = id + 1; 727step c1: COMMIT; 728step c3: COMMIT; 729 730starting permutation: rxwy2 ry3 c2 wx1 c3 c1 731step rxwy2: update D2 set id = (select id+1 from D1); 732step ry3: select id from D2; 733id 734-- 735 1 736(1 row) 737 738step c2: COMMIT; 739step wx1: update D1 set id = id + 1; 740step c3: COMMIT; 741step c1: COMMIT; 742 743starting permutation: rxwy2 ry3 c2 c3 wx1 c1 744step rxwy2: update D2 set id = (select id+1 from D1); 745step ry3: select id from D2; 746id 747-- 748 1 749(1 row) 750 751step c2: COMMIT; 752step c3: COMMIT; 753step wx1: update D1 set id = id + 1; 754step c1: COMMIT; 755 756starting permutation: rxwy2 ry3 c3 wx1 c1 c2 757step rxwy2: update D2 set id = (select id+1 from D1); 758step ry3: select id from D2; 759id 760-- 761 1 762(1 row) 763 764step c3: COMMIT; 765step wx1: update D1 set id = id + 1; 766step c1: COMMIT; 767step c2: COMMIT; 768 769starting permutation: rxwy2 ry3 c3 wx1 c2 c1 770step rxwy2: update D2 set id = (select id+1 from D1); 771step ry3: select id from D2; 772id 773-- 774 1 775(1 row) 776 777step c3: COMMIT; 778step wx1: update D1 set id = id + 1; 779step c2: COMMIT; 780step c1: COMMIT; 781 782starting permutation: rxwy2 ry3 c3 c2 wx1 c1 783step rxwy2: update D2 set id = (select id+1 from D1); 784step ry3: select id from D2; 785id 786-- 787 1 788(1 row) 789 790step c3: COMMIT; 791step c2: COMMIT; 792step wx1: update D1 set id = id + 1; 793step c1: COMMIT; 794 795starting permutation: ry3 wx1 c1 rxwy2 c2 c3 796step ry3: select id from D2; 797id 798-- 799 1 800(1 row) 801 802step wx1: update D1 set id = id + 1; 803step c1: COMMIT; 804step rxwy2: update D2 set id = (select id+1 from D1); 805step c2: COMMIT; 806step c3: COMMIT; 807 808starting permutation: ry3 wx1 c1 rxwy2 c3 c2 809step ry3: select id from D2; 810id 811-- 812 1 813(1 row) 814 815step wx1: update D1 set id = id + 1; 816step c1: COMMIT; 817step rxwy2: update D2 set id = (select id+1 from D1); 818step c3: COMMIT; 819step c2: COMMIT; 820 821starting permutation: ry3 wx1 c1 c3 rxwy2 c2 822step ry3: select id from D2; 823id 824-- 825 1 826(1 row) 827 828step wx1: update D1 set id = id + 1; 829step c1: COMMIT; 830step c3: COMMIT; 831step rxwy2: update D2 set id = (select id+1 from D1); 832step c2: COMMIT; 833 834starting permutation: ry3 wx1 rxwy2 c1 c2 c3 835step ry3: select id from D2; 836id 837-- 838 1 839(1 row) 840 841step wx1: update D1 set id = id + 1; 842step rxwy2: update D2 set id = (select id+1 from D1); 843step c1: COMMIT; 844step c2: COMMIT; 845ERROR: could not serialize access due to read/write dependencies among transactions 846step c3: COMMIT; 847 848starting permutation: ry3 wx1 rxwy2 c1 c3 c2 849step ry3: select id from D2; 850id 851-- 852 1 853(1 row) 854 855step wx1: update D1 set id = id + 1; 856step rxwy2: update D2 set id = (select id+1 from D1); 857step c1: COMMIT; 858step c3: COMMIT; 859step c2: COMMIT; 860ERROR: could not serialize access due to read/write dependencies among transactions 861 862starting permutation: ry3 wx1 rxwy2 c2 c1 c3 863step ry3: select id from D2; 864id 865-- 866 1 867(1 row) 868 869step wx1: update D1 set id = id + 1; 870step rxwy2: update D2 set id = (select id+1 from D1); 871step c2: COMMIT; 872step c1: COMMIT; 873step c3: COMMIT; 874 875starting permutation: ry3 wx1 rxwy2 c2 c3 c1 876step ry3: select id from D2; 877id 878-- 879 1 880(1 row) 881 882step wx1: update D1 set id = id + 1; 883step rxwy2: update D2 set id = (select id+1 from D1); 884step c2: COMMIT; 885step c3: COMMIT; 886step c1: COMMIT; 887 888starting permutation: ry3 wx1 rxwy2 c3 c1 c2 889step ry3: select id from D2; 890id 891-- 892 1 893(1 row) 894 895step wx1: update D1 set id = id + 1; 896step rxwy2: update D2 set id = (select id+1 from D1); 897step c3: COMMIT; 898step c1: COMMIT; 899step c2: COMMIT; 900 901starting permutation: ry3 wx1 rxwy2 c3 c2 c1 902step ry3: select id from D2; 903id 904-- 905 1 906(1 row) 907 908step wx1: update D1 set id = id + 1; 909step rxwy2: update D2 set id = (select id+1 from D1); 910step c3: COMMIT; 911step c2: COMMIT; 912step c1: COMMIT; 913 914starting permutation: ry3 wx1 c3 c1 rxwy2 c2 915step ry3: select id from D2; 916id 917-- 918 1 919(1 row) 920 921step wx1: update D1 set id = id + 1; 922step c3: COMMIT; 923step c1: COMMIT; 924step rxwy2: update D2 set id = (select id+1 from D1); 925step c2: COMMIT; 926 927starting permutation: ry3 wx1 c3 rxwy2 c1 c2 928step ry3: select id from D2; 929id 930-- 931 1 932(1 row) 933 934step wx1: update D1 set id = id + 1; 935step c3: COMMIT; 936step rxwy2: update D2 set id = (select id+1 from D1); 937step c1: COMMIT; 938step c2: COMMIT; 939 940starting permutation: ry3 wx1 c3 rxwy2 c2 c1 941step ry3: select id from D2; 942id 943-- 944 1 945(1 row) 946 947step wx1: update D1 set id = id + 1; 948step c3: COMMIT; 949step rxwy2: update D2 set id = (select id+1 from D1); 950step c2: COMMIT; 951step c1: COMMIT; 952 953starting permutation: ry3 rxwy2 wx1 c1 c2 c3 954step ry3: select id from D2; 955id 956-- 957 1 958(1 row) 959 960step rxwy2: update D2 set id = (select id+1 from D1); 961step wx1: update D1 set id = id + 1; 962step c1: COMMIT; 963step c2: COMMIT; 964ERROR: could not serialize access due to read/write dependencies among transactions 965step c3: COMMIT; 966 967starting permutation: ry3 rxwy2 wx1 c1 c3 c2 968step ry3: select id from D2; 969id 970-- 971 1 972(1 row) 973 974step rxwy2: update D2 set id = (select id+1 from D1); 975step wx1: update D1 set id = id + 1; 976step c1: COMMIT; 977step c3: COMMIT; 978step c2: COMMIT; 979ERROR: could not serialize access due to read/write dependencies among transactions 980 981starting permutation: ry3 rxwy2 wx1 c2 c1 c3 982step ry3: select id from D2; 983id 984-- 985 1 986(1 row) 987 988step rxwy2: update D2 set id = (select id+1 from D1); 989step wx1: update D1 set id = id + 1; 990step c2: COMMIT; 991step c1: COMMIT; 992step c3: COMMIT; 993 994starting permutation: ry3 rxwy2 wx1 c2 c3 c1 995step ry3: select id from D2; 996id 997-- 998 1 999(1 row) 1000 1001step rxwy2: update D2 set id = (select id+1 from D1); 1002step wx1: update D1 set id = id + 1; 1003step c2: COMMIT; 1004step c3: COMMIT; 1005step c1: COMMIT; 1006 1007starting permutation: ry3 rxwy2 wx1 c3 c1 c2 1008step ry3: select id from D2; 1009id 1010-- 1011 1 1012(1 row) 1013 1014step rxwy2: update D2 set id = (select id+1 from D1); 1015step wx1: update D1 set id = id + 1; 1016step c3: COMMIT; 1017step c1: COMMIT; 1018step c2: COMMIT; 1019 1020starting permutation: ry3 rxwy2 wx1 c3 c2 c1 1021step ry3: select id from D2; 1022id 1023-- 1024 1 1025(1 row) 1026 1027step rxwy2: update D2 set id = (select id+1 from D1); 1028step wx1: update D1 set id = id + 1; 1029step c3: COMMIT; 1030step c2: COMMIT; 1031step c1: COMMIT; 1032 1033starting permutation: ry3 rxwy2 c2 wx1 c1 c3 1034step ry3: select id from D2; 1035id 1036-- 1037 1 1038(1 row) 1039 1040step rxwy2: update D2 set id = (select id+1 from D1); 1041step c2: COMMIT; 1042step wx1: update D1 set id = id + 1; 1043step c1: COMMIT; 1044step c3: COMMIT; 1045 1046starting permutation: ry3 rxwy2 c2 wx1 c3 c1 1047step ry3: select id from D2; 1048id 1049-- 1050 1 1051(1 row) 1052 1053step rxwy2: update D2 set id = (select id+1 from D1); 1054step c2: COMMIT; 1055step wx1: update D1 set id = id + 1; 1056step c3: COMMIT; 1057step c1: COMMIT; 1058 1059starting permutation: ry3 rxwy2 c2 c3 wx1 c1 1060step ry3: select id from D2; 1061id 1062-- 1063 1 1064(1 row) 1065 1066step rxwy2: update D2 set id = (select id+1 from D1); 1067step c2: COMMIT; 1068step c3: COMMIT; 1069step wx1: update D1 set id = id + 1; 1070step c1: COMMIT; 1071 1072starting permutation: ry3 rxwy2 c3 wx1 c1 c2 1073step ry3: select id from D2; 1074id 1075-- 1076 1 1077(1 row) 1078 1079step rxwy2: update D2 set id = (select id+1 from D1); 1080step c3: COMMIT; 1081step wx1: update D1 set id = id + 1; 1082step c1: COMMIT; 1083step c2: COMMIT; 1084 1085starting permutation: ry3 rxwy2 c3 wx1 c2 c1 1086step ry3: select id from D2; 1087id 1088-- 1089 1 1090(1 row) 1091 1092step rxwy2: update D2 set id = (select id+1 from D1); 1093step c3: COMMIT; 1094step wx1: update D1 set id = id + 1; 1095step c2: COMMIT; 1096step c1: COMMIT; 1097 1098starting permutation: ry3 rxwy2 c3 c2 wx1 c1 1099step ry3: select id from D2; 1100id 1101-- 1102 1 1103(1 row) 1104 1105step rxwy2: update D2 set id = (select id+1 from D1); 1106step c3: COMMIT; 1107step c2: COMMIT; 1108step wx1: update D1 set id = id + 1; 1109step c1: COMMIT; 1110 1111starting permutation: ry3 c3 wx1 c1 rxwy2 c2 1112step ry3: select id from D2; 1113id 1114-- 1115 1 1116(1 row) 1117 1118step c3: COMMIT; 1119step wx1: update D1 set id = id + 1; 1120step c1: COMMIT; 1121step rxwy2: update D2 set id = (select id+1 from D1); 1122step c2: COMMIT; 1123 1124starting permutation: ry3 c3 wx1 rxwy2 c1 c2 1125step ry3: select id from D2; 1126id 1127-- 1128 1 1129(1 row) 1130 1131step c3: COMMIT; 1132step wx1: update D1 set id = id + 1; 1133step rxwy2: update D2 set id = (select id+1 from D1); 1134step c1: COMMIT; 1135step c2: COMMIT; 1136 1137starting permutation: ry3 c3 wx1 rxwy2 c2 c1 1138step ry3: select id from D2; 1139id 1140-- 1141 1 1142(1 row) 1143 1144step c3: COMMIT; 1145step wx1: update D1 set id = id + 1; 1146step rxwy2: update D2 set id = (select id+1 from D1); 1147step c2: COMMIT; 1148step c1: COMMIT; 1149 1150starting permutation: ry3 c3 rxwy2 wx1 c1 c2 1151step ry3: select id from D2; 1152id 1153-- 1154 1 1155(1 row) 1156 1157step c3: COMMIT; 1158step rxwy2: update D2 set id = (select id+1 from D1); 1159step wx1: update D1 set id = id + 1; 1160step c1: COMMIT; 1161step c2: COMMIT; 1162 1163starting permutation: ry3 c3 rxwy2 wx1 c2 c1 1164step ry3: select id from D2; 1165id 1166-- 1167 1 1168(1 row) 1169 1170step c3: COMMIT; 1171step rxwy2: update D2 set id = (select id+1 from D1); 1172step wx1: update D1 set id = id + 1; 1173step c2: COMMIT; 1174step c1: COMMIT; 1175 1176starting permutation: ry3 c3 rxwy2 c2 wx1 c1 1177step ry3: select id from D2; 1178id 1179-- 1180 1 1181(1 row) 1182 1183step c3: COMMIT; 1184step rxwy2: update D2 set id = (select id+1 from D1); 1185step c2: COMMIT; 1186step wx1: update D1 set id = id + 1; 1187step c1: COMMIT; 1188