Pytania otagowane jako concurrency

Pytanie o kwestie współbieżności, takie jak synchronizacja i zakleszczenia.

3
Dlaczego miałbyś używać monitora zamiast semafora?
Obecnie uczęszczam na kurs programowania równoległego na moim uniwersytecie, a ostatnio zaczęliśmy rozmawiać o koncepcji monitora. Chociaż rozumiem potrzebę wzajemnego wykluczenia, nie rozumiem, dlaczego miałbym do tego używać monitora. Jak rozumiem, monitor gwarantuje, że dokładnie jeden proces lub żaden proces nie znajduje się w sekcji krytycznej przez cały czas. Dokładnie …
1
Formalności w programowaniu współbieżnym i / lub rozproszonym?
Moje tło wywodzi się z języków imperatywnych, głównie C, C ++ i Python. Kilka lat później wybrałem Scalę, Erlanga i trochę Haskella i od tego czasu bardzo zainteresowałem się programowaniem funkcjonalnym i formalizacjami. Interesuje mnie również współbieżne i rozproszone programowanie i zastanawiam się nad formalizmami, szczególnie tymi, które widziały choć …
3
Czy można udowodnić bezpieczeństwo wątków?
Biorąc pod uwagę program składający się ze zmiennych i instrukcji, które modyfikują te zmienne, oraz operację podstawową synchronizacji (monitor, mutex, Java zsynchronizowany lub blokada C #), czy można udowodnić, że taki program jest bezpieczny dla wątków? Czy istnieje nawet formalny model opisujący takie rzeczy, jak bezpieczeństwo wątków lub warunki wyścigowe?
2
Czy dwuprocesowy algorytm wzajemnego wykluczania Petersona uwzględnia procesy umierania?
Myślę, że w algorytmie Petersona dla wzajemnego wykluczenia , jeśli proces, który pierwszy wejdzie do sekcji krytycznej, umrze lub zostanie anulowany, drugi proces zapętli się na zawsze, czekając na wejście do sekcji krytycznej. Na zdjęciu, jeśli proces 1 zostanie zatrzymany, pozostałe procesy za procesem 1 zostaną wykonane do miejsca, w …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.