Потоки

@Alelazoros · Регистрация: 25.12.2017

Студворк — интернет-сервис помощи студентам

Добрый вечер, прошу у вас совета.

Есть такой кусок кода:
Нить А (Поток А)

C++
1
2
3
4
5
    c1 = 0;
    while (c2 == 0)
        {c1 = 0; sleep(1); c1 = 0;}
    // критическая секция
    c1 = 1;

Нить Б (Поток Б)

C++
1
2
3
4
5
    c2 = 0;
    while (c1 == 0)
        {c2 = 0; sleep(1); c2 = 0;}
    // критическая секция
    c2 = 1;

И есть задание с вариантом ответов.

Содержит ли ошибку (если да, то какую) приведенное ниже решение задачи взаимного исключения? Начальные значения: с1=1, с2=1.
Варианты ответов:
а) одновременный вход в КС
б) взаимная блокировка
в) бесконечное откладывание
г) решение правильное

Дело в том что я воспроизвел у себя код, и у меня решение проходит правильно, Поток А успевает проскочить, пока Поток Б не заменил с2 на 0. И на практике все Ок, а как должно было произойти в теории? Вроде как они ни должны были зациклится, но к какому термину это относится.

Сам код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
int c1=1;
int c2=1;
void ThA()
{
    c1 = 0;
    while (c2 == 0)
        {c1 = 0; this_thread::sleep_for(chrono::milliseconds(1)); c1 = 0;}
    // критическая секция
    c1 = 1;
}
void ThB()
{
    c2 = 0;
    while (c1 == 0)
        {c2 = 0; this_thread::sleep_for(chrono::milliseconds(1)); c2 = 0;}
    // критическая секция
    c2 = 1;
}
int main()
{
    thread TA(ThA);
    thread TB(ThB);
 
    TA.join();
    TB.join();
}

@nmcf · 25.10.2018, 22:52

А где у тебя критическая секция?

@nonedark2008 · 25.10.2018, 22:53

Сообщение от Alelazoros

Дело в том что я воспроизвел у себя код, и у меня решение проходит правильно

Это ничего не доказывает.

Сообщение от Alelazoros

а как должно было произойти в теории?

В теории может быть множество различных вариантов.
Например, никто не гарантирует, что, если первый поток выполнил c1 = 0, то в тот же самый момент для другого потока станет верным c1 == 0. После записи в первом потоке, для второго еще некоторое время будет видно старое значение, и наоборот. В итоге они смогут одновременно попасть в критическую секцию.

Или, например, два потока запустились одновременно, выполнили c1 = 0; c2 = 0, увидели эти изменения и зациклились. Никто из них, очевидно, в критическую секцию попасть не сможет.

@sty4ent · 25.10.2018, 23:20

Сообщение от Alelazoros

c1 = 0; this_thread::sleep_for(chrono::milliseco nds(1)); c1 = 0;

зачем тут столько c1=0?

@Alelazoros · 26.10.2018, 21:40 **[ТС]**

nonedark2008, Думаю мне этого достаточно знать для решения задачи

Добавлено через 2 минуты
sty4ent, если бы я знал, это лишь задание, а я попытался его воспроизвести у себя чтобы понять как оно работает))

Добавлено через 1 минуту
nmcf, по факту, в задание ее нет, там лишь коммент, где она якобы должна быть, но мне в данный момент нужно было логику понять)

Новые блоги и статьи Все статьи Все блоги /
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .
Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	25.10.2018, 22:52
	А где у тебя критическая секция? 0

@Alelazoros 0 / 0 / 0 Регистрация: 25.12.2017 Сообщений: 26
	26.10.2018, 21:40 [ТС]
	nonedark2008, Думаю мне этого достаточно знать для решения задачи Добавлено через 2 минуты sty4ent, если бы я знал, это лишь задание, а я попытался его воспроизвести у себя чтобы понять как оно работает)) Добавлено через 1 минуту nmcf, по факту, в задание ее нет, там лишь коммент, где она якобы должна быть, но мне в данный момент нужно было логику понять) 0

Потоки

Решение