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 aborted-keyrevoke.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: s1s s1u s1r s1l s1c s2l s2c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;

starting permutation: s1s s1u s1r s1l s2l s1c s2c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;
step s2c: COMMIT;

starting permutation: s1s s1u s1r s1l s2l s2c s1c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1c: COMMIT;

starting permutation: s1s s1u s1r s2l s1l s1c s2c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;
step s2c: COMMIT;

starting permutation: s1s s1u s1r s2l s1l s2c s1c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1c: COMMIT;

starting permutation: s1s s1u s1r s2l s2c s1l s1c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s1s s1u s2l s1r s1l s1c s2c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
step s1r: ROLLBACK TO f;
step s2l: <... completed>
key|value
---+-----
  1|    1
(1 row)

step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;
step s2c: COMMIT;

starting permutation: s1s s1u s2l s1r s1l s2c s1c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
step s1r: ROLLBACK TO f;
step s2l: <... completed>
key|value
---+-----
  1|    1
(1 row)

step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1c: COMMIT;

starting permutation: s1s s1u s2l s1r s2c s1l s1c
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s2l: SELECT * FROM foo FOR KEY SHARE; <waiting ...>
step s1r: ROLLBACK TO f;
step s2l: <... completed>
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s1s s2l s1u s2c s1r s1l s1c
step s1s: SAVEPOINT f;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1u: UPDATE foo SET key = 2; <waiting ...>
step s2c: COMMIT;
step s1u: <... completed>
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s1s s2l s2c s1u s1r s1l s1c
step s1s: SAVEPOINT f;
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s2l s1s s1u s2c s1r s1l s1c
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2; <waiting ...>
step s2c: COMMIT;
step s1u: <... completed>
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s2l s1s s2c s1u s1r s1l s1c
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1s: SAVEPOINT f;
step s2c: COMMIT;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;

starting permutation: s2l s2c s1s s1u s1r s1l s1c
step s2l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s2c: COMMIT;
step s1s: SAVEPOINT f;
step s1u: UPDATE foo SET key = 2;
step s1r: ROLLBACK TO f;
step s1l: SELECT * FROM foo FOR KEY SHARE;
key|value
---+-----
  1|    1
(1 row)

step s1c: COMMIT;