Являются ли встроенные функции в C / C ++ способом сделать их поточно-ориентированными?

Question

Я делаю следующие рассуждения, пожалуйста, скажите мне, что не так (или правильно) в этом:

"Если встраивание функции дублирует код в месте вызова функции, то статические и локальные переменные дублируются для каждой вызывающей ее функции, и если существует только один поток, выполняющий функцию, которая вызывает встроенный одновременно время, то код является потокобезопасным ".

"А если это не помогает со статическими и глобальными переменными, то с кодом, создающим временные переменные?"

Спасибо

Answer 1

Нет, вы не правы. Для статической переменной, независимо от того, встроена она или нет, существует только один экземпляр. Встроенные функции не влияют на безопасность потоков, так или иначе.

Answer 2

Когда вы объявляете функцию как встроенную, это просто подсказка компилятору. Статические переменные имеют четкое определение в языке. Если компилятор действительно встроил функцию, он по-прежнему обязан сохранять статические переменные общими для всех экземпляров функции. Следовательно, они останутся глобальными и должны быть защищены в среде MT.

Что касается локальных переменных, если они не используются вне функции, они являются потокобезопасными независимо от того, включена функция или нет.

Answer 3

Каждый поток получает свою собственную копию локальных объектов, поэтому с ними не может быть проблем, связанных с потоками, независимо от того, встроен он или нет.

Но если вы обращаетесь к статической переменной или переменной-члену класса, все проблемы, связанные с многопоточностью (повреждение переменной, потерянное обновление ...), по-прежнему будут существовать независимо от того, встроен он или нет. 1003 *

Answer 4

Предыдущие версии C ++ (и текущая версия C) не поддерживают концепцию потоков. Это просто не является частью стандарта. Поэтому полагаться на оптимизацию компилятора, чтобы сделать ваш код поточно-ориентированным, не очень хорошая идея.

Answer 5

Накладные и резьбовые соединения ортогональны, т. Е. Несвязанные понятия.

Рассмотрим эти функции:

int factorial(const int n)
{
  if (n <= 1)
  {
    return 1;
  }

  return factorial(n - 1);
}

Эта функция не может быть встроенной, так как она рекурсивная, но в то же время совершенно поточно-ориентированная.

int factorial_2(int n)
{
  int Result = 1;

  while (n > 1)
  {
    Result *= n--;
  }

  return Result;
}

Эта функция может быть встроена компилятором и по-прежнему идеально ориентирована на многопотоковое исполнение.

int RefCount;

void DecRef()
{
  --RefCount;
}

Эта функция не является поточно-ориентированной независимо от того, встроен ли компилятор в нее или нет.

Answer 6

На вашем месте я бы не использовал статические переменные внутри встроенных функций. Более старые версии стандарта C ++ требовали иного значения, нежели текущее.

Answer 7

Безопасность потока не имеет никакого отношения к встраиванию. Тот факт, что каждый поток выполняет копию одного и того же кода, не делает его безопасным для доступа к общим данным. Обязательно прочтите Thread thread перед началом многопоточного программирования.

Answer 8

Существуют (или, возможно, были ) глючные компиляторы, которые дублируют статические переменные для каждой вставки вмещающей функции. Это не намеренное поведение.

При использовании стандартного компилятора вы гарантированно получите один экземпляр каждой статической переменной независимо от встраивания и позаботитесь о безопасности потоков самостоятельно.

Answer 9

Встраивание

не влияет на то, является ли функция поточно-ориентированной. Например:

inline void doTheThing()
{
   int a = 42; // this is thread safe, but it would be anyway
   vector<int> * answers = getTheAnswers(); // this is not thread safe
}

Доступ к вектору, на который указывает getTheAnswers (), не является потокобезопасным, поскольку нет кода, препятствующего выполнению кода любым другим потоком. Включение функции в линию не препятствует тому, чтобы doTheThing () вызывался несколькими потоками одновременно. Чтобы сделать поток doTheThing () потокобезопасным, вам нужно убедиться, что он не вызывается параллельно или все общие (нелокальные) данные, к которым вы обращаетесь, защищены.

Answer 10

Все статические переменные в (обычных и встроенных) функциях попадают в кучу. Куча НЕ БЕЗОПАСНАЯ НИТЯ .