From: darrell@cse.ucsc.edu (Darrell Long)
Newsgroups: ieee.tcos
Subject: gothic.ps (Gothic project description)
Date: 7 Oct 1992 18:27:31 GMT
Organization: University of California, Santa Cruz (CE/CIS Boards)
Distribution: ieee
NNTP-Posting-Host: cypress.ucsc.edu

%!PS-Adobe-2.0
%%Creator: dvips 5.479 Copyright 1986-92 Radical Eye Software
%%Title: gothic.dvi
%%Pages: 4 1
%%BoundingBox: 0 0 612 792
%%DocumentFonts: Times-Roman Times-Bold Times-Italic
%%EndComments
%DVIPSCommandLine: dvips -o gothic.ps gothic
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}
B /TR{translate}N /isls false N /vsize 11 72 mul N /@rigin{isls{[0 -1 1 0 0 0]
concat}if 72 Resolution div 72 VResolution div neg scale isls{Resolution hsize
-72 div mul 0 TR}if Resolution VResolution vsize -72 div 1 add mul TR matrix
currentmatrix dup dup 4 get round 4 exch put dup dup 5 get round 5 exch put
setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed
true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N
/IE 0 N /ctr 0 N /df-tail{/nn 8 dict N nn begin /FontType 3 N /FontMatrix
fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{
CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn
put /ctr 0 N[}B /df{/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0
0 sf neg 0 0]N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data
dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{128
ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127
sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type
/stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N
/cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get
S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height
sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0
-1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}imagemask restore}B /D{/cc X dup
type /stringtype ne{]}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1
ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}
B /I{cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
0 0 moveto}N /eop{SI restore showpage userdict /eop-hook known{eop-hook}if}N
/@start{userdict /start-hook known{start-hook}if /VResolution X /Resolution X
1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn
put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1
0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval
(Display)eq}{pop false}ifelse}{false}ifelse end{{gsave TR -.1 -.1 TR 1 1 scale
rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 -.1 TR rulex
ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /a{moveto}B
/delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}
B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B
/k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1
w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{
/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
TeXDict begin /rf{655360 div mul 7227 div Resolution mul /PixPerEm X findfont
dup length 1 add dict /nn X{1 index /FID ne{nn 3 1 roll put}{pop pop}ifelse}
forall nn /Encoding get 1 0 1 255{2 index exch get /.notdef ne{1 add}if}for
dict begin 0 1 255{255 exch sub 2 copy get 3 index 2 index get 1000 mul
PixPerEm div def pop}for pop pop nn /Metrics currentdict put end{/foo setfont}
2 array copy cvx dup 0 nn dup definefont[PixPerEm 0 0 PixPerEm VResolution mul
Resolution div neg 0 0]makefont dup /nn X put N}N /ObliqueSlant{dup sin S cos
div neg}B /SlantFont{/foo X[1 0 foo 1 0 0]TransFont}N /ExtendFont{/foo X 3 2
roll[S{foo div}forall]3 1 roll[foo 0 0 1 0 0]TransFont}N /TransFont{S findfont
S makefont dup length dict /nn X{1 index /FID ne{nn 3 1 roll put}{pop pop}
ifelse}forall dup nn definefont pop}N end
%%EndProcSet
TeXDict begin 40258437 52099154 1000 300 300 @start /Fa 2 115
df<007C000C0018001800180018003007B00C7010703060606060606060C0C0C0C8C0C841C862
D03C700E147E9311>100 D<31E05A704C709C609800180018003000300030003000600060000C
0D7F8C0F>114 D E /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 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 /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 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 /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 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 /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 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 /Ff [ 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 32
29 29 58 48 19 19 19 29 33 15 19 15 16 29 29 29 29 29 29 29
29 29 29 19 19 33 33 33 29 54 42 39 42 42 39 36 45 45 23 29
45 39 55 42 45 36 45 42 32 39 42 42 58 42 42 39 19 16 19 34
29 19 29 32 26 32 26 19 29 32 16 19 32 16 48 32 29 32 32 26
23 19 32 29 42 29 29 26 23 13 23 30 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 29 29 10 29
29 29 29 16 29 29 19 19 32 32 0 29 29 29 15 0 31 20 19 29 29
29 58 58 0 29 0 19 19 19 19 19 19 19 19 0 19 19 0 19 19 19
58 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 58 0 17 0 0 0 0 39 45 58
19 0 0 0 0 0 42 0 0 0 16 0 0 16 29 42 32 0 0 0 0 ] /Times-Bold
1000 917504 rf /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 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 /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 18 23 29 35 35 59 55 23 23 23 35 40 18 23 18 20 35 35 35
35 35 35 35 35 35 35 20 20 40 40 40 31 65 51 47 47 51 43 39
51 51 23 27 51 43 63 51 51 39 51 47 39 43 51 51 67 51 51 43
23 20 23 33 35 23 31 35 31 35 31 23 35 35 20 20 35 20 55 35
35 35 35 23 27 20 35 35 51 35 35 31 34 14 34 38 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 23
35 35 12 35 35 35 35 13 31 35 23 23 39 39 0 35 35 35 18 0 32
25 23 31 31 35 71 71 0 31 0 23 23 23 23 23 23 23 23 0 23 23
0 23 23 23 71 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 63 0 19 0 0 0
0 43 51 63 22 0 0 0 0 0 47 0 0 0 20 0 0 20 35 51 35 0 0 0 0
] /Times-Roman 1000 1114112 rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300
TeXDict begin

%%EndSetup
%%Page: 1 1
bop 708 286 a Fh(The)19 b(Gothic)f(project)910 407 y Fg(IRISA)855
465 y(Equipe)13 b(LSP)551 523 y(Campus)g(de)f(Beaulieu)h(35042)f(Rennes)h(C)
1308 524 y(\302)1305 523 y(edex)877 581 y(FRANCE)0 744 y Ff(Personnel)94
829 y Fe(Principal)d(investigator)47 b(Michel)10 b(Ban)697
830 y(\303)695 829 y(atre)94 878 y(Research)i(staf)o(f)170
b(Pascale)12 b(Le)f(Certen)500 928 y(Gilles)f(Muller)500 978
y(Christine)f(Morin)94 1028 y(Students)262 b(Y)l(asmina)11
b(Belhamissi)500 1078 y(Marc)g(Benveniste)500 1127 y(Pack)g(Heng)500
1177 y(V)-5 b(al)557 1178 y(\302)555 1177 y(erie)11 b(Issarny)500
1227 y(Philippe)e(Joubert)500 1277 y(Isabelle)i(Puaut)500 1327
y(Bruno)f(Rochat)500 1376 y(Hector)h(Ruiz)e(Barradas)500 1426
y(Patrick)h(Sanchez)94 1476 y(Engineers)240 b(Jean)11 b(Paul)g(Routeau)500
1526 y(Patrick)f(Stefanelli)0 1657 y Ff(Pr)o(oject)k(Description)0
1759 y Fd(Backgr)o(ound)0 1839 y Fe(Gothic)d([1,)h(29,)h(3)o(,)g(21])f(is)g
(a)g(INRIA-BULL)g(research)i(project.)0 1889 y(The)f(objectives)f(of)g
(Gothic)g(are)h(to)f(provide)f(an)i(integrated)e(re-)0 1939
y(liable)e(distributed)f(operating)h(system)h(on)g(a)g(network)f(of)h(multi-)
0 1988 y(processor)h(workstations.)k(A)c(\256rst)g(version)f(of)g(Gothic)g
(is)h(func-)0 2038 y(tioning.)34 b(It)17 b(supports)f(network)g(transparency)
i(provided)e(by)0 2088 y(a)f(generalized)h(virtual)d(memory)j(management)g
(facility)m(,)f(reli-)0 2138 y(able)f(process)g(management)g(and)g(inter)o
(-process)f(communica-)0 2188 y(tion)c(based)j(on)e(stable)h(storage)g
(boards,)g(and)f(a)i(parallel)e(object-)0 2237 y(oriented)f(language)i
(running)d(on)i(the)g(distributed)e(architecture.)0 2353 y
Fc(Pr)o(ogramming)i(Language)f(Issues)0 2433 y Fe(A)15 b(new)f(concept,)i
(the)f Fb(multipr)n(ocedur)n(e)f Fe([5,)g(40])g(has)h(been)g(in-)0
2483 y(vestigated.)g(It)10 b(is)g(a)h(generalization)e(of)i(the)f(procedure)g
(concept)0 2532 y(which)d(integrates)g(nicely)g(procedural)g(con)o(trol)f
(and)g(paralleli)o(sm.)0 2582 y(This)k(concept)h(allows,)g(in)e(some)j(ways,)
f(the)f(reconciliation)f(be-)0 2632 y(tween)e(the)g(object-oriented)f(world)g
(\(based)h(on)g(procedures\))g(and)996 744 y(parallelism.)13
b(Multiprocedures)6 b(are)i(integrated)e(into)f(an)j(object-)996
794 y(based)i(programming)f(language)h([24)o(])g(implemented)f(on)h(top)e(of)
996 844 y(Gothic.)996 951 y Fc(Memory)i(Management)h(Issues)996
1029 y Fe(T)m(o)k(solve)g(the)f(problem)h(of)f(sharing)h(the)f(secondary)i
(memory)996 1079 y(space)e(between)f(any)g(processes)h(running)d(on)i(the)f
(Gothic)g(sys-)996 1129 y(tem,)i(a)f(distributed)e(virtual)g(memory)j
(manager)g(had)f(been)g(de-)996 1179 y(signed)8 b([25)o(,)h(36)o(,)g(18)o(].)
15 b(This)8 b(manager)i(provides)d(the)h Fb(segment)g Fe(as)996
1228 y(the)f(single)g(unit)f(for)g(permanent)h(data)g(stor)o(age)g(and)g(int)
o(er)o(-process)996 1278 y(communication.)22 b(The)14 b(segments)g(are)f
(kept)g(consistent)f(using)996 1328 y(an)18 b(invalidation)e(protocol)h
(working)g(on)h(disk)g(pages.)40 b(This)996 1378 y(memory)13
b(management)g(was)g(used)g(to)e(implement)i(the)f(object-)996
1428 y(based)f(language)f(described)g(above.)996 1536 y Fc(Fault)g(T)l
(olerance)h(Issues)996 1613 y Fe(A)16 b(RAM-based)g(stable)h(storage)f
(device)h(has)g(been)f(designed)996 1663 y(in)f(the)g(framework)h(of)g
(Gothic)f(to)g(build)f(fault)h(tolerant)g(mul-)996 1713 y(tiprocessors)g([22)
o(,)h(8,)g(30)o(,)g(6].)31 b(Each)17 b(processor)e(is)h(equipped)996
1763 y(with)h(a)h(stable)g(memory)g(board.)38 b(Process)19
b(checkpoints)e(are)996 1813 y(stored)12 b(periodically)f(into)g(stable)i
(storage.)22 b(After)12 b(a)h(processor)996 1862 y(crash,)h(aborted)e
(processes)i(may)f(be)g(restarted)g(because)h(of)e(the)996
1912 y(atomic)17 b(updates)f(of)h(data)g(in)f(stable)h(storage)g(and)g
(redundant)996 1962 y(access)i(paths)f(to)f(the)g(board.)36
b(This)18 b(solution)d(is)i(achievable)996 2012 y(because)g(of)f(the)g(good)f
(performance)i(of)f(a)g(hardware)h(imple-)996 2062 y(mentation.)32
b(The)17 b(stable)g(storage)f(board)g(may)h(also)f(be)h(used)996
2111 y(for)f(an)g(ef)o(\256cient)h(implementation)e(of)h(reliable)f(inter)o
(-process)996 2161 y(communication)9 b([33,)i(13)o(,)g(26)o(,)g(17].)996
2277 y Fd(Curr)o(ent)h(Pr)o(ojects)996 2355 y Fc(Pr)o(ogramming)d(Language)h
(Issues)996 2433 y Fe(A)j(redesign)g(of)g(the)g(object-based)g(language)g(is)
g(currently)f(un-)996 2483 y(der)h(way)g(in)g(order)g(to)f(integrate)h
(exception)f(handling)g(mecha-)996 2532 y(nisms)7 b(and)f(to)h(provide)e(an)j
(appropriate)e(solution)t(to)h(the)f(dif)o(\256cult)996 2582
y(problem)j(of)g(making)g(inheritance)g(and)g(synchronization)f(\256t)h(to-)
996 2632 y(gether)16 b([38].)34 b(A)16 b(new)h(version)f(of)g(the)h
(associated)g(run-time)p eop
%%Page: 2 2
bop 0 154 a Fe(support)8 b(is)i(under)g(design)f(to)g(consider)h(in)f(depth)g
(the)h(following)0 203 y(aspects)k(:)20 b(\(i\))13 b(protection,)f(in)h
(order)f(to)h(get)g(the)g(bene\256t)g(of)g(the)0 253 y(object)f(concept)h(at)
f(run-time)g(level,)h(\(ii\))f(load-balancing,)g(\(iii\))0
303 y(distributed)d(garbage)i(collection.)16 b(A)11 b(\256rst)g(centralized)g
(version)0 353 y(of)f(the)g(run-time)f(support)g(is)h(achieved.)0
524 y Fc(Fault)g(T)l(olerance)h(Issues)0 623 y(The)17 b(FTM)g(machine)41
b Fe(The)17 b(aim)g(of)f(FTM)h(is)f(to)g(provide)g(a)0 673
y(general)g(purpose)g(fault)f(tolerant)g(distributed)e(operating)i(sys-)0
723 y(tem)c(which)g(can)h(support)e(a)h(wide)g(range)h(of)e(applications.)17
b(The)0 772 y(FTM)g(hardware)g(architecture)f([19,)h(37)o(])f(is)h(built)d
(from)j(stan-)0 822 y(dard)e(open)g(machines)h(connected)f(by)g(a)g(stable)g
(transactional)0 872 y(memory)m(.)h(A)9 b(stable)h(transactional)f(memory)g
([4])g(is)h(a)g(hardware)0 922 y(device)f(handling)d(data)i(structures)g
(inside)f(atomic)i(transactions.)0 972 y(In)e(such)g(an)g(architecture,)h
(processing)e(elements)i(are)f(built)e(using)0 1022 y(dynamic)11
b(redundancy)m(.)16 b(When)11 b(a)g(processor)f(fails)g(the)h(transac-)0
1071 y(tional)h(memory)j(enables)f(another)f(processor)h(to)f(recover)h(and)0
1121 y(restart)c(computations)f(from)h(a)h(previous)e(state.)42
1182 y(W)m(e)i(study)f(precisely)h(the)g(design)f(of)h(a)g(fault)g(tolerant)f
(kernel)0 1232 y(based)15 b(on)f(MACH/OSF)g(in)g(which)g(we)h(integrate)f
(basic)h(fault)0 1282 y(tolerant)d(mechanisms)i(in)e(order)h(to)f(provide)g
(reliable)g(servers,)0 1332 y(like)19 b(for)f(example)i(a)g(reliable)f
(distributed)e(virtual)h(memory)0 1381 y(server)f([42].)34
b(The)18 b(use)f(of)g(a)g(stable)g(transactional)f(memory)0
1431 y(to)10 b(build)e(reliable)i(programs)g(is)g(also)h(considered)f([20)o
(].)0 1602 y Fc(The)18 b(F)m(ASST)f(machine)42 b Fe(The)18
b(aim)f(of)g(F)m(ASST)h(is)f(to)g(build)0 1652 y(a)i(fault)e(tolerant)g
(tightly)f(coupled)i(multiprocessor)n(.)37 b(A)18 b(sta-)0
1702 y(ble)e(transactional)g(memory)h(\(STM\))g(is)f(used)h(instead)f(of)h
(the)0 1752 y(common)f(memory)m(.)32 b(Several)16 b(processors)g(access)i
(the)d(stable)0 1802 y(transactional)9 b(memory)i(through)e(a)i(cache.)42
1863 y(The)19 b(STM)g(may)h(be)f(used)g(to)f(contain)h(process)g(recovery)0
1913 y(points.)f(They)12 b(are)g(updated)f(when)h(caches)h(\257ush)f(data.)19
b(In)11 b(this)0 1962 y(case)g(fault)d(tolerant)g(aspects)j(are)f
(transparent)e(to)h(the)g(processor)n(.)0 2012 y(Our)k(main)g(interest)g(is)g
(studying)f(cache)j(coherency)f(protocols)0 2062 y(and)e(the)g
(implementation)e(of)i(atomic)g(\257ushes)h(from)e(caches)j(to)0
2112 y(the)c(STM)h([14)o(].)0 2313 y Ff(Contact)0 2426 y Fe(Michel)f(Ban)197
2427 y(\303)195 2426 y(atre)0 2476 y(IRISA,)g(Campus)h(de)f(Beaulieu)0
2526 y(35042)f(Rennes)i(C)277 2527 y(\302)275 2526 y(edex)0
2576 y(FRANCE)0 2626 y(banatre@irisa.fr)996 154 y Ff(Refer)o(ences)1017
247 y Fe([1])20 b(J.)10 b(P)-5 b(.)11 b(Ban)1230 248 y(\303)1228
247 y(atre)g(and)f(M.)g(Ban)1497 248 y(\303)1495 247 y(atre,)h(eds.,)g
Fb(Les)g(syst)r(\301)-16 b(emes)12 b(dis-)1086 297 y(tribu)r(\302)-16
b(es)15 b(:)25 b(l'exp)r(\302)-16 b(erience)17 b(du)e(pr)n(ojet)h(Gothic)p
Fe(.)28 b(InterEdi-)1086 346 y(tions,)9 b(February)h(1991.)1017
430 y([2])20 b(J.)13 b(P)-5 b(.)14 b(Ban)1236 431 y(\303)1234
430 y(atre,)h Fb(La)e(pr)n(ogrammation)e(parall)r(\301)-16
b(ele)12 b(:)20 b(outils,)1086 480 y(m)r(\302)-16 b(ethodes)15
b(et)i(\302)-16 b(el)r(\302)g(ements)15 b(de)h(mise)f(en)g(\372uvr)n(e)p
Fe(.)29 b(Eyrolles,)1086 530 y(1990.)1017 614 y([3])20 b(J.)11
b(P)-5 b(.)11 b(Ban)1231 615 y(\303)1229 614 y(atre,)h(M.)f(Ban)1440
615 y(\303)1438 614 y(atre,)g(and)f(G.)h(Muller)n(,)g(\252Quelques)1086
664 y(aspects)h(du)f(syst)1337 665 y(\301)1335 664 y(eme)h(Gothic,\272)g
Fb(T)l(echniques)g(et)f(Sciences)1086 714 y(Informatiques)p
Fe(,)d(vol.)i(6,)h(no.)f(2,)g(1987.)1017 798 y([4])20 b(M.)27
b(Ban)1229 799 y(\303)1227 798 y(atre,)32 b(P)-5 b(.)28 b(Joubert,)i(C.)e
(Morin,)i(G.)d(Muller)n(,)1086 848 y(B.)20 b(Rochat,)j(and)d(P)-5
b(.)21 b(Sanchez,)j(\252Stable)d(transactional)1086 898 y(memories)13
b(and)g(fault)f(tolerant)g(architectures,\272)j Fb(Operat-)1086
947 y(ing)9 b(System)i(Review)p Fe(,)g(January)g(1991.)1017
1031 y([5])20 b(J.)15 b(Ban)1196 1032 y(\303)1194 1031 y(atre,)g(M.)g(Ban)
1412 1032 y(\303)1410 1031 y(atre,)h(and)e(F)m(.)h(Ployette,)g(\252The)g
(con-)1086 1081 y(cept)9 b(of)f(multi-fonction)e(:)13 b(a)d(general)f
(structuring)d(tool)i(for)1086 1131 y(distributed)f(operating)i(systems,\272)
i(in)e Fb(Pr)n(oc.)i(of)e(6th)g(Inter)o(-)1086 1181 y(national)d(Symposium)i
(on)g(the)g(Principles)h(of)f(Distributed)1086 1231 y(Computing)p
Fe(,)i(\(Cambridge\),)j(pp.)f(478\261485,)f(IEEE,)j(May)1086
1281 y(1986.)1017 1365 y([6])20 b(J.)12 b(P)-5 b(.)12 b(Ban)1233
1366 y(\303)1231 1365 y(atre,)g(M.)g(Ban)1443 1366 y(\303)1441
1365 y(atre,)g(and)f(G.)h(Muller)n(,)g(\252Ensuring)1086 1414
y(data)c(security)g(and)g(integrity)e(with)h(a)h(fast)g(stable)g
(storage,\272)1086 1464 y(in)f Fb(Pr)n(oc.)i(of)f(4th)f(International)e
(Confer)n(ence)k(on)e(Data)g(En-)1086 1514 y(gineering)p Fe(,)f(\(Los)g
(Angeles\),)i(pp.)e(285\261293,)g(IEEE,)g(Febru-)1086 1564
y(ary)k(1988.)1017 1648 y([7])20 b(J.)d(Ban)1198 1649 y(\303)1196
1648 y(atre,)h(M.)e(Ban)1418 1649 y(\303)1416 1648 y(atre,)j(and)d(G.)h
(Muller)n(,)g(\252Main)g(as-)1086 1698 y(pects)9 b(of)g(the)g(Gothic)f
(distributed)f(system,\272)j(in)f Fb(Eur)n(opean)1086 1748
y(T)l(eleinformatics)16 b(Confer)n(ence)i(on)f(Resear)n(ch)i(into)e(Net-)1086
1797 y(works)d(and)f(Distributed)f(Applications)p Fe(,)h(\(V)n(ienna,)h(Aus-)
1086 1847 y(tria\),)c(pp.)g(747\261760,)f(April)g(1988.)1017
1931 y([8])20 b(G.)e(Muller)n(,)h(\252Machine)f(tol)1513 1932
y(\302)1511 1931 y(erante)f(aux)h(pannes)1842 1932 y(\301)1840
1931 y(a)g(base)1086 1981 y(de)f(m)1176 1982 y(\302)1174 1981
y(emoire)i(stables.,\272)h(in)d Fb(SECURICOM)g(88)p Fe(,)i(\(Paris)1086
2031 y(\(France\)\),)11 b(pp.)f(181\261197,)f(March)i(1988.)1017
2115 y([9])20 b(G.)g(Muller)n(,)i(B.)e(Michel,)i(and)e(P)-5
b(.)21 b(Lecerten,)j(\252Portage)1086 2165 y(d'un)10 b(environnement)g(UNIX)h
(sur)g(le)h(noyau)e(Gothic,\272)i(in)1086 2215 y Fb(Convention)d(Unix)h('88)g
Fe(\(AFUU,)h(ed.\),)h(\(Paris)e(\(France\)\),)1086 2265 y(pp.)g(41\26152,)f
(March)i(1988.)996 2349 y([10])20 b(G.)d(Muller)n(,)h(B.)f(Michel,)h(and)f(P)
-5 b(.)18 b(Lecerten,)i(\252A)d(UNIX)1086 2399 y(environment)d(for)h(the)g
(Gothic)g(kernel,\272)i(in)e Fb(EUUG)h(88)p Fe(,)1086 2448
y(\(London)9 b(\(GB\)\),)h(pp.)g(219\261229,)f(April)g(1988.)996
2532 y([11])20 b(J.)d(P)-5 b(.)18 b(Ban)1244 2533 y(\303)1242
2532 y(atre,)h(M.)f(Ban)1467 2533 y(\303)1465 2532 y(atre,)h(and)e(C.)g
(Morin,)h(\252Imple-)1086 2582 y(menting)f(atomic)h(rendezvous)g(within)e(a)i
(transactional)1086 2632 y(framework,\272)12 b(in)e Fb(Pr)n(oc.)j(of)d(8th)g
(Symposium)g(on)h(Reliable)p eop
%%Page: 3 3
bop 90 154 a Fb(Distributed)12 b(Systems)p Fe(,)k(\(Seattle\),)g(pp.)e
(119\261128,)g(IEEE,)90 203 y(October)c(1989.)0 296 y([12])20
b(C.)f(Morin,)i(\252Fault-tolerant)d(implementation)g(of)g(CSP)90
346 y(input-output)6 b(commands,\272)12 b(in)d Fb(Pr)n(oc.)j(of)d(The)h
(Fourth)g(In-)90 396 y(ternational)5 b(Confer)n(ence)j(on)e(Fault-tolerant)f
(Computing)90 446 y(Systems)p Fe(,)11 b(\(Baden-Baden)f(\(RF)m(A\)\),)g
(September)h(1989.)0 538 y([13])20 b(C.)26 b(Morin,)k(\252An)c(ef)o
(\256cient)h(implementation)e(of)h(the)90 588 y(rendezvous)18
b(atomicity)e(property)m(,\272)k(in)d Fb(Parallel)g(Com-)90
638 y(puting)i(89)i Fe(\(D.)h(Evans,)i(G.)e(Joubert,)i(and)d(F)m(.)g(Peters,)
90 688 y(eds.\),)11 b(pp.)f(603\261608,)f(Elsevier)h(Science)h(Publishers)e
(B.V)90 738 y(\(North-Holland\),)f(1989.)0 830 y([14])20 b(M.)14
b(Ban)220 831 y(\303)218 830 y(atre)h(and)f(P)-5 b(.)15 b(Joubert,)f
(\252Cache)i(management)f(in)90 880 y(a)h(tightly)e(coupled)h(fault)g
(tolerant)g(multiprocessor)n(,\272)i(in)90 930 y Fb(Pr)n(oc.)k(of)d(20th)g
(International)e(Symposium)j(on)f(Fault-)90 980 y(T)l(olerant)13
b(Computing)f(Systems)p Fe(,)k(\(Newcastle\),)h(pp.)d(89\261)90
1030 y(96,)c(June)h(1990.)0 1122 y([15])20 b(V)-5 b(.)17 b(Issarny)m(,)h
(\252Design)f(and)g(implementation)e(of)h(an)h(ex-)90 1172
y(ception)10 b(handling)e(mechanism)k(for)e(communicating)g(se-)90
1222 y(quential)h(processes,\272)j(in)e Fb(CONP)-5 b(AR)12
b(90-V)m(APP)h(IV)-5 b(,)12 b(Joint)90 1272 y(Confer)n(ence)c(on)f(V)-5
b(ector)8 b(and)e(Parallel)h(Pr)n(ocessing,LNCS)90 1322 y Fe(\(H.)19
b(Burkhart,)h(ed.\),)i(pp.)c(604,615,)j(Springer)d(V)-5 b(erlag,)90
1371 y(1990.)0 1464 y([16])20 b(V)-5 b(.)14 b(Issarny)m(,)j(\252An)d
(exception)g(handling)f(mechanism)j(for)90 1514 y(communicating)i(sequential)
g(processes,\272)23 b(in)18 b Fb(Pr)n(oc.)i(of)90 1564 y(Computer)14
b(Systems)i(and)e(Softwar)n(e)g(Engineering)p Fe(,)i(\(T)m(el)90
1614 y(A)m(viv\),)9 b(May)i(1990.)0 1706 y([17])20 b(C.)13
b(Morin,)g(\252Building)e(a)j(reliable)f(communication)f(sys-)90
1756 y(tem)g(using)e(high)g(speed)i(stable)g(storage,\272)g(in)f
Fb(Pr)n(oc)i(of)e(the)90 1806 y(5th)16 b(Int.)h(Symp.)h(on)f(Computer)f(and)h
(Information)e(Sci-)90 1856 y(ences,)p Fe(,)d(\(Cappadocia,)f(T)o(urquey\),)f
(November)g(1990.)0 1948 y([18])20 b(B.)d(Rochat,)h(\252Implementation)e(of)g
(a)h(multi-cache)f(sys-)90 1998 y(tem)e(on)f(a)h(loosely)e(coupled)h
(multiprocessor)n(,\272)h(in)f Fb(Pr)n(oc.)90 2048 y(of)g(5th)f(Distributed)f
(Memory)j(Computing)d(Confer)n(ence)p Fe(,)90 2098 y(\(Charleston\),)e(pp.)h
(676\261681,)f(IEEE,)j(April)d(1990.)0 2191 y([19])20 b(M.)14
b(Ban)220 2192 y(\303)218 2191 y(atre,)h(G.)f(Muller)n(,)g(B.)g(Rochat,)g
(and)g(P)-5 b(.)15 b(Sanchez,)90 2240 y(\252Design)d(decisions)f(for)g(the)h
(FTM)g(:)f(A)h(general)g(purpose)90 2290 y(fault)6 b(tolerant)g(machine,\272)
h(in)f Fb(Pr)n(oc.)g(of)g(21th)g(International)90 2340 y(Symposium)15
b(on)h(Fault-T)l(olerant)e(Computing)f(Systems)p Fe(,)90 2390
y(\(Montr)211 2391 y(\302)209 2390 y(eal,)d(Canada\),)h(to)e(appear)n(,)j
(June)f(1991.)0 2483 y([20])20 b(G.)6 b(Muller)n(,)h(B.)f(Rochat,)i(and)e(P)
-5 b(.)6 b(Sanchez,)k(\252A)c(stable)g(trans-)90 2532 y(actional)k(memory)i
(for)e(building)f(robust)h(object)g(oriented)90 2582 y(programs,\272)g(in)e
Fb(Eur)n(oMicr)n(o)h(91)p Fe(,)g(\(V)n(iennes,)f(Autriche\),)h(to)90
2632 y(appear)n(,)j(sept)e(1991.)996 154 y([21])20 b(I.)13
b(Puaut,)h(M.)g(Ban)1372 155 y(\303)1370 154 y(atre,)h(and)e(J.)h(P)-5
b(.)14 b(Routeau,)g(\252Early)g(ex-)1086 203 y(periences)e(with)e(the)h
(Gothic)g(distributed)e(operating)h(sys-)1086 253 y(tem,\272)f(in)e
Fb(Pr)n(oc.)j(of)d(the)g(Symposium)g(on)h(Experiences)h(with)1086
303 y(Distributed)d(and)g(Mult)o(ipr)n(ocessor)g(Systems)g(\(SEDMS)g(II\))p
Fe(,)1086 353 y(\(Atlanta,)j(Geor)o(gia\),)i(pp.)f(271\261282,)f(March)i
(1991.)996 442 y([22])20 b(G.)11 b(Muller)n(,)g Fb(Conception)e(et)i(r)r
(\302)-16 b(ealisation)9 b(d'une)h(machine)1086 492 y(multipr)n(ocesseur)e(s)
s(\303)-17 b(ur)n(e)9 b(de)f(fonctionnement)p Fe(.)h(Phd.)f(thesis,)1086
542 y(University)g(of)i(Rennes)h(I,)f(June)h(1988.)996 631
y([23])20 b(A.)d(Kermarrec,)k Fb(La)c(transpar)n(ence)h(dans)e(les)i(syst)r
(\301)-16 b(emes)1086 681 y(distribu)r(\302)g(es:)30 b(l'appr)n(oche)18
b(de)h(GOTHIX)p Fe(.)37 b(Phd.)19 b(thesis,)1086 731 y(University)8
b(of)i(Rennes)h(I,)f(September)h(1989.)996 820 y([24])20 b(P)-5
b(.)16 b(Lecler)n(,)j Fb(Une)c(appr)n(oche)h(de)g(la)f(pr)n(ogrammation)f
(des)1086 870 y(syst)r(\301)-16 b(emes)12 b(distribu)r(\302)-16
b(es)11 b(fond)r(\302)-16 b(ee)11 b(sur)g(la)g(fragmentation)e(des)1086
920 y(donn)r(\302)-16 b(ees)12 b(et)g(des)h(calculs,)g(et)f(sa)h(mise)f(en)h
(\372uvr)n(e)g(dans)f(le)1086 970 y(syst)r(\301)-16 b(eme)10
b(GOTHIC)p Fe(.)i(Phd.)e(thesis,)f(University)e(of)i(Rennes)1086
1020 y(I,)h(September)h(1989.)996 1109 y([25])20 b(B.)11 b(Michel,)h
Fb(Conception)e(et)i(r)r(\302)-16 b(ealisation)10 b(de)h(la)g(m)r(\302)-16
b(emoir)n(e)1086 1159 y(virtuelle)18 b(de)h(GOTHIC)p Fe(.)36
b(Phd.)19 b(thesis,)i(University)16 b(of)1086 1209 y(Rennes)10
b(I,)h(September)g(1989.)996 1298 y([26])20 b(C.)e(Morin,)h
Fb(Pr)n(otocole)f(d'appel)f(de)h(multipr)n(oc)r(\302)-16 b(edur)n(e)22
b(\301)-18 b(a)1086 1348 y(distance)11 b(dans)g(le)g(syst)r(\301)-16
b(eme)13 b(Gothic)e(:)17 b(d)r(\302)-16 b(e\256nition)9 b(et)j(mise)1086
1398 y(en)e(\372uvr)n(e)p Fe(.)16 b(Phd.)10 b(thesis,)g(University)e(of)i
(Rennes)g(I,)h(1990.)996 1487 y([27])20 b(V)-5 b(.)11 b(Issarny)m(,)g
Fb(Un)g(mod)r(\301)-16 b(ele)11 b(pour)g(le)g(traitement)e(des)j(excep-)1086
1537 y(tions)g(dans)i(les)g(pr)n(ogrammes)g(parall)r(\301)-16
b(eles)p Fe(.)24 b(Phd.)14 b(thesis,)1086 1587 y(University)8
b(of)i(Rennes)h(I,)f(October)h(1991,)e(to)h(appear)n(.)996
1676 y([28])20 b(B.)c(Rochat,)i Fb(Une)f(appr)n(oche)f(dans)g(la)g
(construction)f(de)1086 1726 y(services)j(\256ables)e(dans)g(les)h(syst)r
(\301)-16 b(emes)18 b(op)r(\302)-16 b(eratoir)n(es)17 b(dis-)1086
1776 y(tribu)r(\302)-16 b(es)15 b Fe(Phd.)10 b(thesis,)h(University)e(of)h
(Rennes)g(I,)h(October)1086 1826 y(1991,)e(to)h(appear)n(.)996
1915 y([29])20 b(J.)28 b(Ban)1209 1916 y(\303)1207 1915 y(atre,)k(M.)c(Ban)
1455 1916 y(\303)1453 1915 y(atre,)k(and)c(F)m(.)g(Ployette,)j(\252An)1086
1965 y(overview)18 b(of)f(the)i(Gothic)e(distributed)f(operating)h(sys-)1086
2015 y(tem,\272)11 b(Research)h(report)d(504,)h(INRIA,)g(March)h(1986.)996
2104 y([30])20 b(J.)15 b(Ban)1196 2105 y(\303)1194 2104 y(atre,)h(M.)f(Ban)
1413 2105 y(\303)1411 2104 y(atre,)i(and)d(G.)h(Muller)n(,)h(\252An)f(active)
1086 2154 y(stable)g(storage)g(and)h(its)e(integration)g(in)g(a)i
(multiproces-)1086 2204 y(sor)8 b(architecture.,\272)i(Research)g(report)e
(693,)h(INRIA,)f(June)1086 2254 y(1987.)996 2343 y([31])20
b(G.)g(Muller)n(,)i(B.)e(Michel,)i(and)e(P)-5 b(.)21 b(Lecerten,)j
(\252Portage)1086 2393 y(d'un)17 b(environnement)h(UNIX)g(sur)h(le)f(noyau)g
(Gothic,\272)1086 2443 y(Research)11 b(report)f(756,)g(INRIA,)g(November)g
(1987.)996 2532 y([32])20 b(V)-5 b(.)20 b(Issarny)m(,)i(\252Le)g(traitement)d
(d'exceptions:)33 b(Aspects)1086 2582 y(th)1121 2583 y(\302)1119
2582 y(eoriques)11 b(et)i(pratiques,\272)h(Research)g(report)e(1118,)g(IN-)
1086 2632 y(RIA,)e(November)h(1989.)p eop
%%Page: 4 4
bop 0 154 a Fe([33])20 b(C.)10 b(Morin,)g(\252Implementing)g(atomic)h
(rendezvous)f(within)90 203 y(a)16 b(transactional)e(framework,\272)k
(Research)e(report)f(1092,)90 253 y(INRIA,)10 b(September)h(1989.)0
336 y([34])20 b(M.)13 b(Ban)219 337 y(\303)217 336 y(atre)h(and)f(P)-5
b(.)14 b(Joubert,)g(\252A)f(fault)g(tolerant)f(tightly)90 386
y(coupled)f(multiprocessor)f(architecture)h(based)h(on)f(stable)90
436 y(transactional)16 b(memory)m(,\272)j(Research)f(report)d(1178,)j(IN-)90
486 y(RIA,)10 b(Rennes)h(\(France\),)g(March)g(1990.)0 569
y([35])20 b(M.)h(Benveniste,)j(\252Operational)c(semantics)i(of)f(a)g(dis-)90
619 y(tributed)15 b(object-oriented)f(language)j(and)f(its)g(Z)h(formal)90
668 y(speci\256cation,\272)g(Research)g(report)d(1230,)i(INRIA,)f(May)90
718 y(1990.)0 801 y([36])20 b(B.)11 b(Michel,)h(\252Gothic)f(memory)g
(management)i(:)j(a)c(multi-)90 851 y(processor)d(shared)h(single)f(level)g
(store,\272)h(Research)g(report)90 901 y(1202,)g(INRIA,)g(March)g(1990.)0
984 y([37])20 b(M.)14 b(Ban)220 985 y(\303)218 984 y(atre,)h(G.)f(Muller)n(,)
g(B.)g(Rochat,)g(and)g(P)-5 b(.)15 b(Sanchez,)90 1034 y(\252Design)d
(decisions)f(for)g(the)h(FTM)g(:)f(A)h(general)g(purpose)90
1083 y(fault)h(tolerant)f(machine,\272)k(tech.)e(rep.,)i(INRIA,)d(January)90
1133 y(1991.)0 1216 y([38])20 b(M.)13 b(Benveniste)f(and)g(V)-5
b(.)13 b(Issarny)m(,)h(\252Arche)f(:)19 b(un)12 b(langage)90
1266 y(parall)187 1267 y(\301)185 1266 y(ele)248 1267 y(\301)246
1266 y(a)i(objets,\272)g(tech.)g(rep.,)h(INRIA,)e(1991.)22
b(to)12 b(ap-)90 1316 y(pear)n(.)0 1399 y([39])20 b(J.)c(Ban)201
1400 y(\303)199 1399 y(atre,)i(M.)e(Ban)421 1400 y(\303)419
1399 y(atre,)h(and)f(G.)g(Muller)n(,)h(\252Architec-)90 1449
y(ture)e(of)f(fault-tolerant)f(multiprocessor)h(workstations,\272)90
1499 y(in)c Fb(Second)h(W)l(orkshop)g(on)g(W)l(orkstation)e(Operating)h(Sys-)
90 1548 y(tems)p Fe(,)j(\(Paci\256c)g(Groove)f(\(CA\)\),)f(IEEE)i(Computer)f
(Soci-)90 1598 y(ety)m(,)f(September)g(1989.)0 1681 y([40])20
b(J.)g(Ban)205 1682 y(\303)203 1681 y(atre)g(and)g(M.)h(Benveniste,)h
(\252Multiprocedures:)90 1731 y(Generalized)k(procedures)f(for)g(concurrent)g
(program-)90 1781 y(ming,\272)f(in)c(3)302 1766 y Fa(r)q(d)359
1781 y Fb(W)l(orkshop)g(on)h(Lar)n(ge)h(Grain)e(Paral-)90 1831
y(lelism)p Fe(,)12 b(\(Software)g(Engineering)e(Institute,)h(CMU\),)h(Oc-)90
1880 y(tober)e(1989.)0 1963 y([41])20 b(M.)27 b(Ban)233 1964
y(\303)231 1963 y(atre,)32 b(P)-5 b(.)28 b(Joubert,)j(C.)c(Morin,)j(G.)e
(Muller)n(,)90 2013 y(B.)20 b(Rochat,)j(and)d(P)-5 b(.)21 b(Sanchez,)k
(\252Stable)20 b(transactional)90 2063 y(memories)13 b(and)f(fault)g
(tolerant)f(architectures,\272)j(in)e Fb(Pr)n(oc.)90 2113 y(of)d(Fourth)h
(ACM)g(SIGOPS)g(Eur)n(opean)g(W)l(orkshop,)g(Fault)90 2163
y(T)l(olerance)e(Support)f(in)g(Distributed)f(Systems)p Fe(,)j(\(Bologne,)90
2213 y(Italy\),)h(September)h(1990.)0 2296 y([42])20 b(M.)14
b(Ban)220 2297 y(\303)218 2296 y(atre,)h(G.)f(Muller)n(,)g(B.)g(Rochat,)g
(and)g(P)-5 b(.)15 b(Sanchez,)90 2345 y(\252A)c(reliable)g(distributed)d
(virtual)h(memory)j(on)e(top)g(of)h(the)90 2395 y(mach)19 b(kernel,\272)i(in)
c Fb(OSF)h(Micr)n(o)g(Kernel)g(Applications)90 2445 y(W)l(orkshop)p
Fe(,)10 b(\(Grenoble,)g(France\),)i(November)e(1990.)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF