On 2014-05-24, Piotrek <p...@p...onet.pl> wrote:
> Wyjaśnijcie mi taką jedną rzecz. Niby mam ogólne,
> teoretyczne pojęcie o wielowątkowości - wiem z czym
> to się je, jakie problemy wiążą się z programowaniem
> wielowątkowym, ale zawsze zastanawiała mnie taka jedna
> fundamentalna kwestia: dlaczego programiści w ogóle muszą
> być świadomi tego, że programują wielowątkowo, tzn. dlaczego
> samodzielnie muszą używać muteksów i innych mechanizmów
> synchronizacji wątków? Może bredzę, ale nie dałoby się tego
> jakoś rozwiązać na poziomie samego języka? Dlaczego każda
> instrukcja programu nie jest domyślnie atomowa, tzn. kompilator
> przy generowaniu kodu sam nie emuluje atomowości
> wstawiając gdzie trzeba różne locki/unlocki tak, żeby
> w ogóle nie trzeba było o tym myśleć? Chodzi o to, że
> byłoby to niewydajne?

Nie. Chodzi o to, że nie wystarczy aby *instrukcja* ma być atomowa. Cała
*sekwencja* instrukcji ma być niepodzielna.

Ale pamięć współdzielona to nie jest jedyny model obliczeń
współbieżnych. Jest też model przesyłania komunikatów -- wtedy masz
mnóstwo obliczeń jednowątkowych, które tylko wymieniają się ze sobą
danymi i nie ma problemu z jednoczesnym dostępem do zasobów.

--
Secunia non olet.
Stanislaw Klekot