Đồng bộ đầy đủ của các hệ thống

- De tai da mo hinh hoa mot each tong quat cac he thong tuang tranh va xay dung dugc nhung nguyen ly ca ban nhat cho bai toan hgp thanh cac he thong tuong tranh tdng quat, lam ca sa ch[r]

DAI HOC QUOC GIA HA NOI

TRirdNG DAI HOC KHOA HOC TU" NHIEN

A / , 6)E TAI NGHIEN Cl/U KHOA HOC C0N(5 NGHE

DONG BO DAY DU CUA CAC HE THONG

• •

( Complete Synchronization of Systems )

MA SO: QT - 01 - 28 CHtJ TRI DE TAI: TS.9 V H O A N G CHI THANH

He Ml2i^ ^

f>AI HOC O TftUN

V ^

HA NOI - 2002

TEN DE TAI; Dong bo day du cua cac he thong

MA SO: QT - 01 - 28

CHU TRi DE TAI: TS Hoang Chi Thanh

CAC CAN BO PHO I HOP:

TS Doan Van Ban ThS Vu Quang Thudng ThS Nguyin Xu^n Hoang

MUC LUC

Trang Phan I: BAO CAO TOM TAT 4

a Ten dt tai, Ma so 4

b Chu tri dt tai 4

c Cac can bo tham gia 4

d Muc tieu va noi dung nghien cuu 4

e Cac ket qua dat duac 4

f Tmh hinh kinh phi cua dt tai 5

Part II: SUMMARY 6

a Title and Code of the project 6

b Head of the research group 6

c Participants 6

d Research aims and contents 6

e Main obtained results 6

PHAN CHINH CUA BAO CAO 8

1 Lai m a dau 8

2 Noi dung chfnh 8

2.1 Bai toan d6ng bo day du 9

2.2 Ng6n ngu vet cue bo 9

2.3 Dong bo day du 10

3 Ket luan " 10

4 Tai lieu tham khao 11

PHU LUC: Cac bai bao da cong bo 12

1) Hoang Chi Thanh - ''Bdi todn dong bg ddy du trong ly 13

thuyet tuang tranh"' - 2002

2) Hoang Chi Thanh - \D6ng ho ddy du tren cdc ngon ngii 17

vet cue hg' - 2002

PHIEU DANG KY KET QUA NGHIEN CUU 29

PHAN I : B A O C A O T O M T A T

a Ten dt tai: Dong bo day du ciia cac he thong

Ma so: QT^-01 - 28

b Chu tri de tai: TS Hoang Chi Thanh

c Cac can bo tham gia:

TS Doan Van Ban ThS Vu Quang Thuang ThS Nsuv^n Xuan Hoang

d Muc tieu va noi dung nghien cuu:

D6ng bo va dong bo day du cua cac he tHong la mot van di max va quan trong trong cong nghe thong tm, Vi.ec nghien cuu t6ng hap cac he thong, dt ra

cac nguyen ly dong bp cho viec t6ng hgp cac he thong phiic vu tot cho viec phan tich, thiet ke va xu ly mang tranh cac he thong, ching han nhu cac mang truv6n tm, cac dav chuv^n san xuat, cac mang mav tfnh, cac ca so du lieu lan

va phan tan

Dt tai tap trung nghien cuu xay dung mo hinh tong quat cho cac he

thong tuang tranh va nguyen ly hap thanh Tu do dua ra cac di6u kien dii cho sud6ng bo day du

e Cac ket qua dat dugc:

- Chung toi da x^y dung dugc mo hinh tdng quat cho cac he thong ruang aanii vi r.guycn ly hgp thanh cac he thong tuang tranh, xet tmh d6ng bo, d6ng

bo day du cua chiing [bai bao I] Da dua ra di^u kien dii cho su d6ng bo day dii Clia cac he thong orong tranh duac bieu diln bai ngon nsu vet cue bo [bai bao2], ' " ^

- Dang huang din mot nshien cuu sinh viet luan an tien sv theo di tai

nay (Vu Quang Thuang — '"Divlu khie'n tuang tranh toi uu trong cac ca sa du lieu phan tan'^

- Da viei va dang mot bai bao:

4

Hoang Chi Thanh

Bdi todn dong bp ddy du trong ly thuyet tuomg tranh

Ky yeu Hoi thao Quoc gia "Mot so va'n de chon loc cua Cong nghe Th6ng tin", Dai hoc Hang hai Hai phong, 06/2001 , NXB khoa hoc Ky thuat

2002, trang 242 - 244

- Da viet mot bao cao tai Hoi thao Quoc gia "Mot so van de chon loc cua C6ng nghe Thong tin", Dai hoc Thuy san Nha Trang, 06/2002:

Hoang Chi Thanh

Dong bo ddy du tren cdc ngon ngii vet cue bg

f Tinh hinh kinh phi cua de tai:

- Thue khoan chuyen mon: 7.200.000 d

- Hoi thao khoa hoc, xemina: 600.000 d

- In an va cac viec khac: 200.000 d

T6ngc6ng: 8.000.000 d

r

PART II S U M M A R Y

a Title of the project: Complete Synchronization of Systems

Code of the project: QT- 01- 28

b Head of the research group:

Dr Hoang Chi Thanh

c Participants:

Dr Doan Van Ban

Ms Vu Quang Thuong

Ms Nguyen Xuan Hoang

d Research aims and contents:

Composition of concurrent systems is a new and important problem in Information Technology But the composition must be synchronous or completelly synchronous The main aim of the project is to show sufficient conditions for complete synchronization of concurrent systems and consider their properties

In order to do that we generally model concurrent systems by set theory, propose basic principles for system's composition and prove the complete synchronization for local trace languages

Main contents of the research:

1 General modelling for concurent systems

2 Analyzing behaviours of concurrent systems

3 Composing optimally small systems into large ones (conditions, methods, results I I)

4 Proposing a sufficient condition for complete synchronization of local trace languages

e Main obtained results:

We modeled concurent systems in general by using set theory The composition of concurrent systems has been based on two basic principles: composition principle and synchronization principle We also investigated nonnal form of synchronization and pointed out a sufficient condition for the complete synchronization The synchronization and complete synchronization are usually used in system analyzing and bottom-up designing

Main results of the project are presented in the following published papers:

1) Hoang Chi Thanh

Complete SynchronizationZs Problem in Theory of Concurrency

Proceedings of the 4^*" National Workshop on Information Technology, Publisher of Science & Technology - 2002, pp 242 - 244

2) Hoang Chi Thanh

Complete Synchronization on Local Trace Languages

Proceedings of the 5^^ National Workshop on Information Technology,

2002

Ha n6i, ngay 22 than^ 10 nam 2002

XAC NHAN CUA BAN CHU NHIEM KHOA: CHU TRI DE TAI

f^ y ^ C _

P^S T^"^-H A'^yl^ IA-, M'^ TS Hoang Chi Thanh

x A C NHAN CUA TRUdNG:

PHO Ml|u TRUONG

"^^ITi^.^'awjety.MwcJ/nia

PHAN CHINH CUA BAO CAO

1 LC3lMdDAU:

Mot trong nhung phuang phap thong dung de thiet ke cac he thong la phuang phap thiet ke duai-len (bottom-up method) He lan hgp thanh tu cac he

nho phai bao toan tinh chat dong bg, nghia la:

- M 6 I hanh dong trong he thong hap thanh phai la mot hanh dong trong cac he con va khong co hanh dong nao khac

- Thu tu xuat hien va so Idn xuat hien cua m6i mot hanh dong trong he thong hap thanh giong het nhu trong cac he con

M6i qua trinh ciia he thong ion phai la ''d6ng bo '' cua cac qua trinh

tuang ung trong cac he con Nhung co the co mot so qua trinh trong cac he con

khong tham gia xay dung nen qua trinh trong he lan Khi do he hap thanh khong thuc hien het "nhiem vu" cua cac he con mang ung

De tai nghien cuu x^y dung bai toan d6ng bo diy dii cho cac he tuang tranh t6ng quat va chi ra dieu kien dii cho su d6ng bo day dii ciia cac he tuang tranh duac bieu dien bai cac neon neu vet cue bo

2 NOIDL^^GCHINH:

Da CO mot so mo hinh bieu dien cac he thong arang tranh nhu: Petri Nets (C A Petn, 1963) , Trace Language (A Mazurrkiewicz, 1977) , CSP -< Communicatmg Sequential Proceses (C A R Hoare, 1978) , COSY (P Lauer, 1979) , CCS"- Calculus of Communicating Systems (R Milner, 1980), Processes Algebra, Event Structure, Transition System I , Local Trace Languages (D^ Kuske & R Monn, 2000)

M6i mo hinh tren thuang bao g6m hai phan: phan tinh, phan dong va phai xac dinh dugc cac dac trung chinh sau day ciia cac he thong tuang tranh:

- Quan he ruans tranh trong he

- Quan he xung dot trong he

- Tmh trang giao tiep i^contactness)

- Tmh trans tdc nshen (dead-lock)

- Cac buac thuc hien tuang tranh trong he (tuang tranh cue dai)

- Cac qua trinh trong he

- Hanh vi (behaviour) ciia he thong

Tu nhung mo hinh tren, chiing toi dua ra mo hinh tong quat nhu sau:

Gia sir D^ , D2, , D^ la cac tap hap mang nhiing nghia nao do

M6t he tucmg tranh long qudt la mot bo g6m n thanh phdn:

De xay dung he tuong tranh CS , chiing ta xay dung cac thanh phan P,

theo nguyen ly hap thdnh nhu sau:

P - t P ' n ( D , ' \ D r ) ) ' o ( P / n P , - ) u ( P ; n ( D ; \ D i ' ) ) i = i , 2 n

2.1 Bai toan d6ng bo diy du [l]:

Vai dieu kien nao thi : ^csics, ~ ^cs ^= ^

-Nghia la, tat ca cac qua trinh ciia cac he con deu duac tham gia xay dung cac qua trinh ciia he hgp thanh

Lai siai cho bai toan tren duac tap truns vao nson nsu vet cue bo, mot

mC hinh tuang tranh co nhieu y nghia thue te:

2.2 Nson ngu vet cue b6 (D Kuske & R Monn , 2000):

- Quan he dgc lap cue bo tren bang chu cai A: I z A^^ < 7)(A)

- Quan he lucmo ducmg vet cue bo - smh bai I la quan he tuang duang

nho nhat tren A* thoa man:

1) Vu, u ' ^ A*, 7 a e A : ( u u' => u,a u\a )

2) V(u, s) E L -rs^z s^ 7v^, v^_ELmu') : u.v, - u.v^

Vet cue bo la mot lop tuong duang ciia quan he orang duang

-Chiing toi da co cac ke't qua chinh sau day:

Dinh ly 1: Moi ng6n ngu ve't cue b6 tren (A, I) la d6ng bo ciia hai ngon ngiJ vet tren (A,, I,) va (A^, y ,

2.3 Dong bo d^y du:

Gia sir (B^ la mot ngon ngQ ve't cue bo tren (A^, I^) va H^ la mot ng6n ngfi

vet cue bo tren (A^, I2)

2) (u, s) G I A s ' e s A V G Lin(s') => (u.v, s\s') e I

3) (u, {a,b}) G I A (u.a.b.v, s) G I ^ (u.b.a.v, s) G I

4) (u.a, 0 ) G I = ^ ( U , {a})Gl

Dinh ly 2: Neu I^ la quan he dgc lap cue bg day dii tren A va I^ la day du tren

A^, -S = 'Sj # ®2 thi (B la ddng bg vet cue bg day dii cua '2?, va "B^

Ket qua tren co the ap dung de xac dinh hanh vi cua he thong tuang tranh lan hgp thanh tir cac he thong nho m6t each nhanh chong

Chiing toi cung da xet cac tinh chat dac trung khac ciia he hgp thanh

nhu: quan he tuang tranh co , quan he xung dot cf, tinh ben vung

3 KET LUAN:

- De tai da mo hinh hoa mot each tong quat cac he thong tuang tranh va xay dung dugc nhung nguyen ly ca ban nhat cho bai toan hgp thanh cac he thong tuong tranh tdng quat, lam ca sa cho cong viec thiet ke he thong, ung dung dugc cho cac mang may tinh, cac he thong thong tin, cac ca sa du lieu phan tan trong thuc te De tai cung da dua ra va chiing minh mot dieu kien du cho su d6ng bg day du cua cac he thdng tuong tranh dugc bieu dien bai cac ngon ngfi vet cue bg

- Cac thanh vien cua de tai se tiep tuc nghien cuu, phat trien cac ket qua

da CO va ap dung cho cac mo hinh khac va cho cac he thong thuc te nhu: mang truyen tin, day chuyen san xuat, mang may tinh

10

- D^ tai da c6ng tac v6i m6t s6' d^ tai khac d^ hoan thanh c6ng viec nghien cfiu, lam ca sa cho mdr s6' de tni cno hoc va nghifin cfiu sinh

- Di tai xin chan thanh cam an Ban Giam doc Dai hgc Qu6'c gia Ha n6i,

Ban Giam hieu Trudng Dai hoc Khoa hoc Tu nhien, Ban Chii nhiem Khoa Toan

- Ca - Tin hgc, Phong Khoa hoc va Cong nghe, Phong Tai vu va cac phong ban chfic nang da giup da, tao diSu kien Ihufln lgi va gop nhieu y kie'n quy bau d^ chung tdi sofm hoan thanh n^i dung nghien cfiu

4 TAI LIEU THAM K H A O :

Tlieoretical Computer Science 60 (1988) , pp 1 - 82

3 V Dickert & G Rozenberg

The Book of Traces

World Scientific , 1995

4 D Kuske & R Morin

Pomset for Local Trace Languages

Proceedings of CONCUR , 2000 (tai lieu la'y tren Internet:

htlp://www.cse.psu.edu/concur2()00 )

5 Hoang Chi Thanh

Cac thuat toiui Ilin dang chuan ciia vC't vh vS'l dOng bO

Tap chf Tin hgc & Dieu khien hgc,

T 17,S 1(2001), 72-77

1 ^

PHU LUC

CAC BAI BAO DA CONG BO

1) Hoang Chf Thanh

Bdi todn dong bg ddy du trong ly thuyet tuang tranh

Ky yeu Hoi thao Qudc gia "Mot sd van de chgn loc cua Cong nghe Thong tin", Dai hoc Hang hai Hai phong, 06/2001, NXB Khoa hoc & Ky thuat

2002, trang 242 - 244

2) Hoang Chi Thanh

Dong bg ddy dd tren cdc ngon ngii vet cue bg

Bao cao tai Hgi thao Qudc gia "Mot sd van de chon loc ciia Cong nghe Thong tm", Dai hgc Thuy san Nha Trang, 06/2002

\Z

KY YEU HOI THAO QUOC GIA

HAI PHONG, 7-9 THAxNG 6 NAM 2001

CUA CONG NGHE THONG TIN

BAO CAO TOAN VAN

NHA XUAT BAN KHOA HOC KY THUAT

Mot so vdn de chgn loc cua Cong nghe thong tin, Hdi Phong, 7-9 Ihdng 6 nam 2001

w

BAI TOAN DONG BO DAY DU TRONG LY THUYET TUONG TRANH

Hoang Chf Thanh

Trucmg Dai hoc Khoa hoc Tu nhien Dai hoc Quoc gia Ha Soi

Tom idt' Trong ihiei ke cdc he thong lumi^ iranh, chuns la ihu&n^ su dung phuong

phdp ihiei ki dudi - len vd nguyen ly dong bo He l&n hop ihdnh lu cdc he nhd phdi

bdo loan linh chdi ddng bg nghTa Id:

- Moi hanh dgng irong lie iiap thdnh phdi la moi iianli dong trong cdc he con vd

khong CO hdnh dong ndo khdc

' Thu lu xudi iiien vd so lan xudi hien cua inoi hdnh dong irong he hap ihdnh gidng

iiei nhu irong cdc he con

Moi qud irinh cua he ldi: Id "dong bg" cua cdc qud irinh luaiig img trong cdc he

con Nhu vay co the co moi so qud irinh trong cdc iic con kJiong than: gic xd\ dimg

qud irinh trong he ldi:

Bdi loan: \'di dieu kien ndo tin id) cd cdc qud trinh cua cdc he con deu duoc liiam

giu xdy dung cdc qud innh cua lie iirrp ihdnh vd he hap thdnh co linh chdt ddc

trung gi?

Ddy Id bdi todn md irong ly thuyet cdc he thdng luong tranh- \'iec ngliien cim gidi

quyet bdi loan ndy gdp plidn phdi irien ly ihuyei luoiig tranh cd trong iy iliuyei lan

img diing

1 HE THONG TUONG TRANH \'A CAC MO HINH Bl£U D I £ N

Mot h^ ihoiig duoc gpi la lucmg iranh n6u duac hcfp ihanh lis moi so he con ma iron<i

chung CO cac hanh dong xay ra moi each lUong iranh

1.1 Mot so mo hinh bieu dien

- Pein Nets (C A Pein 1963)

Trace Language (A Mazurkjewicz 1977)

CSP - CommunicaLing Sequenuai Processes (C A R Hoare 1978j

- COSY (P- Lauer 19'79 ^

CCS - Calculus of Communicaimg Sysiem (R Mime:, l980i

Processes Algebra Event Structure Transition Sysiem

1.2 Dinh nghlii long quat

Gia su D,, D^ D^ la cac lap nao do M6l he ihong luong iranh t6ng quat la m6i bt n

ihanh phiii:

CS = (P), P-, P J vdi P c D, ]=1 n, Vidu:

- He cac difeu ki6n va bien c6: I = (B E: F C)

- Mang VI iri/chuv^n: N = (P T; F K W M)

' Bang chix cai tucmg iranh: JE = (A p) ^ 2Ar-

Mot sd vdn de chon loc cua Cong nghe thong tin, Hdi Phong, 7-9 thdng 6 ndm 2001

1) Cac ihanh p h ^ cua ht thdng thucmg g6ni hai loai: cac thanh p h i i tmh va cac thanh

phin dCng

- Cac thanh ph^n tinh bao g6m tip cac hanh dCng (hoac cdc bifo c6), quan ht (dCc i^p,

thu tu, ) giua cdc hanh dOng, cdc dieu ki^n ban ddu cua he

- Cac thanh phdn dSng chua cdc di6u ki6n d^ cdc hanh dOng co thd xay ra va cdc di^u ki^n nhin duac khi hanh d6ng nao do viia mai xay ra, khong gian cdc trang thai cua h^ th6ng

2) Cac quy tic diiu khi^n ht th6ng

xMd hinh tren phai xdc dinh dugc cdc dac trung chinh sau day:

- Quan h€ tuong tranh trong h6

- Quan ht xung dGl trong ht

- Tinh trang ^iao tiep (contact)

- Tinh trang tac nghen (dead-lock)

- Cdc buoc thuc hi€n tuang tranh trong h€

- Cdc qua trinh irong h^

- Dang dieu (behaviour) cua h^ thdng: Ocs

2, BAI TOAN HOP THANH CAC H$ TUONG TRANH

Gia su CO hai he tuong tranh:

CS, = (P,\ P{ ?:) vai P,' c D,' va CS, = lRl^ P:^ , P,') vdi P,.' c D,\ i=l, n

Xay dung he tuong u-anh hop thanh tir hai he tuang tranli tren: CS = iT;, P., , Pa) vai P,

- D^^ [=1 n ma he tucmg tranh hop thanh CS thuc hien duoc cdc nhiem vu cua cdc he con vd bao toan cdc tinh chat cua he cang nhieu cang tot

Ky hieu CS = CS, S CSj

3 NGUYEN L^' HOP THANH CAC H £ TUONG TRANH

De xav Jum^ he cuang tranh CS, ta xdy dung cdc thanh phan P, theo nguyen ly hgp thanh sau dav

p^ ^ P^i ^ (D.-' - D;') ^ ?! - p.' '^ P; - (D:' - D-;), 1 = 1 2 , n

P/

Tren cac mien riens"thanh phdn cua he Idn la thanh phdn cua he nJio tucmg ung, con tren mien chuni! thanh phan cua he Idn chi chiia cdc phdn tu chung cua thdnh p hdn tuong 'ung trong cdc he nho

24'

-lb