欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Shoal
Shoal is a java based scalable dynamic clustering framework that provides infrastructure to build fault tolerance, reliability and availability.
The framework can be plugged into any product needing clustering and related distributed systems capabilities without tightly binding to a specific communications infrastructure.
Shoal is dual licensed under the CDDL version 1.0 and GPL v2 license with Classpath Exception
Shoal是GlassFish（V2及后续版本）和JOnAS 应用服务器的集群引擎。
组通信服务提供者提供了一套API，对各种组通信提供者实现提供了支持。默认情况下Shoal使用JXTA框架。如果遵循服务提供者API，我们可以换成其他的实现，因此可以采用JGroups、基于Appia或者基于JINI的组通信提供者。
Shoal框架还有一个叫做分布式状态缓存（Distributed State Cache，DSC）的共享分布式存储特性，它可以用来在内存中对应用的状态进行分布式缓存。GMS为轻量级复制缓存提供了一个默认实现。其他的java对象缓存框架还有JBoss Cache、OSCache和EHCache进行了对比.
Shoal的另一个使用地方是作为一个计算网格应用的底层引擎。FishFarm项目当前正使用Shoal做这个事情。
