Bringing Hybrid Consistency Closer to Programmers
Gonçalo Marcelino, Valter Balegas, Carla Ferreira · 2017
Hybrid consistency is a new consistency model that tries to combine the benefits of weak and strong consistency. To implement hybrid consistency, programmers have to identify conflicting operations in applications and instrument them, which is a difficult and error prone task. More recent approaches automatize the process through the use of static analysis over a specification of the application.