Evolutia sistemelor de operare moderne este strans legata de introducerea unor modele si concepte noi, menite sa asigure o cat mai buna servire a utilizatorilor si ocupare a resurselor, concomitent cu cresterea sigurantei de functionare a sistemului.
Pentru sistemele de calcul in prezent se cunosc doua cai de crestere a vitezei de calcul: prin cresterea vitezei procesorului sau prin cresterea numarului de procesoare.
Un sistem concurent format din procesoare care lucreaza in maniera lock step se numeste sistem sincron.
Un sistem concurent in care procesoarele sunt slab cuplate lucrand independent una de cealalta se numeste sistem asincron. Sistemele asincrone se pot de asemenea departaja in sisteme bazate pe divizarea memoriei si sisteme bazate pe mesaje.
Vom numi sistemele bazate pe divizarea memoriei: sisteme paralele.
Aceste sisteme realizeaza comunicarea intre procesoare printr-o zona comuna de memorie. Sistemele concurente care constau din mai multe calculatoare conectate printr-o retea se numesc sisteme distribuite.
Vom preciza cateva dintre avantajele si dezavantajele pe care le ofera sistemele distribuite comparativ cu sistemele paralele.
Divizarea datelor: sistemele de baze de date distribuite se definesc ca o colectie de baze de date corelate logic, fiecare baza fiind asociata unui nod al retelei, impreuna cu un mecanism de acces care face aceasta colectie transparenta pentru utilizator. Sistemele distribuite au un comportament similar.
Simplitate logica: programele distribuite sunt mult mai simple.
Fiabilitate: defectarea unui calculator nu afecteaza hotarator sistemul global.
Modularitatea: destul de usor pot fi adaugate sau sterse noi procesoare.
Costuri scazute: ratiunile economice nu pot fi neglijate.
Dezavantaje: Comunicatii greoaie: in special in cazul in care un procesor trebuie sa transmita o valoare tuturor celorlalte procesoare.
- Sincronizare greoaie: se folosesc mesajele.
Capitolul 1. Conceptul de timp A?1. 1. Introducere O utilizare importanta a conceptului de timp este aceea de ordonare a evenimentelor.
Vom spune ca evenimentul (apare inaintea evenimentului (daca momentul fizic in care (are loc, t (, este mai mic decat t (, momentul in care (se produce. Aceste cereri de acces, ordonate, sunt utilizate la niste mecanisme de ceas care pot inregistra t (si t (. Multe aplicatii utilizeaza relatii de cauza si efect. Observam ca daca e este cauza lui f, atunci e trebuie sa apara inaintea lui f.
Deci, relatia de precedenta cauzala este o submultime a relatiei de aparitie inainte. Vom construi mecanisme menite sa furnizeze informatii despre relatia cauzala.
Precedenta cauzala este o relatie mult mai uzitata decat relatia de apare inainte. O ratiune importanta este ca ne intereseaza de regula corectitudinea distribuirii programului pe procesoare.
Aceasta implica ca daca f apare dupa e intr-o executie, atunci in afara de e cauzeaza f, f apare posibil inainte de e in diferite executii. Astfel relatia de precedenta ...
K. P. BIRMAN, T. A. JOSEPH - "RELIABLE COMMUNICATION IN THE PRESENCE OF FAILURES" - ACM TRANSACTIONS ON COMPUTER SYSTEMS, 5(1):47 - 76, 1987
J. C. BERMOND, J. C. KONIG, M. RAYNAL - "GENERAL AND EFFICIENT DESCENTRALIZED CONSENSUS PROTOCOLS" - IN 2ND INTERNATIONAL WORKSHOP ON DISTRIBUTED ALGORITHMS, PAG. 41 - 56, SPRINGER - VERLAG, LECTURE NOTE IN COMPUTER SCIENCE 312, 1987
O. BABAOGLU, K. MARZULLO - "CONSISTENT GLOBAL STATES OF DISTRIBUTED SYSTEMS: FUNDAMENTAL CONCEPTS AND MECHANISMS" - CHAPTER 4. ACM PRESS, FRONTIER SERIES, S. J. MULLENDER EDITURA, 1993
L. BOUGE - "REPEATED SNAPSHOTS IN DISTRIBUTED SYSTEMS WITH SYNCHRONOUSCOMMUNICATION AND THEIR IMPLEMENTATION IN CSP" - THEORETICAL COMPUTER SCIENCE, 49:145 - 169, 1987
O. BABAOGLU, M. RAYNAL - "SPECIFICATION AND DETECTION OF BEHAVIORAL PATTERNS IN DISTRIBUTED COMPUTATIONS" - IN PROC. OF 4TH IFIP WG 10. 4 INT. CONFERENCE ON DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS, SAN DIEGO, C. A. , JANUARY 1994
B. CHARRON - BOST - "CONCERNING THE SIZE OF LOGICAL CLOCS IN DISTRIBUTED SYSTEMS" - INFORMATION PROCESSING LETTERS, 39:11 - 16, JULY 1991
B. CHARRON - BOST, F. MATTERN, G. TEL - "SYNCHRONOUS AND ASYNCHRONOUS COMMUNICATION IN DISTRIBUTED COMPUTATIONS" - TEHNICAL REPORT TR91. 55, LITP, UNIVERSITY PARIS 7, SEPTEMBER 1991
G. COULORIS, J. DOLLIMORE, T. KINDBERG - "DISTRIBUTED SYSTEMS: CONCEPTS AND DESIGN" - ADDISON - WESLEY, 1994
C. CHASE, V. K. GARG - "ON TECHNIQUES AND THEIR LIMITATIONSFOR THE GLOBAL PREDICATE DETECTION PROBLEM" - IN PROC. OF WORKSHOP ON DISTRIBUTED ALGORITHMS, FRANCE, SEPTEMBER 1995
H. CHIOU, W. KORFHAGE - "EFFICIENT GLOBAL EVENT PREDICATE DETECTION" - IN 14TH INTL. CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, POZNAN, POLAND, JUNE 1994
K. M. CHANDY, L. LAMPORT - "DISTRIBUTED SNAPSHOTS: DETERMINING GLOBAL STATES OF DISTRIBUTED SYSTEMS" - ACM TRANSACTIONS ON COMPUTER SYSTEMS, 3(1):63 - 75, FEBRUARY 1985
R. COOPER, K. MARZULLO - "CONSISTENT DETECTION OF GLOBAL PREDICATES" - IN PROC. OF THE WORKSHOP ON PARALLEL AND DISTRIBUTED DEBUGGING, PAG. 163 - 173, SANTA CRUZ, CA, MAY 1991
E. W. DIJKSTRA - "SELF - STABILIZING SYSTEMS IN SPITE OF DISTRIBUTED CONTROL" - COMMUNICATIONS OF THE ACM, 17:643 - 644, 1974
E. W. DIJKSTRA - "THE DISTRIBUTED SNAPSHOT OF K. M. CHANDY AND L. LAMPORT" - IN M. BROY, EDITOR, CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING, VOL. F14. NATO ASI SERIES, SPRINGER - VERLAG, NEW YORK, NY, 1985
B. A. DAVEY, H. A. PRIESTLEY - "INTRODUCTION TO LATTICES AND ORDER" - CAMBRIDGE UNIVERSITY PRESS, CAMBRIDGE, UK, 1990
Pentru a descărca acest document,
trebuie să te autentifici in contul tău.
