Кратко

  • Атомарные действия, блокировки и стеки версий обеспечивали CES сериализацию, восстановление после сбоев и отмену последовательности правок.
  • Фиксация подтверждала чистое состояние системы, но не сохраняла причину правки, не гарантировала видимость для соавторов и не разрешала спор о законном редакторском решении.

Телефонный звонок и оставшаяся блокировка

Автор прерывает набор, чтобы ответить на звонок. Узел документа остаётся заблокирован. В другом месте соавтор ждёт возможности изменить тот же фрагмент.

В CES для этой ситуации появился «tickle lock». Если владелец долго бездействовал и другой автор запрашивал доступ, блокировку можно было снять. Случайная пауза не должна была навсегда замораживать общий документ.

Механизм измерял бездействие, но не понимал его смысла. Он не знал, закончено ли предложение, почему человек отошёл и понял ли следующий редактор незавершённую мысль. Машина упорядочивала доступ к ресурсу, а не отношения между людьми.

Irene Greif, Robert Seliger и William Weihl исследовали новые атомарные типы именно в реальном приложении на Argus. Эксперимент ценен точностью границы: состояние можно восстановить, даже когда взаимное понимание не восстанавливается.

Общая фиксация не означала общего экрана

CES представляла документ как план и набор узлов с основными авторами. На разных узлах люди могли работать параллельно; запись в один узел сериализовалась блокировкой. Читатели могли получить слегка устаревшую копию, не ожидая всех удалённых обновлений.

Локальный автор видел символы сразу. Остальные экраны обновлялись с интервалами после фиксации небольших действий. Поэтому изменение уже могло быть committed, пока партнёр всё ещё смотрел на прежнее, внутренне корректное состояние.

Сериализуемость отвечает за эквивалентный порядок действий. Восстанавливаемость — за принцип «всё или ничего». Совместная осведомлённость отвечает на другой вопрос: когда люди видят работу друг друга. CES прямо обеспечивала первые две характеристики и показывала, что третья имеет собственную задержку.

Стек версий не помнил мотив

Стек версий позволял получить прежнее состояние и отменить больше одного действия. Но он не хранил, зачем переписали абзац и какую альтернативу отвергли. В статье описан случай, когда один пользователь уже знает о фиксации, а другая машина ещё показывает старую версию, потому что решение до неё не дошло.

Транзакционный журнал доказывает последовательность состояний, а не редакторский замысел. Для замысла нужны авторство, объяснение и обсуждение.

Быстродействие тоже устанавливало границу. При нехватке памяти прототип был непригоден, при достаточной памяти — пригоден, но медленен. Сетевой доступ к устойчивому хранилищу мог более чем удвоить время. Задержка не отменяет атомарность, однако меняет человеческое поведение: люди ждут, обходят инструмент или принимают тишину экрана за отсутствие чужой работы.

Утверждать только порядок, который система может обеспечить

В диссертации MIT 1975 года Greif требовала описывать синхронизацию через порядки, выводимые внутри системы, а не через внешние глобальные часы, которые могут оказаться нереализуемыми. Диссертация не проектировала CES и не была единственным истоком groupware. Она задаёт дисциплину: локальный порядок нельзя превращать во всеобщее обещание.

Институциональная история ACM называет Greif одной из основательниц CSCW: от семинара 1984 года до первой конференции 1986 года. Она помогла создать область, где техническую координацию изучают вместе с человеческой работой, но не была единственным изобретателем.

Границы заслуг остаются явными. Robert Seliger разработал CES и дал примеры для анализа; William Weihl был соавтором исследования атомарных типов; Argus возник в более широкой программе Barbara Liskov и её команды. Центральная роль Greif не поглощает эти вклады.

Пять границ вместо одного вердикта

Целостность данных, восстановление после сбоя, отклик интерфейса, осведомлённость о работе других и социальная координация требуют разных доказательств. Фиксация покрывает первые два. Сеть и интерфейс поддерживают следующие. Последнему нужны человеческие правила, объяснения и законная власть.

Историческая ценность CES не требует объявлять её предком всех современных редакторов. Система точнее показывает другое: корректная операция может сосуществовать с незавершённым сотрудничеством.

Источники