Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Питер Джеймс Деннинг (родился 6 января 1942 г.) - американский ученый-компьютерщик и писатель. Он наиболее известен как новатор в области виртуальной памяти , особенно за изобретение модели рабочего набора для поведения программы , которая решила проблему сбоев в операционных системах и стала эталонным стандартом для всех политик управления памятью . Он также известен своими работами по принципам операционных систем, оперативным анализом сетевых систем массового обслуживания, проектированием и реализацией CSNET, цифровой библиотеки ACM , кодификацией великих принципов вычислений , а совсем недавно - книгой.Путь новатора , [2] на инновации как набор изучаемой практики.

Образование и ранняя жизнь [ править ]

Деннинг родился 6 января 1942 года в Квинсе, штат Нью-Йорк, и вырос в Дариене, штат Коннектикут. Он рано проявил интерес к науке, изучая астрономию , ботанику , радио и электронику в начальной школе. В Fairfield Prep он представил компьютеры домашнего производства на научную ярмарку в 1958, 1959 и 1960 годах. Второй компьютер, который решал линейные уравнения с использованием деталей машины для игры в пинбол , получил главный приз. [3] Он учился в Манхэттенском колледже для получения степени бакалавра по ЭЭ (1964), а затем в Массачусетском технологическом институте для получения степени доктора философии (1968). В Массачусетском технологическом институте он был частьюProject MAC и участвовал в разработке Multics . Его кандидатская диссертация "Распределение ресурсов в многопроцессорных компьютерных системах" представила основополагающие идеи в отношении рабочих наборов, местоположения, обработки и баланса системы.

Карьера и исследования [ править ]

В Принстонском университете с 1968 по 1972 год он вместе с Э. Г. Коффманом написал свою классическую книгу « Принципы операционных систем» . Он сотрудничал с Альфредом Ахо и Джеффри Уллманом над доказательствами оптимальности алгоритмов разбиения на страницы и над простым доказательством того, что компиляторы, основанные на синтаксическом анализе приоритета, не нуждаются в возврате. В Университете Пердью (1972–1983) он руководил многочисленными кандидатскими диссертациями, подтверждающими теорию управления памятью на основе локальности и расширяющую новую математику оперативного анализа сетей массового обслуживания. Он стал соучредителем CSNET . Он стал главой отдела в 1979 году и завершил еще одну книгу по вычислительным моделям, машинам, языкам и вычислениям., с Джеком Деннисом и Джо Квалицем.

В НАСА Эймс с 1983 по 1991 год он основал Исследовательский институт передовых компьютерных наук (RIACS) [4] и превратил его в один из первых центров междисциплинарных исследований в области вычислительной и космической науки.

В Университете Джорджа Мейсона с 1991 по 2002 год он возглавлял факультет компьютерных наук, был заместителем декана и заместителем ректора и основал Центр новых инженеров. Центр был пионером в области обучения через Интернет. Он создал курс дизайна для инженеров под названием Sense 21 , который стал основой его проекта по пониманию инноваций как навыков. Он создал курс «Ядро информации, технологии» [5], положив в основу своего проекта «Великие принципы вычислений». [6]

В военно-морской аспирантуре с 2002 года возглавляет кафедру компьютерных наук, руководит Институтом инноваций и информационного превосходства им. Цебровского. [7] Он возглавлял совет факультета.

Деннинг непрерывно служил волонтером в Association for Computing Machinery (ACM) с 1967 года. В то время он занимал должности президента, вице-президента, трех председателей правления, члена совета директоров, редактора ACM Computing Surveys и редактора ежемесячного журнала ACM. Связь . Он получил семь наград ACM за услуги, технический вклад и образование. ACM вручил ему специальную награду [8] в июне 2007 года в знак признания 40 лет непрерывной службы.

Деннинг получил 26 наград за услуги и технический вклад. К ним относятся одна награда за качественное обслуживание клиентов, три стипендии профессионального общества, три почетные степени, шесть наград за технический вклад, шесть за выдающиеся заслуги и семь за образование. [9]

Карьера Деннинга заключалась в поиске фундаментальных принципов в подобластях вычислений. Он много пишет. С 1980 по 1982 год он в качестве президента ACM написал 24 колонки, уделяя особое внимание техническим и политическим вопросам в этой области. С 1985 по 1993 год он написал 47 колонок на тему «Наука о вычислениях» для журнала American Scientist [10], сосредоточив внимание на научных принципах из разных областей. Начиная с 2001 года он писал ежеквартальные колонки «ИТ-профессии» [11] для коммуникаций ACM , уделяя особое внимание принципам ценности для практикующих профессионалов.

Виртуальная память [ править ]

В 1970 году он опубликовал классическую статью, в которой были показаны научные основы виртуальной памяти и подтверждающие научные данные, положив конец спорам о стабильности и производительности виртуальной памяти. [12]

В 1966 году он предложил рабочий набор в качестве динамического показателя потребности в памяти и объяснил, почему он работает, используя идею локальности, предложенную Лесом Белади из IBM . Его рабочий набор документов [13] стал классическим. Он получил награду ACM Best paper в 1968 году и премию Зала славы SIGOPS [14] в 2005 году.

Принципы операционной системы [ править ]

В начале 1970-х он сотрудничал с Эдом Коффманом-младшим над Теорией операционных систем , которая стала классическим учебником, используемым в аспирантуре и оставалась в печати до 1995 года. Эта книга помогла развеять сомнения в том, что к области ОС можно подходить как к науке. .

В середине 1970-х он сотрудничал с Джеффри Бьюзеном в операционном анализе, расширив основные операционные законы Бьюзена на все сети массового обслуживания. Операционная структура объяснила, почему модели производительности компьютеров работают так хорошо, даже несмотря на нарушение традиционных стохастических марковских предположений. Он стал предпочтительным методом обучения прогнозированию производительности на компьютерных курсах.

В начале 1980-х он был одним из четырех главных исследователей-основателей Сети компьютерных наук , спонсируемой Национальным научным фондом . Остальными тремя были Дэйв Фарбер , Ларри Ландвебер и Тони Хирн. Они возглавили развитие полностью автономной сети сообщества CS, которая к 1986 году включала 165 сайтов и 50 000 пользователей. CSNET был ключ переходной ступеньки от первоначального ARPANET к NSFNET , а затем Интернет [ править ] . В 2009 году Internet Society присудило CSNET свою престижную награду Jon Postel, признав ее ключевую роль в переходе от ARPANET к NSFNET.

Он руководил проектом ACM Digital Library 1992-97, который был запущен в 1997 году. Association for Computing Machinery стала первым профессиональным сообществом, предложившим полностью доступную для поиска библиотеку всего, что она когда-либо публиковала. [15]

Великие принципы вычислений [ править ]

В 1999 году он расширил поиск фундаментальных принципов, чтобы охватить все вычисления. Открытие естественных информационных процессов в биологии, физике, экономике, материалах и других областях убедило его, что основные определения вычислений должны быть изменены, чтобы охватить как естественные, так и искусственные информационные процессы. Он и его команда разработали черновой вариант структуры. [16]

Структура Великих Принципов показала, что «инновации» - это основная практика вычислений. Не найдя никого, кто понимал бы, как научить новаторскому мастерству, он присоединился к Бобу Данэму и определил восемь основополагающих практик инноваций. [17] Они опубликовали книгу «Путь новатора» , в которой изложены восемь основных практик успешных инноваций.

Компьютерное образование [ править ]

Деннинг оказал большое влияние на компьютерное образование. В начале 1970-х он возглавил рабочую группу, разработавшую первый базовый курс по принципам работы операционных систем (ОС). OS стала первым нематематическим базовым курсом CS. В середине 1980-х он возглавил объединенный комитет ACM / IEEE, который описал вычисления как дисциплину с девятью функциональными областями и тремя когнитивными процессами, лежащими в основе учебной программы ACM 1991. В 1990-х он начал поиски кодификации великих принципов вычислений. . Он утверждает, что вычисления - это наука о естественных и искусственных информационных процессах. NSF назначил его заслуженным научным сотрудником [18]в 2007 году, чтобы начать движение за использование концепции Великих принципов для инноваций в образовании и исследованиях. В 2009 году группа SIGCSE (Специальная группа по образованию в области компьютерных наук) ACM отметила его вклад наградой за пожизненную службу. [19]

Юмор [ править ]

Деннинг - заядлый игрок, который часто использует юмор, чтобы добиться успеха. Примеры: [20] [21]

  • Специальная секция первоапрельских дураков (когда он был редактором), ACM Communications (апрель 1984).
  • Об активном и пассивном письме , трактат, призывающий студентов писать активным голосом.
  • Повесть о двух островах . Басня о споре теории массового обслуживания по поводу оперативного анализа. Впервые опубликовано в 1991 г. Приведено в качестве приложения к обзору оперативного анализа за 2006 г. [22]

Цитаты [ править ]

  • Вычисление - это принцип; компьютер - это инструмент.
  • Все слова свободны. Это просто последствия, которые вас достают.
  • Просьба не в словах, которые вы говорите. Это в том, чтобы слушать тех, кто вас слышит.
  • После многих лет попыток заставить компьютеры думать, как мозг, исследователи ИИ получили мозг, который думает, что они компьютеры.
  • Локальность - это принцип природы. Кеширование работает, потому что наш мозг систематизирует информацию по местам.
  • Инновации - это не новые блестящие идеи; это новая практика, принятая сообществом.
  • Солидарность, а не программное обеспечение, порождает сотрудничество.

Публикации [ править ]

Деннинг является автором или редактором 340 технических статей и одиннадцати книг. [23] Книги, подборка:

  • 1973, с Эдом Коффманом. Теория операционных систем . Прентис-Холл.
  • 1978, с Джеком Деннисом и Джо Квалицем. Машины, языки и вычисления . Прентис-Холл.
  • 1997, с Бобом Меткалфом (ред.). За гранью вычислений: следующие 50 лет вычислений . Книги Коперника.
  • 2001. Невидимое будущее: бесшовная интеграция технологий в повседневную жизнь. Макгроу-Хилл.
  • 2010. Путь новатора: основные практики для успешных инноваций. MIT Press.
  • 2015. Великие принципы вычислений. MIT Press.
  • 2019, с Матти Тедре. Вычислительное мышление. MIT Press.

Статьи, подборка:

  • 1968. "Модель рабочего набора для поведения программы". ACM Communications (май). [24]
  • 1970. «Виртуальная память». ACM Computing Surveys (сентябрь). [25]
  • 1970. «Взбучка: причины и профилактика». [26]
  • 1976. «Отказоустойчивые операционные системы». Опросы ACM Computing (декабрь) [27]
  • 1978 г. с Джеффом Бузеном. «Оперативный анализ моделей сетей массового обслуживания». ACM Computing Surveys (сентябрь). [28]
  • 1980. «Рабочие наборы прошлого и настоящего». Из IEEE Transactions Software Engineering , январь 1980 г. [29]
  • 1984, с Робертом Брауном. "Операционные системы". Выпуск журнала Scientific American о программном обеспечении.
  • 1990, с Уолтером Тихи. «Высокопараллельные вычисления». Журнал " Наука" , ноябрь.
  • 1992. «Воспитание нового инженера». ACM Communications (декабрь). [30]
  • 2006. «Принцип локальности». Глава в коммуникационных сетях и системах (Дж. Баррия, ред.). Imperial College Press. [31]
  • 2007. «Вычислительная техника - это естественная наука». ACM Communications (июль). [32]
  • 2009, с Питером Фрименом. «Компьютерная парадигма». ACM Communications (декабрь). [33]
  • 2010, с Фернандо Флоресом и Питером Лусмором. «Организация координации в плюралистических сетях». ACM Communications (март). [34]

Личная жизнь [ править ]

Он женился на Дороти Э. Деннинг в 1974 году, известном эксперте по компьютерной безопасности.

Ссылки [ править ]

  1. ^ "NPS vita для Питера Дж. Деннинга" .
  2. ^ The Innovator's Way: Essential Practices for Successful Innovation , MIT Press (2010).
  3. ^ Питер Дж. Деннинг - ACM 40 лет 2007 . Cs.gmu.edu (1959-04-12). Проверено 21 февраля 2014.
  4. ^ "РСМД" . Архивировано из оригинала 9 февраля 2017 года . Проверено 4 мая 2020 года .
  5. Ядро информационных технологий. Архивировано 8 января 2008 г., в Wayback Machine.
  6. ^ Великие принципы вычислений
  7. ^ Цебровский Институт инноваций и информационного превосходства
  8. ^ специальная награда
  9. ^ полный список .
  10. ^ Американский журнал ученых
  11. ^ Столбцы "ИТ-профессия"
  12. Перейти ↑ Denning, PJ (1970). "Виртуальная память". ACM Computing Surveys . 2 (3): 153–189. DOI : 10.1145 / 356571.356573 . S2CID 4474893 . 
  13. Перейти ↑ Denning, PJ (1968). «Модель рабочего набора для поведения программы». Коммуникации ACM . 11 (5): 323–333. DOI : 10.1145 / 363095.363141 . S2CID 207669410 .  рабочий набор бумаги]
  14. ^ "Премия Зала славы SIGOPS" . Архивировано из оригинального 15 апреля 2017 года . Проверено 5 февраля 2008 года .
  15. ^ Деннинг, П.Дж.; Раус, Б. (1995). «План электронных публикаций ACM». Коммуникации ACM . 38 (4): 97–109. DOI : 10.1145 / 205323.205348 . S2CID 20725285 .  План электронных публикаций ACM
  16. ^ черновик рамки
  17. ^ Деннинг, П.Дж.; Данэм, Р. (2006). «Инновация как языковое действие» (PDF) . Коммуникации ACM . 49 (5): 47. DOI : 10,1145 / 1125944,1125974 . ЛВП : 10945/35506 . S2CID 15179720 .   восемь основополагающих практик инноваций
  18. ^ Заслуженный научный сотрудник
  19. ^ Награда за пожизненное обслуживание SIGCSE
  20. Перейти ↑ Denning, PJ (1981). «Письмо президента ACM: паскинад предсказаний Пеккан». Коммуникации ACM . 24 (12): 793–794. DOI : 10.1145 / 358800.358801 . S2CID 7302785 .  Паскинад мрачных предсказаний
  21. Перейти ↑ Denning, PJ (1982). «Письмо президента ACM: компьютерное прогнозирующее письмо». Коммуникации ACM . 25 (5): 315–316. DOI : 10.1145 / 358506.358510 . S2CID 40157656 .  Предиктивный написание с помощью компьютера
  22. ^ «Оперативный анализ». В моделирование производительности компьютерных систем в перспективе (Э. Геленбе, ред.), Imperial College Press (2006), 21-33.
  23. ^ http://denninginstitute.com/pjd/PUBS/pub-list.pdf
  24. Перейти ↑ Denning, PJ (1968). «Модель рабочего набора для поведения программы» (PDF) . Коммуникации ACM . 11 (5): 323–333. DOI : 10.1145 / 363095.363141 . S2CID 207669410 .  
  25. Перейти ↑ Denning, PJ (1970). "Виртуальная память". ACM Computing Surveys . 2 (3): 153–189. DOI : 10.1145 / 356571.356573 . S2CID 4474893 . 
  26. Перейти ↑ Denning, PJ (1968). «Обмолачивание». Материалы осенней совместной компьютерной конференции 9-11 декабря 1968 г., часть I - AFIPS '68 (осень, часть I) . п. 915. DOI : 10,1145 / 1476589,1476705 . S2CID 15984168 . 
  27. Перейти ↑ Denning, PJ (1976). «Отказоустойчивые операционные системы». ACM Computing Surveys . 8 (4): 359–389. DOI : 10.1145 / 356678.356680 . S2CID 207736773 . 
  28. ^ Деннинг, П.Дж.; Buzen, JP (1978). «Оперативный анализ моделей сетей массового обслуживания». ACM Computing Surveys . 10 (3): 225–261. CiteSeerX 10.1.1.519.5249 . DOI : 10.1145 / 356733.356735 . S2CID 5584875 .  
  29. ^ http://denninginstitute.com/pjd/PUBS/WSPastPresent_1980.pdf
  30. Перейти ↑ Denning, PJ (1992). «Воспитание нового инженера». Коммуникации ACM . 35 (12): 82–97. DOI : 10.1145 / 138859.138870 . S2CID 18878340 . 
  31. ^ Microsoft Word - locality_v3.doc . (PDF). Проверено 21 февраля 2014.
  32. Перейти ↑ Denning, PJ (2007). «Вычислительная техника - это естественная наука». Коммуникации ACM . 50 (7): 13–18. DOI : 10.1145 / 1272516.1272529 . ЛВП : 10945/35492 . S2CID 20045303 . 
  33. ^ Деннинг, П.Дж.; Фриман, Пенсильвания (2009). «Парадигма профессии ITComputing». Коммуникации ACM . 52 (12): 28. DOI : 10,1145 / 1610252,1610265 . ЛВП : 10945/35483 . S2CID 19544012 . 
  34. ^ Деннинг, П.Дж.; Флорес, Ф .; Лусмор, П. (2010). «Организация координации в плюралистических сетях». Коммуникации ACM . 53 (3): 30. DOI : 10,1145 / 1666420,1666434 . ЛВП : 10945/35502 . S2CID 18264746 . 

Внешние ссылки [ править ]

  • Сайт Великих Принципов .
  • Книжный сайт " Искусство операционных систем" .
  • CS Unplugged , рабочее приложение принципов в образовании.
  • Цифровая библиотека ACM
  • Питер Дж. Деннинг, устное историческое интервью , 10 апреля 2013 г. Институт Чарльза Бэббиджа , Университет Миннесоты
  • Питер Дж. Деннинг, устное историческое интервью , 6–8 августа 2007 г. Association for Computing Machinery