Pamięć wspólna Formalna specyfikacja Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008.

Prezentacja na temat: "Pamięć wspólna Formalna specyfikacja Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008."— Zapis prezentacji:

1 Pamięć wspólna Formalna specyfikacja Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008

2 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.

3 Pamięć wspólna żądanie utworzenia obszaru pamięci wspólnej (funkcja memCcr)

4 Pamięć wspólna żądanie odczytu z obszaru pamięci wspólnej (funkcja memCrd)

5 Pamięć wspólna żądanie zablokowania obszaru pamięci wspólnej (funkcja memCblk)

6 Pamięć wspólna żądanie odblokowania obszaru pamięci wspólnej (funkcja memCulk)

7 Pamięć wspólna żądanie zapisu do obszaru pamięci wspólnej (funkcja memCwr)

8 Pamięć wspólna żądanie wypełnienia bajtu pamięci wartością początkową (funkcja memCfill)

9 Pamięć wspólna żądanie usunięcia obszaru pamięci wspólnej (funkcja memCdel)

10 Pamięć wspólna żądanie wygenerowania statystyk (funkcje memCst i memCallst)

11 Pamięć wspólna Wykonanie każdego żądania wiąże się z zapisem i/lub odczytem pamięci wspólnej.