Исследование работы объекта синхронизации "Семафор"

Подобные ситуации, когда два или более потока обрабатывают общие данные, а результат зависит от соотношения скоростей потоков, называются гонками.Рис.4 - Влияние относительных скоростей потоков на результат решения задачи2.3 Требования к алгоритмам синхронизацииОрганизация взаимного исключения критических участков, конечно, позволяет избежать ситуации конкуренции, но этого недостаточно для правильного и эффективного сосуществования совместных процессов. Мы сформулировали пять условий, которые должны быть выполнены для того, чтобы хороший программный алгоритм организовал сосуществование процессов с критическими участками, если они могут проходить их в любом порядке: 1. Проблема должна решаться чисто программно на обычной машине без специальных команд исключения. В этом случае предполагается, что основные инструкции языка программирования являются атомарными операциями. 2. Не должно быть никаких предположений об относительных скоростях выполняющихся процессов или количестве процессоров, на которых они работают. 3. Если процесс Pi выполняется в своей критической части, то нет других процессов, выполняющихся в его критической части. Это условие называется условием взаимного исключения. 4. Процессы, которые находятся вне своих критических разделов и не собираются в них входить, не могут помешать другим процессам войти в их критические разделы. Если в критическом разделе нет процессов, а есть процессы, которые хотят войти в него, только процессы, не запущенные в критическом разделе, должны решить, какой процесс войдет в их критический раздел. Это решение не должно приниматься бесконечно. Это условие называется условием выполнения. 5. Процесс не должен ждать неопределенное время, прежде чем попасть в свой критический раздел. С момента, когда процесс запрашивает разрешение на вход в свой критический раздел, и до получения разрешения, другие процессы могут проходить через его критический раздел только ограниченное количество раз. Это условие называется условием ограниченного ожидания.На рисунке 5 представлена классификация семафоров по технологии решения задач. Рис.5 - Определение и виды семафоров.2.4 Постановка задачи по синхронизации потоковУсловие задачи:Написать простое приложение, которое выводит 2 последовательности на С++. Необходимо синхронизировать вывод последовательностей с помощью семафоров.Алгоритм - каждую из двух последовательностей потоки выводят вместе.2.5 Разработка программы решения задачи#include #include using namespace std;HANDLE hSemaphore;int m[25];// глобальный массив для вывода на экран // функцияпотокаDWORD WINAPI ThreadFunc(LPVOID lpParam) { for(int i=0; i<25; i++){ WaitForSingleObject(hSemaphore,INFINITE); cout << m[i] << " "; ReleaseSemaphore(hSemaphore,1,NULL);} // поэлементный вывод массива на экран cout << endl; return 0;} int main(){ SetConsoleOutputCP(1251); cout << "Вывод двух возрастающих последовательностей:"<#include using namespace std;HANDLE hSemaphore;int m[25];// глобальный массив для вывода на экран // функцияпотокаDWORD WINAPI ThreadFunc(LPVOID lpParam) { for(int i=0; i<25; i++){ WaitForSingleObject(hSemaphore,INFINITE); cout << m[i] << " "; ReleaseSemaphore(hSemaphore,1,NULL);} // поэлементный вывод массива на экран cout << endl; return 0;} int main(){ SetConsoleOutputCP(1251); cout << "Вывод двух возрастающих последовательностей:"<