%!PS-Adobe-2.0 %%Creator: dvips by Radical Eye Software %%Title: us_analyze.dvi %%Pages: 12 1 %%BoundingBox: 0 0 612 792 %%EndComments %%BeginDocument: tex.pro /TeXDict 200 dict def TeXDict begin /bdf{bind def}def /bop-aux{}bdf /@rigin{ /@page-height exch def /@page-width exch def 72 Resolution div dup neg scale translate}bdf /@letter{Resolution dup -10 mul 8.5 11 @rigin}bdf /@landscape{[ 0 1 -1 0 0 0]concat Resolution dup 8.5 11 @rigin}bdf /@a4{Resolution dup -10.6929133858 mul 21 2.54 div 29.7 2.54 div @rigin}bdf /@legal{Resolution dup -13 mul 8.5 14 @rigin}bdf /@11x17{statusdict /11x17tray known{statusdict begin 11x17tray end}if Resolution dup -16 mul 11 17 @rigin}bdf /@manualfeed{ statusdict /manualfeed true put}bdf /@copies{/#copies exch def}bdf /@draft{ /bop-aux{gsave initmatrix 72 dup scale @page-width 2 div @page-height 2 div translate @page-height @page-width atan rotate /Helvetica-Bold findfont 2 scalefont setfont(DRAFT)dup stringwidth pop 2 div neg -1 moveto .95 setgray show grestore}bdf}bdf /@FontMatrix[1 0 0 -1 0 0]def /@FontBBox[0 0 0 0]def /dmystr(ZZf@@@)def /newname{dmystr cvn}bdf /df{/fontname exch def dmystr 2 fontname cvx(@@@@)cvs putinterval newname 7 dict def newname load begin /FontType 3 def /FontMatrix @FontMatrix def /FontBBox @FontBBox def /BitMaps 256 array def /BuildChar{CharBuilder}def /Encoding IdentityEncoding def end fontname{/foo setfont}2 array copy cvx def fontname load 0 dmystr 6 string copy cvn cvx put}bdf /dfe{newname dup load definefont setfont}bdf /ch-image{ ch-data 0 get}bdf /ch-width{ch-data 1 get}bdf /ch-height{ch-data 2 get}bdf /ch-xoff{ch-data 3 get}bdf /ch-yoff{ch-data 4 get}bdf /ch-dx{ch-data 5 get} bdf /CharBuilder{save 3 1 roll exch /BitMaps get exch get /ch-data exch def ch-data null ne{ch-dx 0 ch-xoff ch-yoff neg ch-xoff ch-width add ch-height ch-yoff sub setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-height ch-yoff sub .1 add]{ch-image}imagemask}if restore}bdf /dc{/ch-code exch def /ch-data exch def newname load /BitMaps get ch-code ch-data put}bdf /bop{gsave /SaveImage save def /bop-aux load exec 0 0 moveto}bdf /eop{clear SaveImage restore showpage grestore}bdf /@start{/Resolution exch def /IdentityEncoding 256 array def 0 1 255{IdentityEncoding exch 1 string dup 0 3 index put cvn put}for}bdf /p{show}bdf /RuleMatrix[1 0 0 -1 -.1 -.1]def /BlackDots 8 string def /v{gsave currentpoint translate false RuleMatrix{ BlackDots}imagemask grestore}bdf /a{moveto}bdf /delta 0 def /tail{dup /delta exch def 0 rmoveto}bdf /b{exch show tail}bdf /c{show delta 4 sub tail}bdf /d{ show delta 3 sub tail}bdf /e{show delta 2 sub tail}bdf /f{show delta 1 sub tail}bdf /g{show delta 0 rmoveto}bdf /h{show delta 1 add tail}bdf /i{show delta 2 add tail}bdf /j{show delta 3 add tail}bdf /k{show delta 4 add tail} bdf /l{show -4 0 rmoveto}bdf /m{show -3 0 rmoveto}bdf /n{show -2 0 rmoveto} bdf /o{show -1 0 rmoveto}bdf /q{show 1 0 rmoveto}bdf /r{show 2 0 rmoveto}bdf /s{show 3 0 rmoveto}bdf /t{show 4 0 rmoveto}bdf /w{0 rmoveto}bdf /x{0 exch rmoveto}bdf /y{3 2 roll show moveto}bdf /bos{/section save def}bdf /eos{clear section restore}bdf end %%EndDocument %%BeginDocument: texps.pro TeXDict begin /rf{655360 div mul Resolution mul 7227 div /PixPerEm exch def findfont dup length 1 add dict /newfont exch def{1 index /FID ne{newfont 3 1 roll put}{pop pop}ifelse}forall 256 dict begin newfont /Encoding get 255 -1 0{ 2 copy get 4 -1 roll 1000 mul PixPerEm div def pop}for pop newfont /Metrics currentdict put end /fontname exch def dmystr 2 fontname cvx(@@@@)cvs putinterval newname dup newfont definefont[PixPerEm 0 0 PixPerEm neg 0 0] makefont def fontname{/foo setfont}2 array copy cvx def fontname load 0 dmystr 6 string copy cvn cvx put}bdf /ObliqueSlant{dup sin exch cos div neg}bdf /SlantFont{/foo exch def[1 0 foo 1 0 0]TransFont}bdf /ExtendFont{/foo exch def 258 2 roll 0 1 255{pop foo div 256 1 roll}for 258 -2 roll[foo 0 0 1 0 0] TransFont}bdf /TransFont{exch findfont exch makefont dup length dict /newfont exch def{1 index /FID ne{newfont 3 1 roll put}{pop pop}ifelse}forall dup newfont definefont pop}bdf end %%EndDocument %%BeginDocument: special.pro TeXDict begin /SDict 200 dict def SDict begin /@SpecialDefaults{/hs 612 def /vs 792 def /ho 0 def /vo 0 def /hsc 1 def /vsc 1 def /ang 0 def /CLIP false def /BBcalc false def}bdf /@scaleunit 1 def /@hscale{@scaleunit div /hsc exch def}bdf /@vscale{@scaleunit div /vsc exch def}bdf /@hsize{/hs exch def /CLIP true def}bdf /@vsize{/vs exch def /CLIP true def}bdf /@hoffset{/ho exch def} bdf /@voffset{/vo exch def}bdf /@angle{/ang exch def}bdf /@rwi{10 div /rwi exch def}bdf /@llx{/llx exch def}bdf /@lly{/lly exch def}bdf /@urx{/urx exch def}bdf /@ury{/ury exch def /BBcalc true def}bdf end /@MacSetUp{userdict /md known{userdict /md get type /dicttype eq{md begin /letter{}def /note{}def /legal{}def /od{txpose 1 0 mtx defaultmatrix dtransform exch atan/pa exch def newpath clippath mark{transform{itransform moveto}}{transform{itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{ itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{ closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}def /txpose{pxs pys scale ppr aload pop por{noflips{pop exch neg exch translate pop 1 -1 scale}if xflip yflip and{pop exch neg exch translate 180 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg translate}if xflip yflip not and{pop exch neg exch translate pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 translate}if yflip xflip not and{ppr 1 get neg ppr 0 get neg translate} if}{noflips{translate pop pop 270 rotate 1 -1 scale}if xflip yflip and{ translate pop pop 90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg translate}if xflip yflip not and{translate pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 translate}if yflip xflip not and{ translate pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 exch translate} if}ifelse scaleby96{ppr aload pop 4 -1 roll add 2 div 3 1 roll add 2 div 2 copy translate .96 dup scale neg exch neg exch translate}if}def /cp{pop pop showpage pm restore}def end}if}if}def /psf$TeXscale{65536 div}def /startTexFig {/psf$SavedState save def userdict maxlength dict begin Resolution 72 div dup neg scale currentpoint translate /psf$ury exch psf$TeXscale def /psf$urx exch psf$TeXscale def /psf$lly exch psf$TeXscale def /psf$llx exch psf$TeXscale def /psf$y exch psf$TeXscale def /psf$x exch psf$TeXscale def currentpoint /psf$cy exch def /psf$cx exch def /psf$sx psf$x psf$urx psf$llx sub div def /psf$sy psf$y psf$ury psf$lly sub div def psf$sx psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub translate /showpage{}def /erasepage{ }def /copypage{}def @MacSetUp}def /doclip{psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll exch lineto exch lineto exch lineto closepath clip newpath moveto}def /endTexFig{end psf$SavedState restore}def /@beginspecial{SDict begin /SpecialSave save def Resolution 72 div dup neg scale currentpoint translate @SpecialDefaults}bdf /@setspecial{CLIP{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}{initclip}ifelse ho vo translate hsc vsc scale ang rotate BBcalc{rwi urx llx sub div dup scale llx neg lly neg translate}if /showpage{}def newpath}bdf /@endspecial{clear SpecialSave restore end}bdf /@defspecial{SDict begin}bdf /@fedspecial{end}bdf /li{lineto}bdf /rl{rlineto} bdf /rc{rcurveto}bdf /np{/SaveX currentpoint /SaveY exch def def newpath}bdf /st{stroke SaveX SaveY moveto}bdf /fil{fill SaveX SaveY moveto}bdf /ellipse{ /endangle exch def /startangle exch def /yrad exch def /xrad exch def /savematrix matrix currentmatrix def translate xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}bdf end %%EndDocument TeXDict begin 300 @start /fa 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 21 19 19 37 31 12 12 12 19 21 9 12 9 10 19 19 19 19 19 19 19 19 19 19 12 12 21 21 21 19 35 27 25 27 27 25 23 29 29 15 19 29 25 35 27 29 23 29 27 21 25 27 27 37 27 27 25 12 10 12 22 19 12 19 21 17 21 17 12 19 21 10 12 21 10 31 21 19 21 21 17 15 12 21 19 27 19 19 17 15 8 15 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 19 19 6 19 19 19 19 10 19 19 12 12 21 21 0 19 19 19 9 0 20 13 12 19 19 19 37 37 0 19 0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 25 29 37 12 0 0 0 0 0 27 0 0 0 10 0 0 10 19 27 21 0 0 0 0 /Times-Bold 1000 589824 rf /fb 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 8 10 12 12 21 19 8 8 8 12 14 6 8 6 7 12 12 12 12 12 12 12 12 12 12 7 7 14 14 14 11 23 18 17 17 18 15 14 18 18 8 10 18 15 22 18 18 14 18 17 14 15 18 18 24 18 18 15 8 7 8 12 12 8 11 12 11 12 11 8 12 12 7 7 12 7 19 12 12 12 12 8 10 7 12 12 18 12 12 11 12 5 12 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 12 12 4 12 12 12 12 4 11 12 8 8 14 14 0 12 12 12 6 0 11 9 8 11 11 12 25 25 0 11 0 8 8 8 8 8 8 8 8 0 8 8 0 8 8 8 25 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 0 7 0 0 0 0 15 18 22 8 0 0 0 0 0 17 0 0 0 7 0 0 7 12 18 12 0 0 0 0 /Times-Roman 1000 393216 rf /fc 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 16 19 19 31 29 12 12 12 19 25 9 12 9 10 19 19 19 19 19 19 19 19 19 19 12 12 25 25 25 19 34 23 23 25 27 23 23 27 27 12 17 25 21 31 25 27 23 27 23 19 21 27 23 31 23 21 21 15 10 15 16 19 12 19 19 17 19 17 10 19 19 10 10 17 10 27 19 19 19 19 15 15 10 19 17 25 17 17 15 15 10 15 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 19 19 6 19 19 19 19 8 21 19 12 12 19 19 0 19 19 19 9 0 20 13 12 21 21 19 33 37 0 19 0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 33 0 10 0 0 0 0 21 27 35 12 0 0 0 0 0 25 0 0 0 10 0 0 10 19 25 19 0 0 0 0 /Times-Italic 1000 589824 rf /fd 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 15 19 19 31 29 12 12 12 19 21 9 12 9 10 19 19 19 19 19 19 19 19 19 19 10 10 21 21 21 17 34 27 25 25 27 23 21 27 27 12 15 27 23 33 27 27 21 27 25 21 23 27 27 35 27 27 23 12 10 12 18 19 12 17 19 17 19 17 12 19 19 10 10 19 10 29 19 19 19 19 12 15 10 19 19 27 19 19 17 18 7 18 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 19 19 6 19 19 19 19 7 17 19 12 12 21 21 0 19 19 19 9 0 17 13 12 17 17 19 37 37 0 17 0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 33 0 10 0 0 0 0 23 27 33 12 0 0 0 0 0 25 0 0 0 10 0 0 10 19 27 19 0 0 0 0 /Times-Roman 1000 589824 rf /fe 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 25 25 25 25 25 25 25 25 25 25 25 25 0 0 0 25 25 25 25 0 25 25 25 25 25 25 25 0 0 25 0 25 25 25 25 25 25 25 25 0 25 25 0 25 25 25 25 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 25 0 0 0 0 25 25 0 25 0 0 0 0 0 0 0 0 0 25 0 0 25 25 0 25 0 0 0 0 /Courier 1000 655360 rf /ff df[<03C00FF01F F83FFC7FFE7FFEFFFFFFFFFFFFFFFF7FFE7FFE3FFC1FF80FF003C0>16 16 2 -2 21]15 dc dfe /fg 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 10 12 15 15 24 23 10 10 10 15 16 7 10 7 8 15 15 15 15 15 15 15 15 15 15 8 8 16 16 16 13 27 21 19 19 21 18 16 21 21 10 11 21 18 26 21 21 16 21 19 16 18 21 21 27 21 21 18 10 8 10 14 15 10 13 15 13 15 13 10 15 15 8 8 15 8 23 15 15 15 15 10 11 8 15 15 21 15 15 13 14 6 14 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 15 15 5 15 15 15 15 5 13 15 10 10 16 16 0 15 15 15 7 0 13 10 10 13 13 15 29 29 0 13 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 26 0 8 0 0 0 0 18 21 26 9 0 0 0 0 0 19 0 0 0 8 0 0 8 15 21 15 0 0 0 0 /Times-Roman 1000 458752 rf /fh 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 11 14 17 17 28 26 11 11 11 17 19 8 11 8 9 17 17 17 17 17 17 17 17 17 17 9 9 19 19 19 15 31 24 22 22 24 20 18 24 24 11 13 24 20 30 24 24 18 24 22 18 20 24 24 31 24 24 20 11 9 11 16 17 11 15 17 15 17 15 11 17 17 9 9 17 9 26 17 17 17 17 11 13 9 17 17 24 17 17 15 16 7 16 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 17 17 6 17 17 17 17 6 15 17 11 11 18 18 0 17 17 17 8 0 15 12 11 15 15 17 33 33 0 15 0 11 11 11 11 11 11 11 11 0 11 11 0 11 11 11 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 30 0 9 0 0 0 0 20 24 30 10 0 0 0 0 0 22 0 0 0 9 0 0 9 17 24 17 0 0 0 0 /Times-Roman 1000 524288 rf /fi 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 17 21 21 35 32 14 14 14 21 28 10 14 10 12 21 21 21 21 21 21 21 21 21 21 14 14 28 28 28 21 38 25 25 28 30 25 25 30 30 14 18 28 23 35 28 30 25 30 25 21 23 30 25 35 25 23 23 16 12 16 18 21 14 21 21 18 21 18 12 21 21 12 12 18 12 30 21 21 21 21 16 16 12 21 18 28 18 18 16 17 11 17 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 21 21 7 21 21 21 21 9 23 21 14 14 21 21 0 21 21 21 10 0 22 15 14 23 23 21 37 42 0 21 0 14 14 14 14 14 14 14 14 0 14 14 0 14 14 14 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 23 30 39 13 0 0 0 0 0 28 0 0 0 12 0 0 12 21 28 21 0 0 0 0 /Times-Italic 1000 655360 rf /fj 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 28 25 25 50 41 17 17 17 25 28 12 17 12 14 25 25 25 25 25 25 25 25 25 25 17 17 28 28 28 25 46 36 33 36 36 33 30 39 39 19 25 39 33 47 36 39 30 39 36 28 33 36 36 50 36 36 33 17 14 17 29 25 17 25 28 22 28 22 17 25 28 14 17 28 14 41 28 25 28 28 22 19 17 28 25 36 25 25 22 20 11 20 26 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 25 25 8 25 25 25 25 14 25 25 17 17 28 28 0 25 25 25 12 0 27 17 17 25 25 25 50 50 0 25 0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 50 0 15 0 0 0 0 33 39 50 16 0 0 0 0 0 36 0 0 0 14 0 0 14 25 36 28 0 0 0 0 /Times-Bold 1000 786432 rf /fk 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 17 21 21 35 32 14 14 14 21 23 10 14 10 12 21 21 21 21 21 21 21 21 21 21 12 12 23 23 23 18 38 30 28 28 30 25 23 30 30 14 16 30 25 37 30 30 23 30 28 23 25 30 30 39 30 30 25 14 12 14 19 21 14 18 21 18 21 18 14 21 21 12 12 21 12 32 21 21 21 21 14 16 12 21 21 30 21 21 18 20 8 20 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 21 21 7 21 21 21 21 7 18 21 14 14 23 23 0 21 21 21 10 0 19 15 14 18 18 21 42 42 0 18 0 14 14 14 14 14 14 14 14 0 14 14 0 14 14 14 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 25 30 37 13 0 0 0 0 0 28 0 0 0 12 0 0 12 21 30 21 0 0 0 0 /Times-Roman 1000 655360 rf /fl 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 23 21 21 42 35 14 14 14 21 24 10 14 10 12 21 21 21 21 21 21 21 21 21 21 14 14 24 24 24 21 39 30 28 30 30 28 25 32 32 16 21 32 28 39 30 32 25 32 30 23 28 30 30 42 30 30 28 14 12 14 24 21 14 21 23 18 23 18 14 21 23 12 14 23 12 35 23 21 23 23 18 16 14 23 21 30 21 21 18 16 9 16 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 21 21 7 21 21 21 21 12 21 21 14 14 23 23 0 21 21 21 10 0 22 15 14 21 21 21 42 42 0 21 0 14 14 14 14 14 14 14 14 0 14 14 0 14 14 14 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 0 12 0 0 0 0 28 32 42 14 0 0 0 0 0 30 0 0 0 12 0 0 12 21 30 23 0 0 0 0 /Times-Bold 1000 655360 rf /fm 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 21 25 25 41 39 17 17 17 25 34 12 17 12 14 25 25 25 25 25 25 25 25 25 25 17 17 34 34 34 25 46 30 30 33 36 30 30 36 36 17 22 33 28 41 33 36 30 36 30 25 28 36 30 41 30 28 28 19 14 19 21 25 17 25 25 22 25 22 14 25 25 14 14 22 14 36 25 25 25 25 19 19 14 25 22 33 22 22 19 20 14 20 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 25 25 8 25 25 25 25 11 28 25 17 17 25 25 0 25 25 25 12 0 26 17 17 28 28 25 44 50 0 25 0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 44 0 14 0 0 0 0 28 36 47 15 0 0 0 0 0 33 0 0 0 14 0 0 14 25 33 25 0 0 0 0 /Times-Italic 1000 786432 rf /fn 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 20 25 25 41 39 17 17 17 25 28 12 17 12 14 25 25 25 25 25 25 25 25 25 25 14 14 28 28 28 22 46 36 33 33 36 30 28 36 36 17 19 36 30 44 36 36 28 36 33 28 30 36 36 47 36 36 30 17 14 17 23 25 17 22 25 22 25 22 17 25 25 14 14 25 14 39 25 25 25 25 17 19 14 25 25 36 25 25 22 24 10 24 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 25 25 8 25 25 25 25 9 22 25 17 17 28 28 0 25 25 25 12 0 23 17 17 22 22 25 50 50 0 22 0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 44 0 14 0 0 0 0 30 36 44 15 0 0 0 0 0 33 0 0 0 14 0 0 14 25 36 25 0 0 0 0 /Times-Roman 1000 786432 rf /fo 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 24 29 36 36 60 56 24 24 24 36 40 18 24 18 20 36 36 36 36 36 36 36 36 36 36 20 20 40 40 40 32 66 52 48 48 52 44 40 52 52 24 28 52 44 64 52 52 40 52 48 40 44 52 52 68 52 52 44 24 20 24 34 36 24 32 36 32 36 32 24 36 36 20 20 36 20 56 36 36 36 36 24 28 20 36 36 52 36 36 32 34 14 34 39 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 36 36 12 36 36 36 36 13 32 36 24 24 40 40 0 36 36 36 18 0 32 25 24 32 32 36 72 72 0 32 0 24 24 24 24 24 24 24 24 0 24 24 0 24 24 24 72 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 64 0 20 0 0 0 0 44 52 64 22 0 0 0 0 0 48 0 0 0 20 0 0 20 36 52 36 0 0 0 0 /Times-Roman 1000 1132462 rf end TeXDict begin @letter %%EndProlog %%Page: 1 1 bop 276 227 a fo(Mach-US:)17 b(UNIX)g(On)g(Generic)g(OS)h(Object)f(Servers) 482 371 y fn(J.)c(Mark)f(Stevenson)336 b(Daniel)12 b(P)-6 b(.)13 b(Julin)385 429 y fm(School)f(of)g(Computer)h(Science)137 b(ISIS)11 b(Distributed)i(Syste\ ms)387 487 y(Carnegie)g(Mellon)f(University)373 708 y fl(Abstract)0 841 y fk (This)i(paper)g(examines)g(the)g(Mach-US)g(operating)e(system,)0 887 y(its)i (unique)f(architecture,)j(and)e(the)g(lessons)g(demonstrated)0 932 y(through) 9 b(its)g(implementation.)42 1019 y(Mach-US)24 b(is)h(an)g(object-oriented)d (multi-server)i(OS)0 1064 y(which)9 b(runs)g(on)h(the)f(Mach3.0)h(kernel.)15 b (Mach-US)c(has)f(a)g(set)0 1109 y(of)j(separate)i(servers)f(supplying)d(ortho\ gonal)h(OS)h(services)0 1155 y(and)h(a)g(library)f(which)h(is)f(loaded)h(into) f(each)i(user)f(process.)0 1200 y(This)g(library)g(uses)g(the)h(services)g (to)f(generate)h(the)f(seman-)0 1245 y(tics)e(of)f(the)h(Mach2.5/4.3BSD)g(app\ lication)f(programmers)0 1290 y(interface)16 b(\(API\).)g(This)f(architecture) h(makes)g(Mach-US)h(a)0 1336 y(\257exible)12 b(research)i(platform)d(and)i (a)g(powerful)e(tool)g(for)h(de-)0 1381 y(veloping)d(and)h(examining)g(variou\ s)f(OS)i(service)g(options.)42 1468 y(W)l(e)i(will)e(brie\257y)h(describe)h (Mach-US,)g(the)f(motivations)0 1513 y(for)h(its)g(design)g(choices,)i(and)f (its)f(demonstrated)g(strengths)0 1558 y(and)d(weaknesses.)17 b(W)l(e)11 b (will)d(then)h(discuss)h(the)g(insights)e(that)0 1604 y(we've)15 b(acquired)g (in)f(the)h(areas)h(of)f(multi-server)f(architec-)0 1649 y(ture,)i(OS)f(remot\ e)g(method)f(invocation,)g(Object)h(Oriented)0 1694 y(technology)e(for)h(OS)g (implementation,)h(API)f(independent)0 1739 y(OS)d(services,)g(UNIX)f(API)h (re-implementation,)e(and)i(smart)0 1785 y(user)o(-space)h(API)e(emulation)f (libraries.)0 1916 y fj(1.)50 b(Intr)o(oduction)0 2003 y fk(More)17 b(and)g (more,)i(operating)c(systems)j(are)f(being)f(devel-)0 2049 y(oped)k(with)f (a)h(micro-kernel)g(based)g(multi-server)f(struc-)0 2094 y(ture.)48 b(Such)22 b(systems)g(use)f(an)h(operating)e(system)i(ker-)0 2139 y(nel)d(to)g(supply)f (system)i(primitives)e(such)i(as)g(tasks,)i(vir-)0 2185 y(tual)16 b(memory)n (,)j(and)e(IPC.)g(Separate)h(servers)f(are)h(used)f(to)0 2230 y(support)12 b (derived)i(abstractions)f(\()p fi(OS-items)p fk(\))f(such)i(as)g(\256les,)0 2275 y(TTYs,)22 b(and)c(pipes.)40 b(Additional)16 b(client-side)i(code)h(may) 0 2320 y(be)14 b(used)g(to)g(do)f(additional)f(OS)i(computation.)25 b(Example\ s)0 2372 y 360 2 v 60 2445 a fh(This)12 b(research)e(is)i(sponsored)d(in)j (part)f(by)g(the)h(Advanced)d(Research)0 2484 y(Projects)h(Agency)f(under)g (contract)h(number)f(DABT63-93-C-0054.)16 b(and)0 2524 y(in)8 b(part)g(by)g (the)f(Open)h(Software)g(Foundation\(OSF\).)33 2563 y(The)e(views)f(and)g(con\ clusions)t(contained)g(in)g(this)i(document)t(are)e(those)g(of)0 2603 y(the)j (authors)f(and)g(should)g(not)g(be)h(interpreted)f(as)g(representing)g(the)h (of)o(\256cial)0 2642 y(policies,)13 b(either)g(expressed)d(or)j(implied,)g (of)g(ARP)m(A,)g(OSF)m(,)h(or)f(the)f(U.S.)0 2681 y(government.)1050 708 y fk (of)i(such)h(architectures)g(can)g(be)g(seen)g(in)f(systems)i(such)e(as)1050 753 y(\252V\272)d([Cheriton88)n(],)g(Chorus/MIX)d([Batlivala)1750 738 y fg (+)1768 753 y fk(92)o(],)j(IBM')m(s)1050 799 y(\252W)m(orkplace)c(OS\272)h ([Phelan)1460 783 y fg(+)1478 799 y fk(93],)g(OSF1-AD)f([Zajcew)1865 783 y fg (+)1884 799 y fk(93],)1050 844 y(FSF)h(\252GnuHurd\272,)h(Sun')m(s)f(\252Spri\ ng\272)g([Khalidi&Nelson93)n(],)1050 889 y(and)31 b(Mach-US)f(from)h(Carnegie) f(Mellon)g(University)1050 934 y([Julin)1146 919 y fg(+)1163 934 y fk(91].) 1092 1021 y(The)19 b(goal)g(of)f(this)h(separation)f(is)h(to)g(achieve)g(seve\ ral)1050 1066 y(kinds)f(of)g(\257exibility)f(in)h(system)h(con\256guration)e (and)i(de-)1050 1112 y(velopment.)36 b(These)19 b(include:)28 b(simpli\256ed) 17 b(development)1050 1157 y(and)10 b(debugging)f(of)h(individual)d(services,) 12 b(replaceable)f(sys-)1050 1202 y(tem)i(services,)g(support)e(for)h(multipl\ e)e(API')n(s,)j(ef\256cient)f(use)1050 1248 y(of)e(multi-processor)f(systems,) i(and)f(\252loosely)g(coupled\272)g(OS)1050 1293 y(con\256gurations.)k(One)9 b (approach)h(to)e(achieve)j(these)e(goals)g(is)1050 1338 y(to)14 b(use)g(objec\ t-based)g(software)h(with)e(transparent)h(remote)1050 1384 y(method)c(invocat\ ion.)k(Mach-US)c(is)g(such)h(a)g(system.)1092 1470 y(This)19 b(paper)h(brie\ \257y)e(describes)i(Mach-US,)h(the)e(moti-)1050 1516 y(vations)f(for)h(its)g (design)g(choices)h(and)g(its)e(demonstrated)1050 1561 y(strengths)9 b(and)i (weaknesses.)1092 1648 y(While)d(Mach-US)h(is)f(a)h(natural)f(step)h(in)f(the) h(development)1050 1693 y(of)j(micro-kernel)g(based)h(operating)e(systems,)j (it)d(is)h(revolu-)1050 1738 y(tionary)i(in)h(many)g(ways.)31 b(Instead)15 b (of)g(manipulating)e(pre-)1050 1784 y(vious)h(UNIX)g(implementations)g(or)g (even)h(supporting)d(the)1050 1829 y(basic)17 b(internal)e(structure)h(or)g (semantics)h(of)f(BSD)g(UNIX,)1050 1874 y(Mach-US)h(is)f(a)h(redesign)f(of)g (the)g(entire)g(OS)h(outside)e(the)1050 1919 y(micro-kernel)c(itself.)18 b (It)12 b(supplies)e(a)i(fresh)g(look)f(at)g(a)h(series)1050 1965 y(of)i(OS)g (design)g(options)e(without)g(heavily)i(clouding)e(those)1050 2010 y(options) f(with)h(unnecessary)h(constraints)f(of)g(previous)g(sys-)1050 2055 y(tems.)k (OS)11 b(design)e(features)i(demonstrated)f(by)g(this)g(system)1050 2101 y (are:)1092 2206 y ff(\017)20 b fk(Multiple)8 b(System)j(Servers)g(On)f(a)h (Micro-Kernel)1092 2311 y ff(\017)20 b fk(Application)g(Programmer)j(Interfac\ e)f(Neutral)g(OS)1133 2356 y(Services)1092 2462 y ff(\017)e fk(Remote)11 b (Method)e(Invocation)g(for)h(OS)g(Services)1092 2567 y ff(\017)20 b fk(UNIX) 10 b(API)g(Re-Implementation)1092 2672 y ff(\017)20 b fk(Intelligent)8 b(API) i(Emulation)g(Libraries)p eop %%Page: 2 2 bop 0 1044 a @beginspecial -20 @hoffset 290 @voffset 0.650000 @hscale 0.550000 @vscale -90 @angle @setspecial %%BeginDocument: arch.ps /FMversion (3.0) def /FMPrintInColor systemdict /colorimage known systemdict /currentcolortransfer known or def /FrameDict 195 dict def systemdict /errordict known not {/errordict 10 dict def errordict /rangecheck {stop} put} if FrameDict /tmprangecheck errordict /rangecheck get put errordict /rangecheck {FrameDict /bug true put} put FrameDict /bug false put mark currentfile 5 string readline 00 0000000000 cleartomark errordict /rangecheck FrameDict /tmprangecheck get put FrameDict /bug get { /readline { /gstring exch def /gfile exch def /gindex 0 def { gfile read pop dup 10 eq {exit} if dup 13 eq {exit} if gstring exch gindex exch put /gindex gindex 1 add def } loop pop gstring 0 gindex getinterval true } def } if /FMVERSION { FMversion ne { /Times-Roman findfont 18 scalefont setfont 100 100 moveto (FrameMaker version does not match postscript_prolog!) dup = show showpage } if } def /FMLOCAL { FrameDict begin 0 def end } def /gstring FMLOCAL /gfile FMLOCAL /gindex FMLOCAL /orgxfer FMLOCAL /orgproc FMLOCAL /organgle FMLOCAL /orgfreq FMLOCAL /yscale FMLOCAL /xscale FMLOCAL /manualfeed FMLOCAL /paperheight FMLOCAL /paperwidth FMLOCAL /FMDOCUMENT { array /FMfonts exch def /#copies exch def FrameDict begin 0 ne dup {setmanualfeed} if /manualfeed exch def /paperheight exch def /paperwidth exch def /yscale exch def /xscale exch def currenttransfer cvlit /orgxfer exch def currentscreen cvlit /orgproc exch def /organgle exch def /orgfreq exch def setpapername desperatepapersize end } def /pagesave FMLOCAL /orgmatrix FMLOCAL /landscape FMLOCAL /FMBEGINPAGE { FrameDict begin /pagesave save def 3.86 setmiterlimit /landscape exch 0 ne def landscape { 90 rotate 0 exch neg translate pop } {pop pop} ifelse xscale yscale scale /orgmatrix matrix def gsave } def /FMENDPAGE { grestore pagesave restore end showpage } def /FMFONTDEFINE { FrameDict begin findfont ReEncode 1 index exch definefont FMfonts 3 1 roll put end } def /FMFILLS { FrameDict begin array /fillvals exch def end } def /FMFILL { FrameDict begin fillvals 3 1 roll put end } def /FMNORMALIZEGRAPHICS { newpath 0.0 0.0 moveto 1 setlinewidth 0 setlinecap 0 0 0 sethsbcolor 0 setgray } bind def /fx FMLOCAL /fy FMLOCAL /fh FMLOCAL /fw FMLOCAL /llx FMLOCAL /lly FMLOCAL /urx FMLOCAL /ury FMLOCAL /FMBEGINEPSF { end /FMEPSF save def /showpage {} def FMNORMALIZEGRAPHICS [/fy /fx /fh /fw /ury /urx /lly /llx] {exch def} forall fx fy translate rotate fw urx llx sub div fh ury lly sub div scale llx neg lly neg translate } bind def /FMENDEPSF { FMEPSF restore FrameDict begin } bind def FrameDict begin /setmanualfeed { statusdict /manualfeed true put } def /max {2 copy lt {exch} if pop} bind def /min {2 copy gt {exch} if pop} bind def /inch {72 mul} def /pagedimen { paperheight sub abs 16 lt exch paperwidth sub abs 16 lt and {/papername exch def} {pop} ifelse } def /papersizedict FMLOCAL /setpapername { /papersizedict 14 dict def papersizedict begin /papername /unknown def /Letter 8.5 inch 11.0 inch pagedimen /LetterSmall 7.68 inch 10.16 inch pagedimen /Tabloid 11.0 inch 17.0 inch pagedimen /Ledger 17.0 inch 11.0 inch pagedimen /Legal 8.5 inch 14.0 inch pagedimen /Statement 5.5 inch 8.5 inch pagedimen /Executive 7.5 inch 10.0 inch pagedimen /A3 11.69 inch 16.5 inch pagedimen /A4 8.26 inch 11.69 inch pagedimen /A4Small 7.47 inch 10.85 inch pagedimen /B4 10.125 inch 14.33 inch pagedimen /B5 7.16 inch 10.125 inch pagedimen end } def /papersize { papersizedict begin /Letter {lettertray letter} def /LetterSmall {lettertray lettersmall} def /Tabloid {11x17tray 11x17} def /Ledger {ledgertray ledger} def /Legal {legaltray legal} def /Statement {statementtray statement} def /Executive {executivetray executive} def /A3 {a3tray a3} def /A4 {a4tray a4} def /A4Small {a4tray a4small} def /B4 {b4tray b4} def /B5 {b5tray b5} def /unknown {unknown} def papersizedict dup papername known {papername} {/unknown} ifelse get end /FMdicttop countdictstack 1 add def statusdict begin stopped end countdictstack -1 FMdicttop {pop end} for } def /manualpapersize { papersizedict begin /Letter {letter} def /LetterSmall {lettersmall} def /Tabloid {11x17} def /Ledger {ledger} def /Legal {legal} def /Statement {statement} def /Executive {executive} def /A3 {a3} def /A4 {a4} def /A4Small {a4small} def /B4 {b4} def /B5 {b5} def /unknown {unknown} def papersizedict dup papername known {papername} {/unknown} ifelse get end stopped } def /desperatepapersize { statusdict /setpageparams known { paperwidth paperheight 0 1 statusdict begin {setpageparams} stopped pop end } if } def /savematrix { orgmatrix currentmatrix pop } bind def /restorematrix { orgmatrix setmatrix } bind def /dmatrix matrix def /dpi 72 0 dmatrix defaultmatrix dtransform dup mul exch dup mul add sqrt def /freq dpi 18.75 div 8 div round dup 0 eq {pop 1} if 8 mul dpi exch div def /sangle 1 0 dmatrix defaultmatrix dtransform exch atan def /DiacriticEncoding [ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quotesingle /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon /less /equal /greater /question /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O /P /Q /R /S /T /U /V /W /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore /grave /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o /p /q /r /s /t /u /v /w /x /y /z /braceleft /bar /braceright /asciitilde /.notdef /Adieresis /Aring /Ccedilla /Eacute /Ntilde /Odieresis /Udieresis /aacute /agrave /acircumflex /adieresis /atilde /aring /ccedilla /eacute /egrave /ecircumflex /edieresis /iacute /igrave /icircumflex /idieresis /ntilde /oacute /ograve /ocircumflex /odieresis /otilde /uacute /ugrave /ucircumflex /udieresis /dagger /.notdef /cent /sterling /section /bullet /paragraph /germandbls /registered /copyright /trademark /acute /dieresis /.notdef /AE /Oslash /.notdef /.notdef /.notdef /.notdef /yen /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /ordfeminine /ordmasculine /.notdef /ae /oslash /questiondown /exclamdown /logicalnot /.notdef /florin /.notdef /.notdef /guillemotleft /guillemotright /ellipsis /.notdef /Agrave /Atilde /Otilde /OE /oe /endash /emdash /quotedblleft /quotedblright /quoteleft /quoteright /.notdef /.notdef /ydieresis /Ydieresis /fraction /currency /guilsinglleft /guilsinglright /fi /fl /daggerdbl /periodcentered /quotesinglbase /quotedblbase /perthousand /Acircumflex /Ecircumflex /Aacute /Edieresis /Egrave /Iacute /Icircumflex /Idieresis /Igrave /Oacute /Ocircumflex /.notdef /Ograve /Uacute /Ucircumflex /Ugrave /dotlessi /circumflex /tilde /macron /breve /dotaccent /ring /cedilla /hungarumlaut /ogonek /caron ] def /ReEncode { dup length dict begin { 1 index /FID ne {def} {pop pop} ifelse } forall 0 eq {/Encoding DiacriticEncoding def} if currentdict end } bind def /graymode true def /bwidth FMLOCAL /bpside FMLOCAL /bstring FMLOCAL /onbits FMLOCAL /offbits FMLOCAL /xindex FMLOCAL /yindex FMLOCAL /x FMLOCAL /y FMLOCAL /setpattern { /bwidth exch def /bpside exch def /bstring exch def /onbits 0 def /offbits 0 def freq sangle landscape {90 add} if {/y exch def /x exch def /xindex x 1 add 2 div bpside mul cvi def /yindex y 1 add 2 div bpside mul cvi def bstring yindex bwidth mul xindex 8 idiv add get 1 7 xindex 8 mod sub bitshift and 0 ne {/onbits onbits 1 add def 1} {/offbits offbits 1 add def 0} ifelse } setscreen {} settransfer offbits offbits onbits add div FMsetgray /graymode false def } bind def /grayness { FMsetgray graymode not { /graymode true def orgxfer cvx settransfer orgfreq organgle orgproc cvx setscreen } if } bind def /HUE FMLOCAL /SAT FMLOCAL /BRIGHT FMLOCAL /Colors FMLOCAL FMPrintInColor { /HUE 0 def /SAT 0 def /BRIGHT 0 def % array of arrays Hue and Sat values for the separations [HUE BRIGHT] /Colors [[0 0 ] % black [0 0 ] % white [0.00 1.0] % red [0.37 1.0] % green [0.60 1.0] % blue [0.50 1.0] % cyan [0.83 1.0] % magenta [0.16 1.0] % comment / yellow ] def /BEGINBITMAPCOLOR { BITMAPCOLOR} def /BEGINBITMAPCOLORc { BITMAPCOLORc} def /BEGINBITMAPTRUECOLOR { BITMAPTRUECOLOR } def /BEGINBITMAPTRUECOLORc { BITMAPTRUECOLORc } def /K { Colors exch get dup 0 get /HUE exch store 1 get /BRIGHT exch store HUE 0 eq BRIGHT 0 eq and {1.0 SAT sub setgray} {HUE SAT BRIGHT sethsbcolor} ifelse } def /FMsetgray { /SAT exch 1.0 exch sub store HUE 0 eq BRIGHT 0 eq and {1.0 SAT sub setgray} {HUE SAT BRIGHT sethsbcolor} ifelse } bind def } { /BEGINBITMAPCOLOR { BITMAPGRAY} def /BEGINBITMAPCOLORc { BITMAPGRAYc} def /BEGINBITMAPTRUECOLOR { BITMAPTRUEGRAY } def /BEGINBITMAPTRUECOLORc { BITMAPTRUEGRAYc } def /FMsetgray {setgray} bind def /K { pop } def } ifelse /normalize { transform round exch round exch itransform } bind def /dnormalize { dtransform round exch round exch idtransform } bind def /lnormalize { 0 dtransform exch cvi 2 idiv 2 mul 1 add exch idtransform pop } bind def /H { lnormalize setlinewidth } bind def /Z { setlinecap } bind def /fillvals FMLOCAL /X { fillvals exch get dup type /stringtype eq {8 1 setpattern} {grayness} ifelse } bind def /V { gsave eofill grestore } bind def /N { stroke } bind def /M {newpath moveto} bind def /E {lineto} bind def /D {curveto} bind def /O {closepath} bind def /n FMLOCAL /L { /n exch def newpath normalize moveto 2 1 n {pop normalize lineto} for } bind def /Y { L closepath } bind def /x1 FMLOCAL /x2 FMLOCAL /y1 FMLOCAL /y2 FMLOCAL /rad FMLOCAL /R { /y2 exch def /x2 exch def /y1 exch def /x1 exch def x1 y1 x2 y1 x2 y2 x1 y2 4 Y } bind def /RR { /rad exch def normalize /y2 exch def /x2 exch def normalize /y1 exch def /x1 exch def newpath x1 y1 rad add moveto x1 y2 x2 y2 rad arcto x2 y2 x2 y1 rad arcto x2 y1 x1 y1 rad arcto x1 y1 x1 y2 rad arcto closepath 16 {pop} repeat } bind def /C { grestore gsave R clip } bind def /FMpointsize FMLOCAL /F { FMfonts exch get FMpointsize scalefont setfont } bind def /Q { /FMpointsize exch def F } bind def /T { moveto show } bind def /RF { rotate 0 ne {-1 1 scale} if } bind def /TF { gsave moveto RF show grestore } bind def /P { moveto 0 32 3 2 roll widthshow } bind def /PF { gsave moveto RF 0 32 3 2 roll widthshow grestore } bind def /S { moveto 0 exch ashow } bind def /SF { gsave moveto RF 0 exch ashow grestore } bind def /B { moveto 0 32 4 2 roll 0 exch awidthshow } bind def /BF { gsave moveto RF 0 32 4 2 roll 0 exch awidthshow grestore } bind def /G { gsave newpath normalize translate 0.0 0.0 moveto dnormalize scale 0.0 0.0 1.0 5 3 roll arc closepath fill grestore } bind def /A { gsave savematrix newpath 2 index 2 div add exch 3 index 2 div sub exch normalize 2 index 2 div sub exch 3 index 2 div add exch translate scale 0.0 0.0 1.0 5 3 roll arc restorematrix stroke grestore } bind def /x FMLOCAL /y FMLOCAL /w FMLOCAL /h FMLOCAL /xx FMLOCAL /yy FMLOCAL /ww FMLOCAL /hh FMLOCAL /FMsaveobject FMLOCAL /FMoptop FMLOCAL /FMdicttop FMLOCAL /BEGINPRINTCODE { /FMdicttop countdictstack 1 add def /FMoptop count 4 sub def /FMsaveobject save def userdict begin /showpage {} def FMNORMALIZEGRAPHICS 3 index neg 3 index neg translate } bind def /ENDPRINTCODE { count -1 FMoptop {pop pop} for countdictstack -1 FMdicttop {pop end} for FMsaveobject restore } bind def /gn { 0 { 46 mul cf read pop 32 sub dup 46 lt {exit} if 46 sub add } loop add } bind def /str FMLOCAL /cfs { /str sl string def 0 1 sl 1 sub {str exch val put} for str def } bind def /ic [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0223 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0223 0 {0 hx} {1 hx} {2 hx} {3 hx} {4 hx} {5 hx} {6 hx} {7 hx} {8 hx} {9 hx} {10 hx} {11 hx} {12 hx} {13 hx} {14 hx} {15 hx} {16 hx} {17 hx} {18 hx} {19 hx} {gn hx} {0} {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} {11} {12} {13} {14} {15} {16} {17} {18} {19} {gn} {0 wh} {1 wh} {2 wh} {3 wh} {4 wh} {5 wh} {6 wh} {7 wh} {8 wh} {9 wh} {10 wh} {11 wh} {12 wh} {13 wh} {14 wh} {gn wh} {0 bl} {1 bl} {2 bl} {3 bl} {4 bl} {5 bl} {6 bl} {7 bl} {8 bl} {9 bl} {10 bl} {11 bl} {12 bl} {13 bl} {14 bl} {gn bl} {0 fl} {1 fl} {2 fl} {3 fl} {4 fl} {5 fl} {6 fl} {7 fl} {8 fl} {9 fl} {10 fl} {11 fl} {12 fl} {13 fl} {14 fl} {gn fl} ] def /sl FMLOCAL /val FMLOCAL /ws FMLOCAL /im FMLOCAL /bs FMLOCAL /cs FMLOCAL /len FMLOCAL /pos FMLOCAL /ms { /sl exch def /val 255 def /ws cfs /im cfs /val 0 def /bs cfs /cs cfs } bind def 400 ms /ip { is 0 cf cs readline pop { ic exch get exec add } forall pop } bind def /wh { /len exch def /pos exch def ws 0 len getinterval im pos len getinterval copy pop pos len } bind def /bl { /len exch def /pos exch def bs 0 len getinterval im pos len getinterval copy pop pos len } bind def /s1 1 string def /fl { /len exch def /pos exch def /val cf s1 readhexstring pop 0 get def pos 1 pos len add 1 sub {im exch val put} for pos len } bind def /hx { 3 copy getinterval cf exch readhexstring pop pop } bind def /h FMLOCAL /w FMLOCAL /d FMLOCAL /lb FMLOCAL /bitmapsave FMLOCAL /is FMLOCAL /cf FMLOCAL /wbytes { dup 8 eq {pop} {1 eq {7 add 8 idiv} {3 add 4 idiv} ifelse} ifelse } bind def /BEGINBITMAPBWc { 1 {} COMMONBITMAPc } bind def /BEGINBITMAPGRAYc { 8 {} COMMONBITMAPc } bind def /BEGINBITMAP2BITc { 2 {} COMMONBITMAPc } bind def /COMMONBITMAPc { /r exch def /d exch def gsave translate rotate scale /h exch def /w exch def /lb w d wbytes def sl lb lt {lb ms} if /bitmapsave save def r /is im 0 lb getinterval def ws 0 lb getinterval is copy pop /cf currentfile def w h d [w 0 0 h neg 0 h] {ip} image bitmapsave restore grestore } bind def /BEGINBITMAPBW { 1 {} COMMONBITMAP } bind def /BEGINBITMAPGRAY { 8 {} COMMONBITMAP } bind def /BEGINBITMAP2BIT { 2 {} COMMONBITMAP } bind def /COMMONBITMAP { /r exch def /d exch def gsave translate rotate scale /h exch def /w exch def /bitmapsave save def r /is w d wbytes string def /cf currentfile def w h d [w 0 0 h neg 0 h] {cf is readhexstring pop} image bitmapsave restore grestore } bind def /proc1 FMLOCAL /proc2 FMLOCAL /newproc FMLOCAL /Fmcc { /proc2 exch cvlit def /proc1 exch cvlit def /newproc proc1 length proc2 length add array def newproc 0 proc1 putinterval newproc proc1 length proc2 putinterval newproc cvx } bind def /ngrayt 256 array def /nredt 256 array def /nbluet 256 array def /ngreent 256 array def /gryt FMLOCAL /blut FMLOCAL /grnt FMLOCAL /redt FMLOCAL /indx FMLOCAL /cynu FMLOCAL /magu FMLOCAL /yelu FMLOCAL /k FMLOCAL /u FMLOCAL /colorsetup { currentcolortransfer /gryt exch def /blut exch def /grnt exch def /redt exch def 0 1 255 { /indx exch def /cynu 1 red indx get 255 div sub def /magu 1 green indx get 255 div sub def /yelu 1 blue indx get 255 div sub def /k cynu magu min yelu min def /u k currentundercolorremoval exec def nredt indx 1 0 cynu u sub max sub redt exec put ngreent indx 1 0 magu u sub max sub grnt exec put nbluet indx 1 0 yelu u sub max sub blut exec put ngrayt indx 1 k currentblackgeneration exec sub gryt exec put } for {255 mul cvi nredt exch get} {255 mul cvi ngreent exch get} {255 mul cvi nbluet exch get} {255 mul cvi ngrayt exch get} setcolortransfer {pop 0} setundercolorremoval {} setblackgeneration } bind def /tran FMLOCAL /fakecolorsetup { /tran 256 string def 0 1 255 {/indx exch def tran indx red indx get 77 mul green indx get 151 mul blue indx get 28 mul add add 256 idiv put} for currenttransfer {255 mul cvi tran exch get 255.0 div} exch Fmcc settransfer } bind def /BITMAPCOLOR { /d 8 def gsave translate rotate scale /h exch def /w exch def /bitmapsave save def colorsetup /is w d wbytes string def /cf currentfile def w h d [w 0 0 h neg 0 h] {cf is readhexstring pop} {is} {is} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPCOLORc { /d 8 def gsave translate rotate scale /h exch def /w exch def /lb w d wbytes def sl lb lt {lb ms} if /bitmapsave save def colorsetup /is im 0 lb getinterval def ws 0 lb getinterval is copy pop /cf currentfile def w h d [w 0 0 h neg 0 h] {ip} {is} {is} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUECOLORc { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def ws 0 w getinterval is copy pop /cf currentfile def w h 8 [w 0 0 h neg 0 h] {ip} {gip} {bip} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUECOLOR { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def /gis w string def /bis w string def /cf currentfile def w h 8 [w 0 0 h neg 0 h] { cf is readhexstring pop } { cf gis readhexstring pop } { cf bis readhexstring pop } true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUEGRAYc { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def ws 0 w getinterval is copy pop /cf currentfile def w h 8 [w 0 0 h neg 0 h] {ip gip bip w gray} image bitmapsave restore grestore } bind def /ww FMLOCAL /r FMLOCAL /g FMLOCAL /b FMLOCAL /i FMLOCAL /gray { /ww exch def /b exch def /g exch def /r exch def 0 1 ww 1 sub { /i exch def r i get .299 mul g i get .587 mul b i get .114 mul add add r i 3 -1 roll floor cvi put } for r } bind def /BITMAPTRUEGRAY { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def /gis w string def /bis w string def /cf currentfile def w h 8 [w 0 0 h neg 0 h] { cf is readhexstring pop cf gis readhexstring pop cf bis readhexstring pop w gray} image bitmapsave restore grestore } bind def /BITMAPGRAY { 8 {fakecolorsetup} COMMONBITMAP } bind def /BITMAPGRAYc { 8 {fakecolorsetup} COMMONBITMAPc } bind def /ENDBITMAP { } bind def end /ALDsave FMLOCAL /ALDmatrix matrix def ALDmatrix currentmatrix pop /StartALD { /ALDsave save def savematrix ALDmatrix setmatrix } bind def /InALD { restorematrix } bind def /DoneALD { ALDsave restore } bind def (3.0) FMVERSION 1 1 612 792 0 1 3 FMDOCUMENT 0 0 /Times-Bold FMFONTDEFINE 1 0 /Times-Roman FMFONTDEFINE 2 0 /Helvetica FMFONTDEFINE 32 FMFILLS 0 0 FMFILL 1 0.1 FMFILL 2 0.3 FMFILL 3 0.5 FMFILL 4 0.7 FMFILL 5 0.9 FMFILL 6 0.97 FMFILL 7 1 FMFILL 8 <0f1e3c78f0e1c387> FMFILL 9 <0f87c3e1f0783c1e> FMFILL 10 FMFILL 11 FMFILL 12 <8142241818244281> FMFILL 13 <03060c183060c081> FMFILL 14 <8040201008040201> FMFILL 16 1 FMFILL 17 0.9 FMFILL 18 0.7 FMFILL 19 0.5 FMFILL 20 0.3 FMFILL 21 0.1 FMFILL 22 0.03 FMFILL 23 0 FMFILL 24 FMFILL 25 FMFILL 26 <3333333333333333> FMFILL 27 <0000ffff0000ffff> FMFILL 28 <7ebddbe7e7dbbd7e> FMFILL 29 FMFILL 30 <7fbfdfeff7fbfdfe> FMFILL 612 792 1 FMBEGINPAGE 69 700 725 722 R 7 X 0 K V 0 24 Q 0 X (Ar) 332.16 706 T (chitectur) 359.7 706 T (e) 451.19 706 T 408 260 718 689 R 7 X V 1 18 Q 0 X (Revolution, not evolution) 408 677 T (Key ideas) 408 641 T 0 24 Q (-) 444 611 T 1 18 Q (lar) 463.98 611 T (ge-granularity servers) 482.64 611 T 0 24 Q (-) 444 581 T 1 18 Q (multiple modular servers) 463.98 581 T 0 24 Q (-) 444 551 T 1 18 Q (\336ne-granularity services) 463.98 551 T 0 24 Q (-) 444 521 T 1 18 Q (coordination through emul. lib.) 463.98 521 T 0 24 Q (-) 444 491 T 1 18 Q (everything out of kernel) 463.98 491 T 0 24 Q (-) 444 461 T 1 18 Q (generic services / layering) 463.98 461 T 0 24 Q (-) 444 431 T 1 18 Q (client-state processing) 463.98 431 T 0 24 Q (-) 444 401 T 1 18 Q (communications through IPC +) 463.98 401 T (shared memory) 465.6 380 T 71 281.06 397.59 670 C 71 281.06 397.59 670 R 7 X 0 K V 164.01 292 390.84 334.35 R 3 H 0 Z 0 X N 176.18 478.11 246.57 641.36 R N 179.65 570.15 242.22 636.66 R 2 H 3 X N 180.12 496.1 242.69 558.06 R N 308.71 478.11 379.1 642.71 R 3 H 0 X N 312.62 570.15 375.19 636.66 R 2 H 3 X N 312.62 496.1 375.19 558.06 R N 0 X 90 450 1.96 3.02 188.36 496.13 A 90 450 1.96 3.02 207.79 496.08 A 90 450 1.96 3.02 198.09 496.08 A 90 450 1.96 3.02 233.01 496.08 A 90 450 1.96 3.02 320.27 496.08 A 90 450 1.96 3.02 329.97 496.08 A 90 450 1.96 3.02 364.88 496.08 A 90 450 1.96 3.02 180.64 412.15 A 90 450 1.96 3.02 374.58 412.15 A 90 450 1.96 3.02 190.3 412.1 A 90 450 1.96 3.02 362.98 412.15 A 90 450 1.96 3.02 258.23 412.1 A 90 450 1.96 3.02 267.93 412.1 A 90 450 1.96 3.02 277.63 412.15 A 185.29 421.63 180.62 415.14 177.33 422.43 181.31 422.03 4 Y V 188.38 493.1 181.31 422.02 2 L V 0.5 H N 255.3 423.08 256.27 415.14 248.9 418.26 252.1 420.67 4 Y V 198.08 493.1 252.11 420.66 2 L N 265.27 422.28 266.21 414.33 258.86 417.48 262.06 419.88 4 Y V 207.78 493.1 262.07 419.88 2 L N 357.2 422.17 361.01 415.14 353.01 415.36 355.11 418.77 4 Y V 232.99 493.1 355.12 418.76 2 L N 377.7 422.51 374.59 415.14 369.76 421.51 373.73 422.01 4 Y V 364.9 493.1 373.74 422 2 L N 200.25 415.36 192.26 415.14 196.06 422.17 198.16 418.77 4 Y V 320.29 493.1 198.16 418.76 2 L N 275.59 417.29 268.15 414.34 269.31 422.25 272.45 419.77 4 Y V 329.98 493.1 272.45 419.77 2 L N 2 12 Q (Process A) 182 648.63 T (Process B) 313.35 648.63 T (Mach Kernel) 243 305.81 T (TTY) 173.17 394.15 T (File) 250.85 394.41 T (Process) 329.61 396.03 T (User code) 182.7 611.07 T (User code) 317.55 614.07 T (Emul. lib) 188.07 529.98 T (Emul. lib) 317.98 528.98 T 130.19 292.17 163.16 292.17 2 L 1 H N 130.19 346.15 167.04 346.15 2 L N 130.19 496.1 176.74 496.1 2 L N 176.74 565.08 130.19 565.08 2 L N 176.74 643.05 130.19 643.05 2 L N 129.01 630.93 136.01 643.05 143.01 630.93 136.01 630.93 4 Y 3 X V 143.01 577.2 136.01 565.08 129.01 577.2 136.01 577.2 4 Y V 136.01 630.93 136.01 577.2 2 L 3 H N 129.21 552.19 136.25 564.28 143.21 552.13 136.21 552.16 4 Y V 143.05 508.21 136 496.11 129.05 508.26 136.05 508.23 4 Y V 136.21 552.15 136.05 508.22 2 L N 129.01 483.98 136.01 496.1 143.01 483.98 136.01 483.98 4 Y V 143.01 358.28 136.01 346.15 129.01 358.28 136.01 358.28 4 Y V 136.01 483.98 136.01 358.28 2 L N 129.01 334.03 136.01 346.15 143.01 334.03 136.01 334.03 4 Y V 143.01 304.29 136.01 292.17 129.01 304.29 136.01 304.29 4 Y V 136.01 334.03 136.01 304.29 2 L N 0 X (Application) 74 599.71 T (Emulation) 78.21 523.73 T (Service) 92.71 416.57 T (Kernel) 98.38 314.6 T 202.66 567.48 211.66 583.07 220.66 567.48 211.66 567.48 4 Y 4 X V 220.66 559.67 211.66 544.08 202.66 559.67 211.66 559.67 4 Y V 211.66 567.48 211.66 559.67 2 L 5 H N 336.5 567.48 345.5 583.07 354.5 567.48 345.5 567.48 4 Y V 354.5 559.67 345.5 544.08 336.5 559.67 345.5 559.67 4 Y V 345.5 567.48 345.5 559.67 2 L N 189.08 357.55 198.08 373.14 207.08 357.55 198.08 357.55 4 Y V 207.08 334.75 198.08 319.16 189.08 334.75 198.08 334.75 4 Y V 198.08 357.55 198.08 334.75 2 L N 268.61 357.55 277.61 373.14 286.61 357.55 277.61 357.55 4 Y V 286.61 334.75 277.61 319.16 268.61 334.75 277.61 334.75 4 Y V 277.61 357.55 277.61 334.75 2 L N 346.2 357.55 355.2 373.14 364.2 357.55 355.2 357.55 4 Y V 364.2 334.75 355.2 319.16 346.2 334.75 355.2 334.75 4 Y V 355.2 357.55 355.2 334.75 2 L N 0 X (server) 189.17 381.15 T (server) 268.85 383.41 T (manager) 335.61 383.03 T 3 H 90 450 36 40.5 197 395.5 A 90 450 36 40.5 278 395.5 A 90 450 36 40.5 359 395.5 A 0 180 792 792 C FMENDPAGE %%EndDocument @endspecial 654 1131 a fk(Figure)10 b(1:)15 b(Overall)9 b(System)i(Architect\ ure)0 1265 y fj(2.)50 b(Ar)o(chitectur)n(e)0 1435 y fl(2.1.)42 b(Basic)10 b (Mach-US)g(components)0 1606 y fk(Mach-US)f(is)f(an)h(object-oriented)d(symme\ tric)j(multi-server)0 1651 y(OS)18 b(which)f(runs)g(on)g(the)h(Mach3.0)g(OS)g (kernel.)37 b(It)17 b(is)h(a)0 1696 y(multi-server)11 b(system)i(in)f(that)g (it)f(has)i(several)g(servers)g(with)0 1742 y(orthogonal)6 b(functions)h(in)g (separate)i(address)g(spaces.)16 b(These)0 1787 y(servers)f(supply)e(OS)h(ser\ vices)h(such)f(as)h(\256le)f(systems,)i(net-)0 1832 y(work)6 b(support,)h(loc\ al)g(sockets)g(and)h(pipes,)f(process)h(manage-)0 1878 y(ment,)j(TTY)g(servic\ e,)g(authentication,)e(and)h(con\256guration.)42 1964 y(Mach-US)d(also)f(incl\ udes)g(an)h(emulation)f(library)f(which)h(is)0 2010 y(dynamically)i(loaded)h (into)f(the)g(address)i(space)g(of)f(each)h(user)0 2055 y(task.)22 b(This)12 b (library)g(uses)h(the)f(system)h(servers)g(to)f(generate)0 2100 y(the)d(seman\ tics)h(of)f(the)g(Mach2.5/4.3BSD)g(application)f(pro-)0 2145 y(grammers)j(int\ erface)e(\(API\).)h(It)e(is)i(binary)e(compatible)h(with)0 2191 y(4.3BSD.)34 b (Most)11 b(servers)h(are)g(essentially)e(independent)g(of)0 2236 y(the)k(appl\ ication)f(programmers)i(interface.)27 b(The)15 b(few)g(that)0 2281 y(are)10 b (UNIX)f(speci\256c)h(were)g(designed)f(to)g(be)g(easily)g(modi\256ed)0 2327 y (or)h(replaced)h(to)f(emulate)g(dif)o(ferent)g(API')m(s.)42 2413 y(Mach-US)f (is)f(a)h(symmetric)g(OS)g(in)f(that)g(there)h(is)f(no)h("cen-)0 2459 y(tral") e(server)i(either)e(to)g(supply)g(an)h(API)g(or)f(for)h(general)g(traf)n(\256\ c)0 2504 y(control.)14 b(All)8 b(multi-service)h(actions)g(are)h(controlled)d (by)i(the)0 2549 y(emulation)g(library)l(.)42 2636 y(The)j(overall)g(Mach-US) h(architecture)f(is)g(shown)g(on)f(\256g-)0 2681 y(ure)f(1.)1050 1265 y fl (2.2.)42 b(System)10 b(Features)1050 1357 y fk(An)k(important)f(aspect)i(of)f (Mach-US)g(is)g(its)g(\257exibility)-5 b(.)27 b(It)1050 1402 y(of)o(fers)9 b (a)h(highly)d(modi\256able)i(OS)g(architecture)g(without)e(sig-)1050 1447 y (ni\256cant)13 b(structural)f(impediments)h(to)g(speed.)26 b(It)12 b(does)i (this)1050 1493 y(through)9 b(the)h(following)d(mechanisms:)1050 1613 y fl (Object-Oriented)16 b(Generic)g(OS)f(Interfaces:)h fk(There)f(are)1050 1659 y (a)21 b(series)g(of)f(C++)h(object-oriented)d(interfaces)j(\(abstract)1050 1704 y(classes/methods)c(for)f(multiple)g(inheritance\))g(that)g(de\256ne) 1050 1749 y(semantics)c(supplied)f(by)g(the)h(system)g(servers:)18 b(access) 13 b(me-)1050 1794 y(diation,)7 b(naming,)g(I/O,)g(network)g(control\(OSI-XTI) e(based\),)1050 1840 y(and)j(event)f(noti\256cation.)13 b(The)8 b(various)e (system)i(servers)h(sup-)1050 1885 y(port)g(a)h(combination)f(of)h(these)g (interfaces)h(to)e(do)h(their)f(work)1050 1930 y(and)h(the)g(emulation)g(libr\ ary)f(uses)h(them)h(to)e(supply)h(a)g(UNIX)1050 1976 y(API.)1092 2062 y(This) 18 b(uniformity)d(of)j(access)j(makes)e(it)e(easy)i(for)f(new)1050 2108 y(ser\ vers)g(to)f(supply)g(additional)f(functionality)f(by)i(sliding)1050 2153 y (into)10 b(the)g(name-space)j(under)e(the)f(known)g(interfaces.)18 b(That) 1050 2198 y(functionality)9 b(is)j(then)g(generally)g(available)g(to)g(the)g (system)1050 2244 y(users)i(through)e(their)h(pre-existing)f(software.)25 b (Additional)1050 2289 y(interface)13 b(semantics)h(can)f(be)h(achieved)f(thro\ ugh)e(class)j(in-)1050 2334 y(heritance)7 b(and)g(specialization)f(or)h(throu\ gh)e(the)i(introduction)1050 2379 y(of)j(further)f(orthogonal)g(interfaces.) 1050 2500 y fl(Modular)22 b(Services:)16 b fk(Dif)o(ferent)22 b(functionality) e(is)i(sepa-)1050 2546 y(rated)15 b(into)e(various)i(servers:)24 b(con\256gur\ ation,)15 b(authentica-)1050 2591 y(tion,)9 b(pathname)h(management,)h(diagno\ stic,)d(local)i(connec-)1050 2636 y(tions)k(and)i(pipes,)h(UNIX)e(\256le)h (system,)h(process)f(manage-)1050 2681 y(ment,)g(TTYs,)g(and)f(network)e(conn\ ections.)27 b(This)14 b(separa-)p eop %%Page: 3 3 bop 0 23 a fk(tion)7 b(makes)i(it)e(simple)h(to)f(develop)h(and)g(debug)g (OS)g(services.)0 68 y(One)g(can)g(add)g(and)f(subtract)h(services)g(as)g(nee\ ded)h(for)e(a)h(given)0 113 y(invocation)k(of)h(the)h(system.)26 b(Furthermor\ e,)15 b(a)f(bug)f(in)g(one)0 159 y(service)e(doesn')o(t)f(crash)h(or)f(corrup\ t)f(the)h(entire)g(system.)0 273 y fl(Object)17 b(Library/Code)f(Reuse:)f fk (There)i(is)f(an)g(extensive)0 318 y(object)f(library)e(for)i(support/impleme\ ntation)d(of)i(the)h(var-)0 363 y(ious)g(generic)h(interfaces)g(and)f(for)g (use)h(as)h(general)f(server)0 409 y(building)f(blocks.)36 b(This)17 b(enable\ s)h(faster)g(prototyping)c(of)0 454 y(a)h(new)h(server)f(and)g(eases)h(creati\ on)f(of)g(servers)g(from)g(for-)0 499 y(eign)c(code.)19 b(Some)12 b(examples) g(of)f(this)f(support)g(are:)17 b(name-)0 544 y(space)g(manipulation,)g(prote\ ction,)f(mapped-\256les/shared-)0 590 y(mem/pager-objects,)c(I/O)f(and)g(bulk\ -data)g(transfer)n(,)h(client-)0 635 y(server)g(binding)d(control)h(and)i(rem\ ote)f(method)g(invocation,)0 680 y(and)f(extensive)g(interrupt/event/signal)d (support.)0 813 y fj(3.)50 b(Interface)12 b(Model)0 901 y fk(T)m(o)7 b(capita\ lize)h(on)e(the)h(idea)g(of)g(using)f(generic)h(services,)i(most)0 946 y(high\ -level)h(functions)g(are)i(de\256ned)f(in)g(terms)g(of)g(an)h(object-)0 992 y (oriented)j(framework.)34 b(Each)17 b(operating)f(system)g(service)0 1037 y (is)f(represented)h(by)g(one)f(or)g(more)h(abstract)g fi(OS-items)f fk(ex-)0 1082 y(porting)10 b(a)i(well-de\256ned)g(set)g(of)g(operations.)19 b(Examples) 12 b(of)0 1128 y(logical)j(OS-items)h(under)f(UNIX)h(are)g(\256les,)i(pipes,) f(sock-)0 1173 y(ets,)i(TTYs,)g(processes,)h(etc.)35 b(Each)18 b(such)e(abstr\ action)g(is)0 1218 y(represented)f(in)g(Mach-US)g(by)g(a)g(more)h(API)f(neutr\ al)f(OS-)0 1263 y(item.)23 b(Each)14 b(OS-item)f(corresponds)f(to)h(a)g(gener\ ic)g(service)0 1309 y(that)7 b(is)h(specialized)g(by)g(the)g(emulation)f(libr\ ary)g(for)g(the)h(more)0 1354 y(familiar)13 b(UNIX)g(API)g(semantics.)24 b (Each)14 b(server)g(normally)0 1399 y(implements)7 b(a)h(lar)o(ge)g(number)g (of)f(similar)n(,)h(but)f(independent,)0 1445 y(OS-items.)19 b(Note)11 b(that) f(the)i(various)e(servers)i(and)g(items)f(are)0 1490 y(themselves)19 b(implem\ ented)g(using)e(object-oriented)g(tech-)0 1535 y(niques;)i(the)e(word)f fi (OS-item)g fk(or)h fi(item)34 b fk(is)16 b(used)h(to)g(avoid)0 1580 y(confusi\ on)e(with)g(the)h(actual)g(objects)g(used)g(at)h(the)f(imple-)0 1626 y(mentat\ ion)9 b(level.)42 1713 y(The)d(operations)g(exported)f(by)h(each)i(OS-item)e (are)h(catego-)0 1758 y(rized)h(into)f(several)i(independent)e(functional)f (groups)i(which)0 1803 y(are)15 b(used)f(throughout)d(the)j(system.)26 b(Each) 15 b(such)g(group)d(of)0 1848 y(functions)d(is)h(represented)h(by)e(a)i(speci\ \256c)g(\252standard\272)g(inter-)0 1894 y(face.)33 b(Each)17 b(de\256nes)f (a)g(communication)f(paradigm)h(used)0 1939 y(for)f(conveying)g(a)i(speci\256\ c)f(\257avor)g(of)g(information)d(under)0 1984 y(speci\256c)h(semantic)g(and) g(synchronization)e(constraints)g(be-)0 2030 y(tween)k(the)g(emulation)g(libr\ ary)f(and)h(the)g(OS-item)g(imple-)0 2075 y(mentations.)e(The)c(general)g(int\ erface)g(paradigms)f(currently)0 2120 y(de\256ned)i(are:)21 2197 y fl(Access) 19 b(Mediation:)29 b fk(access)20 b(to)d(all)g(OS-items)h(is)f(me-)83 2242 y (diated)c(through)g(a)h(standard)g(facility)e(using)h(general-)83 2288 y(purp\ ose)e(access)j(control)d(lists)g(and)h(a)g(uniform)f(repre-)83 2333 y(sentati\ on)h(for)h(user)h(credentials.)24 b(The)14 b(requirements)83 2378 y(of)f(a)h (particular)f(API)h(are)g(handled)f(with)f(special)i(ini-)83 2423 y(tializati\ on)f(and)h(interpretation)f(of)h(the)h(standard)f(ab-)83 2469 y(stractions.) 21 2546 y fl(Naming:)j fk(all)c(OS-items)f(in)g(the)g(system)h(are)g(named)g (and)83 2591 y(accessible)g(through)d(a)i(uniform)f(name)h(space.)21 b(There) 83 2636 y(is)16 b(a)h(common)f(name)h(resolution)e(protocol)f(to)i(navi-)83 2681 y(gate)i(the)f(global)f(name)j(space,)h(locate)e(servers)g(and)1133 23 y (locate)13 b(individual)c(items)k(inside)e(a)i(server)g(\(e.g.,)h(\256les) 1133 68 y(in)8 b(a)h(\256le)g(server)o(,)h(pipes)e(in)g(a)h(pipe)g(server)n (,)h(etc.\).)15 b(It)9 b(sup-)1133 113 y(ports)c(user-centered)i(as)g(well)f (as)h(OS-centered)f(naming)1133 159 y(through)j(the)h(use)g(of)g(pre\256x)h (tables)f([W)l(elch86].)1071 225 y fl(I/O:)h fk(the)h(I/O)e(interface)i(provi\ des)f(a)h(model)f(for)g(the)h(iden-)1133 270 y(ti\256cation)j(and)h(transfer) g(of)f(data.)33 b(It)15 b(supports)g(both)1133 315 y(byte-level)10 b(and)g (record-level)h(data)f(access)j(as)e(well)f(as)1133 361 y(sequential)f(and)g (random)g(access)j(operation.)i(Most)8 b(is-)1133 406 y(sues)h(of)g(synchroni\ zation)d(are)k(left)e(to)g(the)g(clients)h(\(em-)1133 451 y(ulation)i(librari\ es\))h(for)h(maximum)g(\257exibility:)k(when)1133 496 y(necessary)o(,)12 b (asynchronous)g(style)f(operations)g(are)h(im-)1133 542 y(plemented)f(by)g (the)g(client)f(with)h(additional)e(\(waiting\))1133 587 y(threads.)16 b(V)-5 b(arious)10 b(caching)h(and)g(buf)n(fer)g(management)1133 632 y(policies)j (can)h(be)g(used)g(or)g(created)g(within)e(the)i(same)1133 678 y(I/O)10 b(fra\ mework.)1050 743 y fl(Network)h(Contr)o(ol:)20 b fk(the)28 b(network)g(contro\ l)f(operations)1133 789 y(deal)13 b(with)e(the)i(creation)f(and)h(management) g(of)f(trans-)1133 834 y(port)g(endpoints,)h(to)f(the)h(exclusion)f(of)h(actu\ al)g(I/O)f(on)1133 879 y(those)d(endpoints.)14 b(This)9 b(interface)h(is)f (lar)o(gely)g(inspired)1133 925 y(by)14 b(XTI[XTI90)o(],)h(with)e(some)i(chan\ ges)f(to)g(facilitate)1133 970 y(sharing)6 b(of)h(endpoints)f(between)h(multi\ ple)f(clients,)h(and)1133 1015 y(for)j(integration)e(in)i(the)g(uniform)f(nam\ e)i(space.)1071 1081 y fl(Asynchronous)g(Noti\256cations:)j fk(this)c(subsyst\ em)g(can)i(be)1133 1126 y(used)j(by)g(servers)h(to)e(deliver)h(noti\256cation\ s,)g(such)g(as)1133 1172 y(UNIX)10 b(signals,)g(to)g(clients.)1050 1269 y(Eac\ h)j(of)e(these)h(basic)g(interfaces)g(does)f(not)g(directly)g(de\256ne)1050 1314 y(the)g(complete)h(functionality)d(exported)i(by)g(any)h(individual)1050 1359 y(OS-item;)19 b(rather)n(,)f(they)e(correspond)g(to)g(lower)o(-level)g (ser-)1050 1405 y(vices)h(that)f(must)g(be)h(combined)f(to)g(de\256ne)h(the)f (complete)1050 1450 y(item.)26 b(For)14 b(example,)i(network)d(endpoints)g (export)g(opera-)1050 1495 y(tions)e(from)h(both)g(the)g(I/O)g(and)g(network) g(control)f(interface)1050 1541 y(categories.)1050 1651 y fl(3.1.)42 b(Interf\ ace)12 b(Design)e(Guidelines)1050 1738 y(Interface)f(Objectives:)15 b fk(Ther\ e)9 b(are)f(many)g(dif)n(ferent)f(objec-)1050 1784 y(tives)13 b(to)h(be)g(exa\ mined)g(when)g(generating)f(new)h(OS)g(inter-)1050 1829 y(faces.)k(While)10 b (these)h(objectives)f(may)h(overlap)f(or)h(partially)1050 1874 y(con\257ict,) j(we)f(chose)h(to)e(formalize)i(them)f(for)f(Mach-US)i(to)1050 1920 y(help)g (in)g(its)f(development)h(as)h(well)f(as)h(to)e(clarify)h(the)g(sys-)1050 1965 y(tem')n(s)h(goals.)27 b(The)16 b(previously)d(described)h(interfaces)h(are) 1050 2010 y(de\256ned)c(to)e(achieve)i(these)g(goals:)1092 2076 y ff(\017)20 b fk(Separate)f(interface)f(semantics)g(from)f(previous)g(OS)1133 2121 y(API)11 b(semantics)h(with)d(the)i(intent)f(of)g(supporting)f(mul-)1133 2167 y(tiple) e(dif)n(ferent)h(OS)h(APIs,)g(possibly)d(at)i(the)g(same)i(time.)1092 2233 y ff(\017)20 b fk(Make)c(user)g(speci\256c)g(data)g(reside)g(in)f(the)g(emulati\ on)1133 2278 y(library)9 b(to)h(be)g(passed)h(to)f(servers.)1092 2344 y ff (\017)20 b fk(Ensure)12 b(that)f(inter)n(-server)h(coordination)e(can)j(be)f (sup-)1133 2389 y(plied)6 b(by)g(the)h(emulation)f(library)l(.)14 b(This)7 b (avoids)f(forcing)1133 2434 y(unnecessary)11 b(inter)o(-server)f(communicatio\ n.)1092 2500 y ff(\017)20 b fk(Enable)c(as)f(much)h(calculation)e(in)h(the)g (emulation)f(li-)1133 2546 y(brary)i(\(versus)g(servers\))g(as)h(possible.)31 b(This)16 b(lowers)1133 2591 y(the)10 b(amount)g(of)g(process/server)g(commun\ ication)g(and)1133 2636 y(enables)e(more)f(load)f(distribution)t(for)g(multi-\ processor)1133 2681 y(systems.)p eop %%Page: 4 4 bop 42 23 a ff(\017)20 b fk(Enable)7 b(transparent)g(caching)g(of)g(informat\ ion)e(in)i(user)o(-)83 68 y(side)h(proxies)g(when)g(useful)g(and)g(safe,)i (again)e(to)f(reduce)83 113 y(the)j(amount)g(of)g(process/server)h(communicat\ ion.)42 182 y ff(\017)20 b fk(Supply)10 b(simple)i(and)f(implementable)h(inte\ rfaces)g(that)83 228 y(can)h(be)g(used)g(directly)e(by)h(sophisticated)g(user\ s.)22 b(It)12 b(is)83 273 y(important)i(to)h(make)h(it)f(possible)g(for)g(sys\ tem)h(server)83 318 y(implementors)f(to)g(support)f(these)h(interfaces)h(and) g(to)83 363 y(make)f(the)e(power)g(of)g(these)h(interfaces)g(available)g(di-) 83 409 y(rectly)f(to)h(serious)f(developers)h(for)f(special)i(uses)f(and)83 454 y(extra)c(speed.)42 523 y ff(\017)20 b fk(Make)f(it)e(fast.)40 b(This)18 b (is)g(a)h(partial)e(goal)h(of)g(all)g(the)83 568 y(preceding)10 b(objectives.) 0 678 y fl(Absolute)f(Requirements/Constraints:)14 b fk(The)c(above)g(ob-)0 724 y(jectives)g(are)h(tempered)g(by)f(these)h(absolute)e(restrictions:)42 792 y ff(\017)20 b fk(No)c(data/ports/etc.)32 b(in)16 b(the)g(emulation)f(library) g(can)83 838 y(be)i(usable)f(to)g(crash)h(a)g(service)g(or)f(other)g(client.) 33 b(If)83 883 y(a)14 b(process)g(directly)e(modi\256es)i(its)e(emulation)h (library)l(,)83 928 y(it)f(may)h(corrupt)f(itself,)g(but)g(it)g(may)h(corrupt) e(no)i(other)83 973 y(processes.)42 1042 y ff(\017)20 b fk(No)8 b(secure)g (data)h(in)e(the)g(emulation)g(library)l(.)15 b(A)8 b(process)83 1087 y(must) 18 b(not)g(be)h(able)f(to)g(change)h(system-maintained)83 1133 y(information,) f(that)g(it)f(has)h(no)g(right)e(to)i(change,)i(by)83 1178 y(modifying)8 b (its)i(emulation)f(library)l(.)42 1247 y ff(\017)20 b fk(Must)11 b(be)g(suf)o (\256cient)h(to)e(support)g(UNIX)h(API)h(require-)83 1292 y(ments.)0 1421 y fj (4.)50 b(Client-server)12 b(model)0 1508 y fk(Mach-US)19 b(has)h(a)f(remote)g (method)g(invocation)e(package)0 1553 y(composed)11 b(of)f(three)g(parts:)15 b (a)c(run-time)e(system)i(that)e(trans-)0 1598 y(ports)22 b(invocations)g(and) h(OS-item)g(references)i(between)0 1644 y(client)12 b(and)g(server)o(,)h(a)g (set)f(of)g(client-side)g(objects)g(\()p fi(pr)n(oxies)p fk(\))0 1689 y(that) d(interface)g(between)h(the)f(clients)g(and)g(the)g(run-time)f(sys-)0 1734 y (tem,)i(and)f(a)g(set)g(of)g(server-side)f(objects)h(\()p fi(agents)p fk(\))f (that)g(inter-)0 1779 y(face)k(between)f(the)f(run-time)g(system)h(and)g(the) f(code)i(imple-)0 1825 y(menting)e(each)j(OS-item)e(in)f(a)i(server)n(.)18 b (More)11 b(details)g(about)0 1870 y(this)d(package)j(can)f(be)f(found)f(in)h ([Stevenson&Julin94)n(])g(and)0 1915 y([Guedes&Julin91)o(].)0 2028 y fl(4.1.) 42 b(Remote)17 b(Method)h(Invocation)f(System)g(Proper)o(-)104 2073 y(ties)0 2160 y fk(The)h(Remote)g(Method)f(Invocation)g(\(RMI\))f(system)j(sup-)0 2205 y(plies)12 b(the)g(following)e(features)j(to)f(make)i(OS)f(development)0 2250 y(possible)c(and)i(simpler:)21 2319 y fl(Communication)18 b(Flexibility)p fk (:)33 b(Through)20 b(the)g(use)h(of)83 2364 y(client)d(side)g(proxies)g([Shap\ iro86)n(],)j(Mach-US)e(sup-)83 2410 y(ports)8 b(various)g(modes)h(of)g(commun\ ication)f(within)f(the)83 2455 y(common)12 b(invocation)e(facility)l(,)i(so)g (as)g(to)g(use)g(the)f(best)83 2500 y(approach)c(in)f(each)i(case.)16 b(There) 7 b(is)g(a)g(default)g(message-)83 2546 y(passing)16 b(RMI)g(mechanism)h(and) f(alternate)g(methods)83 2591 y(such)f(as)f(buf)o(fers)h(of)f(shared)g(memory) h(between)g(spe-)83 2636 y(ci\256c)9 b(clients)f(and)g(servers.)15 b(Proxies) 8 b(also)g(support)f(spe-)83 2681 y(cialized)17 b(client-side)f(caching)g(and) h(client-side)f(pro-)1133 23 y(cessing)11 b(to)f(maximize)i(the)f(amount)f (of)h(control)e(avail-)1133 68 y(able)i(to)e(the)h(implementors)g(of)g(OS-ite\ ms.)1071 135 y fl(T)l(ransparency)p fk(:)54 b(Code)30 b(for)f(implementing)f (a)i(fea-)1133 181 y(ture/method)5 b(of)i(an)g(OS-item)f(may)h(reside)g(eithe\ r)f(in)g(the)1133 226 y(client')m(s)i(address)h(space,)h(a)f(server)r(')n(s)f (address)h(space,)h(or)1133 271 y(both,)k(and)g(may)h(change)f(on)g(a)g(per)g (item)g(basis.)26 b(The)1133 316 y(caller)13 b(does)f(not)f(need)i(to)f(know) f(the)h(details.)21 b(All)11 b(ac-)1133 362 y(tions)g(against)g(OS-items)h (are)h(standard)e(C++)h(method)1133 407 y(invocations.)1071 474 y fl(Forking) p fk(:)h(The)8 b(facility)e(provides)h(an)h(ef)o(\256cient)f(and)h(secure) 1133 519 y(mechanism)13 b(for)e(object)g(reference)i(\(binding\))c(inheri-) 1133 565 y(tance)i(and)f(reconstruction)f(during)g(process)i(creation.)1071 632 y fl(Interruptibility)p fk(:)65 b(OS)37 b(semantics)g(stipulate)e(that) 1133 677 y(some)13 b(ongoing)e(operations)g(can)j(be)e(asynchronously)1133 722 y(aborted.)i(The)9 b(RMI)f(system)h(provides)f(complete)h(sup-)1133 768 y(por\ t)c(to)h(interrupt)f(pending)g(invocations.)12 b(Extra)7 b(care)g(is)1133 813 y(taken)h(so)g(that)g(methods)f(either)h(complete)g(or)g(are)h(inter-)1133 858 y(rupted)i(atomically)m(.)20 b(A)12 b(further)f(package)j(is)d(supplied)1133 903 y(so)d(that)g(servers)h(and)g(the)f(emulation)f(library)g(may)i(con-)1133 949 y(trol)g(where,)i(when,)g(and)f(how)g(they)g(are)h(interrupted.)1071 1016 y fl(Access)d(mediation)d(and)i(client)g(identi\256cation)p fk(:)k(Each)d(in-) 1133 1061 y(vocation)i(of)g(a)h(speci\256c)g(operation)f(upon)f(an)i(OS-item) 1133 1106 y(is)i(subject)f(to)h(access)i(mediation.)23 b(It)12 b(is)h(not)f (possible)1133 1152 y(for)e(users)g(to)f(perform)h(unauthorized)f(or)h(for)n (ged)g(invo-)1133 1197 y(cations.)k(Also,)8 b(the)f(identity)e(of)i(the)g(cli\ ent)f(performing)1133 1242 y(a)i(given)f(operation)g(is)h(available)f(to)h (the)f(OS-item)h(man-)1133 1287 y(ager)n(.)15 b(Although)7 b(these)j(function\ s)e(could)h(be)g(provided)1133 1333 y(in)15 b(an)h(ad-hoc)g(fashion,)h(integr\ ating)d(them)i(with)e(the)1133 1378 y(central)g(invocation)e(facility)h(of)o (fers)h(ef)o(\256ciency)n(,)h(sim-)1133 1423 y(plicity)-5 b(,)11 b(and)g(unif\ ormity)-6 b(.)1071 1490 y fl(Garbage)21 b(collection)p fk(:)33 b(The)21 b(inv\ ocation)e(facility)g(uses)1133 1536 y(Mach3.0)12 b(IPC)g(ports)f([Draves90)o (])h(with)f(a)h(\252no-more-)1133 1581 y(senders\272)c(noti\256cation)t(to)e (inform)g(a)h(server)g(when)g(there)1133 1626 y(are)k(no)f(more)h(clients)e (of)h(a)h(given)f(OS-item.)1050 1738 y fl(4.2.)42 b(Proxies,)10 b(Agents,)h (and)f(Agencies)1050 1825 y(Client)i(view)h(\320)f fi(pr)o(oxies)p fl(:)j fk (Each)f(OS-item)e(is)h(represented)1050 1870 y(on)f(the)f(client)h(side)g(by) f(a)i(special)f(object)g(that)f(functions)f(as)1050 1915 y(a)15 b fi(pr)n(oxy) p fk([Shapiro86)o(].)28 b(A)14 b(Mach-US)h(proxy)e(is)h(a)h(body)e(of)1050 1961 y(code)c(that)f(is)h(the)f(client-side)g(part)h(of)f(a)h(given)f(OS-item\ .)15 b(All)1050 2006 y(operations)7 b(on)g(the)g(item)h(are)g(invoked)f(by)g (the)g(client)g(as)h(local)1050 2051 y(operations)e(on)h(the)h(proxy)e(instea\ d)h(of)g(being)g(sent)g(directly)g(to)1050 2096 y(the)k(item')n(s)g(server)o (.)18 b(In)12 b(simple)f(cases,)j(the)d(proxy)f(forwards)1050 2142 y(all)e (client)g(invocations)f(to)g(the)i(server)f(via)h(Mach)g(IPC,)f(but)g(in)1050 2187 y(other)j(cases,)k(the)d(proxy)f(may)h(perform)g(most)g(or)g(all)g(of)f (the)1050 2232 y(processing)j(locally)l(,)i(thereby)e(reducing)g(the)g(commun\ ica-)1050 2278 y(tions)9 b(overhead)i(and)g(the)f(load)g(on)g(the)h(server)n (.)16 b(One)11 b(typical)1050 2323 y(application)h(is)h(to)g(use)g(a)h(proxy) e(to)h(cache)i(information)c(on)1050 2368 y(the)f(client)g(side)g(of)g(a)h (client-server)f(interface.)1092 2455 y(A)h(new)i(proxy)d(object)i(is)f(autom\ atically)g(instantiated)g(in)1050 2500 y(a)i(client')m(s)g(address)h(space)g (by)f(the)g(run-time)f(system)h(when)1050 2546 y(an)d(\252out)g(ar)o(g\272)g (object)g(is)g(returned)f(by)h(a)g(remote)g(invocation.)1050 2591 y(The)j(nat\ ure)f(and)h(implementation)e(of)h(any)g(given)g(proxy)f(is)1050 2636 y(speci\ \256ed)f(by)g(the)g(designer)f(of)h(each)g(individual)e(server)i(and)1050 2681 y(not)f(by)h(the)g(clients.)p eop %%Page: 5 5 bop 0 1044 a @beginspecial -20 @hoffset 290 @voffset 0.650000 @hscale 0.550000 @vscale -90 @angle @setspecial %%BeginDocument: rmi.ps /FMversion (3.0) def /FMPrintInColor systemdict /colorimage known systemdict /currentcolortransfer known or def /FrameDict 195 dict def systemdict /errordict known not {/errordict 10 dict def errordict /rangecheck {stop} put} if FrameDict /tmprangecheck errordict /rangecheck get put errordict /rangecheck {FrameDict /bug true put} put FrameDict /bug false put mark currentfile 5 string readline 00 0000000000 cleartomark errordict /rangecheck FrameDict /tmprangecheck get put FrameDict /bug get { /readline { /gstring exch def /gfile exch def /gindex 0 def { gfile read pop dup 10 eq {exit} if dup 13 eq {exit} if gstring exch gindex exch put /gindex gindex 1 add def } loop pop gstring 0 gindex getinterval true } def } if /FMVERSION { FMversion ne { /Times-Roman findfont 18 scalefont setfont 100 100 moveto (FrameMaker version does not match postscript_prolog!) dup = show showpage } if } def /FMLOCAL { FrameDict begin 0 def end } def /gstring FMLOCAL /gfile FMLOCAL /gindex FMLOCAL /orgxfer FMLOCAL /orgproc FMLOCAL /organgle FMLOCAL /orgfreq FMLOCAL /yscale FMLOCAL /xscale FMLOCAL /manualfeed FMLOCAL /paperheight FMLOCAL /paperwidth FMLOCAL /FMDOCUMENT { array /FMfonts exch def /#copies exch def FrameDict begin 0 ne dup {setmanualfeed} if /manualfeed exch def /paperheight exch def /paperwidth exch def /yscale exch def /xscale exch def currenttransfer cvlit /orgxfer exch def currentscreen cvlit /orgproc exch def /organgle exch def /orgfreq exch def setpapername desperatepapersize end } def /pagesave FMLOCAL /orgmatrix FMLOCAL /landscape FMLOCAL /FMBEGINPAGE { FrameDict begin /pagesave save def 3.86 setmiterlimit /landscape exch 0 ne def landscape { 90 rotate 0 exch neg translate pop } {pop pop} ifelse xscale yscale scale /orgmatrix matrix def gsave } def /FMENDPAGE { grestore pagesave restore end showpage } def /FMFONTDEFINE { FrameDict begin findfont ReEncode 1 index exch definefont FMfonts 3 1 roll put end } def /FMFILLS { FrameDict begin array /fillvals exch def end } def /FMFILL { FrameDict begin fillvals 3 1 roll put end } def /FMNORMALIZEGRAPHICS { newpath 0.0 0.0 moveto 1 setlinewidth 0 setlinecap 0 0 0 sethsbcolor 0 setgray } bind def /fx FMLOCAL /fy FMLOCAL /fh FMLOCAL /fw FMLOCAL /llx FMLOCAL /lly FMLOCAL /urx FMLOCAL /ury FMLOCAL /FMBEGINEPSF { end /FMEPSF save def /showpage {} def FMNORMALIZEGRAPHICS [/fy /fx /fh /fw /ury /urx /lly /llx] {exch def} forall fx fy translate rotate fw urx llx sub div fh ury lly sub div scale llx neg lly neg translate } bind def /FMENDEPSF { FMEPSF restore FrameDict begin } bind def FrameDict begin /setmanualfeed { statusdict /manualfeed true put } def /max {2 copy lt {exch} if pop} bind def /min {2 copy gt {exch} if pop} bind def /inch {72 mul} def /pagedimen { paperheight sub abs 16 lt exch paperwidth sub abs 16 lt and {/papername exch def} {pop} ifelse } def /papersizedict FMLOCAL /setpapername { /papersizedict 14 dict def papersizedict begin /papername /unknown def /Letter 8.5 inch 11.0 inch pagedimen /LetterSmall 7.68 inch 10.16 inch pagedimen /Tabloid 11.0 inch 17.0 inch pagedimen /Ledger 17.0 inch 11.0 inch pagedimen /Legal 8.5 inch 14.0 inch pagedimen /Statement 5.5 inch 8.5 inch pagedimen /Executive 7.5 inch 10.0 inch pagedimen /A3 11.69 inch 16.5 inch pagedimen /A4 8.26 inch 11.69 inch pagedimen /A4Small 7.47 inch 10.85 inch pagedimen /B4 10.125 inch 14.33 inch pagedimen /B5 7.16 inch 10.125 inch pagedimen end } def /papersize { papersizedict begin /Letter {lettertray letter} def /LetterSmall {lettertray lettersmall} def /Tabloid {11x17tray 11x17} def /Ledger {ledgertray ledger} def /Legal {legaltray legal} def /Statement {statementtray statement} def /Executive {executivetray executive} def /A3 {a3tray a3} def /A4 {a4tray a4} def /A4Small {a4tray a4small} def /B4 {b4tray b4} def /B5 {b5tray b5} def /unknown {unknown} def papersizedict dup papername known {papername} {/unknown} ifelse get end /FMdicttop countdictstack 1 add def statusdict begin stopped end countdictstack -1 FMdicttop {pop end} for } def /manualpapersize { papersizedict begin /Letter {letter} def /LetterSmall {lettersmall} def /Tabloid {11x17} def /Ledger {ledger} def /Legal {legal} def /Statement {statement} def /Executive {executive} def /A3 {a3} def /A4 {a4} def /A4Small {a4small} def /B4 {b4} def /B5 {b5} def /unknown {unknown} def papersizedict dup papername known {papername} {/unknown} ifelse get end stopped } def /desperatepapersize { statusdict /setpageparams known { paperwidth paperheight 0 1 statusdict begin {setpageparams} stopped pop end } if } def /savematrix { orgmatrix currentmatrix pop } bind def /restorematrix { orgmatrix setmatrix } bind def /dmatrix matrix def /dpi 72 0 dmatrix defaultmatrix dtransform dup mul exch dup mul add sqrt def /freq dpi 18.75 div 8 div round dup 0 eq {pop 1} if 8 mul dpi exch div def /sangle 1 0 dmatrix defaultmatrix dtransform exch atan def /DiacriticEncoding [ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quotesingle /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon /less /equal /greater /question /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O /P /Q /R /S /T /U /V /W /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore /grave /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o /p /q /r /s /t /u /v /w /x /y /z /braceleft /bar /braceright /asciitilde /.notdef /Adieresis /Aring /Ccedilla /Eacute /Ntilde /Odieresis /Udieresis /aacute /agrave /acircumflex /adieresis /atilde /aring /ccedilla /eacute /egrave /ecircumflex /edieresis /iacute /igrave /icircumflex /idieresis /ntilde /oacute /ograve /ocircumflex /odieresis /otilde /uacute /ugrave /ucircumflex /udieresis /dagger /.notdef /cent /sterling /section /bullet /paragraph /germandbls /registered /copyright /trademark /acute /dieresis /.notdef /AE /Oslash /.notdef /.notdef /.notdef /.notdef /yen /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /ordfeminine /ordmasculine /.notdef /ae /oslash /questiondown /exclamdown /logicalnot /.notdef /florin /.notdef /.notdef /guillemotleft /guillemotright /ellipsis /.notdef /Agrave /Atilde /Otilde /OE /oe /endash /emdash /quotedblleft /quotedblright /quoteleft /quoteright /.notdef /.notdef /ydieresis /Ydieresis /fraction /currency /guilsinglleft /guilsinglright /fi /fl /daggerdbl /periodcentered /quotesinglbase /quotedblbase /perthousand /Acircumflex /Ecircumflex /Aacute /Edieresis /Egrave /Iacute /Icircumflex /Idieresis /Igrave /Oacute /Ocircumflex /.notdef /Ograve /Uacute /Ucircumflex /Ugrave /dotlessi /circumflex /tilde /macron /breve /dotaccent /ring /cedilla /hungarumlaut /ogonek /caron ] def /ReEncode { dup length dict begin { 1 index /FID ne {def} {pop pop} ifelse } forall 0 eq {/Encoding DiacriticEncoding def} if currentdict end } bind def /graymode true def /bwidth FMLOCAL /bpside FMLOCAL /bstring FMLOCAL /onbits FMLOCAL /offbits FMLOCAL /xindex FMLOCAL /yindex FMLOCAL /x FMLOCAL /y FMLOCAL /setpattern { /bwidth exch def /bpside exch def /bstring exch def /onbits 0 def /offbits 0 def freq sangle landscape {90 add} if {/y exch def /x exch def /xindex x 1 add 2 div bpside mul cvi def /yindex y 1 add 2 div bpside mul cvi def bstring yindex bwidth mul xindex 8 idiv add get 1 7 xindex 8 mod sub bitshift and 0 ne {/onbits onbits 1 add def 1} {/offbits offbits 1 add def 0} ifelse } setscreen {} settransfer offbits offbits onbits add div FMsetgray /graymode false def } bind def /grayness { FMsetgray graymode not { /graymode true def orgxfer cvx settransfer orgfreq organgle orgproc cvx setscreen } if } bind def /HUE FMLOCAL /SAT FMLOCAL /BRIGHT FMLOCAL /Colors FMLOCAL FMPrintInColor { /HUE 0 def /SAT 0 def /BRIGHT 0 def % array of arrays Hue and Sat values for the separations [HUE BRIGHT] /Colors [[0 0 ] % black [0 0 ] % white [0.00 1.0] % red [0.37 1.0] % green [0.60 1.0] % blue [0.50 1.0] % cyan [0.83 1.0] % magenta [0.16 1.0] % comment / yellow ] def /BEGINBITMAPCOLOR { BITMAPCOLOR} def /BEGINBITMAPCOLORc { BITMAPCOLORc} def /BEGINBITMAPTRUECOLOR { BITMAPTRUECOLOR } def /BEGINBITMAPTRUECOLORc { BITMAPTRUECOLORc } def /K { Colors exch get dup 0 get /HUE exch store 1 get /BRIGHT exch store HUE 0 eq BRIGHT 0 eq and {1.0 SAT sub setgray} {HUE SAT BRIGHT sethsbcolor} ifelse } def /FMsetgray { /SAT exch 1.0 exch sub store HUE 0 eq BRIGHT 0 eq and {1.0 SAT sub setgray} {HUE SAT BRIGHT sethsbcolor} ifelse } bind def } { /BEGINBITMAPCOLOR { BITMAPGRAY} def /BEGINBITMAPCOLORc { BITMAPGRAYc} def /BEGINBITMAPTRUECOLOR { BITMAPTRUEGRAY } def /BEGINBITMAPTRUECOLORc { BITMAPTRUEGRAYc } def /FMsetgray {setgray} bind def /K { pop } def } ifelse /normalize { transform round exch round exch itransform } bind def /dnormalize { dtransform round exch round exch idtransform } bind def /lnormalize { 0 dtransform exch cvi 2 idiv 2 mul 1 add exch idtransform pop } bind def /H { lnormalize setlinewidth } bind def /Z { setlinecap } bind def /fillvals FMLOCAL /X { fillvals exch get dup type /stringtype eq {8 1 setpattern} {grayness} ifelse } bind def /V { gsave eofill grestore } bind def /N { stroke } bind def /M {newpath moveto} bind def /E {lineto} bind def /D {curveto} bind def /O {closepath} bind def /n FMLOCAL /L { /n exch def newpath normalize moveto 2 1 n {pop normalize lineto} for } bind def /Y { L closepath } bind def /x1 FMLOCAL /x2 FMLOCAL /y1 FMLOCAL /y2 FMLOCAL /rad FMLOCAL /R { /y2 exch def /x2 exch def /y1 exch def /x1 exch def x1 y1 x2 y1 x2 y2 x1 y2 4 Y } bind def /RR { /rad exch def normalize /y2 exch def /x2 exch def normalize /y1 exch def /x1 exch def newpath x1 y1 rad add moveto x1 y2 x2 y2 rad arcto x2 y2 x2 y1 rad arcto x2 y1 x1 y1 rad arcto x1 y1 x1 y2 rad arcto closepath 16 {pop} repeat } bind def /C { grestore gsave R clip } bind def /FMpointsize FMLOCAL /F { FMfonts exch get FMpointsize scalefont setfont } bind def /Q { /FMpointsize exch def F } bind def /T { moveto show } bind def /RF { rotate 0 ne {-1 1 scale} if } bind def /TF { gsave moveto RF show grestore } bind def /P { moveto 0 32 3 2 roll widthshow } bind def /PF { gsave moveto RF 0 32 3 2 roll widthshow grestore } bind def /S { moveto 0 exch ashow } bind def /SF { gsave moveto RF 0 exch ashow grestore } bind def /B { moveto 0 32 4 2 roll 0 exch awidthshow } bind def /BF { gsave moveto RF 0 32 4 2 roll 0 exch awidthshow grestore } bind def /G { gsave newpath normalize translate 0.0 0.0 moveto dnormalize scale 0.0 0.0 1.0 5 3 roll arc closepath fill grestore } bind def /A { gsave savematrix newpath 2 index 2 div add exch 3 index 2 div sub exch normalize 2 index 2 div sub exch 3 index 2 div add exch translate scale 0.0 0.0 1.0 5 3 roll arc restorematrix stroke grestore } bind def /x FMLOCAL /y FMLOCAL /w FMLOCAL /h FMLOCAL /xx FMLOCAL /yy FMLOCAL /ww FMLOCAL /hh FMLOCAL /FMsaveobject FMLOCAL /FMoptop FMLOCAL /FMdicttop FMLOCAL /BEGINPRINTCODE { /FMdicttop countdictstack 1 add def /FMoptop count 4 sub def /FMsaveobject save def userdict begin /showpage {} def FMNORMALIZEGRAPHICS 3 index neg 3 index neg translate } bind def /ENDPRINTCODE { count -1 FMoptop {pop pop} for countdictstack -1 FMdicttop {pop end} for FMsaveobject restore } bind def /gn { 0 { 46 mul cf read pop 32 sub dup 46 lt {exit} if 46 sub add } loop add } bind def /str FMLOCAL /cfs { /str sl string def 0 1 sl 1 sub {str exch val put} for str def } bind def /ic [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0223 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0223 0 {0 hx} {1 hx} {2 hx} {3 hx} {4 hx} {5 hx} {6 hx} {7 hx} {8 hx} {9 hx} {10 hx} {11 hx} {12 hx} {13 hx} {14 hx} {15 hx} {16 hx} {17 hx} {18 hx} {19 hx} {gn hx} {0} {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} {11} {12} {13} {14} {15} {16} {17} {18} {19} {gn} {0 wh} {1 wh} {2 wh} {3 wh} {4 wh} {5 wh} {6 wh} {7 wh} {8 wh} {9 wh} {10 wh} {11 wh} {12 wh} {13 wh} {14 wh} {gn wh} {0 bl} {1 bl} {2 bl} {3 bl} {4 bl} {5 bl} {6 bl} {7 bl} {8 bl} {9 bl} {10 bl} {11 bl} {12 bl} {13 bl} {14 bl} {gn bl} {0 fl} {1 fl} {2 fl} {3 fl} {4 fl} {5 fl} {6 fl} {7 fl} {8 fl} {9 fl} {10 fl} {11 fl} {12 fl} {13 fl} {14 fl} {gn fl} ] def /sl FMLOCAL /val FMLOCAL /ws FMLOCAL /im FMLOCAL /bs FMLOCAL /cs FMLOCAL /len FMLOCAL /pos FMLOCAL /ms { /sl exch def /val 255 def /ws cfs /im cfs /val 0 def /bs cfs /cs cfs } bind def 400 ms /ip { is 0 cf cs readline pop { ic exch get exec add } forall pop } bind def /wh { /len exch def /pos exch def ws 0 len getinterval im pos len getinterval copy pop pos len } bind def /bl { /len exch def /pos exch def bs 0 len getinterval im pos len getinterval copy pop pos len } bind def /s1 1 string def /fl { /len exch def /pos exch def /val cf s1 readhexstring pop 0 get def pos 1 pos len add 1 sub {im exch val put} for pos len } bind def /hx { 3 copy getinterval cf exch readhexstring pop pop } bind def /h FMLOCAL /w FMLOCAL /d FMLOCAL /lb FMLOCAL /bitmapsave FMLOCAL /is FMLOCAL /cf FMLOCAL /wbytes { dup 8 eq {pop} {1 eq {7 add 8 idiv} {3 add 4 idiv} ifelse} ifelse } bind def /BEGINBITMAPBWc { 1 {} COMMONBITMAPc } bind def /BEGINBITMAPGRAYc { 8 {} COMMONBITMAPc } bind def /BEGINBITMAP2BITc { 2 {} COMMONBITMAPc } bind def /COMMONBITMAPc { /r exch def /d exch def gsave translate rotate scale /h exch def /w exch def /lb w d wbytes def sl lb lt {lb ms} if /bitmapsave save def r /is im 0 lb getinterval def ws 0 lb getinterval is copy pop /cf currentfile def w h d [w 0 0 h neg 0 h] {ip} image bitmapsave restore grestore } bind def /BEGINBITMAPBW { 1 {} COMMONBITMAP } bind def /BEGINBITMAPGRAY { 8 {} COMMONBITMAP } bind def /BEGINBITMAP2BIT { 2 {} COMMONBITMAP } bind def /COMMONBITMAP { /r exch def /d exch def gsave translate rotate scale /h exch def /w exch def /bitmapsave save def r /is w d wbytes string def /cf currentfile def w h d [w 0 0 h neg 0 h] {cf is readhexstring pop} image bitmapsave restore grestore } bind def /proc1 FMLOCAL /proc2 FMLOCAL /newproc FMLOCAL /Fmcc { /proc2 exch cvlit def /proc1 exch cvlit def /newproc proc1 length proc2 length add array def newproc 0 proc1 putinterval newproc proc1 length proc2 putinterval newproc cvx } bind def /ngrayt 256 array def /nredt 256 array def /nbluet 256 array def /ngreent 256 array def /gryt FMLOCAL /blut FMLOCAL /grnt FMLOCAL /redt FMLOCAL /indx FMLOCAL /cynu FMLOCAL /magu FMLOCAL /yelu FMLOCAL /k FMLOCAL /u FMLOCAL /colorsetup { currentcolortransfer /gryt exch def /blut exch def /grnt exch def /redt exch def 0 1 255 { /indx exch def /cynu 1 red indx get 255 div sub def /magu 1 green indx get 255 div sub def /yelu 1 blue indx get 255 div sub def /k cynu magu min yelu min def /u k currentundercolorremoval exec def nredt indx 1 0 cynu u sub max sub redt exec put ngreent indx 1 0 magu u sub max sub grnt exec put nbluet indx 1 0 yelu u sub max sub blut exec put ngrayt indx 1 k currentblackgeneration exec sub gryt exec put } for {255 mul cvi nredt exch get} {255 mul cvi ngreent exch get} {255 mul cvi nbluet exch get} {255 mul cvi ngrayt exch get} setcolortransfer {pop 0} setundercolorremoval {} setblackgeneration } bind def /tran FMLOCAL /fakecolorsetup { /tran 256 string def 0 1 255 {/indx exch def tran indx red indx get 77 mul green indx get 151 mul blue indx get 28 mul add add 256 idiv put} for currenttransfer {255 mul cvi tran exch get 255.0 div} exch Fmcc settransfer } bind def /BITMAPCOLOR { /d 8 def gsave translate rotate scale /h exch def /w exch def /bitmapsave save def colorsetup /is w d wbytes string def /cf currentfile def w h d [w 0 0 h neg 0 h] {cf is readhexstring pop} {is} {is} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPCOLORc { /d 8 def gsave translate rotate scale /h exch def /w exch def /lb w d wbytes def sl lb lt {lb ms} if /bitmapsave save def colorsetup /is im 0 lb getinterval def ws 0 lb getinterval is copy pop /cf currentfile def w h d [w 0 0 h neg 0 h] {ip} {is} {is} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUECOLORc { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def ws 0 w getinterval is copy pop /cf currentfile def w h 8 [w 0 0 h neg 0 h] {ip} {gip} {bip} true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUECOLOR { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def /gis w string def /bis w string def /cf currentfile def w h 8 [w 0 0 h neg 0 h] { cf is readhexstring pop } { cf gis readhexstring pop } { cf bis readhexstring pop } true 3 colorimage bitmapsave restore grestore } bind def /BITMAPTRUEGRAYc { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def ws 0 w getinterval is copy pop /cf currentfile def w h 8 [w 0 0 h neg 0 h] {ip gip bip w gray} image bitmapsave restore grestore } bind def /ww FMLOCAL /r FMLOCAL /g FMLOCAL /b FMLOCAL /i FMLOCAL /gray { /ww exch def /b exch def /g exch def /r exch def 0 1 ww 1 sub { /i exch def r i get .299 mul g i get .587 mul b i get .114 mul add add r i 3 -1 roll floor cvi put } for r } bind def /BITMAPTRUEGRAY { gsave translate rotate scale /h exch def /w exch def /bitmapsave save def /is w string def /gis w string def /bis w string def /cf currentfile def w h 8 [w 0 0 h neg 0 h] { cf is readhexstring pop cf gis readhexstring pop cf bis readhexstring pop w gray} image bitmapsave restore grestore } bind def /BITMAPGRAY { 8 {fakecolorsetup} COMMONBITMAP } bind def /BITMAPGRAYc { 8 {fakecolorsetup} COMMONBITMAPc } bind def /ENDBITMAP { } bind def end /ALDsave FMLOCAL /ALDmatrix matrix def ALDmatrix currentmatrix pop /StartALD { /ALDsave save def savematrix ALDmatrix setmatrix } bind def /InALD { restorematrix } bind def /DoneALD { ALDsave restore } bind def (3.0) FMVERSION 1 1 612 792 0 1 3 FMDOCUMENT 0 0 /Times-Bold FMFONTDEFINE 1 0 /Helvetica FMFONTDEFINE 2 0 /Times-Roman FMFONTDEFINE 32 FMFILLS 0 0 FMFILL 1 0.1 FMFILL 2 0.3 FMFILL 3 0.5 FMFILL 4 0.7 FMFILL 5 0.9 FMFILL 6 0.97 FMFILL 7 1 FMFILL 8 <0f1e3c78f0e1c387> FMFILL 9 <0f87c3e1f0783c1e> FMFILL 10 FMFILL 11 FMFILL 12 <8142241818244281> FMFILL 13 <03060c183060c081> FMFILL 14 <8040201008040201> FMFILL 16 1 FMFILL 17 0.9 FMFILL 18 0.7 FMFILL 19 0.5 FMFILL 20 0.3 FMFILL 21 0.1 FMFILL 22 0.03 FMFILL 23 0 FMFILL 24 FMFILL 25 FMFILL 26 <3333333333333333> FMFILL 27 <0000ffff0000ffff> FMFILL 28 <7ebddbe7e7dbbd7e> FMFILL 29 FMFILL 30 <7fbfdfeff7fbfdfe> FMFILL 612 792 1 FMBEGINPAGE 72 261 720 711 R 7 X 0 K V 0 24 Q 0 X (RMI System) 331.71 695 T 72 261 720 711 C 72 270 720 687 C 67.69 270 724.31 687 R 7 X 0 K V 218.94 282 465.43 444 18 RR 3 H 0 Z 0 X N 291.44 372 392.93 426 R 2 H N 90 450 21.75 27 269.69 327 A 90 450 21.75 27 342.19 327 A 90 450 21.75 27 414.68 327 A 90 450 7.25 9 305.94 426 A 90 450 7.25 9 342.18 426 A 90 450 7.25 9 378.43 426 A 211.69 516 334.93 678 18 RR 3 H N 349.43 516 472.69 678 18 RR N 2 H 90 450 21.75 27 247.94 570 A 247.94 552 240.69 534 255.19 534 3 Y N 90 450 21.75 27 298.69 570 A 298.69 552 291.44 534 305.94 534 3 Y N 90 450 21.75 27 414.68 570 A 414.68 552 407.43 534 421.93 534 3 Y N 301.39 452.42 305.93 435.01 292.85 447.37 297.12 449.9 4 Y V 247.94 534 297.12 449.89 2 L N 339.71 452.84 342.18 435.01 330.64 448.82 335.17 450.83 4 Y V 298.69 534 335.18 450.82 2 L N 389.05 449.53 378.42 435.01 379.74 452.96 384.4 451.25 4 Y V 414.68 534 384.41 451.24 2 L N 288.46 357.34 276.93 354.01 284.94 362.94 286.7 360.14 4 Y V 305.94 372 286.71 360.13 2 L 1 H N 345.49 365.54 342.18 354 338.88 365.54 342.18 365.54 4 Y V 342.18 372 342.18 365.54 2 L N 399.4 362.94 407.42 354.01 395.89 357.34 397.65 360.14 4 Y V 378.43 372 397.66 360.13 2 L N 251.24 608.54 247.94 597 244.63 608.54 247.94 608.54 4 Y V 247.94 642 247.94 608.54 2 L N 301.99 608.54 298.69 597 295.38 608.54 298.69 608.54 4 Y V 298.69 642 298.69 608.54 2 L N 417.99 608.54 414.68 597 411.38 608.54 414.68 608.54 4 Y V 414.68 642 414.68 608.54 2 L N 192.8 632.04 204.33 628.74 192.8 625.43 192.8 628.74 4 Y V 105.33 628.74 192.8 628.74 2 L N 192.8 578.04 204.33 574.74 192.8 571.43 192.8 574.74 4 Y V 105.33 574.74 192.8 574.74 2 L N 192.8 551.04 204.33 547.74 192.8 544.43 192.8 547.74 4 Y V 105.33 547.74 192.8 547.74 2 L N 192.8 497.04 204.33 493.73 192.8 490.43 192.8 493.73 4 Y V 105.33 493.73 192.8 493.73 2 L N 192.8 434.04 204.33 430.73 192.8 427.43 192.8 430.73 4 Y V 105.33 430.73 192.8 430.73 2 L N 192.8 398.04 204.33 394.73 192.8 391.43 192.8 394.73 4 Y V 105.33 394.73 192.8 394.73 2 L N 192.8 335.04 204.33 331.73 192.8 328.43 192.8 331.73 4 Y V 105.33 331.73 192.8 331.73 2 L N 1 14 Q (Client invocations) 94.69 640.8 T (Send rights) 97.56 550.8 T (Mach IPC) 97.9 501.54 T (Receive rights) 96.33 438.54 T (RPC runtime) 96.33 397.8 T (Server objects) 96.33 334.8 T (Proxy objects) 96.33 577.8 T 72 261 720 711 C 0 180 792 792 C 477 279 720 684 R 7 X 0 K V 0 24 Q 0 X (-) 513 672 T 2 18 Q (transparent C++ method) 532.98 672 T (invocations) 534.6 651 T 0 24 Q (-) 513 621 T 2 18 Q (automatic object) 532.98 621 T (dispatching) 534.6 600 T 0 24 Q (-) 513 570 T 2 18 Q (object references passed) 532.98 570 T (as ar) 534.6 549 T (guments) 567.74 549 T 0 24 Q (-) 513 519 T 2 18 Q (proxies can be arbitrarily) 532.98 519 T (complex) 534.6 498 T 0 24 Q (-) 513 468 T 2 18 Q (garbage-collection) 532.98 468 T (through no-more-) 534.6 447 T (senders noti\336cations) 534.6 426 T FMENDPAGE %%EndDocument @endspecial 597 1131 a fk(Figure)10 b(2:)k(Remote)d(Method)e(Invocation)g (System)42 1265 y(The)h(set)g(of)g(methods)f(exported)h(by)f(a)i(proxy)d(need) j(not)e(be)0 1310 y(the)h(same)h(as)g(the)f(set)g(of)f(method)h(invocations)f (or)g(messages)0 1355 y(exchanged)h(between)f(a)h(proxy)e(and)i(its)e(corresp\ onding)g(OS-)0 1401 y(item)j(manager\(server\).)20 b(Only)11 b(the)g(exported) f(set)i(of)f(meth-)0 1446 y(ods)e(is)f(visible)g(to)h(clients)f(of)h(the)f (system)i(and)f(constitute)e(the)0 1491 y(actual)k(OS-item')m(s)f(interface.) 0 1605 y fl(Server)g(V)n(iew)f(\320)f fi(agents)f fl(and)i fi(agencies)p fl (:)15 b fk(An)8 b fi(agent)g fk(object)0 1650 y(is)13 b(used)g(as)h(a)f(\256l\ ter)g(between)g(the)g(remote)h(invocation)d(sys-)0 1695 y(tem)g(and)f(the)g (actual)h(server)g(object)f(implementing)f(a)i(given)0 1740 y(OS-item.)34 b (Such)17 b(a)g(server)g(object)f(is)g(called)h(an)g fi(agency)p fk(.)0 1786 y (Remote)9 b(invocations)e(on)h(each)i(OS-item)e(are)h(dispatched)g(to)0 1831 y (the)g(user)r(')m(s)h(agent)f(object)g(of)g(the)g(item)g(instead)g(of)g(being) g(dis-)0 1876 y(patched)i(directly)g(to)f(the)h(agency)n(.)18 b(The)12 b(agen\ t)f(veri\256es)h(that)0 1922 y(a)f(given)f(invocation)f(is)i(allowed)f(under) g(the)h(current)f(access)0 1967 y(mediation)i(policies)f(and)i(forwards)f(the) g(invocation)f(to)h(the)0 2012 y(agency)g(for)f(that)g(OS-item.)18 b(An)11 b (agent)h(can)g(be)g(queried)f(for)0 2058 y(further)e(access)k(information)8 b (as)j(needed.)42 2144 y(The)19 b(structure)e(of)i(the)f(remote)h(invocation)d (system)j(is)0 2190 y(shown)10 b(in)f(\256gure)i(2.)0 2321 y fj(5.)50 b(Emula\ tion)12 b(Model)0 2410 y fk(As)f(mentioned)e(earlier)o(,)i(one)f(of)g(the)g (base)i(goals)e(of)g(the)g(sys-)0 2455 y(tem)i(was)g(to)e(be)i(able)f(to)g (run)g(application)e(binaries)i(without)0 2500 y(re-compiling)16 b(or)h(re-li\ nking.)34 b(This)17 b(is)g(done)g(by)g(having)0 2546 y(syscall)c(traps)f(re-d\ irected)g(by)h(the)f(Mach3.0)h(kernel)f(to)g(the)0 2591 y(task')m(s)h(emulati\ on)f(library)l(.)23 b(The)13 b(emulation)f(library)f(is)i(not)0 2636 y(a)f (library)e(in)g(the)h(standard)g(sense.)19 b(It)11 b(is)g(an)h(executable)f (im-)0 2681 y(age)i(that)f(is)h(loaded)f(into)g(the)g(address)h(space)h(of)f (the)f(initial)1050 1265 y(process)i(at)f(runtime)f(and)h(inherited)f(by)h (its)f(children.)23 b(Y)l(et,)1050 1310 y(it)9 b(is)h(not)f(called)i(directly) e(by)h(user)g(processes)h(but)e(instead)h(is)1050 1355 y(invoked)h(by)g(the)h (syscall)g(redirection.)19 b(While)11 b(it)g(would)g(be)1050 1401 y(possible) g(for)g(an)i(application)d(to)h(make)i(direct)f(invocations)1050 1446 y(into) h(an)i(emulation)e(library)l(,)j(this)e(has)g(not)g(been)h(done)f(be-)1050 1491 y(cause)e(there)e(has)h(been)g(no)f(real)h(demand)g(for)f(this)g(functio\ n-)1050 1536 y(ality)i(to)h(date.)24 b(However)n(,)15 b(there)e(are)h(special) f(applications)1050 1582 y(that)d(are)h(linked)f(with)g(the)g(system)h(interf\ ace)g(libraries)f(used)1050 1627 y(by)d(the)g(emulation)f(library)l(.)14 b (These)9 b(applications)d(make)i(calls)1050 1672 y(directly)h(upon)h(the)g (proxy)f(interface.)1092 1759 y(UNIX)k(API)g(syscalls)g(are)h(implemented)f (in)g(the)g(emula-)1050 1804 y(tion)8 b(library)f(itself.)14 b(Each)c(syscall) f(may)h(make)g(zero,)g(one,)f(or)1050 1850 y(several)16 b(method)e(invocation\ s)g(against)h(OS-item)f(proxies,)1050 1895 y(and)g(each)i(proxy)d(may)i(or)f (may)g(not)g(need)g(to)g(make)h(a)g(call)1050 1940 y(to)g(a)h(system)g(server) g(to)f(do)g(the)h(requested)g(action.)30 b(Note)1050 1986 y(that)16 b(the)g (syscall)h(implementations)e(have)i(the)g(advantage)1050 2031 y(that)12 b(the\ y)g(actually)f(reside)i(in)f(the)g(address)h(space)g(with)e(the)1050 2076 y (caller)o(,)f(and)h(can)g(access)h(argument)d(memory)i(directly)l(.)1092 2163 y(The)16 b(basic)g(responsibilities)d(of)j(the)f(emulation)g(library)1050 2208 y(are:)1071 2275 y fl(Syscall)p fk(:)d(Implements)6 b(all)g(UNIX)g(API)g(sysc\ alls)h(using)e(OS-)1133 2321 y(item)15 b(proxies)e(associated)j(with)d(the)i (various)f(system)1133 2366 y(servers.)1071 2433 y fl(User)k(State)f(Manageme\ nt)p fk(:)28 b(Maintains)16 b(umasks,)k(sig-)1133 2478 y(masks,)12 b(seekkeys\ ,)f(and)g(other)f(user)o(-speci\256c)h(parame-)1133 2524 y(ters.)1071 2591 y fl(API)j(V)l(alue)f(T)m(ranslations)p fk(:)20 b(T)o(ranslates)14 b(values)g (such)f(as)1133 2636 y fi(errno)g fk(and)f fi(uid)f fk(from)h(Mach-US)h(gener\ al)f(forms)g(into)1133 2681 y(UNIX-speci\256c)f(forms.)p eop %%Page: 6 6 bop 21 23 a fl(API)11 b(Semantics)f(Objects)p fk(:)15 b(Maintains)9 b(the)h (API-speci\256c)83 68 y(object)15 b(such)h(as)g(UNIX)f(IO)h(objects,)g(\256le) g(descriptor)83 113 y(table,)10 b(etc.)21 208 y fl(Name)27 b(Resolution)p fk (:)48 b(Follows)27 b(path)g(names)h(across)83 253 y(servers)10 b(using)e(pre\ \256x)i(caching.)15 b(This)9 b(caching)h(causes)83 299 y(most)e(name)i(lookup\ s)d(to)h(only)g(communicate)h(with)e(the)83 344 y(server)k(that)f(supports)f (the)h(OS-item)g(for)g(which)g(one)g(is)83 389 y(searching.)21 484 y fl(Forki\ ng)p fk(:)26 b(Creates)16 b(the)g(new)g(child)f(process)i(and)f(reini-)83 529 y(tializes)11 b(its)g(state.)19 b(The)12 b(process)g(manager)g(is)f(advised) 83 575 y(of)g(the)g(intent)f(to)g(fork,)h(and)g(of)g(the)g(occurrence)h(of)f (the)83 620 y(fork,)f(but)f(is)h(basically)g(an)h(observer)n(.)83 690 y(The)k (gist)f(of)g(forking)f(is)i(that)f(the)h(emulation)e(library)83 735 y(creates) e(a)g(new)g(task)f(that)f(shares)i(the)f(state)g(of)g(the)g(cur-)83 780 y(ren\ t)16 b(process)g(and)g(then)f(sends)h(it)f(on)h(its)f(way)m(.)32 b(The)83 826 y(problems)9 b(come)h(with)d(the)i(cloning)f(of)h(that)f(state.)15 b(In)9 b (a)83 871 y(multi-threaded)d(system,)i(various)e(parts)h(of)g(the)g(emula-)83 916 y(tion)i(library)h(may)h(not)f(be)h(appropriate)f(to)g(just)g(be)h(just) 83 962 y(copied)k(at)g(any)g(time.)29 b(These)16 b(problems)f(are)h(solved)83 1007 y(through)11 b(the)i("cloning")f(methods)h(supplied)f(by)h(each)83 1052 y (object)d(in)g(the)g(emulation)f(library)l(.)0 1193 y fj(6.)50 b(Server)13 b (Implementation)0 1285 y fk(Any)8 b(given)f(server)i(supplies)e(a)i(set)f(of) g(OS-items)g(that)g(export)0 1330 y(some)j(generic)f(OS)h(interfaces)f(to)g (provide)f(their)h(individual)0 1376 y(functionality)-6 b(.)27 b(Specialized) 15 b(interfaces)f(may)h(also)f(be)g(ex-)0 1421 y(ported)c(by)h(an)h(OS-item)f (that)f(has)i(some)g(unique)e(semantics)0 1466 y(\(e.g.,)k(process)f(manager\ \).)22 b(Every)12 b(server)h(supports)e(a)i(por-)0 1511 y(tion)j(of)i(the)f (name)i(space.)39 b(Its)17 b(OS-items)h(are)g(found)f(in)0 1557 y(a)e(tree)g (of)f(directories)f(supplied)g(by)h(the)g(server)h(under)f(the)0 1602 y(\252/\ servers\272)j(directory)l(.)33 b(A)16 b(server)h(is)e(responsible)h(for)f(the) 0 1647 y(proxy)e(and)h(agency)g(implementations)f(for)g(each)i(OS-item)0 1693 y(and)e(generally)g(uses)g(the)g(common)g(agent)g(class)h(to)e(handle)0 1738 y (OS-item)e(protection.)42 1825 y(There)i(is)f(an)h(extensive)g(set)f(of)g(imp\ lementation)g(classes)0 1870 y(used)j(to)e(support)h(the)g(various)g(generic) g(interfaces.)25 b(Some)0 1915 y(simple)7 b(servers)h(\(e.g.,)h(pipenet)e(and) g(pathname)h(servers\))g(just)0 1961 y(glue)13 b(these)h(common)g(implementat\ ions)e(together)h(to)g(sup-)0 2006 y(port)i(their)f(OS-items,)k(whereas)e(oth\ er)f(servers)i(\(e.g.)31 b(ufs)0 2051 y(and)18 b(net)g(servers\))g(supply)f (their)g(own)g(base)i(item)f(imple-)0 2096 y(mentations)8 b(and)h(use)g(the)g (general)g(implementation)f(classes)0 2142 y(to)20 b(handle)g(the)g(required) g(client-server)g(communication)0 2187 y(paradigms.)45 b(Call-through)18 b (proxies)h(are)i(automatically)0 2232 y(generated)15 b(for)e(each)j(OS-item)e (and)g(some)h(servers)g(inherit)0 2278 y(these)c(into)e(their)g(more)i(specia\ lized)g(proxies,)f(if)f(any)n(.)42 2364 y(The)g(OS)f(servers)h(are)g(written) e(to)h(a)h(UNIX-style)e(environ-)0 2410 y(ment.)18 b(While)11 b(they)g(can)h (never)g(make)g(syscalls,)g(they)f(use)h(a)0 2455 y(specialized)d(library)d (that)i(provides)f(functionality)e(like)j(mal-)0 2500 y(loc,)13 b(strcpy)m (,)h(and)f(printf.)20 b(The)14 b(rest)f(of)f(their)g(work)g(is)g(done)0 2546 y (by)i(self-contained)g(computation)f(and)i(direct)f(calls)g(to)g(the)0 2591 y (Mach3.0)i(kernel.)31 b(Each)17 b(server)f(is)f(multi-threaded)f(with)0 2636 y (individual)e(threads)j(to)f(service)h(individual)d(user)j(requests)0 2681 y (and)10 b(to)g(control)f(possible)g(device)i(activity)l(.)1050 23 y fl(6.1.) 42 b(Server)12 b(Descriptions)1050 110 y fk(Below)h(are)h(descriptions)f(of)g (the)g(speci\256c)i(system)e(servers)1050 155 y(supplied)h(at)i(this)e(time.) 31 b(There)16 b(is)f(no)g(reason)h(why)f(other)1050 200 y(OS-items)e(cannot)g (be)h(supplied)d(by)i(other)g(system)g(servers)1050 246 y(in)f(the)h(future,) g(and)g(all)g(of)f(the)h(servers)h(supplied)e(need)h(not)1050 291 y(be)e(used\ .)1092 357 y ff(\017)20 b fk(The)d fl(PathName)g fk(server)g(manages)g(the)g (root)e(of)h(the)1133 402 y(name)27 b(space)g(hierarchy)f(under)f(which)g(all) h(other)1133 448 y(servers)11 b(and)f(naming)f(subtrees)i(are)f(mounted.)15 b (It)10 b(sup-)1133 493 y(plies)16 b(directory)l(,)i(link,)f(and)f(mount-point) d(OS-items)1133 538 y(via)d(the)f(naming)g(interface.)16 b(In)9 b(particular) n(,)h(it)f(supplies)1133 583 y(the)h(\252/servers\272)h(directory)m(.)1092 649 y ff(\017)20 b fk(The)12 b fl(UFS)f fk(server)h(implements)f(a)g(UNIX)g(\256l\ e)g(system.)1133 695 y(It)19 b(exports)f(the)h(naming)f(interface)i(for)e(dir\ ectories,)1133 740 y(mount)e(points,)h(links,)g(etc.,)i(and)e(also)f(supports) f(the)1133 785 y(I/O)g(interface)h(for)g(\256le)f(objects.)32 b(Each)17 b(UFS) f(server)1133 830 y(currently)9 b(supports)g(one)h(UNIX)g(disk)g(partition.)j (Sev-)1133 876 y(eral)e(independent)f(UFS)h(servers)h(may)g(be)f(run)f(to)h (sup-)1133 921 y(port)16 b(multiple)f(partitions.)34 b(The)17 b(emulation)f (library)1133 966 y(pre\256x)e(table)f(is)g(used)h(to)f(create)i(the)e(standa\ rd)g(UNIX)1133 1012 y(\252/\272)d(directory)f(tree.)16 b(Internally)-5 b(,)11 b(the)f(UFS)g(server)g(con-)1133 1057 y(tains)f(a)h(C++)g(vnode)f(style)h(int\ erface)f([Kleiman86].)15 b(It)1133 1102 y(uses)7 b(the)g(Mach3.0)g(external)f (pager)h([Y)l(oung89)o(])f(mech-)1133 1147 y(anism)h(to)g(map)h(\256les)f(int\ o)f(a)i(complex)f(proxy)f(to)g(support)1133 1193 y(the)k(read/write)g(semanti\ cs)h(for)f(each)h(\256le.)1092 1259 y ff(\017)20 b fk(The)d fl(PipeNet)g fk (server)f(supplies)g(all)f(local)h(IPC)g(end-)1133 1304 y(points)d(and)i(comm\ unication.)28 b(It)14 b(is)h(used)g(to)f(imple-)1133 1349 y(ment)6 b(pipes)g (and)h(UNIX-domain)e(sockets.)15 b(It)5 b(supports)1133 1394 y(the)11 b(namin\ g,)h(block)f(I/O,)h(byte)f(I/O,)g(and)h(network)f(in-)1133 1440 y(terfaces.) 1092 1506 y ff(\017)20 b fk(The)c fl(Net)h fk(server)f(supplies)f(network)g (endpoints)f(and)1133 1551 y(communication.)28 b(It)15 b(uses)g(a)g(protocol) f(engine)g(from)1133 1596 y(the)f(xKernel)g(project)g(at)g(the)g(University)e (of)i(Arizona)1133 1641 y([Hutchinson&Peterson91)n(])e(and)g(supports)f(the)h (same)1133 1687 y(set)g(of)e(interfaces)i(as)g(the)f(PipeNet)g(server)o(.) 1092 1753 y ff(\017)20 b fk(The)h fl(TTY)f fk(server)h(supplies)f(TTY)h(and)f (PTY)h(OS-)1133 1798 y(items.)h(It)13 b(supports)e(the)i(naming)f(and)h(I/O)f (interfaces)1133 1843 y(as)17 b(well)g(as)g(a)g(special)g(interface)g(for)f (bsd)r 13 2 v 13 w(tty)q 13 2 v 13 w(ioctls.)1133 1889 y(Its)f(base)i(impleme\ ntation)d(is)h(lar)o(gely)g(derived)g(from)1133 1934 y(4.3BSD)10 b(UNIX.)1092 2000 y ff(\017)20 b fk(The)e fl(Process)h(Manager)f fk(manages)g(task)g(and)f (task-)1133 2045 y(group)f(OS-items.)36 b(It)16 b(supports)g(the)h(naming)g (inter-)1133 2090 y(face)12 b(and)e(a)h(special)g(task)g(interface.)16 b(It) 10 b(is)g(responsible)1133 2136 y(for)16 b(assigning)f(ids,)j(monitoring)c (task)j(lifetime,)g(and)1133 2181 y(forwarding)d(user)h(interrupts.)29 b(It) 14 b(does)i(not)e(create)j(a)1133 2226 y(client')m(s)11 b(actual)f(tasks;)h (that)e(responsibility)f(is)i(held)g(by)1133 2271 y(the)g(emulation)g(library) l(.)1050 2368 y(The)i(following)d(servers)j(do)e(not)h(\256t)g(the)g(standard) g(interface)1050 2414 y(model)h(and)g(supply)f(system)h(support)f(functionali\ ty)-6 b(.)21 b(They)1050 2459 y(supply)9 b(no)h(OS-items)g(to)g(the)g(system) h(namespace.)1092 2525 y ff(\017)20 b fk(The)j fl(Con\256guration)e fk(server) i(is)f(used)h(for)f(system)1133 2570 y(startup)9 b(and)i(general)f(environmen\ t)f(support.)1092 2636 y ff(\017)20 b fk(The)7 b fl(Authentication)f fk(serve\ r)h(supplies)f(user)g(authenti-)1133 2681 y(cation)i(for)g(OS-item)g(access)i (based)f(on)f(unfor)n(geability)p eop %%Page: 7 7 bop 362 25 a 1226 2 v 361 70 a 2 46 v 848 56 a fk(T)o(iming)9 b(Results)1587 70 y 2 46 v 362 72 a 1226 2 v 361 117 a 2 46 v 387 103 a(T)n(est)771 117 y 2 46 v 873 103 a(Mach-UX)1065 117 y 2 46 v 1174 103 a(Mach-US)1359 117 y 2 46 v 1385 103 a(Slowdown)1587 117 y 2 46 v 362 118 a 1226 2 v 361 164 a 2 46 v 387 150 a(Compile)771 164 y 2 46 v 936 150 a(7.3sec)1065 164 y 2 46 v 1231 150 a (8.9sec)1359 164 y 2 46 v 1496 150 a(22)p fe(%)1587 164 y 2 46 v 362 165 a 1226 2 v 361 211 a 2 46 v 387 197 a fk(Null)g(FTP)i(Get/Put)771 211 y 2 46 v 797 197 a(260Kbytes/sec)1065 211 y 2 46 v 1091 197 a(240Kbytes/sec)1359 211 y 2 46 v 1486 197 a(7.7)p fe(%)1587 211 y 2 46 v 362 212 a 1226 2 v 361 258 a 2 46 v 387 244 a fk(Parallel)f(Compile)g(\(1\))771 258 y 2 46 v 1000 244 a(39) 1065 258 y 2 46 v 1241 244 a(49sec)1359 258 y 2 46 v 1496 244 a(26)p fe(%) 1587 258 y 2 46 v 361 303 a 2 46 v 387 289 a fk(Parallel)g(Compile)g(\(10\)) 771 303 y 2 46 v 926 289 a(146sec)1065 303 y 2 46 v 1220 289 a(139sec)1359 303 y 2 46 v 1472 289 a(-4.8)p fe(%)1587 303 y 2 46 v 362 305 a 1226 2 v 603 379 a fk(Figure)g(3:)k(T)o(ime)c(tests,)h(Mach-UX)g(vs)f(Mach-US)83 554 y(of)j(port\ s)g(in)f(Mach3.0.)25 b(This)13 b(work)g(is)g(derived)g(from)83 599 y([Sansom8\ 8].)42 671 y ff(\017)20 b fk(The)7 b fl(Diagnostic)e fk(server)i(acts)g(as)g (a)g(system)g(output)t(con-)83 716 y(sole.)15 b(Server)9 b(and)g(emulation)f (library)g(printf,)f(log,)i(and)83 761 y(error)j(messages)i(are)g(sent)e(to)g (this)f(server)i(for)f(display)83 806 y(on)e(the)g(console.)0 936 y fj(7.)50 b (Status)11 b(and)h(Performance)0 1024 y fk(The)h(Mach-US)g(system)f(is)g(oper\ ational)f(and)h(available)h(for)0 1069 y(distribution)7 b(to)k(all)f(licensed) h(parties.)17 b(Near)12 b(complete)f(dis-)0 1114 y(tributions)5 b(are)k(avail\ able)f(via)g(anonymous)g(FTP)l(.)g(Mach-US,)0 1159 y(although)g(not)h(a)h(com\ plete)h(UNIX)e(emulation,)h(is)f(suf)o(\256cient)0 1205 y(to)h(support)g(many) h(of)g(the)g(day-to-day)e(tasks)j(performed)e(by)0 1250 y(typical)f(UNIX)h (users.)16 b(Most)10 b(of)g(the)g(common)g(UNIX)g(utili-)0 1295 y(ties)g(we)h (know)f(and)h(love)f(\(csh,)h(pwd,)g(cc,)h(gnu-emacs,)g(\256nd,)0 1341 y(ftp\ \(d\),)f(telnet\(d\),)f(inetd,)h(...\))19 b(are)13 b(commonly)e(used.)18 b (There)0 1386 y(is)11 b(full)f(TTY)j(and)e(job)g(control,)g(pipes)g(and)g(sig\ nals,)h(\256le)f(ac-)0 1431 y(cess)j(and)f(access)j(control.)22 b(One)13 b (can)h(log)e(into)g(this)g(UNIX)0 1476 y(system)i(and)g(do)f(useful)h(work)f (today)l(.)26 b(The)14 b(entire)g(system)0 1522 y(has)h(been)g(compiled)g(on) f(itself,)h(using)f(sources)h(stored)f(on)0 1567 y(a)19 b(Mach-US)f(\256le)g (server)n(.)39 b(Y)l(et,)20 b(\256rst)e(runs)g(of)g(lar)o(ge)g(ap-)0 1612 y (plications)10 b(on)i(Mach-US)g(sometimes)h(uncover)e(problems,)0 1658 y(gene\ rally)f(with)f(API)h(conformance.)42 1744 y(The)17 b(following)d(measurements) k(of)e(Mach-US)h(and)g(its)0 1790 y(UNIX)7 b(API)f(are)i(supplied)d(to)i(demo\ nstrate)f(that)g(this)g(system,)0 1835 y(with)14 b(its)h(unique)f(and)h(\257e\ xible)g(architecture,)i(has)e(accept-)0 1880 y(able)d(end-to-end)e(performanc\ e)i(relative)f(to)g(other)g(UNIXs.)0 1926 y(They)18 b(do)g(not)f(of)o(fer)h (a)h(detailed)e(timing)g(analysis)h(of)f(the)0 1971 y(Mach-US)11 b(system.)42 2058 y(The)d(timings)e(given)h(compare)i(the)e(Mach-US)h(UNIX)f(em-)0 2103 y (ulation)g(with)g(the)h(same)h(benchmarks)g(for)f(the)g(Mach3.0)h(sin-)0 2148 y(gle)h(server)h(\(Mach-UX\))f(system)h([Golub)624 2133 y fg(+)641 2148 y fk (90)o(].)42 2229 y ff(\017)20 b fk(The)11 b fl(compile-test)f fk(is)h(a)g(Mac\ h)g(classic)g(that)f(compiles)83 2274 y(nine)16 b(small)g(programs.)33 b(One) 17 b(run)e(of)h(this)g(test)f(cre-)83 2319 y(ates)i(48)f(emulated)h(processes) h(which)e(make)h(a)g(total)83 2364 y(of)f(9290)g(system)i(calls.)34 b(Because) 19 b(of)d(caching)h(and)83 2410 y(client-side)f(processing)g(in)g(intelligent) e(proxies)i(and)83 2455 y(the)c(emulation)e(library)l(,)j(there)f(are)g(only) f(2430)g(outgo-)83 2500 y(ing)j(remote)i(method)f(invocations.)28 b(T)n(able) 15 b(3)g(shows)83 2546 y(a)k(comparison)g(of)f(compile)h(tests)f(run)h(on)f (an)h(Intel)83 2591 y(Xpress)d(i486/50Mhz)d(with)i(a)g(50Mhz)h(memory)f(bus) 83 2636 y(and)10 b(24Meg)g(of)g(memory)n(.)15 b(The)c(Mach3.0)g(kernel)f(ver-) 83 2681 y(sion)k(used)g(was)i(MK83.)27 b(The)15 b(Mach-UX)g(times)f(are)1133 554 y(for)c(version)g(UX41)g(and)g(the)g(Mach-US)h(times)f(are)i(for)1133 599 y(version)f(US50.)21 b(Our)12 b(current)f(belief)h(is)g(that)g(the)g(22)p fe (%)1133 644 y fk(slowdown)h(is)h(caused)h(mostly)f(by)g(new)m(,)i(under)e(opt\ i-)1133 690 y(mized)e(Mach-US)h(coding)e(details)g(rather)h(than)f(by)h(its) 1133 735 y(architectural)c(structure.)14 b(See)9 b(section)15 b(8.1)9 b(for)e (further)1133 780 y(explanation.)1092 853 y ff(\017)20 b fk(The)f fl(parallel\ -compile-test)d fk(is)i(a)h(related)f(test)g(that)1133 899 y(runs)11 b(severa\ l)g(compile-tests)g(at)g(the)f(same)j(time.)k(T)m(wo)1133 944 y(tests)10 b (shown)g(in)g(table)h(3)f(were)h(made)h(using)d(one)i(com-)1133 989 y(pile)g (test)f(at)i(a)f(time)h(and)f(ten)g(compile)g(tests)g(at)g(a)h(time.)1133 1035 y(These)f(tests)g(were)g(run)e(on)h(Sequent)g(Symmetry)g(hard-)1133 1080 y (ware)k(using)e(18)g(of)h(20)f(i386/16Mhz)f(processors)i(and)1133 1125 y(32Me\ g)h(of)h(memory)n(.)28 b(This)15 b(hardware)g(was)h(used)f(to)1133 1170 y(dem\ onstrate)k(relative)f(strengths)f(of)h(the)h(Mach-US)1133 1216 y(distributed) 6 b(computation)i(on)g(a)i(multi-processor)d(sys-)1133 1261 y(tem.)28 b(Becau\ se)15 b(of)f(recent)h(hardware)g(problems,)g(the)1133 1306 y(timings)f(report\ ed)i(are)g(for)f(slightly)f(older)h(revisions)1133 1352 y(of)d(the)g(system.) 22 b(The)13 b(Mach3.0)g(Kernel)f(version)f(was)1133 1397 y(MK78,)g(the)h(Mach\ -UX)f(version)g(was)h(UX38)f(and)g(the)1133 1442 y(Mach-US)g(version)e(was)i (US48.)1133 1501 y(It)f(is)g(signi\256cant)g(to)f(note)h(that)g(there)h(is)f (a)h(31)p fe(%)f fk(relative)1133 1547 y(speedup)18 b(for)g(Mach-US)g(over)g (Mach-UX)h(between)1133 1592 y(the)c(single)g(test)g(and)g(the)g(ten)g(parall\ el)g(tests.)31 b(While)1133 1637 y(some)16 b(of)f(this)g(dif)n(ference)i(may) f(be)f(caused)i(by)e(arbi-)1133 1683 y(trary)9 b(constraints)f(within)f(Mach-\ UX,)j(the)f(bulk)f(of)g(the)1133 1728 y(dif)n(ference)13 b(can)e(be)h(attribu\ ted)d(to)h(a)i(better)e(separation)1133 1773 y(of)j(services)g(in)g(Mach-US)g (than)g(in)f(Mach-UX)i(and)f(a)1133 1818 y(greater)h(client)f(autonomy)g(than\ ks)h(to)f(the)h(intelligent)1133 1864 y(emulation)9 b(library)g(and)i(proxy)e (implementations.)1092 1937 y ff(\017)20 b fl(FTP)e fk(is)g(a)g(very)f(high)g (level)g(test)h(of)f(the)h(Mach-US)1133 1982 y(network)e(service.)34 b(The)17 b(FTP)g(client)f(is)g(run)g(on)g(the)1133 2027 y(same)c(system)f(as)h(the)e (compile)h(test.)16 b(The)11 b(FTP)h(server)1133 2073 y(\(FTPD\))j(is)f(run)g (on)g(a)h(i486/25Mhz)d(with)h(16Meg)h(of)1133 2118 y(memory)k(using)f(the)h (same)h(kernel)f(and)g(UX)g(as)g(the)1133 2163 y(client)13 b(system)h(being)f (timed.)25 b(The)15 b(FTP)f(server)g(sys-)1133 2209 y(tem)f(does)g(not)f(chan\ ge)h(during)e(the)h(tests.)23 b("Get")12 b(and)1133 2254 y("put")j(operations) g(were)i(done)e(for)h(a)g(750Kbyte)f(\256le)1133 2299 y(to)f(/dev/null.)27 b (/dev/null)13 b(is)i(used)g(to)f(eliminate)h(disk)1133 2344 y(writes)7 b(from) h(the)g(tests.)14 b(The)9 b(\256rst)e(test)h(was)g(thrown)f(out)1133 2390 y (to)k(ensure)g(that)g(the)g(input)f(\256le)h(was)h(in)f(the)g(disk)g(cache) 1133 2435 y(of)i(each)h(OS.)g(Even)f(though)f(Mach-US)h(uses)h(an)f(xK-)1133 2480 y(ernel)f(protocol)e(engine,)i(the)g(xKernel)f(uses)h(the)g(same)1133 2526 y(BSD)f(code)h(base)g(used)g(by)f(Mach-UX.)h(The)g(through-)1133 2571 y (put)d(dif)o(ferences)i(demonstrated)g(are)g(fairly)e(small.)1050 2681 y(The) 14 b(compile-test)f(and)g(other)g(straight-line)e(timings)i(have)p eop %%Page: 8 8 bop 0 23 a fk(shown)18 b(that)f(Mach-US)i(generally)f(runs)f(10-25)p fe(%)g fk(slower)0 68 y(than)31 b(Mach-UX)g(for)g(high)f(level)h(benchmarks,)38 b (but)0 113 y(shows)11 b(signi\256cant)e(potential)h(for)g(improvement)g(on)h (multi-)0 159 y(processor)f(platforms.)42 246 y(The)20 b(UNIX)g(API)g(portion) e(of)i(the)f(system)i(is)e(largely)0 291 y(un-tuned.)47 b(This)21 b(is)g(beca\ use)h(the)f(chronically)f(limited)0 336 y(Mach-US)f(resources)h(have)f(been)h (concentrated)f(on)f(im-)0 381 y(proving)10 b(its)h(functionality)d(and)k(rob\ ustness.)18 b(Despite)12 b(this,)0 427 y(some)k(macro-benchmarks)g(show)f(sim\ ilar)f(or)h(better)g(than)0 472 y(those)i(obtained)g(with)g(Mach-UX.)h(There) h(are)f(a)g(number)0 517 y(of)e(other)f(known)h(areas)h(where)g(signi\256cant) e(performance)0 563 y(gains)h(can)h(be)f(achieved)h(through)e(straightforward) f(engi-)0 608 y(neering)f(ef)o(forts)g(of)g(bottleneck)f(analysis)h(and)h(RMI) e(infor-)0 653 y(mation)e(piggy-backing.)16 b(Additional)8 b(sophisticated)i (prox-)0 698 y(ies)16 b(could)f(be)g(implemented)h(to)f(further)f(increase)j (system)0 744 y(speed.)42 831 y(The)10 b(performance)g(gap)g(is)g(real,)g(yet) g(Mach-US)g(achieves)0 876 y(the)d(level)g(of)h(performance)g(it)e(does)i(in) f(a)h(more)g(complex,)g(and)0 921 y(much)h(richer)n(,)h(environment)e(than)g (other)h(systems)g(available)0 966 y(today)m(,)i(and)g(many)g(of)f(the)h(spee\ d)g(dif)n(ferences)i(can)e(be)g(mini-)0 1012 y(mized)i(or)e(eliminated)h(usin\ g)f(known)g(techniques.)21 b(Hence,)0 1057 y(the)f(test)f(results)g(suggest)h (that)f(performance)i(similar)e(to)0 1102 y(the)f(commonly)g(used)h(Mach-UX)g (single)f(server)h(can)g(be)0 1148 y(achieved)13 b(by)e(this)g(multi-server)g (system.)21 b(W)m(e)13 b(submit)e(that)0 1193 y(the)h(architecture)g(of)g(Mac\ h-US)h(is)f(not)g(a)g(serious)25 b(impedi-)0 1238 y(ment)10 b(to)g(system)h (usage)g(for)e(speed)i(reasons.)0 1373 y fj(8.)50 b(Analysis)13 b(of)e(OS)h (design)g(featur)o(es)0 1463 y fl(8.1.)42 b(Multiple)9 b(System)i(Servers)h (On)e(A)h(Micro-Kernel)0 1553 y fk(The)19 b(general)f(idea)h(of)e(using)h(mul\ tiple)e(separate)j(servers)0 1598 y(worked)12 b(very)g(well.)22 b(The)13 b (separate)g(servers)g(make)h(debug-)0 1644 y(ging)c(new)h(functionality)d(far) j(simpler)g(than)f(dealing)h(with)f(a)0 1689 y(more)j(monolithic)e(running)g (system.)24 b(There)14 b(is)e(little)g(need)0 1734 y(for)7 b(concern)h(about) e(corrupting)f(or)i(deadlocking)g(the)g(system)0 1779 y(under)13 b(test.)25 b (One)14 b(can)g(simply)f(use)h(a)g(standard)f(user)o(-level)0 1825 y(debugger) n(,)i(such)f(as)g(GDB,)g(on)f(the)g(part)h(of)f(the)h(system)g(in)0 1870 y (play)m(,)c(leaving)f(the)g(rest)h(of)f(the)h(system)g(running)d(peacefully)n (.)42 1957 y(One)17 b(important)g(research)i(result)e(is)g(that)g fl(there)h (is)g(al-)0 2002 y(most)9 b(no)g(need)i(for)e(inter)o(-server)i(communication) p fk(.)28 b(The)0 2047 y(one)12 b(and)h(only)e(inter)n(-server)i(call)g(in)e (the)h(system)h(is)f(needed)0 2093 y(to)17 b(implement)g(keyboard)g(interrupt\ s.)35 b(This)17 b(means)i(that)0 2138 y(a)f(multi-server)e(system)i(need)g (not)e(be)i(crippled)e(by)h(such)0 2183 y(communication,)10 b(and)g(does)g (not)f(need)i(to)e(run)h(signi\256cantly)0 2229 y(slower)i(than)f(a)i(single) e(server)i(system.)21 b(While)11 b(it)g(could)h(be)0 2274 y(argued)j(that)h (the)f(server)i(coordination)d(role)h(of)h(the)g(emu-)0 2319 y(lation)e(libra\ ry)f(prevented)i(some)h(inter)n(-server)30 b(calls,)17 b(this)0 2364 y(is)h (not)f(a)i(valid)e(ar)o(gument.)38 b(It)18 b(is)g(true)f(that)h(there)g(are)h (a)0 2410 y(few)13 b(functions,)f(such)h(as)g(name)g(resolution,)f(that)g(cou\ ld)g(be)0 2455 y(implemented)h(by)f(servers)i(calling)e(servers)h(\(for)f(lin\ ks)g(and)0 2500 y(mount)7 b(points\).)13 b(But)7 b(that)h(approach)g(would)f (yield)g(no)h(fewer)0 2546 y(inter)n(-address)h(space)g(actions.)15 b(Mach-US) 8 b(does)h(name)g(reso-)0 2591 y(lution)c(by)i(using)f(partial)h(path)f(resul\ ts)h(for)g(further)f(resolution)0 2636 y(by)12 b(the)h(emulation)f(library)l (.)22 b(There)14 b(appears)f(to)f(be)h(no)g(real)0 2681 y(advantage)h(to)g (nested)g(inter)n(-server)h(calls)f(versus)g(iterative)1050 23 y(emulation)h (library)g(calls,)j(and)e(iteration)f(gives)h(the)g(emu-)1050 68 y(lation)11 b (library)g(the)h(opportunity)d(of)j(doing)f(additional)f(user)1050 113 y(spac\ e)i(computation)d(and)h(caching.)1050 230 y fl(8.1.1.)42 b(Mach3.0)11 b(Suita\ bility)1050 319 y fk(Running)j(on)h(the)g(Mach3.0)i(micro)e(kernel)h(itself)f (worked)1050 364 y(acceptably)8 b(well.)14 b(It)7 b(supplied)f(a)i(rich)f(eno\ ugh)g(environment)1050 409 y(that)14 b(the)g(various)g(system)h(servers)h(wer\ e)f(able)g(to)f(do)g(their)1050 454 y(work)h(and)g(it)f(supported)g(the)h(sys\ call)g(redirection)f(needed)1050 500 y(to)g(do)f(the)h(user-space)h(implement\ ation)e(of)h(syscalls.)27 b(W)m(e)1050 545 y(often)11 b(run)g(the)g(multi-ser\ ver)g(beside)h(the)f(Mach-UX)h(single)1050 590 y(server)f(for)f(even)g(greate\ r)h(ease)h(of)e(debugging.)1092 677 y(Mach-US)22 b(probably)e(exercises)j(the) e(features)h(of)f(the)1050 722 y(Mach3.0)e(micro-kernel)f(more)h(than)f(any)g (other)g(system.)1050 768 y(It)e(became)j(a)f(valuable)e(test)h(case)h(to)f (ensure)g(the)g(correct)1050 813 y(functioning)8 b(of)j(the)g(kernel.)17 b (There)12 b(were)f(some)h(very)f(win-)1050 858 y(ning)j(features)h(of)f(the)h (kernel)f(that)g(helped)h(immensely)g(in)1050 904 y(Mach-US)c(implementation:) 1071 982 y fl(Syscall)17 b(Redirection)h fk(is)g(used)h(to)e(cause)j(syscall) e(traps)1133 1027 y(into)11 b(the)i(kernel)f(to)g(invoke)g(the)h(appropriate) f(code)h(in)1133 1072 y(the)h(emulation)f(library)l(.)25 b(W)o(ithout)12 b (such)i(redirection,)1133 1117 y(re-compilation)e(of)i(all)f(user)i(applicati\ ons)d(would)h(be)1133 1163 y(required,)j(thus)f(greatly)g(limiting)e(the)i (usefulness)g(of)1133 1208 y(the)10 b(system.)1071 1286 y fl(Thr)o(eads)j fk (are)h(used)f(to)f(shepherd)g(user)h(requests)g(through)1133 1331 y(the)j(sys\ tem)g(servers,)j(syscalls)d(through)f(the)h(emula-)1133 1377 y(tion)g(library) l(,)j(and)e(wait)f(for)h(various)f(asynchronous)1133 1422 y(events.)27 b(Sinc\ e)15 b(we)g(required)f(more)g(\252fairness\272)i(than)1133 1467 y(co-routine) c(threads)h(could)f(of)o(fer)o(,)i(system)f(supported)1133 1513 y(and)e(sched\ uled)g(threads)g(were)h(very)f(useful)f(to)g(such)i(a)1133 1558 y(server)g (model.)20 b(They)13 b(are)f(essential)g(for)g(optimal)f(use)1133 1603 y(of)i (multi-processor)f(shared-memory)i(systems)g(such)1133 1648 y(as)d(the)f(Sequ\ ent)g(system)h(mentioned)f(earlier)m(.)1071 1726 y fl(Ports)i fk(supply)f(two) g(basic)h(features:)18 b(unfor)n(geable)13 b(identi-)1133 1772 y(\256ers)g (and)g(IPC)f(endpoints.)21 b(By)12 b(combining)g(the)g(con-)1133 1817 y(cepts\ ,)i(Mach)e(IPC)g(makes)i(it)d(possible)h(for)g(Mach-US)1133 1862 y(to)e(use)i (a)f(port)f(as)i(an)f(OS-item)g(identi\256er)m(.)17 b(A)11 b(separate)1133 1908 y(identi\256er)d(is)h(used)h(for)e(each)j(user)e(referencing)h(an)f(OS-) 1133 1953 y(item.)25 b(Clients)13 b(do)g(RMIs)g(to)h(the)f(port)g(itself)g (and)g(the)1133 1998 y(server)h(has)f(a)h(secure)g(ID)f(of)g(the)g(caller)n (.)24 b(Hence,)15 b(this)1133 2044 y(basic)10 b(port)e(model)i(proved)f(to)g (be)g(a)h(powerful)f(weapon)1133 2089 y(in)h(developing)f(an)i(integrated)f (system)h(wide)f(RMI)g(fa-)1133 2134 y(cility)l(.)1071 2212 y fl(External)f (Pagers)i fk(are)g(servers)g(which)f(the)g(Mach3.0)g(ker-)1133 2257 y(nel)g (uses)h(to)f(acquire)g(and)g(update)g(pages)h(of)f(data)h(have)1133 2303 y (been)d(logically)e(mapped)i(into)e(a)j(clients)e(address)h(space)1133 2348 y ([Y)l(oung89)n(].)16 b(Hence)11 b(the)f(external)g(pager)h(mechanism)1133 2393 y(enables)i(sharing)e(of)h(data)g(between)h(the)f(server)g(and)h(a)1133 2439 y (client,)j(where)g(that)f(data)g(is)g(requested)h(by)f(a)g(simple)1133 2484 y (memory)c(reference.)1133 2546 y(Both)h(the)h(UNIX)g(\256le)h(server)f(and)h (the)f(process)h(man-)1133 2591 y(ager)c(act)f(as)h(external)e(pagers.)16 b (The)9 b(\256le)h(proxies)e(page-)1133 2636 y(fault)13 b(in)g(\256le)i(pages) f(as)h(needed.)27 b(The)14 b(process)h(man-)1133 2681 y(ager)e(shares)h(memor\ y)f(with)f(each)h(emulation)f(library)p eop %%Page: 9 9 bop 83 23 a fk(to)11 b(avoid)h(un-necessary)g(server)h(noti\256cation)d(of)i (tran-)83 68 y(sient)e(process)h(information.)83 128 y(The)23 b(external)f (pager)g(mechanism)i(supports)d(these)83 173 y(two)12 b(services)i(more)f(ef\ \256ciently)f(than)g(standard)h(RMI)83 218 y(would)c(have.)21 291 y fl(No-Mor) o(e-Senders)19 b fk(port)d(noti\256cation)f(can)j(be)f(used)h(to)83 337 y(not\ ify)12 b(a)j(server)f(when)g(there)g(are)g(no)g(remaining)f(ex-)83 382 y(tern\ al)f(references)j(to)d(a)h(given)f(port.)21 b(Mach-US)14 b(uses)83 427 y(it)e (for)f(garbage)i(collection)e(of)h(OS-items.)22 b(It)11 b(is)h(espe-)83 473 y (cially)h(useful)h(since)g(it)f(works)g(automatically)g(for)g(all)83 518 y (OS-item)d(references)i(a)f(client)e(holds)g(when)i(the)f(client)83 563 y(exi\ ts)d(or)g(crashes.)16 b(This)7 b(occurres)h(in)f(the)g(same)i(fashion)83 608 y (as)h(if)f(the)g(client)g(had)g(explicitly)f(closed)h(the)g(reference.)21 682 y fl(Scheduling)k(Hand-Off)f fk(is)h(a)g(Mach)g(kernel)g(mechanism)83 727 y (that)i(causes)i(a)f(receiver)g(of)g(a)g(message)h(to)e(continue)83 772 y(exe\ cution)f(immediately)g(using)f(the)h(remainder)h(of)f(a)83 818 y(clients)h (scheduling)g(time)h(slice)g(without)d(waiting)i(to)83 863 y(just)6 b(be)g (rescheduled)h(at)g(some)g(later)f(date.)14 b(This)7 b(feature)83 908 y(was) 16 b(designed)f(to)g(let)g(small)h(IPCs)f(execute)h(quickly)83 953 y(without) i(impacting)g(system)i(fairness,)j(and)d(Mach-)83 999 y(US)15 b(runs)e(signi\ \256cantly)g(faster)i(when)f(such)h(hand-of)n(f)83 1044 y(is)g(utilized.)29 b (This)16 b(form)f(of)g(hand-of)n(f)h(was)g(a)g(useful)83 1089 y(step)g(toward) f(the)h(concept)g(of)f(threads)h(that)f(migrate)83 1135 y(with)f(messages)i (between)f(processes)h(\(a)f(feature)g(not)83 1180 y(in)10 b(CMU)g(Mach3.0\).) 42 1281 y(There)g(were)g(however)f(some)h(problems)f(when)g(using)f(the)0 1326 y(Mach3.0)j(kernel:)21 1399 y fl(Inter)22 b(Process)h(Communication:)72 b fk (The)22 b(IPC)f(sys-)83 1445 y(tem)13 b(was)h(not)e(really)h(designed)f(to)h (support)e(a)j(remote)83 1490 y(method)9 b(invocation)f(\(RMI\))h(paradigm)h (that)f(included)83 1535 y(interruption.)25 b(Mach3.0)15 b(IPC)f(itself)f(is) h(fairly)g(heavy)83 1580 y(weight)g(and)g(complex.)28 b(This)14 b(comes)i(par\ tly)d(from)i(a)83 1626 y(\252second)10 b(system)g(effect\272)g(and)g(partly)f (from)g(the)g(use)h(of)83 1671 y(a)16 b(communication)e(model)h(that)f(attemp\ ts)h(to)f(handle)83 1716 y(every)h(combination)f(of)h(independent)f(message/p\ ort)83 1762 y(transmissions)j(possible,)i(supporting)c(loosely)i(cou-)83 1807 y(pled)10 b(remote)h(procedure)g(calls)f(\(RPC\))g(and)h(still)e(mak-)83 1852 y(ing)g(some)i(\252fast-path\272)f(messages)i(run)e(as)h(fast)f(as)h(pos-)83 1897 y(sible.)36 b(Achieving)11 b(a)h(correct)f(RMI)g(implementation)83 1943 y (with)e(\252fast-path\272)h(communication)f(for)g(normal)g(invo-)83 1988 y (cations)i(was)h(not)e(simple)h(using)f(the)i(IPC)e(system)i(and)83 2033 y (there)f(is)g(some)h(reason)g(to)f(believe)g(that)f(a)i(RMI-based)83 2079 y (IPC)e(could)g(be)g(as)h(effective)f(and)g(easier)h(to)f(use.)83 2138 y(The)i (need)f(to)g(interrupt)e(remote)j(method)f(invocations)83 2183 y(caused)e(hea\ daches.)16 b(The)8 b(mechanism)h(for)f(\252aborting\272)83 2229 y(long)j(runn\ ing)g(Mach3.0)h(requests)h(\(e.g.,)h(paging)d(and)83 2274 y(messaging\))c(is) f(crude)h(at)g(best,)h(and)f(deadlocks)f(in)g(some)83 2319 y(cases.)17 b(Furt\ hermore,)9 b(there)g(is)g(no)g(way)g(to)f(identify)g(an)83 2364 y(individual) 13 b(invocation)g(without)h(taking)g(all)h(invoca-)83 2410 y(tions)d(of)n(f)h (of)g(the)f(fast)h(path)f(or)h(adding)f(inappropriate)83 2455 y(additional)d (complexity)i(to)f(normal)h(communication.)83 2500 y(Departure)c(from)h(accep\ ted)g(coding)f(practice)h(was)g(nec-)83 2546 y(essary)14 b(solve)f(these)h (problems.)48 b(The)14 b(solutions)d(in-)83 2591 y(volved)e(very)g(rare)i(int\ errupt/restart)c(of)i(uninterrupted)83 2636 y(invocations,)f(creative)h(use)g (of)f(the)g(\252mach)t 13 2 v 12 w(msg\272)h(error)83 2681 y(states,)g(and)e (cautious)g(use)h(of)f(the)h(\252abort\272)g(mechanism.)1071 23 y fl(Forking:) 37 b fk(There)13 b(is)f(no)g(support)e(for)i(forking)e(of)i(kernel)1133 68 y (entities)h(beyond)h(memory)h(inheritance.)26 b(There)16 b(is)e(a)1133 113 y (real)c(need)h(to)e(support)f(a)j(coherent)f(inheritance)f(model)1133 159 y (for)k(kernel)g(ports.)23 b(Furthermore,)14 b(even)f(memory)h(in-)1133 204 y (heritance)e(can)h(quickly)e(become)j(hard)e(to)f(manage)j(in)1133 249 y(a)e (complex)g(address)h(space)g(that)e(contains)h(an)g(emula-)1133 295 y(tion)e (library)l(,)j(multiple)d(stacks)j(from)e(various)g(threads)1133 340 y(both)f (in)g(the)g(user)h(application)e(and)i(in)f(that)g(emulation)1133 385 y(libra\ ry)l(,)k(out-of-line)d(memory)j(segments)f(created)h(by)1133 431 y(the)c(memo\ ry)h(system,)h(arbitrary)d(buf)o(fers,)i(and)g(shared)1133 476 y(memory)g(are\ as)h(allocated)f(by)g(various)f(proxy)f(objects)1133 521 y(or)19 b(other)g (emulation)g(library)f(components.)43 b(Long)1133 566 y(\252shadow)13 b(chain\ s\272)h(supporting)d(\252copy)i(on)g(write\272)g(in-)1133 612 y(herited)8 b (memory)g(objects)g(became)i(a)e(problem)g(requir-)1133 657 y(ing)h(careful)i (memory)g(use.)1092 763 y(Even)f(though)f(there)h(were)h(some)g(problems)f (when)g(using)1050 808 y(the)h(Mach3.0)g(micro-kernel,)g(it)f(supplied)f(seve\ ral)j(features)1050 854 y(that)g(were)i(either)f(useful)f(of)h(essential)g (for)f(the)h(implemen-)1050 899 y(tation)d(of)i(Mach-US.)g(It)f(was)i(a)f(goo\ d)f(and)g(appropriate)g(en-)1050 944 y(vironment)i(for)h(implementing)f(a)i (multi-server)e(operating)1050 989 y(system.)1050 1108 y fl(8.2.)42 b(Applica\ tion)19 b(Programmer)h(Interface)i(Neutral)1154 1154 y(OS)11 b(Services)1050 1244 y fk(The)19 b(redesign)f(of)g(the)h(interfaces)g(to)f(OS-items)g(enabled) 1050 1289 y(computation)11 b(to)h(be)g(shifted)g(to)g(the)g(user)q(')n(s)g (address)h(space.)1050 1334 y(This)c(lowered)g(the)g(level)f(of)h(inter)n(-pr\ ocess)h(communication)1050 1379 y(and)c(also)g(speeds)h(computation)e(on)h (multi-processor)f(system)1050 1425 y(con\256gurations.)1092 1511 y(While)k (we)i(supported)e(the)h(4.3BSD)f(API)i(on)e(what)h(is)g(be-)1050 1557 y(lieve\ d)d(to)g(be)h(neutral)g(interfaces,)h(that)e(API)g(neutrality)f(is)i(not)1050 1602 y(truly)h(proven.)14 b(Because)e(of)e(time)g(restrictions,)f(there)h(exi\ sts)1050 1647 y(only)h(one)h(emulation)f(library)g(today)l(.)21 b(However)n (,)13 b(the)f(same)1050 1693 y(interface)17 b(calls)g(were)g(often)g(used)f (to)h(support)e(quite)h(dis-)1050 1738 y(parate)d(syscalls)f(and)g(all)g(API-\ speci\256c)h(user)f(data)g(is)g(main-)1050 1783 y(tained)h(in)f(the)h(emulati\ on)f(library)l(.)24 b(Hence,)15 b(there)e(is)g(some)1050 1828 y(evidence)k (that)g(interface)g(neutrality)e(was)i(at)g(least)g(partly)1050 1874 y(achiev\ ed.)1092 1961 y(There)c(are)h(areas)g(where)f(this)f(neutrality)f(was)i(not)f (prac-)1050 2006 y(tical.)41 b(W)m(e)20 b(did)e(not)g(try)g(to)h(implement)f (a)i(general)f(ver-)1050 2051 y(sion)11 b(of)g(TTY)h(controls.)17 b(While)11 b (Mach-US)h(TTYs)g(support)1050 2096 y(the)j(generic)h(ByteIO)f(interfaces,)i (a)f(neutral)f(ioctl)g(system)1050 2142 y(seemed)e(improbable)e(and)g(not)g (worth)f(pursuing.)17 b(The)12 b(pro-)1050 2187 y(cess)e(manager)g(is)e(also) h(partly)e(API-speci\256c.)16 b(By)8 b(the)g(nature)1050 2232 y(of)k(event/si\ gnal)f(delivery)g(and)h(its)g(associations)g(with)f(pro-)1050 2278 y(cess)f (lifetime,)e(the)g(process)h(manager)g(was)g(implemented)g(to)1050 2323 y(sup\ port)i(the)h(speci\256c)h(semantics)g(of)f(4.3BSD)g(signal/wait.)1050 2368 y (However)n(,)f(its)e(general)h(design)g(and)f(structure)h(are)g(not)f(API-) 1050 2413 y(speci\256c,)i(and)e(could)g(be)h(easily)f(modi\256ed)h(for)f(anot\ her)g(API.)1092 2500 y(Supporting)i(the)k(generalized)f(interfaces)h(caused)h (addi-)1050 2546 y(tional)11 b(work,)h(but)f(the)h(redesign)g(ef)o(fort)f(sho\ wed)h(some)h(real)1050 2591 y(fruit.)25 b(Additionally)-6 b(,)15 b(to)f(meet) h(the)e(initial)f(design)i(goal)f(of)1050 2636 y(supporting)8 b(dif)n(ferent) j(APIs)f(on)g(a)h(common)g(set)f(of)g(servers,)1050 2681 y(this)e(generality) h(was)g(essential.)30 b(Such)9 b(well-de\256ned)g(inter-)p eop %%Page: 10 10 bop 0 23 a fk(faces)10 b(proved)e(useful)g(when)g(we)h(added)g(new)f(feature\ s)h(to)f(the)0 68 y(system)i(while)f(creating)g(servers)h(from)f(imported)g (software.)0 113 y(Only)h(limited)g(adaptations)g(were)i(needed)f(to)g(\256t) f(said)h(inter-)0 159 y(faces)17 b(using)d(the)h(support)g(libraries)f(provid\ ed.)29 b(Standard)0 204 y(UNIX)17 b(applications)g(could)g(immediately)g(and) g(transpar-)0 249 y(ently)9 b(use)i(the)f(new)h(features)g(provided.)0 378 y fl(8.3.)42 b(Remote)10 b(Method)h(Invocation)e(For)i(OS)g(Services)0 473 y fk (The)j(general)g(concept)g(of)f(OS-items)g(appears)i(to)e(be)h(com-)0 518 y (mon)g(to)f(many)h(OS)g(de\256nitions.)24 b(Therefore,)15 b(it)e(is)h(natural) 0 563 y(and)9 b(useful)f(to)g(represent)h(them)f(as)h(programming)f(language) 0 609 y(objects)14 b(and)h(to)f(support)f(remote)i(method)f(invocation)f(for) 0 654 y(their)c(access.)42 741 y(The)16 b(Mach-US)g(libraries)f(and)h(runtime) f(supply)g(a)h(uni-)0 786 y(form)8 b(policy)e(and)i(implementation)e(for)h (transparent)h(remote)0 831 y(method)17 b(invocation,)h(combined)f(client)f (and)h(server)h(side)0 877 y(OS-item)c(implementation,)h(interruption,)e(acce\ ss)k(media-)0 922 y(tion,)9 b(forking,)f(and)i(immediate)g(garbage-collection) e(of)i(un-)0 967 y(referenced)j(items.)21 b(Such)13 b(a)f(powerful)f(uni\256e\ d)h(system)h(for)0 1012 y(cleanly)e(handling)e(these)i(speci\256c)h(issues)f (for)g(all)f(OS-items)0 1058 y(was)16 b(invaluable)f(to)g(the)g(development)g (of)g(a)h(multi-server)0 1103 y(OS.)i(Using)f(the)g(RMI)g(system)h(was)g(not) e(burdensome)i(to)0 1148 y(the)10 b(implementors)g(of)g(OS-items,)g(and)g(it) g(eased)h(their)f(work)0 1194 y(while)g(supplying)e(the)i(needed)h(\257exibil\ ity)c(and)k(base)g(imple-)0 1239 y(mentation)k(to)h(achieve)g(good)g(system)g (speed.)33 b(The)17 b(RMI)0 1284 y(system)d(supplied)e(should)h(be)g(usable)h (and)g(useful)f(to)g(other)0 1330 y(systems)e(that)e(need)i(to)f(tackle)g(the\ se)h(issues.)0 1458 y fl(8.4.)42 b(Object)22 b(Oriented)g(technology)e(for)h (OS)g(imple-)104 1503 y(mentation)0 1598 y fk(Mach-US)13 b(uses)g(GNU)f(C++)h (as)g(its)f(primary)g(implementa-)0 1644 y(tion)6 b(language)i(with)f(some)h (plain)f(C)h(where)g(appropriate)f(and)0 1689 y(some)h(imported)f(C)g(code.) 15 b(Since)8 b(there)g(has)g(been)g(some)g(con-)0 1734 y(troversy)g(on)g(the) h(topics)e(of)i(object)f(oriented)g(\(OO\))g(software)0 1779 y(development)i (and)h(OS)g(implementation,)f(we)h(feel)g(it)f(is)h(ap-)0 1825 y(propriate)h (to)g(of)n(fer)h(some)g(personal)g(perspective.)22 b(A)13 b(lar)o(ge)0 1870 y (system)g(needs)g(to)f(be)g(carefully)h(architected,)g(independent)0 1915 y (of)d(whether)h(it)f(is)g(being)g(implemented)h(using)e(OO)i(technol-)0 1961 y (ogy)d(or)f(not.)14 b(OO)8 b(technology)f(alone)h(does)g(not)g(solve)g(design) 0 2006 y(problems,)i(yet)g(OO)h(methodology)d(was)j(a)g(very)f(useful)f(tool) 0 2051 y(for)f(interface)h(clari\256cation,)f(data)h(encapsulation,)f(and)h (code)0 2096 y(re-use)f(through)d(inheritance.)14 b(Early)7 b(Mach-US)h(imple\ men-)0 2142 y(tation)k(was)h(done)g(in)f(simple)h(C,)g(and)g(we)h(switched)f (to)f(OO)0 2187 y(technology)e(for)g(those)h(features.)18 b(Y)l(et)11 b(it)f (is)h(just)f(a)i(tool,)e(and)0 2232 y(just)i(like)h(any)h(tool,)f(there)g(are) i(times)e(when)h(it)e(is)h(the)h(right)0 2278 y(answer)o(,)d(times)g(when)f (it)g(can)h(be)g(made)g(to)f(work,)g(and)h(times)0 2323 y(where)j(its)f(misus\ e)h(can)h(be)f(injurious.)23 b(All)13 b(of)g(these)h(were)0 2368 y(experience\ d)d(during)e(the)h(implementation)f(of)h(Mach-US.)42 2455 y(W)l(e)h(did)f(not) g(\256nd)g(any)g(real)h(disadvantages)f(to)g(the)h(use)f(of)0 2500 y(OO)f(met\ hodology)d(for)i(OS)h(development)f(while)g(designing)0 2546 y(and)j(implemen\ ting)f(Mach-US.)j(Its)e(advantages)h(helped)f(in)0 2591 y(OS)16 b(development) g(as)g(it)f(would)g(in)h(any)f(other)h(lar)o(ge)g(sys-)0 2636 y(tem,)10 b(and) g(OO)f(methodology)e(was)j(a)g(good)f(clear)h(choice)g(for)0 2681 y(represent\ ing)g(and)g(implementing)f(OS-items.)1050 23 y fl(8.4.1.)42 b(Problems)10 b (with)g(C++)1050 116 y fk(GNU)i(C++)g(created)g(many)g(problems)f(for)g(us,)h (but)f(was)h(the)1050 161 y(only)g(appropriate)h(and)h(available)f(alternativ\ e.)25 b(W)l(e)14 b(chose)1050 207 y(C++)d(because)i(of)d(its)g(C)h(compatibil\ ity)-5 b(,)11 b(acceptance,)i(avail-)1050 252 y(ability)-5 b(.)17 b(W)m(e)11 b (used)g(the)f(\252abstract)h(class\272)h(feature)f(of)f(C++)i(to)1050 297 y (de\256ne)7 b(the)g(generic)g(service)g(interfaces)h(of)e(the)h(system.)14 b (This)1050 342 y(made)8 b(it)e(possible)g(to)g(de\256ne)h(clean)h(interfaces) f(for)f(client)g(use,)1050 388 y(yet)14 b(leave)h(the)f(implementations)f(to) h(be)h(\256lled)f(in)f(later)h(by)1050 433 y(the)g(various)f(implementation)f (classes)k(that)d(lived)g(in)g(their)1050 478 y(own)f(inheritance)h(trees.)23 b(Multiple)11 b(inheritance)h(was)i(used)1050 524 y(to)f(combine)h(those)f (abstract)h(interface)f(classes)i(and)f(\256ll)f(in)1050 569 y(their)c(method\ s)i(from)f(the)g(implementation)f(classes.)1092 656 y(This)d(constituted)f (a)i(logically)e(clean)i(and)g(understandable)1050 701 y(mechanism)18 b(that) f(had)h(the)f(\257exibility)e(and)i(transparency)1050 746 y(properties)11 b (we)i(needed.)20 b(It)12 b(relied)g(on)f(the)h(C++)g(strict)g(type)1050 792 y (checking)f(to)e(insure)i(interface)f(conformance)i(at)e(every)h(im-)1050 837 y(plementation)19 b(and)h(call)g(site.)43 b(It)20 b(was)g(also)g(a)g(bit)f (of)h(a)1050 882 y(nightmare.)32 b(These)18 b(features)e(of)g(C++)h(are)g(not) e(the)h(most)1050 927 y(commonly)f(used)g(features.)31 b(It)15 b(was)g(someti\ mes)h(dif)o(\256cult)1050 973 y(to)10 b(determine)h(the)g(precise)g(semantics) h(of)f(the)f(combination)1050 1018 y(of)j(multiple)f(inheritance,)i(abstract) f(classes,)j(the)d(\252virtual\272)1050 1063 y(class)23 b(property)l(,)j(and) d(object)f(initialization/destruction.)1050 1109 y(More)12 b(costly)f(problem\ s)h(were)h(that)f(these)g(and)g(other)g(com-)1050 1154 y(plex)f(features)h (of)f(the)g(language)g(often)g(did)g(not)f(work)h(well,)1050 1199 y(or)h(were) h(only)e(partially)f(functional.)19 b(The)13 b(nature)f(of)g(these)1050 1244 y (bugs)h(changed)i(with)d(each)j(revision.)25 b(W)m(e)14 b(resolved)g(these) 1050 1290 y(problems)h(with)g(a)h(combination)e(of)h(syntactic)g(twiddling,) 1050 1335 y(work)d(arounds,)h(localized)f(redesign,)i(and)e(replacing)g(parts) 1050 1380 y(of)e(the)g(C++)h(runtime)e(system.)1050 1505 y fl(8.5.)42 b(UNIX) 10 b(API)h(Re-Implementation)1050 1598 y fk(A)23 b(lar)o(ge)h(part)e(of)h(the) g(problem)g(with)f(UNIX)h(API)g(re-)1050 1644 y(implementation)15 b(is)h(de\ \256ning)f(what)h(that)g(API)g(is.)33 b(There)1050 1689 y(are)20 b(many)f(dif) n(ferent)g(documents)g(which)g(describe)g(what)1050 1734 y(syscalls)9 b(are)g (expected)g(to)e(do,)i(but)f(what)g(is)g(really)g(desired)g(is)1050 1779 y (to)h(have)g(an)h(ever-changing)e(set)i(of)f(applications)f(run)g(on)h(the) 1050 1825 y(new)15 b(system.)30 b(Each)16 b(application)e(was)h(written)f(bas\ ed)h(on)1050 1870 y(what)c(worked)g(for)g(the)h(system)g(upon)e(which)h(it)g (was)h(devel-)1050 1915 y(oped,)d(not)f(the)g(speci\256cations,)i(manual)f (pages,)g(or)g(common)1050 1961 y(knowledge)16 b(about)g(the)g(system.)34 b (For)17 b(example,)i(\252Inetd\272)1050 2006 y(knows)10 b(\256elds)g(of)g(the) g(various)f(socket)i(ar)o(guments)f(were)h(not)1050 2051 y(used,)f(and)f(thos\ e)g(arguments)g(can')o(t)g(be)h(checked)g(or)f(used)g(by)1050 2096 y(the)j (new)h(system.)23 b(Our)13 b(methodology)d(to)i(determine)h(con-)1050 2142 y (formance)8 b(was)f(to)g(run)f(two)g(releases)j(of)d(the)h(common)g(UNIX)1050 2187 y(tools)g(\(4.3BSD)h(T)n(ahoe,)h(MtXinu)e(2.62MSD)h([MtXinu90)n(]\),) 1050 2232 y(some)14 b(formal)f(4.3BSD)g(compliance)h(tests)g([Perennial87)o (],)1050 2278 y(and)k(GNU-EMACS.)g(W)m(e)h(have)g(built)d(the)i(system)g(from) 1050 2323 y(sources)13 b(upon)e(itself.)19 b(The)12 b(lar)o(gest)g(amount)g (of)g(time)f(spent)1050 2368 y(on)17 b(any)g(one)g(aspect)i(of)e(the)g(system) g(was)h(spent)f(on)g(API)1050 2413 y(conformance.)1092 2500 y(While)30 b(it)f (is)h(dif)o(\256cult,)35 b(some)c(level)f(of)h(API)f(re-)1050 2546 y(implemen\ tation)14 b(is)h(necessary)o(.)30 b(OS)15 b(researchers)i(have)f(a)1050 2591 y (responsibility)7 b(to)i(explore)h(dif)n(ferent)g(OS)g(architectures.)15 b (In)1050 2636 y(order)10 b(to)g(be)h(practical,)g(we)g(must)g(write)f(softwar\ e)h(that)f(sup-)1050 2681 y(ports)e(the)h(semantics)g(of)g(an)g(existing)e (OS,)j(ensuring)d(that)i(we)p eop %%Page: 11 11 bop 0 23 a fk(have)13 b(applications)e(to)h(run.)21 b(Hence,)14 b(there)f (is)f(no)g(avoiding)0 68 y(partial)d(re-implementation.)42 155 y(W)l(e)f(deve\ loped)f(our)f(UNIX)h(API)g(emulation)f(library)g(from)0 200 y(scratch)j(to)f (\256t)g(the)g(initial)e(design)i(objectives)g(of)g(eliminating)0 246 y(licen\ sed)g(BSD)g(code)g(and)g(exploring)e(alternate)i(OS-item)g(in-)0 291 y(terfac\ es)i(that)e(support)g(API)h(neutrality)-5 b(.)15 b(Conformance)9 b(was)0 336 y (time)i(consuming,)g(yet)g(few)g(of)g(the)g(problems)f(encountered)0 381 y (were)j(caused)g(by)e(the)h(Mach-US)g(architecture.)21 b(The)12 b(prob-)0 427 y(lems)j(encountered)f(would)g(be)g(the)h(same)g(for)f(any)h(system)0 472 y (trying)8 b(to)i(achieve)h(UNIX)f(conformance)h(with)e(a)h(new)h(code)0 517 y (implementation.)42 604 y(Our)j(experience)i(implies)f(that)f(an)i(API)f(neut\ ral)g(multi-)0 649 y(server)10 b(symmetric)f(object)g(oriented)f(OS)h(is)g (just)f(as)i(good,)e(or)0 695 y(better)j(than)h(other)f(architectures)h(for)f (doing)g(such)h(a)g(UNIX)0 740 y(API)g(re-implementation,)g(but)f(such)i(a)f (re-implementation)0 785 y(is)e(painful.)0 897 y fl(8.6.)42 b(Intelligent)9 b (API)i(Emulation)d(Libraries:)0 984 y fk(Except)20 b(for)f(the)g(dif)o(\256cu\ lty)f(of)i(re-implementing)e(a)i(pre-)0 1029 y(existing)9 b(ill-de\256ned)f (API,)i(intelligent)e(emulation)h(libraries)0 1074 y(are)16 b(quite)e(a)i(pow\ erful)e(tool.)28 b(Mach-US)16 b(uses)f(its)g(emula-)0 1119 y(tion)9 b(library) h(to)g(maintain)g(the)g(user-speci\256c)h(API)g(informa-)0 1165 y(tion)e(and) h(implement)g(active)h(client)e(side)h(proxies.)15 b(For)10 b(real)0 1210 y (world)d(test)g(cases,)j(that)d(library)g(makes)i(approximately)d(one-)0 1255 y(fourth)12 b(as)j(many)f(server)g(calls)g(as)h(a)f(system)g(that)g(makes)h (a)0 1301 y(server)c(call)g(for)f(every)h(syscall.)17 b(This)11 b(dif)n(feren\ ce)h(is)f(impor-)0 1346 y(tant)d(since)h(newer)g(multiprocessor)e(architectur\ es)i(make)g(the)0 1391 y(relative)g(costs)h(of)f(some)h(inter)n(-processor)g (communications)0 1436 y(increase.)16 b(A)8 b(signi\256cant)g(amount)g(of)h (the)f(responsibility)e(for)0 1482 y(system)12 b(computation)f(and)h(coordina\ tion)d(is)j(shifted)f(to)g(the)0 1527 y(user)16 b(process)g(further)f(distrib\ uting)d(system)k(computation)0 1572 y(across)11 b(the)f(system)h(for)f(such)g (machines.)42 1659 y(There)h(are)g(drawbacks:)42 1726 y ff(\017)20 b fk(It)12 b(is)g(not)g(always)g(easy)i(to)e(determine)g(if)g(a)h(given)f(bug)83 1771 y (is)g(in)g(code)h(in)e(the)h(emulation)g(library)f(or)h(in)g(a)g(server)o(.) 83 1816 y(This)i(problem)f(can)i(be)f(overcome)g(with)f(some)i(addi-)83 1862 y (tional)d(ef)o(fort)h(and)g(is)g(analogous)f(to)h(the)g(dif)n(\256culty)f(of) 83 1907 y(determining)g(which)g(\252class\272)j(in)e(an)g(inheritance)g(tree) 83 1952 y(of)d(any)g(object)g(system)h(may)g(contain)e(a)i(speci\256c)g(bug.) 42 2019 y ff(\017)20 b fk(Forking)8 b(the)i(emulation)f(library)f(state)i(to) g(a)g(child)f(pro-)83 2064 y(cess)k(is)e(tricky)f(and)h(required)g(a)h(fair)f (amount)f(of)h(over-)83 2110 y(head)f(and)f(scaffolding)f(to)h(synchronize)g (and)g(reinitial-)83 2155 y(ize.)42 2222 y ff(\017)20 b fk(The)12 b(emulation) f(library)g(is)h(a)g(part)f(of)h(Mach-US)g(with)83 2267 y(a)17 b(complex)g (address)h(space)g(that)e(contains)g(a)i(multi-)83 2312 y(tude)13 b(of)g(thre\ ads)g(and)h(stacks,)h(some)f(passed)g(in)e(from)83 2357 y(the)h(application)e (at)i(syscall)g(time)g(and)g(some)h(that)e(are)83 2403 y(speci\256c)k(to)f (emulation)g(library)f(execution.)30 b(This)15 b(is)83 2448 y(compounded)g (by)f(the)h(possibility)d(that)i(the)h(applica-)83 2493 y(tion)10 b(and)i(the) g(emulation)e(library)h(are)h(using)f(dif)n(ferent)83 2539 y(threads)h(packag\ es.)23 b(Furthermore,)12 b(it)g(uses)h(all)e(of)h(the)83 2584 y(interfaces)f (to)e(the)i(other)e(services.)42 2681 y(W)l(e)17 b(found)f(that)g(an)h(intell\ igent)d(of)i(client)g(side)g(library)1050 23 y(for)d(system)g(code)h(executio\ n)f(is)g(a)h(complex)f(yet)g(powerful)1050 68 y(and)h(workable)g(solution)e (to)i(ensure)g(needed)h(\257exibility)d(to)1050 113 y(research)k(the)e(interf\ ace)g(between)h(the)f(client)f(process)i(and)1050 159 y(the)10 b(system)h(ser\ vices.)1050 293 y fj(9.)50 b(Conclusion)1050 383 y fk(W)m(e)10 b(have)h(imple\ mented)f(and)g(demonstrated)g(a)g(system)h(that)1050 428 y(emulates)g(the)f (UNIX)h(API)f(on)g(top)g(of)g(a)h(micro-kernel)f(with)1050 473 y(full)i(binar\ y)g(compatibility)-6 b(.)24 b(Its)12 b(unique)g(architecture)h(pro-)1050 519 y (vides)7 b(many)g(features)h(to)f(enhance)h(the)f(\257exibility)e(of)i(system) 1050 564 y(development.)27 b(This)14 b(research)i(has)e(provided)f(insights)g (in)1050 609 y(the)d(following)e(areas:)1092 691 y ff(\017)20 b fk(Multiple) 15 b(System)i(Servers)h(On)f(a)g(Micro-Kernel)f(is)1133 736 y(a)c(viable)g (way)g(to)f(strongly)f(partition)g(OS)i(functional-)1133 781 y(ity)l(.)25 b (Such)14 b(an)g(OS)f(architecture)h(and)f(does)h(not)f(force)1133 827 y(inter) n(-server)18 b(calls.)38 b(Multi-server)16 b(systems)i(supply)1133 872 y(\257\ exibility)11 b(and)i(debugging)f(strengths)h(not)f(available)1133 917 y(in)e (traditional,)e(more)j(uni\256ed)e(OS)i(architectures.)1092 999 y ff(\017)20 b fk(Application)g(Programmer)j(Interface)f(Neutral)g(OS)1133 1044 y(Services) 16 b(are)h(useful)e(as)h(part)f(of)g(a)i(highly)c(valuable)1133 1089 y(redesi\ gn)h(of)g(the)g(interfaces)h(to)f(the)g(OS)h(system)g(ser-)1133 1135 y(vices.) g(Y)l(et)9 b(the)g(current)g(system)h(does)f(not)g(fully)e(prove)1133 1180 y (the)j(API)g(neutrality)f(of)h(its)f(OS)i(service)g(interfaces.)1092 1262 y ff (\017)20 b fk(Remote)13 b(Method)g(Invocation)f(for)g(OS)i(Services)g(is)f (a)1133 1307 y(simple)g(and)h(consistent)e(point)g(to)h(supply)g(OS)g(devel-) 1133 1352 y(opers)f(with)e(the)i(features)g(of:)k(call)c(site)f(transparency) n(,)1133 1397 y(authentication,)19 b(interruption.)36 b(It)17 b(supplies)h (Mach-)1133 1443 y(US)10 b(with)e(the)i(proxy)e(paradigm)i(for)f(server)h(con\ trolled)1133 1488 y(client-side)j(caching,)h(computation,)g(and)f(communi-) 1133 1533 y(cation)d(\257exibility)-5 b(.)15 b(RMI)10 b(and)g(its)g(associate\ d)h(features)1133 1579 y(has)g(been)h(an)f(essential)f(component)h(for)f(mult\ i-server)1133 1624 y(OS)g(development.)1092 1705 y ff(\017)20 b fk(Object)10 b (Oriented)g(T)m(echnology)g(for)f(OS)i(Implementa-)1133 1751 y(tion)d(is)h (highly)f(useful)h(in)g(the)g(same)i(ways)f(that)f(object-)1133 1796 y(orient\ ed)k(technology)g(is)h(useful)g(for)g(any)g(lar)o(ge)h(soft-)1133 1841 y(ware) e(system.)22 b(Language)13 b(objects)f(are)h(natural)e(tools)1133 1887 y(to)g (represent)i(OS-items.)20 b(However)o(,)13 b(objective)e(tech-)1133 1932 y (nology)5 b(is)i(only)f(a)h(component)g(of)f(OS)h(implementation)1133 1977 y (and)j(is)g(not)g(a)h(substitute)d(for)i(careful)h(system)f(design.)1092 2059 y ff(\017)20 b fk(UNIX)7 b(API)g(Re-Implementation)g(is)g(painful)f(and)h(tot\ al)1133 2104 y(conformance)h(is)e(dif)o(\256cult)g(to)g(achieve)i(for)e(any)h (system.)1133 2149 y(Y)l(et)17 b(some)g(API)g(re-implementation)f(is)g(requir\ ed)h(in)1133 2195 y(order)d(to)g(research)i(new)f(OS)f(architectures)h(and)g (still)1133 2240 y(support)9 b(existing)g(software.)1092 2321 y ff(\017)20 b fk(Intelligent)d(API)j(Emulation)e(Libraries)h(shift)g(work)1133 2367 y(from) 11 b(the)h(OS)f(to)g(the)h(users)g(address)g(space)g(and)g(dras-)1133 2412 y (tically)g(decrease)i(the)f(need)g(for)f(interaction)g(between)1133 2457 y (the)e(user)h(process)g(and)f(the)g(OS)g(itself.)1092 2558 y(Mach-US)i(has)h (demonstrated)g(a)g(unique)e(effective)h(sys-)1050 2599 y(tem)17 b(design)f (with)g(many)h(features)h(that)e(enhance)i(system)1050 2640 y(development)12 b (\257exibility)d(and)k(make)g(it)e(a)i(strong)e(platform)1050 2681 y(for)f (further)f(OS)i(research.)p eop %%Page: 12 12 bop 0 23 a fj(10.)50 b(Further)12 b(Information)0 106 y fd(Additional)23 b (publications)f(and)g(availability)h(information)g(for)0 147 y(Mach-US)f(is)g (accessible)e(via)i(the)g(world)h(wide)f(web)g(URL:)0 188 y fc(http://www)n (.cs.cmu.edu:8001/afs/cs/pr)l(oject/mach/public/)0 229 y(www/pr)n(ojects/mach) q 12 2 v 11 w(us.html)6 b fd(or)f(via)h(anonymous)r(FTP)f(from)i(host)0 270 y fc(mach.cs.cmu.edu)e fd(in)j(the)g fc(doc/mach)p 12 2 v 11 w(us)g fd(and)e fc (sr)n(c/mach)q 12 2 v 11 w(us)i fd(subdi-)0 311 y(rectories.)0 435 y fj(11.) 50 b(Acknowledgments)0 518 y fd(Many)11 b(people)f(at)h(CMU)h(and)f(at)g(the) g(Research)f(Institute)i(of)f(OSF)0 559 y(have)5 b(participated)g(in)h(variou\ s)g(stages)t(of)g(the)g(design)f(or)h(implemen-)0 600 y(tation)13 b(of)g(the) g(system.)23 b(Beside)12 b(the)g(authors,)h(they)g(are:)20 b(Robert)0 641 y (Baron,)d(Jonathan)c(Chew)m(,)k(Paulo)e(Guedes,)g(Michael)g(Jones,)h(G.)0 682 y(Robert)h(Malan,)j(Manish)c(Modh,)k(Paul)d(Neves,)h(Douglas)e(Orr,)0 723 y (Richard)8 b(Rashid,)f(Paul)h(Roy)m(,)h(Richard)e(Sanzi,)h(and)f(Mary)i(Thomp\ -)0 764 y(son.)k(Further)c(help)f(and)g(support)h(for)g(this)g(paper)g(was)f (supplied)g(by)0 805 y(Patricia)h(Jones)f(and)g(W)m(endy)g(Elcesser)m(.)0 929 y fj(Refer)o(ences)0 1012 y fd([Batlivala)147 996 y fb(+)163 1012 y fd(92])21 b(N.)15 b(Batlivala,)h(et.al.)28 b(Experience)13 b(with)i(SVR4)197 1053 y(Ove\ r)20 b(CHORUS)44 b fc(Usenix)20 b(Micr)n(o-kernels)f(and)197 1094 y(Other)7 b (Kernel)g(Ar)n(chitectur)m(es)g(W)m(orkshop)e(Pr)n(oceed-)197 1135 y(ings)p fd (,)j(April)j(1992.)0 1195 y([Cheriton88])21 b(Davic)6 b(R.)i(Cheriton.)13 b (The)7 b(V)g(Distributed)h(System.)197 1236 y fc(Communications)13 b(of)j(the) f(ACM)p fd(,)h(31\(3\):314-333,)197 1277 y(March.)9 b(1988.)0 1337 y([Draves9\ 0])28 b(Richard)14 b(P)l(.)h(Draves.)29 b(A)15 b(Revised)f(IPC)h(Interface) 197 1378 y fc(Usenix)k(Mach)h(Symposium)f(Pr)n(oceedings)p fd(,)j(Oct.)197 1419 y(1990.)0 1479 y([Golub)106 1463 y fb(+)122 1479 y fd(90])j(David)8 b (Golub,)h(Randall)g(Dean,)f(Alessandro)g(Forin,)197 1520 y(and)k(Richard)h (Rashid.)24 b(UNIX)13 b(as)g(an)g(application)197 1561 y(program.)27 b fc(USE\ NIX)14 b(Summer)f(1990)g(Confer)n(ence)197 1602 y(Pr)m(oceedings)p fd(,)8 b (June)f(1990.)0 1662 y([Guedes&Julin91])19 b(Paulo)9 b(Guedes)g(and)g(Daniel) h(Julin.)17 b(Object-)197 1703 y(Oriented)j(Interfaces)g(in)g(the)h(Mach)e (3.0)i(Multi-)197 1744 y(Server)11 b(System.)20 b fc(Pr)n(oceedings)10 b(of)i (the)g(IEEE)g(Sec-)197 1785 y(ond)g(International)g(W)m(orkshop)e(on)j(Object) f(Orien-)197 1826 y(tation)d(in)g(Operating)f(Systems)p fd(,)g(October)h(1991\ .)0 1886 y([Hutchinson&Peterson91])18 b(N.C.)10 b(Hutchinson)d(and)h(L.L.)i (Peter-)197 1927 y(son.)30 b(The)16 b(x-Kernel:)27 b(An)16 b(architecture)f (for)i(im-)197 1968 y(plementing)9 b(network)g(protocols.)14 b(In)d fc(IEEE)e (T)n(rans-)197 2009 y(actions)24 b(on)g(Softwar)n(e)h(Engineering)e fd(17\(1\ \):64-)197 2050 y(76,Jan.1991.)0 2110 y([Julin)85 2094 y fb(+)101 2110 y fd (91])46 b(Daniel)17 b(P)l(.)h(Julin,)i(Jonathan)c(C.)i(Chew)m(,)i(J.)e(Mark) 197 2151 y(Stevenson,)j(Paulo)e(Guedes,)j(Paul)e(Neves,)i(and)197 2192 y(Paul) 10 b(Roy)m(.)18 b(Generalized)9 b(Emulation)i(Services)e(for)197 2233 y(Mach3\ .0:)18 b(Overview)m(,)13 b(Experiences)d(and)h(Current)197 2274 y(Status)20 b fc(Usenix)11 b(Mach)h(Symposium)e(Pr)n(oceedings)p fd(,)197 2315 y(November)e (1991.)0 2375 y([Khalidi&Nelson93])20 b(Y)-5 b(.A.)17 b(Khalidi)f(and)f(M.N.) j(Nelson.)30 b(An)197 2416 y(implementation)10 b(of)i(Unix)f(on)f(an)h(Object\ -oriented)197 2457 y(Operating)e(System.)15 b fc(USENIX)10 b(W)n(inter)g(1993) f(Con-)197 2498 y(fer)n(ence)e(Pr)n(oceedings)p fd(,)g(January)h(1993.)0 2558 y([Kleiman86])21 b(Kleiman,)j(S.R.)46 b(Vnodes:)36 b(An)21 b(Architecture)197 2599 y(for)15 b(Multiple)g(File)g(System)f(T)m(ypes)f(in)i(Sun)f(Unix.)197 2640 y fc(USENIX)j(Summer)f(1986)h(Confer)m(ence)f(Pr)n(oceed-)197 2681 y(ing\ s)p fd(,)8 b(1986.)1050 23 y([MtXinu90])21 b(MtXinu,)10 b(Inc.)k fc(UNIX)9 b (User')l(s)g(Rever)m(ence)e(Manual,)1247 64 y(2.6)i(MSD)g(V)-5 b(ersion)p fd (,)8 b(January)g(1990.)1050 130 y([Perennial87])20 b(PERENNIAL)10 b(Inc.)17 b (PERENNIAL)10 b(UNIX)h(V)l(al-)1247 171 y(idation)e(Suite)g(Manual,)g(April)h (1987.)1050 237 y([Phelan)1165 221 y fb(+)1180 237 y fd(93])21 b(James)9 b (M.)j(Phelan,)f(James)f(W)m(.)h(Arendt,)h(and)e(Gary)1247 278 y(R.)17 b(Ormsb\ y)m(.)34 b(An)17 b(OS/2)g(Personality)f(on)h(Mach.)1247 319 y fc(Usenix)e(Mac\ h)i(Symposium)e(Pr)n(oceedings)p fd(,)i(April)1247 360 y(1993.)1050 426 y([Sa\ nsom88])i(Robert)e(D.)h(Sansom.)32 b(Building)17 b(a)g(Secure)f(Dis-)1247 467 y(tributed)g(Computer)g(System)31 b fc(Thesis)15 b(CMU-CS-)1247 509 y(88-141) p fd(,)8 b(May)h(1988.)1050 575 y([Shapiro86])20 b(Marc)12 b(Shapiro.)21 b (Structure)13 b(and)e(encapsulation)f(in)1247 616 y(distributed)e(computing)f (systems:)12 b(the)d(Proxy)e(prin-)1247 657 y(ciple.)20 b(In)12 b fc(The)g (6th)f(International)h(Confer)m(ence)f(on)1247 698 y(Distributed)g(Computing) g(Systems)p fd(,)h(Boston)f(USA,)1247 739 y(May)d(1986.)1050 805 y([Stevenson\ &Julin94])18 b(J.)f(Mark)g(Stevenson,)g(Daniel)f(P)l(.)h(Julin.)1247 846 y (Client-Server)e(Interaction)g(in)g(Multi-Server)h(Op-)1247 887 y(erating)21 b (Systems:)38 b(The)21 b(Mach-US)g(Approach.)1247 928 y fc(Carnegie)12 b(Mello\ n)i(University)f(T)l(echnical)g(Report)1247 969 y(CMU-CS-94-191)p fd(,)c(Sept\ ember)f(1994.)1050 1035 y([W)n(elch86])39 b(B.)13 b(W)m(elch)f(and)g(J.)h(Ous\ terhout.)22 b(Pre\256x)12 b(tables:)20 b(A)1247 1076 y(simple)14 b(mechanism) g(for)h(locating)g(\256les)f(in)h(a)g(dis-)1247 1118 y(tributed)6 b(system.) 12 b(In)6 b fc(Pr)n(oceedings)t(of)g(the)g(6th)g(Inter-)1247 1159 y(national) i(Confer)m(ence)f(on)h(Distributed)g(Computing)1247 1200 y(Systems)p fd(,)f (pp.)j(184\261189,)d(IEEE,)j(May)e(1986.)1050 1266 y([Y)m(oung89])35 b(Michae\ l)30 b(W)m(.)h(Y)m(oung.)70 b(Exporting)31 b(a)f(User)1247 1307 y(Interface) 25 b(to)h(Memory)f(Management)f(from)i(a)1247 1348 y(Communication-Oriented)e (Operation)h(System.)1247 1389 y fc(Thesis)7 b(CMU-CS-94-191)p fd(,)i(Septemb\ er)f(1994.)1050 1455 y([XTI90])73 b(Open)15 b(Software)i(Foundation.)32 b fc (OSF/1)16 b(Network)1247 1496 y(Pr)m(ogrammer')-5 b(s)9 b(Guide)p fd(,)g(1990\ .)1050 1562 y([Zajcew)1173 1546 y fb(+)1189 1562 y fd(93])20 b(R.)6 b(Zajcew) m(,)g(P)l(.Roy)m(,)h(D.)f(Black,)g(C.)g(Peak,)f(P)l(.)h(Guedes,)1247 1603 y (B.)16 b(Kemp,)i(J.)e(LoV)-5 b(erso,)18 b(M.)f(Leibensper)m(ger)n(,)h(M.)1247 1644 y(Barnett,)27 b(F)l(.)d(Rabii,)j(Netterwala.)51 b(An)22 b(OSF/1)1247 1685 y(Unix)17 b(for)h(Massively)d(Parallel)j(Multicomputers.)1247 1727 y fc(USENI\ X)8 b(W)n(inter)g(1993)g(Confer)m(ence)f(Pr)n(oceedings)p fd(,)1247 1768 y (January)g(1993.)1050 1894 y fj(12.)50 b(Author)12 b(Information)1050 1977 y fa(J.)21 b(Mark)f(Stevenson)f fd(received)h(his)h(BS)f(in)h(Math/CS)g(from) 1050 2018 y(Carnegie)15 b(Mellon)h(University)g(in)g(1983.)32 b(He)16 b(was)f (a)h(member)1050 2059 y(of)g(the)f(Osiris)h(multi-processor)g(distributed)f (operating)g(system)1050 2100 y(project)c(at)g(Intel)g(and)f(did)h(distribute\ d)g(engineering)f(drawing)g(im-)1050 2141 y(age)k(processing)f(with)j(Formtek\ .)31 b(During)15 b(the)g(last)g(\256ve)g(years,)1050 2182 y(he)f(has)f(been)g (on)h(the)g(Mach)g(project)g(at)g(CMU)h(with)g(a)f(primary)1050 2223 y(emphas\ is)7 b(on)i(Mach-US.)g(Email:)14 b(jms@cs.cmu.edu)1092 2306 y fa(Daniel)9 b (Julin)h fd(has)f(been)g(a)h(member)f(of)h(the)g(Mach)f(system)g(de-)1050 2347 y(sign)j(and)g(development)f(team)i(at)g(Carnegie)e(Mellon)i(University)1050 2388 y(from)8 b(1984)e(to)h(1993.)12 b(During)7 b(that)g(period,)h(he)e(has)g (been)g(primarily)1050 2429 y(involved)j(with)i(the)f(areas)g(of)g(networking\ ,)h(remote)f(inter-process)1050 2470 y(communication,)16 b(distributed)f(obje\ ct-oriented)g(systems,)h(secu-)1050 2511 y(rity)n(,)f(and)d(operating)h(syste\ m)f(emulation.)25 b(He)13 b(is)g(now)f(with)i(Isis)1050 2553 y(Distributed)i (Systems,)h(Inc.,)h(focussing)c(on)h(high-performance)1050 2594 y(networking,) j(fault-tolerance)f(and)e(consistency)f(in)j(distributed)1050 2635 y(systems.) 12 b(Email:)i(dpj@isis.stratus.com)p eop %%Trailer end %%EOF