Rust: атомарности и блокировки. Низкоуровневая конкурентность на практике

В этом материале разберём тему: rust.

Даны основы конкурентности в Rust. Книга позволяет программистам получить четкое представление о низкоуровневой конкурентности и ее реализации. Раскрыты понятия об атомарности и упорядочении памяти. Рассказано о примитивах операционной системы. Рассмотрены практические аспекты создания своих собственных каналов, своего собственного типа Arc и своих собственных блокировок Дано представление о внутренней “кухне” процессора. Предложены идеи для самостоятельной разработки решений, связанных с вычислениями в конкурентном режиме.Для Rust-программистов

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

Вы узнаете об атомарности и упо-рядочении памяти, а также о том, как они сочетаются с базовыми API-интерфейсами операционной системы для создания таких наиболее востребованных примитивов, как мьютексы и условные переменные. В этой книге, имеющей сугубо практическую направленность, Мара Бос, руководитель команды разработчиков библиотеки Rust, помогает Rust-программистам всех уровней получить четкое представление о низкоуровневой конкурентности. Прочитав книгу, вы получите четкое представление о том, как связаны друг с другом используемая в Rust модель памяти, процессор и особенности той или иной операционной системы.

Вы узнаете:Об исключительной роли имеющейся в Rust сиcтемы типов в корректном программировании конкурентностиВсе о мьютексах, условных переменных, атомарности и упорядочении памятиЧто на самом деле происходит с атомарными операциями в процессорах Intel и ARMКак реализуются блокировки при поддержке операционной системыКак создается корректный программный код, включающий конкурентность, атомарность и блокировкиКакими приемами можно воспользоваться для правильного создания своих собственных примитивов блокировки и синхронизации

Если материал оказался полезен — сохраните страницу.