Непонятная взаимоблокировка

@Andaluz · Регистрация: 12.12.2017

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

Есть задача симулировать парк аттракционов. Есть 3 вида активностей(1 аттракцион == 1 Task). Так вот, у каждого аттракциона есть своя "очередь" - переменная, которая задается рандомно, и в зависимости от результата вы занимаете аттракцион, либо встаете в очередь, если очередь == кол-ву мест на аттракционе вы встаете в другую очередь(эта часть работает нормально, вроде бы). Я пытаюсь реализовать завершение задач, если пользователь посетил аттракцион, но почему-то возникает взаимная блокировка, и задачи просто не хотят завершаться:

Кликните здесь для просмотра всего текста

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
 class Program
    {
        static Random rand = new Random();
        static AutoResetEvent are = new AutoResetEvent(true);
        static CancellationTokenSource tokenSource = new CancellationTokenSource();
        static CancellationToken token = tokenSource.Token;
        static void Main(string[] args)
        {
            Task t1 = Task.Factory.StartNew(FreeFall);
            Task t2 = Task.Factory.StartNew(Shuttles);
            Task t3 = Task.Factory.StartNew(Chains);
            t1.Wait();
            t2.Wait();
            t3.Wait();
            Console.WriteLine("1111111111111111");
            Console.Read();
        }
        static void FreeFall()
        {
            int queue = rand.Next(0, 9);
            while (true)
            {
                are.WaitOne();
                Thread.Sleep(1000);
                if (token.IsCancellationRequested)
                    break;
                if (queue < 4)
                {
                    Console.WriteLine("Вы зашли на аттракцион \"Вольное падение!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else if (queue >= 4 && queue < 8)
                {
                    Console.WriteLine("Вы встали в очередь на аттракцион \"Вольное падение!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("Waiting...");
                        Thread.Sleep(1000);
                    }
                    Console.WriteLine("Вы зашли на аттракцион \"Вольное падение!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else
                {
                    Console.WriteLine("Все места заняты!");
                    Thread.Sleep(5000);
                    are.Set();
                    are.WaitOne();
                }
            }
        }
        static void Shuttles()
        {
            int queue = rand.Next(0, 13);
            while (true)
            {
                are.WaitOne();
                Thread.Sleep(2000);
                if (token.IsCancellationRequested)
                    break;
                if (queue < 6)
                {
                    Console.WriteLine("Вы зашли на аттракцион \"Лодочки!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else if (queue >= 6 && queue < 12)
                {
                    Console.WriteLine("Вы встали в очередь на аттракцион \"Лодочки!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("Waiting...");
                        Thread.Sleep(1000);
                    }
                    Console.WriteLine("Вы зашли на аттракцион \"Лодочки!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else
                {
                    Console.WriteLine("Все места заняты!");
                    Thread.Sleep(5000);
                    are.Set();
                    are.WaitOne();
                }
            }
        }
 
        static void Chains()
        {
            int queue = rand.Next(0, 21);
            while (true)
            {
                are.WaitOne();
                Thread.Sleep(3000);
                if (token.IsCancellationRequested)
                    break;
                if (queue < 10)
                {
                    Console.WriteLine("Вы зашли на аттракцион \"Цепи!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else if (queue >= 10 && queue < 20)
                {
                    Console.WriteLine(""Вы встали в очередь на аттракцион \"Цепи!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("Waiting...");
                        Thread.Sleep(1000);
                    }
                    Console.WriteLine("Вы зашли на аттракцион \"Цепи!\"");
                    for (int i = 0; i < 5; i++)
                    {
                        Console.WriteLine("*****");
                        Thread.Sleep(1000);
                    }
                    tokenSource.Cancel();
                    are.Set();
                    are.WaitOne();
                }
                else
                {
                    Console.WriteLine("Все места заняты!");
                    Thread.Sleep(5000);
                    are.Set();
                    are.WaitOne();
                }
            }
        }
    }

@kolorotur · 04.05.2020, 02:00

Andaluz, перво-наперво надо синхронизировать доступ к Random — он не является потокобезопасным.
Дальше, зачем у вас в рабочих методах после каждого вызова Set тут же стоит WaitOne?
Вы уже ждете в начале итерации, в чем смысл сбрасывать синхронизацию сразу же после ее освобождения? Именно эти вызовы и создают блокировку.
Ну и напоследок, после завершения одного из рабочих методов вы вызываете Set один раз, а потока у вас три, так что как минимум два потока всегда будут висеть.

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	04.05.2020, 02:00
	Сообщение было отмечено Andaluz как решение Решение Andaluz, перво-наперво надо синхронизировать доступ к Random — он не является потокобезопасным. Дальше, зачем у вас в рабочих методах после каждого вызова Set тут же стоит WaitOne? Вы уже ждете в начале итерации, в чем смысл сбрасывать синхронизацию сразу же после ее освобождения? Именно эти вызовы и создают блокировку. Ну и напоследок, после завершения одного из рабочих методов вы вызываете Set один раз, а потока у вас три, так что как минимум два потока всегда будут висеть. 1

Непонятная взаимоблокировка

Решение