Informatyka threads

4

To jest ogólne pytanie. A jeśli ktoś chce sprecyzować tę implementację, wolę rzeczy związane z Uniksem. Ale najpierw trzeba znać następujące problemy w ogólności: Czytam, że pojedynczy proces może mieć wiele wątków. Wiele wątków tego samego procesu dzieli się między nimi. Chcę wiedzieć, co dzielą, a co nie. Biorąc pod …

20 operating-systems threads

3

Dlaczego większość implementacji Mutex jest niesprawiedliwa?

Rozumiem, że najpopularniejsze implementacje muteksu (np. Std :: mutex w C ++) nie gwarantują uczciwości - to znaczy, nie gwarantują, że w przypadku niezgody zamek zostanie przejęty przez wątki w kolejności, w jakiej o nazwie lock (). W rzeczywistości jest nawet możliwe (choć mam nadzieję, że rzadkie), że w przypadkach …

11 concurrency synchronization threads

1

Dlaczego stosowanie Hyper-Threading może prowadzić do obniżenia wydajności

Przeczytałem go w różnych miejscach, takich jak to , że hiperwątkowość prowadzi do obniżenia wydajności. Nie jestem w stanie zrozumieć, dlaczego ani w jaki sposób hiperwątkowanie prowadzi do degradacji. Dlaczego tak jest, że nawet jeśli Hyper-Threading pozwala systemowi operacyjnemu na wykorzystanie wolnych zasobów, następuje degradacja. Choć testy porównawcze wskazują na …

10 computer-architecture performance threads

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?

9 proof-techniques correctness-proof concurrency threads

Pytania otagowane jako threads