Кок, Джон
Джон Кок (англ. John Cocke; 30 мая 1925, Шарлотт, Северная Каролина — 16 июля 2002, Валхалла, Нью-Йорк) — американский учёный в области информатики, известный своим вкладом в развитие архитектуры компьютера и оптимизации разработки компиляторов. По мнению других, он является «отцом RISC-архитектуры»[2]. Официальная формулировка заслуг при вручении премии Тьюринга от ACM отмечает его значительный вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку компьютеров с сокращённым набором команд (RISC)[3].
Член Национальной академии наук США (1993)[4].
Общие сведения
| Джон Кок | |
|---|---|
| John Cocke | |
| Дата рождения | 30 мая 1925[1] |
| Место рождения | |
| Дата смерти | 16 июля 2002[1] (77 лет) |
| Место смерти | |
| Страна | |
| Научная сфера | компьютерные науки |
| Место работы | IBM |
| Образование | |
| Известен как | RISC |
| Награды и премии | премия Тьюринга, медаль «Пионер компьютерной техники» и др. |
Биография
Кок поступил в Университет Дьюка, где получил степень бакалавра в области техники в 1946 году и степень доктора философских наук в математике в 1953 году. Отец Джона был президентом энергетической компании «Duke Energy» и входил в совет попечителей данного университета[2]. С 1956 по 1992 Кок начал свою карьеру в качестве промышленного исследователя машин в IBM.
В 1972 году Коку было присвоено высшее техническое звание компании — IBM Fellow[3].
Научный вклад
Джон Кок принимал активное участие в разработке ранних суперкомпьютеров IBM 7030 Stretch и IBM ACS-1, в рамках которых были заложены основы концепций виртуальной памяти и кэширования инструкций[3].[5][6]
Проект, в котором его нововведения наиболее хорошо отметили, был мини-компьютер IBM 801, реализация которого противопоставляла архитектурному набору инструкций относительно простые инструкции, производимые, в действительности, компиляторами, что позволило повысить его производительность при низких затратах[3]. Этот проект стал первым воплощением архитектуры RISC и оказал фундаментальное влияние на создание архитектуры IBM POWER, серверов RS/6000 и современных процессоров ARM[7].
Учёный внёс значительный вклад в теорию оптимизирующих компиляторов. Он систематизировал многие фундаментальные преобразования, применяемые в этой области, включая методы снижения силы операций, устранения общих подвыражений и распределения регистров[3].
Кок был одним из основателей CYK-алгоритма (алгоритм Кока — Янгера — Касами). Он также участвовал в первых разработках алгоритмов по распознаванию речи и машинному переводу, которые проводились в IBM в 1970—1980 годах, и предложил идею использования триграммной модели языка для распознавания речи. Идея получила одобрение Фредерика Джелинека.
Награды и звания
- 1979 год — член Национальной инженерной академии США[3]
- 1985 год — Премия Эккерта — Мокли
- 1987 год — Премия Тьюринга[8]
- 1989 год — Медаль «Пионер компьютерной техники»
- 1991 год — Национальная медаль США за технологию и инновацию
- 1994 год — Национальная научная медаль США[9]
- 1994 год — Медаль Джона фон Неймана
- 1994 год — C&C Prize
- 2000 год — Медаль Бенджамина Франклина
Примечания
Литература
- Jack Schofield. John Cocke // The Guardian. — Guardian News and Media Limited or its affiliated companies, 2002.
Ссылки
- Некролог на сайте IBM (англ.)