Alibaba has not officially released official specifications for Redis development. However, the Alibaba team has accumulated some experience in the actual development process, which can provide some reference for developers:

1. Try to avoid using Redis's BLPOP command, because this command will use a lot of CPU resources.

2. Avoid deleting a large number of keys in batches at one time. You can use multiple loops to traverse instead.

3. When using Redis's data structure, you need to pay attention to the size limit of its data type, for example: the maximum limit of the string type is 512 MB.

4. Reasonably set the maximum memory limit of Redis to avoid the application from failing to run normally due to memory crashes.

5. For high-concurrency businesses, sharding technology should be used to deploy Redis shards to multiple nodes.

6. Avoid large-scale write operations, which will affect Redis's performance and data stability. Queues can generally be used to cache these operations.

7. When using Redis, you can use cache preheating to improve data access efficiency. For example: preload hot data into Redis to avoid a large number of concurrent requests to obtain data from the backend at the same time.

In general, Alibaba engineers' Redis development experience can be summarized as: reasonable use of Redis data structure, use of sharding technology, reasonable cache preheating, and avoidance of large-scale write operations.