🚀 go-pugleaf

Dnia Thu, 6 Dec 2007 13:00:35 -0800 (PST), Maciej Sobczak skrobie:
> On 6 Gru, 17:10, Sektor van Skijlen
> <ethou...@guess.if.gmail.com.is.valid.or.invalid> wrote:

> > > Wiesz co to jest coś takiego, jak memory ordering? Wiesz co to jest memory
> > > barrier (znane czasem jako memory fence)? Co to jest acquire semantics, co
> > > to release semantics?
> >
> > Oczywiście, że wiem. W przypadku mojej aplikacji jednak nie ma to akurat
> > żadnego znaczenia - każda dana volatile ma swoje niezależne znaczenie i fakt,
> > że jedna została dosynchronizowana, a druga nie, nie ma żadnego znaczenia.

> To jest w takim razie szczególna własność Twojej aplikacji a nie
> ficzer modyfikatora volatile.

Tak.

> > > Ponieważ w GCC volatile nie ma memory barrier to jeden procesor może widzieć
> > > zapisy w innej kolejności niż się faktycznie wydarzyły.
> >
> > Super. A co MA memory barrier?

> W szczególności jawnie obsłużony mutex - i to jest poziom, na którym
> normalne programy powinny operować.

Ano i właśnie tu zaczyna się rzecz, którą niekoniecznie kumam: mam, załóżmy,
jeden muteks. Zajmuję go, modyfikuję zmienną (lub czytam) i zwalniam. Skąd
wiadomo, która część pamięci ma mieć zwolnioną barierę? Przecież muteks nie
jest w żaden sposób powiązany z tym fragmentem pamięci, który modyfikuję.

> W systemach Uniksowych z "normalną" pamięcią można też przyjąć, że
> bariera jest wymuszana przez I/O lub IPC. Czyli jeśli jesteś w stanie
> zapewnić *związek przyczynowo-skutkowy* pomiędzy akcjami dwóch wątków
> przy użyciu I/O (np. wpisując coś do pipy w jednym wątku a czytając w
> drugim), to ten związek przyczynowo-skutkowy odnosi się też do
> modyfikacji i widoczności zmian *innych* danych dzielonych przez te
> wątki. To nie jest jawnie gwarantowane przez POSIX, ale na normalnych
> systemach można tak przyjąć (bo każda implementacja zapewni to "przy
> okazji") i jest to czasem wygodne - np. można użyć pipę do
> synchronizacji/sygnalizowania danych w pamięci dzielonej.

To jest ok, tylko znów - czy takie zwalnianie bariery obowiązuje za każdym
razem całą pamięć procesu?

-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"Java is answer for a question that has never been stated"