🚀 go-pugleaf

Witam

Piotr Wyderski wrote:

> Seweryn Habdank-Wojewódzki wrote:
> 
>> Nie wiedzę o czym mówisz. W kodzie shared_ptr z boosta nie
>> widzę żadnej synchronizacji, więc nie wiem o czym mówisz.
> 
>
http://svn.boost.org/trac/boost/browser/trunk/boost/boost/detail/sp_counted_base_gcc_sparc.hpp?rev=34480

Przepraszam za zamieszanie.

> w szczególności treść funkcji compare_and_swap.

Ale u mnie np. operator= na następującą treść:

    shared_ptr & operator=(shared_ptr const & r)
    {
        px = r.px;
        pn = r.pn;
        return *this;
    }

Nie widzę żadnej synchronizacji.

> Ale problem jest znacznie poważniejszy: synchronizacja
> odnosi się tylko do licznika, zmiany zawartości wskazywanego
> przez obiektu nie są w żaden sposób synchronizowane
> między procesorami. I teraz mi powiedz, ile programów
> zawiera takie błędy. Na intelu będą działały bezawaryjnie,
> na czymkolwiek innym (Sparc w trybie PSO i słabszym,
> PowerPC, Itanium, Alpha) już nie i to w sposób skrajnie
> niedeterministyczny.

Hmm... no to spełnia się moja teoria użyteczności Flame.

> To nie jest jednak problem boosta ani C++, bo model
> spójności pamięci określa hardware.

A jak to jest w J, Py i reszcie bezpiecznego świata.

> C++ nie rozwiązuje 
> go o tyle, że nie udostępnia jawnych barier (wystarczyłyby
> semantyki acquire i release), a mógłby. _Niestety_ są
> prowadzone prace nad opracowaniem modelu pamięci
> w C++, który według mnie będzie dziełem napisanym
> do szuflady, bo nie na poziomie języka leży problem.

Ale zadymiarze żądają modelu pamięci. To to pod nich jest to pisane.
Mnie brak modelu pamięci nie przeszkadza, tymbardziej, że na DSP są inne
reguły i obawiam się, że nie jesteś wstanie pogodzić DSP i
megaultrawypasiastyprocogólnegozastosowania.
 
> Winą boosta jest tylko to, że daje użytkownikom złudzenie
> bezpiecznego, wielowątkowego zliczania referencji i jeśli
> ktoś nie słyszał o problematyce spójności, to biorąc to
> narzędzie w dobrej wierze może się pokaleczyć. A sprawa
> jest bardzo delikatna.

To jaki jest cel tego kodu.

Pozdrawiam.

-- 
|\/\/|   Seweryn Habdank-Wojewódzki
 \/\/