PHÂN TÍCH VÀ KIỂM CHỨNG KIẾN TRÚC HAYSTACK TRONG MẠNG XÃ HỘI FACEBOOK

Lê Thị Thúy, Bùi Quốc Việt

Tóm tắt


Haystack là một kiến trúc hệ thống lưu trữ được tối ưu hóa cho ứng dụng ảnh của Facebook. Haystack có bốn ưu điểm chính so với hệ thống trước đó bao gồm, thông lượng cao và độ trễ thấp, khả năng chịu lỗi, chi phí hiệu quả và tính đơn giản. Với việc sử dụng rộng rãi của kiến trúc Haystack trong Facebook, thì tính hợp lệ của nó và các thuộc tính chính yếu khác được trừu tượng hóa từ kiến trúc này cần phải được phân tích và kiểm chứng trong một tiếp cận chính xác. Bài viết tập trung vào thiết kế bên trong việc xử lí và tải nạp một bức ảnh của kiến trúc Haystack và áp dụng đại số tiến trình CSP để phân tích chúng một cách chi tiết. Bằng cách đưa các mô hình vào bộ công cụ phân tích tiến trình PAT để kiểm chứng một số tính chất quan trọng, bao gồm tính chất cơ bản và tính chất bổ sung. Tính chất cơ bản bao gồm Deadlock Freedom; các tính chất bổ sung bao gồm truy cập tương tranh, truy cập tương tranh không đồng bộ, truy cập tương tranh với cùng một máy khách, tải nạp tương tranh và tải nạp tương tranh với cùng một máy khách. Cuối cùng, theo kết quả kiểm chứng, chúng tôi thấy rằng từ góc độ CSP, các tính chất của kiến trúc Haystack là hợp lệ, có nghĩa là nó đáp ứng các yêu cầu theo tài liệu của Facebook.

 


Từ khóa


phân tích; CSP; Haystack, kiểm chứng; PAT

Toàn văn:

PDF

Trích dẫn


Brookes, S. D., Hoare, C. A. R., & Roscoe, A. W. (1984). A theory of communicating sequential processes. J. ACM, 31(3), 560-599.

Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, & Peter Vajgel (2010). Finding a needle in haystack: Facebook’s photo storage. In 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings, 47-60.

Hoare, C. A. R. (1978). Communicating sequential processes. Communications of the ACM, 21(8), 666-677.

Jan A. Bergstra, & Jan Willem Klop (1985). Algebra of communicating processes with abstraction. Theor. Comput. Sci., 37, 77-121.

Lowe, G., & Roscoe A. W. (1997). Using CSP to detect errors in the TMN protocol. IEEE Trans. Software Eng., 23(10), 659-669.

National University of Singapore. PAT (2008). Process analysis toolkit url=https://pat.comp.nus.edu.sg/.

Ngo, Q. V. (2011). Multi-coronas zernike moments on curvelet-like transform and application to pattern recognition. Ho Chi Minh City University of Education of Journal of Science, 30(64).

Robin Milner (1980) A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer.

Roscoe, A. W. (2010). Understanding Concurrent Systems. Texts in Computer Science. Springer.




DOI: https://doi.org/10.54607/hcmue.js.20.7.3653(2023)

Tình trạng

  • Danh sách trống