LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 链接 » 巴黎六大计算机科学实验室日志

Séminaire REGALRSS

Disorderly Distributed Programming with Bloom

报告人 : Neil CONWAY, UC Berkeley
Modern distributed systems often employ weak consistency because it avoids the availability and latency costs of protocols for achieving strong consistency. However, writing correct distributed programs using weak consistency is difficult because programmers cannot rely on a global ordering of events. At UC Berkeley, we have been working on programming languages and analysis techniques that are intended to simplify distributed programming without the benefit of strong consistency. We argue that distributed programs should be "disorderly" by default -- while most programs require some degree of ordering, the use and placement of ordering constructs should be an explicit design decision. Moreover, the language should help the programmer to use order effectively, and only when necessary.
These ideas are embodied in Bloom (, a language for distributed programming under development at UC Berkeley. This talk will review our recent work on distributed programming using join semilattices and monotone functions, and also highlight several areas of ongoing research.
Marc.Shapiro (at)
 Mentions légales
网站导航 |