基林

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


zbMATH参考文献(参考 7篇文章 参考)

显示结果1到7,共7个。
按年份排序(引用)

  1. Castegren,Elias;Wallin,Joel;Wrigstad,Tobias:Grave和atomic:使用隔离、委托和分组的并发编程(2018)
  2. Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:具有并行交错的循环的信赖保证终止和成本分析(2017)
  3. Scholliers,Christophe;Tanter,çric;De Meuter,Wolfgang:《并行参与者监视器:从参与者模型中的数据分区中分离任务级并行性》(2014)
  4. Van Cutsem,Tom;Gonzalez Boix,Elisa;Scholliers,Christophe;Lombide Carreton,Andoni;Harnie,Dries;Pinte,Kevin;De Meuter,Wolfgang:Ambienttalk:用演员编程响应式移动对等应用程序(2014)ioport公司
  5. Kerneis,Gabriel;Chroboczek,Juliusz:Continuation passing C,通过continuations编译事件线程(2011)
  6. Vojdani,Vesal:heap操纵C程序的静态数据竞争分析(2010)
  7. Srinivasan,Sriram;Mycroft,Alan:Kilim:Java的隔离类型参与者。(百万演员,安全零拷贝通信)(2008年)ioport公司