Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

• Поток вызывает Widget::magicValue, видит, что cacheValidравно false, выполняет два дорогостоящих вычисления и присваивает их сумму переменной cachedValue.

• В этот момент второй поток вызывает Widget::magicValue, также видит, что значение cacheValidравно false, а потому выполняет те же дорогостоящие вычисления, что и только что завершивший их первый поток. (Этот “второй поток” на самом деле может быть несколькими другими потоками.)

Чтобы справиться с этой проблемой, можно пересмотреть порядок присваиваний значений переменным cachedValueи cacheValid, но вы вскоре поймете, что (1) вычислять val1и val2перед тем, как cacheValidустанавливается равным true, по-прежнему могут несколько потоков, тем самым провалив цель нашего упражнения, и (2) на самом деле все может быть еще хуже:

class Widget {

public:

…

int magicValue() const {

if (cacheValid) return cachedValue;

else {

auto val1 = expensiveComputation1();

auto val2 = expensiveComputation2();

cacheValid = true; // Часть 1

return cachedValue = val1 + val2;// Часть 2

}

}

};

Представим, что значение cacheValidравно false. Тогда возможно следующее.

• Один поток вызывает Widget::magicValueи выполняет код до точки, где переменная cacheValidустанавливается равной true.

• В этот момент второй поток вызывает Widget::magicValueи проверяет значение cacheValid. Увидев, что оно равно true, поток возвращает cachedValue, несмотря на то, что первый поток еще не выполнил присваивание этой переменной. Таком образом, возвращенное значение оказывается некорректным.

Это неплохой урок. Для единственной переменной или ячейки памяти, требующей синхронизации, применение std::atomicявляется адекватным решением, но как только у вас имеется две и более переменных или ячеек памяти, которыми надо оперировать как единым целым, вы должны использовать мьютекс. Для Widget::magicValueэто выглядит следующим образом:

class Widget {

public:

…

int magicValue() const {

std::lock_guardguard(m);// Блокировка m

if (cacheValid) return cachedValue;

else {

auto val1 = expensiveComputation1();

auto val2 = expensiveComputation2();

cachedValue = val1 + val2;

cacheValid = true;

return cachedValue;

}

} // Разблокирование m

…

private:

mutable std::mutex m;

mutable int cachedValue; // Не атомарное

mutable bool cacheValid{ false }; // Не атомарное

};

Сейчас данный раздел основывается на предположении, что несколько потоков могут одновременно выполнять константную функцию-член объекта. Если вы пишете константную функцию-член там, где это не так — т.e. там, где вы можете гарантировать , что эта функция-член объекта никогда не будет выполняться более чем одним потоком, — безопасность с точки зрения потоков является несущественной. Например, совершенно неважно, являются ли безопасными с точки зрения потоков функции-члены классов, разработанные исключительно для однопоточного применения. В таких случаях вы можете избежать расходов, связанных с мьютексами и std::atomic, а также побочного эффекта, заключающегося в том, что содержащие их классы становятся некопируемыми и неперемещаемыми. Однако такие сценарии, в которых нет потоков, становятся все более редкими и, вероятно, дальше будут становиться только все более редкими. Безопаснее считать, что константные функции-члены будут участвовать в параллельных вычислениях, и именно поэтому следует гарантировать безопасность таких функций с точки зрения потоков.

• Делайте константные функции-члены безопасными с точки зрения потоков, если только вы не можете быть уверены, что они гарантированно не будут использоваться в контексте параллельных вычислений.

• Использование переменных std::atomicможет обеспечить более высокую по сравнению с мьютексами производительность, но они годятся только для работы с единственной переменной или ячейкой памяти.

В официальной терминологии С++ специальные функции-члены — это те функции- члены, которые С++ готов генерировать сам. С++98 включает четыре такие функции: конструктор по умолчанию, деструктор, копирующий конструктор и оператор копирующего присваивания. Эти функции создаются, только если они необходимы, т.e. если некоторый код использует их без их явного объявления в классе. Конструктор по умолчанию генерируется только в том случае, если в классе не объявлен ни один конструктор. (Это предотвращает компиляторы от создания конструктора по умолчанию для класса, для которого вы указали, что конструктору требуются аргументы. Сгенерированные специальные функции-члены неявно являются открытыми и встраиваемыми; они также являются не виртуальными, если только таковой функцией не является деструктор производного класса, унаследованного от базового класса с виртуальным деструктором. В этом случае генерируемый компилятором деструктор производного класса также является виртуальным.