为什么Google Docs的操作转换在删除方面有误？

Question

Tried out this experiment today: opened two offline editors for a Google document. In one, I bolded the first word. In the second, I deleted it. Regardless of which client I turn on first, the word always ends up deleted.

First off, why is this the case - my understanding of operational transformation is that ordering matters? In the simple example of two people typing "a" and "b" respectively, if the server receives "a" first, it will enforce the output of "ab" by transforming the second person's "b" event into a "pass one space, then add b" event, and vice versa.

Secondly, if ordering doesn't matter, are there technical reasons as to why Google Docs has chosen to err on the side of deletion? Or are the reasons largely simplicity for users?

Answer 1

OT does not try to discern intent, it applies transformations in an order which produces a consistent result. When you apply both of those changes to a document, it does not matter which order you apply them in.

"first second" -> "first second " -> "first"

"first second" -> "first" -> "first"

In the second stream, the bold operation is performed on a zero-length string.

This is the exact same result you would get if in one of those documents you had italicized the second word: the end result would be "first second " regardless of transformation order. Delete transformation is no different.

Answer 2

Here is (5 years later I know) a graphical explanation of whats going on (which is in fact what @osma describes but graphically explained):

When you bold a string in GDocs you are actually wrapping the string into a container, presumably <strong></strong> but they may use any other syntax. For simplicity lets just say that bold'ing a string just requires a "+" at the beginning of the word. So that the text "lorem ipsum" would become lorem +ipsum and not lorem <something>ipsum<something>

1

Both Alice and Bob have the starting text "Lorem ipsum"

2

Then bob deletes "ipsum". Notice that what he sends to the server is the changeset retain(6), delete(5) . A changeset is essentially a patch, and its structure is very likely based on this library .

3

And Alice bolds "ipsum" (adding "+"). Notice that what she sends is the changeset retain(6), insert(+), retain(5)

4

Both changeset are traveling now to the server who knows nothing about these changesets yet.

5

Assuming the worst scenario: Bob's package arrives first and then the word will be deleted. (The other scenario is obvious).

6

When Alice's package arrives, it will only add a "+" to the text because what she sent is only a changeset .

7

Both texts are changesets are broadcasted to the clients. This is the first one.

8

And this is the second one.

9

After patching these changesets into the original text you end up with "Lorem +". This symbol is later erased by an common HTML clean process which eliminate any tag with the format <tag></tag> ,

To test this demo go to: http://operational-transformation.github.io/visualization.html . There you can play with the texts and packages as they are sent/received.

Answer 3

It's not a question of erring on the side of deletion.

In cases where both clients have equality valid but differing versions of truth, Google Docs must elect to uphold one version, or else force users to resolve conflicts, something that is inherently complicated and hard to explain.

Thus, "truth" for Google Docs is consistency of the document, not discernment of intent. And consistency is best more easily achieved through destruction of information - a sort of tendency to entropy.

All this is basically my semi-philosophical BS though...