123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183 |
- use crate::{RevisionMD5, RevisionManager};
- use bytes::Bytes;
- use flowy_error::{FlowyError, FlowyResult};
- use lib_infra::future::BoxResultFuture;
- use revision_model::{Revision, RevisionRange};
- use std::sync::Arc;
- pub struct TransformOperations<Operations> {
- pub client_operations: Operations,
- pub server_operations: Option<Operations>,
- }
- pub trait OperationsDeserializer<T>: Send + Sync {
- fn deserialize_revisions(revisions: Vec<Revision>) -> FlowyResult<T>;
- }
- pub trait OperationsSerializer: Send + Sync {
- fn serialize_operations(&self) -> Bytes;
- }
- pub struct ConflictOperations<T>(T);
- pub trait ConflictResolver<Operations>
- where
- Operations: Send + Sync,
- {
- fn compose_operations(&self, operations: Operations) -> BoxResultFuture<RevisionMD5, FlowyError>;
- fn transform_operations(
- &self,
- operations: Operations,
- ) -> BoxResultFuture<TransformOperations<Operations>, FlowyError>;
- fn reset_operations(&self, operations: Operations) -> BoxResultFuture<RevisionMD5, FlowyError>;
- }
- pub trait ConflictRevisionSink: Send + Sync + 'static {
- fn send(&self, revisions: Vec<Revision>) -> BoxResultFuture<(), FlowyError>;
- fn ack(&self, rev_id: i64) -> BoxResultFuture<(), FlowyError>;
- }
- pub struct ConflictController<Operations, Connection>
- where
- Operations: Send + Sync,
- {
- user_id: String,
- resolver: Arc<dyn ConflictResolver<Operations> + Send + Sync>,
- rev_sink: Arc<dyn ConflictRevisionSink>,
- rev_manager: Arc<RevisionManager<Connection>>,
- }
- impl<Operations, Connection> ConflictController<Operations, Connection>
- where
- Operations: Clone + Send + Sync,
- Connection: 'static,
- {
- pub fn new(
- user_id: &str,
- resolver: Arc<dyn ConflictResolver<Operations> + Send + Sync>,
- rev_sink: Arc<dyn ConflictRevisionSink>,
- rev_manager: Arc<RevisionManager<Connection>>,
- ) -> Self {
- let user_id = user_id.to_owned();
- Self {
- user_id,
- resolver,
- rev_sink,
- rev_manager,
- }
- }
- }
- impl<Operations, Connection> ConflictController<Operations, Connection>
- where
- Operations: OperationsSerializer + OperationsDeserializer<Operations> + Clone + Send + Sync,
- Connection: Send + Sync + 'static,
- {
- pub async fn receive_revisions(&self, revisions: Vec<Revision>) -> FlowyResult<()> {
- if revisions.is_empty() {
- return Ok(());
- }
- match self.handle_revision(revisions).await? {
- None => {},
- Some(server_revision) => {
- self.rev_sink.send(vec![server_revision]).await?;
- },
- }
- Ok(())
- }
- pub async fn ack_revision(&self, rev_id: i64) -> FlowyResult<()> {
- self.rev_sink.ack(rev_id).await?;
- Ok(())
- }
- pub async fn send_revisions(&self, range: RevisionRange) -> FlowyResult<()> {
- let revisions = self.rev_manager.get_revisions_in_range(range).await?;
- self.rev_sink.send(revisions).await?;
- Ok(())
- }
- async fn handle_revision(&self, mut revisions: Vec<Revision>) -> FlowyResult<Option<Revision>> {
- let first_revision = revisions.first().unwrap();
- if let Some(local_revision) = self.rev_manager.get_revision(first_revision.rev_id).await {
- if local_revision.md5 == first_revision.md5 {
- // The local revision is equal to the pushed revision. Just ignore it.
- revisions = revisions.split_off(1);
- if revisions.is_empty() {
- return Ok(None);
- }
- } else {
- return Ok(None);
- }
- }
- let new_operations = Operations::deserialize_revisions(revisions.clone())?;
- let TransformOperations {
- client_operations,
- server_operations,
- } = self.resolver.transform_operations(new_operations).await?;
- match server_operations {
- None => {
- // The server_prime is None means the client local revisions conflict with the
- // // server, and it needs to override the client delta.
- let md5 = self.resolver.reset_operations(client_operations).await?;
- debug_assert!(md5.is_equal(&revisions.last().unwrap().md5));
- self.rev_manager.reset_object(revisions).await?;
- Ok(None)
- },
- Some(server_operations) => {
- let md5 = self
- .resolver
- .compose_operations(client_operations.clone())
- .await?;
- for revision in &revisions {
- self.rev_manager.add_remote_revision(revision).await?;
- }
- let (client_revision, server_revision) = make_client_and_server_revision(
- &self.user_id,
- &self.rev_manager,
- client_operations,
- Some(server_operations),
- md5,
- );
- self
- .rev_manager
- .add_remote_revision(&client_revision)
- .await?;
- Ok(server_revision)
- },
- }
- }
- }
- fn make_client_and_server_revision<Operations, Connection>(
- _user_id: &str,
- rev_manager: &Arc<RevisionManager<Connection>>,
- client_operations: Operations,
- server_operations: Option<Operations>,
- md5: RevisionMD5,
- ) -> (Revision, Option<Revision>)
- where
- Operations: OperationsSerializer,
- Connection: 'static,
- {
- let (base_rev_id, rev_id) = rev_manager.next_rev_id_pair();
- let bytes = client_operations.serialize_operations();
- let client_revision = Revision::new(
- &rev_manager.object_id,
- base_rev_id,
- rev_id,
- bytes,
- md5.clone(),
- );
- match server_operations {
- None => (client_revision, None),
- Some(operations) => {
- let bytes = operations.serialize_operations();
- let server_revision = Revision::new(&rev_manager.object_id, base_rev_id, rev_id, bytes, md5);
- (client_revision, Some(server_revision))
- },
- }
- }
|