6.03.2003

O naturze synchronizacji systemów asynchronicznych

Modularne metody konstruowania rozproszonych i/lub asynchronicznych systemów współbieżnych sprowadzają się często do stosowania operacji synchronizujących działanie systemów składowych. Przykładem służy tu "produkt synchroniczny" zlepiający zdarzenia - tak jak w CSP Hoare'a. Na pozór radykalnie inny mechanizm zaproponowany został ostanio przez Bernardinello et al. W konstrukcji bardziej skomplikowanych systemów wykorzystuje się w nim synchronizację stanów lokalnych składowych.

Celem seminarium będzie przedstawienie algebraicznego opisu systemów asynchronicznych, w którym oba wyżej wymienione mechanizmy synchronizacji składowych okazują się szczególnymi przypadkami dobrze znanej uniwersalnej operacji - tak zwanego produktu włóknistego.