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?