Pamięć wspólna Formalna specyfikacja Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008
Pamięć wspólna Tworzony fragment systemu to moduł zarządzania pamięcią wspólną w systemie. Za otoczenie przyjęto zatem pozostałą część systemu, a w szczególności zadania korzystające z pamięci wspólnej i odwołujące się do niej poprzez wcześniej wyszczególnione funkcje.
Pamięć wspólna żądanie utworzenia obszaru pamięci wspólnej (funkcja memCcr)
Pamięć wspólna żądanie odczytu z obszaru pamięci wspólnej (funkcja memCrd)
Pamięć wspólna żądanie zablokowania obszaru pamięci wspólnej (funkcja memCblk)
Pamięć wspólna żądanie odblokowania obszaru pamięci wspólnej (funkcja memCulk)
Pamięć wspólna żądanie zapisu do obszaru pamięci wspólnej (funkcja memCwr)
Pamięć wspólna żądanie wypełnienia bajtu pamięci wartością początkową (funkcja memCfill)
Pamięć wspólna żądanie usunięcia obszaru pamięci wspólnej (funkcja memCdel)
Pamięć wspólna żądanie wygenerowania statystyk (funkcje memCst i memCallst)
Pamięć wspólna Wykonanie każdego żądania wiąże się z zapisem i/lub odczytem pamięci wspólnej.