Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/C/Postgres/src/test/isolation/expected/ (Postgres Database Version 18.4^©) Datei vom 11.4.2026 mit Größe 4 kB

Quelle matview-write-skew.out Sprache: unbekannt

Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Parsed test spec with 2 sessions

starting permutation: s1_begin s2_begin s1_refresh s2_read s2_insert s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s2_insert: INSERT INTO orders VALUES ('2022-04-02', 'orange', 15);
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s1_refresh s2_read s2_update s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s2_update: UPDATE orders SET num = num + 1;
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s2_read s1_refresh s2_insert s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_insert: INSERT INTO orders VALUES ('2022-04-02', 'orange', 15);
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s2_read s1_refresh s2_update s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_update: UPDATE orders SET num = num + 1;
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s2_read s2_insert s1_refresh s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s2_insert: INSERT INTO orders VALUES ('2022-04-02', 'orange', 15);
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s2_read s2_update s1_refresh s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s2_update: UPDATE orders SET num = num + 1;
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s1_refresh s2_insert s2_read s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_insert: INSERT INTO orders VALUES ('2022-04-02', 'orange', 15);
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions

starting permutation: s1_begin s2_begin s1_refresh s2_update s2_read s1_commit s2_commit
step s1_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2_begin: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1_refresh: REFRESH MATERIALIZED VIEW CONCURRENTLY order_summary;
step s2_update: UPDATE orders SET num = num + 1;
step s2_read: SELECT max(date) FROM order_summary;
       max
----------
04-01-2022
(1 row)

step s1_commit: COMMIT;
step s2_commit: COMMIT;
ERROR:  could not serialize access due to read/write dependencies among transactions