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