Demo sàn nhà hàng và màn hình bếp

Bản demo này làm gì

Cửa sổ phục vụ là sơ đồ bàn: bàn theo khu, mở đơn, thêm món, gửi xuống bếp. Cửa sổ bếp là giá phiếu: phiếu tô màu theo trạm với đồng hồ đếm tuổi phiếu, bắt đầu làm và bấm xong. Quầy chia món nằm giữa hai bên, còn quản lý có thống kê ca, nhật ký hoạt động, và một trình mô phỏng tự nấu để một người cũng diễn được trọn vòng.

Mọi thay đổi đều đi qua đúng một hàm: ghi các bản ghi đã đổi vào IndexedDB, áp vào trạng thái tại chỗ, rồi phát chính các bản ghi đó đi. Cửa sổ nhận áp thẳng dữ liệu nhận được vào bộ nhớ và vẽ lại chứ không đọc lại cơ sở dữ liệu, vì cơ sở dữ liệu thuộc về từng origin và cửa sổ gửi thì đã lưu xong rồi. Cảm giác tức thì đến từ đó, và thanh đầu in ra độ trễ đo được để lời khẳng định này kiểm chứng được chứ không chỉ là lời nói.

Sửa đồng thời được giải quyết theo nguyên tắc người ghi sau thắng trên một bộ đếm Lamport, lấy mã cửa sổ ghi làm cơ sở phân định, nên mọi cửa sổ dừng lại ở cùng một kết quả chứ không phải mỗi cửa sổ một phách. Các thay đổi được xếp hàng nối tiếp, nên chạm nhanh hai lần sẽ tăng số lượng chứ không để lại hai dòng giống hệt nhau. Trạng thái của đơn được suy ra từ các món và trạng thái bàn suy ra từ đơn, nên bấm xong món cuối cùng sẽ đẩy phiếu lên và vẽ lại sàn mà không cần thêm một thông điệp nào chạy qua kênh.