Могу ли я вернуться, находясь внутри Win32 CriticalSection?
У меня есть вопрос по Win32 API о критических разделах.
Можно ли вернуться в критический раздел? Или, войдя в секцию, вам придется провалиться и покинуть секцию? Вот пример кода:
//option one
bool doSomething() {
EnterCriticalSection(§ion);
if (something)
return true;
return false;
LeaveCriticalSection(§ion);
}
//option two
bool doSomething() {
bool flag = false;
EnterCriticalSection(§ion);
if (something)
flag = true;
LeaveCriticalSection(§ion);
return flag;
}
Я надеюсь, что смогу воспользоваться первым вариантом и вернуться из раздела, и это снимет все блокировки.
ОТ: Вариант 1 в любом случае неправильный, потому что он ничего не возвращает, если something ложно.
@Jabberwocky исправлено
@user1337497 user1337497 твое «исправление» сделало ситуацию еще хуже. Оператор return false; должен стоять после LeaveCriticalSection(§ion);
@Jabberwocky это не должно быть исправлено... там показаны 2 примера возврата значения... первый возврат в раздел, а второй возврат за пределы раздела.
@ user1337497, тогда вам следует удалить LeaveCriticalSection(§ion);, который все равно не будет вызываться. Если вы отправляете примеры, они должны хотя бы иметь какой-то смысл.
@Jabberwocky Мне нужны примеры, чтобы прояснить мой вопрос ... Могу ли я вернуться, находясь внутри Win32 CriticalSection? Все остальные это понимают, кроме тебя.
Ответы 2
Имейте в виду, что API Win32 написан для C. Ничего не происходит автоматически, все явно. Итак, если вы используете API напрямую, как это происходит в вашем примере, то вы должны явно выйти из CS, иначе вы рискуете заблокировать другие потоки, которые хотят войти в CS.
Каждый успешный вызов (Try)EnterCriticalSection() ДОЛЖЕН иметь соответствующий вызов LeaveCriticalSection(). Об этом говорится в документации:
Поток использует функцию EnterCriticalSection или TryEnterCriticalSection для запроса владения критическим разделом. Он использует функцию LeaveCriticalSection, чтобы освободить право собственности на критический раздел...
... Чтобы освободить свое право собственности, поток должен вызывать LeaveCriticalSection один раз каждый раз, когда он входит в критическую секцию...
Если вы используете такой язык, как C++, который поддерживает ООП-программирование, и хотите автоматически покидать CS при выходе из области видимости, тогда вам нужна оболочка в стиле RAII, конструктор которой входит в CS, а деструктор покидает CS.
Я прочитал эту документацию, но хотел убедиться. Этот устаревший код использует второй подход. Это позволяет добавить еще несколько строк кода, чтобы можно было пройти через раздел, которого я хотел избежать, но спасибо за идею о том, как можно разместить вход и выход в их дизайне.
@user1337497 user1337497 Здесь нет необходимости читать документацию. Здесь нужно немного подумать. никто не сможет вызвать LeaveCriticalSection вместо вас. поэтому ваш код должен так или иначе сделать это, иначе раздел будет навсегда занят текущим потоком
Как было предложено в предыдущем ответе, если вы используете C++, вы можете сделать что-то вроде этого:
class CriticalSection
{
LPCRITICAL_SECTION mysection;
public:
CriticalSection(LPCRITICAL_SECTION section) : mysection(section)
{
EnterCriticalSection(&mysection);
};
~CriticalSection()
{
LeaveCriticalSection(&mysection);
};
};
//option one
bool doSomething() {
CriticalSection cr(section);
...
if (something)
return true;
...
return false;
}
Отказ от ответственности:
- это непроверенный код, он может содержать ошибки
Очевидная ошибка заключается в том, что вы фактически не инициализируете раздел внутри класса CriticalSection.
Конечно же нет. Вы (ваш код) должны освободить критическую секцию