Personal tools

Handling policy conflicts in Anzere

Motivation:

Anzere is a policy-based replication system for personal storage networks. Using Anzere users can specify replication policies such as "Make recent data available at 1 minute latency from my phone" and have them automatically and constantly enforced regardless of changes in the set of personal devices, device failures, data variations, etc. Policy conflicts can often arise and the Anzere's optimization engine must be able to deal with them and do not compromise the enforcement of non-conflicting policies. This lab semester project will explore how to efficiently deal with conflicting policies and help users solve existing conflicts.

Goals:

Get familiar with Anzere and particularly its CLP (constraint logic programming) based implementation. Design and implement a mechanism for detecting conflicting policies and providing hints on conflict resolution. Integrate conflict detection into the CLP execution thus ensuring that conflicts are dynamically isolated, while the remaining policies are processed and enforced. Extend the Anzere's user interface with the support for policy priorities and integrate policy feedback for conflict resolution. Measure the performance of the provided techniques.