-
Data: 2015-04-09 18:45:15
Temat: Re: Atomowość operacji vs wieloprocesorowość
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Thursday, April 9, 2015 at 4:35:44 PM UTC+2, Wojciech Muła wrote:
> On Thursday, April 9, 2015 at 1:20:44 PM UTC+2, M.M. wrote:
> > Jakie korzyści płyną z tego w praktyce?
>
> No takie, że jeden procesor zawsze odczyta/zapisze całe 64 bity
> w całości, nie musi dbać o zapis i odczyt. Chodzi o to, że jak
> zapisujesz 64-bitową liczbę to masz *gwarancję*, że zapisane zostały
> wszystkie dane, a nie, że np. 1 procesor zapisał pierwsze 3 bajty,
> a 2 procesor dopisał 5 pozostałych.
Czyli mamy na myśli to samo :)
>
> > Jak mam przypisanie:
> > zmienna_lokalna = zmienna_globalna;
> > Zmienna globalna mogła zostać zmodyfikowana przez inny wątek/proces.
>
> > Jeśli dostępu do zmienna_globalna nie obejmę sekcją krytyczną, to
> > wiem że dane w zmiennej globalnej i tak będą spójne. Ale co w sytuacji, gdy
> > wątek modyfikujący robi:
> > zmienna_globalna += cos;
> > albo
> > zmienna_globalna *= cos;
> > zmienna_globalna %= cos;
> >
> > Czy dane nadal będą spójne?
>
> Ale to jest już inny przypadek.
Ściśle inny, generalnie ten sam - wątek jakoś zmodyfikował zawartość
zmiennej, a programista nie jest pewny:
1) czy zmodyfikowana zmienna jest widoczna dla innych wątków,
2) czy inny wątek może zobaczyć zmienną zmodyfikowana 'w połowie'.
> Dodawanie, odejmowanie i operacje
> bitowe też mogą być atomowe na x86, ale dla pozostałych rzeczywiście
> trzeba mieć jakąś formę sekcji krytycznej.
Ok, ale w praktyce używamy języków wysokiego poziomu. Piszę np.
a = b;
a kompilator wywnioskował że b będzie równe zero i zrobi:
a ^= a;
Na jakimś procesorze xor może nie być już atomowe.
> > Na pewno z powodu pamięci cache i tak zostaną te same problemy.
>
> Cache akurat nie ma tutaj znaczenia.
>
> > Wątek odczytujący może otrzymać zmienna_globalna z opóźnieniem. Czyli
> > wątek zapisujący i tak musi zrobić powolną operację zrzutu
> > zmodyfikowanych danych. Nie lepiej od razu użyć sekcji krytycznej
> > i mieć prostszy kod w analizie, nie wspominając o możliwości
> > kompilacji na inne procesory, albo o uruchamianiu na klastrze.
>
> Sekcje krytyczne, w sensie mutexy, czy semafory, jako obiekty systemowe
> są wolne, a nawet bardzo wolne. Dlatego tam gdzie liczy się wydajność
> pojawiają się algorytmy lockfree, czyli nie ma jako takiej blokady na
> sekwencję instrukcji, ale np. próbuje się do skutku wykonać jakąś
> operację, powiedzmy dopisania do kolejki. I tu już można to robić
> wydajnie właśnie operacjami atomowymi (głównie compare & exchange)
> no i trzeba pamiętać o barierach pamięci (memory fence).
Myślałem że memory fence też jest wolne, ale jeszcze nigdy na oczy
nie widziałem pomiarów czasu. Może faktycznie to się opłaca...
Pozdrawiam
Następne wpisy z tego wątku
- 09.04.15 22:44 Bronek Kozicki
- 10.04.15 16:16 Maciej Sobczak
- 10.04.15 18:31 M.M.
- 11.04.15 10:47 Maciej Sobczak
- 11.04.15 11:20 M.M.
- 13.04.15 20:27 Wojciech Muła
- 14.04.15 09:21 M.M.
- 15.04.15 18:38 Wojciech Muła
- 16.04.15 06:43 M.M.
Najnowsze wątki z tej grupy
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-06-30 Kraków => Koordynator Produkcji / Przedstawiciel ds. rozwoju produktu
- 2025-06-30 Środa Wielkopolska => Konsultant wewnętrzny SAP FI/CO <=
- 2025-06-30 Białystok => Programista Mainframe (z/OS, Assembler) <=
- 2025-06-30 Warszawa => International Freight Forwarder <=
- 2025-06-30 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-06-30 Warszawa => Spedytor Międzynarodowy <=
- 2025-06-30 Lublin => Delphi Programmer <=
- 2025-06-30 Lublin => Programista Delphi <=
- 2025-06-30 Wrocław => Controlling systems Consultant <=
- 2025-06-30 Nowa tarcza do telefonu
- 2025-06-29 Spotkania z Ariane De Rotschild, szefową Iluminatów, Księżniczką Hiszpanii Leonor
- 2025-06-29 Re: Dr. Kontek (już od paru lat nie SGH) odkrył odchylenia statystyczne [PO EKSPERCIE?]
- 2025-06-28 Upadłość i zwolnienia [w Diorze, która była pol prod. głośników - przyp. JMJ]
- 2025-06-28 Taśma izolacyjna do prac elektrycznych
- 2025-06-27 Recenzja 3.1A ;) w 6 gniazdach...