Что такое синхронизация процессов? Синхронизация процессов

Оборудование для синхронизации

Иногда проблемы критической секции также решаются аппаратно. Некоторая операционная система предлагает функциональность блокировки, при которой Процесс получает блокировку при входе в секцию Критический и снимает блокировку после выхода из нее.
Поэтому, когда другой процесс пытается войти в критическую секцию, он не сможет войти, поскольку он заблокирован. Он может сделать это только в том случае, если он свободен, получив сам замок.

Мьютекс Замки

Аппаратное обеспечение синхронизации не простой метод для реализации для всех, поэтому был также введен строгий программный метод, известный как Mutex Locks.
При таком подходе в разделе ввода кода получается LOCK для критических ресурсов, используемых внутри критического раздела. В секции выхода эта блокировка снята.

Семафорное Решение

Семафор – это просто переменная, которая неотрицательна и разделена между потоками. Это еще один алгоритм или решение проблемы критического сечения. Это механизм сигнализации и поток, ожидающий семафор, который может быть передан другим потоком.
Он использует две атомарные операции: 1) ожидание и 2) сигнал для синхронизации процесса.

пример

WAIT ( S ):
while ( S <= 0 );
S = S - 1;
SIGNAL ( S ):
S = S + 1;

Резюме:

• 
  Синхронизация процессов – это задача координации выполнения процессов таким образом, чтобы никакие два процесса не могли иметь доступ к одним и тем же общим данным и ресурсам.
  
• 
  Четыре элемента критической секции: 1) Входная секция 2) Критическая секция 3) Выходная секция 4) Секция напоминания
  
• 
  Критическая секция – это сегмент кода, который может быть доступен при обработке сигнала в определенный момент времени.
  
• 
  Три обязательных правила, которые должны соблюдаться критическим разделом: 1) Взаимное исключение 2) Решение процесса 3) Ожидание привязки
  
• 
  Взаимное исключение – это особый тип двоичного семафора, который используется для управления доступом к общему ресурсу.
  
• 
  Процессное решение используется, когда никто не находится в критической секции, а кто-то хочет.
  
• 
  В решении с ожидающим ожиданием после того, как процесс отправит запрос в свою критическую секцию, существует ограничение на количество других процессов, которые могут попасть в свою критическую секцию.
  
• 
  Решение Петерсона является широко используемым решением критических проблем сечения.
  
• 
  Проблемы критического раздела также решаются путем синхронизации оборудования
  
• 
  Аппаратные средства синхронизации не являются простым методом для реализации для всех, поэтому был также введен строгий программный метод, известный как Mutex Locks.
  
• 
  Семафор – это еще один алгоритм или решение проблемы критической секции.