Дэвид Ломет

Дэвид Ломет (англ. David Lomet) — американский учёный в области информатики, специалист по системам управления базами данных (СУБД), обработке транзакций и отказоустойчивым системам. Наиболее известен как один из создателей метода восстановления баз данных ARIES (Algorithm for Recovery and Isolation Exploiting Semantics), а также как разработчик концепции «логического восстановления» (logical undo) и алгоритмов для работы с временными и пространственными данными.

Биография

Сведения о ранних годах жизни Дэвида Ломета в открытых источниках ограничены. Известно, что он получил степень бакалавра по математике в Массачусетском технологическом институте (MIT) в 1965 году. Затем, в 1969 году, он защитил докторскую диссертацию (Ph.D.) по информатике в Гарвардском университете. Тема его диссертации была связана с автоматическим доказательством теорем и формальными методами.

После защиты Ломет работал в исследовательском центре корпорации IBM (IBM Thomas J. Watson Research Center) в Йорктаун-Хайтс, штат Нью-Йорк. В IBM он проработал большую часть своей карьеры, с 1969 по 2005 год, пройдя путь от научного сотрудника до менеджера исследовательской группы. В 2005 году он вышел на пенсию, но продолжил активную научную деятельность в качестве приглашённого профессора и консультанта.

Основные научные достижения

ARIES (1992)

Наиболее значимый вклад Ломета в науку — алгоритм восстановления ARIES, разработанный им совместно с Моханом (C. Mohan) и другими коллегами из IBM. ARIES (Algorithm for Recovery and Isolation Exploiting Semantics) стал стандартом де-факто для реализации механизмов восстановления после сбоев в транзакционных системах, включая реляционные СУБД (например, IBM DB2, Microsoft SQL Server, Oracle Database). Основные принципы ARIES:

• Журналирование с упреждающей записью (Write-Ahead Logging, WAL): перед тем как изменить страницу данных на диске, запись об изменении должна быть записана в журнал.
• Повтор (Redo) и откат (Undo): при восстановлении система сначала повторяет все операции, зафиксированные в журнале (Redo), а затем откатывает незавершённые транзакции (Undo).
• Логическое восстановление (Logical Undo): при откате транзакции используются не физические адреса страниц, а логические операции, что позволяет корректно обрабатывать сложные структуры данных (например, B-деревья).

Работа «ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging» (1992) имеет более 4000 цитирований и является одной из самых цитируемых публикаций в области баз данных.

Временные и пространственные базы данных

Ломет внёс вклад в теорию и практику временных баз данных (temporal databases), которые хранят информацию с учётом времени её актуальности. Он разработал методы индексации и запросов для данных, изменяющихся во времени, например, алгоритмы для работы с «кубами времени» (time cubes) и «мгновенными снимками» (snapshots). В области пространственных данных (spatial databases) он предложил эффективные структуры для хранения и поиска геометрических объектов (например, R-деревья и их варианты).

Отказоустойчивые системы и транзакции

Ломет исследовал проблемы согласованности данных в распределённых системах. Он участвовал в разработке протоколов двухфазного и трёхфазного фиксации транзакций (2PC, 3PC), а также методов обработки распределённых транзакций с гарантией атомарности. В 1990-х годах он работал над системами с «мягким» восстановлением (soft recovery), позволяющими минимизировать время простоя после сбоя.

Публикации и признание

Дэвид Ломет является автором или соавтором более 100 рецензируемых научных статей. Наиболее известные работы:

• «ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging» (1992, с соавторами).
• «The Ubiquitous B-Tree» (1979) — обзорная статья, ставшая классическим введением в B-деревья.
• «Temporal and Spatial Data Management» (1998) — монография по временным и пространственным базам данных.

В 2004 году Ломет был удостоен звания почётного члена (Fellow) Ассоциации вычислительной техники (ACM) за вклад в системы управления базами данных и обработку транзакций. Он также является членом IEEE.

Педагогическая деятельность

После ухода из IBM Ломет преподавал в нескольких университетах, в том числе в Университете Вашингтона и Университете штата Нью-Йорк в Стоуни-Брук. Он читал курсы по проектированию СУБД, восстановлению после сбоев и распределённым системам. Его лекции отличались практической направленностью и акцентом на реализацию алгоритмов в промышленных системах.

Критика и влияние

Метод ARIES, несмотря на свою широкую распространённость, подвергался критике за сложность реализации и высокие накладные расходы на журналирование. В некоторых современных системах (например, в NoSQL-базах данных) используются более лёгкие подходы к восстановлению, такие как «ленивое» (lazy) восстановление или использование снимков состояния (snapshots). Однако ARIES остаётся эталоном для систем, требующих строгой согласованности и поддержки транзакций ACID.

Влияние Ломета на индустрию баз данных трудно переоценить. Его работы легли в основу механизмов восстановления в таких продуктах, как IBM DB2, Microsoft SQL Server, Oracle Database, PostgreSQL (частично) и многих других. Принципы ARIES также используются в некоторых файловых системах (например, NTFS) и системах управления версиями.

Источники

• Mohan, C., Haderle, D., Lindsay, B., Pirahesh, H., & Schwarz, P. (1992). ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Transactions on Database Systems, 17(1), 94–162.
• Lomet, D. (1979). The Ubiquitous B-Tree. ACM Computing Surveys, 11(2), 121–137.
• Lomet, D., & Salzberg, B. (1998). Temporal and Spatial Data Management. Springer.
• Gray, J., & Reuter, A. (1993). Transaction Processing: Concepts and Techniques. Morgan Kaufmann. (Глава, посвящённая ARIES).
• ACM Fellow Profile: David Lomet. (2004). Association for Computing Machinery.