5555241528

5555241528



Problemy programowania współbieżnego

•    Główne problemy programowania współbieżnego wynikają z konieczności zapewnienia odpowiedniej interakcji pomiędzy procesami oraz uporządkowania instrukcji atomowych wykonywanych przez poszczególne procesy (wykluczenie niepożądanych przeplotów)

•    Interakcję pomiędzy współbieżnie wykonywanymi procesami realizuje się poprzez komunikację oraz w szczególności synchronizację (zapewnienie ustalonego porządku wykonywania operacji przez procesy) wykluczającą określone przeploty

•    Analiza poprawności programu współbieżnego powinna zawierać analizę wszystkich możliwych przeplotów procesów. Dowodem wprost niepoprawności programu współbieżnego jest wykazanie możliwości wystąpienia niepożądanego przeplotu. Nie jest istotne prawdopodobieństwo wystąpienia takiego niepożądanego przeplotu

•    W ogólności nie jest możliwe wskazanie liczby testów (wykonań programu współbieżnego) dowodzących poprawności programu

10



Wyszukiwarka

Podobne podstrony:
Program przedmiotu * Idea i abstrakcja programowania współbieżnego » Problem wzajemnego
1. Program do przeliczania współrzędnych na elipsoidzie w MATLABIE czyli dwa główne proble
img002 (10) przy użyciu operatorów i przy uwzględnieniu ograniczeń General Problem Sołyer - program,
2 Uzasadnienie wyboru problematyki badawczej W czasach, w których programy nauczania realizowane w p
W treściach programowych przedmiotu „Biotechnika rozrodu” zawarte są m.in. problemy dotyczące:
Związek między problemem, algorytmem a programem komputerowym Klasa 2 — Lekcja 3
Pierwsze algorytmy i programy. ■    Algorytmy opisują problemy w postaci
Na początku jest problem... ■    Istniejące programy komputerowe są
Na początku jest problem... ■ Tworzone są również programy do zadań, które można wykonać za pomocą j
Barbara Dębska Zakład Informatyki Chemicznej, Politechnika Rzeszowska Problemy nauki programowania p
Ryszard BojarskiPODSTAWY PROJEKTOWANIA - KOMPOZYCJA PROBLEMY POOSTAWOWE UJĘTE W PROGRAMIE NAUCZANIA
Uwagi dotyczące testu DI ALAN G W razie problemów ze ściągnięciem i zainstalowaniem programu DIALANG

więcej podobnych podstron