From: kato@is.s.u-tokyo.ac.jp (Kazuhiko Kato)
Subject: Last post: JSSST Evening Tutorial on Distributed Operating Systems.
Organization: Dept. of Info. Sci., Fac. of Sci, Univ. of Tokyo, Japan.
Distribution: fj
Date: Mon, 7 Sep 1992 05:40:14 GMT


$@ElBg!&M}!&>pJs2J3X$N2CF#$G$9!#%=(J$@%U%H%&%'%"2J3X2q<g:EJ,;6(J
OS$@$N%A%e!<%H%j%"%k$N?=$79~$_Dy@Z(J(9$@7n(J15$@F|(J)$@$,Gw$C$F$^$$$j$^(J
$@$7$?!#Dj0w$^$G$^$@(J$@$$$/$P$/$+$NM>M5$,$4$6$$$^$9!#;22C$r4u(J
$@K>$5$l$kJ}$O$*Aa$a$K$*?=$79~$_2<$5$$!#(J

	$@2CF#OBI'!w>pJs2J3X2J(J.$@M}3XIt(J.$@El5~Bg3X(J

------------------------- Cut here ----------------------------

               $@F|K\(J$@%=%U%H%&%'%"2J3X2q<g:E(J
                $@%$%V%K%s%0(J $@%A%e!<%H%j%"%k(J
            $@!VJ,;6%*%Z%l!<%F%#%s%0%7(J$@%9%F%`!W(J
                      $@3+:E$N8f0FFb(J

$@F|K\%=%U%H%&%'%"2J3X2q$G$O!"%=%U%H%&%'%"$K7H$o$k<c<j5;=Q(J$@<T!&8&5f(J
$@<T!"Bg3X@8!&Bg3X1!@8$J$I$rBP>]$H$7$F!"$5$^$6$^$J%A%e!<%H%j%"%k$r(J
$@3+:E$7$F$$$^$9!#(J

$@:rG/(J12$@7n$K(J$@$O!"J,;6%*%Z%l!<%F%#%s%0%7%9%F%`$K4X$9$k%&%#%s%?!<%A%e!<(J
$@%H%j%"%k$r3+:E$7$^$7$?$,!"9,$$$K$b9%I>$rGn$9(J$@$k$3$H$,$G$-$^$7$?!#(J
$@:#2s$O!"Ck4VB?K;$J<R2q?M$d3X@8$N3'MM$rBP>]$K%$%V%K%s%0%A%e!<%H%j(J
$@%"%k$r3+:E$$$?$7(J$@$^$9!#8fET9g$K$h$jA02s$N%A%e!<%H%j%"%k$K;22C$G$-(J
$@$J$+$C$?J}$O!"$<$R$3$N5!2q$K8f;22C2<$5$$!#$^$?!"?&>l(J$@$d8&5f<<$G$N(J
$@?7?M650iEy$K$b8f3hMQ2<$5$$!#(J

$@:#2s$N%A%e!<%H%j%"%k$b!"A02s$N%A%e!<%H%j%"%k$HF1MM!"8&5fJ,(J$@Ln$N$_(J
$@$J$i$:>&MQJ,Ln$K$*$$$F$b9b$$4X?4$r=8$a$F$$$kJ,;6%*%Z%l!<%F%#%s%0(J
$@%7%9%F%`$K$D$$$F!"4pAC35G0$+$i(J$@%7%9%F%`$N@_7W$H<B8=$^$G!"<B:]$KJ,(J
$@;6%*%Z%l!<%F%#%s%0%7%9%F%`$K4X$9$k8&5f3+H/$K=>;v$7$F$$$k0l@~$N8&(J
$@5f(J$@<T$,2r@b$r9T$J$$$^$9!#(J

$@%A%e!<%H%j%"%k$OBg$-$/#2$D$NItJ,$KJ,$+$l$F$$$^$9!#A0H>$O!"J,;6%*(J
$@%Z%l!<%F%#%s(J$@%0%7%9%F%`$K4X$9$kOC$r;O$a$FJ9$/?M$K$b$=$NFbMF$,==J,(J
$@$KM}2r$G$-$k$h$&$K!"4pACE*$J35G0$H!"$3$l$^$G$N8&(J$@5f!&3+H/$NN.$l$r!"(J
4$@2s$K$o$?$C$F$8$C$/$j2r@b$7$^$9!#8eH>$O!"8=:_%[%C%H$K8&5f$,?J$a$i(J
$@$l$F$$$k8&5f%F!<(J$@%^$N$=$l$>$l$K$D$$$F!"<B:]$K%7%9%F%`3+H/$r9T$J$C(J
$@$F$$$k8&5f<T$,!"$=$NJ,Ln$N8&5fGX7J$H$3$l$^$G$N8&5fF0(J$@8~!"$=$7$F<+(J
$@?H$G$J$5$C$F$$$k8&5f$r6qBNNc$H$7$F2r@b$7$^$9!#(J

$@4pACJT$@$1$rJY6/$7$?$$!"$b$7$/$O!"3FO@$@(J$@$1$rJY6/$7$?$$!"$H$$$&J}!9(J
$@$NJX59$r?^$j!"A0H>$H8eH>$rJL!9$K?=$79~$a$k$h$&$K$7$^$7$?!#(J

1. $@F|;~(J
    1992$@G/(J10$@7n(J7$@F|$+$i(J12$@7n(J2$@F|$^$G$NKh=5?eMKF|(J 18:30$@!A(J20:30 ($@A4(J8$@=5(J)
    ($@$?$@$7(J10$@7n(J28$@F|(J($@?e(J)$@$O=|$/(J)
    $@A0H>(J4$@=5(J: $@4pACJT(J
    $@8eH>(J4$@=5(J: $@3FO@JT(J

2. $@>l=j(J
    $@?7@$Be%3%s%T%e!<%?5;=Q3+H/5!9=(J(ICOT) Annex$@2q5D<<(J
    $@")(J108 $@9A6h;0ED(J1-4-28 $@;0ED9q:]%S%k(JAnnex
    (JR $@;3<j@~EDD.1X2<<V(J $@ELJb(J15$@J,(J 
     $@Kt$O(J $@CO2<E4ET1D;0ED@~(J $@<G8x1`(J$@1X2<<V(J $@ELJb(J10$@J,(J)


3. $@%W%m%0%i%`(J

3.1 $@4pACJT(J

$@2s(J   $@F|IU(J   $@9V;U(J        $@9V1i%F!<%^$HFbMF(J
(1) 10$@7n(J7$@F|(J $@@6(J$@?e8,B?O:(J  $@J,;6(JOS$@$H$O(J: $@JBNs=hM}$HJ,;6=hM}!"(J
			$@JBNsJ,;6=hM}%7%9%F%`$N%"!<%-%F%/%A%c!"$J$<J,;6=hM}$+!"(J
			$@J,;6(JOS$@$N@_7WL\I8!"J,;6(JOS$@$H(JUNIX$@!"J,;6(JOS$@$NNr;K$HH/E8(J
			OS$@$N9=@.K!(J:
			$@4pK\E*$J<jK!!"C1AX%7%9%F%`$H%W(J$@%m%;%9;X8~%7%9%F%`!"(J
			$@%5!<%P$H%+!<%M%k!"J,;6%*%Z%l!<%F%#%s%0%7%9%F%`$N9=@.(J

(2) 10$@7n(J14$@F|(J $@@6?e8,B?O:(J $@Bg0hE*$J%W%m%;%94IM}(J:
			$@%W%m%0%i%`$N1s3V<B9T$H%W%m%;%90\Aw!"%W%m%;%90\Aw(J
			$@$NL\E*!"%W%m%;%90\Aw$N5!(J$@9=!"Ii2YJ,;6$NJ}?K!";q8;4IM}(J
			$@Bg0hE*$JL>A0$N4IM}(J: $@4pK\35G0!"Bg0hE*(J
			$@$JL>A0$N7A<0!"LZ9=B$$NL>A0$N2r(J$@7h!"%7%9%F%`8~$1$NL>A0(J

(3) 10$@7n(J21$@F|(J $@2CF#OBI'(J $@%W%m%;%94VDL?.(J: $@%a%C%;!<%8EAC#$N4pK\J}<0!"(J
			$@1s3V<jB3$-(J$@8F$S=P$7!"2>A[5-21$H$NE}9g(J
			$@%M%C%H%o!<%/2>A[5-21(J: 
			$@4pK\35G0!"J,;66&M-%a%b%j!"(J64$@%S%C%H(JOS$@$NF08~(J

(4) 11$@7n(J4$@F|(J $@@6?e8,B?O:(J $@J,;6%U%!%$%k%7%9%F%`(J: 
			$@%-%c%C%7%s%0!"%U%!%$%k%5!<%P!"F~=PNO(J
			$@9b?.Mj2=5;K!(J: $@%l%W%j%1!<%7%g%s!"0l4S@-@)8f!"(J
			$@%"%H%_%C%/%H%i%s%6%/%7%g%s!"F1;~<B9T$N@)8f(J

$@Cm0U(J: 10$@7n(J28$@F|$O>pJs=h(J$@M}3X2q<g:E!V%3%s%T%e!<%?%7%9%F%`!&%7%s%]%8(J
$@%&%`!W$H>WFM$9$k$N$G!"$O$:$7$F$"$j$^$9!#$4Cm0U2<$5$$!#(J



3.2 $@3FO@JT(J

$@2s(J   $@F|IU(J   $@9V;U(J        $@9V1i%F!<%^$HFbMF(J

(1) 11$@7n(J11$@F|(J $@FAED1Q9,(J	$@%^%$%/%m%+!<%M%k5;=Q$H(J
			$@%^%k%A%W%m%;%C%5%*%Z%l!<%F%#%s%0%7%9%F%`(J
			$@%^%$%/%m%+!<%M%k5;=Q$N354Q!"%^%k%A%9%l%C%I!"(J
			$@JBNs=hM}(J$@$N$?$a$N%9%1%8%e!<%j%s%0!&F14|!&DL?.5!9=!"(JMach

(2) 11$@7n(J18$@F|(J $@FAED1Q9,(J	$@J,;6%j%"%k%?%$%`%*%Z%l!<%F%#%s%0(J$@%7%9%F%`(J:
			$@J,;6%j%"%k%?%$%`(JOS$@$N354Q!"%W%i%$%*%j%F%#!&(J
			$@%$%s%P!<%8%g%sLdBj!"J,;6%j%"%k%?%$%`%7%9%F(J$@%`$N$?$a$N(J
			$@%9%1%8%e!<%j%s%0!&F14|!&DL?.5!9=!"(JARTS$@!"(JReal-Time Mach

(3) 11$@7n(J25$@F|(J $@2#<jLwI'(J $@%*%V%8%'%/(J$@%H;X8~J,;6%*%Z%l!<%F%#%s%0%7%9%F%`(J
			$@%*%V%8%'%/%H;X8~(JOS$@$NNr;K!"%1!<%Q%S%j%F%#%7%9%F%`!"(J
			OS$@$K$*$1$k(J$@%*%V%8%'%/%H!"%*%V%8%'%/%H;X8~(J
			OS$@9=C[>e$NLdBjE@!"$$$/$D$+$N<B:]$N%7%9%F%`Nc(J

(4) 12$@7n(J2$@F|(J $@GkLnC#Li(J	$@J,;6%*%Z%l!<%F%#%s%0%7%9%F%`$K$*$1$k%;%-%e%j%F%#5;=Q(J
			$@%"%/%;%9@)8f!"%1%$%Q%S%j%F%#!"%/%i%$%(%s%H!&%5(J$@!<%P!&(J
			$@%b%G%k$NLdBjE@!"%f!<%6G'>Z!$0E9f2=!"(J
			$@J,;64D6-$K$*$1$k%;%-%e%j%F%#5;=Q!$J,;6(JOS ToM$@$N4pK\35(J$@G0!"(J
			ToM$@$K$*$1$k%;%-%e%j%F%#5;=Q(J

$@$J$*!"9V5AFbMF$O!">e$NI=$H<c430[$J$k>l9g$,$"$j$^$9$3$H$r8fN;>52<(J$@$5$$!#(J

$@9V;U=jB0(J
$@@6?e8,B?O:(J ($@EE5$DL?.Bg3X(J)    $@2#<jLwI'(J ($@%=%K!<(JCSL)
$@2CF#OBI'(J ($@El5~Bg3X(J)          $@GkLnC#(J$@Li(J ($@7D1~Bg3X(J) 
$@FAED1Q9,(J ($@7D1~Bg3X(J & CMU)


4. $@Dj0w(J 100$@L>(J

5. $@;22CHq$H%F%-%9%H(J

$@%/%i%9(JA: $@A4(J8$@=5$K;22C$9(J$@$k>l9g(J
           $@0lHL(J      $@3X@8(J
$@2q0w(J      28,000$@1_(J  2,800$@1_(J
$@Hs2q0w(J    42,000$@1_(J  4,200$@1_(J

$@%/%i%9(JB: $@4p(J$@ACJT(J4$@=5$N$_$K;22C$9$k>l9g$*$h$S(J
$@%/%i%9(JC: $@3FO@JT(J4$@=5$N$_$K;22C$9$k>l9g(J
	   $@0lHL(J	      $@3X@8(J
$@2q0w(J	  14,000$@1_(J   1,400$@1_(J
$@Hs2q0w(J	  21,000$@1_(J   2,100$@1_(J

$@F~2q?=$79~$_Cf$NJ}$O2q0w$NHqMQ$G;22C$G$-$^$9!#(J

$@K\%A%e!<%H(J$@%j%"%k$G$O%F%-%9%H$H$7$F!"K\3X2q$,JT=8$9$k;qNA$H!"<!$N(J
$@C19TK\$r;HMQ$7$^$9!#(J

    $@A0@n!"=j!"@6?e(J $@JT!VJ,(J$@;6%*%Z%l!<%F%#%s%0%7%9%F%`!W!"(J
    $@6&N)=PHG!"(J($@@G9~$_Dj2A(J6,180$@1_(J ISBN4-320-02570-9.

$@$3$NC19TK\$O!"8D?M(J$@$G;};2$9$k$+!"EvF|2q>l$G9XF~$7$F2<$5$$(J($@2q>l$G$N(J
$@HNGdJ,$K4X$7$F$O3d$j0z$-$r8r>DCf(J)$@!#3X2qJT=8$N;qNA$NBe(J$@6b$O!">e5-;2(J
$@2CHq$K4^$^$l$F$$$^$9!#(J

6. $@?=$79~$_J}K!(J

$@D09V$r4uK>$5$l$kJ}$O!"=jDj$N?=$79~$_MQ;f$K5-F~$7(J$@!"(J1992$@G/(J9$@7n(J15$@F|$^(J
$@$G$KE~Ce$9$k$h$&$K!"2<5-?=$79~$_@h$K8fM9Aw2<$5$$!#F1;~$K2<5-6d9T(J
$@9V:B$K;22CHq$r8fAw(J$@6b2<$5$$!#Aw6b$r$b$C$FEPO?<uM}$H$7$^$9!#EEOC$d(J
$@EE;R%a!<%k$G$N?=$79~$_$O$G$-$^$;$s$N$G8fN;>52<$5$$!#EP(J$@O?<T$K$O!"(J
$@8eF|!"K\2q$+$i>\$7$$F|Dx$H2q>l0FFb?^$r$*Aw$j$7$^$9!#$J$*!"Dj0w$K(J
$@C#$7<!Bh!"?=$79~$_$rDy$a@Z(J$@$i$;$F$$$?$@$-$^$9$N$G!"$"$i$+$8$a8fN;(J
$@>52<$5$$!#@A5a=q$,I,MW$JJ}$O!"MQ;f$N(J[$@@A5a=q(J] $@$NMs$K%A%'%C%/$r$*(J$@4j(J
$@$$$7$^$9!#@^$jJV$7$*Aw$j$7$^$9!#6d9T$NAw6b95$($r$b$C$FNN<}=q$HCW(J
$@$7$^$9$,!"K\2q$NNN<}=q$,I,MW$J>l9g(J$@$O!"MQ;f$N(J[$@NN<}=q(J] $@$NMs$K%A%'%C(J
$@%/$r$7$F$$$?$@$1$l$P!"2q>l$G$*EO$7$7$^$9!#(J

$@?=$79~$_@h(J
    $@")(J105 $@El5~(J$@ET(J $@9A6h(J $@IM>>D.(J 2-4-1
    $@@$3&KG0W%;%s%?!<%S%k(J $@;d=qH"(J 1104 $@9f(J
    $@F|K\%=%U%H%&%'%"2J3X2q(J $@;vL36I(J
    $@J,(J$@;6(JOS $@%A%e!<%H%j%"%k78(J

$@Aw6b6d9T8}:B(J
    $@=;M'6d9T(J $@El5~8xL3It(J 501804 ($@IaDL(J)
    $@F|K\%=%U%H%&%'%"2J3X2q(J

7. $@Ld$$9g$o$;(J

$@F|K\%=%U%H%&%'%"2J3X2q;vL36I(J(TEL: 03-3436-4536)$@!"$^$?$O!"El5~Bg3X(J $@M}3XIt(J 
$@>pJs2J3X2J(J $@2CF#OBI'(J(E-mail:kato@is.s.u-tokyo.ac.jp,
TEL:03-3812-2111 $@Fb@~(J 4104, FAX:03-3818-1073)$@$^$G$*Ld$$9g$o$;(J$@2<$5$$!#(J
$@$J$*!"F|K\%=%U%H%&%'%"2J3X2q$G$O=I<K$N06@{$O$$$?$7$^$;$s$N$G8fN;>52<$5(J
$@$$!#$^$?!"<u9VEPO?<T$X(J$@$N8f0FFb$NH/Aw$,3+:ED>A0$K$J$k$3$H$b$"$j$^$9$,!"(J
$@8fN;>52<$5$$!#(J


				
		 1992 $@%$%V%K%s%0(J $@%A%e!<%H%j(J$@%"%k(J
		$@!VJ,;6%*%Z%l!<%F%#%s%0%7%9%F%`!W(J
			   $@;22C?=9~=q(J


  $@%$%V%K%s%0%A%e!<%H%j%"%k$X$N;22C$r0J2<$N(J$@$h$&$K?=$79~$_$^$9!#(J

$@;aL>(J($@$U$j$,$J(J):


$@=jB0(J:


$@=;=j(J:


$@EEOCHV9f(J:


E-mail: 


$@;22CHq(J:  ($@0J2<$N$$$:$l(J$@$+$K%A%'%C%/$7$F2<$5$$!#(J)


    $@%/%i%9(JA: $@A4(J8$@=5$K;22C$9$k>l9g(J
               $@0lHL(J        $@3X@8(J
    $@2q0w(J      28,000$@1_""(J  2,800$@1_""(J
    $@Hs2q0w(J    42,000$@1_""(J  4,200$@1_""(J

    $@%/%i%9(JB: $@4pACJT(J4$@=5$N$_$K;22C$9$k(J$@>l9g(J
               $@0lHL(J         $@3X@8(J
    $@2q0w(J      14,000$@1_""(J   1,400$@1_""(J
    $@Hs2q0w(J    21,000$@1_""(J   2,100$@1_""(J

    $@%/%i%9(JC: $@3FO@JT(J4$@=5$N$_$K;22C$9$k>l9g(J
               $@0lHL(J         $@3X@8(J
    $@2q0w(J      14,000$@1_""(J   1,400$@1_""(J
    $@Hs2q0w(J    21,000$@1_""(J   2,100$@1_""(J


$@2q0w$NJ}$O2q0wHV9f(J($@$^$?$OF~2q?=$79~$_F|(J):


$@I,MW$JJ}$O%A%'%C%/$7$F2<$5$$(J:

     $@@A5a=q""(J

     $@NN<}=q""(J


$@Cm(J) $@?=$79~$_=q$O0l?M0lKg$H$7$F2<$5$$(J$@!#(J($@$3$NMQ;f$N%3%T!<$G2D(J)


$@0J>e(J