Мьютекс в многопоточном прилложении

Лекция

Привет, Вы узнаете про мьютекс в многопоточном прилложении, Разберем основные ее виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое мьютекс в многопоточном прилложении , настоятельно рекомендую прочитать все из категории Операционные системы и системное программировние

Мью́текс (англ. mutex, от mutual exclusion — «взаимное исключение») — аналог одноместного семафора, служащий в программировании для синхронизации одновременно выполняющихся потоков.

Мьютекс отличается от семафора тем, что только владеющий им поток может его освободить, т.е. перевести в отмеченное состояние. Мьютексы — это один из вариантов семафорных механизмов для организации взаимного исключения. Они реализованы во многих ОС, их основное назначение — организация взаимного исключения для потоков из одного и того же или из разных процессов.

Мьютексы — это простейшие двоичные семафоры, которые могут находиться в одном из двух состояний  — отмеченном или неотмеченном (открыт и закрыт соответственно). Когда какой-либо поток, принадлежащий любому процессу, становится владельцем объекта mutex, последний переводится в неотмеченное состояние. Если задача освобождает мьютекс, его состояние становится отмеченным.

Задача мьютекса — защита объекта от доступа к нему других потоков, отличных от того, который завладел мьютексом. В каждый конкретный момент только один поток может владеть объектом, защищенным мьютексом. Если другому потоку будет нужен доступ к переменной, защищенной мьютексом, то этот поток блокируется до тех пор, пока мьютекс не будет освобожден.

Цель использования мьютексов — защита данных от повреждения в результате асинхронных изменений (состояние гонки), однако могут порождаться другие проблемы — например взаимная блокировка (клинч).

 Мьютекс в многопоточном прилложении

Figure 1: Two nodes, i and i + 1, being removed simultaneously results in node i + 1 not being removed.

 

Содержание

  • 1Мьютексы в Win32 API
  • 2Мьютексы в Unix-подобных системах
  • 3Мьютексы в языке Си
  • 4Мьютексы в языке C++
  • 5 См . Об этом говорит сайт https://intellect.icu . также

 

Мьютексы в Win32 API 

Win32 API в Windows имеет две реализации мьютексов — собственно мьютексы[1], имеющие имена и доступные для использования между разными процессами, и критические секции[2], которые могут использоваться только в пределах одного процесса. Для каждого из этих двух типов мьютексов используются свои функции захвата и освобождения.

Критическая секция в Windows по возможности блокируется без использования вызова режима ядра (аналогично спинлоку), но при невозможности такой блокировки поток запрашивает ядро.

Мьютексы в Unix-подобных системах 

Мьютекс в стандартной библиотеке Pthreads может использоваться в одном процессе или в разных, но в любом случае всем использующим процессам требуется доступ к памяти, в которой он размещен. Такой мьютекс может иметь один из следующих типов[3]:

  • PTHREAD_MUTEX_NORMAL — нет контроля повторного захвата тем же потоком (англ. thread);
  • PTHREAD_MUTEX_RECURSIVE — повторные захваты тем же потоком допустимы, ведется счетчик таких захватов;
  • PTHREAD_MUTEX_ERRORCHECK — повторные захваты тем же потоком вызывают немедленную ошибку.

Мьютексы в языке Си 

Последний стандарт языка Си (ISO/IEC 9899:2011[4]) определяет тип mtx_t и функции для работы с ним, которые должны быть доступны, если макрос __STDC_NO_THREADS__ не был определен компилятором. Семантика и свойства мьютексов в целом совпадают со стандартом POSIX:

  • mtx_plain — нет контроля повторного захвата тем же потоком;
  • mtx_recursive — повторные захваты тем же потоком допустимы, ведется счетчик таких захватов;
  • mtx_timed — поддерживается захват мьютекса с тайм-аутом (следует отметить, что, в отличие от стандарта POSIX, поддержка этого свойства мьютекса не является опциональной).

Возможность использования мьютексов в разделяемой памяти различных процессов в стандарте Си11 не рассматривается.

Мьютексы в языке C++ 

Стандарт языка C++ (ISO/IEC 14882:2011[5]) определяет различные классы мьютексов:

  • mutex — нет контроля повторного захвата тем же потоком;
  • recursive_mutex — повторные захваты тем же потоком допустимы, ведется счетчик таких захватов;
  • timed_mutex — нет контроля повторного захвата тем же потоком, поддерживается захват мьютекса с тайм-аутом;
  • recursive_timed_mutex — повторные захваты тем же потоком допустимы, ведется счетчик таких захватов, поддерживается захват мьютекса с тайм-аутом.

Следует отметить библиотеку Boost, которая обеспечивает:

  • реализацию мьютексов, совместимых по интерфейсу со стандартом C++11 для компиляторов и платформ, которые не поддерживают этот стандарт;
  • реализацию дополнительных классов мьютексов: shared_mutex и др., которые позволяют захватывать мьютекс для совместного владения несколькими потоками только для чтения данных.

 

См. также 

  • Многопоточность
  • Семафор
  • Фьютекс, быстрый пользовательский мьютекс
  • Спинлок

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

130
0

Заказать контрольную или курсовую/дипломную работу

У меня мало времени и хочу
Заказать работу
или
я специалист в данной области и
Хочу заработать

Без посредников, но с опцией гаранта

Rating 9 of 10. count vote: 2
You vote:



Комментарии


Оставить комментарий

ответить

Операционные системы и системное программировние

Термины: Операционные системы и системное программировние