What You See is Not What You Get: Revealing Hidden Memory Mapping for Peripheral Modeling
- Award ID(s):
- 2118491
- NSF-PAR ID:
- 10376393
- 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
-
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