-
X-Received: by 10.140.89.116 with SMTP id u107mr456275qgd.18.1428597915693; Thu, 09
Apr 2015 09:45:15 -0700 (PDT)
X-Received: by 10.140.89.116 with SMTP id u107mr456275qgd.18.1428597915693; Thu, 09
Apr 2015 09:45:15 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!newsfeed.pionier.net.pl!news.glorb.com!l13no3077442iga.0!n
ews-out.google.com!k20ni77qgd.0!nntp.google.com!j5no557807qga.1!postnews.google
.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 9 Apr 2015 09:45:15 -0700 (PDT)
In-Reply-To: <5...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.36.83.76;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
NNTP-Posting-Host: 178.36.83.76
References: <1...@n...fucking.idea>
<5...@g...com>
<a...@g...com>
<0...@g...com>
<f...@g...com>
<5...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6...@g...com>
Subject: Re: Atomowość operacji vs wieloprocesorowość
From: "M.M." <m...@g...com>
Injection-Date: Thu, 09 Apr 2015 16:45:15 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207803
[ ukryj 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
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-09-30 Rozprawa zdalna brak komputera
- 2024-09-30 Zielona Góra => Spedytor międzynarodowy <=
- 2024-09-30 Hackowanie SS7
- 2024-09-30 Seba strikes back
- 2024-09-30 MĂźnchen => DevOps Engineeer (Azure) <=
- 2024-09-30 MĂźnchen => DevOps Engineer (Azure) <=
- 2024-09-30 Gdańsk => Frontend Developer (Angular area) <=
- 2024-09-30 Warszawa => Spedytor Międzynarodowy <=
- 2024-09-30 Marki => Senior PHP Symfony Developer <=
- 2024-09-30 Warszawa => Technical Leader (Java Background) <=
- 2024-09-30 Warszawa => Key Account Manager <=
- 2024-09-30 Warszawa => Key Account Manager <=
- 2024-09-30 Białystok => Full Stack .Net Engineer <=
- 2024-09-30 Kraków => Ruby Backend Developer <=
- 2024-09-30 dziki wschod