分布式里面的faft算法是啥