langreiter.com plain, simple: 2006-03-17-pibiz

LANGREITER.COM plain, simple

START

INDEX

2006-03-17-pibiz

CREATED BY chris • LAST EDITED BY chris 6809 days AGO

ACM Queue: A Conversation with Steve Ross-Talbot

"[...] [W]e'll deliver solutions based on the CDL (choreography description language), which allows systems architects to describe their systems fully, from an observable perspective, with guarantees about the introduction or nonintroduction of livelocks, deadlocks, and race conditions. You can think of it as a way of adding rigor to the description, much in the same way that systems designers in avionics and electronics do. [...] If you have a livelock, a race condition, or a deadlock, it will show up as either a warning or an error in your system description, and it will point you to the specific lines in your choreography where that's occurring."