参考文献

[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.