April 2022 Summaries

Ditto has introduced support for Raspberry Pi, enabling a real-time mesh network that allows Internet of Things (IoT) devices to synchronize without requiring internet access, which is especially beneficial in areas with limited or no connectivity. This development allows devices like a Pimoroni Mood Light, Android phones, and Apple iPads to communicate and sync data across platforms seamlessly, demonstrating the potential for a cross-platform IoT ecosystem that operates independently of internet availability. The technology utilizes Bluetooth for communication and features a Rust application on the Raspberry Pi Zero WH to manage device interactions, marking a significant advancement for the IoT industry by reducing dependency on cloud-based servers and internet infrastructure. The open-source nature of the project encourages developers to explore and expand the possibilities of the "Mesh of Things," with applications in various industries such as hospitality, agriculture, and manufacturing.

Ditto employs stateful property-based testing to enhance the reliability of its Conflict-Free Replicated Data Types (CRDTs), crucial for distributed systems that manage conflicting updates in peer-to-peer applications. CRDTs allow Ditto's Document Database to seamlessly integrate concurrent changes, but the complexity inherent in their design poses challenges, exemplified by Ditto's effort to introduce a CRDT Map supporting both "Add Wins" and "Remove Wins" behaviors. Testing revealed unexpected behavior in CRDT implementations, highlighting the importance of property-based testing, which generates varied inputs to uncover discrepancies between models and systems under test. This approach exposed issues in an academic paper's optimized CRDT, which failed to meet essential CRDT properties like idempotency, commutativity, and associativity. The blog post emphasizes the significance of such testing methodologies in developing robust CRDTs and announces upcoming enhancements to the Ditto platform.