Эрик Брюер

Эрик Брюер (англ. Eric Brewer; род. 1967) — американский учёный в области информатики, профессор Калифорнийского университета в Беркли. Наиболее известен как один из создателей поисковой системы Inktomi, а также как автор теоремы CAP (теоремы Брюера), которая описывает фундаментальные ограничения распределённых систем хранения данных. Внёс значительный вклад в развитие веб-технологий, облачных вычислений и высокопроизводительных вычислительных систем.

Биография

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

Эрик Брюер родился в 1967 году. Получил степень бакалавра наук по электротехнике и информатике в Массачусетском технологическом институте (MIT) в 1989 году. В 1994 году защитил докторскую диссертацию (Ph.D.) по информатике в MIT, где его научным руководителем был Уильям Вейль. Тема диссертации была посвящена методам построения масштабируемых многопроцессорных систем.

Научная и предпринимательская деятельность

После защиты диссертации Брюер перешёл на факультет информатики Калифорнийфорнийского университета в Беркли, где с 1996 года является профессором. В 1996 году вместе с Полом Готье (Paul Gauthier) основал компанию Inktomi Corporation, которая разрабатывала одну из первых крупномасштабных поисковых систем для интернета. Inktomi стала одной из ведущих поисковых платформ конца 1990-х годов, обслуживая такие порталы, как Yahoo!, AOL и MSN. В 2002 году компания была продана компании Yahoo! за 235 миллионов долларов.

В 2000 году Брюер сформулировал теорему CAP (также известную как теорема Брюера), которая стала одной из основополагающих в теории распределённых систем. Теорема утверждает, что в распределённой системе невозможно одновременно обеспечить все три свойства: согласованность (Consistency), доступность (Availability) и устойчивость к разделению (Partition tolerance). Это утверждение оказало огромное влияние на проектирование современных баз данных и облачных сервисов, включая системы NoSQL.

В 2008 году Брюер основал компанию Quanta Technology, занимавшуюся разработкой высокопроизводительных вычислительных кластеров. В 2012 году он стал главным научным сотрудником (Chief Scientist) в компании Google, где работал над проектами, связанными с облачными вычислениями и инфраструктурой. В 2019 году он покинул Google и вернулся к активной академической деятельности.

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

Эрик Брюер является членом Национальной инженерной академии США (2015). В 2019 году он был удостоен премии ACM SIGOPS Hall of Fame Award за вклад в развитие операционных систем. Его работы цитируются в тысячах научных статей, а теорема CAP входит в обязательные программы курсов по распределённым системам во всём мире.

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

Теорема CAP (теорема Брюера)

Теорема CAP, сформулированная Эриком Брюером в 2000 году, является фундаментальным результатом в теории распределённых вычислений. Она гласит, что в любой распределённой системе хранения данных невозможно одновременно гарантировать все три следующих свойства:

• Согласованность (Consistency): все узлы системы в любой момент времени видят одни и те же данные.
• Доступность (Availability): каждый запрос к системе получает ответ (успешный или об ошибке), даже если некоторые узлы вышли из строя.
• Устойчивость к разделению (Partition tolerance): система продолжает работать, даже если связь между её узлами временно нарушена (например, из-за обрыва сети).

Брюер доказал, что разработчики распределённых систем должны выбирать только два из трёх свойств, жертвуя третьим. Например, системы, ориентированные на высокую доступность (AP), могут выдавать устаревшие данные, а системы, ориентированные на строгую согласованность (CP), могут временно блокировать запросы при сетевых сбоях. Теорема CAP стала основой для проектирования многих современных баз данных, включая Cassandra, MongoDB, Riak и других.

Вклад в веб-технологии

Эрик Брюер был одним из пионеров в области масштабируемых веб-систем. Его работа над Inktomi показала, что можно построить поисковую систему, способную обрабатывать миллиарды запросов в день, используя кластеры недорогих серверов. Он также внёс вклад в разработку протоколов кэширования и балансировки нагрузки, которые стали стандартом для современных веб-сервисов.

Высокопроизводительные вычисления

В рамках деятельности Quanta Technology Брюер занимался созданием кластерных систем для научных расчётов и обработки больших данных. Его подходы к построению масштабируемых вычислительных инфраструктур нашли применение в проектах по моделированию климата, генетическому секвенированию и анализу физических экспериментов.

Критика и ограничения

Споры вокруг теоремы CAP

Несмотря на широкое признание, теорема CAP подвергалась критике. Некоторые исследователи указывали, что формулировка Брюера является упрощением, и что в реальных системах возможны компромиссы, не описанные в исходной теореме. В частности, в 2012 году сам Брюер уточнил, что «устойчивость к разделению» в его теореме следует понимать как способность системы работать при наличии сетевых разрывов, а не как полное игнорирование разделения. Также отмечалось, что на практике часто можно достичь «слабой согласованности» (eventual consistency), которая не является строгой, но позволяет системе сохранять доступность.

Коммерциализация Inktomi

Хотя Inktomi была успешной компанией, её продажа Yahoo! в 2002 году была воспринята некоторыми как преждевременная. Критики утверждали, что Yahoo! не смогла эффективно использовать технологии Inktomi, и в итоге потеряла лидерство на рынке поисковых систем в пользу Google. Сам Брюер впоследствии признавал, что продажа была вынужденной мерой из-за падения рынка доткомов.

Личная жизнь

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

Источники

• Brewer, E. A. (2000). "Towards robust distributed systems" (Invited Talk). Proceedings of the 19th Annual ACM Symposium on Principles of Distributed Computing (PODC).
• Gilbert, S., & Lynch, N. (2002). "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services". ACM SIGACT News.
• University of California, Berkeley. "Eric Brewer — Faculty Profile".
• ACM Digital Library. "Eric Brewer — Author Page".
• Inktomi Corporation. "History of Inktomi" (архивные материалы).