This master’s thesis presents a comprehensive taxonomy of sync engine architectures used in modern distributed systems. It explores fundamental trade-offs between consistency models and performance to guide decision-making in offline-first, local-first applications.