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