Pamięć wspólna Formalna specyfikacja

Slides:



Advertisements
Podobne prezentacje
Wirtualizacja zasobów w systemach operacyjnych
Advertisements

ROZDZIAŁ 12: Systemy wejścia-wyjścia
SYSTEMY OPERACYJNE ·       SO : zestaw programów zarządzających zasobami komputera i wspomagających jego użytkowanie zarządzanie zasobami.
SYSTEMY OPERACYJNE I SIECI KOMPUTEROWE
SYSTEMY OPERACYJNE ZARZĄDZANIE PAMIĘCIĄ OPERACYJNĄ
1 Linux jako system wielozadaniowy i wielodostępny.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 28Slide 1 Restrukturyzacja oprogramowania l Reorganizowanie i modyfikowanie istniejącego.
SOS SYSTEM OBSŁUGI SZKOŁY
Politechnika Gdańska WYDZIAŁ ELEKTRONIKI TELEKOMUNIKACJI I INFORMATYKI
Sygnały Cz. 3 EAIiE Katedra Automatyki Kraków,
Sygnały Proponowane rozwiązanie EAIiE Katedra Automatyki Kraków,
Technologie XML Mgr inż. Michał Jaros Technologie XML wykład 3.
Wycofywanie potwierdzonych transakcji
Wykład 9 Dedykowane procesory DSP oraz mikrokontrolery z jednostką DSP
by Ernest Jamro Katedra Elektroniki, AGH Kraków
Systemy operacyjne Wykład nr 5: Wątki Piotr Bilski.
Wykład nr 2: Struktura systemu komputerowego a system operacyjny
Metody Sztucznej Inteligencji w Sterowaniu 2009/2010 Metoda propagacji wstecznej Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania.
Systemy operacyjne Bibliografia:
Temat nr 10: System przerwań
SORTOWANIE (przykład zastosowania DMA)
Podstawy programowania PP – LAB6 Wojciech Pieprzyca.
Życiorys mgr inż. Sławomir Nasiadka Katedra Architektury Systemów Komputerowych WETI PG Urodzony: r. Wykształcenie: studia na kierunku.
Życiorys mgr inż. Rafał Mikołajczak Katedra Architektury Systemów Komputerowych WETI PG Urodzony: r. Wykształcenie: studia na kierunku.
Quartz. Wstęp Framework stworzony do budowy aplikacji biznesowych Metodologia która łączy prototypowanie, modelowanie wizualne oraz automatyzację budowy.
Semantyki programów współbieżnych " Determinizm programów sekwencyjnych, " Nie-determinizm programów współbieżnych, " prawdziwa równoległość vs.przeploty.
Język Java Wielowątkowość.
Muteksy Muteksy (mutex – MUTual EXclusion) są prostymi obiektami synchronizacyjnymi pełniącymi rolę semaforów binarnych dla wątków (chroniącymi sekcje.
Budowa Komputera.
Heterogeniczne procesory wielordzeniowe w urządzeniach audio
Pamięć wspólna Opis własnego rozwiązania Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008.
Pamięć wspólna Przegląd stosowanych rozwiązań Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008.
Heterogeniczne procesory wielordzeniowe w urządzeniach audio
Sygnały Przegląd istniejących rozwiązań EAIiE Katedra Automatyki Kraków,
Pamięć wspólna Formalna specyfikacja Marcin Kamiński, Michał Kotra Wydział EAIiE Katedra Automatyki Kraków, 2008.
Systemy operacyjne i sieci komputerowe
ZESTAW KOMPUTEROWY.
Układy wejścia-wyjścia
Temat: Na co liczy komputer? -czyli o tym, co w środku komputera.
„Implementacja modułu tworzenia siatki do komponentowej biblioteki Metody Elementów Skończonych w języku C++” Autor: Piotr Opiekun Wydział Inżynierii Metali.
ogólne pojęcia struktury
TBD - P ERFORMANCE W BAZACH M ICROSOFT SQL S ERVER, CZYLI O CO W TYM W OGÓLE CHODZI Michał Grodzicki MCTS SQL SERVER lipca 2012.
Architektura komputerów
Magazyny pamięci.
Opracowanie: Maria Wąsik
Zasada działania komputera
Budowa systemu komputerowego
Instrukcja USOS Ankiety wersja by Marek Opacki.
Budowa i działanie komputera - jednostka
Maszyna wirtualna ang. virtual machine, VM.
Pamięć komputerowa S t r u k t u r a p a m i ę c i.
M i k r o j ą d r o D e f i n i c j a. M i k r o j ą d r o to rodzaj jądra systemu operacyjnego, które zawiera tylko najbardziej niezbędne elementy, takie.
SOS SYSTEM OBSŁUGI SZKOŁY
ZWIĄZKI MIĘDZY KLASAMI KLASY ABSTRAKCYJNE OGRANICZENIA INTERFEJSY SZABLONY safa Michał Telus.
OPB - On-chip Peripherial Bus AXI – Advance eXtensible Interface
Wykład 7 Synchronizacja procesów i wątków
W ą t e k (lekki proces) thread.
BUDOWA I ZASADA DZIAŁANIA
System plików.
Procesor, pamięć, przerwania, WE/WY, …
Struktura wewnętrzna mikrokontrolera zamkniętego
Pamięć SRAM.
Rodzaje pamięci komputerowej
OPRACOWANIE: Beata Rusicka
Metody sztucznej inteligencji – technologie rozmyte i neuronoweReguła propagacji wstecznej  Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów.
Powtórzenie Zadania systemu operacyjnego… Rodzaje i jednostki pamięci…
mysz drukarka Jednostka centralna monitor klawiatura.
Programowanie strukturalne i obiektowe Klasa I. Podstawowe pojęcia dotyczące programowania 1. Problem 2. Algorytm 3. Komputer 4. Program komputerowy 5.
Jednostki pamięci komputera
Sadsadafghfhfghg POLITECHNIKA RZESZOWSKA WYDZIAŁ ELEKTROTECHNIKI I INFORMATYKI POLITECHNIKA RZESZOWSKA im. Ignacego Łukasiewicza WYDZIAŁ ELEKTROTECHNIKI.
Zapis prezentacji:

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.

Pamięć wspólna W wyspecyfikowanych diagramach zgodnie z koncepcją metody Warda-Mellora nie wgłębialiśmy się zbyt dokładnie w warstwę implementacyjną, dlatego też na diagramach uwzględnione zostały jedynie podstawowe dane niezbędne do działania pamięci wspólnej. Z tego samego powodu nie specyfikowaliśmy, a jedynie zasygnalizowaliśmy obsługę semaforów mutex, oraz systemu zarządzania pamięcią mającego na celu m.in. zapobieganie inwersji priorytetów. Rozważania nad implementacją na wielu procesorach nie są koniecznie, gdyż system uruchamiany będzie na jednym dedykowanym procesorze. System obsługi pamięci możemy wydzielić jako pojedynczy moduł systemu. W takim przypadku nie wyróżniamy również zadań.