Эдвард Коффман мл

Эдвард Коффман мл. (англ. Edward Coffman Jr.; 17 января 1929 — 16 сентября 2006) — американский математик и учёный в области компьютерных наук, один из пионеров теории массового обслуживания и создатель первых моделей систем с разделением времени (time-sharing). Наиболее известен как соавтор (совместно с Леонардом Клейнроком) первой математической модели коммутации пакетов, которая легла в основу современных компьютерных сетей, включая Интернет.

Биография

Ранние годы и образование

Эдвард Коффман мл. родился 17 января 1929 года в Лос-Анджелесе, штат Калифорния. В 1951 году он получил степень бакалавра по математике в Калифорнийском университете в Лос-Анджелесе (UCLA). В 1953 году там же защитил магистерскую диссертацию. В 1958 году Коффман получил докторскую степень (Ph.D.) по математике в Калифорнийском технологическом институте (Caltech), где его научным руководителем был известный математик и физик Ричард Беллман.

Карьера

После защиты диссертации Коффман работал в нескольких исследовательских и образовательных учреждениях:

• 1958–1964 — сотрудник Лаборатории реактивного движения (JPL) при Калифорнийском технологическом институте, где занимался моделированием систем управления и обработки данных.
• 1964–1966 — профессор математики в Университете Южной Калифорнии (USC).
• 1966–1970 — профессор электротехники и компьютерных наук в Принстонском университете.
• 1970–1999 — профессор компьютерных наук в Калифорнийском университете в Санта-Барбаре (UCSB), где основал и возглавлял лабораторию системного моделирования и анализа.

В 1999 году вышел на пенсию, но продолжал активную научную деятельность до конца жизни. Скончался 16 сентября 2006 года в Санта-Барбаре, Калифорния.

Научный вклад

Теория массового обслуживания и системы с разделением времени

В 1960-х годах Коффман одним из первых применил математический аппарат теории массового обслуживания к анализу вычислительных систем. В 1967 году он опубликовал монографию «Теория массового обслуживания и компьютерные системы» (Queueing Theory and Computer Systems), которая стала классическим учебником для нескольких поколений специалистов. В этой работе он ввёл модели очередей для процессоров, дисковых накопителей и каналов связи, а также разработал методы анализа производительности систем с разделением времени (time-sharing), где несколько пользователей одновременно получают доступ к одному компьютеру.

Модель коммутации пакетов

Наиболее значимым результатом Коффмана стала совместная работа с Леонардом Клейнроком, опубликованная в 1972 году в журнале «IEEE Transactions on Communications». В этой статье они впервые математически описали процесс передачи данных в виде пакетов, которые могут передаваться по разным маршрутам и собираться в исходном порядке на стороне получателя. Модель Коффмана-Клейнрока включала:

• Формальное определение пакета как минимальной единицы передачи.
• Анализ задержек в очередях на узлах сети.
• Оценку вероятности потери пакетов при перегрузках.
• Доказательство эффективности пакетной коммутации по сравнению с традиционной коммутацией каналов.

Эта работа стала теоретической основой для протоколов TCP/IP и архитектуры Интернета.

Алгоритмы планирования и управления задачами

Коффман внёс вклад в теорию алгоритмов планирования (scheduling) в операционных системах. В 1970-х годах он разработал несколько алгоритмов, включая:

• Алгоритм Коффмана-Грэма — метод минимизации времени выполнения параллельных задач на многопроцессорных системах.
• Алгоритм Коффмана-Эль-Ревайни — метод оптимального распределения ресурсов в системах с разделением времени.

Эти алгоритмы используются до сих пор в планировщиках современных операционных систем (Linux, Windows) и в системах управления базами данных.

Анализ производительности и моделирование

В 1980-1990-х годах Коффман занимался разработкой методов анализа производительности компьютерных сетей и систем хранения данных. Он создал несколько моделей для оценки времени отклика, пропускной способности и надёжности сетей. В 1992 году он опубликовал книгу «Анализ производительности компьютерных сетей» (Performance Analysis of Computer Networks), которая стала стандартным справочником для инженеров.

Основные труды

• 1967 — «Queueing Theory and Computer Systems» (Теория массового обслуживания и компьютерные системы).
• 1972 — «On the Design of a Packet-Switching Network» (О проектировании сети с коммутацией пакетов, совместно с Л. Клейнроком).
• 1982 — «Scheduling Algorithms for Multiprogrammed Systems» (Алгоритмы планирования для мультипрограммных систем).
• 1992 — «Performance Analysis of Computer Networks» (Анализ производительности компьютерных сетей).
• 2003 — «The Mathematics of Packet Switching» (Математика коммутации пакетов, посмертное издание).

Награды и признание

• 1976 — Премия IEEE за выдающийся вклад в теорию массового обслуживания.
• 1985 — Избран членом IEEE (IEEE Fellow) за вклад в анализ производительности вычислительных систем.
• 1990 — Премия ACM SIGMETRICS за достижения в области моделирования и анализа производительности.
• 2001 — Награда ACM SIGCOMM за пожизненный вклад в развитие сетевых технологий.
• 2005 — Введён в Зал славы Интернета (Internet Hall of Fame) посмертно в 2014 году.

Влияние на развитие компьютерных наук

Работы Коффмана оказали прямое влияние на создание и развитие:

• Интернета — модель коммутации пакетов стала основой протоколов TCP/IP.
• Операционных систем — алгоритмы планирования задач используются в большинстве современных ОС.
• Теории очередей — методы Коффмана применяются в логистике, телекоммуникациях и производственных системах.
• Облачных вычислений — модели распределения ресурсов и управления нагрузкой базируются на его работах.

Интересные факты

• Коффман был не только теоретиком, но и практиком: в 1970-х годах он участвовал в разработке первой версии операционной системы Unix в Bell Labs, где консультировал Кена Томпсона и Денниса Ритчи по вопросам планирования процессов.
• В 1990-х годах он работал консультантом в компании Cisco Systems, помогая оптимизировать маршрутизаторы и коммутаторы.
• Его книга «Queueing Theory and Computer Systems» была переведена на русский язык в 1972 году и использовалась в советских вузах для подготовки инженеров-вычислителей.

Источники

• IEEE Transactions on Communications, 1972, «On the Design of a Packet-Switching Network».
• Edward G. Coffman Jr., «Queueing Theory and Computer Systems», 1967.
• ACM SIGCOMM, «Edward G. Coffman Jr. — Internet Hall of Fame», 2014.
• Некролог в журнале «IEEE Computer», 2007, том 40, № 1.
• Биографические данные из архива Калифорнийского университета в Санта-Барбаре.