Interested Article - Фьютекс

Фьютекс ( англ. futex , сокращение от англ. fast userspace mutex) — низкоуровневый легковесный примитив синхронизации , на основе которого реализуются другие примитивы и механизмы, такие как мьютексы , семафоры и условные переменные . Также фьютексы могут участвовать и в организации более сложных механизмов синхронизации, таких как барьеры и блокировки чтения-записи , позволяя одновременно пробуждать группу задач. Изначально был представлен в ранних версиях ядра Linux 2.5 . Позднее практически идентичный примитив был реализован и в ядре Windows .

История

Впервые появились в ядре Linux версии 2.5.7, стабилизация семантики закончилась в версии 2.5.40 ^{[

источник не указан 1579 дней

]} .

Разработаны Уберту Франке (Hubertus Franke) (из исследовательского центра IBM им. Томаса Ватсона), сотрудниками технологического центра IBM по Linux Мэттью Кирквудом (Matthew Kirkwood) и Расти Расселом, а также разработчиком в компании Red Hat Инго Молнаром (Ingo Molnar).

Общие сведения

Фьютекс представляет собой выровненное целое в общей памяти (для нескольких процессоров) в пользовательском пространстве и очередь ожидания в пространстве ядра . Для организации фьютекса требуется, по крайней мере, одна страница памяти , отображённая в адресное пространство каждого из участвующих во фьютексе процессов. Системные вызовы предназначены только для потоковых библиотек пользовательского пространства и только в виде команд ассемблера .

Разделяемое целое может быть увеличено или уменьшено на единицу за одну ассемблерную инструкцию. Процессы, «завязанные» на этот фьютекс, ждут, когда это значение станет положительным. Все операции с фьютексами практически полностью проводятся в пользовательском пространстве (при отсутствии соперничества ), соответствующие функции ядра задействуются лишь в ограниченном наборе спорных случаев. Это позволяет повысить эффективность использования синхронизирующих примитивов, поскольку большинство операций не использует арбитраж, а значит, и избежать использования относительно дорогостоящих системных вызовов ( англ. system calls).

Сходным образом оптимизированы объекты CRITICAL_SECTION в Win32 API , а также FAST_MUTEX в ядре Windows .

Примечания

↑ Ulrich Drepper. (англ.) (PDF). Red Hat, Inc. (11 декабря 2005). Дата обращения: 16 июня 2019. Архивировано из 16 июня 2019 года.
Rémi Denis-Courmont. (англ.) . Remlab . Remlab.net (21 сентября 2016). Дата обращения: 17 июня 2019. 17 июня 2019 года.
Rémi Denis-Courmont. (англ.) . Remlab . Remlab.net (21 сентября 2016). Дата обращения: 16 июня 2019. 16 июня 2019 года.
, 8.12 Stay Out of the Kernel If at all Possible.
.
Doug Abbott. Pthreads Implementations // Linux for Embedded and Real-time Applications, 3rd Edition. — Newnes, 2012. — 296 с. — ISBN 978-0-12-391433-0 .
(неопр.) . Дата обращения: 13 января 2010. 24 декабря 2013 года.

Литература

Уберту Франке, Расти Рассел, Мэттью Кирквуд, «Шум вокруг фьютексов: Быстрая блокировка на пользовательском уровне в Linux», Симпозиум по Linux 2002 года , Оттава , (англ.)
Karim Yaghmour, Jon Masters, Gilad Ben-Yossef. Building Embedded Linux Systems. — "O'Reilly Media, Inc.", 2008. — P. 400. — ISBN 978-0-596-55505-4 .
Robert Oshana. Multicore Software Development Techniques. — Newnes, 2015. — 236 p. — ISBN 978-0-12-801037-2 .
Michael L. Scott. Shared-Memory Synchronization. — Morgan & Claypool Publishers, 2013. — 221 с. — ISBN 978-1-60845-957-5 .