Hành Trình Xây Dựng Ứng Dụng Ghi Chú Cộng Tác Thời Gian Thực Với Operational Transformation

Mở Đầu

Khái Niệm Operational Transformation (OT)

OT Có Phải Chỉ Là Đơn Giản Điều Chỉnh Vị Trí Không?

Tuy nhiên, thực tế không hề đơn giản như vậy. Tôi mất nhiều vòng lặp thử nghiệm mới có thể làm đúng hàm transform và đặc biệt là xử lý undo/redo trong môi trường cộng tác mà không làm sai lệch tài liệu hay ý định người dùng.

Các Thành Phần Chính Trong OT

Các Ví Dụ Thực Tế Về OT

Ví Dụ 1: Xử Lý Việc Chỉnh Sửa Đồng Thời Không Xung Đột

"Hello world! Bob!"



Ví Dụ 2: Xử Lý Chỉnh Sửa Đồng Thời Có Xung Đột

"Hello world cat!"



Những Thách Thức Và Bài Học Khi Tự Xây Dựng OT

Lý Do Tôi Không Dùng Thư Viện Có Sẵn

Sai Lầm Về Lexicographical Bias

Quản Lý Trạng Thái Mutable Khó Khăn

Thiết Kế API Tối Giản

Xử Lý Undo/Redo Khi Cộng Tác

Việc Viết Lại Mã Nguồn Toàn Bộ OT

Các Khối Xây Dựng Cốt Lõi Của OT: Composition, Transform, Undo

Composition (Ghép Nối Thay Đổi)

Ví Dụ

A ⋅ B = Insert "Hello world!"



Transform (Biến Đổi Song Song)

Nguyên Tắc Cơ Bản

Ví Dụ Thực Tế

"has big round tail"



Pseudocode Transform

Function transform(A, B, isAfirst)
  Initialize result list
  For each position in changes
    If opA and opB retain -> retain character
    Else If opA and opB insert
      If isAfirst -> opA insert becomes retain, opB insert giữ nguyên
      Else -> ngược lại
    Else If opA insert -> trở thành retain
    Else If opB insert -> giữ nguyên insert
  Return result
EndFunction

Undo Giữa Các Thay Đổi Ngoại Cảnh

Ví Dụ Undo Sau Khi Có Thay Đổi Ngoại Cảnh



Pseudocode Undo

Procedure undo()
  op = pop undo stack
  applyOp = inverse(op)
  For each external in op.externalChanges
    Add transform(external, applyOp) to next undo context
    applyOp = transform(applyOp, external)
  Push applyOp vào redo stack
  Áp dụng applyOp lên tài liệu
EndProcedure

Undo/Redo Đối Xứng Và No-op

Kết Luận

Tham Khảo