use encoding/decoding for restoring snapshots
This commit is contained in:
		
							parent
							
								
									ceba4b1837
								
							
						
					
					
						commit
						eee695eeeb
					
				@ -278,13 +278,37 @@ export const readAndApplyDeleteSet = (decoder, transaction, store) => {
 | 
			
		||||
    const state = getState(store, client)
 | 
			
		||||
    for (let i = 0; i < numberOfDeletes; i++) {
 | 
			
		||||
      const clock = decoder.readDsClock()
 | 
			
		||||
      const len = decoder.readDsLen()
 | 
			
		||||
      const clockEnd = clock + len
 | 
			
		||||
      const clockEnd = clock + decoder.readDsLen()
 | 
			
		||||
      if (clock < state) {
 | 
			
		||||
        if (state < clockEnd) {
 | 
			
		||||
          addToDeleteSet(unappliedDS, client, state, clockEnd - state)
 | 
			
		||||
        }
 | 
			
		||||
        applyDeleteItem(transaction, structs, { clock, len })
 | 
			
		||||
        let index = findIndexSS(structs, clock)
 | 
			
		||||
        /**
 | 
			
		||||
         * We can ignore the case of GC and Delete structs, because we are going to skip them
 | 
			
		||||
         * @type {Item}
 | 
			
		||||
         */
 | 
			
		||||
        // @ts-ignore
 | 
			
		||||
        let struct = structs[index]
 | 
			
		||||
        // split the first item if necessary
 | 
			
		||||
        if (!struct.deleted && struct.id.clock < clock) {
 | 
			
		||||
          structs.splice(index + 1, 0, splitItem(transaction, struct, clock - struct.id.clock))
 | 
			
		||||
          index++ // increase we now want to use the next struct
 | 
			
		||||
        }
 | 
			
		||||
        while (index < structs.length) {
 | 
			
		||||
          // @ts-ignore
 | 
			
		||||
          struct = structs[index++]
 | 
			
		||||
          if (struct.id.clock < clockEnd) {
 | 
			
		||||
            if (!struct.deleted) {
 | 
			
		||||
              if (clockEnd < struct.id.clock + struct.length) {
 | 
			
		||||
                structs.splice(index, 0, splitItem(transaction, struct, clockEnd - struct.id.clock))
 | 
			
		||||
              }
 | 
			
		||||
              struct.delete(transaction)
 | 
			
		||||
            }
 | 
			
		||||
          } else {
 | 
			
		||||
            break
 | 
			
		||||
          }
 | 
			
		||||
        }
 | 
			
		||||
      } else {
 | 
			
		||||
        addToDeleteSet(unappliedDS, client, clock, clockEnd - clock)
 | 
			
		||||
      }
 | 
			
		||||
@ -297,43 +321,3 @@ export const readAndApplyDeleteSet = (decoder, transaction, store) => {
 | 
			
		||||
    store.pendingDeleteReaders.push(new DSDecoderV2(decoding.createDecoder((unappliedDSEncoder.toUint8Array()))))
 | 
			
		||||
  }
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
/**
 | 
			
		||||
 * Applies a DeleteItem on a document
 | 
			
		||||
 *
 | 
			
		||||
 * @param {Transaction} transaction
 | 
			
		||||
 * @param {Array<GC|Item>} structs
 | 
			
		||||
 * @param {DeleteItem} deleteItem
 | 
			
		||||
 *
 | 
			
		||||
 * @private
 | 
			
		||||
 * @function
 | 
			
		||||
 */
 | 
			
		||||
export const applyDeleteItem = (transaction, structs, { clock, len }) => {
 | 
			
		||||
  const clockEnd = clock + len
 | 
			
		||||
  let index = findIndexSS(structs, clock)
 | 
			
		||||
  /**
 | 
			
		||||
   * We can ignore the case of GC and Delete structs, because we are going to skip them
 | 
			
		||||
   * @type {Item}
 | 
			
		||||
   */
 | 
			
		||||
  // @ts-ignore
 | 
			
		||||
  let struct = structs[index]
 | 
			
		||||
  // split the first item if necessary
 | 
			
		||||
  if (!struct.deleted && struct.id.clock < clock) {
 | 
			
		||||
    structs.splice(index + 1, 0, splitItem(transaction, struct, clock - struct.id.clock))
 | 
			
		||||
    index++ // increase we now want to use the next struct
 | 
			
		||||
  }
 | 
			
		||||
  while (index < structs.length) {
 | 
			
		||||
    // @ts-ignore
 | 
			
		||||
    struct = structs[index++]
 | 
			
		||||
    if (struct.id.clock < clockEnd) {
 | 
			
		||||
      if (!struct.deleted) {
 | 
			
		||||
        if (clockEnd < struct.id.clock + struct.length) {
 | 
			
		||||
          structs.splice(index, 0, splitItem(transaction, struct, clockEnd - struct.id.clock))
 | 
			
		||||
        }
 | 
			
		||||
        struct.delete(transaction)
 | 
			
		||||
      }
 | 
			
		||||
    } else {
 | 
			
		||||
      break
 | 
			
		||||
    }
 | 
			
		||||
  }
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
@ -16,13 +16,17 @@ import {
 | 
			
		||||
  getState,
 | 
			
		||||
  findIndexCleanStart,
 | 
			
		||||
  AbstractStruct,
 | 
			
		||||
  applyDeleteItem,
 | 
			
		||||
  writeClientsStructs,
 | 
			
		||||
  findIndexSS,
 | 
			
		||||
  readUpdateV2,
 | 
			
		||||
  UpdateEncoderV2, UpdateDecoderV2,
 | 
			
		||||
  AbstractDSDecoder, AbstractDSEncoder, DSEncoderV1, DSEncoderV2, DSDecoderV1, DSDecoderV2, Transaction, Doc, DeleteSet, Item // eslint-disable-line
 | 
			
		||||
} from '../internals.js'
 | 
			
		||||
 | 
			
		||||
import * as map from 'lib0/map.js'
 | 
			
		||||
import * as set from 'lib0/set.js'
 | 
			
		||||
import * as decoding from 'lib0/decoding.js'
 | 
			
		||||
import * as encoding from 'lib0/encoding.js'
 | 
			
		||||
import { DefaultDSEncoder } from './encoding.js'
 | 
			
		||||
 | 
			
		||||
export class Snapshot {
 | 
			
		||||
@ -174,103 +178,42 @@ export const createDocFromSnapshot = (originDoc, snapshot) => {
 | 
			
		||||
   * @type any[]
 | 
			
		||||
   */
 | 
			
		||||
  const itemsToIntegrate = []
 | 
			
		||||
 | 
			
		||||
  /**
 | 
			
		||||
   * @type Uint8Array
 | 
			
		||||
   */
 | 
			
		||||
  let updateBuffer = new Uint8Array()
 | 
			
		||||
  originDoc.transact(transaction => {
 | 
			
		||||
    for (let user of needState.keys()) {
 | 
			
		||||
      let clock = needState.get(user) || 0
 | 
			
		||||
      const userItems = originDoc.store.clients.get(user)
 | 
			
		||||
      if (!userItems) {
 | 
			
		||||
        continue
 | 
			
		||||
    const encoder = new UpdateEncoderV2()
 | 
			
		||||
 | 
			
		||||
    encoding.writeVarUint(encoder.restEncoder, sv.size)
 | 
			
		||||
    // splitting the structs before writing them to the encoder
 | 
			
		||||
    for (const [client, clock] of sv) {
 | 
			
		||||
      if (clock < getState(originDoc.store, client)) {
 | 
			
		||||
        getItemCleanStart(transaction, createID(client, clock))
 | 
			
		||||
      }
 | 
			
		||||
 | 
			
		||||
      let lastIndex
 | 
			
		||||
      const lastItem = userItems[userItems.length - 1]
 | 
			
		||||
      if (clock === lastItem.id.clock + lastItem.length) {
 | 
			
		||||
        lastIndex = lastItem.id.clock + lastItem.length + 1
 | 
			
		||||
      } else {
 | 
			
		||||
        lastIndex = findIndexCleanStart(transaction, userItems, clock)
 | 
			
		||||
      }
 | 
			
		||||
      for (let i = 0; i < lastIndex; i++) {
 | 
			
		||||
        const item = userItems[i]
 | 
			
		||||
        if (item instanceof Item) {
 | 
			
		||||
          itemsToIntegrate.push({
 | 
			
		||||
            id: item.id,
 | 
			
		||||
            left: item.left ? item.left.id : null,
 | 
			
		||||
            right: item.right ? item.right.id : null,
 | 
			
		||||
            origin: item.origin ? createID(item.origin.client, item.origin.clock) : null,
 | 
			
		||||
            rightOrigin: item.rightOrigin ? createID(item.rightOrigin.client, item.rightOrigin.clock) : null,
 | 
			
		||||
            parent: item.parent,
 | 
			
		||||
            parentSub: item.parentSub,
 | 
			
		||||
            content: item.content.copy()
 | 
			
		||||
          })
 | 
			
		||||
        }
 | 
			
		||||
      const structs = originDoc.store.clients.get(client) || []
 | 
			
		||||
      const lastStructIndex = findIndexSS(structs, clock - 1)
 | 
			
		||||
      // write # encoded structs
 | 
			
		||||
      encoding.writeVarUint(encoder.restEncoder, lastStructIndex + 1)
 | 
			
		||||
      encoder.writeClient(client)
 | 
			
		||||
      encoding.writeVarUint(encoder.restEncoder, structs[0].id.clock)
 | 
			
		||||
      const firstStruct = structs[0]
 | 
			
		||||
      firstStruct.write(encoder, 0)
 | 
			
		||||
      for (let i = 1; i <= lastStructIndex; i++) {
 | 
			
		||||
        structs[i].write(encoder, 0)
 | 
			
		||||
      }
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
    writeDeleteSet(encoder, ds)
 | 
			
		||||
 | 
			
		||||
    updateBuffer = encoder.toUint8Array()
 | 
			
		||||
  })
 | 
			
		||||
 | 
			
		||||
  const newDoc = new Doc()
 | 
			
		||||
 | 
			
		||||
  // copy root types
 | 
			
		||||
  const sharedKeysByValue = new Map()
 | 
			
		||||
  for (const [key, t] of originDoc.share) {
 | 
			
		||||
    const Constructor = t.constructor
 | 
			
		||||
    newDoc.get(key, Constructor)
 | 
			
		||||
    sharedKeysByValue.set(t, key)
 | 
			
		||||
  }
 | 
			
		||||
 | 
			
		||||
  let lastId = new Map()
 | 
			
		||||
  /**
 | 
			
		||||
   * @param {ID} id
 | 
			
		||||
   * @return {Item|null}
 | 
			
		||||
   */
 | 
			
		||||
  const getItemSafe = (id) => {
 | 
			
		||||
    if (!lastId.has(id.client)) {
 | 
			
		||||
      return null
 | 
			
		||||
    }
 | 
			
		||||
    if (lastId.get(id.client) < id.clock) {
 | 
			
		||||
      return null
 | 
			
		||||
    }
 | 
			
		||||
    return getItem(newDoc.store, id)
 | 
			
		||||
  }
 | 
			
		||||
  newDoc.transact(transaction => {
 | 
			
		||||
    for (const item of itemsToIntegrate) {
 | 
			
		||||
      let parent = null
 | 
			
		||||
      let left = null
 | 
			
		||||
      let right = null
 | 
			
		||||
      const sharedKey = sharedKeysByValue.get(item.parent)
 | 
			
		||||
      if (sharedKey) {
 | 
			
		||||
        parent = newDoc.get(sharedKey)
 | 
			
		||||
      } else if (item.parent) {
 | 
			
		||||
        parent = getItem(newDoc.store, item.parent._item.id).content.type
 | 
			
		||||
      }
 | 
			
		||||
      if (item.left) {
 | 
			
		||||
        left = getItemSafe(item.left)
 | 
			
		||||
      }
 | 
			
		||||
      if (item.right) {
 | 
			
		||||
        right = getItemSafe(item.right)
 | 
			
		||||
      }
 | 
			
		||||
      lastId.set(item.id.client, item.id.clock)
 | 
			
		||||
      const newItem = new Item(
 | 
			
		||||
        item.id,
 | 
			
		||||
        left,
 | 
			
		||||
        item.origin,
 | 
			
		||||
        right,
 | 
			
		||||
        item.rightOrigin,
 | 
			
		||||
        parent, // not sure
 | 
			
		||||
        item.parentSub,
 | 
			
		||||
        item.content
 | 
			
		||||
      )
 | 
			
		||||
      newItem.integrate(transaction, 0)
 | 
			
		||||
    }
 | 
			
		||||
 | 
			
		||||
    for (const [client, deleteItems] of ds.clients) {
 | 
			
		||||
      for (const deleteItem of deleteItems) {
 | 
			
		||||
        const items = newDoc.store.clients.get(client)
 | 
			
		||||
        if (items) {
 | 
			
		||||
          applyDeleteItem(transaction, items, deleteItem)
 | 
			
		||||
        }
 | 
			
		||||
      }
 | 
			
		||||
    }
 | 
			
		||||
  })
 | 
			
		||||
  readUpdateV2(decoding.createDecoder(updateBuffer), newDoc, 'snapshot')
 | 
			
		||||
 | 
			
		||||
  return newDoc
 | 
			
		||||
}
 | 
			
		||||
@ -124,6 +124,9 @@ export const findIndexSS = (structs, clock) => {
 | 
			
		||||
  let left = 0
 | 
			
		||||
  let right = structs.length - 1
 | 
			
		||||
  let mid = structs[right]
 | 
			
		||||
  if (!mid) {
 | 
			
		||||
    console.log('\n\nMID!', right, clock, structs.length, mid, '\n\n')
 | 
			
		||||
  }
 | 
			
		||||
  let midclock = mid.id.clock
 | 
			
		||||
  if (midclock === clock) {
 | 
			
		||||
    return right
 | 
			
		||||
@ -134,6 +137,9 @@ export const findIndexSS = (structs, clock) => {
 | 
			
		||||
  let midindex = math.floor((clock / (midclock + mid.length - 1)) * right) // pivoting the search
 | 
			
		||||
  while (left <= right) {
 | 
			
		||||
    mid = structs[midindex]
 | 
			
		||||
    if (!mid) {
 | 
			
		||||
      console.log('\n\n2', midindex, clock, '\n\n')
 | 
			
		||||
    }
 | 
			
		||||
    midclock = mid.id.clock
 | 
			
		||||
    if (midclock <= clock) {
 | 
			
		||||
      if (clock < midclock + mid.length) {
 | 
			
		||||
 | 
			
		||||
@ -1,5 +1,6 @@
 | 
			
		||||
import { createDocFromSnapshot, Doc, snapshot, YMap } from '../src/internals'
 | 
			
		||||
import * as t from 'lib0/testing.js'
 | 
			
		||||
import { init } from './testHelper'
 | 
			
		||||
 | 
			
		||||
/**
 | 
			
		||||
 * @param {t.TestCase} tc
 | 
			
		||||
@ -91,7 +92,6 @@ export const testDeletedItemsBase = tc => {
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
/**
 | 
			
		||||
 * @param {t.TestCase} tc
 | 
			
		||||
 */
 | 
			
		||||
@ -108,3 +108,48 @@ export const testDeletedItems2 = tc => {
 | 
			
		||||
  t.compare(doc.getArray('array').toArray(), ['item0', 'item1', 'item3'])
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
/**
 | 
			
		||||
 * @param {t.TestCase} tc
 | 
			
		||||
 */
 | 
			
		||||
export const testDependentChanges = tc => {
 | 
			
		||||
  const { array0, array1, testConnector } = init(tc, { users: 2 })
 | 
			
		||||
 | 
			
		||||
  if (!array0.doc) {
 | 
			
		||||
    throw new Error('no document 0')
 | 
			
		||||
  }
 | 
			
		||||
  if (!array1.doc) {
 | 
			
		||||
    throw new Error('no document 1')
 | 
			
		||||
  }
 | 
			
		||||
 | 
			
		||||
  /**
 | 
			
		||||
   * @type Doc
 | 
			
		||||
   */
 | 
			
		||||
  const doc0 = array0.doc
 | 
			
		||||
  /**
 | 
			
		||||
   * @type Doc
 | 
			
		||||
   */
 | 
			
		||||
  const doc1 = array1.doc
 | 
			
		||||
 | 
			
		||||
  doc0.gc = false
 | 
			
		||||
  doc1.gc = false
 | 
			
		||||
 | 
			
		||||
  array0.insert(0, ['user1item1'])
 | 
			
		||||
  testConnector.syncAll()
 | 
			
		||||
  array1.insert(1, ['user2item1'])
 | 
			
		||||
  testConnector.syncAll()
 | 
			
		||||
 | 
			
		||||
  const snap = snapshot(array0.doc)
 | 
			
		||||
 | 
			
		||||
  array0.insert(2, ['user1item2'])
 | 
			
		||||
  testConnector.syncAll()
 | 
			
		||||
  array1.insert(3, ['user2item2'])
 | 
			
		||||
  testConnector.syncAll()
 | 
			
		||||
 | 
			
		||||
  const docRestored0 = createDocFromSnapshot(array0.doc, snap)
 | 
			
		||||
  t.compare(docRestored0.getArray('array').toArray(), ['user1item1', 'user2item1'])
 | 
			
		||||
 | 
			
		||||
  const docRestored1 = createDocFromSnapshot(array1.doc, snap)
 | 
			
		||||
  t.compare(docRestored1.getArray('array').toArray(), ['user1item1', 'user2item1'])
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user