参考文献

[1] PATTERSON D A, GIBSON G, KATZ R H. A case for redundant arrays of inexpensive disks (RAID)[R/OL]. (1987-12)[2023-04-05].

[2] LIN H, ZHU X, YU B, et al. Shentu: processing multi-trillion edge graphs on millions of cores in seconds[C]//SC18: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 2018: 706-716.

[3] DECANDIA G, HASTORUN D, JAMPANI M, et al. Dynamo: Amazon's highly available key-value store[J]. ACM SIGOPS operating systems review, 2007, 41(6): 205-220.

[4] PAN S, STAVRINOS T, ZHANG Y, et al. Facebook's tectonic filesystem: efficiency from exascale[C]//19th USENIX Conference on File and Storage Technologies (FAST 21). 2021: 217-231.

[5] BORNHOLT J, JOSHI R, ASTRAUSKAS V, et al. Using lightweight formal methods to validate a key-value storage node in Amazon S3[C]//Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles. 2021: 836-850. exBIgM7oNmXed50PJAa4RUuXzzMvWfHF0JgvzHoawgwB4cVaDBmTzx1UplcXRsBI