In HDFS the NameNode is a single point of failure. The high availability feature has been added to BOOM-FS.
The Paxos protocol has been implemented. Based on Paxos implementation the distributed log has been achived.
It was simple to implement Paxos in Datalog, because it is described in a language similar to Datalog (22 rules in 50 loc).
The implementation of distributed log was more difficult (liveness module, catchup algorithm) (50 rules in 400 loc).
Once the distributed log has been implemented the integration with BOOM-FS was simple.
It took 7 person-weeks to add high availability to BOOM-FS (400 loc).