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