编译期防并发错误

把并发安全编码进类型系统，数据竞争在编译期就报错，而不是线上偶发。