Teoria Teoria współbieżności jest aktywną dziedziną badań w informatyce teoretycznej. Jednym z pierwszych jej aspektów była przełomowa praca Carla Adama Petriego na temat sieci Petriego z początku lat 60. XX wieku. Od tego czasu opracowano szeroką gamę formalizmów do modelowania i wnioskowania na temat współbieżności.
Modele Opracowano szereg formalizmów służących do modelowania i zrozumienia systemów współbieżnych, w tym:
Maszyna o swobodnym dostępie równoległym Model aktora Modele połączeń obliczeniowych, takie jak model synchroniczny równoległy (BSP) Sieci Petriego Rachunki procesowe Rachunek systemów komunikujących się (CCS) Model procesów sekwencyjnych komunikacji (CSP) Rachunek π Przestrzenie krotkowe, np. Linda Proste współbieżne programowanie obiektowe (SCOOP) Język koordynacji Reo Monoidy śladowe
Niektóre z tych modeli współbieżności służą przede wszystkim do wspierania wnioskowania i specyfikacji na temat systemów, podczas gdy inne mogą być wykorzystywane w całym cyklu rozwoju, obejmującym projektowanie, implementację, dowodzenie, testowanie i symulację systemów współbieżnych. Niektóre z nich opierają się na przekazywaniu komunikatów, podczas gdy inne oferują różne mechanizmy współbieżności.
Przypisy
Kategoria:Informatyka