Large scale distributed systems require to embrace the trade off between consistency and availability, accepting lower levels of consistency to guarantee higher availability. Existing programming languages are, however, agnostic to this compromise, resulting in consistency guarantees that are the same for the whole application and are implicitly adopted from the middleware or hardcoded in configuration files.
We propose to integrate availability in the design of an object- oriented language, allowing developers to specify different consistency and isolation constraints in the same application at the granularity of single objects.
Similar techniques are also used by Project E5 for secure computations.
Mirko Köhler is a PhD student of Prof. Guido Salvaneschi. Inside CROSSING, he is working in Project E5 on using type systems and static analyses to ensure secure computations.