基林

Kilim:Java的隔离类型角色。他在论文中描述了Kilim框架,该框架利用多种技术来帮助在主流语言(如Java)中创建健壮、大规模并发的系统:(i)超轻量级、协作调度的线程(actors),(ii)消息传递框架(无共享内存、无锁)和(iii)隔离感知消息传递。隔离是通过控制可变消息的形状和所有权来实现的——它们不能有内部别名,并且一次只能由一个参与者拥有。我们演示了一个围绕隔离类型限定符构建的静态分析,以实施这些约束。Kilim可以轻松地扩展到在不起眼的硬件上处理数十万个演员和消息。它也很快——任务切换比Java线程快1000倍,比其他轻量级任务框架快60倍,消息传递比Erlang快3倍(目前是面向并发编程的黄金标准)。