Здравствуйте, Аноним, Вы писали:

А>Доброго всем времени суток.
А> Возник такой вопрос. В C++ есть ключевое слово const. Для параметров и методов оно означает, грубо говоря, что внутри метода нельзя вызывать не константные методы для this и нельзя меня константные параметры. А можно ли придумать что-то похожее, но для пометки методов и функций, которые могут работать параллельно. Может есть какая-то тулза, которая проверяет C++ код и выдает ошибки, если из какой-то "многопоточной" функции вызывается не многопоточная. Конечно же, там должна быть какая-то штука, которая говорит, что кусок кода внутри многопоточной функции стал однопоточным (поставили критическую секцию и т.п.).

http://gimpel.com/html/lint90.htm
смотри Thread Analysis
http://www.gimpel.com/html/pub80/read80.txt
ищи multi-thread support

правда платная