Résumé

  • Dans CES, actions atomiques, verrous et piles de versions protégeaient l’état du document contre la concurrence et les pannes.
  • Un commit propre ne conservait ni la raison d’une modification, ni la perception commune du travail en cours, ni la légitimité de celui qui devait décider.

Le verrou silencieux

Un auteur s’interrompt pour répondre au téléphone. Il ne tape plus, mais conserve le verrou du nœud. Ailleurs, un coauteur attend pour reprendre le même passage.

Le papier de 1985 consacré au Collaborative Editing System traite cette scène comme un problème de conception. Son « tickle lock » pouvait être libéré après une période d’inactivité lorsqu’un autre auteur réclamait le nœud. Le document n’était donc pas immobilisé pour toujours par une absence accidentelle.

La règle savait constater l’inactivité. Elle ignorait pourquoi le premier auteur s’était arrêté, si sa phrase était achevée, ou si le second avait de bonnes raisons de la remplacer. Elle ordonnait l’accès à une ressource; elle ne tranchait pas la relation entre deux personnes.

Irene Greif, Robert Seliger et William Weihl ont précisément choisi CES pour étudier des abstractions atomiques dans une application réelle écrite en Argus. Le résultat est précieux parce qu’il rend la frontière visible : l’état informatique pouvait être solide alors que la coopération restait à construire.

Sérialisable ne voulait pas dire simultané

CES séparait le document en plan et en nœuds, chaque nœud ayant un auteur principal. Plusieurs personnes pouvaient travailler sur des nœuds distincts; deux rédacteurs du même nœud passaient par un verrou. Les lecteurs pouvaient recevoir une copie légèrement ancienne plutôt que d’attendre toute mise à jour distante.

Le rédacteur local voyait immédiatement ses caractères. Les autres écrans n’étaient actualisés qu’à intervalles réguliers, après le commit de petites actions d’édition. Il existait donc un intervalle parfaitement normal durant lequel l’action était engagée mais invisible aux partenaires.

La sérialisabilité répondait à la question de l’ordre équivalent des actions. La récupérabilité garantissait le tout ou rien en cas de panne. La conscience collaborative demandait autre chose : savoir qui travaillait, où, et sur quelle version. CES apportait les deux premières garanties et mettait en évidence le coût propre de la troisième.

Une pile de versions sans mémoire des motifs

Les piles de versions permettaient de retrouver un état ancien et d’annuler davantage qu’une seule action. Mais elles ne conservaient pas l’argument qui avait conduit à réécrire une phrase. Un utilisateur pouvait apprendre qu’une action avait été validée alors qu’une autre machine, n’ayant pas encore reçu la décision, montrait encore la version précédente.

Cette dissociation interdit de transformer le journal transactionnel en histoire éditoriale. Le journal prouve qu’un état a succédé à un autre. L’intention exige attribution, explication et discussion. Restaurer une version n’indique pas, à lui seul, si l’on corrige une erreur ou si l’on rouvre un désaccord.

Le prototype n’était pas non plus rapide par définition. Avec trop peu de mémoire, il était inutilisable; avec assez de mémoire, utilisable mais lent. L’accès réseau au stockage stable pouvait plus que doubler le temps d’accès. Une garantie correcte mais lente modifie la conduite humaine : attendre, contourner l’outil, ou interpréter le silence comme une absence de modification.

Greif, avant et autour de CES

Dans sa thèse du MIT de 1975, Greif soutenait qu’une spécification de synchronisation devait reposer sur des ordres réalisables dans le système, non sur une horloge globale extérieure peut-être impossible à construire. Cette thèse n’a pas conçu CES et ne fait pas de tous les logiciels collaboratifs ses descendants. Elle donne toutefois une discipline : ne revendiquer que l’ordre effectivement imposé.

Le parcours institutionnel décrit par l’ACM situe Greif parmi les fondateurs du CSCW : atelier en 1984, puis première conférence en 1986. Elle a contribué à créer un champ où technique et organisation du travail pouvaient être étudiées ensemble. Dire qu’elle a « aidé à fonder » le domaine respecte mieux l’histoire que d’en faire l’unique inventrice.

Le partage du crédit reste net. Robert Seliger a développé CES; les exemples du papier viennent de son système. William Weihl a coécrit l’analyse atomique. Argus provenait du programme collectif conduit autour de Barbara Liskov. Greif relie ici sémantique de la concurrence et naissance du CSCW, sans absorber ces apports.

Cinq preuves différentes

La cohérence des données, la récupération après panne, la réponse de l’interface, la perception du travail des autres et la coordination sociale ne sont pas cinq noms pour une même réussite. Le commit peut répondre aux deux premières. Le réseau et l’interface soutiennent les deux suivantes. La dernière exige règles humaines, motifs visibles et autorité légitime.

CES n’a donc pas « échoué » à résoudre la collaboration. Il a réussi à protéger un domaine assez précisément pour que ce qu’il ne protégeait pas devienne observable.

Sources