# 同じ表(単純なもの)に同時に2つのinsertを行う

Begin;
BeginTimeSpan;
Initialize;
EndTimeSpan;

InitializeSession "";
Command "create database DB0040";
TerminateSession;
InitializeSession "DB0040";
Command "create table T (C int)";
TerminateSession;

CreateThread "th1";
CreateThread "th2";
JoinThread "th1";
JoinThread "th2";

InitializeSession "DB0040";
#Command "drop table T";
TerminateSession;
#InitializeSession "";
#Command "drop database DB0040";
#TerminateSession;

# (障害回復を試すためTerminateしない)
End;

th1
{
InitializeSession 1 "DB0040";
Command 1 "select * from T";
Command 1 "insert into T (C) values (111)"; 
Command 1 "select * from T";
TerminateSession 1;
}

th2
{
InitializeSession 2 "DB0040";
Command 2 "select * from T";
Command 2 "insert into T (C) values (222)"; 
Command 2 "select * from T";
TerminateSession 2;
}