Могу ли я «__restrict__ это» каким-то образом?

Question

Я наблюдал Mike Acton's talk on Data-oriented design in C++ в CppCon 2014, и он дает этот пример:

int Foo::Bar(int count) 
{ 
    int value = 0; 
    for (int i = 0; i < count; i++) { 
     if (m_someDataMemberOfFoo) value++ 
    } 
    return value; 
} 

И объясняет, как некоторые компиляторы держать перечитывая m_someDataMemberOfFoo в каждой итерации, возможно, потому, что его значение может измениться из-за одновременный доступ. Независимо от того, подходит ли компилятору это сделать - можно ли сказать компилятору специально игнорировать любую возможность одновременного доступа ко всему во время выполнения какого-либо метода, чтобы он мог оптимизировать лучше?

Другими словами, могу ли я сообщить ему компилятор, что this is __restrict__ ed?

Answer 1

1. __restrict__ не стандартизированы в C++, так что этот вопрос может быть решен только на конкретной платформе. Для GCC, вы можете обратиться к __restrict__thisin the same way в const:

   void T::fn() __restrict__ 
   

2. Там нет потенциала наложения спектров в вашем примере. C++ указывает неопределенное поведение для расчётов данных.

3. A new system для C++ ограниченных указателей. Вероятно, он будет стандартизован на C++ 17. Поддержка this является одной из заявленных целей дизайна.

Answer 2

С кодом, который вы опубликовали, код, скомпилированный с любой оптимизацией, вообще не должен перечитывать этот член класса. Тем не менее, возьмите этот подобный код:

void Foo::Bar(int count, int* result) 
{ 
    *result = 0; 
    for (int i = 0; i < count; i++) { 
     if (m_someDataMemberOfFoo) (*result)++; 
    } 
} 

В этом случае компилятор должен предположить, что результат == & m_someDataMemberOfFoo является возможностью, если этот член имеет тип Int. Очевидно, любой разработчик, назвавший его так, заслуживает того, чтобы его лицензия на лицензию отозвалась, но это законно, и компилятор должен правильно это обработать.

Это даже в случае, если вы отметили метод как «const». Метод const не допускается изменять какую-либо часть * этого с помощью этого указателя (за некоторыми исключениями). Тем не менее, члены * этого могут быть юридически изменены другими способами, если фактический объект не является константой.

«Ограничить» в C предназначен для устранения проблемы, и, надеюсь, такая же функция на C++ исправит ее в этом случае.