This is TeX, C Version 3.141 (format=lplain 92.9.24)  3 FEB 1995 05:56
**diss
(diss.tex
LaTeX Version 2.09 <25 March 1992>
(/usr/local/lib/tex/macros/report.sty
Standard Document Style `report' <14 Jan 92>.
(/usr/local/lib/tex/macros/rep12.sty)
\descriptionmargin=\dimen99
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
 (/usr/local/lib/tex/macros/titlepag.sty
Document Style Option `titlepage' -- Released 16 June 1991.
)) (/usr/local/lib/tex/macros/newlfont.sty
Style-Option: `newlfont' v1.4b <92/08/20> (FMi and RmS)
English Documentation          <92/08/20> (FMi and RmS)
) (/usr/local/lib/tex/macros/times.sty
File: `times.sty' PSNFSS 2.3 <12.04.92> (SPQR)
(/usr/local/lib/tex/macros/psnfss.sup
psnfss.sup, PSNFSS 2.2.5<18.8.92> (SPQR)
PostScript additions to NFSS
\driver@setup=\count88
)
\aadimen=\dimen100
\aadimen=\dimen101
\aadimen=\dimen102
) (/usr/bakken/from-uni/tex/inputs/az.sty)
(/usr/local/lib/tex/macros/epsfig.sty
Document style option `epsfig', v1.6 <15 May 92> (edited by SPQR)
(/usr/local/lib/tex/macros/epsf.tex
\epsffilein=\read1
\epsfxsize=\dimen103
\epsfysize=\dimen104
\epsftsize=\dimen105
\epsfrsize=\dimen106
\epsftmp=\dimen107
\pspoints=\dimen108
)
\p@intvaluex=\dimen109
\p@intvaluey=\dimen110
)
(/usr/bakken/from-uni/tex/inputs/progenv.sty)
(/usr/bakken/from-uni/tex/inputs/cprog.sty
\cprogbaselineskip=\dimen111
\cprogindent=\dimen112
\cprogwidth=\dimen113
\beforecprogskip=\skip41
\aftercprogskip=\skip42
\cprogunclosedstr=\toks14
)
(diss.aux (macros.aux) (ch1.aux) (ch2.aux) (ch3.aux) (ch4.aux) (ch5.aux) (ch6.a
ux) (appenda.aux) (appendb.aux) (appendc.aux) (appendd.aux) (appende.aux) (appe
ndf.aux) (appendg.aux) (appendh.aux)) [1


] (macros.tex) (statement.tex) [3



] (acknowledgement.tex) (dedication.tex [4

] [5] [6]) (diss.toc [7

] [8] [9])
\tf@toc=\write3
[10] (diss.lof [11


])
\tf@lof=\write4
[12] (diss.lot)
\tf@lot=\write5
[13


] (diss.lof)
\tf@lof=\write6
(abstract.tex) [14


] (ch1.tex
CHAPTER 1.
[15


] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]) [26] (ch2.tex
CHAPTER 2.
[27



] [28] [29] [30] [31] [32] [33] [34] [35]
<sma.ps>
[36] [37]) [38] [39] (ch3.tex
CHAPTER 3.
[40



] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [5
6] [57] [58] [59] [60] [61]) [62] (ch4.tex
CHAPTER 4.
[63



] [64] [65] [66] [67]
Overfull \hbox (5.60745pt too wide) in paragraph at lines 325--369
 []$ 

\hbox(153.03497+147.03497)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\vbox(153.03497+147.03497)x432.0
..\hbox(8.39996+3.60004)x115.0765
...\hbox(0.0+0.0)x0.0 []
...\glue 0.0
...\hbox(8.39996+3.60004)x115.0765 []
..\glue 4.37
..\glue(\baselineskip) 0.0
..\hbox(8.39996+3.60004)x198.0
...\glue 18.0
...\hbox(8.39996+3.60004)x180.0 []
..\glue 4.37
..etc.
.\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[68] [69] [70] [71] [72] [73] [74]
Overfull \hbox (8.96098pt too wide) in paragraph at lines 921--955
 []$ 

\hbox(109.92499+103.92499)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\vbox(109.92499+103.92499)x435.35353
..\hbox(8.39996+3.60004)x213.80962
...\hbox(0.0+0.0)x0.0 []
...\glue 0.0
...\hbox(8.39996+3.60004)x213.80962 []
..\glue 4.37
..\glue(\baselineskip) 0.0
..\hbox(8.39996+3.60004)x42.0
...\glue 18.0
...\hbox(8.39996+3.60004)x24.0 []
..\glue 4.37
..etc.
.\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[75] [76] [77] [78] [79] [80] [81]
<tree-barrier.ps>
[82]
Overfull \hbox (45.32777pt too wide) in paragraph at lines 1373--1431
 []$ 

\hbox(207.03497+201.03497)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\vbox(207.03497+201.03497)x471.72032
..\hbox(8.39996+3.60004)x104.03133
...\hbox(0.0+0.0)x0.0 []
...\glue 0.0
...\hbox(8.39996+3.60004)x104.03133 []
..\glue 4.37
..\glue(\baselineskip) 0.0
..\hbox(8.39996+3.60004)x210.0
...\glue 18.0
...\hbox(8.39996+3.60004)x192.0 []
..\glue(\baselineskip) 0.0
..etc.
.\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[83] [84]
Overfull \hbox (45.32777pt too wide) in paragraph at lines 1464--1511
 []$ 

\hbox(185.77496+179.77496)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\vbox(185.77496+179.77496)x471.72032
..\hbox(8.39996+3.60004)x124.15077
...\hbox(0.0+0.0)x0.0 []
...\glue 0.0
...\hbox(8.39996+3.60004)x124.15077 []
..\glue 4.37
..\glue(\baselineskip) 0.0
..\hbox(8.39996+3.60004)x224.66647
...\glue 18.0
...\hbox(8.39996+3.60004)x206.66647 []
..\glue 4.37
..etc.
.\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[85] [86]
Overfull \hbox (45.32777pt too wide) in paragraph at lines 1641--1700
 []$ 

\hbox(191.77496+185.77496)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\vbox(191.77496+185.77496)x471.72032
..\hbox(8.39996+3.60004)x100.68132
...\hbox(0.0+0.0)x0.0 []
...\glue 0.0
...\hbox(8.39996+3.60004)x100.68132 []
..\glue 4.37
..\glue(\baselineskip) 0.0
..\hbox(8.39996+3.60004)x120.0
...\glue 18.0
...\hbox(8.39996+3.60004)x102.0 []
..\glue(\baselineskip) 0.0
..etc.
.\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[87] [88] [89] [90] [91] [92] [93] [94]) [95] (ch5.tex
CHAPTER 5.
[96



]
<impl_big_pic.ps>
[97] [98]
<tuple_eg.ps>
[99]
<blocked_eg.ps>
[100]
<ft-lcc.ps>
[101] [102] [103] [104]
Overfull \hbox (5.50389pt too wide) in paragraph at lines 491--502
[] []\times/m/n/12 An op-code (e.g., \times/bx/n/12 PLUS\times/m/n/12 ($\cmm/m/
it/12 count$\times/m/n/12 ,1)) whose pa-ram-e-ters' val-ues are all ei-ther Cas
es 4 or 6,

\hbox(8.10599+2.592)x397.01785, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(8.10599+0.162)x0.0
..\glue 0.0
..\glue -23.49976
..\glue -5.87494
..\hbox(8.10599+0.162)x23.49976, glue set 23.49976fil
...\glue 0.0 plus 1.0fil minus 1.0fil
...\hbox(8.10599+0.162)x0.0, glue set - 9.0fil []
..\glue 5.87494
.\penalty 0
.\times/m/n/12 A
.etc.

(/r/bas/home/bakken/from-uni/examples/count-outer-hunk.c) (/r/bas/home/bakken/f
rom-uni/examples/count-inner-hunk.c) [105] [106] [107]
<impl_flow.ps>

Overfull \hbox (22.81207pt too wide) in paragraph at lines 617--618
 [][] 

\hbox(220.4237+0.0)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\hbox(0.0+0.0)x0.0
.\hbox(220.4237+0.0)x449.20462
..\vbox(220.4237+0.0)x449.20462
...\vbox(220.4237+0.0)x449.20462, glue set 220.4237fil []
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [
121] [122]
<nonfull.ps>

Overfull \hbox (11.70921pt too wide) in paragraph at lines 1666--1667
 [][] 

\hbox(144.54+0.0)x426.39255
.\glue(\leftskip) 0.0 plus 1.0fil
.\hbox(0.0+0.0)x0.0
.\hbox(144.54+0.0)x438.10176
..\vbox(144.54+0.0)x438.10176
...\vbox(144.54+0.0)x438.10176, glue set 144.54fil []
.\penalty 10000
.\glue(\parfillskip) 0.0
.etc.

[123] [124] [125]) [126] (ch6.tex
CHAPTER 6.
[127



] [128] [129] [130]) [131] (appenda.tex
APPENDIX A.
) [132



] (appendb.tex
APPENDIX B.
(/r/bas/home/bakken/from-uni/examples/replicated_server.c [133



] [134] [135])) [136] (appendc.tex
APPENDIX C.
(/r/bas/home/bakken/from-uni/examples/recoverable_server.c [137



]
Overfull \hbox (4.7629pt too wide) in paragraph at lines 56--56
[]        \times/m/n/11 out(TSmain, SERVER[]REGISTRY, MY[]SERVICE, server[]lpid
, INI-TIAL[]SERVER[]HOST);| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.etc.

[138] [139] [140]
Overfull \hbox (3.80531pt too wide) in paragraph at lines 197--197
[]            $\cmm/m/it/11 <$ \times/m/n/11 in(TSmain, IN[]PROGRESS, MY[]SERVI
CE, ?[]int, SUM[]CMD, cmd, ?[]int, ?[]int, ?[]int) =$\cmm/m/it/11 >$| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.etc.

[141]
Overfull \hbox (8.24472pt too wide) in paragraph at lines 213--213
[]    \times/m/n/11 int failed[]host, host, server[]lpid, client[]lpid, my[]hos
t = ftl[]my[]host(), rein-car-nate, x, a, b, c, cmd;| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.etc.


Overfull \hbox (11.66989pt too wide) in paragraph at lines 234--234
[]          \times/m/n/11 inp(TSmain, IN[]PROGRESS, MY[]SERVICE, ?[]client[]lpi
d, SUM[]CMD, ?[]cmd, ?[]a, ?[]b, ?[]c) =$\cmm/m/it/11 >$| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.\glue(\spaceskip) 2.73749
.etc.

)) [142] (appendd.tex
APPENDIX D.
(/r/bas/home/bakken/from-uni/examples/transaction_mgr.h) [143



] (/r/bas/home/bakken/from-uni/examples/transaction_mgr.c [144] [145] [146] [14
7] [148] [149] [150]) [151] (/r/bas/home/bakken/from-uni/examples/transaction_u
ser.c [152] [153] [154]) [155] (/r/bas/home/bakken/from-uni/examples/transactio
n_client.c [156])) [157] (appende.tex
APPENDIX E.
(/r/bas/home/bakken/from-uni/examples/bag_of_tasks.c [158



] [159] [160])) [161] (appendf.tex
APPENDIX F.
(/r/bas/home/bakken/from-uni/examples/divide.c [162



] [163] [164] [165])) [166] (appendg.tex
APPENDIX G.
(/r/bas/home/bakken/from-uni/examples/barrier.c [167



] [168] [169] [170])) [171] (appendh.tex
APPENDIX H.
(/r/bas/home/bakken/from-uni/dissertation/ftlinda_defns.h [172



] [173]
Overfull \hbox (1.89403pt too wide) in paragraph at lines 80--80
[] $\cmsy/m/n/11 ^^C$ \times/m/sl/11 (P[]FORMAL[]VAL be-low) will not have thei
r val-ues known un-til the re-quest has been received| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\mathon
.\cmsy/m/n/11 ^^C
.\mathoff
.etc.

[174]
Overfull \hbox (4.92717pt too wide) in paragraph at lines 104--104
[]\times/m/n/11 typedef enum $\cmsy/m/n/11 f$    \times/m/n/11 OP[]IN, OP[]INP,
 OP[]RD, OP[]RDP, OP[]MOVE, OP[]COPY, OP[]OUT$\cmsy/m/n/11 g$ \times/m/n/11 op-
type[]t;| 

\hbox(8.5679+3.672)x426.39255
.\hbox(0.0+0.0)x0.0
.\times/m/n/11 t
.\times/m/n/11 y
.\times/m/n/11 p
.\times/m/n/11 e
.etc.

[175]
Overfull \hbox (5.4417pt too wide) in paragraph at lines 138--138
[] $\cmsy/m/n/11 ^^C$ \times/m/sl/11 an out op they al-lo-cate an op with enoug
h room at the end for o[]acutal[] to fit all the ac-tual data.

\hbox(7.39671+2.36519)x426.39255
.\hbox(0.0+0.0)x0.0
.\glue(\spaceskip) 2.73749
.\mathon
.\cmsy/m/n/11 ^^C
.\mathoff
.etc.

)) [176] (diss.bbl [177


] [178]
Underfull \hbox (badness 1270) in paragraph at lines 176--180
[] []\times/m/n/12 Nicholas Car-riero, David Gel-ern-ter, David Kamin-sky, and 
Jef-fery

\hbox(8.10599+2.592)x358.5256, glue set 2.33429
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(8.10599+1.866)x0.0
..\glue 0.0
..\glue -61.992
..\glue -5.87494
..\hbox(8.10599+1.866)x61.992, glue set 5.34fill
...\glue 0.0 plus 1.0fil
...\times/m/n/12 [
...\times/m/n/12 C
...\times/m/n/12 G
...\times/m/n/12 K
...etc.
..\glue 5.87494
.\penalty 0
.\times/m/n/12 N
.etc.

[179] [180]
Underfull \hbox (badness 2556) in paragraph at lines 322--328
[] []\times/m/n/12 Karpjoo Jeong and Den-nis Shasha.  PLinda 2.0: A trans-ac-

\hbox(8.10599+2.592)x358.5256, glue set 2.94637
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(8.10599+1.866)x0.0
..\glue 0.0
..\glue -61.992
..\glue -5.87494
..\hbox(8.10599+1.866)x61.992, glue set 30.66fill
...\glue 0.0 plus 1.0fil
...\times/m/n/12 [
...\times/m/n/12 J
...\times/m/n/12 S
...\times/m/n/12 9
...etc.
..\glue 5.87494
.\penalty 0
.\times/m/n/12 K
.etc.

[181] [182] [183] [184]) [185] (diss.aux (macros.aux) (ch1.aux) (ch2.aux) (ch3.
aux) (ch4.aux) (ch5.aux) (ch6.aux) (appenda.aux) (appendb.aux) (appendc.aux) (a
ppendd.aux) (appende.aux) (appendf.aux) (appendg.aux) (appendh.aux)) ) 
Here is how much of TeX's memory you used:
 1256 strings out of 11801
 16740 string characters out of 80740
 57956 words of memory out of 262141
 2965 multiletter control sequences out of 9500
 25602 words of font info for 88 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 20i,11n,22p,367b,419s stack positions out of 300i,40n,60p,3000b,4000s

Output written on diss.dvi (184 pages, 457828 bytes).