GVHD: PGS. TS. Lê Văn Sơn
Học viên: Mai Văn Tùng
Lớp: KHMT – K16
TIỂU LUẬN
HỆ TIN HỌC PHÂN TÁN
Các ngôn ngữ lập trình phân tán
!"#$
%&#$"'( $
)$
*$"
+
,-(.%/0 "/1/)"/234
/1/
#2(5)$
,-(
+
6789:;49"8<="8*
>:)?#@*>)A@$*>#B$CD1:$"
1/$2:E:08$F-2&15
':#@8"+G
!"#$
%&'()*'+,-./'%0'
!"#$
%&'()*'+,-./'%0'
!123
4!1567189:;8<:1=$
/H##IH':##"2$"#)-J)K
':-C$(::$":/L)A#D
1:+
M:N)#<8=I,#,$"2##<8"=+
O JP:JI#@2':###"#(D':;"-JJ)JJ$"5
#@#K ),-( I QRSTU SOV <SJ#)JOJ)-
V$):)= WQRO<W&J-Q)#)JRXJO)-J= +++
!"#$
%&'()*'+,-./'%0'
!123
>?@A1B$
23!5C8
!"#$
%&'()*'+,-./'%0'
!123
>?@A1B$
23"#$1D$
Y8I
E;FG1
Z)3:I!:/5#@':#@8
/D+
Z)3I"1)[!::&$"&:L':
#@8+
Z)3*>I"!:58"*>\\K8+
Z)3/"I!:5#@8/".#')A.
)-J:5+
HI$2$GJ Y%&;5)#@!:3)+
E@KL$MN !:1::&)3[..81
:+
!"#$
%&'()*'+,-./'%0'
!123
>?@A1B$
23"#$1D$
]??$",&18I
;18#)"(':!:+
^C@??IC@0.#@??#D-B:1_`#@??:#/)"
[)+
]?@;:??I
78C$C)"<aMZ=I#@D#D;5&*-(#:-)5K!:9`aMZ$2@
D"b#)c+QH;5*8!:/#D1)#B0,
':H+
Q ??)I#d8"!:;-$2#@&/#"[/ , ':
H+
(6O
P
78 : ; 1 : ) e K I QZM
R:# ^Vf U-: g:$: 6Q)JG Q ZS h#J:- U& UJ)& M:UN
6Q)JGMSRcfRa MUSfRa f-: R: i
Y5K"&j$")28kK"UWU$"QZM+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
4(6$2$U**
U-:`
M:&:
15#:15#B0+O.@15<JJJ&)=
1/ `: <J:J= $" : 1/ `: :) -8 <#J JN:JJ:J= d K
C2+^)"1/15!j A
* > )B 8<JJ)= $" 1/ 0 $C ! '
(<)J-J= "#<N)= U-: l ; 1/ ;<:1:J= d K J)
"<#)-:= 1/#m<JJ=dK#m 1/$(<:&1=$"
15;[)$8<)JJ-J=dK&)&)$"0:+
Y/2 n8K$&*-(U-:/#1)[op+
U-: ;@ -C#F Da^UY $"# ! 5#F D aMZ 
D):N)#1:+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
>!A
U-: ; H 0 K M:&: 5 8 q . 1D 8 V-L )8
$"$:)E:#d18+
Y)#@NJ0U-: ;#@'(<)J-J=;L$20 ;&j1D)B1
B0I
!"#$%&'()
JJr)sJr)s*!# +,-./01
D1J)&
J
rJ<t7J)u)-t=s
J-J)s'2!
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
>!A
LBKW1KX1AY1"G
3-(45.6
IJJs04(78'
Ivbws
))
Ivcbs
rJ<t7J)u)-t=s
ZJvws
J-))s
!"#$
'(Q''(R/
P
.%ST'./'%0'
L8[$5W8@DM$\D
N)b++bw))
rJ<t7J)u)-t=s
J-))s
'$2$U**
]DMKL$
#[#@)B@)U-:[C5#I
Q-8(@
Q'()eK$")-8(@
O@0:':)B@8L8051
+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
]DMKL$
!"#$
'(Q''(R/
P
.%ST'./'%0'
Khai báo T
1
Khai báo T
2
Khai báo T
1
Khai báo T
2
Thân của hoạt động T
1
Quá trình trao đổi từ xa được bắt đầu bằng !ến trình T
1
Các đường chấm chỉ quá trình thực hiện lệnh từ xa.
Dữ liệu D
Thủ tục P
'$2$U**
]DMKL$
X8<D
Y)E8 :)B@;5(9$2::$")J)15B:5K-8+
Y)$D-( 1:
;
8< ;;5$")$"@$2:
=
5K-8)Y/:="@"
0>515#:K$"))Y["@;58&)&)C"'
(+^B"@J)15)B`0d8/.:
=
s,C"#@
5#$")+
Y))B@ 1:)$")x':1:)'(+^/ ):
=
:;1:)
&:I
Q;y:"?<5="#@$")$2::#&15s:#&,:;5:%+
!"#$
'(Q''(R/
P
.%ST'./'%0'
Thực thể E(X: nguyên ; Y: out nguyên)
'$2$U**
]DMKL$
X8<D
Y:;5#)B@1$D-(:
;
#@!9;-B:
=
+?@ABCD+z:&`)"
:;Ke5):
;
$89"D"9'(s1:
=
5&:8/J) $8
*>0,$2h &*-({ 38+aC{":#&:;53:
%+Y/ $8*>"8.:
=
#@8A8-><:J=+f8
"8&:I
!"#$
'(Q''(R/
P
.%ST'./'%0'
QKh<|Is}I)=-)}Iv|~b
Q#-,
'$2$U**
]DMKL$
X8<D
Q`")#@89$")318 8->&j"#@8J)+^B
[9$")J))B@8;)/1)B@#".;$")31/,$88
#@8->0,$2$");31:);y:"88:(
$"L$2->+
]5L#@$") :;5#8->s;)e1/*>1
:+
QL $8*>;5C_&;-)/(E•B+];0,$2$8n
8t@A€t+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
]DMKL$
!^L
UWU"!1BC#@!9)!9)e+
•D-(5&:I
Qn:I
^/F
;
KC" !#@!9`|+
^/F
;
KC !#@!9`G:`H+
!"#$
'(Q''(R/
P
.%ST'./'%0'
f:9
QK|<i=8Y
b
1/H
Yf
b
)A
`")Q
b
⇒:J}<i=8
'$2$U**
]DMKL$
!^L
Y)!&:L /1;!9")`G:`H3/")B@88
(CJ)s;[K!9)&:t!t+Od1$89:";5;"
+
•8*>`P9C":"`1)0:
$":I
s)/:
)B@9
:)B!$")Yf
;;58$8':#J)15&)&)+
Q>*>:
$":I
"-35");$";5,:1J$"-,)
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
_`$9$
^)",-()$x1D 1D"$"8B :## n
/ &: 0 k K 1‚ " : U-: l -L ) , -( ':
"# 5# 1 : " 1 :) &4 ƒ @ „ B $F
$""D…"+
!"#$38@a$$2$U$bK7*G
Task TraCuu is
Procedure truy_van1(Ten : in identier ; Diem : out interger);
Entry cap_nhat1(Ten : in identier ; Diem : in integer);
Task body TraCuu is
Entry debcons;
Entry ncons;
Lec:integer:=0;
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
_`$9$
!"#$38@a$$2$U$bK7*G
M)J-Jc8G4% -JNJd )JJ&
H$
WJ)&s
WJ#Iv†Y#)Y:J‡s
ˆ)&s
ed
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U**
_`$9$
!"#$38@a$$2$U$bK7*G
H$
DD
51
*11-J)&s
1 V1f4d
D
*11N)&s
1 V51g4
DJ<Jvw=v‡*11:r:b<YJI\sWJ#I$=D
†KKY:J‡
e
e51
eDDd
ed
eY:Qs
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U!.!D1G$hG5.D1
QZM/1/.7):J )e8;8E[#@)B1/H+QZM
#@80[&)&)5B):#@&C':/&)&)+QZM
)e
,-(-2-B#
&/C+Q/";5
$2:!e)B15t15„
€t+Y[B)/
8&*-(?@$8/K$"*+
QZM)e#@//K;99 -:&&‰;':$")$"y
$':B/+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U!.!D1G$hG5.D1
O
0:)?#
/;55
-2-B&:I
Y); †Y/‡-:$")#
$2#30?':/I
!"#$
'(Q''(R/
P
.%ST'./'%0'
Š†Y/b‡‹ŒŒŠ†Y/k‡‹ŒŒiŒŒŠ†Y/‡‹
Name::<text>
'$2$U!.!D1G$hG5.D1
• /)"(C#-(+
Q/;:"#‚5:)%+];"*<e:=$"K
L
<e
$")=#
+Od/[C-:!#!)B<
=':#$"
[H15+Q$"):15[#[)
/)Cy:21)B$#4+
!"#$
'(Q''(R/
P
.%ST'./'%0'
'$2$U!.!D1G$hG5.D1
•D-(IŠPJIIIJ:s+++ŒŒJ:-J<Ib++k=II+++‹B)::/ 9"tPJt tJ:-J<=t
$"tJ:-J<k= tPJG;#@/(@+Q/n&;5&*-()':/
J:-J+
O@/8 )A*)AKCAB)/1':;38)
)%&+73J#e$D-(&:I
Š|II}Ž•ŒŒ}III&s|•‹
Y)#@':/| C•*/}+Y)#@':/}
$")9`/|$")/(@+[:|$"}38
)) B#@[:+/E[•/+
!"#$
'(Q''(R/
P
.%ST'./'%0'