Как работают объекты синхронизации (критическая секция, мьютекс, событие, семафор)?

@мариямаша · Регистрация: 21.10.2014

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

Помогите пожалуйста разобраться!Как должны работать объекты синхронизации такие как:критическая секция,мьютекс,событие и семафор.
Я понимаю что критическая секция и мьютекс работают также как и крит.секция,но как работают 2 оставшихся?
У меня получается ,что если запускаешь данную программу,то все 4 объекта выдают одинаковые значения.Имеется 2 потока.

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
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
#include <vcl.h>
#pragma hdrstop
 
#include "Unit1.h"
//---------------------------------------------------------------------------
#pragma package(smart_init)
#pragma resource "*.dfm"
TForm1 *Form1;
int GlobalData = 7;
TRTLCriticalSection Sect1;
HANDLE  hThread1;
HANDLE  hThread2;
HANDLE ev1 = CreateEvent(NULL,false,true,"event");
HANDLE hSem = CreateSemaphore(NULL,2,2,"sem");
 
    DWORD CALLBACK MyThread1(void* P)
    {
        for( int current =0; current < 5; current++)
        {
            GlobalData = GlobalData + 2;
            Sleep(1);
            GlobalData = GlobalData - 2;
            Form1->Memo1->Lines->Add(IntToStr(GlobalData));
            Sleep(1000);
 
        }
        return (0);
    }
 
    DWORD CALLBACK MyThread2 (void* P)
    {
        for( int current=0; current < 5; current++)
        {
            GlobalData = GlobalData - 2;
            Sleep(1);
            GlobalData = GlobalData + 2;
            Form1->Memo2->Lines->Add(IntToStr(GlobalData));
            Sleep(1050);
 
        }
        return (0);
    }
 
 
 
    DWORD CALLBACK MyThread3(void* P)
    {
        for( int current =0; current < 5; current++)
        {
         switch(Form1->RadioGroup1->ItemIndex)
          {
              case 1: EnterCriticalSection (&Sect1);
               break;
              case 2: OpenMutex(0,true,"mut");
               break;
              case 3:SetEvent(ev1);
               break;
              case 4:OpenSemaphore(SEMAPHORE_ALL_ACCESS,true,"sem");
               break;
          }
 
            GlobalData = GlobalData + 2;
            GlobalData = GlobalData - 2;
            Form1->Memo1->Lines->Add(IntToStr(GlobalData));
 
             switch(Form1->RadioGroup1->ItemIndex)
              {
                case 1: LeaveCriticalSection (&Sect1);
                 break;
                case 2: ReleaseMutex("mut");
                 break;
                case 3:ResetEvent(ev1);
                 break;
                case 4:ReleaseSemaphore(hSem,1,NULL);
                 break;
 
              }
        }
 
        return (0);
    }
 
    DWORD CALLBACK MyThread4 (void* P)
    {
        Sleep(100);
        for( int current=0; current < 5; current++)
        {
            switch(Form1->RadioGroup1->ItemIndex)
              {
                 case 1: EnterCriticalSection (&Sect1);
                  break;
                 case 2: OpenMutex(0,true,"mut");
                  break;
                 case 3:SetEvent(ev1);
                  break;
                 case 4:OpenSemaphore(SEMAPHORE_ALL_ACCESS,true,"sem");
                  break;
              }
            GlobalData = GlobalData - 2;
            GlobalData = GlobalData + 2;
            Form1->Memo2->Lines->Add(IntToStr(GlobalData));
 
            switch(Form1->RadioGroup1->ItemIndex)
              {
                  case 1: LeaveCriticalSection (&Sect1);
                   break;
                  case 2: ReleaseMutex("mut");
                   break;
                  case 3:ResetEvent(ev1);
                   break;
                  case 4:ReleaseSemaphore(hSem,1,NULL);
                   break;
              }
 
        }
 
        return (0);
 
    }
 
//---------------------------------------------------------------------------
__fastcall TForm1::TForm1(TComponent* Owner)
    : TForm(Owner)
{
  Memo1->Lines->Clear();
  Memo2->Lines->Clear();
}
//---------------------------------------------------------------------------
 
void __fastcall TForm1::Button2Click(TObject *Sender)
{
  DeleteCriticalSection(&Sect1);
  Close();
}
//---------------------------------------------------------------------------
void __fastcall TForm1::Button1Click(TObject *Sender)
{
  Memo1->Lines->Clear();
  Memo2->Lines->Clear();
     switch(RadioGroup1->ItemIndex)
     {
           case 0:
             hThread1 = CreateThread(0,0,MyThread1,0,0,NULL);
             hThread2 = CreateThread(0,0,MyThread2 ,0,0,NULL);
 
           break;
 
           case 1:
 
             InitializeCriticalSection(&Sect1);
 
             hThread1 = CreateThread(0,0,MyThread3,0,0,NULL);
             hThread2 = CreateThread(0,0,MyThread4 ,0,0,NULL);
            break;
 
           case 2:
                CreateMutex(NULL,false,"mut");  // создание объекта мьютекс(начальное состояние, не захвачен потоком, имя мьютекса)
                HANDLE hThread1;
                hThread1 = CreateThread(0,0,MyThread3,0,0,NULL);
               HANDLE hThread2;
               hThread2 = CreateThread(0,0,MyThread4,0,0,NULL);
 
 
            break;
 
           case 3:
 
 
           OpenEvent(NULL,false,"event");
           SetEvent(ev1);
 
            hThread1 = CreateThread(0,0,MyThread3,0,0,NULL);
 
 
            hThread2 = CreateThread(0,0,MyThread4,0,0,NULL);
 
         CloseHandle(ev1);
 
 
 
           break;
 
          case 4:
 
 
 
           hThread1 = CreateThread(0,0,MyThread3,0,0,NULL);
 
           hThread2 = CreateThread(0,0,MyThread4,0,0,NULL);
 
          break;
 
 
     }
}

@Avazart · 05.11.2014, 15:57

Читаем вторую книгу Где можно найти описание всех стандартных функций доступных в Dev C++ или Borland 6
там есть.

Добавлено через 1 минуту

Сообщение от мариямаша

Form1->Memo1->Lines->Add(IntToStr(GlobalData));

Так делать нельзя, нужна синхронизация, о синхронизации с класса TThread, есть в первой книге.

@мариямаша · 05.11.2014, 19:08 **[ТС]**

Почему нельзя?Вроде работает.по крайней мере критическая секция выдаёт одинаковые результаты..Но я не понимаю,какие значения должны выдавать мьютекс ,Семафор,событие?Такие же как крит.секция?
У меня получается что эти объекты одинаково выдают такие же значения...

@Avazart · 05.11.2014, 19:27

Сообщение от мариямаша

Вроде работает.

Вроде не канает, тут раз на раз не приходится, будут падать и зависать из-за отсутствие синхронизации, попробуй во время вывода данных из потока резко подвигать окно программы.

@Olex · 06.11.2014, 11:49

мариямаша,
Работает до поры до времени, очень быстро все рассыпется и не будешь знать в чем проблема.
Для обращения к компонентам внутри треда используйте TThread
В методе execute() можно делать что то вроде

C++
1
2
3
4
5
while(1){
  WaitForSingleObject(semaphore, INFINITE);
  Synchronize(foo);
 
}

Где foo метод TThread где обращение к компонентам

Только так.

Новые блоги и статьи Все статьи Все блоги /
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 / * Дана цепь постоянного тока с 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 из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@мариямаша 1 / 1 / 0 Регистрация: 21.10.2014 Сообщений: 50
	05.11.2014, 19:08 [ТС]
	Почему нельзя?Вроде работает.по крайней мере критическая секция выдаёт одинаковые результаты..Но я не понимаю,какие значения должны выдавать мьютекс ,Семафор,событие?Такие же как крит.секция? У меня получается что эти объекты одинаково выдают такие же значения... 0