から




専門/H18/19

正解 Edit

3

検証 Edit

T1: l[a]; r[a,x]; x=x-8; w[a,x]; u[a]; l[b]; l[a]; r[a,x]; y=x+2; w[b,y]; u[b]; u[a];
T2: l[a]; r[a,s]; s=s+3; l[b]; w[a,s]; t=s+3; w[b,t]; u[a]; u[b];

ロック/アンロックに着目し,トランザクション内の最小単位を確認

T1-1: l[a]; r[a,x]; x=x-8; w[a,x]; u[a]; 
T1-2: l[b]; l[a]; r[a,x]; y=x+2; w[b,y]; u[b]; u[a];
T2: l[a]; r[a,s]; s=s+3; l[b]; w[a,s]; t=s+3; w[b,t]; u[a]; u[b];

実行順序

  • T1-1 → T1-2 → T2
  • T1-1 → T2 → T1-2
  • T2 → T1-1 → T1-2



トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 下位頁新規  一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2010-02-22 Mon 23:19:02 JST (3016d)