分布式，异步之觞

1.异步打乱了执行流，需要确保依赖关系相关的顺次发生

future complete的顺序

2.不同的线程访问对象时的线程安全性，共享数据的同步

如何控制对象的安全状态

保证对象在各个状态间安全切换，有限状态自动机

如何轻松地设计出bug free的代码呢？

能否设计一种语言，方便指定各种状态，及各种条件，由语言运行时保证各个流程执行的正确性。

需要结合NFA的思想来设计

ps：面试题目

一个数组，其中一个数字出现次数超过一半，如何快速找到这个数字？

这个原来也可以用改造后的快排来实现