Max Home IndustryЖивая легенда, C A R Hoare, или, более неофициально, Тони Хоар, известный благодаря Quicksort, Hoare Logic и CSP на формальном языке, объясняет в 10-минутном интервью Erlang Solutions, как он заинтересовался параллелизмом.
В блоге Erlang Solutions, где изначально было опубликовано это видео на YouTube, объясняется, что возможность заставить сэра Тони Хоара поговорить на камеру о параллелизме появилась в ноябре прошлого года в вычислительной лаборатории Кембриджского университета.
Во время интервью Хоар объясняет, что, не сумев поставить операционную систему в 1960-х годах из-за непонимания параллелизма, он перешел в академические круги, став профессором компьютерных наук в Королевском университете Белфаста в 1968 году.
Он утверждает:
Одной из целей моего исследования было изучение того, что на самом деле означает параллелизм и как его приручить. В 1965 году я встретил Оле-Йохана Даля и Кристен Найгаард, которые были разработчиками языка под названием Simula 67, который оказал огромное влияние на распространение идей объектно-ориентированного программирования и произвел на меня сильное впечатление. У них была концепция времени, которая была реализована как смоделированный поезд времени, что является полностью стандартным в наши дни. Это дает основу для изучения значения реального параллелизма.
Позже в видео он отмечает, как Эдсгер Дейкстра повлиял на дизайн нотации, которая оказалась CSP, Communicating Sequential Processes, формальным языком для определения взаимодействий параллельных процессов, над которым Хоар работал в течение нескольких лет до публикации своей основополагающей бумага 1978 года.
Именно эта статья привела к появлению таких языков, как Оккам и Эрланг, а совсем недавно — Go, который является последним языком, который признает свой долг перед работой Хора.
Дополнительные сведения о Хоре сэра Тони см. В нашем отчете за 2012 год по случаю его 78-летия «Поздравления с днем рождения первооткрывателю Quicksort».