-
Data: 2015-04-09 13:20:43
Temat: Re: Atomowość operacji vs wieloprocesorowość
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Wednesday, April 8, 2015 at 11:21:16 PM UTC+2, Wojciech Muła wrote:
> On Tuesday, April 7, 2015 at 5:28:46 PM UTC+2, Maciej Sobczak wrote:
> > W dniu wtorek, 7 kwietnia 2015 10:18:29 UTC+2 użytkownik Wojciech Muła napisał:
> >
> > > > Czy operacje typu zapis/odczyt na pojedynczej komórce pamięci
> > > > (32-bitowej na platformie 32-bitowej, 64-bitowej wna platformie
> > > > 64-bitowej) są atomowe?
> > >
> > > Są atomowe.
> >
> > Dorzućmy może wymaganie na wyrównanie adresu do rozmiaru tej komórki,
> > żeby nie było problemu z dostępem do danych przekraczających granicę
> > słowa. Intuicja (na tzw. popularnych platformach) podpowiada, że wtedy
> > będzie OK, ale techniczna prawda będzie tylko w dokumentacji procka.
>
> Tom 3A "8.1.1 Guaranteed Atomic Operations":
>
> The Intel486 processor (and newer processors since) guarantees
> that the following basic memory operations will
> always be carried out atomically:
> * Reading or writing a byte
> * Reading or writing a word aligned on a 16-bit boundary
> * Reading or writing a doubleword aligned on a 32-bit boundary
>
> The Pentium processor (and newer processors since) guaran
> tees that the following additional memory operations
> will always be carried out atomically:
> * Reading or writing a quadword aligned on a 64-bit boundary
> * 16-bit accesses to uncached memory locations that fit within
> a 32-bit data bus
>
> The P6 family processors (and newer processors since)
> guarantee that the following additional memory operation
> will always be carried out atomically:
> * Unaligned 16-, 32-, and 64-bit accesses to cached memory
> that fit within a cache line
>
>
> Teraz chyba nie ma wątpliwości.
>
Jakie korzyści płyną z tego w praktyce?
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?
Na pewno z powodu pamięci cache i tak zostaną te same problemy. 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.
Pozdrawiam
Następne wpisy z tego wątku
- 09.04.15 15:01 Adam Klobukowski
- 09.04.15 15:31 M.M.
- 09.04.15 16:35 Wojciech Muła
- 09.04.15 18:12 szemrany
- 09.04.15 18:26 M.M.
- 09.04.15 18:45 M.M.
- 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
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-08 Cięcie wysokich tui
- 2025-03-08 Środa Wielkopolska => SAP FI/CO Konsultant wewnętrzny <=
- 2025-03-08 Prawo "gminne"
- 2025-03-08 Warszawa => Senior Recruiter <=
- 2025-03-08 Warszawa => Key Account Manager IT <=
- 2025-03-08 Najszybciej ładujące się samochody elektryczne
- 2025-03-07 AION przejety
- 2025-03-07 Warszawa => Data Engineer (Tech Leader) <=
- 2025-03-07 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-07 Warszawa => System Architect (background deweloperski w Java) <=
- 2025-03-07 Gliwice => Business Development Manager - Network and Network Security
- 2025-03-07 Chiny-Kraków => Senior PHP Symfony Developer <=
- 2025-03-07 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-07 Chiny-Kraków => Backend Developer (Node + Java) <=
- 2025-03-07 Warszawa => Architekt rozwiązań (doświadczenie w obszarze Java, AWS