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

@мариямаша · Регистрация: 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 где обращение к компонентам

Только так.

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию 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 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

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