CM>Интересно — есть ли хоть какие-то подвижки в автоматическом распараллеливании и синхронизации многопоточного доступа к разделяемым переменным?
Например, если твоя задача делается по паттерну "Читатели-писатели", то такое можно заавтоматизировать,
описав неким образом инфраструктуру данных твоей задачи.
В общем виде задача не решаема — теорема есть (аналог останова), что невозможно определить, распараллеливается ли задача или нет.