Wednesday 14:30 - 15:20
The talk will introduce the BLOOM language (http://bloom-lang.org
), an internal Ruby domain-specific language for writing eventually-consistent distributed systems. BLOOM is designed based on the principle of "disorderly programming", where concurrency is default, and programmers explicitly introduce sequentiality where required. Since BLOOM is based on a formal temporal logic, it is amenable to static analysis; the talk will present one such analysis that identifies code requiring additional programmer attention to ensure eventual consistency. You will gain an
insight into this analysis as well as the concept of disorderly programming, and will learn enough BLOOM to begin rapidly developing eventually-consistent distributed systems in our language.
Keywords: cloud computing, eventual consistency, logic programming, ruby,
domain-specific language, design patterns
Target audience: Anyone interested in building eventually-consistent distributed systems.