From 1399923ade152d75c3d07166d7f917351f8bbbf1 Mon Sep 17 00:00:00 2001
From: navid <navid>
Date: Mon, 15 Sep 2008 23:27:28 +0000
Subject: [PATCH] *** empty log message ***

---
 Robust/Transactions/Notes/sysgurantees.dvi | Bin 31788 -> 31984 bytes
 Robust/Transactions/Notes/sysgurantees.tex |   6 +++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Robust/Transactions/Notes/sysgurantees.dvi b/Robust/Transactions/Notes/sysgurantees.dvi
index d71f729ef7f9dd48bd1ea492fcb216b54c211cff..777cab9529808c6e46daf608ff305f9f434f3b12 100644
GIT binary patch
delta 913
zcmYk5PfXKL9LHa`I&c#silD;KnH@BeA}BcK!3?%wjHp1!5;a0;-&m8aUG};VMj~AN
zljxR}UtH=i0@08dO;nml2vNLw@SvQ$5IA#Dyuk@yyRq2g>o?!u_kF&<_imfn+F^2M
z9haUUgct}kct7@kI%n&90IsHX=8e(W)M&R&24J|EJM-&rCZll(eQxDivfA~ps2j^T
z$;UKy65UElvLGd5m}KXTspk8Yu;S};WV9;?EkUg>%)YLAUI5wGTQN6hof`EWtCbUl
zo^>VS*BqQDn8JDX#$#0ho{&^Lp-PGjEx^kn5NeG<jbadam4_teMHtR4c*f|NL_kUC
zG=-_pQfrz|;N`r1F+H5?S;y1%#jzB@B1Dv=E-3LtO0}d-ntgdinvivYCziKf_SQ!W
z3mzpE6G70UygY(U?U%jrr5Q9=o*g(8#b&hsd<l(5QZbc4*~Q8MqU6F!EbA(#IX2e<
zf}kWt$s>;dy>SpnpcN#w<W2LEynQ}mjx_4Kx)}(EE;AumJy<ufS3s*(KtN-?wjQN0
zghU+6v)&W*mT=QWuu6X%H`xVEVnIw1$s(3>vuMoxW68?cNOq>??XKm#6ez>@Yx};Z
zL%cviNAs-vqLQFIt4pLI$`jzHS$7-g!Bck~oma!!ZY`!L_*g7!c5T_2{Y=}14@%-0
z?V?x`r<nN&tszA?jr}%TnxWZ+_eugvDoUQ{e4d^`b?E3}eN<ATB|MU9!U13CB=Er_
z#!4vcg3&&|E%=BMs&y8Jn|o)tdv7z2;!ePizB|mE!S%mzLB){Y)|;o|2Kafe-P+7o
z6@yH9Glik$1GH1WZSa~U^2P@&k&%vXmi?9$KlR&DwwyKDnMQ;%Q)r{>LPs|H)O<-!
u^Chte#a~i~W32TG{-jS=tv!sioTr*?gvKRskJm9yXdC~%f6ca0{Qd!&&}S_G

delta 769
zcmZ9KPiPZC6vlUUWBMo6i_m%~t*yO?B_Rr-O$#<nQ%@e+q6I6olif*oCE1CYS)&vz
zUi46nT^@!t6+=)2!HZcCwP%kCg`Pw#B2{|P9$OFUZ2pM4w|)EV?|tukZ+9O(+e53z
z{oxf!k`TnY2cFNoI3bU{fxut{mEG~d9z`~9Kr$4RFR!>SL)TmVl{@xnNrJ-AEULiH
z&=f?5rrRGMykDx-U%9d2jn?JWvma?HYWtq{Pgta=jP7y@m@z9;s`hb%nh>^?(eK#Q
zfElJrfa?S_%rWE$)*$Iz^FDLkU_i5iMRK_Imx|4T=pU4%q*pB}<sTL!+L}_{PthEx
zG?TTskS<em&{itrh6yTW#A)K48a{uo+DEOl=BS`!bCGz`xR5xW16weKuSOf42zNza
zaQzROnrzJ%e4QiAN^=JJ)ds6(2s9%=a>NXaDi7NJEAL~fN^_cFE&`{{1WCb3$KW7L
zvqlHe*H)gS+;IF1iqx}>c|m2pfupwn{D%Zq1x_#el3)G_L&w5NavKB8C5|3zIec-}
z{?$oHgRA0nx~OdTdLi1%b`Q;#;9;U`@<6Gj0Tj_XjbPV=K;Qt^mf$eVE%Cw_Wd`P?
z8AjgVdQo^41HjKjFI=4%LGNJWQ0L$4ADC1FEtUEp?&qls2yRV9<wQ#8x*<L@=krd*
zEzdj%c$XwL2{0c)l}B&q5sb`7<>{OM6E_#uJDS?BnRBS(j+r|M?q;I$LT3#d%0}zh
oOWED_=7Cn1`a8Dbr-loK+k28EuH(~E7ixq3rEhIV<gNPi8ynj>-2eap

diff --git a/Robust/Transactions/Notes/sysgurantees.tex b/Robust/Transactions/Notes/sysgurantees.tex
index 8547fa32..6c840770 100644
--- a/Robust/Transactions/Notes/sysgurantees.tex
+++ b/Robust/Transactions/Notes/sysgurantees.tex
@@ -76,6 +76,8 @@ TransactioalFiles can be either created inside or outside $T$. The Transactional
 A Transactionalfile can be shared among any subset of the members of $T$. If shared, the offset is shared between these too. 
 
 \section{Implications for the System}
+
+\subsection{General Principles}
 Now, if $T_i$ and $T_j$ do not either modify the data the other one uses, according to Rule 4 both can commit. This means even if $T_i$ accesses $tr_k$ before $T_j$ does, but $T_j$ commits before $T_i$, given that $T_j$ has not modified the data in use by $T_i$, $T_i$ could still commit. \\
 
 
@@ -102,12 +104,14 @@ The seek operations seeks to an offste within the file descriptor regardless of
 
 Principle 3) 1- A read operation in $OP_{T_i}$ "uses" contents read and makes $T_i$ dependent on the file contents read.\\
 
-proof: Due to assumtion 1 and since the data read by this operation can be used for computation, in case the data read would change, the data and hence computations results would be different. According to Def 2 it uses the data\\
+proof: Due to assumption 1 and since the data read by this operation can be used for computation, in case the data read would change, the data and hence computations results would be different. According to Def 2 it uses the data\\
 
 Principle 4) 1- A write operation in $OP_{T_i}$ does not make $T_i$ dependent on file contents.\\   
 
 proof: The result of a write would always be the same contents thus, according to Def 2 does not count as using.\\
 
+\subsection{A Model for Offset and Data Dependeny for Operations}
+
 Assumption: Each operation has a offset status assioated with it. We call this operation.offsetstatus. Each operation has a data satus assosiated with it namely operation.datastatus\\
 
 Assumption:  An operation with Speculative offset means the offset that the operation would be perfomed at can be relocated in the commit instant. An operation with absolute offset means the value is absolute and does not depend on any other operation OR the operation only specifies a specific value for the offset for the next operation (i.e. seek). An operation with defenite offset means the offset value that operation has to be carried on from, can not be relocated, but still could have changed before commit instant by other committed transaction and not being valid at commit instant\\
-- 
2.34.1