skip to main content


Title: What You See is Not What You Get: Revealing Hidden Memory Mapping for Peripheral Modeling
Award ID(s):
2118491
NSF-PAR ID:
10376393
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
25th International Symposium on Research in Attacks, Intrusions and Defenses
Page Range / eLocation ID:
200 to 213
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
  2. In a local-first architecture that prioritizes availability in the presence of network partitions, there is a tension between two goals: merging concurrent changes without user intervention and maintaining data integrity constraints. We propose a synchronization model called forking histories which satisfies both goals in an unconventional way. In the case of conflicting writes, the model exposes multiple event histories that users can see and edit rather than converging to a single state. This allows integrity constraints to be maintained within each history while giving users flexibility in deciding when to manually reconcile conflicts. We describe a class of applications for which these integrity constraints are particularly important and propose a design for a system that implements this model. 
    more » « less