Нир Шавит

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Нир Шавит

ивр. ניר שביט
Nir Shavit.JPG
Дата рождения 18 октября 1959 года
Место рождения Израиль













Нир Шавит (англ. Nir Shavit, ивр. ניר שביט) — израильский компьютерный учёный, математик, профессор информатики Тель-Авивского университета и профессор электротехники и информатики Массачусетского технологического института[1].

Биография[править]

Нир Шавит родился 18 октября 1959 года.

В 1984 году получил степень бакалавра, а в 1986 году — степень магистра в области компьютерных наук в Технионе.

В 1990 году получил докторскую степень в Еврейском университете в Иерусалиме.

В 1992 году начал преподавать в Школе компьютерных наук в Тель-Авивском университете.

В 1995 году вместе с Дэном Тойту разработали программную транзакционную память (SТМ) — механизм управления параллелизмом, аналогичный механизму транзакций баз данных для управления доступом к совместно используемой памяти в параллельных вычислениях.

Кроме того, разработал wait-free (без ожиданий) неблокирующей синхронизации. Алгоритм работает без ожиданий, если каждая операция выполняется за определённое количество шагов, не зависящее от других потоков. В статье, представленной на Ежегодном симпозиуме ACM по теории вычислений, Шавит, его бывший студент Дэн Алистер и Керен Цензор-Гиллел (Keren Censor-Hillel) из Техниона продемонстрировали новый аналитический метод, предположив, что в широком диапазоне реальных случаев неблокируемые алгоритмы фактически показывают производительность алгоритмов без ожидания. Шавит сообщает: «На практике программирование будет выполняться, как если бы все было без ожидания. Статья требует обладания некоторой долей интуиции о том, как чип планирует работу, так что программисты встретили её доброжелательно».

Занимается разработкой параллельных структур данных для многоядерных машин.

В 2004 году — лауреат премии Гёделя — за приложение топологии в теории распределённых вычислений.

В 2012 году — лауреат премии Дейкстры — за программную транзакционную память.

Его жена — Шафи Гольдвассер, имеет двоих детей.

Источники[править]