Boki: Towards Data Consistency and Fault Tolerance with Shared Logs in Stateful Serverless Computing | Synapse