Rust: атомарности и блокировки [Мара Бос]

50

Описание

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

Вы узнаете:

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

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

Формат: скан PDF