Modele wspolbieznosci

Name: lok-ai — Lokalna Automatyzacja Biznesu
Address: Grudziądz, kujawsko-pomorskie, PL
Telephone: +48-534-541-454
Price range: $$

14 pojęć w 9 podgrupach, z prostymi definicjami i źródłami.

Algebry procesow · 3

01CCSCalculus of Communicating SystemsAlgebra procesów opisująca współbieżność przez operatory kompozycji równoległej i synchronizacji akcji między komunikującymi się procesami.
02CSPCommunicating Sequential ProcessesFormalny model współbieżności oparty na synchronicznej komunikacji procesów przez kanały, z operatorami wyboru, kompozycji równoległej i sekwencji.
03rachunek piπ-calculusAlgebra procesów modelująca współbieżność z mobilnością — nazwy kanałów mogą być przesyłane jako komunikaty, zmieniając topologię połączeń.

01model aktorówModel współbieżności, w którym jednostki obliczeniowe (aktorzy) komunikują się asynchronicznie komunikatami i mają prywatny stan zmieniany tylko lokalnie.

01sieć PetriegoFormalny model graficzny systemów współbieżnych opisujący przepływ znaczników przez miejsca i przejścia, reprezentujący stany i zdarzenia.

01pamięć transakcyjnaSTMModel współbieżności, w którym bloki dostępu do pamięci wykonywane są jako atomowe transakcje z izolacją, automatycznie wycofywane przy konflikcie.

01pamięć współdzielonaModel współbieżności, w którym wątki komunikują się przez wspólnie dostępny obszar pamięci, a koordynacja wymaga jawnej synchronizacji dostępu.

01sytuacja wyścigurace conditionBłąd współbieżności, w którym wynik zależy od niedeterministycznej kolejności dostępów wielu wątków do współdzielonych danych.
02zakleszczenieSytuacja, w której zbiór procesów jest trwale zablokowany, bo każdy czeka na zasób utrzymywany przez inny proces z tego zbioru.

01równoległośćWłasność wykonania, w której wiele operacji jest realizowanych dosłownie jednocześnie na osobnych jednostkach przetwarzania.
02współbieżnośćWłasność systemu polegająca na tym, że wiele obliczeń postępuje w nakładających się okresach czasu, z możliwą interakcją między nimi.

01przekazywanie komunikatówModel współbieżności, w którym procesy koordynują działanie wyłącznie przez wysyłanie i odbieranie komunikatów, bez współdzielonej pamięci.

01barieraPunkt synchronizacji, w którym wątki czekają, aż wszystkie uczestniczące osiągną barierę, po czym wszystkie kontynuują wykonanie.
02synchronizacja nieblokującalock-freeKlasa technik koordynacji, w której zawieszenie jednego wątku nie blokuje postępu pozostałych, oparta na atomowych operacjach pamięci.