Есть встроенные функции в C/C++, чтобы сделать их потокобезопасными?

Question

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

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

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

Thanks

Answer 1

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

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

Answer 2

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

Answer 3

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

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

Answer 4

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

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

Answer 5

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

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() не поточно, потому что нет никакого кода предотвращения любого другого потока от выполнения кода. Выполнение функции inline не мешает doTheThing() быть вызванным несколькими потоками одновременно. Чтобы обеспечить безопасный поток doTheThing(), вам необходимо убедиться, что он не вызывается параллельно или какие-либо общие (нелокальные) данные, к которым вы обращаетесь, защищены.

Answer 6

Thread safety не имеет никакого отношения к инкрустации. Просто потому, что каждый поток выполняет копию того же кода, не делает его безопасным для доступа к общим данным. Перед началом многопоточного программирования обязательно прочитайте Thread safety.

Answer 7

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

Answer 8

Совсем нет.

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

Таким образом, даже если компилятор выполнил то, что вы предложили (что не должно, как говорили другие), все равно не сделает его потокобезопасным.

Answer 9

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

Answer 10

Встраивание и безопасность резьбы являются ортогональными, то есть несвязанными понятиями.

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

 
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 11

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