From f6848865ba0f28d397d9502e1afe66c7e6cffadc Mon Sep 17 00:00:00 2001
From: navid <navid>
Date: Mon, 15 Sep 2008 21:51:20 +0000
Subject: [PATCH] *** empty log message ***

---
 Robust/Transactions/Notes/sysgurantees.dvi | Bin 29464 -> 29576 bytes
 Robust/Transactions/Notes/sysgurantees.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/Transactions/Notes/sysgurantees.dvi b/Robust/Transactions/Notes/sysgurantees.dvi
index 5132f879a1e700c7ea9a2b90ccbde3c2329a73aa..fb98f11c0c1d999e31f4d6c5b124c6866451610f 100644
GIT binary patch
delta 165
zcmbR7jIrZ6;{*+MQ^Rfs1_s8-jxs76gG&qRr!l*pPRvQqFUl;*$eo;=pO=<jlv_Nx
zB!4!u>zR^_)X8b3dC4W2`FWGGN{dS-r=%7q7iA_*@V%FsqBD^>QZ_L!WkyE+giVU&
zlM{1tCWCYomFA=t_bu$5sK>xiP?VXMoLK-An8v&;EwLzda(Zb|VjfU^Noq=pUf<?x
Ng;tF0WlZ-$004HmMN<F(

delta 52
zcmeBp&N$;4;{*+M6O(QR1_s8-jxs76gG&o}Co(TfOUy~nFUl;*$ldH#WX;II%5)zL
E0M|$q1poj5

diff --git a/Robust/Transactions/Notes/sysgurantees.tex b/Robust/Transactions/Notes/sysgurantees.tex
index 63a1c75f..b7279752 100644
--- a/Robust/Transactions/Notes/sysgurantees.tex
+++ b/Robust/Transactions/Notes/sysgurantees.tex
@@ -196,7 +196,7 @@ Def: We define a function $g(offsetstat_1, offsettat_2, ..., offsetstat_{n-1}, o
 \section{Implementation Overview}
 
 %proof: A write operation writes to the most recently commited offset (unless imposed otherwise by a seek or a prior read or a following read as shown above) of the file descriptor.  According to Def 2, it does not "use" any data. Since the write does not happen till commit instant, the offset chosen during the execution of transaction can be speculative, and the actual offset to be written to, is determined at the sommit instant, when the most recently commited offset is known. 
-Now we will describe the components of our system and demosntrate how the algorithm 
+Now we will describe the components of our system and demosntrate how the algorithm conforms to the function just described, and how all the rules principles are gurantedd. 
 
 
 
-- 
2.34.1