欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Akka
来自开放百科 - 灰狐
				
								
				
				
																
				
				
								
Akka:是一套构建基于 JVM 之上的高并发、分布式、容错、事件驱动应用的工具集和运行时,使用 Java 和 Scala 编程语言,采用 Apache v2 许可协议。
Akka提供类似Erlang那样健壮的基于消息的计算,其高性能表现:50 million msg/sec on a single machine. Small memory footprint; ~2.5 million actors per GB of heap.
目录 | 
项目
- GearPump
 - Spray
 - Ainterface: Runs an Erlang node on an ActorSystem of Akka.
 - CurioDB: Redis Clone
 - Akka Analytics: Large-scale event processing with Akka Persistence and Apache Spark
 - Cassandra Plugins for Akka Persistence
 - Eventuate
 
Modules
- akka-actor – Classic Actors, Typed Actors, IO Actor etc.
 - akka-agent – Agents, integrated with Scala STM
 - akka-camel – Apache Camel integration
 - akka-cluster – Cluster membership management, elastic routers.
 - akka-kernel – Akka microkernel for running a bare-bones mini application server
 - akka-osgi – base bundle for using Akka in OSGi containers, containing the akka-actor classes
 - akka-osgi-aries – Aries blueprint for provisioning actor systems
 - akka-remote – Remote Actors
 - akka-slf4j – SLF4J Logger (event bus listener)
 - akka-testkit – Toolkit for testing Actor systems
 - akka-zeromq – ZeroMQ integration
 
文档
链接
	分享您的观点