%!PS-Adobe-3.0
%%Creator: Windows PSCRIPT
%%Title: Microsoft Word - DETERM.NIS
%%BoundingBox: 18 19 593 774
%%DocumentNeededResources: (atend)
%%DocumentSuppliedResources: (atend)
%%Pages: (atend)
%%BeginResource: procset Win35Dict 3 1
/Win35Dict 290 dict def Win35Dict begin/bd{bind def}bind def/in{72
mul}bd/ed{exch def}bd/ld{load def}bd/tr/translate ld/gs/gsave ld/gr
/grestore ld/M/moveto ld/L/lineto ld/rmt/rmoveto ld/rlt/rlineto ld
/rct/rcurveto ld/st/stroke ld/n/newpath ld/sm/setmatrix ld/cm/currentmatrix
ld/cp/closepath ld/ARC/arcn ld/TR{65536 div}bd/lj/setlinejoin ld/lc
/setlinecap ld/ml/setmiterlimit ld/sl/setlinewidth ld/scignore false
def/sc{scignore{pop pop pop}{0 index 2 index eq 2 index 4 index eq
and{pop pop 255 div setgray}{3{255 div 3 1 roll}repeat setrgbcolor}ifelse}ifelse}bd
/FC{bR bG bB sc}bd/fC{/bB ed/bG ed/bR ed}bd/HC{hR hG hB sc}bd/hC{
/hB ed/hG ed/hR ed}bd/PC{pR pG pB sc}bd/pC{/pB ed/pG ed/pR ed}bd/sM
matrix def/PenW 1 def/iPen 5 def/mxF matrix def/mxE matrix def/mxUE
matrix def/mxUF matrix def/fBE false def/iDevRes 72 0 matrix defaultmatrix
dtransform dup mul exch dup mul add sqrt def/fPP false def/SS{fPP{
/SV save def}{gs}ifelse}bd/RS{fPP{SV restore}{gr}ifelse}bd/EJ{gsave
showpage grestore}bd/#C{userdict begin/#copies ed end}bd/FEbuf 2 string
def/FEglyph(G  )def/FE{1 exch{dup 16 FEbuf cvrs FEglyph exch 1 exch
putinterval 1 index exch FEglyph cvn put}for}bd/SM{/iRes ed/cyP ed
/cxPg ed/cyM ed/cxM ed 72 100 div dup scale dup 0 ne{90 eq{cyM exch
0 eq{cxM exch tr -90 rotate -1 1 scale}{cxM cxPg add exch tr +90 rotate}ifelse}{cyP
cyM sub exch 0 ne{cxM exch tr -90 rotate}{cxM cxPg add exch tr -90
rotate 1 -1 scale}ifelse}ifelse}{pop cyP cyM sub exch 0 ne{cxM cxPg
add exch tr 180 rotate}{cxM exch tr 1 -1 scale}ifelse}ifelse 100 iRes
div dup scale 0 0 transform .25 add round .25 sub exch .25 add round
.25 sub exch itransform translate}bd/SJ{1 index 0 eq{pop pop/fBE false
def}{1 index/Break ed div/dxBreak ed/fBE true def}ifelse}bd/ANSIVec[
16#0/grave 16#1/acute 16#2/circumflex 16#3/tilde 16#4/macron 16#5/breve
16#6/dotaccent 16#7/dieresis 16#8/ring 16#9/cedilla 16#A/hungarumlaut
16#B/ogonek 16#C/caron 16#D/dotlessi 16#27/quotesingle 16#60/grave
16#7C/bar 16#82/quotesinglbase 16#83/florin 16#84/quotedblbase 16#85
/ellipsis 16#86/dagger 16#87/daggerdbl 16#88/circumflex 16#89/perthousand
16#8A/Scaron 16#8B/guilsinglleft 16#8C/OE 16#91/quoteleft 16#92/quoteright
16#93/quotedblleft 16#94/quotedblright 16#95/bullet 16#96/endash 16#97
/emdash 16#98/tilde 16#99/trademark 16#9A/scaron 16#9B/guilsinglright
16#9C/oe 16#9F/Ydieresis 16#A0/space 16#A1/exclamdown 16#A4/currency
16#A5/yen 16#A6/brokenbar 16#A7/section 16#A8/dieresis 16#A9/copyright
16#AA/ordfeminine 16#AB/guillemotleft 16#AC/logicalnot 16#AD/hyphen
16#AE/registered 16#AF/macron 16#B0/degree 16#B1/plusminus 16#B2/twosuperior
16#B3/threesuperior 16#B4/acute 16#B5/mu 16#B6/paragraph 16#B7/periodcentered
16#B8/cedilla 16#B9/onesuperior 16#BA/ordmasculine 16#BB/guillemotright
16#BC/onequarter 16#BD/onehalf 16#BE/threequarters 16#BF/questiondown
16#C0/Agrave 16#C1/Aacute 16#C2/Acircumflex 16#C3/Atilde 16#C4/Adieresis
16#C5/Aring 16#C6/AE 16#C7/Ccedilla 16#C8/Egrave 16#C9/Eacute 16#CA
/Ecircumflex 16#CB/Edieresis 16#CC/Igrave 16#CD/Iacute 16#CE/Icircumflex
16#CF/Idieresis 16#D0/Eth 16#D1/Ntilde 16#D2/Ograve 16#D3/Oacute 16#D4
/Ocircumflex 16#D5/Otilde 16#D6/Odieresis 16#D7/multiply 16#D8/Oslash
16#D9/Ugrave 16#DA/Uacute 16#DB/Ucircumflex 16#DC/Udieresis 16#DD/Yacute
16#DE/Thorn 16#DF/germandbls 16#E0/agrave 16#E1/aacute 16#E2/acircumflex
16#E3/atilde 16#E4/adieresis 16#E5/aring 16#E6/ae 16#E7/ccedilla 16#E8
/egrave 16#E9/eacute 16#EA/ecircumflex 16#EB/edieresis 16#EC/igrave
16#ED/iacute 16#EE/icircumflex 16#EF/idieresis 16#F0/eth 16#F1/ntilde
16#F2/ograve 16#F3/oacute 16#F4/ocircumflex 16#F5/otilde 16#F6/odieresis
16#F7/divide 16#F8/oslash 16#F9/ugrave 16#FA/uacute 16#FB/ucircumflex
16#FC/udieresis 16#FD/yacute 16#FE/thorn 16#FF/ydieresis ] def/reencdict
12 dict def/IsChar{basefontdict/CharStrings get exch known}bd/MapCh{dup
IsChar not{pop/bullet}if newfont/Encoding get 3 1 roll put}bd/MapDegree{16#b0
/degree IsChar{/degree}{/ring}ifelse MapCh}bd/MapBB{16#a6/brokenbar
IsChar{/brokenbar}{/bar}ifelse MapCh}bd/ANSIFont{reencdict begin/newfontname
ed/basefontname ed FontDirectory newfontname known not{/basefontdict
basefontname findfont def/newfont basefontdict maxlength dict def basefontdict{exch
dup/FID ne{dup/Encoding eq{exch dup length array copy newfont 3 1 roll
put}{exch newfont 3 1 roll put}ifelse}{pop pop}ifelse}forall newfont
/FontName newfontname put 127 1 159{newfont/Encoding get exch/bullet
put}for ANSIVec aload pop ANSIVec length 2 idiv{MapCh}repeat MapDegree
MapBB newfontname newfont definefont pop}if newfontname end}bd/SB{FC
/ULlen ed/str ed str length fBE not{dup 1 gt{1 sub}if}if/cbStr ed
/dxGdi ed/y0 ed/x0 ed str stringwidth dup 0 ne{/y1 ed/x1 ed y1 y1
mul x1 x1 mul add sqrt dxGdi exch div 1 sub dup x1 mul cbStr div exch
y1 mul cbStr div}{exch abs neg dxGdi add cbStr div exch}ifelse/dyExtra
ed/dxExtra ed x0 y0 M fBE{dxBreak 0 BCh dxExtra dyExtra str awidthshow}{dxExtra
dyExtra str ashow}ifelse fUL{x0 y0 M dxUL dyUL rmt ULlen fBE{Break
add}if 0 mxUE transform gs rlt cyUL sl [] 0 setdash st gr}if fSO{x0
y0 M dxSO dySO rmt ULlen fBE{Break add}if 0 mxUE transform gs rlt cyUL
sl [] 0 setdash st gr}if n/fBE false def}bd/font{/name ed/Ascent ed
0 ne/fT3 ed 0 ne/fSO ed 0 ne/fUL ed/Sy ed/Sx ed 10.0 div/ori ed -10.0
div/esc ed/BCh ed name findfont/xAscent 0 def/yAscent Ascent def/ULesc
esc def ULesc mxUE rotate pop fT3{/esc 0 def xAscent yAscent mxUE transform
/yAscent ed/xAscent ed}if [Sx 0 0 Sy neg xAscent yAscent] esc mxE
rotate mxF concatmatrix makefont setfont [Sx 0 0 Sy neg 0 Ascent] mxUE
mxUF concatmatrix pop fUL{currentfont dup/FontInfo get/UnderlinePosition
known not{pop/Courier findfont}if/FontInfo get/UnderlinePosition get
1000 div 0 exch mxUF transform/dyUL ed/dxUL ed}if fSO{0 .3 mxUF transform
/dySO ed/dxSO ed}if fUL fSO or{currentfont dup/FontInfo get/UnderlineThickness
known not{pop/Courier findfont}if/FontInfo get/UnderlineThickness get
1000 div Sy mul/cyUL ed}if}bd/min{2 copy gt{exch}if pop}bd/max{2 copy
lt{exch}if pop}bd/CP{/ft ed{{ft 0 eq{clip}{eoclip}ifelse}stopped{currentflat
1 add setflat}{exit}ifelse}loop}bd/patfont 10 dict def patfont begin
/FontType 3 def/FontMatrix [1 0 0 -1 0 0] def/FontBBox [0 0 16 16]
def/Encoding StandardEncoding def/BuildChar{pop pop 16 0 0 0 16 16
setcachedevice 16 16 false [1 0 0 1 .25 .25]{pat}imagemask}bd end/p{
/pat 32 string def{}forall 0 1 7{dup 2 mul pat exch 3 index put dup
2 mul 1 add pat exch 3 index put dup 2 mul 16 add pat exch 3 index
put 2 mul 17 add pat exch 2 index put pop}for}bd/pfill{/PatFont patfont
definefont setfont/ch(AAAA)def X0 64 X1{Y1 -16 Y0{1 index exch M ch
show}for pop}for}bd/vert{X0 w X1{dup Y0 M Y1 L st}for}bd/horz{Y0 w
Y1{dup X0 exch M X1 exch L st}for}bd/fdiag{X0 w X1{Y0 M X1 X0 sub dup
rlt st}for Y0 w Y1{X0 exch M Y1 Y0 sub dup rlt st}for}bd/bdiag{X0 w
X1{Y1 M X1 X0 sub dup neg rlt st}for Y0 w Y1{X0 exch M Y1 Y0 sub dup
neg rlt st}for}bd/AU{1 add cvi 15 or}bd/AD{1 sub cvi -16 and}bd/SHR{pathbbox
AU/Y1 ed AU/X1 ed AD/Y0 ed AD/X0 ed}bd/hfill{/w iRes 37.5 div round
def 0.1 sl [] 0 setdash n dup 0 eq{horz}if dup 1 eq{vert}if dup 2 eq{fdiag}if
dup 3 eq{bdiag}if dup 4 eq{horz vert}if 5 eq{fdiag bdiag}if}bd/F{/ft
ed fm 256 and 0 ne{gs FC ft 0 eq{fill}{eofill}ifelse gr}if fm 1536
and 0 ne{SHR gs HC ft CP fm 1024 and 0 ne{/Tmp save def pfill Tmp restore}{fm
15 and hfill}ifelse gr}if}bd/S{PenW sl PC st}bd/m matrix def/GW{iRes
12 div PenW add cvi}bd/DoW{iRes 50 div PenW add cvi}bd/DW{iRes 8 div
PenW add cvi}bd/SP{/PenW ed/iPen ed iPen 0 eq iPen 6 eq or{[] 0 setdash}if
iPen 1 eq{[DW GW] 0 setdash}if iPen 2 eq{[DoW GW] 0 setdash}if iPen
3 eq{[DW GW DoW GW] 0 setdash}if iPen 4 eq{[DW GW DoW GW DoW GW] 0
setdash}if}bd/E{m cm pop tr scale 1 0 moveto 0 0 1 0 360 arc cp m sm}bd
/AG{/sy ed/sx ed sx div 4 1 roll sy div 4 1 roll sx div 4 1 roll sy
div 4 1 roll atan/a2 ed atan/a1 ed sx sy scale a1 a2 ARC}def/A{m cm
pop tr AG m sm}def/P{m cm pop tr 0 0 M AG cp m sm}def/RRect{n 4 copy
M 3 1 roll exch L 4 2 roll L L cp}bd/RRCC{/r ed/y1 ed/x1 ed/y0 ed/x0
ed x0 x1 add 2 div y0 M x1 y0 x1 y1 r arcto 4{pop}repeat x1 y1 x0 y1
r arcto 4{pop}repeat x0 y1 x0 y0 r arcto 4{pop}repeat x0 y0 x1 y0 r
arcto 4{pop}repeat cp}bd/RR{2 copy 0 eq exch 0 eq or{pop pop RRect}{2
copy eq{pop RRCC}{m cm pop/y2 ed/x2 ed/ys y2 x2 div 1 max def/xs x2
y2 div 1 max def/y1 exch ys div def/x1 exch xs div def/y0 exch ys div
def/x0 exch xs div def/r2 x2 y2 min def xs ys scale x0 x1 add 2 div
y0 M x1 y0 x1 y1 r2 arcto 4{pop}repeat x1 y1 x0 y1 r2 arcto 4{pop}repeat
x0 y1 x0 y0 r2 arcto 4{pop}repeat x0 y0 x1 y0 r2 arcto 4{pop}repeat
m sm cp}ifelse}ifelse}bd/PP{{rlt}repeat}bd/OB{gs 0 ne{7 3 roll/y ed
/x ed x y translate ULesc rotate x neg y neg translate x y 7 -3 roll}if
sc B fill gr}bd/B{M/dy ed/dx ed dx 0 rlt 0 dy rlt dx neg 0 rlt cp}bd
/CB{B clip n}bd/ErrHandler{errordict dup maxlength exch length gt
dup{errordict begin}if/errhelpdict 12 dict def errhelpdict begin/stackunderflow(operand stack underflow)def
/undefined(this name is not defined in a dictionary)def/VMerror(you have used up all the printer's memory)def
/typecheck(operator was expecting a different type of operand)def
/ioerror(input/output error occured)def end{end}if errordict begin
/handleerror{$error begin newerror{/newerror false def showpage 72
72 scale/x .25 def/y 9.6 def/Helvetica findfont .2 scalefont setfont
x y moveto(Offending Command = )show/command load{dup type/stringtype
ne{(max err string)cvs}if show}exec/y y .2 sub def x y moveto(Error = )show
errorname{dup type dup( max err string )cvs show( : )show/stringtype
ne{( max err string )cvs}if show}exec errordict begin errhelpdict errorname
known{x 1 add y .2 sub moveto errhelpdict errorname get show}if end
/y y .4 sub def x y moveto(Stack =)show ostack{/y y .2 sub def x 1
add y moveto dup type/stringtype ne{( max err string )cvs}if show}forall
showpage}if end}def end}bd end
%%EndResource
/SVDoc save def
%%EndProlog
%%BeginSetup
Win35Dict begin
ErrHandler
statusdict begin 0 setjobtimeout end
statusdict begin statusdict /jobname (Microsoft Word - DETERM.NIS) put end
/oldDictCnt countdictstack def {statusdict begin 0 setpapertray end
}stopped 
{ countdictstack oldDictCnt lt { Win35Dict begin } 
{1 1 countdictstack oldDictCnt sub {pop end } for } ifelse } if 
/oldDictCnt countdictstack def {letter
}stopped 
{ countdictstack oldDictCnt lt { Win35Dict begin } 
{1 1 countdictstack oldDictCnt sub {pop end } for } ifelse } if 
[{}
/exec load currenttransfer /exec load] cvx settransfer
%%EndSetup
%%Page: 1 1
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 58 58 0 0 0 56 /Times-Bold /font29 ANSIFont font
0 0 0 fC
424 225 1523 (Providing Determinism In the Time Warp Operating System ) 1523 SB
1947 225 29 (\226) 29 SB
793 296 813 (Costs, Benefits, and Implications) 813 SB
32 0 0 50 50 0 0 0 45 /Times-Roman /font32 ANSIFont font
297 440 306 (Peter L. Reiher) 306 SB
1013 440 374 (Frederick Wieland) 374 SB
1795 440 310 (Philip Hontalas) 310 SB
939 556 521 (Jet Propulsion Laboratory) 521 SB
969 614 461 (4800 Oak Grove Drive) 461 SB
991 672 418 (Pasadena, CA 91109) 418 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
585 781 143 (Abstract) 143 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
150 881 77 (The ) 87 SB
237 881 101 (Time ) 112 SB
349 881 105 (Warp ) 116 SB
465 881 180 (Operating ) 191 SB
656 881 135 (System ) 146 SB
802 881 83 (runs ) 94 SB
896 881 143 (discrete ) 154 SB
1050 881 92 (event) 92 SB
150 931 82 (simu) 82 SB
232 931 31 (la) 31 SB
263 931 93 (tions ) 94 SB
357 931 53 (on ) 54 SB
411 931 139 (parallel ) 140 SB
551 931 179 (hardware. ) 180 SB
731 931 11 ( ) 12 SB
743 931 81 (One ) 82 SB
825 931 216 (requirement ) 217 SB
1042 931 46 (of ) 48 SB
1090 931 52 (the) 52 SB
150 981 128 (system ) 137 SB
287 981 39 (is ) 48 SB
335 981 75 (that ) 84 SB
419 981 206 (simulations ) 215 SB
634 981 147 (produce ) 156 SB
790 981 233 (deterministic ) 242 SB
1032 981 110 (results) 110 SB
150 1031 158 (identical ) 179 SB
329 1031 44 (to ) 65 SB
394 1031 183 (sequential ) 204 SB
598 1031 83 (runs ) 104 SB
702 1031 46 (of ) 67 SB
769 1031 63 (the ) 84 SB
853 1031 98 (same ) 119 SB
972 1031 170 (programs.) 170 SB
150 1081 177 (Providing ) 181 SB
331 1081 72 (this ) 76 SB
407 1081 94 (level ) 98 SB
505 1081 46 (of ) 50 SB
555 1081 223 (determinism ) 228 SB
783 1081 53 (on ) 58 SB
841 1081 139 (parallel ) 144 SB
985 1081 157 (hardware) 157 SB
150 1131 67 (has ) 72 SB
222 1131 152 (required ) 157 SB
379 1131 82 (care ) 87 SB
466 1131 44 (in ) 49 SB
515 1131 175 (designing ) 181 SB
696 1131 63 (the ) 69 SB
765 1131 128 (system ) 134 SB
899 1131 72 (and ) 78 SB
977 1131 165 (discipline) 165 SB
150 1181 53 (by ) 65 SB
215 1181 216 (applications ) 228 SB
443 1181 139 (writers, ) 151 SB
594 1181 65 (but ) 77 SB
671 1181 79 (also ) 92 SB
763 1181 67 (has ) 80 SB
843 1181 156 (benefits. ) 169 SB
1012 1181 11 ( ) 24 SB
1036 1181 37 (It ) 50 SB
1086 1181 56 (has) 56 SB
150 1231 678 (assisted in detecting a number of errors ) 679 SB
829 1231 44 (in ) 45 SB
874 1231 86 (both ) 87 SB
961 1231 63 (the ) 64 SB
1025 1231 117 (system) 117 SB
150 1281 72 (and ) 83 SB
233 1281 51 (its ) 62 SB
295 1281 227 (applications, ) 238 SB
533 1281 72 (and ) 83 SB
616 1281 145 (allowed ) 156 SB
772 1281 63 (the ) 74 SB
846 1281 67 (use ) 78 SB
924 1281 46 (of ) 58 SB
982 1281 30 (a ) 42 SB
1024 1281 118 (special) 118 SB
150 1331 189 (debugging ) 194 SB
344 1331 77 (tool ) 82 SB
426 1331 75 (that ) 81 SB
507 1331 67 (has ) 73 SB
580 1331 128 (proven ) 134 SB
714 1331 155 (valuable ) 161 SB
875 1331 44 (in ) 50 SB
925 1331 136 (dealing ) 142 SB
1067 1331 75 (with) 75 SB
150 1381 88 (such ) 90 SB
240 1381 120 (errors. ) 122 SB
362 1381 11 ( ) 13 SB
375 1381 86 (This ) 88 SB
463 1381 105 (paper ) 107 SB
570 1381 167 (discusses ) 169 SB
739 1381 100 (some ) 102 SB
841 1381 46 (of ) 48 SB
889 1381 63 (the ) 65 SB
954 1381 137 (reasons ) 139 SB
1093 1381 49 (for) 49 SB
150 1431 175 (providing ) 177 SB
327 1431 234 (determinism, ) 236 SB
563 1431 63 (the ) 65 SB
628 1431 168 (problems ) 170 SB
798 1431 46 (of ) 48 SB
846 1431 107 (doing ) 109 SB
955 1431 59 (so, ) 61 SB
1016 1431 72 (and ) 74 SB
1090 1431 52 (the) 52 SB
150 1481 414 (benefits of determinism.) 414 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
552 1581 209 (Introduction) 209 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
150 1681 81 (One ) 88 SB
238 1681 176 (definition ) 183 SB
421 1681 46 (of ) 53 SB
474 1681 51 (an ) 58 SB
532 1681 171 (operating ) 178 SB
710 1681 128 (system ) 135 SB
845 1681 39 (is ) 47 SB
892 1681 75 (that ) 83 SB
975 1681 35 (it ) 43 SB
1018 1681 145 (provides) 145 SB
150 1731 743 (users with a friendlier virtual machine than ) 744 SB
894 1731 63 (the ) 64 SB
958 1731 115 (native ) 116 SB
1074 1731 89 (hard-) 89 SB
150 1781 104 (ware. ) 107 SB
257 1781 11 ( ) 14 SB
271 1781 77 (The ) 80 SB
351 1781 171 (operating ) 175 SB
526 1781 128 (system ) 132 SB
658 1781 98 (takes ) 102 SB
760 1781 241 (responsibility ) 245 SB
1005 1781 60 (for ) 64 SB
1069 1781 94 (many) 94 SB
150 1831 46 (of ) 50 SB
200 1831 63 (the ) 67 SB
267 1831 98 (more ) 102 SB
369 1831 148 (difficult ) 152 SB
521 1831 72 (and ) 76 SB
597 1831 133 (tedious ) 138 SB
735 1831 121 (chores ) 126 SB
861 1831 75 (that ) 80 SB
941 1831 93 (must ) 98 SB
1039 1831 51 (be ) 56 SB
1095 1831 68 (per-) 68 SB
150 1881 144 (formed, ) 162 SB
312 1881 56 (pro) 56 SB
368 1881 119 (viding ) 138 SB
506 1881 51 (its ) 70 SB
576 1881 97 (users ) 116 SB
692 1881 86 (with ) 105 SB
797 1881 30 (a ) 49 SB
846 1881 138 (simpler ) 157 SB
1003 1881 160 (interface.) 160 SB
150 1931 726 (Because parallel and distributed operating ) 727 SB
877 1931 144 (systems ) 145 SB
1022 1931 98 (often ) 99 SB
1121 1931 42 (do) 42 SB
150 1981 65 (not ) 69 SB
219 1981 140 (provide ) 144 SB
363 1981 63 (the ) 67 SB
430 1981 122 (virtual ) 126 SB
556 1981 155 (machine ) 159 SB
715 1981 75 (that ) 79 SB
794 1981 93 (most ) 97 SB
891 1981 97 (users ) 102 SB
993 1981 104 (want, ) 109 SB
1102 1981 61 (one) 61 SB
150 2031 864 (major branch of recent operating systems research ) 865 SB
1015 2031 67 (has ) 68 SB
1083 2031 80 (been) 80 SB
150 2081 145 (devoted ) 150 SB
300 2081 44 (to ) 49 SB
349 2081 187 (improving ) 192 SB
541 2081 63 (the ) 68 SB
609 2081 122 (virtual ) 127 SB
736 2081 171 (machines ) 176 SB
912 2081 133 (offered ) 138 SB
1050 2081 53 (on ) 59 SB
1109 2081 54 (top) 54 SB
150 2131 617 (of parallel and distributed hardware.) 617 SB
150 2231 53 (At ) 56 SB
206 2231 63 (the ) 66 SB
272 2231 187 (minimum, ) 190 SB
462 2231 93 (most ) 97 SB
559 2231 97 (users ) 101 SB
660 2231 93 (want ) 97 SB
757 2231 89 (their ) 93 SB
850 2231 192 (distributed ) 196 SB
1046 2231 117 (system) 117 SB
150 2281 44 (to ) 47 SB
197 2281 61 (act ) 64 SB
261 2281 75 (like ) 78 SB
339 2281 30 (a ) 33 SB
372 2281 183 (sequential ) 186 SB
558 2281 166 (machine. ) 169 SB
727 2281 11 ( ) 15 SB
742 2281 190 (Sequential ) 194 SB
936 2281 171 (machines ) 175 SB
1111 2281 52 (are) 52 SB
150 2331 146 (familiar ) 152 SB
302 2331 72 (and ) 78 SB
380 2331 74 (less ) 80 SB
460 2331 168 (complex. ) 174 SB
634 2331 11 ( ) 17 SB
651 2331 147 (Turning ) 153 SB
804 2331 51 (an ) 58 SB
862 2331 113 (actual ) 120 SB
982 2331 139 (parallel ) 146 SB
1128 2331 35 (or) 35 SB
150 2381 49 (dis) 49 SB
199 2381 143 (tributed ) 159 SB
358 2381 155 (machine ) 171 SB
529 2381 77 (into ) 93 SB
622 2381 30 (a ) 47 SB
669 2381 122 (virtual ) 139 SB
808 2381 183 (sequential ) 200 SB
1008 2381 155 (machine,) 155 SB
150 2431 140 (without ) 169 SB
319 2431 114 (losing ) 143 SB
462 2431 63 (the ) 92 SB
554 2431 225 (performance ) 254 SB
808 2431 199 (advantages ) 228 SB
1036 2431 46 (of ) 75 SB
1111 2431 52 (the) 52 SB
150 2481 267 (distributed hard) 267 SB
417 2481 675 (ware, has many challenging problems.  ) 676 SB
1093 2481 70 (One) 70 SB
150 2531 183 (of these is ) 183 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
333 2530 208 (determinism) 208 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
541 2531 11 (.) 11 SB
150 2633 242 (Deterministic ) 259 SB
409 2633 144 (systems ) 161 SB
570 2633 91 (have ) 108 SB
678 2633 176 (important ) 193 SB
871 2633 199 (advantages ) 217 SB
1088 2633 75 (over) 75 SB
150 2683 310 (non-deterministic ) 317 SB
467 2683 99 (ones. ) 107 SB
574 2683 11 ( ) 19 SB
593 2683 98 (They ) 106 SB
699 2683 63 (are ) 71 SB
770 2683 110 (easier ) 118 SB
888 2683 44 (to ) 52 SB
940 2683 154 (program ) 162 SB
1102 2683 61 (and) 61 SB
150 2733 125 (debug. ) 130 SB
280 2733 11 ( ) 16 SB
296 2733 79 (Full ) 84 SB
380 2733 223 (determinism ) 228 SB
608 2733 44 (in ) 49 SB
657 2733 54 (all ) 59 SB
716 2733 133 (aspects ) 138 SB
854 2733 39 (is ) 44 SB
898 2733 110 (rarely ) 116 SB
1014 2733 149 (possible,) 149 SB
150 2783 167 (however. ) 169 SB
319 2783 11 ( ) 13 SB
332 2783 69 (For ) 72 SB
404 2783 161 (instance, ) 164 SB
568 2783 230 (guaranteeing ) 233 SB
801 2783 75 (that ) 78 SB
879 2783 30 (a ) 33 SB
912 2783 105 (given ) 108 SB
1020 2783 143 (program) 143 SB
150 2833 316 (will always run in ) 317 SB
467 2833 164 (precisely ) 165 SB
632 2833 63 (the ) 64 SB
696 2833 98 (same ) 99 SB
795 2833 138 (amount ) 139 SB
934 2833 46 (of ) 47 SB
981 2833 87 (time ) 88 SB
1069 2833 39 (is ) 40 SB
1109 2833 54 (not) 54 SB
1238 731 169 (generally ) 184 SB
1422 731 160 (possible, ) 175 SB
1597 731 91 (even ) 106 SB
1703 731 53 (on ) 69 SB
1772 731 93 (most ) 109 SB
1881 731 183 (sequential ) 199 SB
2080 731 171 (machines.) 171 SB
1238 781 176 (However, ) 181 SB
1419 781 183 (sequential ) 188 SB
1607 781 144 (systems ) 149 SB
1756 781 70 (can ) 75 SB
1831 781 133 (usually ) 138 SB
1969 781 176 (guarantee ) 182 SB
2151 781 75 (that ) 81 SB
2232 781 19 (a) 19 SB
1238 831 184 (program\222s ) 187 SB
1425 831 121 (results ) 124 SB
1549 831 63 (are ) 66 SB
1615 831 244 (deterministic, ) 247 SB
1862 831 37 (if ) 40 SB
1902 831 65 (not ) 69 SB
1971 831 51 (its ) 55 SB
2026 831 225 (performance.) 225 SB
1238 881 96 (With ) 106 SB
1344 881 30 (a ) 40 SB
1384 881 105 (given ) 115 SB
1499 881 58 (set ) 69 SB
1568 881 46 (of ) 57 SB
1625 881 33 (in) 33 SB
1658 881 92 (puts, ) 103 SB
1761 881 93 (most ) 104 SB
1865 881 170 (programs ) 181 SB
2046 881 77 (will ) 88 SB
2134 881 117 (always) 117 SB
1238 931 814 (produce the same results when run sequentially.) 814 SB
1238 1031 190 (Sequential ) 207 SB
1445 1031 144 (systems ) 161 SB
1606 1031 53 (do ) 71 SB
1677 1031 65 (not ) 83 SB
1760 1031 128 (always ) 146 SB
1906 1031 84 (give ) 102 SB
2008 1031 222 (deterministic) 222 SB
1238 1081 132 (results, ) 141 SB
1379 1081 210 (themselves. ) 220 SB
1599 1081 11 ( ) 21 SB
1620 1081 46 (In ) 56 SB
1676 1081 185 (particular, ) 195 SB
1871 1081 87 (fatal ) 97 SB
1968 1081 154 (program ) 164 SB
2132 1081 98 (errors) 98 SB
1238 1131 98 (often ) 101 SB
1339 1131 105 (result ) 108 SB
1447 1131 44 (in ) 47 SB
1494 1131 157 (different ) 161 SB
1655 1131 100 (crash ) 104 SB
1759 1131 184 (symptoms ) 188 SB
1947 1131 93 (from ) 97 SB
2044 1131 67 (run ) 71 SB
2115 1131 44 (to ) 48 SB
2163 1131 67 (run.) 67 SB
1238 1181 180 (Similarly, ) 183 SB
1421 1181 102 (when ) 105 SB
1526 1181 30 (a ) 33 SB
1559 1181 220 (programmer ) 223 SB
1782 1181 98 (takes ) 101 SB
1883 1181 51 (an ) 54 SB
1937 1181 115 (action ) 118 SB
2055 1181 75 (that ) 78 SB
2133 1181 39 (is ) 43 SB
2176 1181 54 (not) 54 SB
1238 1231 138 (defined ) 140 SB
1378 1231 53 (by ) 55 SB
1433 1231 63 (the ) 65 SB
1498 1231 171 (operating ) 173 SB
1671 1231 128 (system ) 131 SB
1802 1231 171 (interface, ) 174 SB
1976 1231 223 (determinism ) 226 SB
2202 1231 28 (is) 28 SB
1238 1281 65 (not ) 70 SB
1308 1281 128 (always ) 133 SB
1441 1281 75 (guar) 75 SB
1516 1281 133 (anteed. ) 138 SB
1654 1281 11 ( ) 16 SB
1670 1281 95 (Such ) 100 SB
1770 1281 100 (cases ) 105 SB
1875 1281 63 (are ) 68 SB
1943 1281 133 (usually ) 139 SB
2082 1281 148 (regarded) 148 SB
1238 1331 46 (as ) 48 SB
1286 1331 109 (errors ) 111 SB
1397 1331 44 (in ) 46 SB
1443 1331 108 (either ) 110 SB
1553 1331 63 (the ) 65 SB
1618 1331 128 (system ) 130 SB
1748 1331 46 (or ) 48 SB
1796 1331 63 (the ) 65 SB
1861 1331 211 (application, ) 213 SB
2074 1331 156 (however,) 156 SB
1238 1381 946 (and would be equally erroneous in a distributed system.) 946 SB
1238 1481 232 (Determinism ) 236 SB
1474 1481 39 (is ) 43 SB
1517 1481 65 (not ) 70 SB
1587 1481 199 (necessarily ) 204 SB
1791 1481 212 (correctness. ) 217 SB
2008 1481 11 ( ) 16 SB
2024 1481 62 (No ) 67 SB
2091 1481 160 (operating) 160 SB
1238 1531 128 (system ) 133 SB
1371 1531 70 (can ) 75 SB
1446 1531 176 (guarantee ) 181 SB
1627 1531 75 (that ) 80 SB
1707 1531 35 (it ) 40 SB
1747 1531 77 (will ) 82 SB
1829 1531 53 (do ) 58 SB
1887 1531 93 (what ) 99 SB
1986 1531 63 (the ) 69 SB
2055 1531 81 (user ) 87 SB
2142 1531 109 (wants.) 109 SB
1238 1581 53 (At ) 58 SB
1296 1581 104 (most, ) 109 SB
1405 1581 35 (it ) 40 SB
1445 1581 70 (can ) 75 SB
1520 1581 176 (guarantee ) 181 SB
1701 1581 75 (that ) 80 SB
1781 1581 35 (it ) 40 SB
1821 1581 77 (will ) 82 SB
1903 1581 53 (do ) 58 SB
1961 1581 134 (exactly ) 139 SB
2100 1581 93 (what ) 99 SB
2199 1581 52 (the) 52 SB
1238 1631 81 (user ) 84 SB
1322 1631 82 (tells ) 86 SB
1408 1631 35 (it ) 39 SB
1447 1631 44 (to ) 48 SB
1495 1631 64 (do. ) 68 SB
1563 1631 11 ( ) 15 SB
1578 1631 39 (If ) 43 SB
1621 1631 30 (a ) 34 SB
1655 1631 154 (program ) 158 SB
1813 1631 163 (produces ) 167 SB
1980 1631 121 (results ) 125 SB
2105 1631 146 (different) 146 SB
1238 1681 814 (than those the user desired, the best any system ) 815 SB
2053 1681 70 (can ) 71 SB
2124 1681 53 (do ) 54 SB
2178 1681 39 (is ) 40 SB
2218 1681 33 (to) 33 SB
1238 1731 78 (faith) 78 SB
1316 1731 91 (fully ) 135 SB
1451 1731 89 (repro) 89 SB
1540 1731 91 (duce ) 135 SB
1675 1731 63 (the ) 107 SB
1782 1731 98 (same ) 142 SB
1924 1731 162 (incorrect ) 206 SB
2130 1731 121 (results,) 121 SB
1238 1781 579 (deterministically, from run to run.) 579 SB
1238 1881 177 (Providing ) 185 SB
1423 1881 72 (this ) 80 SB
1503 1881 94 (level ) 102 SB
1605 1881 46 (of ) 54 SB
1659 1881 223 (determinism ) 231 SB
1890 1881 60 (for ) 69 SB
1959 1881 139 (parallel ) 148 SB
2107 1881 72 (and ) 81 SB
2188 1881 63 (dis-) 63 SB
1238 1931 143 (tributed ) 164 SB
1402 1931 144 (systems ) 165 SB
1567 1931 39 (is ) 60 SB
1627 1931 105 (much ) 126 SB
1753 1931 119 (harder ) 140 SB
1893 1931 84 (than ) 105 SB
1998 1931 60 (for ) 81 SB
2079 1931 172 (sequential) 172 SB
1238 1981 155 (systems, ) 157 SB
1395 1981 181 (especially ) 183 SB
1578 1981 37 (if ) 39 SB
1617 1981 72 (one ) 74 SB
1691 1981 79 (also ) 81 SB
1772 1981 109 (wants ) 111 SB
1883 1981 44 (to ) 46 SB
1929 1981 127 (extract ) 130 SB
2059 1981 107 (speed ) 110 SB
2169 1981 82 (from) 82 SB
1238 2031 191 (processing ) 193 SB
1431 2031 44 (in ) 46 SB
1477 2031 150 (parallel. ) 152 SB
1629 2031 11 ( ) 14 SB
1643 2031 96 (With ) 99 SB
1742 2031 105 (many ) 108 SB
1850 2031 218 (independent ) 221 SB
2071 2031 180 (processing) 180 SB
1238 2081 162 (elements ) 163 SB
1401 2081 72 (and ) 74 SB
1475 2081 30 (a ) 32 SB
1507 2081 198 (communica) 198 SB
1705 2081 93 (tions ) 95 SB
1800 2081 128 (system ) 130 SB
1930 2081 75 (that ) 77 SB
2007 2081 98 (often ) 100 SB
2107 2081 88 (does ) 90 SB
2197 2081 54 (not) 54 SB
1238 2131 103 (make ) 121 SB
1359 2131 115 (guaran) 115 SB
1474 2131 77 (tees ) 95 SB
1569 2131 105 (about ) 123 SB
1692 2131 122 (timing ) 140 SB
1832 2131 72 (and ) 90 SB
1922 2131 154 (ordering ) 172 SB
2094 2131 46 (of ) 65 SB
2159 2131 92 (inter-) 92 SB
1238 2181 172 (processor ) 176 SB
1414 2181 198 (communica) 198 SB
1612 2181 104 (tions, ) 108 SB
1720 2181 30 (a ) 35 SB
1755 2181 49 (dis) 49 SB
1804 2181 143 (tributed ) 148 SB
1952 2181 128 (system ) 133 SB
2085 2181 67 (has ) 72 SB
2157 2181 94 (many) 94 SB
1238 2231 234 (opportunities ) 235 SB
1473 2231 60 (for ) 61 SB
1534 2231 311 (non-determinism. ) 312 SB
1846 2231 11 ( ) 12 SB
1858 2231 77 (The ) 78 SB
1936 2231 127 (central ) 128 SB
2064 2231 152 (problem ) 154 SB
2218 2231 33 (in) 33 SB
1238 2281 175 (providing ) 182 SB
1420 2281 223 (determinism ) 230 SB
1650 2281 60 (for ) 67 SB
1717 2281 88 (such ) 96 SB
1813 2281 144 (systems ) 152 SB
1965 2281 39 (is ) 47 SB
2012 2281 58 (syn) 58 SB
2070 2281 181 (chronizing) 181 SB
1238 2331 153 (multiple ) 160 SB
1398 2331 188 (processors ) 195 SB
1593 2331 44 (to ) 51 SB
1644 2331 176 (guarantee ) 183 SB
1827 2331 75 (that ) 82 SB
1909 2331 54 (all ) 61 SB
1970 2331 154 (program ) 161 SB
2131 2331 120 (actions) 120 SB
1238 2381 133 (happen ) 140 SB
1378 2381 44 (in ) 51 SB
1429 2381 63 (the ) 70 SB
1499 2381 98 (same ) 105 SB
1604 2381 100 (order ) 107 SB
1711 2381 60 (for ) 67 SB
1778 2381 74 (two ) 81 SB
1859 2381 189 (successive ) 196 SB
2055 2381 83 (runs ) 90 SB
2145 2381 46 (of ) 54 SB
2199 2381 52 (the) 52 SB
1238 2431 154 (program.) 154 SB
1238 2531 77 (The ) 85 SB
1323 2531 101 (Time ) 109 SB
1432 2531 105 (Warp ) 114 SB
1546 2531 180 (Operating ) 189 SB
1735 2531 135 (System ) 144 SB
1879 2531 158 (\(TWOS\) ) 167 SB
2046 2531 39 (is ) 48 SB
2094 2531 30 (a ) 39 SB
2133 2531 118 (special) 118 SB
1238 2581 56 (pur) 56 SB
1294 2581 88 (pose ) 117 SB
1411 2581 171 (operating ) 200 SB
1611 2581 128 (system ) 157 SB
1768 2581 75 (that ) 105 SB
1873 2581 83 (runs ) 113 SB
1986 2581 143 (discrete ) 173 SB
2159 2581 92 (event) 92 SB
1238 2631 206 (simulations ) 211 SB
1449 2631 53 (on ) 58 SB
1507 2631 139 (parallel ) 144 SB
1651 2631 179 (hardware, ) 184 SB
1835 2631 86 (with ) 91 SB
1926 2631 63 (the ) 68 SB
1994 2631 127 (central ) 132 SB
2126 2631 84 (goal ) 90 SB
2216 2631 35 (of) 35 SB
1238 2681 149 (speedup ) 161 SB
1399 2681 71 ([1]. ) 83 SB
1482 2681 11 ( ) 23 SB
1505 2681 37 (It ) 49 SB
1554 2681 83 (uses ) 95 SB
1649 2681 63 (the ) 75 SB
1724 2681 119 (theory ) 131 SB
1855 2681 46 (of ) 58 SB
1913 2681 122 (virtual ) 134 SB
2047 2681 87 (time ) 99 SB
2146 2681 60 ([2] ) 72 SB
2218 2681 33 (to) 33 SB
1238 2731 140 (provide ) 149 SB
1387 2731 204 (synchroniza) 204 SB
1591 2731 77 (tion ) 86 SB
1677 2731 140 (without ) 150 SB
1827 2731 255 (compromising ) 265 SB
2092 2731 107 (speed ) 117 SB
2209 2731 42 (by) 42 SB
1238 2781 159 (blocking ) 174 SB
1412 2781 183 (processes. ) 198 SB
1610 2781 11 ( ) 26 SB
1636 2781 130 (TWOS ) 146 SB
1782 2781 67 (has ) 83 SB
1865 2781 72 (had ) 88 SB
1953 2781 96 (great ) 112 SB
2065 2781 137 (success ) 153 SB
2218 2781 33 (in) 33 SB
1238 2831 161 (speeding ) 165 SB
1403 2831 53 (up ) 57 SB
1460 2831 143 (discrete ) 147 SB
1607 2831 103 (event ) 107 SB
1714 2831 206 (simulations ) 210 SB
1924 2831 53 (by ) 57 SB
1981 2831 63 (the ) 67 SB
2048 2831 122 (virtual ) 127 SB
2175 2831 76 (time) 76 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Bold
%%+ font Times-Italic
%%+ font Times-Roman
%%Page: 2 2
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
150 228 138 (method ) 144 SB
294 228 71 ([3], ) 77 SB
371 228 71 ([4], ) 77 SB
448 228 105 (while ) 111 SB
559 228 42 (at ) 48 SB
607 228 63 (the ) 69 SB
676 228 98 (same ) 104 SB
780 228 87 (time ) 94 SB
874 228 230 (guaranteeing ) 237 SB
1111 228 52 (the) 52 SB
150 278 98 (same ) 99 SB
249 278 121 (results ) 122 SB
371 278 46 (as ) 47 SB
418 278 37 (if ) 38 SB
456 278 63 (the ) 64 SB
520 278 190 (simulation ) 191 SB
711 278 72 (had ) 74 SB
785 278 91 (been ) 93 SB
878 278 67 (run ) 69 SB
947 278 216 (sequentially.) 216 SB
150 328 77 (The ) 90 SB
240 328 122 (virtual ) 135 SB
375 328 155 (machine ) 169 SB
544 328 161 (provided ) 175 SB
719 328 53 (by ) 67 SB
786 328 130 (TWOS ) 144 SB
930 328 100 (gives ) 114 SB
1044 328 30 (a ) 44 SB
1088 328 75 (high) 75 SB
150 378 580 (degree of determinism.  From the ) 581 SB
731 378 98 (point ) 99 SB
830 378 46 (of ) 47 SB
877 378 93 (view ) 94 SB
971 378 46 (of ) 47 SB
1018 378 63 (the ) 64 SB
1082 378 81 (user,) 81 SB
150 428 726 (a program running on TWOS will provide ) 727 SB
877 428 134 (exactly ) 135 SB
1012 428 63 (the ) 64 SB
1076 428 87 (same) 87 SB
150 478 121 (results ) 126 SB
276 478 102 (when ) 107 SB
383 478 67 (run ) 72 SB
455 478 53 (on ) 58 SB
513 478 72 (one ) 77 SB
590 478 172 (processor ) 177 SB
767 478 46 (or ) 51 SB
818 478 30 (a ) 35 SB
853 478 160 (hundred, ) 166 SB
1019 478 86 (with ) 92 SB
1111 478 52 (the) 52 SB
150 528 86 (only ) 88 SB
238 528 183 (difference ) 185 SB
423 528 105 (being ) 107 SB
530 528 44 (in ) 46 SB
576 528 236 (performance. ) 238 SB
814 528 11 ( ) 13 SB
827 528 77 (The ) 79 SB
906 528 131 (current ) 133 SB
1039 528 124 (version) 124 SB
150 578 46 (of ) 88 SB
238 578 130 (TWOS ) 172 SB
410 578 91 (even ) 133 SB
543 578 192 (guarantees ) 234 SB
777 578 223 (determinism ) 266 SB
1043 578 120 (despite) 120 SB
150 628 221 (dynamically ) 250 SB
400 628 176 (migrating ) 205 SB
605 628 172 (processes ) 201 SB
806 628 93 (from ) 122 SB
928 628 172 (processor ) 202 SB
1130 628 33 (to) 33 SB
150 678 529 (processor during execution [5].) 529 SB
150 778 203 (Performing ) 218 SB
368 778 131 (actions ) 146 SB
514 778 44 (in ) 59 SB
573 778 63 (the ) 78 SB
651 778 121 (proper ) 136 SB
787 778 100 (order ) 115 SB
902 778 39 (is ) 54 SB
956 778 51 (an ) 66 SB
1022 778 141 (absolute) 141 SB
150 828 120 (require) 120 SB
270 828 96 (ment ) 110 SB
380 828 60 (for ) 75 SB
455 828 93 (most ) 108 SB
563 828 143 (discrete ) 158 SB
721 828 103 (event ) 118 SB
839 828 217 (simulations. ) 232 SB
1071 828 11 ( ) 26 SB
1097 828 66 (The) 66 SB
150 878 129 (correct ) 141 SB
291 878 89 (order) 89 SB
380 878 65 (ing ) 77 SB
457 878 46 (of ) 58 SB
515 878 30 (a ) 42 SB
557 878 179 (simulation) 179 SB
736 878 41 (\222s ) 54 SB
790 878 119 (events ) 132 SB
922 878 39 (is ) 52 SB
974 878 189 (completely) 189 SB
150 928 138 (defined ) 139 SB
289 928 53 (by ) 54 SB
343 928 63 (the ) 64 SB
407 928 190 (simulation ) 191 SB
598 928 103 (times ) 104 SB
702 928 42 (at ) 43 SB
745 928 114 (which ) 115 SB
860 928 119 (events ) 121 SB
981 928 116 (occur. ) 118 SB
1099 928 11 ( ) 13 SB
1112 928 51 (An) 51 SB
150 978 103 (event ) 107 SB
257 978 86 (with ) 90 SB
347 978 51 (an ) 55 SB
402 978 120 (earlier ) 124 SB
526 978 190 (simulation ) 195 SB
721 978 87 (time ) 92 SB
813 978 84 (may ) 89 SB
902 978 108 (affect ) 113 SB
1015 978 51 (an ) 56 SB
1071 978 92 (event) 92 SB
150 1028 86 (with ) 87 SB
237 1028 30 (a ) 31 SB
268 1028 87 (later ) 88 SB
356 1028 61 (sim) 61 SB
417 1028 129 (ulation ) 130 SB
547 1028 98 (time. ) 99 SB
646 1028 11 ( ) 12 SB
658 1028 39 (If ) 40 SB
698 1028 51 (an ) 52 SB
750 1028 120 (earlier ) 121 SB
871 1028 103 (event ) 105 SB
976 1028 88 (does ) 90 SB
1066 1028 97 (affect) 97 SB
150 1078 30 (a ) 37 SB
187 1078 87 (later ) 94 SB
281 1078 114 (event, ) 121 SB
402 1078 63 (the ) 70 SB
472 1078 128 (system ) 135 SB
607 1078 93 (must ) 100 SB
707 1078 51 (be ) 58 SB
765 1078 127 (certain ) 135 SB
900 1078 75 (that ) 83 SB
983 1078 63 (the ) 71 SB
1054 1078 109 (earlier) 109 SB
150 1128 103 (event ) 113 SB
263 1128 39 (is ) 49 SB
312 1128 188 (completed ) 198 SB
510 1128 119 (before ) 129 SB
639 1128 63 (the ) 73 SB
712 1128 87 (later ) 98 SB
810 1128 103 (event ) 114 SB
924 1128 111 (starts. ) 122 SB
1046 1128 11 ( ) 22 SB
1068 1128 95 (Thus,) 95 SB
150 1178 130 (TWOS ) 132 SB
282 1178 39 (is ) 41 SB
323 1178 152 (required ) 154 SB
477 1178 44 (to ) 46 SB
523 1178 140 (provide ) 142 SB
665 1178 30 (a ) 32 SB
697 1178 122 (virtual ) 124 SB
821 1178 155 (machine ) 157 SB
978 1178 44 (to ) 46 SB
1024 1178 51 (its ) 53 SB
1077 1178 86 (users) 86 SB
150 1228 75 (that ) 86 SB
236 1228 140 (appears ) 151 SB
387 1228 44 (to ) 55 SB
442 1228 137 (process ) 148 SB
590 1228 119 (events ) 131 SB
721 1228 44 (in ) 56 SB
777 1228 96 (strict ) 108 SB
885 1228 190 (simulation ) 202 SB
1087 1228 76 (time) 76 SB
150 1278 100 (order.) 100 SB
150 1378 152 (Meeting ) 161 SB
311 1378 72 (this ) 81 SB
392 1378 216 (requirement ) 225 SB
617 1378 67 (has ) 76 SB
693 1378 128 (proven ) 137 SB
830 1378 44 (to ) 53 SB
883 1378 91 (have ) 101 SB
984 1378 179 (interesting) 179 SB
150 1428 128 (implica) 128 SB
278 1428 93 (tions ) 98 SB
376 1428 60 (for ) 65 SB
441 1428 83 (how ) 88 SB
529 1428 130 (TWOS ) 135 SB
664 1428 82 (simu) 82 SB
746 1428 124 (lations ) 130 SB
876 1428 93 (must ) 99 SB
975 1428 51 (be ) 57 SB
1032 1428 131 (written,) 131 SB
150 1478 60 (for ) 69 SB
219 1478 63 (the ) 72 SB
291 1478 45 (im) 45 SB
336 1478 233 (plementation ) 242 SB
578 1478 46 (of ) 55 SB
633 1478 63 (the ) 72 SB
705 1478 171 (operating ) 180 SB
885 1478 139 (system, ) 148 SB
1033 1478 72 (and ) 81 SB
1114 1478 49 (for) 49 SB
150 1528 937 (debugging both the operating system and simulations.  ) 938 SB
1088 1528 75 (This) 75 SB
150 1578 105 (paper ) 113 SB
263 1578 79 (first ) 87 SB
350 1578 80 (intro) 80 SB
430 1578 107 (duces ) 115 SB
545 1578 63 (the ) 71 SB
616 1578 101 (Time ) 109 SB
725 1578 105 (Warp ) 114 SB
839 1578 180 (Operating ) 189 SB
1028 1578 135 (System,) 135 SB
150 1628 84 (then ) 95 SB
245 1628 167 (discusses ) 178 SB
423 1628 63 (the ) 74 SB
497 1628 45 (im) 45 SB
542 1628 176 (plications ) 187 SB
729 1628 46 (of ) 57 SB
786 1628 223 (determinism ) 235 SB
1021 1628 60 (for ) 72 SB
1093 1628 70 (user) 70 SB
150 1678 181 (programs, ) 186 SB
336 1678 72 (and ) 77 SB
413 1678 122 (finally ) 127 SB
540 1678 121 (covers ) 126 SB
666 1678 83 (how ) 88 SB
754 1678 130 (TWOS ) 135 SB
889 1678 70 (can ) 76 SB
965 1678 140 (provide ) 146 SB
1111 1678 52 (the) 52 SB
150 1728 152 (required ) 156 SB
306 1728 94 (level ) 98 SB
404 1728 46 (of ) 50 SB
454 1728 234 (determinism, ) 238 SB
692 1728 46 (as ) 50 SB
742 1728 84 (well ) 88 SB
830 1728 46 (as ) 51 SB
881 1728 83 (how ) 88 SB
969 1728 130 (TWOS ) 135 SB
1104 1728 59 (can) 59 SB
150 1778 82 (take ) 87 SB
237 1778 183 (advantage ) 188 SB
425 1778 46 (of ) 51 SB
476 1778 223 (determinism ) 228 SB
704 1778 44 (to ) 49 SB
753 1778 84 (help ) 90 SB
843 1778 44 (in ) 50 SB
893 1778 189 (debugging ) 195 SB
1088 1778 75 (both) 75 SB
150 1828 514 (the system and user programs.) 514 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
363 1928 587 (The Time Warp Operating System) 587 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
150 2028 130 (TWOS ) 135 SB
285 2028 67 (has ) 72 SB
357 2028 91 (been ) 96 SB
453 2028 107 (under ) 112 SB
565 2028 230 (development ) 235 SB
800 2028 42 (at ) 48 SB
848 2028 63 (the ) 69 SB
917 2028 58 (Jet ) 64 SB
981 2028 182 (Propulsion) 182 SB
150 2078 199 (Laboratory ) 201 SB
351 2078 98 (since ) 100 SB
451 2078 106 (1983. ) 108 SB
559 2078 11 ( ) 14 SB
573 2078 37 (It ) 40 SB
613 2078 67 (has ) 70 SB
683 2078 91 (been ) 94 SB
777 2078 30 (a ) 33 SB
810 2078 178 (complete, ) 181 SB
991 2078 172 (functional) 172 SB
150 2128 128 (system ) 129 SB
279 2128 98 (since ) 99 SB
378 2128 106 (1986. ) 108 SB
486 2128 11 ( ) 13 SB
499 2128 130 (TWOS ) 132 SB
631 2128 67 (has ) 69 SB
700 2128 67 (run ) 69 SB
769 2128 53 (on ) 55 SB
824 2128 30 (a ) 32 SB
856 2128 129 (variety ) 131 SB
987 2128 46 (of ) 48 SB
1035 2128 128 (parallel) 128 SB
150 2178 72 (and ) 76 SB
226 2178 192 (distributed ) 196 SB
422 2178 179 (hardware, ) 183 SB
605 2178 171 (including ) 176 SB
781 2178 63 (the ) 68 SB
849 2178 218 (Caltech/JPL ) 223 SB
1072 2178 91 (Mark) 91 SB
150 2228 654 (2 Hypercube, the Caltech/JPL Mark 3 ) 655 SB
805 2228 207 (Hypercube, ) 208 SB
1013 2228 63 (the ) 64 SB
1077 2228 86 (BBN) 86 SB
150 2278 164 (Butterfly ) 188 SB
338 2278 159 (GP1000, ) 183 SB
521 2278 63 (the ) 87 SB
608 2278 116 (Inmos ) 140 SB
748 2278 194 (Transputer ) 218 SB
966 2278 111 (T800, ) 136 SB
1102 2278 61 (and) 61 SB
150 2328 165 (networks ) 169 SB
319 2328 46 (of ) 50 SB
369 2328 97 (Sun3 ) 101 SB
470 2328 72 (and ) 76 SB
546 2328 97 (Sun4 ) 101 SB
647 2328 226 (workstations ) 230 SB
877 2328 183 (connected ) 188 SB
1065 2328 53 (by ) 58 SB
1123 2328 40 (an) 40 SB
150 2378 155 (Ethernet.) 155 SB
150 2478 130 (TWOS ) 145 SB
295 2478 160 (typically ) 175 SB
470 2478 83 (runs ) 98 SB
568 2478 53 (on ) 68 SB
636 2478 65 (top ) 80 SB
716 2478 46 (of ) 61 SB
777 2478 51 (an ) 66 SB
843 2478 145 (existing ) 160 SB
1003 2478 160 (operating) 160 SB
150 2528 139 (system. ) 141 SB
291 2528 11 ( ) 13 SB
304 2528 46 (In ) 48 SB
352 2528 63 (the ) 65 SB
417 2528 84 (case ) 86 SB
503 2528 46 (of ) 49 SB
552 2528 63 (the ) 66 SB
618 2528 97 (BBN ) 100 SB
718 2528 159 (GP1000, ) 162 SB
880 2528 35 (it ) 38 SB
918 2528 83 (runs ) 86 SB
1004 2528 53 (on ) 56 SB
1060 2528 65 (top ) 68 SB
1128 2528 35 (of) 35 SB
150 2578 86 (both ) 92 SB
242 2578 63 (the ) 69 SB
311 2578 170 (Chrysalis ) 176 SB
487 2578 128 (system ) 135 SB
622 2578 72 (and ) 79 SB
701 2578 118 (Mach. ) 125 SB
826 2578 11 ( ) 18 SB
844 2578 46 (In ) 53 SB
897 2578 63 (the ) 70 SB
967 2578 84 (case ) 91 SB
1058 2578 46 (of ) 53 SB
1111 2578 52 (the) 52 SB
150 2628 76 (Sun ) 85 SB
235 2628 160 (network, ) 169 SB
404 2628 35 (it ) 44 SB
448 2628 83 (runs ) 92 SB
540 2628 53 (on ) 62 SB
602 2628 65 (top ) 74 SB
676 2628 46 (of ) 55 SB
731 2628 63 (the ) 72 SB
803 2628 115 (UNIX ) 124 SB
927 2628 139 (system. ) 149 SB
1076 2628 11 ( ) 21 SB
1097 2628 66 (The) 66 SB
150 2678 115 (native ) 117 SB
267 2678 171 (operating ) 173 SB
440 2678 128 (system ) 130 SB
570 2678 39 (is ) 41 SB
611 2678 160 (typically ) 163 SB
774 2678 88 (used ) 91 SB
865 2678 86 (only ) 89 SB
954 2678 44 (to ) 47 SB
1001 2678 140 (provide ) 143 SB
1144 2678 19 (a) 19 SB
150 2728 171 (low-level ) 178 SB
328 2728 154 (message ) 161 SB
489 2728 137 (passing ) 144 SB
633 2728 143 (facility. ) 150 SB
783 2728 11 ( ) 18 SB
801 2728 130 (TWOS ) 137 SB
938 2728 88 (does ) 96 SB
1034 2728 65 (not ) 73 SB
1107 2728 56 (use) 56 SB
150 2778 63 (the ) 78 SB
228 2778 115 (native ) 130 SB
358 2778 171 (operating ) 186 SB
544 2778 158 (system\222s ) 173 SB
717 2778 152 (memory ) 167 SB
884 2778 228 (management ) 244 SB
1128 2778 35 (or) 35 SB
150 2828 129 (schedul) 129 SB
279 2828 270 (ing capabilities.) 270 SB
1238 228 446 (A simulation to be run on ) 447 SB
1685 228 130 (TWOS ) 131 SB
1816 228 93 (must ) 94 SB
1910 228 51 (be ) 52 SB
1962 228 222 (decomposed ) 223 SB
2185 228 66 (into) 66 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1238 277 120 (objects) 120 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1358 278 22 (, ) 25 SB
1383 278 114 (which ) 117 SB
1500 278 67 (run ) 71 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1571 277 106 (events) 106 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1677 278 11 ( ) 15 SB
1692 278 72 (and ) 76 SB
1768 278 88 (send ) 92 SB
1860 278 228 (timestamped ) 232 SB
2092 278 159 (messages) 159 SB
1238 330 806 (to other objects.  \(TWOS objects are similar to ) 807 SB
2045 330 172 (processes ) 173 SB
2218 330 33 (in) 33 SB
1238 380 93 (most ) 100 SB
1338 380 171 (operating ) 178 SB
1516 380 155 (systems, ) 162 SB
1678 380 72 (and ) 79 SB
1757 380 70 (can ) 77 SB
1834 380 51 (be ) 59 SB
1893 380 84 (read ) 92 SB
1985 380 46 (as ) 54 SB
2039 380 212 (synonymous) 212 SB
1238 430 86 (with ) 87 SB
1325 430 19 (\223) 19 SB
1344 430 126 (process) 126 SB
1470 430 19 (\224) 19 SB
1489 430 36 (.\) ) 37 SB
1526 430 11 ( ) 12 SB
1538 430 77 (The ) 78 SB
1616 430 188 (timestamp ) 190 SB
1806 430 53 (on ) 55 SB
1861 430 30 (a ) 32 SB
1893 430 154 (message ) 156 SB
2049 430 39 (is ) 41 SB
2090 430 63 (the ) 65 SB
2155 430 96 (simu-) 96 SB
1238 480 108 (lation ) 110 SB
1348 480 87 (time ) 89 SB
1437 480 42 (at ) 44 SB
1481 480 114 (which ) 116 SB
1597 480 35 (it ) 38 SB
1635 480 39 (is ) 42 SB
1677 480 44 (to ) 47 SB
1724 480 110 (arrive ) 113 SB
1837 480 42 (at ) 45 SB
1882 480 51 (its ) 54 SB
1936 480 197 (destination ) 200 SB
2136 480 115 (object.) 115 SB
1238 530 77 (The ) 79 SB
1317 530 122 (arrival ) 125 SB
1442 530 46 (of ) 49 SB
1491 530 30 (a ) 33 SB
1524 530 154 (message ) 157 SB
1681 530 42 (at ) 45 SB
1726 530 51 (an ) 54 SB
1780 530 115 (object ) 118 SB
1898 530 121 (causes ) 124 SB
2022 530 75 (that ) 78 SB
2100 530 115 (object ) 118 SB
2218 530 33 (to) 33 SB
1238 580 141 (execute ) 148 SB
1386 580 51 (an ) 58 SB
1444 580 103 (event ) 110 SB
1554 580 42 (at ) 49 SB
1603 580 63 (the ) 70 SB
1673 580 190 (simulation ) 197 SB
1870 580 122 (arrival ) 129 SB
1999 580 98 (time. ) 105 SB
2104 580 11 ( ) 18 SB
2122 580 129 (Objects) 129 SB
1238 630 398 (communicate with one ) 399 SB
1637 630 138 (another ) 139 SB
1776 630 112 (solely ) 113 SB
1889 630 53 (by ) 54 SB
1943 630 137 (passing ) 138 SB
2081 630 170 (messages,) 170 SB
1238 680 86 (with ) 88 SB
1326 680 53 (no ) 56 SB
1382 680 121 (shared ) 124 SB
1506 680 152 (memory ) 155 SB
1661 680 119 (whatso) 119 SB
1780 680 95 (ever. ) 98 SB
1878 680 11 ( ) 14 SB
1892 680 129 (Except ) 132 SB
2024 680 60 (for ) 63 SB
2087 680 164 (initializa-) 164 SB
1238 730 77 (tion ) 80 SB
1318 730 72 (and ) 75 SB
1393 730 207 (termination ) 210 SB
1603 730 102 (code, ) 105 SB
1708 730 54 (all ) 57 SB
1765 730 81 (user ) 84 SB
1849 730 91 (code ) 94 SB
1943 730 83 (runs ) 87 SB
2030 730 46 (as ) 50 SB
2080 730 77 (part ) 81 SB
2161 730 46 (of ) 50 SB
2211 730 40 (an) 40 SB
1238 780 103 (event.) 103 SB
1238 880 130 (TWOS ) 140 SB
1378 880 83 (runs ) 93 SB
1471 880 72 (one ) 82 SB
1553 880 190 (simulation ) 200 SB
1753 880 42 (at ) 52 SB
1805 880 30 (a ) 40 SB
1845 880 98 (time, ) 108 SB
1953 880 86 (with ) 96 SB
2049 880 63 (the ) 73 SB
2122 880 84 (goal ) 94 SB
2216 880 35 (of) 35 SB
1238 930 137 (complet) 137 SB
1375 930 65 (ing ) 72 SB
1447 930 75 (that ) 82 SB
1529 930 190 (simulation ) 197 SB
1726 930 46 (as ) 53 SB
1779 930 138 (quickly ) 146 SB
1925 930 46 (as ) 54 SB
1979 930 160 (possible. ) 168 SB
2147 930 11 ( ) 19 SB
2166 930 85 (Each) 85 SB
1238 980 93 (node ) 113 SB
1351 980 46 (of ) 66 SB
1417 980 63 (the ) 83 SB
1500 980 139 (parallel ) 159 SB
1659 980 172 (processor ) 192 SB
1851 980 97 (hosts ) 117 SB
1968 980 131 (several ) 152 SB
2120 980 131 (objects,) 131 SB
1238 1030 129 (schedul) 129 SB
1367 1030 65 (ing ) 74 SB
1441 1030 96 (them ) 105 SB
1546 1030 73 (inde) 73 SB
1619 1030 178 (pendently ) 187 SB
1806 1030 46 (of ) 56 SB
1862 1030 54 (all ) 64 SB
1926 1030 98 (other ) 108 SB
2034 1030 120 (nodes. ) 130 SB
2164 1030 11 ( ) 21 SB
2185 1030 66 (The) 66 SB
1238 1080 94 (local ) 102 SB
1340 1080 115 (object ) 123 SB
1463 1080 86 (with ) 94 SB
1557 1080 51 (an ) 59 SB
1616 1080 98 (unpro) 98 SB
1714 1080 121 (cessed ) 129 SB
1843 1080 154 (message ) 162 SB
2005 1080 42 (at ) 51 SB
2056 1080 63 (the ) 72 SB
2128 1080 123 (earliest) 123 SB
1238 1130 190 (simulation ) 193 SB
1431 1130 87 (time ) 90 SB
1521 1130 39 (is ) 42 SB
1563 1130 128 (always ) 131 SB
1694 1130 67 (run ) 70 SB
1764 1130 95 (next. ) 99 SB
1863 1130 11 ( ) 15 SB
1878 1130 105 (Since ) 109 SB
1987 1130 144 (TWOS\222 ) 148 SB
2135 1130 84 (goal ) 88 SB
2223 1130 28 (is) 28 SB
1238 1180 72 (fast ) 89 SB
1327 1180 202 (completion ) 220 SB
1547 1180 46 (of ) 64 SB
1611 1180 63 (the ) 81 SB
1692 1180 129 (overall ) 147 SB
1839 1180 201 (simulation, ) 219 SB
2058 1180 142 (fairness ) 160 SB
2218 1180 33 (in) 33 SB
1238 1230 194 (scheduling ) 210 SB
1448 1230 131 (objects ) 147 SB
1595 1230 39 (is ) 55 SB
1650 1230 65 (not ) 81 SB
1731 1230 30 (a ) 47 SB
1778 1230 110 (consid) 110 SB
1888 1230 140 (eration. ) 157 SB
2045 1230 11 ( ) 28 SB
2073 1230 178 (Therefore,) 178 SB
1238 1280 130 (TWOS ) 136 SB
1374 1280 88 (does ) 94 SB
1468 1280 65 (not ) 71 SB
1539 1280 138 (employ ) 144 SB
1683 1280 87 (time ) 93 SB
1776 1280 110 (sliced ) 116 SB
1892 1280 205 (scheduling. ) 212 SB
2104 1280 11 ( ) 18 SB
2122 1280 129 (Objects) 129 SB
1238 1330 63 (are ) 82 SB
1320 1330 86 (only ) 105 SB
1425 1330 204 (pre-empted ) 223 SB
1648 1330 102 (when ) 121 SB
1769 1330 138 (another ) 158 SB
1927 1330 115 (object ) 135 SB
2062 1330 150 (receives ) 170 SB
2232 1330 19 (a) 19 SB
1238 1380 154 (message ) 157 SB
1395 1380 42 (at ) 45 SB
1440 1380 51 (an ) 54 SB
1494 1380 120 (earlier ) 123 SB
1617 1380 87 (time ) 90 SB
1707 1380 84 (than ) 88 SB
1795 1380 75 (that ) 79 SB
1874 1380 46 (of ) 50 SB
1924 1380 63 (the ) 67 SB
1991 1380 103 (event ) 107 SB
2098 1380 153 (currently) 153 SB
1238 1430 142 (running.) 142 SB
1238 1530 105 (Since ) 106 SB
1344 1530 89 (each ) 90 SB
1434 1530 172 (processor ) 173 SB
1607 1530 175 (schedules ) 177 SB
1784 1530 140 (without ) 142 SB
1926 1530 138 (waiting ) 140 SB
2066 1530 60 (for ) 62 SB
2128 1530 46 (or ) 48 SB
2176 1530 75 (con-) 75 SB
1238 1580 61 (sult) 61 SB
1299 1580 65 (ing ) 70 SB
1369 1580 98 (other ) 103 SB
1472 1580 199 (processors, ) 204 SB
1676 1580 42 (at ) 47 SB
1723 1580 72 (any ) 78 SB
1801 1580 105 (given ) 111 SB
1912 1580 124 (instant ) 130 SB
2042 1580 46 (of ) 52 SB
2094 1580 75 (real ) 81 SB
2175 1580 76 (time) 76 SB
1238 1630 63 (the ) 64 SB
1302 1630 158 (system\222s ) 159 SB
1461 1630 188 (processors ) 189 SB
1650 1630 84 (may ) 85 SB
1735 1630 51 (be ) 52 SB
1787 1630 151 (working ) 152 SB
1939 1630 42 (at ) 43 SB
1982 1630 30 (a ) 32 SB
2014 1630 93 (wide ) 95 SB
2109 1630 105 (range ) 107 SB
2216 1630 35 (of) 35 SB
1238 1680 113 (simula) 113 SB
1351 1680 379 (tion times.  An object ) 380 SB
1731 1680 151 (working ) 152 SB
1883 1680 44 (in ) 45 SB
1928 1680 63 (the ) 64 SB
1992 1680 190 (simulation ) 191 SB
2183 1680 68 (past) 68 SB
1238 1730 70 (can ) 84 SB
1322 1730 88 (send ) 102 SB
1424 1730 30 (a ) 44 SB
1468 1730 154 (message ) 168 SB
1636 1730 44 (to ) 58 SB
1694 1730 138 (another ) 152 SB
1846 1730 115 (object ) 129 SB
1975 1730 151 (working ) 165 SB
2140 1730 44 (in ) 59 SB
2199 1730 52 (the) 52 SB
1238 1780 113 (simula) 113 SB
1351 1780 77 (tion ) 79 SB
1430 1780 123 (future. ) 126 SB
1556 1780 11 ( ) 14 SB
1570 1780 39 (If ) 42 SB
1612 1780 63 (the ) 66 SB
1678 1780 154 (message ) 157 SB
1835 1780 39 (is ) 42 SB
1877 1780 180 (scheduled ) 183 SB
2060 1780 44 (to ) 47 SB
2107 1780 110 (arrive ) 113 SB
2220 1780 31 (at) 31 SB
1238 1830 30 (a ) 49 SB
1287 1830 87 (time ) 106 SB
1393 1830 120 (earlier ) 139 SB
1532 1830 84 (than ) 103 SB
1635 1830 63 (the ) 82 SB
1717 1830 169 (receiving ) 188 SB
1905 1830 115 (object ) 134 SB
2039 1830 39 (is ) 59 SB
2098 1830 153 (currently) 153 SB
1238 1880 170 (handling, ) 177 SB
1415 1880 63 (the ) 70 SB
1485 1880 148 (receiver ) 155 SB
1640 1880 93 (must ) 100 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1740 1879 72 (roll ) 80 SB
1820 1879 80 (back) 80 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1900 1880 11 ( ) 19 SB
1919 1880 60 (his ) 68 SB
1987 1880 223 (computation ) 231 SB
2218 1880 33 (to) 33 SB
1238 1932 63 (the ) 72 SB
1310 1932 87 (time ) 96 SB
1406 1932 46 (of ) 55 SB
1461 1932 63 (the ) 72 SB
1533 1932 114 (newly ) 123 SB
1656 1932 131 (arrived ) 140 SB
1796 1932 165 (message. ) 175 SB
1971 1932 11 ( ) 21 SB
1992 1932 83 (Any ) 93 SB
2085 1932 166 (erroneous) 166 SB
1238 1982 97 (work ) 98 SB
1336 1982 93 (done ) 94 SB
1430 1982 53 (by ) 55 SB
1485 1982 63 (the ) 65 SB
1550 1982 217 (out-of-order ) 219 SB
1769 1982 223 (computation ) 225 SB
1994 1982 93 (must ) 95 SB
2089 1982 51 (be ) 53 SB
2142 1982 109 (totally) 109 SB
1238 2032 146 (undone. ) 154 SB
1392 2032 11 ( ) 20 SB
1412 2032 158 (Undoing ) 167 SB
1579 2032 63 (the ) 72 SB
1651 2032 177 (erroneous ) 186 SB
1837 2032 97 (work ) 106 SB
1943 2032 147 (requires ) 156 SB
2099 2032 152 (throwing) 152 SB
1238 2082 100 (away ) 109 SB
1347 2082 94 (local ) 103 SB
1450 2082 121 (results ) 130 SB
1580 2082 72 (and ) 81 SB
1661 2082 142 (sending ) 151 SB
1812 2082 154 (message ) 163 SB
1975 2082 233 (cancellations ) 243 SB
2218 2082 33 (to) 33 SB
1238 2132 98 (other ) 103 SB
1341 2132 142 (objects. ) 147 SB
1488 2132 11 ( ) 16 SB
1504 2132 130 (TWOS ) 135 SB
1639 2132 39 (is ) 44 SB
1683 2132 82 (able ) 87 SB
1770 2132 44 (to ) 49 SB
1819 2132 162 (correctly ) 167 SB
1986 2132 95 (undo ) 101 SB
2087 2132 72 (any ) 78 SB
2165 2132 86 (work) 86 SB
1238 2182 93 (done ) 96 SB
1334 2182 106 (prema) 106 SB
1440 2182 121 (turely, ) 124 SB
1564 2182 105 (along ) 108 SB
1672 2182 86 (with ) 89 SB
1761 2182 72 (any ) 75 SB
1836 2182 79 (side ) 82 SB
1918 2182 124 (effects ) 127 SB
2045 2182 35 (it ) 38 SB
2083 2182 84 (may ) 88 SB
2171 2182 80 (have) 80 SB
1238 2232 83 (had. ) 89 SB
1327 2232 11 ( ) 17 SB
1344 2232 130 (TWOS ) 136 SB
1480 2232 59 (roll) 59 SB
1539 2232 91 (back ) 97 SB
1636 2232 72 (and ) 78 SB
1714 2232 154 (message ) 160 SB
1874 2232 217 (cancellation ) 223 SB
2097 2232 39 (is ) 45 SB
2142 2232 109 (totally) 109 SB
1238 2282 391 (transparent to the appli) 391 SB
1629 2282 269 (cation program.) 269 SB
1238 2382 53 (At ) 61 SB
1299 2382 72 (any ) 80 SB
1379 2382 105 (given ) 114 SB
1493 2382 150 (moment ) 159 SB
1652 2382 44 (in ) 53 SB
1705 2382 30 (a ) 39 SB
1744 2382 130 (TWOS ) 139 SB
1883 2382 78 (run, ) 87 SB
1970 2382 63 (the ) 72 SB
2042 2382 209 (simulation\222s) 209 SB
1238 2432 131 (objects ) 141 SB
1379 2432 91 (have ) 101 SB
1480 2432 187 (performed ) 197 SB
1677 2432 100 (some ) 110 SB
1787 2432 97 (work ) 108 SB
1895 2432 173 (correctly, ) 184 SB
2079 2432 72 (and ) 83 SB
2162 2432 89 (some) 89 SB
1238 2482 97 (work ) 103 SB
1341 2482 44 (in ) 50 SB
1391 2482 104 (error. ) 110 SB
1501 2482 11 ( ) 17 SB
1518 2482 130 (TWOS ) 136 SB
1654 2482 214 (periodically ) 220 SB
1874 2482 179 (calculates ) 185 SB
2059 2482 63 (the ) 69 SB
2128 2482 123 (earliest) 123 SB
1238 2532 113 (simula) 113 SB
1351 2532 239 (tion time that ) 240 SB
1591 2532 105 (could ) 106 SB
1697 2532 75 (still ) 76 SB
1773 2532 51 (be ) 52 SB
1825 2532 44 (in ) 45 SB
1870 2532 104 (error. ) 105 SB
1975 2532 11 ( ) 12 SB
1987 2532 83 (Any ) 84 SB
2071 2532 97 (work ) 98 SB
2169 2532 82 (done) 82 SB
1238 2582 60 (for ) 68 SB
1306 2582 190 (simulation ) 198 SB
1504 2582 103 (times ) 111 SB
1615 2582 120 (earlier ) 128 SB
1743 2582 84 (than ) 92 SB
1835 2582 75 (that ) 83 SB
1918 2582 87 (time ) 95 SB
2013 2582 77 (will ) 85 SB
2098 2582 105 (never ) 113 SB
2211 2582 40 (be) 40 SB
1238 2632 110 (rolled ) 124 SB
1362 2632 102 (back, ) 116 SB
1478 2632 72 (and ) 86 SB
1564 2632 70 (can ) 84 SB
1648 2632 51 (be ) 65 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1713 2631 176 (committed) 176 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1889 2632 22 (. ) 36 SB
1925 2632 11 ( ) 25 SB
1950 2632 93 (Both ) 107 SB
2057 2632 119 (events ) 133 SB
2190 2632 61 (and) 61 SB
1238 2684 170 (messages ) 172 SB
1410 2684 70 (can ) 73 SB
1483 2684 51 (be ) 54 SB
1537 2684 204 (committed. ) 207 SB
1744 2684 11 ( ) 14 SB
1758 2684 41 (A ) 44 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1802 2683 187 (committed ) 190 SB
1992 2683 142 (message) 142 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
2134 2684 11 ( ) 14 SB
2148 2684 39 (is ) 42 SB
2190 2684 61 (one) 61 SB
1238 2736 75 (that ) 85 SB
1323 2736 116 (would ) 126 SB
1449 2736 91 (have ) 101 SB
1550 2736 91 (been ) 101 SB
1651 2736 79 (sent ) 90 SB
1741 2736 44 (in ) 55 SB
1796 2736 63 (the ) 74 SB
1870 2736 183 (sequential ) 194 SB
2064 2736 67 (run ) 78 SB
2142 2736 46 (of ) 57 SB
2199 2736 52 (the) 52 SB
1238 2786 165 (program, ) 173 SB
1411 2786 72 (and ) 80 SB
1491 2786 30 (a ) 38 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1529 2785 187 (committed ) 195 SB
1724 2785 90 (event) 90 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1814 2786 11 ( ) 19 SB
1833 2786 39 (is ) 48 SB
1881 2786 72 (one ) 81 SB
1962 2786 75 (that ) 84 SB
2046 2786 116 (would ) 125 SB
2171 2786 80 (have) 80 SB
1238 2838 91 (been ) 98 SB
1336 2838 187 (performed ) 194 SB
1530 2838 44 (in ) 51 SB
1581 2838 63 (the ) 71 SB
1652 2838 183 (sequential ) 191 SB
1843 2838 67 (run ) 75 SB
1918 2838 46 (of ) 54 SB
1972 2838 63 (the ) 71 SB
2043 2838 165 (program. ) 173 SB
2216 2838 35 (In) 35 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Italic
%%+ font Times-Roman
%%Page: 3 3
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
150 228 151 (essence, ) 152 SB
302 228 98 (these ) 99 SB
401 228 130 (commit) 130 SB
531 228 63 (ted ) 64 SB
595 228 131 (actions ) 132 SB
727 228 166 (represent ) 167 SB
894 228 63 (the ) 65 SB
959 228 129 (correct ) 131 SB
1090 228 73 (path) 73 SB
150 278 46 (of ) 48 SB
198 278 223 (computation ) 225 SB
423 278 60 (for ) 63 SB
486 278 30 (a ) 33 SB
519 278 201 (simulation. ) 204 SB
723 278 11 ( ) 14 SB
737 278 58 (To ) 61 SB
798 278 94 (meet ) 97 SB
895 278 51 (its ) 54 SB
949 278 99 (defini) 99 SB
1048 278 77 (tion ) 80 SB
1128 278 35 (of) 35 SB
150 328 129 (correct ) 138 SB
288 328 170 (behavior, ) 179 SB
467 328 72 (any ) 81 SB
548 328 103 (event ) 112 SB
660 328 46 (or ) 55 SB
715 328 154 (message ) 163 SB
878 328 130 (TWOS ) 139 SB
1017 328 146 (commits) 146 SB
150 378 93 (must ) 94 SB
244 378 134 (exactly ) 135 SB
379 378 198 (correspond ) 199 SB
578 378 44 (to ) 45 SB
623 378 51 (an ) 52 SB
675 378 103 (event ) 104 SB
779 378 46 (or ) 47 SB
826 378 154 (message ) 155 SB
981 378 75 (that ) 77 SB
1058 378 105 (would) 105 SB
150 428 51 (be ) 56 SB
206 428 193 (committed ) 198 SB
404 428 44 (in ) 49 SB
453 428 30 (a ) 35 SB
488 428 117 (sequen) 117 SB
605 428 66 (tial ) 71 SB
676 428 67 (run ) 72 SB
748 428 46 (of ) 52 SB
800 428 63 (the ) 69 SB
869 428 98 (same ) 104 SB
973 428 190 (simulation,) 190 SB
150 478 72 (and ) 83 SB
233 478 105 (every ) 116 SB
349 478 154 (message ) 165 SB
514 478 46 (or ) 57 SB
571 478 103 (event ) 114 SB
685 478 44 (in ) 55 SB
740 478 30 (a ) 41 SB
781 478 183 (sequential ) 194 SB
975 478 67 (run ) 78 SB
1053 478 46 (of ) 58 SB
1111 478 52 (the) 52 SB
150 528 190 (simulation ) 194 SB
344 528 93 (must ) 97 SB
441 528 51 (be ) 55 SB
496 528 155 (matched ) 159 SB
655 528 53 (by ) 57 SB
712 528 30 (a ) 34 SB
746 528 154 (message ) 158 SB
904 528 46 (or ) 50 SB
954 528 103 (event ) 108 SB
1062 528 44 (in ) 49 SB
1111 528 52 (the) 52 SB
150 578 602 (committed trace of the parallel run.) 602 SB
150 678 77 (The ) 84 SB
234 678 130 (TWOS ) 137 SB
371 678 129 (project ) 136 SB
507 678 67 (has ) 74 SB
581 678 185 (developed ) 193 SB
774 678 30 (a ) 38 SB
812 678 183 (sequential ) 191 SB
1003 678 160 (simulator) 160 SB
150 728 113 (called ) 119 SB
269 728 151 (TWSIM ) 158 SB
427 728 75 (that ) 82 SB
509 728 83 (runs ) 90 SB
599 728 134 (exactly ) 141 SB
740 728 63 (the ) 70 SB
810 728 98 (same ) 105 SB
915 728 206 (simulations ) 213 SB
1128 728 35 (as) 35 SB
150 778 141 (TWOS. ) 152 SB
302 778 151 (TWSIM ) 162 SB
464 778 39 (is ) 50 SB
514 778 30 (a ) 41 SB
555 778 230 (conventional ) 241 SB
796 778 103 (event ) 114 SB
910 778 63 (list ) 74 SB
984 778 179 (simulation) 179 SB
150 828 124 (engine ) 137 SB
287 828 161 (designed ) 174 SB
461 828 44 (to ) 57 SB
518 828 137 (support ) 150 SB
668 828 200 (application ) 213 SB
881 828 208 (prototyping ) 221 SB
1102 828 61 (and) 61 SB
150 878 140 (provide ) 152 SB
302 878 112 (single ) 124 SB
426 878 172 (processor ) 184 SB
610 878 225 (performance ) 237 SB
847 878 139 (figures. ) 152 SB
999 878 11 ( ) 24 SB
1023 878 140 (TWSIM) 140 SB
150 928 79 (also ) 88 SB
238 928 116 (serves ) 125 SB
363 928 46 (as ) 55 SB
418 928 30 (a ) 39 SB
457 928 114 (useful ) 123 SB
580 928 77 (tool ) 86 SB
666 928 60 (for ) 69 SB
735 928 124 (testing ) 133 SB
868 928 63 (the ) 73 SB
941 928 222 (deterministic) 222 SB
150 978 103 (perfor) 103 SB
253 978 122 (mance ) 127 SB
380 978 46 (of ) 51 SB
431 978 141 (TWOS, ) 146 SB
577 978 46 (as ) 51 SB
628 978 51 (its ) 56 SB
684 978 176 (execution ) 181 SB
865 978 46 (of ) 52 SB
917 978 51 (an ) 57 SB
974 978 189 (application) 189 SB
150 1028 93 (must ) 106 SB
256 1028 51 (be ) 64 SB
320 1028 158 (identical ) 171 SB
491 1028 44 (to ) 57 SB
548 1028 63 (the ) 76 SB
624 1028 193 (committed ) 207 SB
831 1028 94 (trace ) 108 SB
939 1028 168 (produced ) 182 SB
1121 1028 42 (by) 42 SB
150 1078 141 (TWOS. ) 145 SB
295 1078 11 ( ) 15 SB
310 1078 151 (TWSIM ) 155 SB
465 1078 83 (uses ) 87 SB
552 1078 30 (a ) 34 SB
586 1078 127 (central ) 131 SB
717 1078 103 (event ) 107 SB
824 1078 112 (queue ) 117 SB
941 1078 222 (implemented) 222 SB
150 1128 46 (as ) 55 SB
205 1128 30 (a ) 39 SB
244 1128 100 (splay ) 109 SB
353 1128 86 (tree, ) 96 SB
449 1128 72 (and ) 82 SB
531 1128 67 (has ) 77 SB
608 1128 91 (been ) 101 SB
709 1128 204 (extensively ) 214 SB
923 1128 181 (optimized ) 191 SB
1114 1128 49 (for) 49 SB
150 1178 118 (speed. ) 123 SB
273 1178 11 ( ) 16 SB
289 1178 37 (It ) 42 SB
331 1178 83 (runs ) 88 SB
419 1178 53 (on ) 58 SB
477 1178 72 (one ) 77 SB
554 1178 172 (processor ) 177 SB
731 1178 46 (of ) 51 SB
782 1178 63 (the ) 68 SB
850 1178 98 (same ) 104 SB
954 1178 168 (hardware ) 174 SB
1128 1178 35 (as) 35 SB
150 1228 130 (TWOS ) 136 SB
286 1228 107 (itself. ) 114 SB
400 1228 11 ( ) 18 SB
418 1228 77 (The ) 84 SB
502 1228 183 (sequential ) 190 SB
692 1228 171 (simulator ) 178 SB
870 1228 105 (never ) 112 SB
982 1228 88 (does ) 95 SB
1077 1228 86 (work) 86 SB
150 1278 433 (optimistically, and never ) 434 SB
584 1278 107 (needs ) 108 SB
692 1278 44 (to ) 45 SB
737 1278 70 (roll ) 71 SB
808 1278 91 (back ) 92 SB
900 1278 72 (any ) 73 SB
973 1278 97 (work ) 98 SB
1071 1278 35 (it ) 36 SB
1107 1278 56 (has) 56 SB
150 1328 93 (done.) 93 SB
150 1428 46 (In ) 49 SB
199 1428 30 (a ) 33 SB
232 1428 194 (production ) 197 SB
429 1428 236 (environment, ) 239 SB
668 1428 151 (TWSIM ) 154 SB
822 1428 116 (would ) 119 SB
941 1428 51 (be ) 55 SB
996 1428 88 (used ) 92 SB
1088 1428 75 (only) 75 SB
150 1478 60 (for ) 69 SB
219 1478 199 (developing ) 208 SB
427 1478 217 (simulations, ) 227 SB
654 1478 65 (not ) 75 SB
729 1478 60 (for ) 70 SB
799 1478 216 (determining ) 226 SB
1025 1478 138 (speedup) 138 SB
150 1528 67 (nor ) 72 SB
222 1528 116 (validat) 116 SB
338 1528 65 (ing ) 70 SB
408 1528 234 (determinism. ) 239 SB
647 1528 11 ( ) 16 SB
663 1528 141 (TWOS, ) 147 SB
810 1528 37 (if ) 43 SB
853 1528 154 (properly ) 160 SB
1013 1528 150 (designed) 150 SB
150 1578 72 (and ) 88 SB
238 1578 97 (imple) 97 SB
335 1578 147 (mented, ) 164 SB
499 1578 123 (should ) 140 SB
639 1578 147 (produce ) 164 SB
803 1578 233 (deterministic ) 250 SB
1053 1578 110 (results) 110 SB
150 1628 140 (without ) 152 SB
302 1628 63 (the ) 75 SB
377 1628 166 (necessity ) 178 SB
555 1628 46 (of ) 59 SB
614 1628 181 (validating ) 194 SB
808 1628 107 (them, ) 120 SB
928 1628 48 (so ) 61 SB
989 1628 75 (that ) 88 SB
1077 1628 86 (users) 86 SB
150 1678 221 (would never ) 222 SB
372 1678 103 (make ) 104 SB
476 1678 151 (TWSIM ) 152 SB
628 1678 83 (runs ) 84 SB
712 1678 129 (strictly ) 130 SB
842 1678 60 (for ) 61 SB
903 1678 63 (the ) 64 SB
967 1678 160 (purposes ) 161 SB
1128 1678 35 (of) 35 SB
150 1728 991 (validating determinism, unless an error had been detected.) 991 SB
150 1828 202 (Experience ) 229 SB
379 1828 86 (with ) 113 SB
492 1828 130 (TWOS ) 157 SB
649 1828 67 (has ) 94 SB
743 1828 120 (shown ) 147 SB
890 1828 75 (that ) 103 SB
993 1828 170 (optimistic) 170 SB
150 1878 176 (execution ) 180 SB
330 1878 70 (can ) 74 SB
404 1878 140 (provide ) 144 SB
548 1878 165 (excellent ) 170 SB
718 1878 149 (speedup ) 154 SB
872 1878 46 (of ) 51 SB
923 1878 143 (discrete ) 148 SB
1071 1878 92 (event) 92 SB
150 1928 201 (simulation, ) 206 SB
356 1928 131 (despite ) 136 SB
492 1928 103 (fairly ) 108 SB
600 1928 152 (frequent ) 157 SB
757 1928 166 (rollbacks ) 171 SB
928 1928 46 (of ) 51 SB
979 1928 97 (work ) 102 SB
1081 1928 82 (done) 82 SB
150 1978 210 (improperly. ) 211 SB
361 1978 11 ( ) 12 SB
373 1978 130 (TWOS ) 131 SB
504 1978 67 (has ) 69 SB
573 1978 162 (achieved ) 164 SB
737 1978 165 (speedups ) 167 SB
904 1978 44 (in ) 46 SB
950 1978 121 (excess ) 123 SB
1073 1978 46 (of ) 48 SB
1121 1978 42 (40) 42 SB
150 2028 103 (times ) 117 SB
267 2028 63 (the ) 77 SB
344 2028 107 (speed ) 121 SB
465 2028 46 (of ) 60 SB
525 2028 63 (the ) 77 SB
602 2028 98 (same ) 112 SB
714 2028 190 (simulation ) 205 SB
919 2028 187 (performed ) 202 SB
1121 2028 42 (by) 42 SB
150 2078 211 (TWSIM [4].) 211 SB
150 2178 130 (TWOS ) 134 SB
284 2178 39 (is ) 43 SB
327 2178 105 (being ) 109 SB
436 2178 88 (used ) 93 SB
529 2178 44 (to ) 49 SB
578 2178 145 (develop ) 150 SB
728 2178 75 (real ) 80 SB
808 2178 217 (simulations, ) 222 SB
1030 2178 72 (and ) 77 SB
1107 2178 56 (has) 56 SB
150 2228 91 (been ) 111 SB
261 2228 110 (tested ) 130 SB
391 2228 86 (with ) 106 SB
497 2228 30 (a ) 51 SB
548 2228 129 (variety ) 150 SB
698 2228 46 (of ) 67 SB
765 2228 217 (simulations, ) 238 SB
1003 2228 160 (including) 160 SB
150 2278 146 (military ) 183 SB
333 2278 113 (simula) 113 SB
446 2278 93 (tions ) 130 SB
576 2278 71 ([3], ) 108 SB
684 2278 137 (physics ) 175 SB
859 2278 206 (simulations ) 244 SB
1103 2278 60 ([4],) 60 SB
150 2328 206 (simulations ) 224 SB
374 2328 46 (of ) 64 SB
438 2328 171 (computer ) 190 SB
628 2328 165 (networks ) 184 SB
812 2328 71 ([6], ) 90 SB
902 2328 72 (and ) 91 SB
993 2328 170 (biological) 170 SB
150 2378 266 (simulations [7].) 266 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
394 2478 524 (Determinism at the User Level) 524 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
150 2578 130 (TWOS ) 131 SB
281 2578 97 (users ) 98 SB
379 2578 93 (want ) 94 SB
473 2578 89 (their ) 90 SB
563 2578 139 (parallel ) 141 SB
704 2578 155 (machine ) 157 SB
861 2578 44 (to ) 46 SB
907 2578 131 (behave ) 133 SB
1040 2578 123 (exactly) 123 SB
150 2628 75 (like ) 82 SB
232 2628 30 (a ) 37 SB
269 2628 112 (single ) 119 SB
388 2628 183 (sequential ) 190 SB
578 2628 166 (machine, ) 173 SB
751 2628 65 (but ) 72 SB
823 2628 116 (faster. ) 123 SB
946 2628 11 ( ) 19 SB
965 2628 198 (Completely) 198 SB
150 2678 119 (hiding ) 124 SB
274 2678 63 (the ) 68 SB
342 2678 139 (parallel ) 144 SB
486 2678 117 (nature ) 122 SB
608 2678 46 (of ) 51 SB
659 2678 63 (the ) 68 SB
727 2678 128 (system ) 134 SB
861 2678 39 (is ) 45 SB
906 2678 65 (not ) 71 SB
977 2678 154 (feasible, ) 160 SB
1137 2678 26 (if) 26 SB
150 2728 63 (the ) 71 SB
221 2728 190 (simulation ) 198 SB
419 2728 170 (designers ) 178 SB
597 2728 93 (want ) 101 SB
698 2728 44 (to ) 52 SB
750 2728 63 (get ) 71 SB
821 2728 95 (good ) 103 SB
924 2728 176 (speedups, ) 185 SB
1109 2728 54 (but) 54 SB
150 2778 84 (they ) 97 SB
247 2778 70 (can ) 83 SB
330 2778 194 (reasonably ) 207 SB
537 2778 122 (expect ) 135 SB
672 2778 75 (that ) 88 SB
760 2778 159 (anything ) 172 SB
932 2778 84 (they ) 98 SB
1030 2778 53 (do ) 67 SB
1097 2778 66 (will) 66 SB
150 2828 147 (produce ) 172 SB
322 2828 63 (the ) 88 SB
410 2828 98 (same ) 123 SB
533 2828 190 (simulation ) 215 SB
748 2828 121 (results ) 146 SB
894 2828 44 (in ) 69 SB
963 2828 139 (parallel ) 165 SB
1128 2828 35 (as) 35 SB
150 2878 216 (sequentially.) 216 SB
1238 228 62 (An ) 70 SB
1308 228 155 (example ) 163 SB
1471 228 93 (from ) 101 SB
1572 228 30 (a ) 38 SB
1610 228 127 (typical ) 135 SB
1745 228 190 (simulation ) 199 SB
1944 228 77 (will ) 86 SB
2030 228 160 (illustrate ) 169 SB
2199 228 52 (the) 52 SB
1238 278 1013 (problem.  In a military simulation, a moving unit may enter) 1013 SB
1238 328 63 (the ) 75 SB
1313 328 138 (domain ) 150 SB
1463 328 46 (of ) 58 SB
1521 328 30 (a ) 42 SB
1563 328 112 (sector ) 124 SB
1687 328 46 (of ) 58 SB
1745 328 63 (the ) 75 SB
1820 328 195 (battlefield. ) 207 SB
2027 328 11 ( ) 24 SB
2051 328 135 (Sectors ) 148 SB
2199 328 52 (are) 52 SB
1238 378 133 (usually ) 136 SB
1374 378 203 (responsible ) 206 SB
1580 378 60 (for ) 63 SB
1643 378 216 (determining ) 219 SB
1862 378 114 (which ) 117 SB
1979 378 93 (units ) 96 SB
2075 378 70 (can ) 74 SB
2149 378 102 (detect) 102 SB
1238 428 98 (other ) 106 SB
1344 428 104 (units, ) 112 SB
1456 428 48 (so ) 56 SB
1512 428 84 (they ) 92 SB
1604 428 131 (require ) 139 SB
1743 428 167 (complete ) 175 SB
1918 428 211 (information ) 219 SB
2137 428 53 (on ) 62 SB
2199 428 52 (the) 52 SB
1238 478 147 (position ) 153 SB
1391 478 72 (and ) 78 SB
1469 478 148 (velocity ) 154 SB
1623 478 46 (of ) 52 SB
1675 478 54 (all ) 60 SB
1735 478 93 (units ) 99 SB
1834 478 119 (within ) 125 SB
1959 478 89 (their ) 96 SB
2055 478 196 (boundaries.) 196 SB
1238 528 112 (When ) 120 SB
1358 528 30 (a ) 38 SB
1396 528 77 (unit ) 85 SB
1481 528 121 (moves ) 129 SB
1610 528 93 (from ) 102 SB
1712 528 72 (one ) 81 SB
1793 528 112 (sector ) 121 SB
1914 528 44 (to ) 53 SB
1967 528 149 (another, ) 158 SB
2125 528 63 (the ) 72 SB
2197 528 54 (old) 54 SB
1238 578 112 (sector ) 118 SB
1356 578 104 (sends ) 111 SB
1467 578 30 (a ) 37 SB
1504 578 154 (message ) 161 SB
1665 578 120 (telling ) 127 SB
1792 578 63 (the ) 70 SB
1862 578 81 (new ) 88 SB
1950 578 112 (sector ) 119 SB
2069 578 44 (to ) 51 SB
2120 578 72 (add ) 79 SB
2199 578 52 (the) 52 SB
1238 628 77 (unit ) 78 SB
1316 628 44 (to ) 45 SB
1361 628 51 (its ) 52 SB
1413 628 90 (lists. ) 91 SB
1504 628 11 ( ) 12 SB
1516 628 212 (Meanwhile, ) 213 SB
1729 628 63 (the ) 64 SB
1793 628 77 (unit ) 79 SB
1872 628 84 (may ) 86 SB
1958 628 131 (change ) 133 SB
2091 628 51 (its ) 53 SB
2144 628 107 (speed.) 107 SB
1238 678 86 (This ) 92 SB
1330 678 131 (change ) 137 SB
1467 678 93 (must ) 99 SB
1566 678 51 (be ) 57 SB
1623 678 136 (relayed ) 142 SB
1765 678 44 (to ) 50 SB
1815 678 63 (the ) 69 SB
1884 678 81 (new ) 87 SB
1971 678 112 (sector ) 119 SB
2090 678 48 (so ) 55 SB
2145 678 75 (that ) 82 SB
2227 678 24 (it) 24 SB
1238 728 70 (can ) 74 SB
1312 728 154 (properly ) 158 SB
1470 728 96 (track ) 100 SB
1570 728 63 (the ) 67 SB
1637 728 88 (unit, ) 92 SB
1729 728 48 (so ) 52 SB
1781 728 30 (a ) 34 SB
1815 728 154 (message ) 158 SB
1973 728 86 (with ) 90 SB
2063 728 63 (the ) 68 SB
2131 728 120 (change) 120 SB
1238 778 46 (of ) 56 SB
1294 778 107 (speed ) 117 SB
1411 778 39 (is ) 49 SB
1460 778 79 (also ) 89 SB
1549 778 79 (sent ) 89 SB
1638 778 44 (to ) 54 SB
1692 778 63 (the ) 73 SB
1765 778 123 (sector. ) 133 SB
1898 778 11 ( ) 21 SB
1919 778 46 (In ) 56 SB
1975 778 190 (simulation ) 200 SB
2175 778 76 (time) 76 SB
1238 828 111 (order, ) 115 SB
1353 828 63 (the ) 67 SB
1420 828 154 (message ) 158 SB
1578 828 44 (to ) 48 SB
1626 828 72 (add ) 76 SB
1702 828 63 (the ) 67 SB
1769 828 77 (unit ) 81 SB
1850 828 44 (to ) 48 SB
1898 828 63 (the ) 68 SB
1966 828 112 (sector ) 117 SB
2083 828 123 (should ) 128 SB
2211 828 40 (be) 40 SB
1238 878 943 (received before the message to change the unit\222s speed.) 943 SB
1238 978 46 (In ) 69 SB
1307 978 30 (a ) 53 SB
1360 978 183 (sequential ) 206 SB
1566 978 201 (simulation, ) 224 SB
1790 978 72 (this ) 95 SB
1885 978 157 (situation ) 180 SB
2065 978 121 (causes ) 144 SB
2209 978 42 (no) 42 SB
1238 1028 163 (problem. ) 164 SB
1402 1028 11 ( ) 12 SB
1414 1028 77 (The ) 79 SB
1493 1028 150 (moment ) 152 SB
1645 1028 75 (that ) 77 SB
1722 1028 63 (the ) 65 SB
1787 1028 166 (necessity ) 168 SB
1955 1028 44 (to ) 46 SB
2001 1028 131 (change ) 133 SB
2134 1028 117 (sectors) 117 SB
1238 1078 39 (is ) 45 SB
1283 1078 116 (noted, ) 122 SB
1405 1078 51 (an ) 57 SB
1462 1078 103 (event ) 109 SB
1571 1078 77 (will ) 83 SB
1654 1078 51 (be ) 58 SB
1712 1078 121 (posted ) 128 SB
1840 1078 53 (on ) 60 SB
1900 1078 63 (the ) 70 SB
1970 1078 103 (event ) 110 SB
2080 1078 63 (list ) 70 SB
2150 1078 42 (at ) 49 SB
2199 1078 52 (the) 52 SB
1238 1128 87 (time ) 91 SB
1329 1128 46 (of ) 50 SB
1379 1128 63 (the ) 67 SB
1446 1128 142 (change. ) 146 SB
1592 1128 11 ( ) 15 SB
1607 1128 77 (The ) 81 SB
1688 1128 131 (change ) 135 SB
1823 1128 46 (of ) 50 SB
1873 1128 148 (velocity ) 153 SB
2026 1128 154 (message ) 159 SB
2185 1128 66 (will) 66 SB
1238 1178 51 (be ) 69 SB
1307 1178 121 (posted ) 139 SB
1446 1178 126 (further ) 144 SB
1590 1178 105 (along ) 123 SB
1713 1178 63 (the ) 82 SB
1795 1178 98 (same ) 117 SB
1912 1178 103 (event ) 122 SB
2034 1178 74 (list. ) 93 SB
2127 1178 11 ( ) 30 SB
2157 1178 94 (Since) 94 SB
1238 1228 183 (sequential ) 202 SB
1440 1228 113 (simula) 113 SB
1553 1228 74 (tors ) 93 SB
1646 1228 126 (simply ) 145 SB
1791 1228 138 (remove ) 157 SB
1948 1228 119 (events ) 138 SB
2086 1228 93 (from ) 113 SB
2199 1228 52 (the) 52 SB
1238 1278 127 (central ) 133 SB
1371 1278 103 (event ) 109 SB
1480 1278 63 (list ) 69 SB
1549 1278 44 (in ) 50 SB
1599 1278 190 (simulation ) 197 SB
1796 1278 87 (time ) 94 SB
1890 1278 111 (order, ) 118 SB
2008 1278 63 (the ) 70 SB
2078 1278 131 (change ) 138 SB
2216 1278 35 (of) 35 SB
1238 1328 924 (sector will be processed before the change of velocity.) 924 SB
1238 1428 72 (But ) 74 SB
1312 1428 93 (most ) 96 SB
1408 1428 192 (distributed ) 195 SB
1603 1428 144 (systems ) 147 SB
1750 1428 124 (cannot ) 127 SB
1877 1428 103 (make ) 106 SB
1983 1428 136 (general ) 139 SB
2122 1428 129 (guaran-) 129 SB
1238 1478 77 (tees ) 94 SB
1332 1478 105 (about ) 122 SB
1454 1478 63 (the ) 81 SB
1535 1478 100 (order ) 118 SB
1653 1478 44 (in ) 62 SB
1715 1478 114 (which ) 132 SB
1847 1478 63 (the ) 81 SB
1928 1478 170 (messages ) 188 SB
2116 1478 77 (will ) 95 SB
2211 1478 40 (be) 40 SB
1238 1528 180 (delivered, ) 184 SB
1422 1528 116 (unless ) 120 SB
1542 1528 129 (careful ) 133 SB
1675 1528 154 (ordering ) 158 SB
1833 1528 168 (protocols ) 172 SB
2005 1528 63 (are ) 67 SB
2072 1528 99 (used, ) 104 SB
2176 1528 75 (with) 75 SB
1238 1578 187 (correspond) 187 SB
1425 1578 98 (ingly ) 117 SB
1542 1578 86 (high ) 105 SB
1647 1578 106 (costs. ) 125 SB
1772 1578 11 ( ) 30 SB
1802 1578 77 (The ) 96 SB
1898 1578 131 (change ) 150 SB
2048 1578 46 (of ) 66 SB
2114 1578 137 (velocity) 137 SB
1238 1628 154 (message ) 165 SB
1403 1628 84 (may ) 95 SB
1498 1628 110 (arrive ) 121 SB
1619 1628 42 (at ) 53 SB
1672 1628 63 (the ) 74 SB
1746 1628 110 (proces) 110 SB
1856 1628 62 (sor ) 73 SB
1929 1628 135 (hosting ) 146 SB
2075 1628 63 (the ) 75 SB
2150 1628 101 (sector) 101 SB
1238 1678 119 (before ) 122 SB
1360 1678 63 (the ) 66 SB
1426 1678 131 (change ) 134 SB
1560 1678 46 (of ) 50 SB
1610 1678 112 (sector ) 116 SB
1726 1678 165 (message. ) 169 SB
1895 1678 11 ( ) 15 SB
1910 1678 39 (If ) 43 SB
1953 1678 63 (the ) 67 SB
2020 1678 112 (sector ) 116 SB
2136 1678 115 (simply) 115 SB
1238 1728 172 (processes ) 178 SB
1416 1728 63 (the ) 69 SB
1485 1728 131 (change ) 137 SB
1622 1728 46 (of ) 52 SB
1674 1728 148 (velocity ) 155 SB
1829 1728 165 (message, ) 172 SB
2001 1728 35 (it ) 42 SB
2043 1728 77 (will ) 84 SB
2127 1728 77 (flag ) 84 SB
2211 1728 40 (an) 40 SB
1238 1778 104 (error, ) 106 SB
1344 1778 46 (as ) 48 SB
1392 1778 35 (it ) 37 SB
1429 1778 88 (does ) 90 SB
1519 1778 65 (not ) 67 SB
1586 1778 104 (know ) 106 SB
1692 1778 105 (about ) 107 SB
1799 1778 63 (the ) 66 SB
1865 1778 88 (unit. ) 91 SB
1956 1778 11 ( ) 14 SB
1970 1778 77 (The ) 80 SB
2050 1778 87 (later ) 90 SB
2140 1778 111 (arrival) 111 SB
1238 1828 46 (of ) 53 SB
1291 1828 63 (the ) 71 SB
1362 1828 131 (change ) 139 SB
1501 1828 46 (of ) 54 SB
1555 1828 112 (sector ) 120 SB
1675 1828 154 (message ) 162 SB
1837 1828 39 (is ) 47 SB
1884 1828 65 (too ) 73 SB
1957 1828 73 (late ) 81 SB
2038 1828 44 (to ) 52 SB
2090 1828 101 (catch ) 109 SB
2199 1828 52 (the) 52 SB
1238 1878 131 (change ) 141 SB
1379 1878 46 (of ) 57 SB
1436 1878 148 (velocity ) 159 SB
1595 1878 165 (message, ) 176 SB
1771 1878 91 (even ) 102 SB
1873 1878 140 (thought ) 151 SB
2024 1878 63 (the ) 74 SB
2098 1878 81 (user ) 92 SB
2190 1878 61 (had) 61 SB
1238 1928 226 (every reason ) 227 SB
1465 1928 44 (to ) 45 SB
1510 1928 122 (expect ) 123 SB
1633 1928 75 (that ) 76 SB
1709 1928 35 (it ) 36 SB
1745 1928 127 (would. ) 128 SB
1873 1928 11 ( ) 12 SB
1885 1928 112 (These ) 113 SB
1998 1928 170 (messages ) 171 SB
2169 1928 82 (must) 82 SB
1238 1978 940 (be processed by the sector in the simulation time order.) 940 SB
1238 2078 77 (The ) 95 SB
1333 2078 98 (same ) 117 SB
1450 2078 152 (problem ) 171 SB
1621 2078 70 (can ) 89 SB
1710 2078 91 (arise ) 110 SB
1820 2078 91 (even ) 110 SB
1930 2078 37 (if ) 56 SB
1986 2078 63 (the ) 82 SB
2068 2078 183 (underlying) 183 SB
1238 2128 154 (message ) 166 SB
1404 2128 137 (passing ) 150 SB
1554 2128 128 (system ) 141 SB
1695 2128 192 (guarantees ) 205 SB
1900 2128 140 (ordered ) 153 SB
2053 2128 150 (delivery ) 163 SB
2216 2128 35 (of) 35 SB
1238 2178 181 (messages. ) 182 SB
1420 2178 11 ( ) 12 SB
1432 2178 77 (The ) 78 SB
1510 2178 131 (change ) 132 SB
1642 2178 46 (of ) 47 SB
1689 2178 148 (velocity ) 149 SB
1838 2178 154 (message ) 155 SB
1993 2178 72 (and ) 73 SB
2066 2178 63 (the ) 65 SB
2131 2178 120 (change) 120 SB
1238 2228 46 (of ) 55 SB
1293 2228 112 (sector ) 121 SB
1414 2228 154 (message ) 163 SB
1577 2228 84 (may ) 93 SB
1670 2228 91 (have ) 100 SB
1770 2228 91 (been ) 100 SB
1870 2228 79 (sent ) 88 SB
1958 2228 53 (by ) 63 SB
2021 2228 74 (two ) 84 SB
2105 2228 146 (different) 146 SB
1238 2278 131 (objects ) 143 SB
1381 2278 53 (on ) 65 SB
1446 2278 74 (two ) 86 SB
1532 2278 157 (different ) 169 SB
1701 2278 199 (processors, ) 211 SB
1912 2278 72 (and ) 84 SB
1996 2278 63 (the ) 76 SB
2072 2278 131 (change ) 144 SB
2216 2278 35 (of) 35 SB
1238 2328 148 (velocity ) 150 SB
1388 2328 154 (message ) 156 SB
1544 2328 110 (might ) 112 SB
1656 2328 91 (even ) 93 SB
1749 2328 91 (have ) 93 SB
1842 2328 91 (been ) 93 SB
1935 2328 79 (sent ) 82 SB
2017 2328 120 (earlier ) 123 SB
2140 2328 44 (in ) 47 SB
2187 2328 64 (real) 64 SB
1238 2378 87 (time ) 88 SB
1326 2378 84 (than ) 85 SB
1411 2378 63 (the ) 64 SB
1475 2378 98 (other ) 99 SB
1574 2378 165 (message. ) 166 SB
1740 2378 11 ( ) 12 SB
1752 2378 149 (Ordered ) 150 SB
1902 2378 150 (delivery ) 151 SB
2053 2378 103 (alone ) 104 SB
2157 2378 39 (is ) 40 SB
2197 2378 54 (not) 54 SB
1238 2428 348 (a sufficient solution.) 348 SB
1238 2528 98 (Even ) 113 SB
1351 2528 230 (guaranteeing ) 245 SB
1596 2528 75 (that ) 91 SB
1687 2528 170 (messages ) 186 SB
1873 2528 77 (will ) 93 SB
1966 2528 51 (be ) 67 SB
2033 2528 169 (delivered ) 185 SB
2218 2528 33 (in) 33 SB
1238 2578 113 (simula) 113 SB
1351 2578 77 (tion ) 92 SB
1443 2578 87 (time ) 102 SB
1545 2578 100 (order ) 115 SB
1660 2578 84 (may ) 99 SB
1759 2578 65 (not ) 80 SB
1839 2578 51 (be ) 67 SB
1906 2578 146 (enough. ) 162 SB
2068 2578 11 ( ) 27 SB
2095 2578 77 (The ) 93 SB
2188 2578 63 (two) 63 SB
1238 2628 170 (messages ) 181 SB
1419 2628 105 (could ) 117 SB
1536 2628 51 (be ) 63 SB
1599 2628 180 (scheduled ) 192 SB
1791 2628 44 (to ) 56 SB
1847 2628 110 (arrive ) 122 SB
1969 2628 42 (at ) 54 SB
2023 2628 164 (precisely ) 176 SB
2199 2628 52 (the) 52 SB
1238 2678 98 (same ) 104 SB
1342 2678 190 (simulation ) 196 SB
1538 2678 98 (time. ) 104 SB
1642 2678 11 ( ) 18 SB
1660 2678 46 (In ) 53 SB
1713 2678 63 (the ) 70 SB
1783 2678 183 (sequential ) 190 SB
1973 2678 95 (case, ) 102 SB
2075 2678 108 (either ) 115 SB
2190 2678 61 (this) 61 SB
1238 2728 122 (timing ) 127 SB
1365 2728 116 (would ) 121 SB
1486 2728 51 (be ) 56 SB
1542 2728 54 (all ) 59 SB
1601 2728 102 (right, ) 107 SB
1708 2728 72 (and ) 77 SB
1785 2728 63 (the ) 68 SB
1853 2728 169 (receiving ) 175 SB
2028 2728 112 (sector ) 118 SB
2146 2728 105 (would) 105 SB
1238 2778 104 (know ) 110 SB
1348 2778 35 (it ) 41 SB
1389 2778 93 (must ) 99 SB
1488 2778 137 (process ) 143 SB
1631 2778 63 (the ) 69 SB
1700 2778 77 (unit ) 83 SB
1783 2778 122 (arrival ) 129 SB
1912 2778 154 (message ) 161 SB
2073 2778 119 (before ) 126 SB
2199 2778 52 (the) 52 SB
1238 2828 131 (change ) 137 SB
1375 2828 46 (of ) 52 SB
1427 2828 148 (velocity ) 154 SB
1581 2828 165 (message, ) 172 SB
1753 2828 46 (or ) 53 SB
1806 2828 35 (it ) 42 SB
1848 2828 116 (would ) 123 SB
1971 2828 51 (be ) 58 SB
2029 2828 51 (an ) 58 SB
2087 2828 93 (error ) 100 SB
2187 2828 64 (that) 64 SB
1238 2878 116 (would ) 122 SB
1360 2878 51 (be ) 57 SB
1417 2878 194 (discovered ) 200 SB
1617 2878 105 (while ) 111 SB
1728 2878 189 (debugging ) 195 SB
1923 2878 63 (the ) 69 SB
1992 2878 113 (simula) 113 SB
2105 2878 88 (tion. ) 94 SB
2199 2878 11 ( ) 17 SB
2216 2878 35 (In) 35 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Roman
%%Page: 4 4
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
150 228 63 (the ) 66 SB
216 228 139 (parallel ) 142 SB
358 228 120 (world, ) 123 SB
481 228 72 (how) 72 SB
553 228 95 (ever, ) 98 SB
651 228 72 (one ) 75 SB
726 228 67 (run ) 70 SB
796 228 46 (of ) 49 SB
845 228 63 (the ) 66 SB
911 228 154 (program ) 158 SB
1069 228 94 (could) 94 SB
150 278 252 (coincidentally ) 262 SB
412 278 129 (deliver ) 139 SB
551 278 63 (the ) 73 SB
624 278 170 (messages ) 180 SB
804 278 44 (in ) 54 SB
858 278 63 (the ) 73 SB
931 278 121 (proper ) 132 SB
1063 278 100 (order,) 100 SB
150 328 957 (while the next run delivered them in the improper order.) 957 SB
150 428 866 (Non-deterministic handling of these two messages ) 867 SB
1017 428 39 (is ) 40 SB
1057 428 65 (not ) 66 SB
1123 428 40 (an) 40 SB
150 478 119 (option ) 129 SB
279 478 60 (for ) 70 SB
349 478 72 (this ) 82 SB
431 478 95 (case, ) 105 SB
536 478 67 (nor ) 77 SB
613 478 60 (for ) 70 SB
683 478 206 (simulations ) 217 SB
900 478 44 (in ) 55 SB
955 478 147 (general. ) 158 SB
1113 478 11 ( ) 22 SB
1135 478 28 (If) 28 SB
150 528 170 (messages ) 176 SB
326 528 63 (are ) 69 SB
395 528 65 (not ) 72 SB
467 528 177 (processed ) 184 SB
651 528 44 (in ) 51 SB
702 528 190 (simulation ) 197 SB
899 528 87 (time ) 94 SB
993 528 111 (order, ) 118 SB
1111 528 52 (the) 52 SB
150 578 159 (resulting ) 165 SB
315 578 113 (simula) 113 SB
428 578 77 (tion ) 83 SB
511 578 88 (does ) 94 SB
605 578 65 (not ) 72 SB
677 578 53 (do ) 60 SB
737 578 93 (what ) 100 SB
837 578 63 (the ) 70 SB
907 578 81 (user ) 88 SB
995 578 67 (has ) 74 SB
1069 578 94 (every) 94 SB
150 628 91 (right ) 94 SB
244 628 44 (to ) 47 SB
291 628 122 (expect ) 125 SB
416 628 35 (it ) 38 SB
454 628 44 (to ) 47 SB
501 628 64 (do. ) 67 SB
568 628 11 ( ) 14 SB
582 628 88 (Two ) 91 SB
673 628 154 (methods ) 157 SB
830 628 63 (are ) 66 SB
896 628 125 (known ) 128 SB
1024 628 60 (for ) 64 SB
1088 628 75 (han-) 75 SB
150 678 98 (dling ) 101 SB
251 678 63 (the ) 66 SB
317 678 163 (problem. ) 166 SB
483 678 11 ( ) 14 SB
497 678 81 (One ) 84 SB
581 678 39 (is ) 42 SB
623 678 44 (to ) 47 SB
670 678 67 (use ) 70 SB
740 678 30 (a ) 33 SB
773 678 152 (protocol ) 155 SB
928 678 44 (to ) 47 SB
975 678 121 (ensure ) 124 SB
1099 678 64 (that) 64 SB
150 728 63 (the ) 71 SB
221 728 120 (earlier ) 129 SB
350 728 154 (message ) 163 SB
513 728 39 (is ) 48 SB
561 728 145 (handled ) 154 SB
715 728 90 (first, ) 99 SB
814 728 182 (regardless ) 191 SB
1005 728 46 (of ) 55 SB
1060 728 103 (which) 103 SB
150 778 154 (message ) 155 SB
305 778 185 (physically ) 186 SB
491 778 126 (arrives ) 127 SB
618 778 79 (first ) 80 SB
698 778 71 ([8]. ) 72 SB
770 778 11 ( ) 13 SB
783 778 86 (This ) 88 SB
871 778 138 (method ) 140 SB
1011 778 152 (performs) 152 SB
150 828 121 (poorly ) 123 SB
273 828 60 (for ) 62 SB
335 828 105 (many ) 107 SB
442 828 100 (types ) 102 SB
544 828 46 (of ) 48 SB
592 828 217 (simulations. ) 219 SB
811 828 11 ( ) 14 SB
825 828 77 (The ) 80 SB
905 828 128 (second ) 131 SB
1036 828 127 (method) 127 SB
150 878 39 (is ) 72 SB
222 878 44 (to ) 77 SB
299 878 124 (handle ) 157 SB
456 878 187 (whichever ) 220 SB
676 878 154 (message ) 188 SB
864 878 119 (comes ) 153 SB
1017 878 44 (in ) 78 SB
1095 878 68 (first) 68 SB
150 928 235 (immediately, ) 248 SB
398 928 72 (and ) 85 SB
483 928 95 (undo ) 108 SB
591 928 63 (the ) 76 SB
667 928 121 (results ) 135 SB
802 928 37 (if ) 51 SB
853 928 63 (the ) 77 SB
930 928 154 (ordering ) 168 SB
1098 928 65 (was) 65 SB
150 978 173 (incorrect. ) 175 SB
325 978 11 ( ) 13 SB
338 978 86 (This ) 88 SB
426 978 149 (method, ) 151 SB
577 978 233 (implemented ) 235 SB
812 978 53 (by ) 55 SB
867 978 141 (TWOS, ) 144 SB
1011 978 152 (performs) 152 SB
150 1028 84 (well ) 99 SB
249 1028 60 (for ) 75 SB
324 1028 30 (a ) 45 SB
369 1028 93 (wide ) 108 SB
477 1028 129 (variety ) 144 SB
621 1028 46 (of ) 62 SB
683 1028 217 (simulations, ) 233 SB
916 1028 72 (and ) 88 SB
1004 1028 70 (can ) 86 SB
1090 1028 73 (give) 73 SB
150 1078 233 (deterministic ) 239 SB
389 1078 132 (results, ) 138 SB
527 1078 37 (if ) 43 SB
570 1078 97 (users ) 103 SB
673 1078 121 (follow ) 127 SB
800 1078 127 (certain ) 133 SB
933 1078 104 (rules. ) 111 SB
1044 1078 11 ( ) 18 SB
1062 1078 101 (These) 101 SB
150 1128 93 (rules ) 97 SB
247 1128 63 (are ) 67 SB
314 1128 65 (not ) 69 SB
383 1128 207 (particularly ) 211 SB
594 1128 142 (unusual ) 146 SB
740 1128 60 (for ) 64 SB
804 1128 51 (an ) 55 SB
859 1128 171 (operating ) 176 SB
1035 1128 128 (system,) 128 SB
150 1178 46 (as ) 51 SB
201 1178 84 (they ) 89 SB
290 1178 138 (amount ) 143 SB
433 1178 44 (to ) 49 SB
482 1178 98 (honor) 98 SB
580 1178 65 (ing ) 70 SB
650 1178 63 (the ) 69 SB
719 1178 160 (interface ) 166 SB
885 1178 161 (provided ) 167 SB
1052 1178 53 (by ) 59 SB
1111 1178 52 (the) 52 SB
150 1228 139 (system. ) 141 SB
291 1228 11 ( ) 13 SB
304 1228 97 (Most ) 100 SB
404 1228 171 (operating ) 174 SB
578 1228 155 (systems, ) 158 SB
736 1228 183 (sequential ) 186 SB
922 1228 46 (or ) 49 SB
971 1228 192 (distributed,) 192 SB
150 1278 67 (run ) 74 SB
224 1278 77 (into ) 84 SB
308 1278 131 (trouble ) 138 SB
446 1278 102 (when ) 109 SB
555 1278 63 (the ) 70 SB
625 1278 81 (user ) 88 SB
713 1278 155 (attempts ) 162 SB
875 1278 44 (to ) 51 SB
926 1278 53 (do ) 61 SB
987 1278 114 (things ) 122 SB
1109 1278 54 (not) 54 SB
150 1328 440 (specified by the interface.) 440 SB
150 1428 77 (The ) 78 SB
228 1428 93 (most ) 94 SB
322 1428 98 (basic ) 99 SB
421 1428 77 (rule ) 78 SB
499 1428 39 (is ) 41 SB
540 1428 75 (that ) 77 SB
617 1428 54 (all ) 56 SB
673 1428 185 (references ) 187 SB
860 1428 44 (to ) 46 SB
906 1428 159 (anything ) 161 SB
1067 1428 96 (under) 96 SB
150 1478 63 (the ) 73 SB
223 1478 81 (user ) 91 SB
314 1478 94 (level ) 104 SB
418 1478 46 (of ) 56 SB
474 1478 63 (the ) 73 SB
547 1478 155 (machine ) 165 SB
712 1478 93 (must ) 104 SB
816 1478 53 (go ) 64 SB
880 1478 142 (through ) 153 SB
1033 1478 130 (TWOS.) 130 SB
150 1528 106 (Users ) 119 SB
269 1528 84 (may ) 97 SB
366 1528 65 (not ) 78 SB
444 1528 169 (reference ) 182 SB
626 1528 63 (the ) 76 SB
702 1528 168 (hardware ) 181 SB
883 1528 107 (itself, ) 120 SB
1003 1528 160 (including) 160 SB
150 1578 152 (memory ) 170 SB
320 1578 175 (locations, ) 193 SB
513 1578 168 (hardware ) 186 SB
699 1578 130 (clocks, ) 149 SB
848 1578 72 (and ) 91 SB
939 1578 67 (I/O ) 86 SB
1025 1578 138 (devices.) 138 SB
150 1628 106 (Users ) 108 SB
258 1628 79 (also ) 82 SB
340 1628 84 (may ) 87 SB
427 1628 65 (not ) 68 SB
495 1628 155 (examine ) 158 SB
653 1628 72 (any ) 75 SB
728 1628 141 (internal ) 144 SB
872 1628 171 (operating ) 174 SB
1046 1628 117 (system) 117 SB
150 1678 82 (infor) 82 SB
232 1678 129 (mation ) 139 SB
371 1678 88 (such ) 98 SB
469 1678 46 (as ) 56 SB
525 1678 63 (the ) 73 SB
598 1678 173 (scheduler ) 183 SB
781 1678 123 (queue. ) 133 SB
914 1678 11 ( ) 22 SB
936 1678 102 (More ) 113 SB
1049 1678 114 (subtly,) 114 SB
150 1728 84 (they ) 90 SB
240 1728 84 (may ) 90 SB
330 1728 65 (not ) 71 SB
401 1728 67 (use ) 73 SB
474 1728 72 (any ) 78 SB
552 1728 171 (operating ) 178 SB
730 1728 128 (system ) 135 SB
865 1728 73 (call ) 80 SB
945 1728 122 (except ) 129 SB
1074 1728 89 (those) 89 SB
150 1778 161 (provided ) 168 SB
318 1778 53 (by ) 60 SB
378 1778 141 (TWOS. ) 148 SB
526 1778 11 ( ) 18 SB
544 1778 130 (TWOS ) 137 SB
681 1778 160 (typically ) 167 SB
848 1778 83 (runs ) 90 SB
938 1778 53 (on ) 60 SB
998 1778 65 (top ) 72 SB
1070 1778 46 (of ) 53 SB
1123 1778 40 (an) 40 SB
150 1828 145 (existing ) 152 SB
302 1828 106 (operat) 106 SB
408 1828 65 (ing ) 72 SB
480 1828 139 (system, ) 147 SB
627 1828 88 (such ) 96 SB
723 1828 46 (as ) 54 SB
777 1828 118 (Mach, ) 126 SB
903 1828 65 (but ) 73 SB
976 1828 97 (users ) 105 SB
1081 1828 82 (must) 82 SB
150 1878 65 (not ) 66 SB
216 1878 65 (put ) 66 SB
282 1878 89 (calls ) 90 SB
372 1878 44 (to ) 45 SB
417 1878 107 (Mach ) 109 SB
526 1878 44 (in ) 46 SB
572 1878 89 (their ) 91 SB
663 1878 181 (programs. ) 183 SB
846 1878 11 ( ) 13 SB
859 1878 69 (For ) 71 SB
930 1878 161 (instance, ) 163 SB
1093 1878 70 (user) 70 SB
150 1928 170 (programs ) 172 SB
322 1928 63 (are ) 65 SB
387 1928 175 (forbidden ) 177 SB
564 1928 44 (to ) 46 SB
610 1928 73 (call ) 76 SB
686 1928 144 (printf\(\). ) 147 SB
833 1928 11 ( ) 14 SB
847 1928 144 (Instead, ) 147 SB
994 1928 84 (they ) 87 SB
1081 1928 82 (must) 82 SB
150 1978 908 (call a function provided by TWOS called tw_printf\(\).) 908 SB
150 2078 112 (These ) 121 SB
271 2078 206 (precautions ) 215 SB
486 2078 63 (are ) 72 SB
558 2078 175 (necessary ) 184 SB
742 2078 60 (for ) 70 SB
812 2078 74 (two ) 84 SB
896 2078 148 (reasons. ) 158 SB
1054 2078 11 ( ) 21 SB
1075 2078 88 (First,) 88 SB
150 2128 159 (anything ) 168 SB
318 2128 133 (outside ) 142 SB
460 2128 63 (the ) 72 SB
532 2128 107 (scope ) 116 SB
648 2128 46 (of ) 56 SB
704 2128 130 (TWOS ) 140 SB
844 2128 39 (is ) 49 SB
893 2128 183 (inherently ) 193 SB
1086 2128 77 (non-) 77 SB
150 2178 151 (determin) 151 SB
301 2178 93 (istic. ) 95 SB
396 2178 11 ( ) 13 SB
409 2178 177 (Hardware ) 179 SB
588 2178 119 (clocks ) 121 SB
709 2178 77 (will ) 79 SB
788 2178 133 (usually ) 135 SB
923 2178 91 (have ) 94 SB
1017 2178 146 (different) 146 SB
150 2228 119 (values ) 128 SB
278 2228 89 (each ) 99 SB
377 2228 87 (time ) 97 SB
474 2228 84 (they ) 94 SB
568 2228 63 (are ) 73 SB
641 2228 184 (consulted, ) 194 SB
835 2228 60 (for ) 70 SB
905 2228 161 (instance. ) 171 SB
1076 2228 11 ( ) 21 SB
1097 2228 66 (The) 66 SB
150 2278 128 (second ) 135 SB
285 2278 121 (reason ) 129 SB
414 2278 39 (is ) 47 SB
461 2278 75 (that ) 83 SB
544 2278 130 (TWOS ) 138 SB
682 2278 84 (may ) 92 SB
774 2278 91 (need ) 99 SB
873 2278 44 (to ) 52 SB
925 2278 70 (roll ) 78 SB
1003 2278 91 (back ) 99 SB
1102 2278 61 (and) 61 SB
150 2328 95 (undo ) 101 SB
251 2328 72 (any ) 78 SB
329 2328 97 (work ) 103 SB
432 2328 93 (done ) 99 SB
531 2328 53 (by ) 59 SB
590 2328 81 (user ) 87 SB
677 2328 142 (objects, ) 148 SB
825 2328 72 (and ) 78 SB
903 2328 63 (the ) 69 SB
972 2328 81 (user ) 87 SB
1059 2328 104 (object) 104 SB
150 2378 124 (cannot ) 131 SB
281 2378 115 (know, ) 122 SB
403 2378 42 (at ) 49 SB
452 2378 63 (the ) 70 SB
522 2378 87 (time ) 94 SB
616 2378 35 (it ) 42 SB
658 2378 39 (is ) 46 SB
704 2378 153 (running, ) 160 SB
864 2378 147 (whether ) 154 SB
1018 2378 51 (its ) 59 SB
1077 2378 86 (work) 86 SB
150 2428 77 (will ) 78 SB
228 2428 51 (be ) 52 SB
280 2428 110 (rolled ) 111 SB
391 2428 91 (back ) 92 SB
483 2428 46 (or ) 48 SB
531 2428 76 (not. ) 78 SB
609 2428 11 ( ) 13 SB
622 2428 46 (In ) 48 SB
670 2428 100 (order ) 102 SB
772 2428 44 (to ) 46 SB
818 2428 70 (roll ) 72 SB
890 2428 91 (back ) 93 SB
983 2428 63 (the ) 65 SB
1048 2428 115 (object,) 115 SB
150 2478 130 (TWOS ) 134 SB
284 2478 93 (must ) 98 SB
382 2478 91 (have ) 96 SB
478 2478 167 (complete ) 172 SB
650 2478 196 (knowledge ) 201 SB
851 2478 46 (of ) 51 SB
902 2478 192 (everything ) 197 SB
1099 2478 64 (that) 64 SB
150 2528 63 (the ) 66 SB
216 2528 115 (object ) 118 SB
334 2528 67 (has ) 70 SB
404 2528 104 (done, ) 107 SB
511 2528 171 (including ) 174 SB
685 2528 166 (changing ) 169 SB
854 2528 141 (internal ) 145 SB
999 2528 164 (variables,) 164 SB
150 2578 142 (sending ) 144 SB
294 2578 181 (messages, ) 183 SB
477 2578 145 (printing ) 147 SB
624 2578 130 (output, ) 132 SB
756 2578 72 (and ) 74 SB
830 2578 179 (allocating ) 181 SB
1011 2578 152 (memory.) 152 SB
150 2628 39 (If ) 43 SB
193 2628 63 (the ) 67 SB
260 2628 81 (user ) 85 SB
345 2628 115 (object ) 119 SB
464 2628 154 (accesses ) 158 SB
622 2628 187 (something ) 191 SB
813 2628 133 (outside ) 137 SB
950 2628 46 (of ) 50 SB
1000 2628 63 (the ) 67 SB
1067 2628 96 (scope) 96 SB
150 2678 46 (of ) 48 SB
198 2678 141 (TWOS, ) 143 SB
341 2678 130 (TWOS ) 132 SB
473 2678 77 (will ) 79 SB
552 2678 65 (not ) 67 SB
619 2678 51 (be ) 53 SB
672 2678 82 (able ) 84 SB
756 2678 44 (to ) 46 SB
802 2678 95 (undo ) 97 SB
899 2678 63 (the ) 65 SB
964 2678 126 (action. ) 128 SB
1092 2678 11 ( ) 13 SB
1105 2678 58 (For) 58 SB
150 2728 161 (instance, ) 163 SB
313 2728 30 (a ) 32 SB
345 2728 133 (printf\(\) ) 135 SB
480 2728 116 (would ) 118 SB
598 2728 91 (have ) 94 SB
692 2728 91 (been ) 94 SB
786 2728 131 (printed ) 134 SB
920 2728 141 (directly ) 144 SB
1064 2728 44 (to ) 47 SB
1111 2728 52 (the) 52 SB
150 2778 154 (standard ) 157 SB
307 2778 130 (output, ) 133 SB
440 2778 72 (and ) 75 SB
515 2778 130 (TWOS ) 133 SB
648 2778 124 (cannot ) 127 SB
775 2778 77 (trap ) 80 SB
855 2778 46 (or ) 49 SB
904 2778 95 (undo ) 99 SB
1003 2778 46 (it. ) 50 SB
1053 2778 11 ( ) 15 SB
1068 2778 39 (If ) 43 SB
1111 2778 52 (the) 52 SB
150 2828 79 (first ) 81 SB
231 2828 176 (execution ) 178 SB
409 2828 46 (of ) 48 SB
457 2828 63 (the ) 66 SB
523 2828 103 (event ) 106 SB
629 2828 76 (was ) 79 SB
708 2828 44 (in ) 47 SB
755 2828 104 (error, ) 107 SB
862 2828 63 (the ) 66 SB
928 2828 159 (resulting ) 162 SB
1090 2828 73 (irre-) 73 SB
150 2878 145 (versible ) 156 SB
306 2878 115 (action ) 126 SB
432 2878 116 (would ) 127 SB
559 2878 51 (be ) 62 SB
621 2878 44 (in ) 55 SB
676 2878 104 (error. ) 115 SB
791 2878 11 ( ) 22 SB
813 2878 98 (Even ) 109 SB
922 2878 37 (if ) 49 SB
971 2878 63 (the ) 75 SB
1046 2878 117 (second) 117 SB
1238 228 99 (execu) 99 SB
1337 228 77 (tion ) 86 SB
1423 228 39 (is ) 48 SB
1471 228 97 (identi) 97 SB
1568 228 50 (cal) 50 SB
1618 228 11 ( ) 20 SB
1638 228 44 (to ) 53 SB
1691 228 63 (the ) 72 SB
1763 228 90 (first, ) 99 SB
1862 228 63 (the ) 72 SB
1934 228 204 (irreversible ) 213 SB
2147 228 104 (action) 104 SB
1238 278 116 (would ) 124 SB
1362 278 51 (be ) 59 SB
1421 278 187 (performed ) 195 SB
1616 278 114 (twice. ) 122 SB
1738 278 11 ( ) 19 SB
1757 278 77 (The ) 85 SB
1842 278 196 (tw_printf\(\) ) 204 SB
2046 278 84 (call, ) 92 SB
2138 278 53 (on ) 61 SB
2199 278 52 (the) 52 SB
1238 328 98 (other ) 102 SB
1340 328 104 (hand, ) 108 SB
1448 328 119 (delays ) 123 SB
1571 328 146 (actually ) 150 SB
1721 328 142 (sending ) 146 SB
1867 328 63 (the ) 67 SB
1934 328 211 (information ) 216 SB
2150 328 44 (to ) 49 SB
2199 328 52 (the) 52 SB
1238 378 154 (standard ) 163 SB
1401 378 119 (output ) 129 SB
1530 378 89 (until ) 99 SB
1629 378 130 (TWOS ) 140 SB
1769 378 70 (can ) 80 SB
1849 378 51 (be ) 61 SB
1910 378 81 (sure ) 91 SB
2001 378 75 (that ) 85 SB
2086 378 63 (the ) 73 SB
2159 378 92 (event) 92 SB
1238 428 345 (producing it will be ) 346 SB
1584 428 204 (committed. ) 205 SB
1789 428 11 ( ) 12 SB
1801 428 39 (If ) 40 SB
1841 428 63 (the ) 64 SB
1905 428 103 (event ) 104 SB
2009 428 39 (is ) 40 SB
2049 428 110 (rolled ) 111 SB
2160 428 91 (back,) 91 SB
1238 478 63 (the ) 74 SB
1312 478 131 (actions ) 142 SB
1454 478 103 (taken ) 114 SB
1568 478 53 (by ) 64 SB
1632 478 63 (the ) 74 SB
1706 478 196 (tw_printf\(\) ) 207 SB
1913 478 73 (call ) 84 SB
1997 478 70 (can ) 82 SB
2079 478 51 (be ) 63 SB
2142 478 109 (totally) 109 SB
1238 528 135 (undone.) 135 SB
1238 628 180 (Requiring ) 190 SB
1428 628 97 (users ) 107 SB
1535 628 44 (to ) 54 SB
1589 628 97 (work ) 107 SB
1696 628 142 (through ) 152 SB
1848 628 130 (TWOS ) 140 SB
1988 628 39 (is ) 49 SB
2037 628 65 (not ) 75 SB
2112 628 30 (a ) 40 SB
2152 628 99 (major) 99 SB
1238 678 152 (problem ) 162 SB
1400 678 60 (for ) 70 SB
1470 678 142 (running ) 152 SB
1622 678 143 (discrete ) 153 SB
1775 678 103 (event ) 114 SB
1889 678 217 (simulations, ) 228 SB
2117 678 46 (as ) 57 SB
2174 678 77 (such) 77 SB
1238 728 170 (programs ) 181 SB
1419 728 63 (are ) 74 SB
1493 728 129 (largely ) 141 SB
1634 728 251 (self-contained ) 263 SB
1897 728 72 (and ) 84 SB
1981 728 53 (do ) 65 SB
2046 728 65 (not ) 77 SB
2123 728 128 (interact) 128 SB
1238 778 86 (with ) 102 SB
1340 778 63 (the ) 79 SB
1419 778 194 (underlying ) 210 SB
1629 778 168 (hardware ) 185 SB
1814 778 46 (or ) 63 SB
1877 778 156 (software ) 173 SB
2050 778 86 (very ) 103 SB
2153 778 98 (often.) 98 SB
1238 828 130 (TWOS ) 142 SB
1380 828 67 (has ) 79 SB
1459 828 161 (provided ) 173 SB
1632 828 135 (capabili) 135 SB
1767 828 70 (ties ) 82 SB
1849 828 60 (for ) 72 SB
1921 828 159 (handling ) 172 SB
2093 828 63 (the ) 76 SB
2169 828 82 (most) 82 SB
1238 878 152 (frequent ) 159 SB
1397 878 100 (types ) 107 SB
1504 878 46 (of ) 53 SB
1557 878 190 (simulation ) 197 SB
1754 878 116 (interac) 116 SB
1870 878 104 (tions. ) 111 SB
1981 878 11 ( ) 19 SB
2000 878 156 (Running ) 164 SB
2164 878 87 (more) 87 SB
1238 928 136 (general ) 145 SB
1383 928 170 (programs ) 180 SB
1563 928 116 (would ) 126 SB
1689 928 131 (require ) 141 SB
1830 928 126 (adding ) 136 SB
1966 928 105 (many ) 115 SB
2081 928 170 (additional) 170 SB
1238 978 897 (capabilities to the current implementation of TWOS.) 897 SB
1238 1078 81 (One ) 94 SB
1332 1078 176 (important ) 189 SB
1521 1078 130 (TWOS ) 143 SB
1664 1078 95 (issue ) 109 SB
1773 1078 141 (relating ) 155 SB
1928 1078 44 (to ) 58 SB
1986 1078 223 (determinism ) 237 SB
2223 1078 28 (is) 28 SB
1238 1128 818 (handling multiple messages for the same object ) 819 SB
2057 1128 42 (at ) 43 SB
2100 1128 63 (the ) 64 SB
2164 1128 87 (same) 87 SB
1238 1178 124 (instant ) 127 SB
1365 1178 44 (in ) 48 SB
1413 1178 190 (simulation ) 194 SB
1607 1178 98 (time. ) 102 SB
1709 1178 11 ( ) 15 SB
1724 1178 112 (These ) 116 SB
1840 1178 170 (messages ) 174 SB
2014 1178 63 (are ) 67 SB
2081 1178 133 (handed ) 137 SB
2218 1178 33 (to) 33 SB
1238 1228 63 (the ) 67 SB
1305 1228 81 (user ) 86 SB
1391 1228 115 (object ) 120 SB
1511 1228 44 (in ) 49 SB
1560 1228 30 (a ) 35 SB
1595 1228 137 (bundle, ) 142 SB
1737 1228 159 (allowing ) 164 SB
1901 1228 63 (the ) 68 SB
1969 1228 115 (object ) 120 SB
2089 1228 44 (to ) 49 SB
2138 1228 113 (handle) 113 SB
1238 1278 96 (them ) 98 SB
1336 1278 54 (all ) 56 SB
1392 1278 42 (at ) 44 SB
1436 1278 102 (once, ) 104 SB
1540 1278 37 (if ) 39 SB
1579 1278 48 (so ) 50 SB
1629 1278 144 (desired. ) 146 SB
1775 1278 11 ( ) 13 SB
1788 1278 58 (To ) 61 SB
1849 1278 176 (guarantee ) 179 SB
2028 1278 223 (determinism,) 223 SB
1238 1328 130 (TWOS ) 137 SB
1375 1328 93 (must ) 100 SB
1475 1328 79 (also ) 86 SB
1561 1328 176 (guarantee ) 183 SB
1744 1328 30 (a ) 37 SB
1781 1328 112 (single ) 119 SB
1900 1328 154 (ordering ) 161 SB
2061 1328 46 (of ) 53 SB
2114 1328 30 (a ) 37 SB
2151 1328 58 (set ) 65 SB
2216 1328 35 (of) 35 SB
1238 1378 170 (messages ) 172 SB
1410 1378 44 (in ) 47 SB
1457 1378 88 (such ) 91 SB
1548 1378 30 (a ) 33 SB
1581 1378 126 (bundle ) 129 SB
1710 1378 93 (from ) 96 SB
1806 1378 67 (run ) 70 SB
1876 1378 44 (to ) 47 SB
1923 1378 78 (run. ) 81 SB
2004 1378 11 ( ) 14 SB
2018 1378 178 (Therefore ) 181 SB
2199 1378 52 (the) 52 SB
1238 1428 154 (ordering ) 156 SB
1394 1428 46 (of ) 48 SB
1442 1428 170 (messages ) 172 SB
1614 1428 44 (in ) 46 SB
1660 1428 30 (a ) 33 SB
1693 1428 126 (bundle ) 129 SB
1822 1428 93 (must ) 96 SB
1918 1428 65 (not ) 68 SB
1986 1428 51 (be ) 54 SB
2040 1428 53 (by ) 56 SB
2096 1428 63 (the ) 66 SB
2162 1428 89 (order) 89 SB
1238 1478 46 (of ) 59 SB
1297 1478 89 (their ) 102 SB
1399 1478 133 (arrival. ) 146 SB
1545 1478 11 ( ) 24 SB
1569 1478 130 (TWOS ) 143 SB
1712 1478 116 (orders ) 129 SB
1841 1478 30 (a ) 43 SB
1884 1478 126 (bundle ) 139 SB
2023 1478 53 (by ) 67 SB
2090 1478 63 (the ) 77 SB
2167 1478 84 (user-) 84 SB
1238 1528 161 (provided ) 168 SB
1406 1528 154 (message ) 161 SB
1567 1528 143 (selector ) 150 SB
1717 1528 44 (\(a ) 51 SB
1768 1528 89 (field ) 96 SB
1864 1528 181 (indicating ) 189 SB
2053 1528 63 (the ) 71 SB
2124 1528 84 (type ) 92 SB
2216 1528 35 (of) 35 SB
1238 1578 63 (the ) 67 SB
1305 1578 179 (message\), ) 183 SB
1488 1578 84 (then ) 88 SB
1576 1578 54 (all ) 58 SB
1634 1578 100 (bytes ) 104 SB
1738 1578 46 (of ) 50 SB
1788 1578 63 (the ) 67 SB
1855 1578 154 (message ) 159 SB
2014 1578 102 (texts. ) 107 SB
2121 1578 11 ( ) 16 SB
2137 1578 114 (Unless) 114 SB
1238 1628 74 (two ) 84 SB
1322 1628 170 (messages ) 180 SB
1502 1628 63 (are ) 73 SB
1575 1628 185 (absolutely ) 196 SB
1771 1628 169 (identical, ) 180 SB
1951 1628 84 (they ) 95 SB
2046 1628 77 (will ) 88 SB
2134 1628 117 (always) 117 SB
1238 1678 124 (appear ) 128 SB
1366 1678 44 (in ) 48 SB
1414 1678 30 (a ) 34 SB
1448 1678 85 (deter) 85 SB
1533 1678 148 (ministic ) 152 SB
1685 1678 100 (order ) 104 SB
1789 1678 119 (within ) 123 SB
1912 1678 63 (the ) 67 SB
1979 1678 137 (bundle. ) 141 SB
2120 1678 11 ( ) 15 SB
2135 1678 39 (If ) 43 SB
2178 1678 73 (they) 73 SB
1238 1728 63 (are ) 65 SB
1303 1728 169 (identical, ) 171 SB
1474 1728 89 (their ) 91 SB
1565 1728 154 (ordering ) 156 SB
1721 1728 88 (does ) 91 SB
1812 1728 65 (not ) 68 SB
1880 1728 131 (matter, ) 134 SB
2014 1728 98 (since ) 101 SB
2115 1728 63 (the ) 66 SB
2181 1728 70 (user) 70 SB
1238 1778 587 (cannot distinguish which is which.) 587 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
1342 1878 805 (Operating System Implications of Determinism) 805 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1238 1978 130 (TWOS ) 138 SB
1376 1978 39 (is ) 47 SB
1423 1978 193 (committed ) 201 SB
1624 1978 44 (to ) 52 SB
1676 1978 175 (providing ) 183 SB
1859 1978 30 (a ) 39 SB
1898 1978 233 (deterministic ) 242 SB
2140 1978 111 (virtual) 111 SB
1238 2028 155 (machine ) 164 SB
1402 2028 44 (to ) 53 SB
1455 2028 51 (its ) 61 SB
1516 2028 108 (users, ) 118 SB
1634 2028 65 (but ) 75 SB
1709 2028 35 (it ) 45 SB
1754 2028 124 (cannot ) 134 SB
1888 2028 67 (run ) 77 SB
1965 2028 286 (deterministically) 286 SB
1238 2078 107 (itself, ) 117 SB
1355 2078 145 (because ) 155 SB
1510 2078 63 (the ) 73 SB
1583 2078 168 (hardware ) 178 SB
1761 2078 72 (and ) 82 SB
1843 2078 156 (software ) 166 SB
2009 2078 135 (hosting ) 145 SB
2154 2078 35 (it ) 45 SB
2199 2078 52 (are) 52 SB
1238 2128 321 (non-deterministic. ) 340 SB
1578 2128 11 ( ) 30 SB
1608 2128 130 (TWOS ) 149 SB
1757 2128 39 (is ) 58 SB
1815 2128 63 (the ) 82 SB
1897 2128 96 (layer ) 115 SB
2012 2128 75 (that ) 94 SB
2106 2128 145 (provides) 145 SB
1238 2178 151 (determin) 151 SB
1389 2178 83 (ism. ) 100 SB
1489 2178 11 ( ) 28 SB
1517 2178 140 (Despite ) 157 SB
1674 2178 63 (the ) 80 SB
1754 2178 162 (non-deter) 162 SB
1916 2178 148 (ministic ) 165 SB
2081 2178 117 (nature ) 135 SB
2216 2178 35 (of) 35 SB
1238 2228 144 (TWOS\222 ) 151 SB
1389 2228 141 (internal ) 148 SB
1537 2228 187 (execution, ) 194 SB
1731 2228 223 (determinism ) 230 SB
1961 2228 42 (at ) 49 SB
2010 2228 63 (the ) 70 SB
2080 2228 81 (user ) 88 SB
2168 2228 83 (level) 83 SB
1238 2278 67 (has ) 71 SB
1309 2278 161 (provided ) 165 SB
1474 2278 100 (some ) 105 SB
1579 2278 145 (benefits ) 150 SB
1729 2278 44 (in ) 49 SB
1778 2278 63 (the ) 68 SB
1846 2278 230 (development ) 235 SB
2081 2278 46 (of ) 51 SB
2132 2278 119 (TWOS) 119 SB
1238 2328 96 (itself.) 96 SB
1238 2378 77 (The ) 97 SB
1335 2378 86 (only ) 106 SB
1441 2378 144 (systems ) 164 SB
1605 2378 152 (problem ) 173 SB
1778 2378 44 (in ) 65 SB
1843 2378 175 (providing ) 196 SB
2039 2378 212 (determinism) 212 SB
1238 2428 130 (TWOS ) 140 SB
1378 2428 98 (faces ) 108 SB
1486 2428 75 (that ) 85 SB
1571 2428 116 (would ) 126 SB
1697 2428 65 (not ) 75 SB
1772 2428 91 (arise ) 101 SB
1873 2428 60 (for ) 70 SB
1943 2428 98 (other ) 109 SB
2052 2428 160 (purposes ) 171 SB
2223 2428 28 (is) 28 SB
1238 2478 156 (ensuring ) 158 SB
1396 2478 121 (proper ) 123 SB
1519 2478 154 (message ) 156 SB
1675 2478 165 (ordering. ) 167 SB
1842 2478 11 ( ) 13 SB
1855 2478 77 (The ) 80 SB
1935 2478 86 (only ) 89 SB
2024 2478 98 (other ) 101 SB
2125 2478 126 (sources) 126 SB
1238 2528 274 (of non-determin) 274 SB
1512 2528 457 (ism are blatantly incorrect ) 458 SB
1970 2528 204 (synchroniza) 204 SB
2174 2528 77 (tion,) 77 SB
1238 2578 114 (which ) 120 SB
1358 2578 39 (is ) 45 SB
1403 2578 80 (unac) 80 SB
1483 2578 153 (ceptable ) 159 SB
1642 2578 182 (regardless ) 188 SB
1830 2578 46 (of ) 52 SB
1882 2578 63 (the ) 69 SB
1951 2578 117 (system) 117 SB
2068 2578 41 (\222s ) 47 SB
2115 2578 136 (position) 136 SB
1238 2628 53 (on ) 60 SB
1298 2628 234 (determinism, ) 241 SB
1539 2628 72 (and ) 79 SB
1618 2628 216 (applications ) 223 SB
1841 2628 75 (that ) 82 SB
1923 2628 67 (use ) 74 SB
1997 2628 63 (the ) 71 SB
2068 2628 183 (underlying) 183 SB
1238 2678 75 (hard) 75 SB
1313 2678 93 (ware ) 94 SB
1407 2678 72 (and ) 73 SB
1480 2678 167 (software, ) 168 SB
1648 2678 114 (which ) 115 SB
1763 2678 130 (TWOS ) 132 SB
1895 2678 124 (cannot ) 126 SB
2021 2678 149 (prevent. ) 151 SB
2172 2678 11 ( ) 13 SB
2185 2678 66 (The) 66 SB
1238 2728 154 (message ) 166 SB
1404 2728 89 (order) 89 SB
1493 2728 65 (ing ) 77 SB
1570 2728 152 (problem ) 164 SB
1734 2728 60 (for ) 72 SB
1806 2728 130 (TWOS ) 142 SB
1948 2728 39 (is ) 52 SB
2000 2728 146 (actually ) 159 SB
2159 2728 92 (fairly) 92 SB
1238 2778 135 (simple. ) 143 SB
1381 2778 11 ( ) 19 SB
1400 2778 77 (The ) 85 SB
1485 2778 128 (system ) 136 SB
1621 2778 93 (must ) 101 SB
1722 2778 176 (guarantee ) 184 SB
1906 2778 75 (that ) 83 SB
1989 2778 72 (any ) 80 SB
2069 2778 182 (committed) 182 SB
1238 2828 103 (event ) 112 SB
1350 2828 81 (sees ) 90 SB
1440 2828 63 (the ) 72 SB
1512 2828 98 (same ) 107 SB
1619 2828 170 (messages ) 179 SB
1798 2828 44 (in ) 54 SB
1852 2828 63 (the ) 73 SB
1925 2828 98 (same ) 108 SB
2033 2828 100 (order ) 110 SB
2143 2828 46 (as ) 56 SB
2199 2828 52 (the) 52 SB
1238 2878 252 (corresponding ) 253 SB
1491 2878 103 (event ) 104 SB
1595 2878 44 (in ) 45 SB
1640 2878 30 (a ) 31 SB
1671 2878 183 (sequential ) 184 SB
1855 2878 78 (run. ) 80 SB
1935 2878 11 ( ) 13 SB
1948 2878 77 (The ) 79 SB
2027 2878 128 (system ) 130 SB
2157 2878 94 (never) 94 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Roman
%%Page: 5 5
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
150 228 131 (knows, ) 152 SB
302 228 102 (when ) 123 SB
425 228 142 (running ) 164 SB
589 228 51 (an ) 73 SB
662 228 114 (event, ) 136 SB
798 228 147 (whether ) 169 SB
967 228 35 (it ) 57 SB
1024 228 77 (will ) 99 SB
1123 228 40 (be) 40 SB
150 278 193 (committed ) 203 SB
353 278 46 (or ) 56 SB
409 278 76 (not, ) 86 SB
495 278 65 (but ) 75 SB
570 278 63 (the ) 74 SB
644 278 193 (committed ) 204 SB
848 278 67 (run ) 78 SB
926 278 77 (will ) 88 SB
1014 278 149 (certainly) 149 SB
150 328 91 (have ) 99 SB
249 328 63 (the ) 71 SB
320 328 167 (complete ) 175 SB
495 328 126 (bundle ) 134 SB
629 328 46 (of ) 54 SB
683 328 170 (messages ) 179 SB
862 328 60 (for ) 69 SB
931 328 63 (the ) 72 SB
1003 328 114 (event, ) 123 SB
1126 328 37 (so) 37 SB
150 378 130 (TWOS ) 141 SB
291 378 93 (must ) 104 SB
395 378 100 (order ) 111 SB
506 378 96 (them ) 107 SB
613 378 165 (properly. ) 176 SB
789 378 11 ( ) 22 SB
811 378 133 (Simply ) 144 SB
955 378 154 (ordering ) 165 SB
1120 378 43 (all) 43 SB
150 428 170 (messages ) 183 SB
333 428 44 (in ) 57 SB
390 428 63 (the ) 76 SB
466 428 126 (bundle ) 139 SB
605 428 53 (by ) 66 SB
671 428 89 (their ) 103 SB
774 428 85 (selec) 85 SB
859 428 85 (tors, ) 99 SB
958 428 83 (and, ) 97 SB
1055 428 108 (within) 108 SB
150 478 170 (selectors, ) 183 SB
333 478 53 (by ) 66 SB
399 478 30 (a ) 43 SB
442 478 234 (byte-for-byte ) 247 SB
689 478 75 (text ) 88 SB
777 478 139 (compari) 139 SB
916 478 69 (son ) 82 SB
998 478 39 (is ) 52 SB
1050 478 113 (almost) 113 SB
150 528 171 (sufficient.) 171 SB
150 628 77 (The ) 79 SB
229 628 86 (only ) 88 SB
317 628 169 (difficulty ) 171 SB
488 628 39 (is ) 41 SB
529 628 156 (ensuring ) 158 SB
687 628 75 (that ) 77 SB
764 628 63 (the ) 66 SB
830 628 227 (byte-by-byte ) 230 SB
1060 628 103 (order-) 103 SB
150 678 81 (ings ) 82 SB
232 678 46 (of ) 47 SB
279 678 74 (two ) 75 SB
354 678 200 (supposedly ) 201 SB
555 678 158 (identical ) 159 SB
714 678 170 (messages ) 171 SB
885 678 93 (from ) 94 SB
979 678 74 (two ) 76 SB
1055 678 108 (differ-) 108 SB
150 728 63 (ent ) 71 SB
221 728 83 (runs ) 91 SB
312 728 108 (really ) 116 SB
428 728 63 (are ) 71 SB
499 728 169 (identical. ) 177 SB
676 728 11 ( ) 19 SB
695 728 170 (Problems ) 178 SB
873 728 84 (may ) 92 SB
965 728 91 (arise ) 100 SB
1065 728 37 (if ) 46 SB
1111 728 52 (the) 52 SB
150 778 202 (buffer used ) 203 SB
353 778 44 (to ) 45 SB
398 778 86 (hold ) 87 SB
485 778 63 (the ) 64 SB
549 778 93 (copy ) 94 SB
643 778 46 (of ) 47 SB
690 778 63 (the ) 64 SB
754 778 154 (message ) 155 SB
909 778 152 (contains ) 153 SB
1062 778 101 (unini-) 101 SB
150 828 137 (tialized ) 147 SB
297 828 116 (fields. ) 126 SB
423 828 11 ( ) 21 SB
444 828 39 (If ) 49 SB
493 828 63 (the ) 73 SB
566 828 173 (compiler, ) 184 SB
750 828 46 (or ) 57 SB
807 828 63 (the ) 74 SB
881 828 130 (TWOS ) 141 SB
1022 828 141 (memory) 141 SB
150 878 228 (management ) 253 SB
403 878 139 (system, ) 164 SB
567 878 121 (allows ) 146 SB
713 878 98 (these ) 124 SB
837 878 105 (fields ) 131 SB
968 878 44 (to ) 70 SB
1038 878 125 (contain) 125 SB
150 928 157 (different ) 171 SB
321 928 224 (uninitialized ) 238 SB
559 928 130 (values, ) 144 SB
703 928 84 (then ) 98 SB
801 928 200 (supposedly ) 215 SB
1016 928 147 (identical) 147 SB
150 978 170 (messages ) 180 SB
330 978 105 (could ) 116 SB
446 978 146 (actually ) 157 SB
603 978 136 (contain ) 147 SB
750 978 157 (different ) 168 SB
918 978 152 (contents ) 163 SB
1081 978 82 (from) 82 SB
150 1028 67 (run ) 68 SB
218 1028 44 (to ) 45 SB
263 1028 78 (run, ) 79 SB
342 1028 159 (resulting ) 161 SB
503 1028 44 (in ) 46 SB
549 1028 157 (different ) 159 SB
708 1028 170 (orderings ) 172 SB
880 1028 46 (of ) 48 SB
928 1028 63 (the ) 65 SB
993 1028 170 (messages.) 170 SB
150 1078 130 (TWOS ) 146 SB
296 1078 116 (solves ) 132 SB
428 1078 72 (this ) 88 SB
516 1078 152 (problem ) 169 SB
685 1078 53 (by ) 70 SB
755 1078 156 (ensuring ) 173 SB
928 1078 75 (that ) 92 SB
1020 1078 143 (message) 143 SB
150 1128 130 (buffers ) 134 SB
284 1128 63 (are ) 67 SB
351 1128 128 (always ) 132 SB
483 1128 134 (cleared ) 138 SB
621 1128 119 (before ) 124 SB
745 1128 105 (being ) 110 SB
855 1128 105 (given ) 110 SB
965 1128 44 (to ) 49 SB
1014 1128 63 (the ) 68 SB
1082 1128 81 (user,) 81 SB
150 1178 72 (and ) 82 SB
232 1178 53 (by ) 63 SB
295 1178 91 (ensur) 91 SB
386 1178 65 (ing ) 75 SB
461 1178 75 (that ) 86 SB
547 1178 63 (the ) 74 SB
621 1178 162 (compiler ) 173 SB
794 1178 88 (does ) 99 SB
893 1178 65 (not ) 76 SB
969 1178 122 (permit ) 133 SB
1102 1178 61 (any) 61 SB
150 1228 149 (portions ) 157 SB
307 1228 46 (of ) 54 SB
361 1228 30 (a ) 38 SB
399 1228 159 (structure ) 167 SB
566 1228 44 (to ) 53 SB
619 1228 136 (contain ) 145 SB
764 1228 235 (uninitialized, ) 244 SB
1008 1228 155 (unzeroed) 155 SB
150 1278 105 (fields.) 105 SB
150 1378 130 (TWOS ) 141 SB
291 1378 93 (must ) 104 SB
395 1378 79 (also ) 90 SB
485 1378 140 (provide ) 151 SB
636 1378 63 (the ) 74 SB
710 1378 175 (necessary ) 186 SB
896 1378 192 (guarantees ) 203 SB
1099 1378 64 (that) 64 SB
150 1428 59 (roll) 59 SB
209 1428 107 (backs ) 109 SB
318 1428 77 (will ) 79 SB
397 1428 105 (occur ) 107 SB
504 1428 154 (properly ) 156 SB
660 1428 175 (whenever ) 177 SB
837 1428 186 (necessary, ) 188 SB
1025 1428 138 (undoing) 138 SB
150 1478 164 (precisely ) 170 SB
320 1478 75 (that ) 81 SB
401 1478 97 (work ) 103 SB
504 1478 75 (that ) 81 SB
585 1478 76 (was ) 82 SB
667 1478 93 (done ) 99 SB
766 1478 44 (in ) 50 SB
816 1478 104 (error. ) 110 SB
926 1478 11 ( ) 18 SB
944 1478 130 (TWOS ) 137 SB
1081 1478 82 (must) 82 SB
150 1528 126 (further ) 141 SB
291 1528 116 (assure ) 131 SB
422 1528 75 (that ) 90 SB
512 1528 63 (the ) 78 SB
590 1528 97 (work ) 112 SB
702 1528 77 (will ) 92 SB
794 1528 51 (be ) 66 SB
860 1528 126 (redone ) 141 SB
1001 1528 162 (correctly.) 162 SB
150 1578 176 (However, ) 177 SB
327 1578 98 (these ) 99 SB
426 1578 192 (guarantees ) 193 SB
619 1578 63 (are ) 65 SB
684 1578 175 (necessary ) 177 SB
861 1578 60 (for ) 62 SB
923 1578 137 (reasons ) 139 SB
1062 1578 101 (above) 101 SB
150 1628 893 (and beyond determinism.  Without such guarantees, ) 894 SB
1044 1628 119 (TWOS) 119 SB
150 1678 116 (would ) 123 SB
273 1678 105 (never ) 112 SB
385 1678 51 (be ) 58 SB
443 1678 82 (able ) 89 SB
532 1678 44 (to ) 51 SB
583 1678 103 (make ) 110 SB
693 1678 72 (any ) 79 SB
772 1678 86 (assur) 86 SB
858 1678 105 (ances ) 113 SB
971 1678 192 (whatsoever) 192 SB
150 1728 75 (that ) 81 SB
231 1728 35 (it ) 41 SB
272 1728 76 (was ) 82 SB
354 1728 171 (operating ) 177 SB
531 1728 44 (in ) 50 SB
581 1728 30 (a ) 36 SB
617 1728 129 (correct ) 135 SB
752 1728 149 (manner. ) 155 SB
907 1728 11 ( ) 17 SB
924 1728 123 (Proper ) 130 SB
1054 1728 67 (use ) 74 SB
1128 1728 35 (of) 35 SB
150 1778 161 (rollback, ) 163 SB
313 1778 154 (message ) 156 SB
469 1778 228 (cancellation, ) 230 SB
699 1778 72 (and ) 74 SB
773 1778 223 (re-execution ) 225 SB
998 1778 39 (is ) 42 SB
1040 1778 87 (vital ) 90 SB
1130 1778 33 (to) 33 SB
150 1828 852 (TWOS, and has been implemented very carefully.) 852 SB
150 1928 81 (One ) 87 SB
237 1928 126 (further ) 132 SB
369 1928 152 (problem ) 158 SB
527 1928 39 (is ) 45 SB
572 1928 175 (providing ) 181 SB
753 1928 233 (deterministic ) 240 SB
993 1928 121 (results ) 128 SB
1121 1928 42 (on) 42 SB
150 1978 106 (hetero) 106 SB
256 1978 149 (geneous ) 175 SB
431 1978 179 (hardware. ) 205 SB
636 1978 11 ( ) 37 SB
673 1978 46 (In ) 73 SB
746 1978 63 (the ) 90 SB
836 1978 138 (simpler ) 165 SB
1001 1978 95 (case, ) 122 SB
1123 1978 40 (an) 40 SB
150 2028 651 (application run on two different types ) 652 SB
802 2028 46 (of ) 47 SB
849 2028 155 (machine ) 156 SB
1005 2028 84 (may ) 85 SB
1090 2028 73 (give) 73 SB
150 2078 179 (determinis) 179 SB
329 2078 54 (tic ) 74 SB
403 2078 146 (answers ) 166 SB
569 2078 53 (on ) 73 SB
642 2078 89 (each ) 109 SB
751 2078 84 (type ) 104 SB
855 2078 46 (of ) 67 SB
922 2078 166 (machine, ) 187 SB
1109 2078 54 (but) 54 SB
150 2128 157 (different ) 185 SB
335 2128 146 (answers ) 174 SB
509 2128 152 (between ) 180 SB
689 2128 63 (the ) 91 SB
780 2128 139 (classes. ) 167 SB
947 2128 11 ( ) 39 SB
986 2128 113 (Issues ) 142 SB
1128 2128 35 (of) 35 SB
150 2178 251 (representation ) 253 SB
403 2178 46 (of ) 48 SB
451 2178 135 (various ) 137 SB
588 2178 82 (data ) 85 SB
673 2178 100 (types ) 103 SB
776 2178 102 (\(such ) 105 SB
881 2178 46 (as ) 49 SB
930 2178 143 (floating ) 146 SB
1076 2178 87 (point) 87 SB
150 2228 170 (numbers\) ) 175 SB
325 2228 72 (and ) 77 SB
402 2228 63 (the ) 68 SB
470 2228 100 (order ) 105 SB
575 2228 46 (of ) 51 SB
626 2228 100 (bytes ) 105 SB
731 2228 119 (within ) 125 SB
856 2228 30 (a ) 36 SB
892 2228 97 (word ) 103 SB
995 2228 70 (can ) 76 SB
1071 2228 92 (make) 92 SB
150 2278 175 (providing ) 194 SB
344 2278 63 (the ) 83 SB
427 2278 98 (same ) 118 SB
545 2278 130 (answer ) 150 SB
695 2278 116 (across ) 136 SB
831 2278 157 (different ) 177 SB
1008 2278 100 (types ) 120 SB
1128 2278 35 (of) 35 SB
150 2328 405 (machines very difficult.) 405 SB
150 2428 77 (The ) 82 SB
232 2428 152 (problem ) 158 SB
390 2428 39 (is ) 45 SB
435 2428 91 (even ) 97 SB
532 2428 111 (worse ) 117 SB
649 2428 37 (if ) 43 SB
692 2428 63 (the ) 69 SB
761 2428 200 (application ) 206 SB
967 2428 39 (is ) 45 SB
1012 2428 67 (run ) 73 SB
1085 2428 53 (on ) 59 SB
1144 2428 19 (a) 19 SB
150 2478 106 (hetero) 106 SB
256 2478 149 (geneous ) 156 SB
412 2478 160 (network. ) 167 SB
579 2478 11 ( ) 18 SB
597 2478 46 (In ) 53 SB
650 2478 72 (this ) 79 SB
729 2478 95 (case, ) 102 SB
831 2478 175 (providing ) 182 SB
1013 2478 91 (even ) 98 SB
1111 2478 52 (the) 52 SB
150 2528 379 (same results from run ) 380 SB
530 2528 44 (to ) 45 SB
575 2528 67 (run ) 68 SB
643 2528 53 (on ) 54 SB
697 2528 63 (the ) 64 SB
761 2528 98 (same ) 99 SB
860 2528 58 (set ) 59 SB
919 2528 46 (of ) 47 SB
966 2528 168 (hardware ) 169 SB
1135 2528 28 (is) 28 SB
150 2578 963 (difficult unless all objects reside on the same processors ) 964 SB
1114 2578 49 (for) 49 SB
150 2628 148 (all runs. ) 149 SB
299 2628 11 ( ) 12 SB
311 2628 105 (Since ) 106 SB
417 2628 106 (hetero) 106 SB
523 2628 136 (geneity ) 137 SB
660 2628 39 (is ) 40 SB
700 2628 65 (not ) 66 SB
766 2628 63 (the ) 64 SB
830 2628 102 (focus ) 103 SB
933 2628 46 (of ) 47 SB
980 2628 63 (the ) 64 SB
1044 2628 119 (TWOS) 119 SB
150 2678 140 (project, ) 141 SB
291 2678 90 (little ) 91 SB
382 2678 67 (has ) 68 SB
450 2678 91 (been ) 92 SB
542 2678 93 (done ) 94 SB
636 2678 44 (to ) 45 SB
681 2678 82 (deal ) 83 SB
764 2678 86 (with ) 87 SB
851 2678 72 (this ) 73 SB
924 2678 106 (issue. ) 107 SB
1031 2678 11 ( ) 13 SB
1044 2678 119 (TWOS) 119 SB
150 2728 833 (runs are always done on homogeneous hardware.) 833 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
411 2828 491 (Determinism and Debugging) 491 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1238 228 105 (Since ) 108 SB
1346 228 130 (TWOS ) 133 SB
1479 228 93 (must ) 96 SB
1575 228 51 (be ) 54 SB
1629 228 197 (guaranteed ) 201 SB
1830 228 44 (to ) 48 SB
1878 228 147 (produce ) 151 SB
2029 228 222 (deterministic) 222 SB
1238 278 121 (results ) 131 SB
1369 278 102 (when ) 112 SB
1481 278 216 (applications ) 226 SB
1707 278 170 (programs ) 181 SB
1888 278 121 (follow ) 132 SB
2020 278 127 (certain ) 138 SB
2158 278 93 (rules,) 93 SB
1238 328 897 (any non-determinism that appears in a TWOS run is ) 898 SB
2136 328 115 (caused) 115 SB
1238 378 53 (by ) 57 SB
1295 378 51 (an ) 55 SB
1350 378 93 (error ) 97 SB
1447 378 44 (in ) 48 SB
1495 378 108 (either ) 113 SB
1608 378 63 (the ) 68 SB
1676 378 200 (application ) 205 SB
1881 378 46 (or ) 51 SB
1932 378 141 (TWOS. ) 146 SB
2078 378 11 ( ) 16 SB
2094 378 100 (Once ) 105 SB
2199 378 52 (the) 52 SB
1238 428 85 (appli) 85 SB
1323 428 115 (cation ) 120 SB
1443 428 67 (has ) 73 SB
1516 428 91 (been ) 97 SB
1613 428 150 (checked ) 156 SB
1769 428 44 (to ) 50 SB
1819 428 103 (make ) 109 SB
1928 428 81 (sure ) 87 SB
2015 428 35 (it ) 41 SB
2056 428 137 (follows ) 143 SB
2199 428 52 (the) 52 SB
1238 478 798 (rules, the problem is narrowed to TWOS itself.) 798 SB
1238 578 130 (TWOS ) 152 SB
1390 578 107 (keeps ) 129 SB
1519 578 157 (statistics ) 179 SB
1698 578 75 (that ) 97 SB
1795 578 102 (assist ) 124 SB
1919 578 44 (in ) 66 SB
1985 578 167 (detecting ) 189 SB
2174 578 77 (non-) 77 SB
1238 628 151 (determin) 151 SB
1389 628 83 (ism. ) 92 SB
1481 628 11 ( ) 20 SB
1501 628 77 (The ) 87 SB
1588 628 183 (sequential ) 193 SB
1781 628 67 (run ) 77 SB
1858 628 46 (of ) 56 SB
1914 628 51 (an ) 61 SB
1975 628 73 (appl) 73 SB
2048 628 127 (ication ) 137 SB
2185 628 66 (will) 66 SB
1238 678 490 (produce a certain number of ) 491 SB
1729 678 170 (messages ) 171 SB
1900 678 79 (sent ) 80 SB
1980 678 93 (from ) 94 SB
2074 678 72 (one ) 73 SB
2147 678 104 (object) 104 SB
1238 728 44 (to ) 45 SB
1283 728 149 (another, ) 150 SB
1433 728 72 (and ) 74 SB
1507 728 30 (a ) 32 SB
1539 728 127 (certain ) 129 SB
1668 728 140 (number ) 142 SB
1810 728 46 (of ) 48 SB
1858 728 119 (events ) 121 SB
1979 728 126 (caused ) 128 SB
2107 728 53 (by ) 55 SB
2162 728 89 (those) 89 SB
1238 778 181 (messages. ) 192 SB
1430 778 11 ( ) 22 SB
1452 778 119 (\(Since ) 131 SB
1583 778 51 (an ) 63 SB
1646 778 103 (event ) 115 SB
1761 778 70 (can ) 82 SB
1843 778 51 (be ) 63 SB
1906 778 126 (caused ) 138 SB
2044 778 53 (by ) 65 SB
2109 778 142 (multiple) 142 SB
1238 828 181 (messages, ) 185 SB
1423 828 63 (the ) 67 SB
1490 828 74 (two ) 78 SB
1568 828 156 (numbers ) 161 SB
1729 828 63 (are ) 68 SB
1797 828 65 (not ) 70 SB
1867 828 199 (necessarily ) 204 SB
2071 828 63 (the ) 68 SB
2139 828 112 (same.\)) 112 SB
1238 878 41 (A ) 48 SB
1286 878 130 (TWOS ) 137 SB
1423 878 67 (run ) 74 SB
1497 878 93 (must ) 100 SB
1597 878 147 (produce ) 154 SB
1751 878 134 (exactly ) 141 SB
1892 878 63 (the ) 70 SB
1962 878 98 (same ) 106 SB
2068 878 140 (number ) 148 SB
2216 878 35 (of) 35 SB
1238 928 193 (committed ) 195 SB
1433 928 170 (messages ) 172 SB
1605 928 72 (and ) 74 SB
1679 928 193 (committed ) 196 SB
1875 928 130 (events. ) 133 SB
2008 928 11 ( ) 14 SB
2022 928 130 (TWOS ) 133 SB
2155 928 96 (prints) 96 SB
1238 978 63 (the ) 67 SB
1305 978 140 (number ) 144 SB
1449 978 46 (of ) 50 SB
1499 978 193 (committed ) 197 SB
1696 978 170 (messages ) 174 SB
1870 978 72 (and ) 76 SB
1946 978 193 (committed ) 197 SB
2143 978 108 (events) 108 SB
1238 1028 42 (at ) 45 SB
1283 1028 63 (the ) 66 SB
1349 1028 72 (end ) 75 SB
1424 1028 46 (of ) 49 SB
1473 1028 63 (the ) 67 SB
1540 1028 78 (run. ) 82 SB
1622 1028 11 ( ) 15 SB
1637 1028 60 (By ) 64 SB
1701 1028 164 (checking ) 168 SB
1869 1028 98 (these ) 102 SB
1971 1028 156 (numbers ) 160 SB
2131 1028 120 (against) 120 SB
1238 1078 63 (the ) 74 SB
1312 1078 156 (numbers ) 167 SB
1479 1078 168 (produced ) 180 SB
1659 1078 53 (by ) 65 SB
1724 1078 63 (the ) 75 SB
1799 1078 183 (sequential ) 195 SB
1994 1078 135 (version ) 147 SB
2141 1078 46 (of ) 58 SB
2199 1078 52 (the) 52 SB
1238 1128 123 (applica) 123 SB
1361 1128 88 (tion, ) 89 SB
1450 1128 46 (or ) 47 SB
1497 1128 156 (previous ) 157 SB
1654 1128 139 (parallel ) 140 SB
1794 1128 94 (runs, ) 95 SB
1889 1128 130 (TWOS ) 131 SB
2020 1128 70 (can ) 71 SB
2091 1128 110 (check ) 111 SB
2202 1128 49 (for) 49 SB
1238 1178 487 (obviously non-deterministic ) 488 SB
1726 1178 132 (results. ) 133 SB
1859 1178 11 ( ) 12 SB
1871 1178 102 (\(Two ) 103 SB
1974 1178 157 (different ) 158 SB
2132 1178 83 (runs ) 84 SB
2216 1178 35 (of) 35 SB
1238 1228 63 (the ) 71 SB
1309 1228 98 (same ) 106 SB
1415 1228 85 (appli) 85 SB
1500 1228 115 (cation ) 123 SB
1623 1228 105 (could ) 113 SB
1736 1228 147 (produce ) 155 SB
1891 1228 63 (the ) 71 SB
1962 1228 98 (same ) 106 SB
2068 1228 140 (number ) 148 SB
2216 1228 35 (of) 35 SB
1238 1278 170 (messages ) 186 SB
1424 1278 72 (and ) 88 SB
1512 1278 119 (events ) 135 SB
1647 1278 140 (without ) 156 SB
1803 1278 105 (being ) 121 SB
1924 1278 134 (exactly ) 150 SB
2074 1278 63 (the ) 79 SB
2153 1278 98 (same.) 98 SB
1238 1328 112 (These ) 116 SB
1354 1328 157 (statistics ) 161 SB
1515 1328 116 (would ) 120 SB
1635 1328 65 (not ) 69 SB
1704 1328 113 (detect ) 117 SB
1821 1328 300 (non-determinism ) 304 SB
2125 1328 44 (in ) 49 SB
2174 1328 77 (such) 77 SB
1238 1378 111 (cases. ) 125 SB
1363 1378 11 ( ) 25 SB
1388 1378 176 (However, ) 191 SB
1579 1378 63 (the ) 78 SB
1657 1378 77 (size ) 92 SB
1749 1378 72 (and ) 87 SB
1836 1378 202 (complexity ) 217 SB
2053 1378 46 (of ) 61 SB
2114 1378 63 (the ) 78 SB
2192 1378 59 (test) 59 SB
1238 1428 216 (applications ) 232 SB
1470 1428 103 (make ) 119 SB
1589 1428 88 (such ) 104 SB
1693 1428 104 (coinci) 104 SB
1797 1428 126 (dences ) 142 SB
1939 1428 161 (unlikely. ) 177 SB
2116 1428 11 ( ) 27 SB
2143 1428 39 (If ) 56 SB
2199 1428 52 (the) 52 SB
1238 1478 187 (possibility ) 188 SB
1426 1478 46 (of ) 47 SB
1473 1478 96 (them ) 97 SB
1570 1478 114 (seems ) 115 SB
1685 1478 97 (high, ) 98 SB
1783 1478 84 (then ) 85 SB
1868 1478 81 (user ) 82 SB
1950 1478 94 (level ) 96 SB
2046 1478 121 (results ) 123 SB
2169 1478 82 (from) 82 SB
1238 1528 63 (the ) 74 SB
1312 1528 190 (simulation ) 201 SB
1513 1528 96 (itself ) 107 SB
1620 1528 70 (can ) 81 SB
1701 1528 51 (be ) 62 SB
1763 1528 150 (checked ) 161 SB
1924 1528 131 (against ) 142 SB
2066 1528 63 (the ) 75 SB
2141 1528 110 (proper) 110 SB
1238 1578 155 (answer.\) ) 160 SB
1398 1578 11 ( ) 16 SB
1414 1578 46 (In ) 51 SB
1465 1578 194 (production ) 199 SB
1664 1578 116 (mode, ) 122 SB
1786 1578 63 (the ) 69 SB
1855 1578 81 (user ) 87 SB
1942 1578 127 (clearly ) 133 SB
2075 1578 116 (would ) 122 SB
2197 1578 54 (not) 54 SB
1238 1628 103 (make ) 106 SB
1344 1628 30 (a ) 34 SB
1378 1628 117 (sequen) 117 SB
1495 1628 66 (tial ) 70 SB
1565 1628 67 (run ) 71 SB
1636 1628 44 (to ) 48 SB
1684 1628 115 (match ) 119 SB
1803 1628 105 (every ) 109 SB
1912 1628 139 (parallel ) 143 SB
2055 1628 67 (run ) 71 SB
2126 1628 72 (just ) 76 SB
2202 1628 49 (for) 49 SB
1238 1678 160 (purposes ) 161 SB
1399 1678 46 (of ) 47 SB
1446 1678 181 (validating ) 182 SB
1628 1678 151 (determin) 151 SB
1779 1678 83 (ism. ) 84 SB
1863 1678 11 ( ) 13 SB
1876 1678 72 (But ) 74 SB
1950 1678 37 (if ) 39 SB
1989 1678 63 (the ) 65 SB
2054 1678 139 (parallel ) 141 SB
2195 1678 56 (run) 56 SB
1238 1728 168 (produced ) 179 SB
1417 1728 186 (suspicious ) 197 SB
1614 1728 157 (answers, ) 169 SB
1783 1728 102 (using ) 114 SB
1897 1728 151 (TWSIM ) 163 SB
2060 1728 44 (to ) 56 SB
2116 1728 135 (validate) 135 SB
1238 1778 933 (determinism would be a good place to start debugging.) 933 SB
1238 1878 46 (In ) 50 SB
1288 1878 105 (many ) 110 SB
1398 1878 111 (cases, ) 116 SB
1514 1878 211 (mismatches ) 216 SB
1730 1878 53 (on ) 58 SB
1788 1878 63 (the ) 68 SB
1856 1878 193 (committed ) 198 SB
2054 1878 157 (statistics ) 162 SB
2216 1878 35 (of) 35 SB
1238 1928 51 (an ) 57 SB
1295 1928 200 (application ) 206 SB
1501 1928 91 (have ) 97 SB
1598 1928 164 (signalled ) 171 SB
1769 1928 109 (errors ) 116 SB
1885 1928 44 (in ) 51 SB
1936 1928 141 (TWOS. ) 148 SB
2084 1928 11 ( ) 18 SB
2102 1928 107 (Some ) 114 SB
2216 1928 35 (of) 35 SB
1238 1978 98 (these ) 114 SB
1352 1978 109 (errors ) 125 SB
1477 1978 91 (have ) 107 SB
1584 1978 91 (been ) 107 SB
1691 1978 127 (related ) 143 SB
1834 1978 119 (purely ) 135 SB
1969 1978 44 (to ) 60 SB
2029 1978 222 (deterministic) 222 SB
1238 2028 172 (concerns, ) 191 SB
1429 2028 88 (such ) 107 SB
1536 2028 46 (as ) 65 SB
1601 2028 63 (the ) 82 SB
1683 2028 138 (method ) 158 SB
1841 2028 46 (of ) 66 SB
1907 2028 154 (ordering ) 174 SB
2081 2028 170 (messages.) 170 SB
1238 2078 134 (Others, ) 136 SB
1374 2078 167 (however, ) 170 SB
1544 2078 91 (have ) 94 SB
1638 2078 91 (been ) 94 SB
1732 2078 223 (fundamental ) 226 SB
1958 2078 109 (errors ) 112 SB
2070 2078 75 (like ) 78 SB
2148 2078 103 (losing) 103 SB
1238 2128 181 (messages, ) 190 SB
1428 2128 122 (failing ) 132 SB
1560 2128 44 (to ) 54 SB
1614 2128 70 (roll ) 80 SB
1694 2128 91 (back ) 101 SB
1795 2128 165 (properly, ) 175 SB
1970 2128 46 (or ) 56 SB
2026 2128 109 (errors ) 119 SB
2145 2128 44 (in ) 54 SB
2199 2128 52 (the) 52 SB
1238 2178 194 (scheduling ) 196 SB
1434 2178 203 (algorithms. ) 205 SB
1639 2178 11 ( ) 13 SB
1652 2178 98 (Even ) 100 SB
1752 2178 37 (if ) 39 SB
1791 2178 72 (one ) 74 SB
1865 2178 93 (were ) 96 SB
1961 2178 131 (willing ) 134 SB
2095 2178 44 (to ) 47 SB
2142 2178 109 (accept) 109 SB
1238 2228 30 (a ) 33 SB
1271 2228 127 (certain ) 130 SB
1401 2228 300 (non-determinism ) 303 SB
1704 2228 44 (in ) 47 SB
1751 2228 63 (the ) 67 SB
1818 2228 132 (results, ) 136 SB
1954 2228 98 (these ) 102 SB
2056 2228 195 (phenomena) 195 SB
1238 2278 105 (could ) 107 SB
1345 2278 86 (only ) 88 SB
1433 2278 51 (be ) 53 SB
1486 2278 159 (regarded ) 161 SB
1647 2278 46 (as ) 48 SB
1695 2278 109 (errors ) 111 SB
1806 2278 166 (requiring ) 168 SB
1974 2278 194 (correction. ) 197 SB
2171 2278 11 ( ) 14 SB
2185 2278 66 (The) 66 SB
1238 2328 122 (failure ) 123 SB
1361 2328 46 (of ) 47 SB
1408 2328 144 (TWOS\222 ) 145 SB
1553 2328 151 (determin) 151 SB
1704 2328 72 (ism ) 74 SB
1778 2328 142 (brought ) 144 SB
1922 2328 96 (them ) 98 SB
2020 2328 44 (to ) 46 SB
2066 2328 89 (light ) 91 SB
2157 2328 94 (much) 94 SB
1238 2378 98 (more ) 104 SB
1342 2378 138 (quickly ) 144 SB
1486 2378 84 (than ) 90 SB
1576 2378 37 (if ) 43 SB
1619 2378 60 (we ) 67 SB
1686 2378 72 (had ) 79 SB
1765 2378 65 (not ) 72 SB
1837 2378 185 (demanded ) 192 SB
2029 2378 222 (deterministic) 222 SB
1238 2428 481 (results from the mechanism.) 481 SB
1238 2528 100 (Once ) 121 SB
1359 2528 88 (such ) 109 SB
1468 2528 30 (a ) 51 SB
1519 2528 152 (problem ) 173 SB
1692 2528 67 (has ) 88 SB
1780 2528 91 (been ) 112 SB
1892 2528 164 (detected, ) 185 SB
2077 2528 63 (the ) 85 SB
2162 2528 89 (usual) 89 SB
1238 2578 195 (difficulties ) 198 SB
1436 2578 46 (of ) 49 SB
1485 2578 189 (debugging ) 192 SB
1677 2578 139 (parallel ) 142 SB
1819 2578 46 (or ) 50 SB
1869 2578 192 (distributed ) 196 SB
2065 2578 91 (code ) 95 SB
2160 2578 91 (arise.) 91 SB
1238 2628 118 (Often, ) 125 SB
1363 2628 63 (the ) 70 SB
1433 2628 93 (error ) 100 SB
1533 2628 182 (producing ) 190 SB
1723 2628 162 (incorrect ) 170 SB
1893 2628 193 (committed ) 201 SB
2094 2628 121 (results ) 129 SB
2223 2628 28 (is) 28 SB
1238 2678 1013 (itself non-deterministic, so it may not appear on subsequent) 1013 SB
1238 2728 94 (runs. ) 117 SB
1355 2728 11 ( ) 34 SB
1389 2728 199 (Sometimes ) 222 SB
1611 2728 63 (the ) 86 SB
1697 2728 152 (problem ) 175 SB
1872 2728 39 (is ) 62 SB
1934 2728 107 (based ) 130 SB
2064 2728 53 (on ) 76 SB
2140 2728 111 (timing) 111 SB
1238 2778 266 (considerations, ) 275 SB
1513 2778 48 (so ) 57 SB
1570 2778 159 (inserting ) 168 SB
1738 2778 103 (debug) 103 SB
1841 2778 86 (ging ) 95 SB
1936 2778 91 (code ) 100 SB
2036 2778 70 (can ) 79 SB
2115 2778 103 (make ) 112 SB
2227 2778 24 (it) 24 SB
1238 2828 184 (disappear. ) 186 SB
1424 2828 11 ( ) 13 SB
1437 2828 176 (However, ) 179 SB
1616 2828 51 (an ) 54 SB
1670 2828 93 (error ) 96 SB
1766 2828 118 (whose ) 121 SB
1887 2828 168 (symptom ) 171 SB
2058 2828 39 (is ) 42 SB
2100 2828 151 (incorrect) 151 SB
1238 2878 670 (committed results responds to an impor) 670 SB
1908 2878 75 (tant ) 76 SB
1984 2878 189 (debugging ) 190 SB
2174 2878 77 (tool.) 77 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Roman
%%Page: 6 6
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
150 228 130 (TWOS ) 134 SB
284 228 70 (can ) 74 SB
358 228 110 (check ) 114 SB
472 228 63 (the ) 67 SB
539 228 129 (correct ) 133 SB
672 228 88 (flow ) 93 SB
765 228 46 (of ) 51 SB
816 228 63 (the ) 68 SB
884 228 154 (program ) 159 SB
1043 228 120 (against) 120 SB
150 278 63 (the ) 78 SB
228 278 87 (incor) 87 SB
315 278 75 (rect ) 90 SB
405 278 121 (results ) 136 SB
541 278 126 (caused ) 142 SB
683 278 53 (by ) 69 SB
752 278 63 (the ) 79 SB
831 278 104 (error, ) 120 SB
951 278 154 (message ) 170 SB
1121 278 42 (by) 42 SB
150 328 485 (message and event by event.) 485 SB
150 428 41 (A ) 45 SB
195 428 151 (TWSIM ) 155 SB
350 428 67 (run ) 71 SB
421 428 46 (of ) 51 SB
472 428 63 (the ) 68 SB
540 428 200 (application ) 205 SB
745 428 70 (can ) 75 SB
820 428 147 (produce ) 152 SB
972 428 30 (a ) 35 SB
1007 428 156 (complete) 156 SB
150 478 94 (trace ) 105 SB
255 478 46 (of ) 57 SB
312 478 105 (every ) 116 SB
428 478 103 (event ) 115 SB
543 478 75 (that ) 87 SB
630 478 123 (should ) 135 SB
765 478 51 (be ) 63 SB
828 478 187 (performed ) 199 SB
1027 478 72 (and ) 84 SB
1111 478 52 (the) 52 SB
150 528 170 (messages ) 172 SB
322 528 75 (that ) 77 SB
399 528 126 (caused ) 128 SB
527 528 46 (it. ) 48 SB
575 528 11 ( ) 13 SB
588 528 86 (This ) 88 SB
676 528 94 (trace ) 96 SB
772 528 39 (is ) 41 SB
813 528 113 (called ) 115 SB
928 528 63 (the ) 66 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
994 527 101 (event ) 104 SB
1098 527 54 (log) 54 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1152 528 11 (.) 11 SB
150 580 130 (TWOS ) 140 SB
290 580 70 (can ) 80 SB
370 580 84 (read ) 94 SB
464 580 51 (an ) 61 SB
525 580 103 (event ) 113 SB
638 580 65 (log ) 75 SB
713 580 119 (before ) 129 SB
842 580 63 (the ) 73 SB
915 580 67 (run ) 77 SB
992 580 100 (starts ) 110 SB
1102 580 61 (and) 61 SB
150 630 110 (check ) 116 SB
266 630 35 (it ) 41 SB
307 630 131 (against ) 137 SB
444 630 89 (each ) 95 SB
539 630 154 (message ) 160 SB
699 630 72 (and ) 79 SB
778 630 103 (event ) 110 SB
888 630 204 (committed. ) 211 SB
1099 630 11 ( ) 18 SB
1117 630 46 (As) 46 SB
150 680 90 (soon ) 95 SB
245 680 46 (as ) 51 SB
296 680 30 (a ) 35 SB
331 680 176 (mismatch ) 181 SB
512 680 39 (is ) 44 SB
556 680 164 (detected, ) 169 SB
725 680 130 (TWOS ) 135 SB
860 680 77 (will ) 82 SB
942 680 75 (halt ) 81 SB
1023 680 72 (and ) 78 SB
1101 680 62 (call) 62 SB
150 730 160 (attention ) 168 SB
318 730 44 (to ) 52 SB
370 730 63 (the ) 71 SB
441 730 98 (point ) 106 SB
547 730 46 (of ) 54 SB
601 730 87 (diver) 87 SB
688 730 121 (gence. ) 129 SB
817 730 11 ( ) 19 SB
836 730 77 (The ) 85 SB
921 730 103 (event ) 112 SB
1033 730 65 (log ) 74 SB
1107 730 56 (has) 56 SB
150 780 588 (proven of immense value in debug) 588 SB
738 780 86 (ging ) 87 SB
825 780 141 (TWOS. ) 142 SB
967 780 11 ( ) 12 SB
979 780 37 (It ) 38 SB
1017 780 70 (can ) 71 SB
1088 780 75 (only) 75 SB
150 830 51 (be ) 66 SB
216 830 99 (used, ) 114 SB
330 830 46 (of ) 61 SB
391 830 132 (course, ) 148 SB
539 830 44 (in ) 60 SB
599 830 30 (a ) 46 SB
645 830 128 (system ) 144 SB
789 830 162 (expected ) 178 SB
967 830 44 (to ) 60 SB
1027 830 136 (produce) 136 SB
150 880 354 (deterministic results.) 354 SB
150 980 77 (The ) 79 SB
229 980 103 (event ) 105 SB
334 980 65 (log ) 67 SB
401 980 39 (is ) 41 SB
442 980 79 (also ) 81 SB
523 980 114 (useful ) 116 SB
639 980 60 (for ) 62 SB
701 980 216 (applications ) 218 SB
919 980 139 (writers. ) 142 SB
1061 980 11 ( ) 14 SB
1075 980 88 (First,) 88 SB
150 1030 35 (it ) 38 SB
188 1030 121 (allows ) 124 SB
312 1030 96 (them ) 99 SB
411 1030 44 (to ) 47 SB
458 1030 79 (find ) 82 SB
540 1030 117 (places ) 120 SB
660 1030 44 (in ) 47 SB
707 1030 89 (their ) 92 SB
799 1030 170 (programs ) 173 SB
972 1030 114 (where ) 118 SB
1090 1030 73 (they) 73 SB
150 1080 91 (have ) 102 SB
252 1080 235 (inadvertently ) 246 SB
498 1080 128 (broken ) 139 SB
637 1080 72 (one ) 83 SB
720 1080 46 (of ) 57 SB
777 1080 63 (the ) 75 SB
852 1080 93 (rules ) 105 SB
957 1080 46 (of ) 58 SB
1015 1080 148 (behavior) 148 SB
150 1130 94 (neces) 94 SB
244 1130 81 (sary ) 82 SB
326 1130 44 (to ) 45 SB
371 1130 176 (guarantee ) 177 SB
548 1130 234 (determinism. ) 235 SB
783 1130 11 ( ) 12 SB
795 1130 46 (In ) 48 SB
843 1130 161 (addition, ) 163 SB
1006 1130 63 (the ) 65 SB
1071 1130 92 (event) 92 SB
150 1180 1013 (log is helpful if the applications writer has made changes to) 1013 SB
150 1230 63 (the ) 85 SB
235 1230 154 (program ) 176 SB
411 1230 75 (that ) 97 SB
508 1230 93 (were ) 115 SB
623 1230 65 (not ) 87 SB
710 1230 157 (intended ) 180 SB
890 1230 44 (to ) 67 SB
957 1230 131 (change ) 154 SB
1111 1230 52 (the) 52 SB
150 1280 193 (committed ) 201 SB
351 1280 121 (results ) 129 SB
480 1280 46 (of ) 54 SB
534 1280 63 (the ) 71 SB
605 1280 165 (program, ) 173 SB
778 1280 88 (such ) 96 SB
874 1280 46 (as ) 55 SB
929 1280 192 (converting ) 201 SB
1130 1280 33 (to) 33 SB
150 1330 105 (faster ) 106 SB
256 1330 151 (versions ) 152 SB
408 1330 46 (of ) 47 SB
455 1330 128 (sorting ) 129 SB
584 1330 72 (and ) 73 SB
657 1330 173 (searching ) 174 SB
831 1330 203 (algorithms. ) 205 SB
1036 1330 11 ( ) 13 SB
1049 1330 114 (Again,) 114 SB
150 1380 37 (if ) 57 SB
207 1380 63 (the ) 83 SB
290 1380 128 (system ) 148 SB
438 1380 105 (could ) 126 SB
564 1380 65 (not ) 86 SB
650 1380 51 (be ) 72 SB
722 1380 145 (counted ) 166 SB
888 1380 53 (on ) 74 SB
962 1380 44 (to ) 65 SB
1027 1380 136 (produce) 136 SB
150 1430 233 (deterministic ) 238 SB
388 1430 132 (results, ) 137 SB
525 1430 63 (the ) 68 SB
593 1430 103 (event ) 108 SB
701 1430 65 (log ) 70 SB
771 1430 105 (could ) 110 SB
881 1430 65 (not ) 70 SB
951 1430 51 (be ) 57 SB
1008 1430 88 (used ) 94 SB
1102 1430 61 (this) 61 SB
150 1480 81 (way.) 81 SB
150 1580 77 (The ) 94 SB
244 1580 103 (event ) 120 SB
364 1580 76 (log, ) 93 SB
457 1580 46 (as ) 63 SB
520 1580 164 (currently ) 181 SB
701 1580 244 (implemented, ) 261 SB
962 1580 67 (has ) 85 SB
1047 1580 116 (certain) 116 SB
150 1630 100 (limita) 100 SB
250 1630 104 (tions. ) 136 SB
386 1630 11 ( ) 43 SB
429 1630 141 (Typical ) 173 SB
602 1630 103 (fairly ) 136 SB
738 1630 124 (simple ) 157 SB
895 1630 143 (discrete ) 176 SB
1071 1630 92 (event) 92 SB
150 1680 206 (simulations ) 215 SB
365 1680 84 (may ) 93 SB
458 1680 147 (perform ) 156 SB
614 1680 148 (500,000 ) 158 SB
772 1680 46 (or ) 56 SB
828 1680 98 (more ) 108 SB
936 1680 130 (events. ) 140 SB
1076 1680 11 ( ) 21 SB
1097 1680 66 (The) 66 SB
150 1730 651 (simulations run for practical purposes ) 652 SB
802 1730 84 (may ) 85 SB
887 1730 136 (contain ) 137 SB
1024 1730 139 (millions) 139 SB
150 1780 46 (of ) 47 SB
197 1780 130 (events. ) 131 SB
328 1780 11 ( ) 12 SB
340 1780 95 (Logs ) 96 SB
436 1780 46 (of ) 47 SB
483 1780 48 (so ) 50 SB
533 1780 105 (many ) 107 SB
640 1780 119 (events ) 121 SB
761 1780 63 (are ) 65 SB
826 1780 93 (huge ) 95 SB
921 1780 72 (and ) 74 SB
995 1780 168 (unwieldy.) 168 SB
150 1830 305 (The current imple) 305 SB
455 1830 550 (mentation of TWOS has further ) 551 SB
1006 1830 157 (problems) 157 SB
150 1880 86 (with ) 97 SB
247 1880 96 (large ) 108 SB
355 1880 103 (event ) 115 SB
470 1880 92 (logs, ) 104 SB
574 1880 46 (as ) 58 SB
632 1880 84 (they ) 96 SB
728 1880 93 (must ) 105 SB
833 1880 51 (be ) 63 SB
896 1880 114 (stored ) 126 SB
1022 1880 44 (in ) 56 SB
1078 1880 85 (main) 85 SB
150 1930 152 (memory ) 157 SB
307 1930 72 (due ) 77 SB
384 1930 44 (to ) 49 SB
433 1930 75 (hard) 75 SB
508 1930 93 (ware ) 98 SB
606 1930 210 (restrictions. ) 215 SB
821 1930 11 ( ) 17 SB
838 1930 140 (Ideally, ) 146 SB
984 1930 103 (event ) 109 SB
1093 1930 70 (logs) 70 SB
150 1980 123 (should ) 130 SB
280 1980 51 (be ) 58 SB
338 1980 84 (kept ) 91 SB
429 1980 85 (selec) 85 SB
514 1980 119 (tively, ) 126 SB
640 1980 140 (logging ) 147 SB
787 1980 119 (events ) 126 SB
913 1980 86 (only ) 93 SB
1006 1980 60 (for ) 68 SB
1074 1980 89 (those) 89 SB
150 2030 131 (objects ) 133 SB
283 2030 75 (that ) 77 SB
360 2030 98 (seem ) 100 SB
460 2030 44 (to ) 46 SB
506 2030 51 (be ) 53 SB
559 2030 44 (in ) 47 SB
606 2030 104 (error, ) 107 SB
713 2030 72 (and ) 75 SB
788 2030 121 (during ) 124 SB
912 2030 100 (those ) 103 SB
1015 2030 148 (stretches) 148 SB
150 2080 46 (of ) 51 SB
201 2080 190 (simulation ) 195 SB
396 2080 87 (time ) 92 SB
488 2080 102 (when ) 107 SB
595 2080 63 (the ) 68 SB
663 2080 93 (error ) 99 SB
762 2080 79 (first ) 85 SB
847 2080 151 (appears. ) 157 SB
1004 2080 11 ( ) 17 SB
1021 2080 142 (Usually,) 142 SB
150 2130 51 (an ) 54 SB
204 2130 221 (examination ) 224 SB
428 2130 46 (of ) 50 SB
478 2130 63 (the ) 67 SB
545 2130 157 (statistics ) 161 SB
706 2130 72 (and ) 76 SB
782 2130 121 (results ) 125 SB
907 2130 46 (of ) 50 SB
957 2130 51 (an ) 55 SB
1012 2130 87 (incor) 87 SB
1099 2130 64 (rect) 64 SB
150 2180 67 (run ) 76 SB
226 2180 70 (can ) 79 SB
305 2180 84 (give ) 93 SB
398 2180 100 (some ) 109 SB
507 2180 77 (hint ) 86 SB
593 2180 46 (as ) 55 SB
648 2180 44 (to ) 53 SB
701 2180 63 (the ) 72 SB
773 2180 143 (original ) 152 SB
925 2180 121 (source ) 130 SB
1055 2180 46 (of ) 56 SB
1111 2180 52 (the) 52 SB
150 2230 104 (error, ) 114 SB
264 2230 72 (and ) 82 SB
346 2230 72 (this ) 82 SB
428 2230 211 (information ) 221 SB
649 2230 105 (could ) 116 SB
765 2230 51 (be ) 62 SB
827 2230 88 (used ) 99 SB
926 2230 44 (to ) 55 SB
981 2230 182 (selectively) 182 SB
150 2280 504 (trace the actual problem area.) 504 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
552 2380 208 (Conclusions) 208 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
150 2480 74 (Not ) 77 SB
227 2480 54 (all ) 57 SB
284 2480 144 (systems ) 147 SB
431 2480 91 (have ) 94 SB
525 2480 30 (a ) 33 SB
558 2480 96 (strict ) 99 SB
657 2480 91 (need ) 95 SB
752 2480 60 (for ) 64 SB
816 2480 234 (determinism. ) 238 SB
1054 2480 11 ( ) 15 SB
1069 2480 94 (Since) 94 SB
150 2530 210 (providing it ) 211 SB
361 2530 88 (does ) 89 SB
450 2530 91 (have ) 92 SB
542 2530 106 (costs, ) 107 SB
649 2530 100 (some ) 101 SB
750 2530 144 (systems ) 145 SB
895 2530 84 (may ) 85 SB
980 2530 128 (choose ) 129 SB
1109 2530 54 (not) 54 SB
150 2580 44 (to ) 45 SB
195 2580 140 (provide ) 141 SB
336 2580 46 (it. ) 47 SB
383 2580 11 ( ) 12 SB
395 2580 176 (However, ) 177 SB
572 2580 223 (determinism ) 225 SB
797 2580 39 (is ) 41 SB
838 2580 30 (a ) 32 SB
870 2580 96 (great ) 98 SB
968 2580 95 (boon ) 97 SB
1065 2580 44 (to ) 46 SB
1111 2580 52 (the) 52 SB
150 2630 92 (user, ) 94 SB
244 2630 98 (since ) 101 SB
345 2630 35 (it ) 38 SB
383 2630 119 (makes ) 122 SB
505 2630 63 (the ) 66 SB
571 2630 122 (virtual ) 125 SB
696 2630 155 (machine ) 158 SB
854 2630 51 (he ) 54 SB
908 2630 83 (runs ) 86 SB
994 2630 53 (on ) 56 SB
1050 2630 113 (appear) 113 SB
150 2680 98 (more ) 107 SB
257 2680 75 (like ) 84 SB
341 2680 30 (a ) 39 SB
380 2680 183 (sequential ) 192 SB
572 2680 166 (machine, ) 176 SB
748 2680 119 (easing ) 129 SB
877 2680 63 (the ) 73 SB
950 2680 168 (problems ) 178 SB
1128 2680 35 (of) 35 SB
150 2730 241 (programming ) 253 SB
403 2730 72 (and ) 84 SB
487 2730 189 (debugging ) 201 SB
688 2730 46 (it. ) 58 SB
746 2730 11 ( ) 24 SB
770 2730 232 (Determinism ) 245 SB
1015 2730 79 (also ) 92 SB
1107 2730 56 (has) 56 SB
150 2780 105 (many ) 112 SB
262 2780 145 (benefits ) 152 SB
414 2780 60 (for ) 67 SB
481 2780 63 (the ) 70 SB
551 2780 154 (designer ) 161 SB
712 2780 46 (of ) 53 SB
765 2780 63 (the ) 70 SB
835 2780 139 (system, ) 146 SB
981 2780 46 (as ) 53 SB
1034 2780 35 (it ) 42 SB
1076 2780 87 (often) 87 SB
150 2830 156 (provides ) 168 SB
318 2830 51 (an ) 63 SB
381 2830 96 (early ) 108 SB
489 2830 112 (signal ) 124 SB
613 2830 46 (of ) 58 SB
671 2830 30 (a ) 42 SB
713 2830 144 (systems ) 157 SB
870 2830 93 (error ) 106 SB
976 2830 75 (that ) 88 SB
1064 2830 99 (might) 99 SB
1238 228 87 (other) 87 SB
1325 228 88 (wise ) 95 SB
1420 228 53 (go ) 60 SB
1480 228 195 (undetected ) 202 SB
1682 228 60 (for ) 67 SB
1749 228 96 (quite ) 103 SB
1852 228 30 (a ) 37 SB
1889 228 116 (while. ) 123 SB
2012 228 11 ( ) 18 SB
2030 228 221 (Determinism) 221 SB
1238 278 138 (permits ) 150 SB
1388 278 63 (the ) 75 SB
1463 278 67 (use ) 79 SB
1542 278 46 (of ) 58 SB
1600 278 63 (the ) 75 SB
1675 278 103 (event ) 115 SB
1790 278 76 (log, ) 88 SB
1878 278 30 (a ) 42 SB
1920 278 77 (tool ) 89 SB
2009 278 75 (that ) 87 SB
2096 278 70 (can ) 82 SB
2178 278 73 (help) 73 SB
1238 328 538 (pinpoint the source of the error.) 538 SB
1238 428 144 (TWOS\222 ) 145 SB
1383 428 137 (support ) 138 SB
1521 428 46 (of ) 47 SB
1568 428 233 (deterministic ) 235 SB
1803 428 121 (results ) 123 SB
1926 428 39 (is ) 41 SB
1967 428 100 (weak ) 102 SB
2069 428 60 (for ) 62 SB
2131 428 120 (hetero-) 120 SB
1238 478 40 (ge) 40 SB
1278 478 109 (neous ) 121 SB
1399 478 155 (systems. ) 167 SB
1566 478 11 ( ) 23 SB
1589 478 125 (Unless ) 137 SB
1726 478 63 (the ) 75 SB
1801 478 157 (different ) 169 SB
1970 478 171 (machines ) 183 SB
2153 478 67 (use ) 79 SB
2232 478 19 (a) 19 SB
1238 528 159 (common ) 160 SB
1398 528 82 (data ) 83 SB
1481 528 135 (format, ) 136 SB
1617 528 130 (TWOS ) 131 SB
1748 528 124 (cannot ) 125 SB
1873 528 176 (guarantee ) 177 SB
2050 528 75 (that ) 76 SB
2126 528 30 (a ) 31 SB
2157 528 94 (given) 94 SB
1238 578 58 (set ) 71 SB
1309 578 46 (of ) 59 SB
1368 578 170 (messages ) 183 SB
1551 578 77 (will ) 90 SB
1641 578 51 (be ) 64 SB
1705 578 140 (ordered ) 153 SB
1858 578 63 (the ) 76 SB
1934 578 98 (same ) 112 SB
2046 578 81 (way ) 95 SB
2141 578 53 (on ) 67 SB
2208 578 43 (all) 43 SB
1238 628 182 (machines, ) 203 SB
1441 628 83 (and, ) 104 SB
1545 628 121 (hence, ) 142 SB
1687 628 124 (cannot ) 145 SB
1832 628 176 (guarantee ) 197 SB
2029 628 222 (deterministic) 222 SB
1238 678 132 (results. ) 135 SB
1373 678 11 ( ) 14 SB
1387 678 77 (The ) 81 SB
1468 678 152 (problem ) 156 SB
1624 678 39 (is ) 43 SB
1667 678 129 (similar ) 133 SB
1800 678 44 (to ) 48 SB
1848 678 242 (heterogeneity ) 246 SB
2094 678 157 (problems) 157 SB
1238 728 46 (of ) 54 SB
1292 728 98 (other ) 106 SB
1398 728 192 (distributed ) 200 SB
1598 728 155 (systems, ) 163 SB
1761 728 72 (and ) 80 SB
1841 728 39 (is ) 48 SB
1889 728 108 (likely ) 117 SB
2006 728 44 (to ) 53 SB
2059 728 131 (require ) 140 SB
2199 728 52 (the) 52 SB
1238 778 947 (same kinds of solutions.  This work remains to be done.) 947 SB
1238 878 77 (The ) 116 SB
1354 878 103 (event ) 143 SB
1497 878 65 (log ) 105 SB
1602 878 189 (debugging ) 229 SB
1831 878 77 (tool ) 117 SB
1948 878 147 (requires ) 187 SB
2135 878 116 (certain) 116 SB
1238 928 253 (improvements ) 263 SB
1501 928 44 (to ) 54 SB
1555 928 103 (make ) 113 SB
1668 928 35 (it ) 45 SB
1713 928 110 (easier ) 120 SB
1833 928 44 (to ) 55 SB
1888 928 78 (use. ) 89 SB
1977 928 11 ( ) 22 SB
1999 928 77 (The ) 88 SB
2087 928 120 (ability ) 131 SB
2218 928 33 (to) 33 SB
1238 978 108 (select ) 114 SB
1352 978 63 (the ) 69 SB
1421 978 131 (objects ) 137 SB
1558 978 72 (and ) 78 SB
1636 978 82 (simu) 82 SB
1718 978 108 (lation ) 115 SB
1833 978 87 (time ) 94 SB
1927 978 121 (ranges ) 128 SB
2055 978 60 (for ) 67 SB
2122 978 129 (logging) 129 SB
1238 1028 116 (would ) 120 SB
1358 1028 103 (make ) 107 SB
1465 1028 63 (the ) 67 SB
1532 1028 77 (tool ) 81 SB
1613 1028 98 (more ) 103 SB
1716 1028 125 (useful. ) 130 SB
1846 1028 11 ( ) 16 SB
1862 1028 112 (These ) 117 SB
1979 1028 145 (features ) 150 SB
2129 1028 77 (will ) 82 SB
2211 1028 40 (be) 40 SB
1238 1078 464 (added to the event log tool.) 464 SB
1238 1178 41 (A ) 48 SB
1286 1178 315 (checkpoint/restart ) 322 SB
1608 1178 132 (facility ) 139 SB
1747 1178 116 (would ) 123 SB
1870 1178 84 (ease ) 91 SB
1961 1178 200 (debugging. ) 207 SB
2168 1178 11 ( ) 18 SB
2186 1178 39 (If ) 46 SB
2232 1178 19 (a) 19 SB
1238 1228 223 (determinism ) 228 SB
1466 1228 152 (problem ) 157 SB
1623 1228 86 (only ) 91 SB
1714 1228 173 (manifests ) 178 SB
1892 1228 96 (itself ) 101 SB
1993 1228 44 (in ) 49 SB
2042 1228 63 (the ) 68 SB
2110 1228 70 (last ) 75 SB
2185 1228 66 (five) 66 SB
1238 1278 145 (minutes ) 160 SB
1398 1278 46 (of ) 61 SB
1459 1278 30 (a ) 45 SB
1504 1278 124 (twelve ) 139 SB
1643 1278 88 (hour ) 104 SB
1747 1278 78 (run, ) 94 SB
1841 1278 189 (debugging ) 205 SB
2046 1278 35 (it ) 51 SB
2097 1278 86 (with ) 102 SB
2199 1278 52 (the) 52 SB
1238 1328 145 (existing ) 156 SB
1394 1328 93 (tools ) 104 SB
1498 1328 116 (would ) 127 SB
1625 1328 51 (be ) 62 SB
1687 1328 86 (very ) 97 SB
1784 1328 87 (time ) 98 SB
1882 1328 207 (consuming. ) 219 SB
2101 1328 11 ( ) 23 SB
2124 1328 96 (With ) 108 SB
2232 1328 19 (a) 19 SB
1238 1378 99 (check) 99 SB
1337 1378 216 (point/restart ) 221 SB
1558 1378 143 (facility, ) 148 SB
1706 1378 63 (the ) 68 SB
1774 1378 190 (simulation ) 195 SB
1969 1378 105 (could ) 110 SB
2079 1378 51 (be ) 57 SB
2136 1378 67 (run ) 73 SB
2209 1378 42 (up) 42 SB
1238 1428 44 (to ) 73 SB
1311 1428 63 (the ) 92 SB
1403 1428 98 (point ) 127 SB
1530 1428 42 (at ) 71 SB
1601 1428 114 (which ) 143 SB
1744 1428 63 (the ) 92 SB
1836 1428 152 (problem ) 181 SB
2017 1428 132 (occurs, ) 161 SB
2178 1428 73 (then) 73 SB
1238 1478 248 (checkpointed. ) 262 SB
1500 1478 11 ( ) 25 SB
1525 1478 205 (Subsequent ) 220 SB
1745 1478 189 (debugging ) 204 SB
1949 1478 83 (runs ) 98 SB
2047 1478 116 (would ) 131 SB
2178 1478 73 (start) 73 SB
1238 1528 93 (from ) 98 SB
1336 1528 63 (the ) 68 SB
1404 1528 208 (checkpoint. ) 213 SB
1617 1528 11 ( ) 16 SB
1633 1528 324 (Checkpoint/restart ) 329 SB
1962 1528 77 (will ) 82 SB
2044 1528 51 (be ) 56 SB
2100 1528 112 (added ) 118 SB
2218 1528 33 (to) 33 SB
1238 1578 349 (TWOS in the future.) 349 SB
1238 1678 979 (TWOS has found the necessity of providing determinism ) 980 SB
2218 1678 33 (to) 33 SB
1238 1728 51 (its ) 54 SB
1292 1728 97 (users ) 101 SB
1393 1728 44 (to ) 48 SB
1441 1728 51 (be ) 55 SB
1496 1728 30 (a ) 34 SB
1530 1728 96 (great ) 100 SB
1630 1728 106 (boon, ) 110 SB
1740 1728 112 (above ) 116 SB
1856 1728 72 (and ) 76 SB
1932 1728 135 (beyond ) 139 SB
2071 1728 63 (the ) 67 SB
2138 1728 113 (simple) 113 SB
1238 1778 120 (require) 120 SB
1358 1778 107 (ment. ) 113 SB
1471 1778 11 ( ) 17 SB
1488 1778 46 (In ) 52 SB
1540 1778 177 (numerous ) 183 SB
1723 1778 111 (cases, ) 118 SB
1841 1778 35 (it ) 42 SB
1883 1778 67 (has ) 74 SB
1957 1778 142 (assisted ) 149 SB
2106 1778 86 (both ) 93 SB
2199 1778 52 (the) 52 SB
1238 1828 128 (system ) 140 SB
1378 1828 170 (designers ) 182 SB
1560 1828 72 (and ) 84 SB
1644 1828 63 (the ) 75 SB
1719 1828 200 (application ) 212 SB
1931 1828 128 (writers ) 141 SB
2072 1828 44 (in ) 57 SB
2129 1828 122 (finding) 122 SB
1238 1878 120 (errors. ) 121 SB
1359 1878 11 ( ) 12 SB
1371 1878 37 (It ) 38 SB
1409 1878 79 (also ) 80 SB
1489 1878 156 (provides ) 157 SB
1646 1878 30 (a ) 31 SB
1677 1878 116 (quick, ) 117 SB
1794 1878 86 (easy ) 87 SB
1881 1878 110 (check ) 111 SB
1992 1878 60 (for ) 62 SB
2054 1878 63 (the ) 65 SB
2119 1878 132 (correct-) 132 SB
1238 1928 83 (ness ) 87 SB
1325 1928 46 (of ) 50 SB
1375 1928 30 (a ) 34 SB
1409 1928 78 (run. ) 82 SB
1491 1928 11 ( ) 15 SB
1506 1928 70 (We ) 74 SB
1580 1928 116 (would ) 120 SB
1700 1928 211 (recommend ) 215 SB
1915 1928 133 (anyone ) 137 SB
2052 1928 175 (designing ) 180 SB
2232 1928 19 (a) 19 SB
1238 1978 192 (distributed ) 211 SB
1449 1978 128 (system ) 147 SB
1596 1978 44 (to ) 64 SB
1660 1978 154 (consider ) 174 SB
1834 1978 175 (providing ) 195 SB
2029 1978 222 (deterministic) 222 SB
1238 2028 351 (results to their users.) 351 SB
32 0 0 42 42 1 0 0 38 /Times-Roman /font32 ANSIFont font
1650 2128 188 (References) 188 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1238 2228 60 ([1] ) 64 SB
1302 2228 11 ( ) 15 SB
1317 2228 52 (D. ) 56 SB
1373 2228 176 (Jefferson, ) 180 SB
1553 2228 50 (B. ) 54 SB
1607 2228 182 (Beckman, ) 186 SB
1793 2228 45 (F. ) 49 SB
1842 2228 166 (Wieland, ) 170 SB
2012 2228 48 (L. ) 52 SB
2064 2228 135 (Blume, ) 139 SB
2203 2228 48 (M.) 48 SB
1330 2278 53 (Di ) 56 SB
1386 2278 135 (Loreto, ) 138 SB
1524 2278 45 (P. ) 48 SB
1572 2278 172 (Hontalas, ) 175 SB
1747 2278 45 (P. ) 48 SB
1795 2278 161 (Laroche, ) 164 SB
1959 2278 52 (K. ) 56 SB
2015 2278 205 (Sturdevant, ) 209 SB
2224 2278 27 (J.) 27 SB
1330 2328 163 (Tupman, ) 170 SB
1500 2328 52 (V. ) 59 SB
1559 2328 149 (Warren, ) 156 SB
1715 2328 38 (J. ) 45 SB
1760 2328 133 (Wedel, ) 140 SB
1900 2328 52 (H. ) 60 SB
1960 2328 169 (Younger, ) 177 SB
2137 2328 72 (and ) 80 SB
2217 2328 34 (S.) 34 SB
1330 2378 166 (Bellenot, ) 167 SB
1497 2378 19 (\223) 19 SB
1516 2378 201 (Distributed ) 202 SB
1718 2378 197 (Simulation ) 198 SB
1916 2378 72 (and ) 73 SB
1989 2378 63 (the ) 65 SB
2054 2378 101 (Time ) 103 SB
2157 2378 94 (Warp) 94 SB
1330 2428 180 (Operating ) 182 SB
1512 2428 135 (System,) 135 SB
1647 2428 19 (\224) 19 SB
1666 2428 11 ( ) 14 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1680 2427 100 (ACM ) 103 SB
1783 2427 184 (Operating ) 187 SB
1970 2427 144 (Systems ) 147 SB
2117 2427 123 (Review) 123 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
2240 2428 11 (,) 11 SB
1330 2480 342 (vol. 21, no. 4, 1987.) 342 SB
1238 2530 60 ([2] ) 64 SB
1302 2530 11 ( ) 15 SB
1317 2530 52 (D. ) 56 SB
1373 2530 187 (Jefferson,, ) 191 SB
1564 2530 19 (\223) 19 SB
1583 2530 131 (Virtual ) 135 SB
1718 2530 101 (Time,) 101 SB
1819 2530 19 (\224) 19 SB
1838 2530 11 ( ) 15 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
1853 2529 11 ( ) 16 SB
1869 2529 100 (ACM ) 105 SB
1974 2529 230 (Transactions ) 235 SB
2209 2529 42 (on) 42 SB
1330 2581 246 (Programming ) 251 SB
1581 2581 195 (Languages ) 200 SB
1781 2581 74 (and ) 79 SB
1860 2581 133 (Systems) 133 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1993 2582 22 (, ) 27 SB
2020 2582 76 (vol. ) 81 SB
2101 2582 43 (7, ) 48 SB
2149 2582 64 (no. ) 70 SB
2219 2582 32 (3,) 32 SB
1330 2634 95 (1985.) 95 SB
1238 2684 60 ([3] ) 62 SB
1300 2684 11 ( ) 13 SB
1313 2684 45 (F. ) 47 SB
1360 2684 166 (Wieland, ) 168 SB
1528 2684 48 (L. ) 50 SB
1578 2684 153 (Hawley, ) 155 SB
1733 2684 52 (A. ) 54 SB
1787 2684 172 (Feinberg, ) 174 SB
1961 2684 59 (M. ) 61 SB
2022 2684 53 (Di ) 55 SB
2077 2684 135 (Loreto, ) 137 SB
2214 2684 37 (L.) 37 SB
1330 2734 135 (Blume, ) 157 SB
1487 2734 38 (J. ) 60 SB
1547 2734 146 (Ruffles, ) 168 SB
1715 2734 45 (P. ) 67 SB
1782 2734 135 (Reiher, ) 157 SB
1939 2734 50 (B. ) 73 SB
2012 2734 182 (Beckman, ) 205 SB
2217 2734 34 (P.) 34 SB
1330 2784 172 (Hontalas, ) 191 SB
1521 2784 45 (S. ) 65 SB
1586 2784 166 (Bellenot, ) 186 SB
1772 2784 11 ( ) 31 SB
1803 2784 19 (\223) 19 SB
1822 2784 77 (The ) 97 SB
1919 2784 227 (Performance ) 247 SB
2166 2784 46 (of ) 66 SB
2232 2784 19 (a) 19 SB
1330 2834 201 (Distributed ) 205 SB
1535 2834 145 (Combat ) 149 SB
1684 2834 197 (Simulation ) 201 SB
1885 2834 96 (With ) 100 SB
1985 2834 63 (the ) 67 SB
2052 2834 101 (Time ) 105 SB
2157 2834 94 (Warp) 94 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Italic
%%+ font Times-Roman
%%Page: 7 7
%%PageResources: (atend)
SS
0 0 25 25 798 1100 300 SM
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
0 0 0 fC
242 228 180 (Operating ) 208 SB
450 228 135 (System,) 135 SB
585 228 19 (\224) 19 SB
604 228 11 ( ) 39 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
643 227 245 (Concurrency: ) 273 SB
916 227 155 (Practice ) 184 SB
1100 227 63 (and) 63 SB
242 279 191 (Experience) 191 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
433 280 450 (, vol. 1, no. 1, p. 35, 1989.) 450 SB
150 332 60 ([4] ) 60 SB
242 332 45 (P. ) 54 SB
296 332 161 (Hontalas ) 170 SB
466 332 72 (and ) 81 SB
547 332 50 (B. ) 60 SB
607 332 182 (Beckman, ) 192 SB
799 332 19 (\223) 19 SB
818 332 227 (Performance ) 237 SB
1055 332 46 (of ) 56 SB
1111 332 52 (the) 52 SB
242 382 171 (Colliding ) 191 SB
433 382 111 (Pucks ) 131 SB
564 382 197 (Simulation ) 217 SB
781 382 62 (On ) 82 SB
863 382 63 (the ) 84 SB
947 382 101 (Time ) 122 SB
1069 382 94 (Warp) 94 SB
242 432 180 (Operating ) 185 SB
427 432 135 (System ) 140 SB
567 432 93 (\(Part ) 98 SB
665 432 44 (2: ) 49 SB
714 432 41 (A ) 46 SB
760 432 155 (Detailed ) 160 SB
920 432 172 (Analysis\),) 172 SB
1092 432 19 (\224) 19 SB
1111 432 11 ( ) 17 SB
1128 432 35 (In) 35 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
242 479 222 (Proceedings ) 258 SB
500 479 44 (of ) 80 SB
580 479 63 (the ) 99 SB
679 479 95 (1989 ) 131 SB
810 479 148 (Summer ) 185 SB
995 479 168 (Computer) 168 SB
242 531 194 (Simulation ) 202 SB
444 531 195 (Conference) 195 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
639 532 22 (, ) 30 SB
669 532 133 (Clema, ) 142 SB
811 532 49 (J., ) 58 SB
869 532 80 (Ed., ) 89 SB
958 532 138 (Society ) 147 SB
1105 532 58 (For) 58 SB
242 584 869 (Computer Simulation, San Diego, CA, p. 91, 1989.) 869 SB
150 634 49 ([5]) 49 SB
242 634 135 (Reiher, ) 142 SB
384 634 45 (P. ) 52 SB
436 634 61 (and) 61 SB
497 634 11 ( ) 18 SB
515 634 176 (Jefferson, ) 183 SB
698 634 52 (D. ) 59 SB
757 634 11 ( ) 18 SB
775 634 134 (\(1990\), ) 141 SB
916 634 19 (\223) 19 SB
935 634 131 (Virtual ) 138 SB
1073 634 90 (Time) 90 SB
242 684 114 (Based ) 115 SB
357 684 166 (Dynamic ) 167 SB
524 684 98 (Load ) 99 SB
623 684 232 (Management ) 233 SB
856 684 46 (In ) 47 SB
903 684 63 (the ) 64 SB
967 684 101 (Time ) 102 SB
1069 684 94 (Warp) 94 SB
242 734 180 (Operating ) 189 SB
431 734 135 (System,) 135 SB
566 734 19 (\224) 19 SB
585 734 11 ( ) 20 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
605 733 230 (Transactions ) 239 SB
844 733 44 (of ) 53 SB
897 733 63 (the ) 73 SB
970 733 134 (Society ) 144 SB
1114 733 49 (for) 49 SB
242 785 373 (Computer Simulation,) 373 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
615 786 402 ( vol.7, no. 2, July 1990.) 402 SB
150 838 49 ([6]) 49 SB
242 838 59 (M. ) 72 SB
314 838 146 (Presley, ) 159 SB
473 838 59 (M. ) 72 SB
545 838 135 (Ebling, ) 148 SB
693 838 45 (F. ) 59 SB
752 838 166 (Wieland, ) 180 SB
932 838 52 (D. ) 66 SB
998 838 165 (Jefferson,) 165 SB
242 888 19 (\223) 19 SB
261 888 260 (Benchmarking ) 273 SB
534 888 63 (the ) 77 SB
611 888 101 (Time ) 115 SB
726 888 105 (Warp ) 119 SB
845 888 180 (Operating ) 194 SB
1039 888 124 (System) 124 SB
242 938 96 (With ) 135 SB
377 938 30 (a ) 69 SB
446 938 180 (Computer ) 219 SB
665 938 158 (Network ) 197 SB
862 938 197 (Simulation,) 197 SB
1059 938 19 (\224) 19 SB
1078 938 11 ( ) 50 SB
1128 938 35 (In) 35 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
242 985 222 (Proceedings ) 258 SB
500 985 44 (of ) 80 SB
580 985 63 (the ) 99 SB
679 985 81 (SCS ) 117 SB
796 985 289 (Multiconference ) 325 SB
1121 985 42 (on) 42 SB
242 1037 203 (Distributed ) 209 SB
451 1037 183 (Simulation) 183 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
634 1038 22 (, ) 28 SB
662 1038 127 (Unger, ) 133 SB
795 1038 50 (B. ) 56 SB
851 1038 72 (and ) 78 SB
929 1038 177 (Fujimoto, ) 184 SB
1113 1038 50 (R.,) 50 SB
242 1090 96 (Eds., ) 103 SB
345 1090 138 (Society ) 145 SB
490 1090 69 (For ) 76 SB
566 1090 180 (Computer ) 187 SB
753 1090 208 (Simulation, ) 215 SB
968 1090 74 (San ) 81 SB
1049 1090 114 (Diego,) 114 SB
242 1140 261 (CA, p. 8, 1989.) 261 SB
150 1190 60 ([7] ) 62 SB
212 1190 11 ( ) 13 SB
225 1190 59 (M. ) 61 SB
286 1190 135 (Ebling, ) 137 SB
423 1190 59 (M. ) 61 SB
484 1190 53 (Di ) 55 SB
539 1190 135 (Loreto, ) 137 SB
676 1190 59 (M. ) 61 SB
737 1190 146 (Presley, ) 148 SB
885 1190 45 (F. ) 48 SB
933 1190 166 (Wieland, ) 169 SB
1102 1190 61 (and) 61 SB
242 1240 52 (D. ) 57 SB
299 1240 176 (Jefferson, ) 181 SB
480 1240 19 (\223) 19 SB
499 1240 62 (An ) 67 SB
566 1240 74 (Ant ) 79 SB
645 1240 163 (Foraging ) 168 SB
813 1240 121 (Model ) 126 SB
939 1240 224 (Implemented) 224 SB
242 1290 62 (On ) 97 SB
339 1290 63 (the ) 98 SB
437 1290 101 (Time ) 136 SB
573 1290 105 (Warp ) 140 SB
713 1290 180 (Operating ) 215 SB
928 1290 135 (System,) 135 SB
1063 1290 19 (\224) 19 SB
1082 1290 11 ( ) 46 SB
1128 1290 35 (In) 35 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
242 1337 222 (Proceedings ) 258 SB
500 1337 44 (of ) 80 SB
580 1337 63 (the ) 99 SB
679 1337 81 (SCS ) 117 SB
796 1337 289 (Multiconference ) 325 SB
1121 1337 42 (on) 42 SB
242 1389 203 (Distributed ) 209 SB
451 1389 183 (Simulation) 183 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
634 1390 22 (, ) 28 SB
662 1390 127 (Unger, ) 133 SB
795 1390 50 (B. ) 56 SB
851 1390 72 (and ) 78 SB
929 1390 177 (Fujimoto, ) 184 SB
1113 1390 50 (R.,) 50 SB
242 1442 96 (Eds., ) 103 SB
345 1442 138 (Society ) 145 SB
490 1442 69 (For ) 76 SB
566 1442 180 (Computer ) 187 SB
753 1442 208 (Simulation, ) 215 SB
968 1442 74 (San ) 81 SB
1049 1442 114 (Diego,) 114 SB
242 1492 282 (CA, p. 21, 1989.) 282 SB
150 1542 49 ([8]) 49 SB
242 1542 52 (K. ) 55 SB
297 1542 142 (Chandy ) 145 SB
442 1542 72 (and ) 75 SB
517 1542 38 (J. ) 41 SB
558 1542 120 (Misra, ) 124 SB
682 1542 11 ( ) 15 SB
697 1542 19 (\223) 19 SB
716 1542 253 (Asynchronous ) 257 SB
973 1542 190 (Distributed) 190 SB
242 1592 197 (Simulation ) 251 SB
493 1592 72 (Via ) 126 SB
619 1592 30 (a ) 85 SB
704 1592 173 (Sequence ) 228 SB
932 1592 46 (of ) 101 SB
1033 1592 130 (Parallel) 130 SB
242 1642 248 (Computations,) 248 SB
490 1642 19 (\224) 19 SB
509 1642 11 ( ) 19 SB
32 0 0 42 42 0 0 0 39 /Times-Italic /font31 ANSIFont font
528 1641 296 (Communications ) 305 SB
833 1641 44 (of ) 53 SB
886 1641 63 (the ) 72 SB
958 1641 89 (ACM) 89 SB
32 0 0 42 42 0 0 0 38 /Times-Roman /font32 ANSIFont font
1047 1642 22 (, ) 31 SB
1078 1642 11 ( ) 20 SB
1098 1642 65 (vol.) 65 SB
242 1694 481 (24, no. 4, p. 198, Apr. 1981.) 481 SB
32 0 0 50 50 0 0 0 45 /Times-Roman /font32 ANSIFont font
150 2025 13 (.) 13 SB
1 #C
statusdict begin /manualfeed false store end
EJ RS
%%PageTrailer
%%PageResources: font Times-Italic
%%+ font Times-Roman
%%Trailer
SVDoc restore
end
%%Pages: 7
%%DocumentSuppliedResources: procset Win35Dict 3 1

%%DocumentNeededResources: font Times-Bold
%%+ font Times-Italic
%%+ font Times-Roman

%%EOF