Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/MariaDB/mysql-test/suite/versioning/r/   (MariaDB Server Version 8.1-8.4©)  Datei vom 1.9.2026 mit Größe 3 kB image not shown  

Quelle  commit_id.result   Sprache: Lisp

 

create table t1(
id int auto_increment primary key,
sys_trx_start bigint unsigned as row start invisible,
sys_trx_end bigint unsigned as row end invisible,
period for system_time (sys_trx_start, sys_trx_end)
)
with system versioning
engine innodb;
insert into t1 values ();
set @ts0= now(6);
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx0;
select transaction_id = @tx0 from mysql.transaction_registry
order by transaction_id desc limit 1;
transaction_id = @tx0
1
set @ts1= now(6);
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx1;
select transaction_id = @tx1 from mysql.transaction_registry
order by transaction_id desc limit 1;
transaction_id = @tx1
1
set @ts2= now(6);
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx2;
select transaction_id = @tx2 from mysql.transaction_registry
order by transaction_id desc limit 1;
transaction_id = @tx2
1
set @ts3= now(6);
select
trt_trx_id(@ts0) < @tx0 as A,
trt_trx_id(@ts0, true) = @tx0 as B,
trt_trx_id(@ts1) = @tx0 as C,
trt_trx_id(@ts1, true) = @tx1 as D,
trt_trx_id(@ts2) = @tx1 as E,
trt_trx_id(@ts2, true) = @tx2 as F,
trt_trx_id(@ts3) = @tx2 as G,
trt_trx_id(@ts3, true) is null as H;
A B C D E F G H
1 1 1 1 1 1 1 1
select
trt_commit_id(@ts0) < @tx0 as A,
trt_commit_id(@ts0, true) = trt_commit_id(null, @tx0) as B,
trt_commit_id(@ts1) = trt_commit_id(null, @tx0) as C,
trt_commit_id(@ts1, true) = trt_commit_id(null, @tx1) as D,
trt_commit_id(@ts2) = trt_commit_id(null, @tx1) as E,
trt_commit_id(@ts2, true) = trt_commit_id(null, @tx2) as F,
trt_commit_id(@ts3) = trt_commit_id(null, @tx2) as G,
trt_commit_id(@ts3, true) is null as H;
A B C D E F G H
1 1 1 1 1 1 1 1
select
trt_trx_sees(@tx1, @tx0) as A,
not trt_trx_sees(@tx0, @tx1) as B,
trt_trx_sees_eq(@tx1, @tx1) as C,
not trt_trx_sees(@tx1, @tx1) as D,
trt_trx_sees(@tx2, 0) as E,
trt_trx_sees(-1, @tx2) as F;
A B C D E F
1 1 1 1 1 1
select trt_trx_sees(0, @tx2);
trt_trx_sees(0, @tx2)
0
set transaction isolation level read uncommitted;
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx3;
select isolation_level = 'READ-UNCOMMITTED' from mysql.transaction_registry where transaction_id = @tx3;
isolation_level = 'READ-UNCOMMITTED'
1
set transaction isolation level read committed;
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx4;
select isolation_level = 'READ-COMMITTED' from mysql.transaction_registry where transaction_id = @tx4;
isolation_level = 'READ-COMMITTED'
1
set transaction isolation level serializable;
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx5;
select isolation_level = 'SERIALIZABLE' from mysql.transaction_registry where transaction_id = @tx5;
isolation_level = 'SERIALIZABLE'
1
set transaction isolation level repeatable read;
insert into t1 values ();
select sys_trx_start from t1 where id = last_insert_id() into @tx6;
select isolation_level = 'REPEATABLE-READ' from mysql.transaction_registry where transaction_id = @tx6;
isolation_level = 'REPEATABLE-READ'
1
drop table t1;
call verify_trt;
No A B C D
1 1 1 1 1
2 1 1 1 1
3 1 1 1 1
4 1 1 1 1
5 1 1 1 1
6 1 1 1 1
7 1 1 1 1
8 1 1 1 1

Messung V0.5 in Prozent
C=63 H=100 G=83

¤ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet am  2026-10-08) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.