Selectivity cancelling method based on operating effect relation
A selective and relational technology, applied in the field of selective revocation based on the operation effect relationship, can solve problems such as unpredictable system behavior and different execution effects, and achieve the effect of consistency maintenance
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
example 1
[0086] Example 1: Given a document state "a", first perform the operations o1 = del(0, a) and o2 = ins(0, b), where o1 → o2. Then, Undo operates o1.
[0087] After performing operations o1 and o2, the operation log H = [o1, o2] = [del(0, a), ins(0, b)], where o1 = e o2. The inverse operation o1=ins(0,a) of operation o1. After executing o1, the document status is correctly updated to "ab". This example does not involve remote operation. After the operation is executed, thread L will call algorithm 3 (integrateL) to add the inverse operation of o1 to the operation log in order of operation effect, and the operation log is updated to [del(0, a), ins(0, a), ins(1, b)].
example 2
[0088] Example 2: Given a document state "a", first two concurrent operations o1 = del(0, a) and o2 = ins(0, b) are performed. Then, Undo operates o1.
[0089] Since the conditions o1||o2 and o2<e o1 are satisfied and o1 and o2 are defined on the same document state, the effect character of operation o2 should precede the effect character of o1 in the final result state. After the operations o1 and o2 are executed, according to Algorithm 4, the operation log H=[o2, o1']=[ins(0, b), del(1, a)]. The correct result state "ba" is obtained by performing the inverse operation ins(1, a) of o1'.
example 3
[0090] Example 3: Given a document state "ab", first perform two operations o1=del(0,a) and o2=del(0,b) that satisfy the o1→o2 condition. Then, two users concurrently undo and operate o1 and o2 respectively, that is, undo(o1)||undo(o2).
[0091] After executing operations o1 and o2, the operation log is [del(0, a), del(0, b)]. Depending on the order in which undo is executed, there are two cases to consider.
[0092] (1) undo(o1) is executed before undo(o2): after the inverse operation of o1 is performed, the document status and operation log are "a" and [del(0, a), ins(0, a), del( 1, b)]. At this time, the Undo operation o2 is performed by performing the inverse operation ins(1, b) of o2. The final document status and operation log are "ab" and [del(0, a), ins(0, a), del(1, b), ins(1, b)] respectively.
[0093] (2) undo(o2) is executed before undo(o1): after executing the inverse operation ins(0, b) of o2, the document status and operation log are [del(0, a), del(0, b), ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com