Redis là ZINCRBY nguyên tử?

Question

Tôi đang xây dựng triển khai bảng thành tích bằng cách sử dụng redis.

Câu hỏi của tôi là nếu ZINCRBY là một hành động nguyên tử có thể được sử dụng mà không có một mutex riêng biệt hoặc một cái gì đó trong môi trường đa luồng?

tài liệu của ZINCRBY không đề cập đến bất cứ điều gì về implemtnation nguyên tử như the documentation of INCR làm cho INCR, INCRBY và DECR

thanks a lot!

Answer 1

Có, ZINCRBY là nguyên tử. Không cần đồng bộ hóa bên ngoài.

Redis là luồng đơn có hiệu quả. Ngay cả khi hai luồng gửi lệnh đến Redis đồng thời, Redis sẽ chỉ thực thi chúng theo thứ tự nối tiếp.