-
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
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 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?
Najnowsze wątki
- 2025-03-22 OT Silnik sie przegrzewa
- 2025-03-22 Przenoszenie przez wifi na nowego Androida
- 2025-03-22 Warszawa => Senior Account Manager <=
- 2025-03-22 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-03-22 Warszawa => Spedytor Międzynarodowy <=
- 2025-03-22 Warszawa => NMS System Administrator <=
- 2025-03-22 Warszawa => Analityk IT (projekty z obszaru telco) <=
- 2025-03-22 Orzeczenie TSUE
- 2025-03-22 Warszawa => Operations Support Systems (OSS) Team Leader <=
- 2025-03-22 Warszawa => Scrum Master <=
- 2025-03-22 Warszawa => Senior Account Manager <=
- 2025-03-22 Warszawa => BI Developer / Analityk BI <=
- 2025-03-22 Warszawa => IT Recruiter <=
- 2025-03-21 Zakaz wjazdu
- 2025-03-21 Nie zawsze wchodzi jedynka