Питер Джеймс Деннинг (родился 6 января 1942 года) — американский учёный-компьютерщик и писатель. Он наиболее известен своей новаторской работой в области виртуальной памяти , особенно изобретением модели рабочего набора для поведения программ , которая решала проблему пробуксовки в операционных системах и стала эталонным стандартом для всех политик управления памятью . Он также известен своими работами по принципам операционных систем, операционным анализом систем очередей, проектированием и реализацией CSNET , цифровой библиотеки ACM , и кодификацией великих принципов вычислений . Он написал множество влиятельных статей и книг, включая обзор фундаментальных принципов компьютерной науки, вычислительного мышления и своих мыслей об инновациях как наборе обучаемых практик.
Деннинг родился 6 января 1942 года в Квинсе, Нью-Йорк, и вырос в Дариене, Коннектикут . Он рано заинтересовался наукой, изучая астрономию, ботанику, радио и электронику, пока учился в начальной школе. В Fairfield Prep он представлял на научной ярмарке компьютеры собственного производства в 1958, 1959 и 1960 годах. Его второй компьютер, который решал линейные уравнения с использованием деталей пинбольного автомата, выиграл главный приз. [3]
Он учился в Манхэттенском колледже , где получил степень бакалавра в области электротехники (1964), а затем в Массачусетском технологическом институте (MIT) для получения степени доктора философии (1968). В Массачусетском технологическом институте он работал над проектом MAC и внес вклад в разработку новаторской операционной системы Multics . Его докторская диссертация «Распределение ресурсов в многопроцессорных компьютерных системах» представила основополагающие идеи в рабочих наборах , локальности, перегрузке и системном балансе. [2]
В Принстонском университете с 1968 по 1972 год Деннинг написал свою классическую книгу « Теория операционных систем» (1973) совместно с Э. Г. Коффманом . Он сотрудничал с Альфредом Ахо и Джеффри Ульманом над доказательствами оптимальности для алгоритмов страничного обмена и над простым доказательством того, что компиляторам, основанным на разборе приоритетов, не нужно возвращаться . В Университете Пердью (1972–1983) он руководил многочисленными докторскими диссертациями, подтверждающими локально-ориентированные теории управления памятью и расширяющими новую математику операционного анализа сетей очередей. Он стал соучредителем CSNET . Он стал заведующим кафедрой в 1979 году и завершил еще одну книгу о вычислительных моделях, «Машины, языки и вычисления» , совместно с Джеком Деннисом и Джо Куалитцем.
Работая в NASA Ames с 1983 по 1991 год, он основал Научно-исследовательский институт передовой компьютерной науки (RIACS) [4] и превратил его в один из первых центров междисциплинарных исследований в области вычислительной и космической науки.
В Университете Джорджа Мейсона с 1991 по 2002 год он возглавлял факультет компьютерных наук, был заместителем декана и вице-проректором, а также основал Центр для новых инженеров. Центр был пионером в области веб-обучения. Он создал курс по проектированию для инженеров под названием Sense 21 , который стал основой его проекта по пониманию инноваций как навыка. Он создал курс по основам информационных технологий [5] , который стал основой его проекта Great Principles of Computing. [6]
С 2002 года он работает в Военно-морской аспирантуре , где возглавляет кафедру компьютерных наук и руководит Институтом инноваций и информационного превосходства имени Цебровски. [7] Он возглавлял совет факультета.
Деннинг непрерывно работал добровольцем в Ассоциации вычислительной техники (ACM) с 1967 года. За это время он был президентом, вице-президентом, тремя председателями правления, членом по особым поручениям, редактором ACM Computing Surveys и редактором ежемесячного ACM Communications . Он получил семь наград ACM за службу, технический вклад и образование. ACM вручила ему специальную награду [8] в июне 2007 года в знак признания 40 лет непрерывной службы.
Деннинг получил 26 наград за заслуги и технический вклад. В их число входят одна награда за качество обслуживания клиентов, три стипендии профессионального общества, три почетные степени, шесть наград за технический вклад, шесть за выдающиеся заслуги и семь за образование. [9]
Карьера Деннинга была поиском фундаментальных принципов в различных подобластях вычислений. Он много пишет. С 1980 по 1982 год он написал 24 колонки в качестве президента ACM, сосредоточившись на технических и политических вопросах этой области. С 1985 по 1993 год он написал 47 колонок на тему «Наука вычислений» для журнала American Scientist [10] , сосредоточившись на научных принципах из всех областей. Начиная с 2001 года он пишет ежеквартальные колонки «IT Profession» [11] для Communications of the ACM , сосредоточившись на принципах, представляющих ценность для практикующих профессионалов.
В 1970 году он опубликовал классическую статью, в которой представил научную основу виртуальной памяти и подтверждающие ее научные доказательства, положив конец спорам о стабильности и производительности виртуальной памяти. [12]
В 1966 году он предложил рабочий набор как динамическую меру потребности в памяти и объяснил, почему он функционирует, используя идею локальности, предложенную Лесом Белади из IBM . Его работа о рабочем наборе [13] стала классической. Она получила награду ACM Best paper award в 1968 году и награду SIGOPS Hall of Fame Award [14] в 2005 году.
В начале 1970-х годов он сотрудничал с Эдом Коффманом-младшим над книгой «Теория операционных систем» , которая стала классическим учебником, используемым в аспирантуре, и оставалась в печати до 1995 года. Эта книга помогла развеять сомнения в том, что к области операционных систем можно подходить как к науке.
В середине 1970-х годов он сотрудничал с Джеффри Бузеном в области операционного анализа, расширяя основные операционные законы Бузена для работы со всеми сетями очередей. Операционная структура объясняла, почему модели производительности компьютеров работают так хорошо, хотя и нарушают традиционные стохастические марковские предположения. Она стала предпочтительным методом для обучения прогнозированию производительности в компьютерных курсах.
В начале 1980-х годов он был одним из четырех главных исследователей-основателей Computer Science Network (CSNET), спонсируемой Национальным научным фондом . Другими тремя были Дэйв Фарбер , Ларри Ландвебер и Тони Хирн. Они руководили разработкой полностью самодостаточной сети сообщества CS, которая к 1986 году включала 165 сайтов и 50 000 пользователей. CSNET была ключевым переходным этапом от первоначального ARPANET к NSFNET , а затем к Интернету . [15] В 2009 году Internet Society наградило CSNET своей престижной премией Джона Постела , признав ее ключевую роль в переходе от ARPANET к NSFNET.
Деннинг руководил проектом ACM Digital Library в 1992-97 годах, который был запущен в 1997 году. Ассоциация вычислительной техники стала первым профессиональным обществом, предложившим полностью доступную для поиска библиотеку всего, что она когда-либо публиковала. [16]
В 1999 году Деннинг расширил поиск фундаментальных принципов, чтобы охватить все вычисления. Открытие естественных информационных процессов в биологии, физике, экономике, материалах и других областях убедило его, что основные определения вычислений должны быть изменены, чтобы охватить как естественные информационные процессы, так и искусственные. Он и его команда создали проект структуры. [17]
Структура Великих принципов показала, что «инновации» являются основной практикой вычислений. Не найдя никого, кто понимал бы, как научить навыкам инноваций, он объединился с Бобом Данхэмом и определил восемь основополагающих практик инноваций. [18] В 2011 году они опубликовали «Путь инноватора» , книгу, в которой изложены восемь основных практик успешных инноваций. [19]
В 2015 году он и Крейг Х. Мартелл совместно написали книгу «Великие принципы вычислений» — небольшой том, в котором обобщены принципы компьютерной науки, которые являются основополагающими для всех технологий, в форме, доступной для студентов, изучающих компьютерные науки, а также для тех, кто ищет читабельный обзор этой области. [20]
В 2019 году он и Матти Тедре опубликовали книгу «Вычислительное мышление» в рамках серии кратких книг «MIT Press Essential Knowledge», в которой дается обзор того, что такое вычислительное мышление и его применение в научной мысли и исследованиях. [21]
Деннинг оказал большое влияние на компьютерное образование. В начале 1970-х годов он возглавил целевую группу, которая разработала первый основной курс по принципам операционных систем (ОС). ОС стал первым основным курсом ИС, который не был сосредоточен на чистой математической теории, хотя все еще свободно использовал математику по мере необходимости. В середине 1980-х годов он возглавил совместный комитет ACM/IEEE, который описал вычисления как дисциплину с девятью основными функциональными областями и тремя когнитивными процессами, основу учебной программы ACM 1991 года. В 1990-х годах он приступил к поискам по кодификации великих принципов вычислений.
Деннинг утверждает, что вычисления — это наука как естественных, так и искусственных информационных процессов. В 2007 году NSF назначил его выдающимся научным сотрудником [22] , чтобы начать движение по использованию фреймворка Great Principles для инноваций в образовании и исследованиях. В 2009 году SIGCSE (Special Interest Group on Computer Science Education) ACM отметила его вклад своей пожизненной наградой за службу. [23]
Деннинг — заядлый каламбурщик, который часто использует юмор, чтобы донести свою точку зрения. Примеры: [24] [25]
Деннинг является автором или редактором 340 технических статей и одиннадцати книг. [28] Книги, подборка:
Статьи, подборка:
В 1974 году он женился на Дороти Э. Деннинг , известном эксперте по компьютерной безопасности.