SO SÁNH VIỆC SẮP XẾP THEO KIỂU ĐÓNG DẤU VÀ SẮP XẾP THÔNG QUA BỘ TUẦN TỰ GIẢI QUYẾT VẤN ĐỀ HỢP LỰC GIỮA CÁC NGƯỜI BẢO VỆ BÃI ĐẬU XE

Tiãøu luáûn män Hãû phán taïn 
I H C À N NGĐẠ Ọ Đ Ẵ
TR NG I H C K THU TƯỜ ĐẠ Ọ Ỹ Ậ
oOOo
TI U LU NỂ Ậ
H PHÂN TÁNỆ

TÀI : ĐỀ
SO SÁNH VI C S P X P THEO KI U ÓNG D U Ệ Ắ Ế Ể Đ Ấ
VÀ S P X P THÔNG QUA B TU N TẮ Ế Ộ Ầ Ự
GI I QUY T V N H P L C Ả Ế Ấ ĐỀ Ợ Ự
GI A CÁC NG I B O V BÃI U XEỮ ƯỜ Ả Ệ ĐẬ
GIÁO VIÊN GI NG D Y:Ả Ạ
H C VIÊN TH C HI N:Ọ Ự Ệ
L P: Ớ
PGS TS. LÊ V N S NĂ Ơ
TR N QU C C NGẦ Ố ƯỜ
KHOA H C MÁY TÍNH KHÓA Ọ
10
à n ng, tháng 06/2014Đ ẵ
LỜI MỞ ĐẦU
 
Ngày nay cùng với sự phát triển nhanh, vượt bậc của nền Khoa học - Công
nghệ. Mạng máy tính ra đời làm cho thế giới của chúng ta dường như nhỏ lại và mọi
3
Tióứu luỏỷn mọn Hóỷ phỏn taùn
ngi tr nờn gn nhau hn v mi ngi cú th trao i thụng tin vi mt khi lng
ln v khong cỏch xa hn vi thi gian nhanh hn. Trờn thc t, mt xu hng k
thut mi ra i - xu hng phõn tỏn cỏc thnh phn to nờn h tin hc theo hng
tip cn ni s dng v sn xut thụng tin trờn c s mng mỏy tớnh. Vỡ vy nu chỳng
ta ngi trc mỏy vi tớnh cú ni mng (LAN, WAN, Internet, ) thỡ hu nh chỳng ta

cú c mi th. Chỳng ta cú th trao i thụng tin, qun lý ton b nhõn s ca mt
n v vi nhiu chi nhỏnh trờn ton quc hoc cỏc quc gia khỏc nhau, chỳng ta cú
th nh ng ký vộ mỏy bay, vộ tu xe, mua hng ti siờu th, thanh toỏn tin qua
h thng E-Banking ca ngõn hng, Song khai thỏc cú hiu qu h thng, vn
quan trng l chin lc khai thỏc v s dng cỏc ti nguyờn dựng chung nh th no?
Chin lc khai thỏc cỏc ti nguyờn dựng chung ny l chc nng cng nh i tng
nghiờn cu ca cỏc h tin hc phõn tỏn. Trong thc t, h tin hc phõn tỏn vi nhng
nguyờn lý, phng phỏp ca nú ó v ang c nhiu ngi quan tõm cú th vn
dng trong quỏ trỡnh tỏc nghip ca mỡnh. Hin ti, cỏc ni dung mang tớnh lý thuyt
nguyờn lý ca h tin hc phõn tỏn cũn nhiu vn cha c gii quyt trit v ang
l mc tiờu khỏm phỏ ca nhiu nh nghiờn cu v cụng ngh thụng tin.
Trong phm vi ca bi tiu lun ny, vi nhng kin thc m tụi ó c hc,
c cng nh t tỡm hiu thờm t sỏch bỏo v mng Internet, tụi xin trỡnh by hai ni
dung theo trỡnh t nh sau:
Chng I: Sp xp kiu úng du v sp xp bng b tun t.
Chng II: Bi toỏn bói u xe - vn hp lc gia cỏc ngi bo v.
Vi mt lnh vc cũn mi m, a dng v phc tp nh trờn vỡ vy vic tỡm hiu
ca tụi cũn nhiu hn ch. Kớnh mong nhn c s gúp ý, nh hng ca Thy giỏo
Lờ Vn Sn v cỏc bn cựng lp tụi cú th tip tc nghiờn cu v t c kt qu
tt hn trong thi gian ti.
Xin chõn thnh cm n !
4
Tiãøu lûn män Hãû phán tạn 
CHỈÅNG I
SÀÕP XÃÚP KIÃØU ÂỌNG DÁÚU V SÀÕP XÃÚP BÀỊNG BÄÜ TƯN
TỈÛ
I.1. Âàût váún âãư
Tênh cáúp thiãút vãư màût ngun l v k thût ca váún âãư âäưng bäü hoạ cạc tiãún
trçnh thãø hiãûn åí hai ngun do cå bn sau:
1. Nhçn chung, cạc tiãún trçnh kãø c cạc tiãún trçnh xút phạt tỉì cạc ỉïng dủng âäüc

láûp mún truy cáûp vo cạc ti ngun våïi säú lỉåüng väún ráút hản chãú hay truy cáûp vãư
thäng tin dng chung cng mäüt lục. Trỉåìng håüp ny gi l
tỉång tranh
.
Vç váûy, tỉång tranh l ngun nhán chênh ca cạc xung âäüt giỉỵa cạc tiãún trçnh
mún truy cáûp vo ti ngun dng chung.
2. Cạc tiãún trçnh ca cng mäüt hãû ỉïng dủng hoảt âäüng theo kiãøu håüp lỉûc âãø gii
quút bi toạn âàût ra v cho kãút qa nhanh chọng nháút. Âiãưu ny cho phẹp tàng hiãûu
nàng sỉí dủng thiãút bë v hiãûu qa hoảt âäüng ca chỉång trçnh.
Vç váûy, håüp lỉûc l ngun nhán chênh ca sỉû tạc âäüng tỉång häù âỉåüc láûp trçnh
giỉỵa cạc tiãún trçnh nhàòm cho phẹp chụng tham gia vo cạc hnh âäüng chung.
Sỉû tỉång tranh v håüp lỉûc giỉỵa cạc tiãún trçnh âi hi phi cọ trao âäøi thäng tin
qua lải våïi nhau. Trong cạc hãû thäúng táûp trung, âiãưu âọ âỉåüc thỉûc hiãûn nhåì thût toạn
loải b tỉång häù thäng qua cạc biãún cng tạc âäüng trong mäüt vng nhåï chung. Trong
hãû tin hc phán tạn, cạc thäng tin cáưn trao âäøi thäng qua cạc kãnh thüc hãû thäúng viãùn
thäng.
I. 2 Âäưng bäü hoạ theo mäüt tráût tỉû täøng quạt chàût ch
Trong mäüt säú trỉåìng håüp cáưn phi sàõp xãúp ton bäü theo kiãøu chàût ch cạc sỉû
kiãûn ca hãû. Ngun l ca váún âãư âỉåüc khại quạt nhỉ sau. Mäüt tiãún trçnh no âọ gåíi
thäng âiãûp âãø u cáưu sỉí dủng ti ngun; mäüt tiãún trçnh sỉí dủng xong ti ngun no
âọ truưn mäüt thäng tin gii phọng-khi nọ ngỉìng chiãúm dủng.
I.2.1. Cung cáúp táûp trung
Hiãûn tải, trong hãû thäúng táûp trung, mäùi mäüt loải ti ngun ca hãû âỉåüc qun l
båíi mäüt chỉång trçnh cung cáúp duy nháút, sau ny gi l bäü cung cáúp ti ngun.
Chỉång trçnh ny tiãúp nháûn táút c cạc u cáưu, khuún nghë gii phọng v sàõp xãúp
chụng theo mäüt tráût tỉû nháút âënh ca hng âåüi ny.
Trong cạc hãû phán tạn, chỉång trçnh cung cáúp nàòm trãn mäüt trảm v tiãún trçnh
âãư nghë lải åí trãn cạc trảm khạc; Cạc u cáưu v khuún nghë gii phọng âỉåüc truưn
cho chỉång trçnh cung cáúp thäng qua hçnh thỉïc thäng âiãûp chuøn theo cạc kãnh ca
hãû thäúng viãùn thäng. Chênh vç váûy, nhu cáưu sàõp xãúp cạc u cáưu ny theo mäüt tráût tỉû

nháût âënh no âọ ln ln âỉåüc âàût ra.
Nãúu chè cọ mäüt thäng âiãûp âãún chỉång trçnh cung cáúp thç tráût tỉû âãún thãø hiãûn
mäüt tráût tỉû chàût ch. Ngỉåüc lải, nãúu cọ nhiãưu thäng âiãûp âãún cng mäüt lục thç viãûc sàõp
xãúp chụng phi theo kiãøi loải trỉì tỉång häù trong hng âåüi củc bäü ca trảm cọ chỉïa
chỉång trçnh cung cáúp. Âiãưu âọ cng cho phẹp ta cọ âỉåüc mäüt tráût tỉû chàût ch.
Tráût tỉû cọ âỉåüc tải trảm cung cáúp cọ thãø khäng giäúng nhỉ tráût tỉû phạt, nãúu thåìi
gian truưn khäng cäú âënh. Âáy lải l trỉåìng håüp khạ phäø biãún ca mảng mạy tênh.
Nhỉng nãúu ta mún xỉí l cạc thäng âiãûp theo trçnh tỉû khäng tênh tåïi thåìi gian truưn,
thç cáưn phi tênh âãún mäüt tráût tỉû täøng quạt ca cạc láưn truưn thäng âiãûp tỉì cạc trảm
khạc nhau. Nhỉỵng cå chãú thãø hiãûn váún âãư ny âỉåüc mä t trong mủc I.3 v I.4 tiãúp
theo.
I.2.2 Cung cáúp phán tạn
Vç l do äøn âënh v hiãûu qu m ta phi phán tạn chỉïc nàng cung cáúp trãn nhiãưu
trảm khạc nhau. Sỉû hoảt âäüng gàõn bọ våïi nhau giỉỵa cạc chỉång trçnh cung cáúp l ráút
cáưn thiãút âãø âm bo cho hoảt âäüng cung cáúp âỉåüc hon ton chênh xạc.
I.3. Sàõp xãúp kiãøu âọng dáúu:
I.3.1 Cáúu tảo trçnh tỉû täøng quạt chàût ch
5
Tiãøu lûn män Hãû phán tạn 
Âọng dáúu l hnh vi gạn giạ trë ngun cho mäüt thäng âiãûp nhàòm ghi nháûn thåìi
âiãøm truưn trãn cå såí tham chiãúu âäưng häư lä gêch.
Näüi dung cå bn ca phỉång phạp ny l trảm phạt âỉåüc gàõn mäüt giạ trë gi l
dáúu. Giạ trë ny cọ tênh cháút thåìi âiãøm cho trảm phạt thäng tin v dỉûa vo âäưng häư lä
gêch củc bäü ca chênh trảm. Cạc âäưng häư ny âỉåüc láúy lải thäng qua häüi thoải giỉỵa cạc
trảm.
Gii thût åí âáy l gii thût Lamport nhàòm cho phẹp ghi lải cạc sỉû kiãûn ca hãû
tin hc phán tạn.
Mäùi trảm s âãưu cọ trang bë cäng tå våïi cạc giạ trë ngun gi l H
s
. Âọ chênh l

âäưng häư lä gêch tàng lãn giỉỵa hai sỉû kiãûn kãú tiãúp. Trảm e phạt thäng âiãûp ghi dáúu E ca
mçnh dỉûa trãn giạ trë hiãûn hnh ca H
e
. Khi nháûn âỉåüc thäng âiãûp, trảm r cáûp nháûp
âäưng häư H
r
riãng ca mçnh bàòng gii thût sau âáy:
Sỉû kiãûn “Nháûn thäng âiãûp” lục ny âỉåüc ghi nháûn bàòng giạ trë ca H
r
. Thût
toạn ny âm bo ràòng thåìi gian nháûn thäng âiãûp l sau thåìi gian phạt âi. Våïi thåìi gian
ny cho phẹp xạc âënh mäüt quan hãû tráût tỉû ton bäü m ta â k hiãûu .
Mäüt sỉû kiãûn a sinh ra trong trảm i v âỉåüc âạnh dáúu båíi âäưng häư củc bäü gi l
H
i
(a). Náúu a v b l hai sỉû kiãûn trãn hai trảm i v j, ta ln ln cọ quan hãû xạc âënh
nhỉ sau:
Âọ l tráût tỉû khäng cháût ch vç hai hai sỉû kiãûn trãn hai trảm khạc nhau cọ thãø
âãún cng mäüt thåìi âiãøm giäúng nhau.
Ta cọ thãø måí räüng quan hãû  thnh quan hãû tráût tỉû chàût ch ⇒ bàòng cạch kãút
håüp mäüt säú khạc cäú âënh cho mäùi trảm v bàòng cạch âạnh dáúu thåìi gian cho mäùi sỉû
kiãûn a ca trảm i bàòng càûp (H
i
(a),i).
Theo âënh nghéa, ta cọ:
I.3.2 Giåïi thiãûu gii thût loải trỉì tỉång häù
Loải trỉì tỉång häù cọ thãø âỉåüc âiãưu khiãøn trãn mäüt trảm trung tám cọ nhiãûm vủ
nháûn táút c cạc thäng âiãûp v khuún nghë gii phọng. Trảm ny duy trç mäüt hng âåüi,
sàõp xãúp cạc u cáưu theo tráût tỉû âãún v phủc vủ cho tỉìng thäng âiãûp mäüt trong tráût tỉû
ny.

Phán tạn gii thût ny kẹo theo viãûc phán tạn cạc chỉïc nàng cung cáúp m cáưn
phi âiãưu khiãøn hng âåüi trãn trảm. Do váûy, mäüt trảm chun cho viãûc tiãúp nháûn cạc
u cáưu v cạc khuún nghë gii phọng tỉì táút c cạc trảm cn lải. Mäüt tráût tỉû giäúng
nhau trãn táút c cạc trảm chè âảt âỉåüc, nãúu ta ạp dủng dáúu trong cạc thäng âiãûp båíi
âäưng häư lä gêch truưn v âạnh säú cạc trảm. Quan hãû tráût tỉû ton bäü âỉåüc âënh nghéa.
Thãm vo âọ, âãø cho mäüt trảm cọ thãø ra quút âënh bàòng viãûc tham chiãúu duy nháút vo
hng âåüi ca mçnh, nọ cn cáưn phi nháûn mäüt thäng âiãûp ca tỉìng trảm khàóng âënh
ràòng khäng cọ thäng âiãûp no trỉåïc cạc thäng âiãûp khạc m cn âang quạ cnh trãn
âỉåìng.
Thût toạn loải trỉì tỉång häù cọ thãø mä t theo så âäư sau âáy.
1. Trảm i ca mảng cọ thãø gỉíi cho cạc trảm khạc thäng âiãûp cọ dảng (T,H
i
,i),
trong âọ H
i
l dáúu ca thäng âiãûp cọ nghéa l âäưng häư lä gêch ca nọ v T cọ thãø nháûn
mäüt trong ba giạ trë REQ, REL v ACQ.
Ba giạ ny xạc âënh bn cháút ca ba loải thäng âiãûp khạc nhau:
6
Nãúu H
r
, thç
H
r
:=E+1
Cháúm dỉït nãúu
a  b ⇔ H
i
(a) <
H

i
(b)
a ⇒ b ⇒ (H
i
(a) < H
i
(b))
Hay
(H
i
(a) = H
i
(b) v i<j)
Tiãøu lûn män Hãû phán tạn 
STT Thäng âiãûp Gii thêch
1 REQ Thäng âiãûp REQ âỉåüc phạt âi cho táút c cạc trảm, khi trảm i
mún vo trong âoản gàng.
2 REL Thäng âiãûp REL âỉåüc phạt âi cho táút c cạc trảm, khi trảm i
â råìi khi âoản gàng.
3 ACQ Thäng âiãûp ACQ âỉåüc gåíi båíi trảm j cho trảm i, khi trảm j â
nháûn tỉì trảm i thäng âiãûp REQ.
2. Mäùi trảm qun l mäüt hng âåüi cạc thäng âiãûp âỉåüc sàõp xãúp hon ton båíi
quan hãû ⇒ theo càûp <thåìi gian, säú> ca tỉìng thäng âiãûp. Theo cáúu trục, hng âåüi ln
ln chỉïa mäüt thäng âiãûp v chè mäüt thỉåìng trỉûc trong mäùi trảm, bao gäưm trảm củc bäü
. Khi cọ mäüt thäng âiãûp âỉåüc gỉíi âi båíi trảm i, âäưng thåìi nọ cng âỉåüc ghi trong hng
âåüi ca trảm ny.
Gi sỉí ràòng mäùi hng âåüi ban âáưu chỉïa cạc thäng âiãûp:
trong âọ, i, H
init
l thåìi âiãøm khåíi sỉû giäúng nhau cho táút c cạc trảm.

3. Trãn mäùi trảm, khi nháûn âỉåüc mäüt thäng âiãûp dảng (REQ, H
i
,i) hay
(REL,H
i
,i) thäng âiãûp ny thay thãú thäng âiãûp M
i
báút cháúp nọ l gç. Khi nháûn thäng
âiãûp loải (ACQ, H
i
, i), thäng âiãûp ny thay thãú M
i
ngoải trỉì nãúu M
i
l mäüt u cáưu m
trong trỉåìng håüp âọ ACQ bë b qua. Do váûy, ta cọ thãø tiãút kiãûm viãûc gåíi âi thäng âiãûp
ACQ cho trảm i khi trảm ny â gåíi mäüt thäng âiãûp REQ v khäng cn thäng âiãûp
REL.
4. Trảm i âỉåüc truưn vo âoản gàng khi thäng âiãûp REQ ca nọ âãún trỉåïc theo
nghéa ca quan hãû ⇒ táút c cạc thäng âiãûp khạc trong hng âåüi ca nọ. Cáưn nhàõc lải
ràòng hng âåüi chỉïa mäüt thäng âiãûp loải ny trãn mäüt trảm.
I.4 Sàõp xãúp bàòng bäü tưn tỉû
Khại niãûm bäü tưn tỉû âỉåüc giåïi thiãûu nhàòm mủc âêch âạnh säú thỉï tỉû v sàõp xãúp
cạc sỉû kiãûn ca hãû. Bäü tưn tỉû l âäúi tỉåüng âäưng bäü cung cáúp cho mäùi u cáưu mäüt säú
(hay cn gi l mäüt têc kã) nhàòm xạc láûp tráût tỉû.
Giạ trë säú m nọ cung cáúp phi l cạc giạ trë ngun, khäng ám. Âãø cho hai u
cáưu kãú tiãúp nhau thç hai säú liãn tủc nhau âỉåüc cung cáúp. Giạ trë 0 âỉåüc cung cáúp cho
u cáưu âáưu tiãn.
Mäüt tiãún trçnh mún nháûn giạ trë tỉì bäü tưn tỉû S thç nọ phi gi th tủc (hồûc
hm ) cọ tãn l

phieu(S)
. Mäùi mäüt giạ trë chè phủc vủ cho mäüt v chè mäüt sỉû kiãûn m
thäi.
Gi sỉí ràòng táút c cạc sỉû kiãûn âỉåüc âạnh säú båíi mäüt bäü tưn tỉû duy nháút S. Khi
mäüt tiãún trçnh cung cáúp cho sỉû kiãûn i mäüt säú thäng qua
phieu(S),
ta cọ thãø khàóng âënh
nhỉ sau (khäng cọ sỉû cäú):
1. ràòng cạc sỉû kiãûn t bao hm cạc giạ trë nh hån t â âỉåüc diãùn ra.
2. ràòng säú thỉû tỉû kãư liãưn sau t phi bàòng t +1.
Viãûc triãøn khai mäüt bäü tưn tỉû cáưn phi mang hai âàûc tênh sau âáy:
ST
T
K hiãûu Âàûc tênh
1 P1 Nãúu a v b l hai sỉû kiãûn thỉûc hiãûn trãn cng hm
phieu(S)
,
thç ta cọ a → b hay b → a.
2 P2 Nãúu a thỉûc hiãûn phẹp t=
phieu(S)
thç giạ trë gạn cho t l säú
lỉåüng cạc phẹp
phieu(S)
â âỉåüc thỉûc hiãûn trỉåïc a.
Âàûc tênh P1 thãø hiãûn viãûc loải trỉì tỉång häù trãn cạc phẹp toạn
phieu(S),
cn P2
thãø hiãûn tênh liãn tủc trong khi âạnh säú cọ nghéa l khäng âãø lải khong träúng khi âạnh
säú.
Viãûc triãøn khai bäü tưn tỉû trong cạc hãû thäúng mäüt bäü xỉí l hay nhiãưu bäü xỉí l

våïi bäü nhåï chung âỉåüc tiãún hnh bàòng cạch triãøn khai cå chãú så âàóng loải trỉì tỉång häù
l â. Trong hãû phán tạn, viãûc váûn dủng nọ khäng hãư gin âån båíi vç cọ sỉû hiãûn diãûn
7
M
i
= (REL,H
init
,i)
Tiãøu lûn män Hãû phán tạn 
ca cạc kãnh viãùn thäng sỉí dủng theo kiãøu loải trỉì tỉång häù v âàûc biãût täưn tải vng
trn duy nháút hay mäüt kãnh lan truưn duy nháút.
Viãûc váûn dủng tỉång âäúi täøng quạt bäü tưn tỉû S trong hãû phán tạn l sỉû chuøn
âäüng giỉỵa cạc trảm mäüt âäúi tỉåüng duy nháút gi l
áún phong
chỉïa giạ trë hiãûn hnh ca
bäü tưn tỉû. Khi mäüt trảm cọ áún phong, nọ cọ thãø thỉûc hiãûn hm
phieu(S).
I.5 So sạnh viãûc sàõp xãúp theo kiãøu âọng dáúu v sàõp xãúp bàòng bäü
tưn tỉû:
Qua phán têch trãn, ráút r rng ràòng mủc âêch ca c hai phỉång phạp ny xạc
láûp tráût tỉû v âäưng bäü hoạ cạc tiãún trçnh. Tuy nhiãn, cạc váún âãư täưn tải, váún âãư gii
quút âỉåüc ca mäùi phỉång phạp âỉåüc thãø hiãûn sau:
Sàõp xãúp kiãøu âọng dáúu:
- Váún âãư âảt âỉåüc:
Cạc dáúu âỉåüc cung cáúp båíi âäưng häư lä gêch cho phẹp âạnh
dáúu cạc sỉû kiãûn v xạc âënh mäüt tráût tỉû täøng quạt chàût ch.
- Váún âãư cn täưn tải:
Ta khäng cọ quan hãû no giỉỵa cạc sỉû kiãûn v cạc giạ trë
ca dáúu. Trãn mäüt trảm cho trỉåïc, viãûc nháûn mäüt thäng âiãûp cọ âọng dáúu khäng thãø
cho nọ biãút âỉåüc cn sỉû kiãûn no âãún trỉåïc sỉû kiãûn âọ âang åí trãn âỉåìng. Nhỉ thãú, ta

cn phi nháûn thäng âiãûp tỉì cạc trảm khạc cn lải. Màûc khạc, hai sỉû kiãûn trãn hai trảm
khạc nhau cọ thãø âãún cng mäüt thåìi âiãøm giäúng nhau, âáy l mäüt tráût tỉû khäng chàût
ch.
Sàõp xãúp bàòng bäü tưn tỉû:
- Váún âãư âảt âỉåüc:
âạnh säú thỉï tỉû cạc u cáưu, sỉû kiãûn v sàõp xãúp cạc sỉû kiãûn
ca hãû trạnh âỉåüc cạc nhỉåüc âiãøm täưn tải nãu trãn.
Âãø hiãøu r hån váún âãư âảt âỉåüc v cn täưn tải, ta âi vo so sạnh cạc gii thût
sàõp xãúp, cạc phỉång phạp xỉí l sỉû cäú thäng qua bng sau:
Cạc váún
âãư
Sàõp xãúp kiãøu âọng dáúu Sàõp xãúp bàòng bäü tưn tỉû
1. Näüi
dung
- Näüi dung cå bn ca phỉång phạp
ny l trảm phạt âỉåüc gàõn mäüt giạ
trë gi l dáúu. Giạ trë ny cọ tênh
cháút thåìi âiãøm cho trảm phạt thäng
tin v dỉûa vo âäưng häư lä gêch củc
bäü ca chênh trảm.
- Bäü tưn tỉû l âäúi tỉåüng âäưng bäü
cung cáúp cho mäùi u cáưu mäüt säú
(hay cn gi l mäüt têc kã) nhàòm
xạc láûp tráût tỉû. Mäüt tiãún trçnh
mún nháûn giạ trë tỉì bäü tưn tỉû S
thç nọ phi gi th tủc (hồûc hm)
cọ tãn l
phieu(S).
Mäùi mäüt giạ trë
chè phủc vủ cho mäüt v chè mäüt sỉû

kiãûn m thäi.
2. Gii
thût
- Dng gii thût
Lamport:
1. Khi mäüt tiãún trçnh tải trảm Si
mún thi hnh âoản gàng, nọ s gåíi
thäng âiãûp REQ cọ âạnh dáúu thåìi
gian cho táút c cạc trảm trong hãû kãø
c trảm Si.
2. Mäùi trảm, Si, duy trç mäüt hng
âåüi chỉïa cạc thäng âiãûp u cáưu
âỉåüc sàõp xãúp theo tráût tỉû cạc dáúu
thåìi gian; cạc âäưng häư lä gêch v
quan hãû tráût tỉû ton bäü âỉåüc sỉí
dủng âãø gàõn cạc dáúu thåìi gian.
3. Khi mäüt trảm nháûn âỉåüc u cáưu,
nọ s âỉa thäng âiãûp âọ vo hng
âåüi u cáưu ca nọ theo thỉï tỉû dáúu
thåìi gian v gåíi mäüt thäng âiãûp tr
låìi REPLY. Nãúu cáưn, quan hãû tráût
tỉû ton pháưn âỉåüc sỉí dủng âãø phạ
våỵ cạc sỉû rng büc.
- Hai phỉång phạp cho phẹp
di chuøn áún phong
(âãø thi
hnh hm
phieu(S)
thç phi cọ áún
phong):

1. áún phong bàòng cạc biãún trảng
thại:
- Mäüt säú ngun K (K>1) âỉåüc
chn cho táûp håüp ca hãû. Trãn
trảm i (i chiãúm giỉỵ giạ trë tỉì 0 âãún
N-1), mäüt tiãún trçnh Pi âỉåüc giao
nhiãûm vủ di chuøn áún phong tn
th cạc quy tàõc sau âáy:
+ Mäùi tiãún trçnh Pi âãưu cọ biãún
trảng thại S[i] cọ thãø nháûn cạc giạ
trë ngun tỉì 0 âãún K-1.
+ Mäùi biãún S[i] âãưu âỉåüc cáûp-
nháût båíi Pi v cọ thãø âc båíi trảm
kãú tiãúp sau ca Pi.
2. Phỉång phạp Jeton tưn hon:
8
Tiãøu lûn män Hãû phán tạn 
4. tỉåíng chung l mäüt tiãún trçnh
khäng thãø thi hnh âoản gàng ca
nọ cho tåïi khi nọ nháûn âỉåüc tr låìi
tỉì táút c cạc trảm khạc. Cạc thäng
âiãûp tr låìi s “flush out” cạc u
cáưu báút k tỉì cạc tiãún trçnh khạc, âãø
chụng ta biãút hng âåüi âỉåüc cáûp
nháûp.
5. Âàûc biãût hån nỉỵa, mäüt trảm thi
hnh miãưn gàng ca nọ khi:
- Nháûn âỉåüc thäng âiãûp tr låìi tỉì táút
c cạc trảm cn lải.
- u cáưu REQUEST ca nọ l åí

trãn âènh ca hng âåüi củc bäü ca
nọ.
6. Khi mäüt trảm hon thnh miãưn
gàng ca nọ, nọ s gåíi khuún nghë
gii phọng RELEASE âãún táút c
cạc trảm. u cáưu ca nọ âỉåüc loải
b khi táút c cạc hng âåüi tải thåìi
âiãøm ny. Nãúu cạc trảm khạc âang
chåì âãø thi hnh miãưn gàng ca
chụng, mäüt trong cạc trảm âọ báy
giåì cọ thãø bàõt âáưu thỉûc hiãûn miãưn
gàng ca mçnh.
7. Hoảt âäüng: 3(N-1) thäng âiãûp
cáưn thiãút cho mäùi miãưn gàng âỉåüc
thi hnh. (N-1) thäng âiãûp Request,
(N-1) thäng âiãûp Reply v (N-1)
thäng âiãûp Release.
8. âäü trãù âäưng bäü: T (trong âọ T l
thåìi gian trung bçnh truưn thäng
âiãûp). Khi nháûn âỉåüc thäng âiãûp
gii phọng, tiãún trçnh tiãúp theo cọ
thãø bàõt âáưu thi hnh.
9. Loải trỉì tỉång häù l âảt âỉåüc:
Cạc dáúu thåìi gian l duy nháút, vç
váûy táút c cạc hng âåüi s giỉỵ cạc
u cáưu trong cng mäüt thỉï tỉû. Chè
mäüt tiãún trçnh duy nháút s nàòm åí
âènh ca cạc hng âåüi.
ÁÚn phong âỉåüc củ thãø hoạ bàòng
mäüt thäng âiãûp âàûc biãût gi l

Jeton tưn hon trãn vng trn.
Nhỉ thãú, viãûc bë sỉû cäú trãn mäüt
trảm cọ thãø máút Jeton. Cạc biãún
trảng thại âỉåüc duy trç trãn mäùi
trảm cho phẹp tại sinh jeton trong
trỉåìng håüp bë máút.
- Gii thût triãøn khai phẹp
toạn “phieu”:
Âãø thỉûc hiãûn mäüt bäü tưn tỉû phán
tạn S, trảm i no âọ cáưn phi duy
trç cäng tå củc bäü v thỉûc hiãûn
cng mäüt thût toạn, thãø hiãûn nhỉ
sau:
1. Khi cọ mäüt tiãún trçnh trãn mäüt
trảm mún gi phẹp toạn
phieu
(S)
thç phi cọ mäüt u cáưu âàût
vo trong hng âåüi vo ca thiãút bë
truưn thäng (TBTT). Tiãún trçnh
u cáưu âọ cáưn phi âåüi cho âãún
khi u cáưu ca nọ xút hiãûn trong
hng âåüi ca TBTT: tải thåìi âiãøm
âọ, u cáưu ny â âỉåüc lan truưn
v nọ âỉåüc sàõp xãúp cng våïi cạc
u cáưu khạc.
2. Trảm i xỉí l táút c cạc u cáưu
phieu (S)
âang cọ trong hng âåüi
ca TBTT ca nọ. Mäùi khi cọ mäüt

u cáưu âãún tỉì mäüt trong cạc trảm
khạc, thç trảm i sàơn sng tàng näüi
dung cäng tå củc bäü ca mçnh lãn.
Khi cọ mäüt u cáưu no âọ âãún tỉì
mäüt trong cạc tiãún trçnh ca chênh
trảm i thç tiãún trçnh ny nháûn giạ
trë hiãûn hnh ca cäng tå củc bäü
v cäng tå ny tàng lãn mäüt säú
gia.
3. Xỉí l sỉû
cäú
- Sỉû cäú xy ra våïi trảm chỉa vo
âỉåüc trong âoản gàng khäng lm
räúi loản hoảt âäüng ca gii thût
våïi âiãưu kiãûn l nọ gáy ra viãûc
truưn thäng âiãûp
vang_mat
(vàõng)
cho viãûc chuøn ti åí táưng giao
váûn. Do cọ trang bë nhỉ thãú, viãûc
vo âoản gàng tråí nãn khäng âỉåüc
nhanh chọng v dãù dng cho cạc
trảm khạc. Nãúu trảm cọ sỉû cäú â
gåíi u cáưu, thç nọ kãút thục våïi l
do tråí thnh trỉåïc âäúi våïi táút c cạc
trảm khạc.
- Khi mäüt trảm lải âỉåüc âỉa vo
trong mảng sau khi â cọ sỉû cäú v
â khàõc phủc, nọ cáưn phi kiãún tảo
- Âãø cọ thãø tỉû tham gia lải cäng

viãûc trong mảng sau sỉû cäú, trảm i
phi gåíi u cáưu vo lải cho mäüt
trảm no âọ trong säú cạc trảm cn
lải, vê dủ nhỉ j chàóng hản v âàût
mçnh vo trảng thại làõng nghe
âỉåìng truưn trong hng âåüi ca
TBTT ca mçnh. Trảm j s gåíi cho
nọ mäüt thäng âiãûp âäưng bäü âãø cáûp
nháût. Khi thäng âiãûp ny xút hiãûn
trong hng âåüi ca TBTT, thç:
1. Trảm j l trảm cáưn phi gåíi
thäng âiãûp cho i hiãøu ràòng nọ phi
gåíi giạ trë hiãûn hnh ca cäng tå
ca nọ.
2. Trảm i hiãøu ràòng nọ cọ thãø vo
9
Tiãøu lûn män Hãû phán tạn 
lải trảng thại hiãûn hnh ca cạc u
cáưu. Âãø âm bo âiãưu âọ, nọ phạt
âi thäng âiãûp
vao_lai
(xin vo lải)
v âãø tr låìi, cạc trảm gåíi hồûc thåìi
gian ca u cáưu cúi cng ca nọ
REQ khäng âỉåüc tha mn (nãúu cọ
täưn tải mäüt REQ) hồûc mäüt thäng
âiãûp REL. Mảng cáưn phi bäø
khuút cho cạc trảm bë sỉû cäú bàòng
cạch gåíi thäng âiãûp
vang_mat.

Khi
nọ â nháûn táút c cạc tr låìi cho
thäng âiãûp
vao_lai,
trảm vỉìa âỉa
vo âọ cọ thãø bàõt âáưu lải bàòng cạc
u cáưu
lải âỉåüc trong mảng. Âãø cho viãûc
âọ, nọ bàõt âáưu bàòng cạch låì âi táút
c cạc thäng âiãûp âãún trỉåïc thäng
âiãûp âäưng bäü. Thäng âiãûp âäưng bäü
âãún sau cng. Nọ lỉu trỉỵ m
khäng xỉí l táút c cạc thäng âiãûp
theo sau nọ v âiãưu âọ âỉåüc duy
trç cho âãún khi xút hiãûn giạ trë
ca hiãûn hnh ca cäng tå âỉåüc
gåíi båíi j. Sau khi thäng âiãûp âäưng
bäü âãún, trảm xỉí l táút c cạc thäng
âiãûp theo sau thäng âiãûp âäưng bäü.
Cạc trảm khạc khäng âỉåüc phẹp
can thiãûp. Do váûy, chụng låì âi u
cáưu vo lải, thäng âiãûp âäưng bäü v
giạ trë truưn. Phỉång phạp cáûp
nháût ny cng cọ thãø âỉåüc sỉí dủng
tải cạc trảm âãø trao âäøi giạ trë ca
cạc cäng tå trong viãûc kiãøm tra
âënh k.
10
Tióứu luỏỷn mọn Hóỷ phỏn taùn
I.6 Kóỳt luỏỷn

Traỷng thaùi caùc thaỡnh phỏửn thuọỹc hó thọỳng tin hoỹc phỏn taùn chố õổồỹc bióỳt mọỹt
caùch khọng chừc chừn lừm vỗ thồỡi gian truyóửn thọng tin trón õổồỡng truyóửn khọng cọỳ
õởnh, tng sọỳ lổồỹng caùc trung tỏm ra quyóỳt õởnh vaỡ õỷc bióỷt coù thóứ xaớy ra sổỷ cọỳ bỏỳt cổù
luùc naỡo.
Chuùng ta õaợ nghión cổùu mọỹt sọỳ vỏỳn õóử vóử õọửng bọỹ khọng chừc chừn trón cồ sồớ
trỏỷt tổỷ toaỡn bọỹ maỡ vióỷc trióứn khai õổồỹc õỷt trón nóửn taớng õaùnh sọỳ sổỷ kióỷn.
Chuùng ta cuợng õaợ giaớ õởnh rũng vióỷc sổỷ cọỳ mọỹt traỷm hay mọỹt õổồỡng truyóửn
khọng laỡ nguyón nhỏn giaùn õoaỷn trao õọứi giổợa caùc traỷm.
11
Tióứu luỏỷn mọn Hóỷ phỏn taùn
CHặNG II

BAèI TOAẽN BAẻI U XE
VN ệ HĩP LặC GIặẻA CAẽC NGặèI BAO V
II.1 Thuỏỷt toaùn cung cỏỳp cho hóỷ phỏn taùn
Mọỹt sổỷ hoaỷt õọỹng gừn boù cuớa caùc chổồng trỗnh cung cỏỳp phỏn taùn chổùc nng
quaớn lyù trón cuỡng mọỹt tỏỷp hồỹp caùc taỡi nguyón chố õaỷt õổồỹc nóỳu tuỏn thuớ caùc qui từc sau,
ồớ õỏy caùc thọng õióỷp õổồỹc hióứu laỡ caùc yóu cỏửu hay khuyóỳn nghở giaới phoùng taỡi nguyón.
ST
T
Quy từc
1 Caùc bọỹ cung cỏỳp bừt buọỹc phaới thổỷc hióỷn cuỡng mọỹt giaới thuỏỷt
2 Caùc bọỹ cung cỏỳp õóửu nhỏỷn tỏỳt caớ caùc thọng õióỷp phaùt õi tổỡ caùc tióỳn trỗnh
3 Caùc thọng õióỷp phaới xổớ lyù cuỡng mọỹt trỏỷt tổỷ nhổ nhau trong caùc chổồng trỗnh
cung cỏỳp
Qui từc sau cuỡng nhỏỳn maỷnh õóỳn sổỷ thióỳt yóỳu phaới coù mọỹt trỏỷt tổỷ duy nhỏỳt trón
tỏỷp hồỹp caùc thọng õióỷp cuớa hóỷ. Trỏỷt tổỷ naỡy coù thóứ õổồỹc thổỷc hióỷn thọng qua vióỷc hồỹp
lổỷc giổợa caùc tióỳn trỗnh cung cỏỳp.
Nhổ vỏỷy, trong baỡi toaùn nóu trón cuợng nhổ caùc baỡi toaùn giaới quyóỳt caùc vỏỳn õóử
tổồng tổ trong hóỷ phỏn taùn, chổùc nng cung cỏỳp õổồỹc phỏn taùn thaỡnh mọỹt

tỏỷp hồỹp caùc
bọỹ cung cỏỳp
trón caùc traỷm khaùc nhau, trong õoù mọựi bọỹ cung cỏỳp chố quaớn lyù caùc õọỳi
tổồỹng cuỷc bọỹ cuớa traỷm õoù maỡ thọi.
Tọửn taỷi hai nhoùm giaới phaùp cho vỏỳn õóử õỷt ra:
II.1.1 Duy trỗ tờnh duy nhỏỳt cuớa traỷng thaùi taỡi nguyón
Bióứu hióỷn duy nhỏỳt
(thóứ hióỷn tờnh duy nhỏỳt) cuớa traỷng thaùi taỡi nguyón õổồỹc chia
seớ bồới tỏỷp hồỹp caùc bọỹ cung cỏỳp. Bióứu hióỷn naỡy tuỏửn hoaỡn giổợa caùc traỷm khaùc nhau dổồùi
daỷng mọỹt thọng õióỷp. Caùc traỷm luỏn phión õoùng vai troỡ cuớa bọỹ cung cỏỳp taỡi nguyón maỡ
mỗnh õang chởu traùch nhióỷm quaớn lyù. Giaới phaùp naỡy loaỷi boớ tỏỳt caớ caùc khaớ nng song
song, khọng loaỷi boớ khaớ nng mỏỳt thọng õióỷp traỷng thaùi, thióỳu thọỳn taỡi nguyón mọỹt
caùch vọ haỷn.
12
Tióứu luỏỷn mọn Hóỷ phỏn taùn
I.1.2 Phỏn taùn bióứu hióỷn traỷng thaùi vaỡ chổùc nng cung cỏỳp
Coù rỏỳt nhióửu giaới phaùp coù thóứ :
STT Giaới phaùp
1 Ta duy trỗ taỷi mọựt traỷm mọỹt baớn sao traỷng thaùi taỡi nguyón tọứng quaùt. Trong
trổồỡng hồỹp naỡy, cỏửn phaới baớo õaớm sổỷ gừn boù hổợu cồ cuớa caùc baớn sao.
2 Ta phỏn taùn bióứu hióỷn traỷng thaùi trón caùc traỷm, mọựi mọỹt traỷm chố coù traỷng
thaùi taỡi nguyón cuớa caùc taỡi nguyón cuỷc bọỹ cuớa mỗnh. Caùc quyóỳt õởnh õổa ra
trón caùc traỷm khaùc nhau cỏửn phaới õổồỹc phọỳi hồỹp theo kióứu sao cho dổợ lióỷu
cuớa vióỷc cung cỏỳp phaới õổồỹc gừn boù vồùi nhau.
3 Mọỹt phổồng phaùp õỏửy ỏỳn tổồỹng laỡ nhoùm sừp xóỳp nhũm õaớm baớo cho tỏỳt caớ
yóu cỏửu taỡi nguyón xuỏỳt phaùt tổỡ caùc tióỳn trỗnh õóỳn õổồỹc caùc bọỹ cung cỏỳp
khaùc nhau theo mọỹt trỏỷt tổỷ duy nhỏỳt õổồỹc cọỳ õởnh tổỡ trổồùc.
II.2 Baỡi toaùn baợi õóứ xe
Baỡi toaùn baợi õóứ xe õổồỹc phaùt bióứu nhổ sau:
Tỗnh huọỳng thổù 1:

Ta giaớ sổớ rũng baợi õóứ xe laỡ mọỹt baợi lồùn coù mọỹt cọứng vaỡo dổồùi sổỷ kióứm soaùt cuớa
mọỹt ngổồỡi baớo vóỷ (NBV) duy nhỏỳt. NBV chố bióỳt õổồỹc mọỹt phỏửn traỷng thaùi cuớa baợi õóứ
xe. Trong khi anh ta nghộ rũng baợi õóứ xe õaợ bở õỏửy, trong khi õoù laỷi coù nhióửu laùi xe õang
cho xe chaỷy ra cọứng, vỗ suy nghộ nhổ vỏỷy, trong trổồỡng hồỹp naỡy, anh ta khọng giaới
quyóỳt cho caùc xe khaùc tióỳp tuỷc vaỡo baợi nổợa, mỷc duỡ luùc naỡy trong baợi õang coù chọự
trọỳng. Nhổ vỏỷy, NBV khọng nừm õổồỹc traỷng thaùi hióỷn haỡnh cuớa baợi.
Tỗnh huọỳng thổù 2:
Nóỳu ta coù baợi õóứ xe vồùi nhióửu cọứng vaỡo vaỡ taỷi mọựi cọứng vaỡo coù mọỹt ngổồỡi baớo
vóỷ thỗ mọựi ngổồỡi baớo vóỷ chố coù thóứ bióỳt õổồỹc traỷng thaùi vồùi õọỹ tróự nhỏỳt õởnh vaỡ õióửu õoù
dỏựn õóỳn tỗnh huọỳng thổù 2. où laỡ tỗnh huọỳng coù nhióửu trung tỏm ra quyóỳt õởnh nhổ trong
hỗnh sau:
Hỗnh II.1. Mọ phoớng baợi õỏỷu xe ọ tọ
Trong õoù, BV - ngổồỡi baớo vóỷ coù nhióỷm vuỷ phỏn phọỳi chọự cho caùc xe ọ tọ, VT -
vở trờ cho tổỡng ọ tọ cuỷ thóứ. Caùc muợi tón hai chióửu õổồỹc sổớ duỷng õóứ mọ taớ caùc doỡng xe
vaỡo ra.
Trón thổỷc tóỳ, mọỹt ngổồỡi baớo vóỷ naỡo õoù tin rũng khọng coỡn chọự trọỳng nổợa, trong
khi mọỹt ngổồỡi baớo vóỷ khaùc laỷi vổỡa mồùi cho ra khoới baợi mọỹt sọỳ xe maỡ anh ta chổa kởp
baùo cho caùc ngổồỡi baớo vóỷ khaùc. Cuợng coù thóứ dióựn ra trổồỡng hồỹp laỡ cuỡng mọỹt luùc caùc
ngổồỡi baớo vóỷ giaới quyóỳt caùc xe vaỡo cuỡng mọỹt vở trờ trong baợi vỗ hoỹ thióỳu thọng tin.
Nhổ vỏỷy, caùc ngổồỡi baớo vóỷ phaới hồỹp lổỷc vồùi nhau õóứ phỏn phọỳi chờnh xaùc caùc
chọự trọỳng trong baợi, õỷc bióỷt laỡ sọỳ lổồỹng chọự coỡn trọỳng caỡng ờt thỗ vaỡi troỡ cuớa hồỹp lổỷc
caỡng quan troỹng.
Phổồng phaùp giaới quyóỳt naỡy vỏỳn õóử dổỷa trón caùc thuỏỷt toaùn vaỡ giaới phaùp õaợ giồùi
thióỷu ồớ trón vaỡ õổồỹc phỏn tờch cuỷ thóứ trong phỏửn tióỳp theo sau.
II.3 Phỏn tờch baỡi toaùn
II.3.1 Sổỷ khọng gừn boù giổợa caùc ngổồỡi baớo vóỷ
Cho mọỹt baợi õóứ xe ọ tọ N chọứ vồùi nhióửu cọứng vaỡo (ờt nhỏỳt laỡ 2 lọỳi vaỡo) vaỡ taỷi mọựi
cọứng vaỡo coù mọỹt ngổồỡi baớo vóỷ. Mọỹt ngổồỡi baớo vóỷ coù vai troỡ nhổ laỡ chổồng trỗnh trỗnh
cung cỏỳp chọự cuớa baợi õóứ xe ọ tọ. õỏy, chọự õóứ xe õổồỹc xem nhổ laỡ taỡi nguyón cuớa hóỷ.
Giaớ sổớ rũng, ồớ thồỡi õióứm cho trổồùc coù 4 ngổồỡi baớo vóỷ vaỡ coù 100 chọự coỡn trọỳng. Tỏỳt caớ

13
BV
BV
BV
VT
VT
VT
VT
VT
VT
VT
VT
VT
VT
VT
VT
VT
VT
Tiãøu lûn män Hãû phán tạn 
cạc ngỉåìi bo vãû âãưu cọ thäng tin âọ. Trảng thại ca hãû lục ny l gàõn bọ. Ba trong säú
h phạt âi thäng tin nhỉ sau:
STT K hiãûu Thäng tin phạt âi
1 M1 Thãm 20 chäù träúng
2 M2 Â cọ 10 chäù bë chiãúm
3 M3 Dnh 10% chäù träúng âãø quẹt dn sán bi
Hçnh II.2 cho tháúy, nãúu ta khäng cọ rng büc no âäúi våïi trçnh tỉû xỉí l cạc
thäng âiãûp nháûn âỉåüc ca cạc ngỉåìi bo vãû thç cạc ngỉåìi bo vãû ny s cọ säú lỉåüng
chäù träúng khạc nhau. Âãø bo âm cạc bn cáûp nháût giäúng nhau thç
trçnh tỉû cáûp nháût
nháút thiãút phi giäúng nhau trãn táút c cạc trảm.

Tráût tỉû
xỉí l
Bo vãû 1 Bo vãû 2 Bo vãû 3 Bo vãû 4
Thäng
âiãûp
Giạ trë Thäng
âiãûp
Giạ trë Thäng
âiãûp
Giạ trë Thäng
âiãûp
Giạ trë
100 100 100 100
1 M1 120 M1 120 M2 90 M3 90
2 M2 110 M3 108 M1 110 M2 80
3 M3 99 M2 98 M3 99 M1 110
Hçnh II.2.
Sỉû khäng gàõn bọ giỉỵa 4 ngỉåìi bo vãû
Tải âáy, âãø dãù dng hçnh dung váún âãư, ta cọ thãø xem ngỉåìi bo vãû nhỉ l
chỉång trçnh cung cáúp, cn chäù trong bi l ti ngun v cạc ä tä l cạc tiãún trçnh ca
hãû.
II.3.2 Håüp lỉûc giỉỵa cạc ngỉåìi bo vãû
Váún âãư håüp lỉûc giỉỵa cạc ngỉåìi bo vãû l vä cng quan trng nhàòm phán phäúi
chênh xạc säú chäù träúng trong bi, âàûc biãût säú chäù träúng cng êt thç vai tr ca håüp lỉûc
cng quan trng hån.
Ta hçnh dung mäùi mäüt ngỉåìi bo vãû nhỉ l mäüt trảm âiãưu khiãøn S.
Khi mäüt ä tä tải trảm Si mún sỉí dủng chäù träúng trong bi, nọ s gåíi thäng âiãûp
REQ cọ âạnh dáúu cho táút c cạc trảm trong hãû kãø c trảm Si.
Mäùi trảm, Si, duy trç mäüt hng âåüi chỉïa cạc thäng âiãûp u cáưu âỉåüc sàõp xãúp
theo tráût tỉû dáúu v quan hãû tráût tỉû ton bäü âỉåüc sỉí dủng âãø gàõn cạc dáúu.

Khi mäüt trảm nháûn âỉåüc u cáưu, nọ s âỉa thäng âiãûp âọ vo hng âåüi u cáưu
ca nọ theo thỉï tỉû dáúu v gåíi mäüt thäng âiãûp tr låìi ACQ. Nãúu cáưn, quan hãû tráût tỉû
ton pháưn âỉåüc sỉí dủng âãø phạ våỵ cạc sỉû rng büc.
tỉåíng chung l mäüt ä tä (tiãún trçnh) khäng thãø sỉí dủng chäù träúng tải bi xe
ca nọ cho tåïi khi nọ nháûn âỉåüc tr låìi tỉì táút c cạc trảm khạc. Cạc thäng âiãûp tr låìi s
“flush out” cạc u cáưu báút k tỉì cạc tiãún trçnh khạc, âãø chụng ta biãút hng âåüi âỉåüc
cáûp nháûp.
Âàûc biãût hån nỉỵa, mäüt trảm S
i
cho ä tä sỉí dủng chäù träúng trong bi xe khi:
- Nháûn âỉåüc thäng âiãûp tr låìi tỉì táút c cạc trảm cn lải.
- u cáưu REQUEST ca nọ l åí trãn âènh ca hng âåüi củc bäü ca nọ.
Khi trảm cho mäüt ä tä ra, nọ s gåíi khuún nghë gii phọng RELEASE âãún táút
c cạc trảm. u cáưu ca nọ âỉåüc loải b khi táút c cạc hng âåüi tải thåìi âiãøm ny.
Nãúu cạc trảm khạc âang chåì âãø sỉí dủng chäù träúng ca chụng, mäüt trong cạc trảm âọ
báy giåì cọ thãø bàõt âáưu sỉí dủng chäù träúng ca mçnh.
Âäü trãù âäưng bäü: T (trong âọ T l thåìi gian trung bçnh truưn thäng âiãûp). Khi
nháûn âỉåüc thäng âiãûp gii phọng, tiãún trçnh tiãúp theo cọ thãø bàõt âáưu thi hnh.
II.3.3 Cạc hoảt âäüng cå bn trong bi âáûu xe
Cạc dng xe vo ra cọ thãø nọi chụng cọ cạc hnh vi cå bn sau:
Viãûc qun l truy cáûp bao gäưm ghi lải säú lỉåüng xe vo E, säú lỉåüng xe ra S v
kiãøm tra X mäùi khi mún cho mäüt xe vo bi theo cäng thỉïc:
14
Vo bi (vao), Âáûu (dau), Ra (ra)
X = N - E + S > 0
Tiãøu lûn män Hãû phán tạn 
Trong hãû thäúng ny, ngỉåìi ta sỉí dủng bäü âiãưu khiãøn C
i
âãø cọ âỉåüc säú lỉåüng vo
chênh xạc l E

i
, säú lỉåüng ra l S
i
. Cho biãút M l säú lỉåüng bäü âiãưu khiãøn cọ trong hãû.
Ngỉåìi ta mún trang bë cho mäùi C
i
mäüt biãún X
i
- säú lỉåüng chäù cn träúng trong bi
nhàòm mủc âêch cọ thãø sỉí dủng âiãưu kiãûn củc bäü:
âãø cho phẹp mäüt ä tä vo bi.
ÅÍ âáy, ta cáưn phi chụ ràòng ngỉåìi bo vãû phạt mäüt phiãúu cho ä tä v nháûn lải
phiãúu âọ khi ä tä ra. Mäùi mäüt ngỉåìi bo vãû C
i
(âọng vai tr nhỉ l bäü âiãưu khiãøn, bäü
cung cáúp) cáưm giỉỵ mäüt säú phiãúu nhàòm cho viãûc qun l củc bäü ca mçnh v chuøn
cho âäưng nghiãûp C
i+1
nhỉỵng cại dỉ.
Cạc hnh vi cå bn cáúp chäù träúng:
1. Khàóng âënh phiãúu phạt l chäù cn träúng
2. Gỉíi âi cạc ngỉåìi bo vãû khạc
3. Chåì ton bäü khàóng âënh
4. Gảch chẹo vo ä vỉìa phạt phiãúu
5. Phạt phiãúu cho ä tä
Cạc hnh vi cå bn thu häưi chäù báûn trỉåïc âọ
1. Thu häưi phiãúu
2. Gỉíi âi cạc ngỉåìi bo vãû
3. Gảch vo phiãúu âỉa vo ä tỉû do
II.3.4 Chỉïng minh ràòng X

i
l giạ trë cỉûc tiãøu ca X
Trãn cå såí håüp lỉûc giỉỵa cạc ngỉåìi bo vãû, ta chỉïng minh ràòng X
i
l giạ trë cỉûc
tiãøu ca X (X khäng phi l cäng tå âån trë).
Mäüt tiãún trçnh (ä tä) u cáưu âỉåüc sỉí dủng ti ngun (chäù âáûu xe) hồûc gii
phọng ti ngun (hnh vi cho xe ra) âãún bäü âiãưu khiãøn C
i
, C
i
s gỉíi láưn lỉåüt cạc thäng
âiãûp sau:
STT Thäng âiãûp Gii thêch
1 REQ Thäng âiãûp REQ âỉåüc phạt âi cho táút c cạc bäü âiãưu khiãøn,
khi C
i
mún cho mäüt ä tä vo
2 REL Thäng âiãûp REL âỉåüc phạt âi cho táút c cạc bäü âiãưu khiãøn,
khi C
i
mún cho mäüt ä tä ra.
3 ACQ Thäng âiãûp ACQ âỉåüc gåíi båíi C
j
cho C
i
, khi C
j
â nháûn tỉì C
i

thäng âiãûp REQ.
15
X
i
> 0
Tiãøu lûn män Hãû phán tạn 
II.3.4.1 Chỉïng minh ràòng E
i
≥ E
Mäùi mäüt cäng tå (biãún) X
i
, S
i
, E
i
âỉåüc khåíi âäüng ngay khi thnh láûp nọ:
X
i
= N, S
i
= 0 v E
i
= 0 nãúu i=0 (*)
X
i
= 0, S
i
= 0 v E
i
= N nãúu i ≠ 0 (**)

Theo nhỉ phán têch trãn, khi mún cho mäüt ä tä vo thç bäü âiãưu khiãøn C
i
phi
thỉûc hiãûn trçnh tỉû cạc cäng viãûc (sỉû kiãûn) sau:
1. Láúy mäüt phiãúu träúng thüc quưn qun l ca mçnh âãø chøn bë cáúp cho ä tä
2. Gåíi mäüt thäng âiãûp u cáưu REQ cọ âạnh dáúu âãún táút c cạc C
j
kãø c C
i
3. Khi C
j
nháûn âỉåüc u cáưu, nọ s âỉa thäng âiãûp âọ vo hng âåüi u cáưu ca
nọ theo thỉï tỉû dáúu v gåíi mäüt thäng âiãûp tr låìi REPLY
4. C
i
thi hnh u cáưu ca nọ khi:
- Nháûn âỉåüc thäng âiãûp tr låìi tỉì táút c cạc bäü âiãưu khiãøn cn lải.
- u cáưu REQUEST ca nọ l åí trãn âènh ca hng âåüi củc bäü ca nọ.
(1) Nãúu u cáưu âỉåüc thi hnh, nọ s tàng giạ trë ca E
i
v gảch chẹo vo ä vỉìa
phạt phiãúu
⇒ Bỉåïc tiãúp theo l phạt phiãúu cho ä tä, giạ trë E s âỉåüc cáûp nháût âãø tàng lãn.
(2) Nãúu u cáưu chỉa thi hnh, cọ nghéa l êt nháút mäüt trong hai u cáưu trãn
khäng tho mn, giạ trë ca E
i
khäng âäøi cho tåïi thåìi âiãøm ny.
Kh nàng cọ thãø xy ra l C
i
khäng nháûn âỉåüc êt nháút mäüt thäng âiãûp tr låìi tỉì

C
j
d u cáưu REQUEST ca nọ l åí trãn âènh ca hng âåüi v âiãưu ny âáùn âãún hng
loảt cạc u cáưu xãúp hng kãú sau nọ trong tçnh trảng chåì.
Nháûn xẹt:
- Tải (1) ta nháûn tháúy giạ trë ca E
i
s âỉåüc tàng lãn säú gia
delta
trỉåïc khi giạ trë
E tàng lãn våïi cng säú gia nhỉ thãú.
- Tải (2) ta nháûn tháúy giạ trë ca E
i
khäng âäøi, cọ nghéa l nọ váùn cọ giạ trë låïn
hån hồûc bàòng E.
Tỉì (*), (**), (1) v (2), ta cọ: E
i
≥ E.
II.3.4.2 Chỉïng minh ràòng S
i
≤ S
Khi mún cho mäüt ä tä ra (gii phng ti ngun) thç bäü âiãưu khiãøn C
i
phi thỉûc
hiãûn trçnh tỉû cạc cäng viãûc (sỉû kiãûn) sau:
1. Thu häưi phiãúu, lục ny giạ trë S âỉåüc cáûp nháût âãø tàng lãn.
2. C
i
s gåíi khuún nghë gii phọng RELEASE âãún táút c cạc C
j

. u cáưu ca
nọ âỉåüc loải b khi táút c cạc hng âåüi tải thåìi âiãøm ny.
3. Gảch vo phiãúu âỉa vo ä tỉû do, lục ny giạ trë S
i
tàng.
16
Tiãøu lûn män Hãû phán tạn 
Nháûn xẹt:
Tỉì 3 bỉåïc theo trçnh tỉû trãn thç S tàng lãn mäüt säú gia
delta
trỉåïc khi S
i
tàng lãn
våïi cng mäüt säú gia nhỉ thãú. Âiãưu ny cọ nghéa l S
i
≤ S.
II.3.4.3 Kãút lûn
Trong âọ:
- Säú lỉåüng xe vo E
- Säú lỉåüng xe ra S
- Kiãøm tra X > 0 mäùi khi mún cho mäüt xe vo bi.
Trong hãû thäúng ny, ngỉåìi ta sỉí dủng bäü âiãưu khiãøn C
i
:
- Säú lỉåüng ä tä vo chênh xạc l E
i
- Säú lỉåüng ä tä ra l S
i
- Cho biãút M l säú lỉåüng bäü âiãưu khiãøn cọ trong hãû
- Säú lỉåüng chäù cn träúng trong bi X

i
>0 âãø cho phẹp mäüt ä tä vo bi
Âãø chỉïng minh X
i
l giạ trë cỉûc tiãøu ca X, thç ta phi chỉïng minh:
Âiãưu ny â âỉåüc chỉïng minh tải II.3.4.1 v II.3.4.2. Nhỉ váûy âiãưu cáưn
chỉïng minh â âỉåüc chỉïng minh.
II.3.5 Chỉïng minh ràòng åí mi thåìi âiãøm X
i
≤ X
Ta chụ âãún kiãøu qun l cạc biãún X
i
tải cạc thåìi âiãøm:
a. Khi khåíi âäüng hãû thäúng, ta thỉûc hiãûn:
X
i
= N, nãúu i = 0
X
i
= 0, nãúu i ≠ 0
Tải thåìi âiãøm ny, X = N
Giạ trë låïn nháút ca X
i
= N, v giạ trë bẹ nháút ca X
i
= 0. Âiãưu ny chỉïng t:
b. Khi C
i
ghi mäüt ä tä vo, ta thỉûc hiãûn:
E

i
:= E
i
+ 1
X
i
:= X
i
- 1
ÅÍ trãn, ta â nãu trçnh tỉû cạc sỉû kiãûn thỉûc hiãûn khi mún cáúp mäüt chäù träúng v
cng â chỉïng minh tải thåìi âiãøm ny E
i
≥ E. Âiãưu ny cng cọ nghéa l:
c. Khi ghi mäüt ä tä ra, ta thỉûc hiãûn:
S
i
:= S
i
+ 1
X
i
:= X
i
+ 1
ÅÍ trãn, ta â nãu trçnh tỉû cạc sỉû kiãûn thỉûc hiãûn khi mún thu häưi mäüt chäù träúng
v cng â chỉïng minh tải thåìi âiãøm ny S
i
≤ S. Âiãưu ny cng cọ nghéa l:
d. Bäü âiãưu khiãøn C
i

cọ quưn tỉû do thỉûc hiãûn mäüt dy cạc tạc âäüng, trong âọ A
l säú lỉåüng âỉåüc lỉûa chn ch quan tỉì X
i
.
17
X = N - E + S > 0
X
i
= N - E
i
+ S
i
> 0
E
i
≥ E
S
i
≤ S
X
i
≤ X
X
i
≤ X
X
i
≤ X
AX
AXX

i
ii
=
−=
:
:
*
Tióứu luỏỷn mọn Hóỷ phỏn taùn
Thồỡi õióứm naỡy, C
i
thổỷc hióỷn vióỷc chuyóứn õóỳn cho C
i+1

module M

sọỳ phióỳu dổ ra laỡ
*
i
X
. Vaỡ giaù trở X
i
luùc naỡy nhoớ hồn giaù trở X
i
taỷi thồỡi õióứm kóỳ trổồùc mọỹt giaù trở
delta
.
Chờnh vỗ vỏỷy, ta coù thóứ khúng õởnh:
õ. Khi nhỏỷn mọỹt thọng õióỷp X
*
i-1

modulo M

, C
i
thổỷc hióỷn:
X
i
:= X
i
+ X
*
i-1
modulo M

Vỗ X
i
õổồỹc xem laỡ bióỳn cuỷc bọỹ nừm giổợ sọỳ chọự trọỳng thuọỹc quyóửn quaớn lyù cuỷc bọỹ
cuớa C
i
, cho nón ta coù:
X
i
+ X
i-1
modulo M

+ X
*
i-1
modulo M

<= X
X
i
:= X
i

+ X
*
i-1
modulo M

<= X
Nhổ vỏỷy, taỷi moỹi thồỡi õióứm:
II.3.6 Chổùng minh rũng khi khọng coù thọng õióỷp naỡo õang õi trón
õổồỡng, ta coù:
õỏy, ta chuù yù õóỳn caùc thồỡi õióứm quan troỹng sau:
a. Khi khồới õọỹng hóỷ thọỳng, ta thổỷc hióỷn:
X
i
= N, nóỳu i = 0
X
i
= 0, nóỳu i 0
Taỷi thồỡi õióứm naỡy, X = N. Vaỡ chờnh xaùc taỷi thồỡi õióứm naỡy chổa coù mọỹt thọng
õióỷp naỡo õổồỹc phaùt õi, vỗ vỏỷy cuợng khọng coù mọỹt thọng õióỷp naỡo õang õi trón õổồỡng,
ta coù:
b. Ngay sau khi khồới õọỹng hóỷ thọỳng, ngổồỡi baớo vóỷ C
i
(i = 0) cỏửm giổợ mọỹt sọỳ

phióỳu nhũm cho vióỷc quaớn lyù cuỷc bọỹ cuớa mỗnh vaỡ chuyóứn cho õọửng nghióỷp C
i+1
nhổợng
caùi dổ. Vióỷc chuyóứn nhổợng phióỳu dổ taỷi mọựi C
i
cho C
i+1
ModuloM

vỏựn tióỳp tuỷc dióựn ra sau
õoù.
Nóỳu nhổ coù ờt nhỏỳt mọỹt thọng õióỷp trong sọỳ caùc thọng õióỷp daỷng REQ, REL,
ACQ õang õi trón õổồỡng thỗ giaù trở cuớa X
i
vaỡ X seợ thay õọứi so vồùi chờnh noù taỷi thồỡi
õióứm trổồùc õoù. Caớ hai X vaỡ X
i
seợ tng hay giaớm cuỡng mọỹt sọỳ gia
delta
tuyỡ thuọỹc vaỡo
vióỷc truyóửn vaỡ nhỏỷn thọng õióỷp loaỷi naỡo (REQ, REL, ACQ). Tuy nhión, theo phỏn tờch
ồớ phỏửn trón ta nhỏỷn thỏỳy rũng vióỷc cỏỷp nhỏỷt giaù trở thay õọứi cuớa X vaỡ X
i
seợ khọng cuỡng
dióựn ra taỷi mọỹt thồỡi õióứm maỡ õổồỹc cỏỷp nhỏỷt sau mọỹt sau khoaớng thồỡi gian

T naỡo õoù
(khoaớng thồỡi gian T laỡ luùc maỡ thọng õióỷp coỡn õang õi trón õổồỡng).
Sau khoaớng thồỡi gian T (thọng õióỷp õaợ õóỳn nồi), caớ X vaỡ X
i

õaợ thay õọứi so vồùi
chờnh noù luùc trổồùc cuỡng mọỹt sọỳ gia
delta
nhổ nhau. Luùc naỡy ta coù thóứ kóỳt luỏỷn rũng khi
khọng coù mọỹt thọng õióỷp õang õi trón õổồỡng thỗ roợ raỡng traỷng thaùi tổỡ luùc õỏửu (luùc khồới
õọỹng hóỷ thọỳng) seợ õổồỹc giổợ nguyón:
II.4 Kóỳt luỏỷn:
Tổỡ õỷc õióứm baỡi toaùn
baợi õóứ xe,
ta ruùt ra caùc vỏỳn õóử õang õỷt ra trong hóỷ phỏn
taùn:
- Nhióửu tióỳn trỗnh cuỡng mọỹt luùc truy cỏỷp vaỡo taỡi nguyón duỡng chung. Trổồỡng
hồỹp naỡy goỹi laỡ truy cỏỷp
tổồng tranh
.
- óứ tng hióỷu nng sổớ duỷng thióỳt bở vaỡ hióỷu quaớ hoaỷt õọỹng cuớa chổồng trỗnh thỗ
õióửu cỏửn thióỳt laỡ caùc tióỳn trỗnh cuớa cuỡng mọỹt hóỷ ổùng duỷng hoaỷt õọỹng theo kióứu
hồỹp lổỷc
õóứ giaới quyóỳt baỡi toaùn õỷt ra vaỡ cho kóỳt quớa nhanh nhỏỳt.
Tổỡ caùc vỏỳn õóử naỡy maỡ ngổồỡi ta laỷi phaới nghión cổùu vaỡ õóử ra caùc chióỳn lổồỹc trong
hóỷ phỏn taùn:
18
X
i
X


= XX
i
vồùi chố sọỳ i

X
i
X

=
XX
i
vồùi chố sọỳ i

=
XX
i
vồùi chố sọỳ i
Tióứu luỏỷn mọn Hóỷ phỏn taùn
- Chióỳn lổồỹc õọửng bọỹ hoaù caùc tióỳn trỗnh nhũm laỡm cho caùc tióỳn trỗnh hoaỷt õọỹng
nhởp nhaỡng, n khồùp vồùi nhau.
- Chióỳn lổồỹc cung cỏỳp taỡi nguyón. Mọỹt chióỳn lổồỹc cung cỏỳp taỡi nguyón tọửi cuợng
coù thóứ laỡ nguọửn gọỳc huớy hoaỷi hióỷu nng hoaỷt õọỹng cuớa hóỷ do caùc hióỷn tổồỹng laỡm tng
caùc yóu cỏửu maỡ khọng õổồỹc õaùp ổùng cuớa mọỹt sọỳ taỡi nguyón.
óứ traùnh caùc hióỷn tổồỹng bở sọỳc do thióỳu huỷt taỡi nguyón nhổ trón thỗ bọỹ cung
cỏỳp taỡi nguyón cỏửn phaới õaớm baớo chổùc nng
õióửu khióứn
. Trong baỡi toaùn õỷt ra trón,
chổùc nng cung cỏỳp õổồỹc phỏn taùn thaỡnh mọỹt
tỏỷp hồỹp caùc bọỹ cung cỏỳp
trón caùc traỷm
khaùc nhau, trong õoù mọựi bọỹ chố quaớn lyù caùc õọỳi tổồỹng cuỷc bọỹ cuớa traỷm õoù maỡ thọi.
Qua baỡi toaùn baợi õóứ xe, ta õaợ coù cồ họỹi õóứ tỗm hióứu caùc vỏỳn õóử, caùc chióỳn lổồỹc
õỷt ra trong hóỷ phỏn taùn. ỏy laỡ mọỹt lộnh vổỷc khaù mồùi meớ vaỡ hỏỳp dỏựn bồới tờnh phổùc taỷp
rióng cuớa mỗnh vaỡ khaớ nng ổùng duỷng vaỡo thổỷc tóỳ laỡ khọng nhoớ. Hi voỹng, qua baỡi toaùn

naỡy ta seợ coù dởp tỗm hióứu sỏu hồn vóử nhióửu vỏỳn õóử trong hóỷ phỏn taùn.
19
Tiãøu lûn män Hãû phán tạn 
TI LIÃÛU THAM KHO

[1] Hãû phán tạn - TS. Lã Vàn Sån, Nh xút bn Âải hc qúc gia TP. Häư Chê
Minh.
[2] Giạo trçnh hãû âiãưu hnh náng cao -Tráưn Hảnh Nhi, Nh xút bn TP.Häư Chê
Minh
[3] Mảng mạy tênh v cạc hãû thäúng måí - Nguùn Thục Hi, Nh xút bn Giạo dủc
MỦC LỦC
Chỉång I: Sàõp xãúp kiãøu âọng dáúu v sàõp xãúp bàòng bäü tưn tỉû
I.1 Âàût váún âãư
I.2 Âäưng bäü hoạ theo mäüt tráût tỉû täøng quạt chàût ch
I.2.1 Cung cáúp táûp trung
I.2.2 Cung cáúp phán tạn
I.3 Sàõp xãúp kiãøu âọng dáúu
I.3.1 Cáúu tảo trçnh tỉû täøng quạt chàût ch
I.3.2 Giåïi thiãûu gii thût loải trỉì tỉång häù
I.4 Sàõp xãúp bàòng bäü tưn tỉû
I.5 So sạnh sàõp xãúp kiãøu âọng dáúu v sàõp xãúp bàòng bäü tưn tỉû
I.6 Kãút lûn
Chỉång II: Bi toạn bi âáûu xe & váún âãư håüp lỉûc giỉỵa cạc ngỉåìi bo vãû
II.1 Thût toạn cung cáúp cho hãû phán tạn
II.1.1 Duy trç tênh duy nháút ca trảng thại ti ngun
II.1.2 Phán tạn biãøu hiãûn trảng thại v chỉïc nàng cung cáúp
20
Tióứu luỏỷn mọn Hóỷ phỏn taùn
II.2 Baỡi toaùn baợi õóứ xe
II.3 Phỏn tờch baỡi toaùn

II.3.1 Sổỷ khọng gừn boù giổợa caùc ngổồỡi baớo vóỷ
II.3.2 Hồỹp lổỷc giổợa caùc ngổồỡi baớo vóỷ
II.3.3 Caùc hoaỷt õọỹng cồ baớn trong baợi õỏỷu xe
II.3.4 Chổùng minh rũng X
i
laỡ giaù trở cổỷc tióứu cuớa X
II.3.5 Chổùng minh rũng ồớ moỹi thồỡi õióứm X
i
X
II.3.6 Chổùng minh rũng khi khọng coù thọng õióỷp naỡo õang õi trón õổồỡng
II.4 Kóỳt luỏỷn
Taỡi lióỷu tham khaớo
Muỷc luỷc
21