tombo2-progress’s diary

できるだけ毎日1時間を切り取ってここに晒す。誤字脱字気にしない。日本語が崩壊するのも気にしない。最終的にまとめて本ブログに書く

2018-10-24から1日間の記事一覧

Transactional Information Systems続き(chap 3.3)

3.3 Syntax of Histories and Schedules この節ではschedulerがオンラインで正しいスケジューリングをどう判断するかを議論するにあたって、スケジュールの記法を明確にする。 P65下から9行目, Here we try to respect ... のrespectが訳せない。 まず、トラ…