欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
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
用户
- BaasBox
- "We're delivering the future of money to over 148 million people worldwide. Using Scala and Akka, we can rapidly develop, test, and deliver services that are reliable and performant at massive scale." - PayPal
开发者
文档
图集
链接
分享您的观点