将 Redis 源码直接嵌入 ArceOS 相关情况

[coolyjg]

嵌入过程

• 在 apps/c/ 目录下添加 Redis submodule
• 修改 Redis MakeFile，目前仅编译 Redis Server，指定参数 nostdinc，编译命令如下:

CC=aarch64-linux-musl-gcc CFLAGS="-nostdinc -Ipath/to/arceos/ulib/c_libax/include" USE_JEMALLOC=no make V=1 REDIS_CFLAGS='-Werror -nostdinc -I/home/yanjuguang/OS/arceos/ulib/c_libax/include' -j

• 分析输出，判断需要增加哪些 API
• 修改后的RedisMakeFile
• 输出结果
• 整理结果

其他记录

• Redis 自带的 MakeFile 会产生一个 make_settings，make clean 不会删掉该文件，修改 make 参数后建议手动删除
• 由于 stddef.h 与标准的 musl 不同，需要在 redis/src/sds.h 和 redis/src/anet.h 中添加 include <stddef.h>，后续应该把相关定义移到 stdint.h