tree fc80f8cb502eaa1421101d33dc0dc1c005cfa114
parent 14150ebcc6ca5e3f809509d98724c6a1e77ffa35
author Madan Jampani <madan@onlab.us> 1437868873 -0700
committer Madan Jampani <madan@onlab.us> 1438427697 +0530

Bug fixes/improvements:
1. DeviceManager must not have a dependency on DeviceClockService. Clocks and Timestamps are purely distribution concerns.
2. Eliminated DeviceClockProviderService which merely served as a cache for mastership terms thereby introducing a source of staleness. Now we directly query mastership service which is already optimized for high volume reads.
3. DistributedLeadershipManager fix to ensure election won by local node immediately reflects in the local leaderboard. This is to ensure a subsequent read does not return a stale value.

Change-Id: I774b64923e382b788df5f8bde2a9fafc0294bad0