欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Disruptor
来自开放百科 - 灰狐
Disruptor - Concurrent Programming Framework
一个高性能的Java并行计算框架，采用Apache License 2.0 许可协议。
一台普通的PC服务器上(8core 32G内存)就能实现惊人的600万TPS/s的性能，延迟和吞吐都非常惊人。
链接
分享您的观点
