Tổng quan nghiên cứu
Sự bùng nổ của dữ liệu lớn trong các ngành khoa học mũi nhọn như thiên văn học, sinh tin học và vật lý hạt nhân tạo ra áp lực khổng lồ lên hạ tầng tính toán truyền thống. Nhiều thử nghiệm khoa học xử lý các bộ dữ liệu phức tạp quy mô từ 400 GB đến hàng nghìn gigabyte, đòi hỏi việc phối hợp hàng nghìn tác vụ đồng thời. Kỹ thuật luồng công việc khoa học (scientific workflow) được mô hình hóa dưới dạng đồ thị có hướng không chu trình (DAG - Directed Acyclic Graph) đã trở thành giải pháp cốt lõi để chuẩn hóa và quản lý tính toán quy mô lớn. Tuy nhiên, việc vận hành các workflow phức tạp trên một hạ tầng đơn lẻ thường đối mặt với tình trạng tắc nghẽn tài nguyên và chi phí vận hành đắt đỏ.
Điện toán đám mây với mô hình Hạ tầng như một Dịch vụ (IaaS) và kiến trúc đa đám mây (Multi-Cloud/Hybrid Cloud) mở ra cơ hội mở rộng năng lực tính toán linh hoạt bằng cách kết hợp giữa đám mây riêng và các nhà cung cấp dịch vụ đám mây công cộng như Amazon Web Services. Vấn đề đặt ra là bài toán lập lịch cho các workflow khoa học trên môi trường phân tán đa đám mây thuộc nhóm bài toán tối ưu hóa NP-khó (NP-hard). Mục tiêu cụ thể của luận văn là thiết kế khung giải pháp lập lịch động 3 giai đoạn nhằm tối ưu hóa đồng thời hai chỉ số quan trọng: tổng thời gian hoàn thành (makespan) và chi phí tài chính (monetary cost).
Nghiên cứu được hoàn thiện vào tháng 11 năm 2013 tại Phòng thí nghiệm Song song (LIP) thuộc Trường Sư phạm Lyon (ENS de Lyon), hợp tác cùng Viện Tin học Pháp ngữ (IFI). Về mặt định lượng, giải pháp đề xuất giúp kiểm soát chặt chẽ việc phân bổ dữ liệu lưu trữ trên các máy ảo, giảm thiểu hiện tượng di chuyển dữ liệu thừa và thiết lập tỷ lệ đánh đổi hiệu quả giữa thời gian thực thi tính bằng giờ và chi phí tính bằng USD cho từng loại cấu hình máy ảo.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết áp dụng
Nghiên cứu được xây dựng dựa trên sự giao thoa của 2 khung lý thuyết nền tảng: lý thuyết tối ưu hóa đồ thị trong hệ thống phân tán và lý thuyết điện toán đám mây IaaS theo tiêu chuẩn của Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST). Năm khái niệm khoa học then chốt được áp dụng xuyên suốt bao gồm:
Mô hình hóa workflow dạng DAG $G=(V, E)$: Trong đó $V$ là tập hợp các đỉnh đại diện cho các tác vụ tính toán với khối lượng chỉ lệnh tính bằng MIPS (Million Instructions Per Second), và $E$ là tập các cung biểu diễn sự phụ thuộc dữ liệu cũng như dung lượng truyền tải giữa các nút.
Cơ chế phân cụm đồ thị (Graph-cut Clustering): Kỹ thuật phân rã cấu trúc luồng công việc lớn thành các đồ thị con (subgraphs) hoặc cụm (clusters) độc lập nhằm giảm thiểu tối đa lưu lượng dữ liệu trao đổi liên cụm.
Điện toán đám mây IaaS và đám mây lai (Hybrid Cloud): Cung cấp tài nguyên ảo hóa theo nhu cầu với các thông số cấu hình cụ thể như số lượng vCPU (từ 1 đến 8 vCPU), dung lượng RAM (từ 128 MB đến 16 GB), và không gian đĩa cục bộ (từ 0 GB đến 4x420 GB).
Chỉ số chất lượng dịch vụ QoS và Makespan: Độ đo hiệu năng tổng thể xác định từ thời điểm tác vụ đầu tiên nhận yêu cầu đến khi tác vụ cuối cùng hoàn tất xuất dữ liệu đầu ra.
Cân bằng chi phí tài chính: Mô hình hàm mục tiêu tính toán tổng chi phí thuê máy ảo dựa trên đơn giá theo giờ và thời gian chiếm dụng tài nguyên từ lúc khởi tạo đến lúc giải phóng.
Phương pháp nghiên cứu
Nghiên cứu sử dụng phương pháp thực nghiệm mô phỏng trên nền tảng SimGrid Cloud Broker (SGCB) thuộc dự án ANR INFRA SONGS. Phương pháp này tái lập chính xác cơ chế hoạt động thực tế của hạ tầng Amazon Web Services với 3 dịch vụ cốt lõi: EC2 (tính toán ảo hóa), S3 (lưu trữ phân tán) và EBS (khối lưu trữ gắn kèm).
Cỡ mẫu và phương pháp chọn mẫu: Nghiên cứu thực nghiệm trên bộ dữ liệu chuẩn gồm 3 cấu trúc workflow khoa học đại diện phổ biến trong cộng đồng học thuật thế giới: Montage (thiên văn học), Epigenomics (di truyền học) và LIGO Inspiral Analysis (vật lý sóng hấp dẫn). Cỡ mẫu thực nghiệm phân cấp theo 4 quy mô tác vụ khác nhau cho mỗi workflow: 25, 50, 100 và 1000 tác vụ đối với Montage; 24, 47, 100 và 997 tác vụ đối với Epigenomics; 30, 50, 100 và 1000 tác vụ đối với Inspiral. Việc chọn các tập mẫu đa dạng này đảm bảo bao quát từ cấu trúc luồng tuần tự, phân nhánh song song cho đến gom cụm phức tạp.
Lý do lựa chọn phương pháp phân tích: Do bài toán thuộc lớp NP-khó, việc thử nghiệm trực tiếp trên hạ tầng thương mại đa vùng gây tốn kém chi phí và khó kiểm soát tính tái lập. Môi trường mô phỏng SGCB kết hợp ngôn ngữ phân tích thống kê R và công cụ trực quan hóa pajeng cho phép đo lường chính xác các thông số thời gian tính bằng mili-giây (ms), dung lượng dữ liệu truyền qua mạng và chi phí tài chính thực tế trên từng loại máy ảo như t1.micro, m1.small và m1.xlarge.
Kết quả nghiên cứu và thảo luận
Những phát hiện chính
Quá trình kiểm thử 6 thuật toán phân cụm đồ thị (Label-based, TripletVersion1, TripletVersion2, BCC-based, DCC-based, NoGraphCut) kết hợp 2 chiến lược cấp phát tài nguyên (Cheapest, OneClusterPerVM) trên nền tảng SGCB mang lại 4 phát hiện nổi bật:
Thứ nhất, thuật toán TripletVersion1 tạo ra số lượng cụm tối ưu nhất nhưng đòi hỏi thời gian xử lý đồ thị dài nhất. Ở quy mô Montage 1000 tác vụ, TripletVersion1 gom toàn bộ quy trình thành 1 cụm thống nhất, giúp loại bỏ hoàn toàn chi phí truyền dữ liệu liên máy ảo, nhưng thuật toán mất tới 95.351.248 ms (khoảng hơn 26 giờ tính toán phân tích đồ thị). Ngược lại, phiên bản TripletVersion2 cải tiến cơ chế đánh dấu đã cắt giảm thời gian xử lý xuống còn 3.436.131 ms, giảm hơn 96,3% thời gian tính toán của thuật toán, dù số lượng cụm phân chia tăng lên 9 cụm.
Thứ hai, thuật toán Label-based đạt tốc độ thực thi phân cụm vượt trội với thời gian chỉ mất 22 ms cho Montage 1000 tác vụ, 16 ms cho Epigenomics 997 tác vụ, và 22 ms cho Inspiral 1000 tác vụ. Số lượng cụm sinh ra từ Label-based luôn ổn định tuyệt đối (9 cụm cho Montage, 8 cụm cho Epigenomics, 4 cụm cho Inspiral) bất kể quy mô tăng từ 25 lên 1000 tác vụ.
Thứ ba, đối với workflow có cấu trúc đơn đầu vào và đơn đầu ra như Epigenomics, hai thuật toán tìm kiếm theo chiều rộng có ràng buộc (BCC-based) và chiều sâu có ràng buộc (DCC-based) cho hiệu năng phân cụm lý tưởng. Tại mức 997 tác vụ, cả hai thuật toán chỉ tạo ra đúng 7 cụm với thời gian phân tích cực nhanh (485 ms với BCC và 538 ms với DCC), tương đương mức tối ưu của TripletVersion1 (7 cụm) nhưng nhanh hơn gấp 280 lần.
Thứ tư, sự khác biệt rõ rệt giữa hai chiến lược cấp phát tài nguyên: Chiến lược OneClusterPerVM kết hợp TripletVersion1 mang lại chi phí tài chính thấp nhất nhưng kéo dài thời gian thực thi (makespan). Trong khi đó, chiến lược Cheapest tuy tối ưu hóa giá thuê trên từng đơn vị máy ảo đơn lẻ nhưng lại làm tăng tổng thời gian hoàn thành của toàn bộ workflow lên mức cao nhất.
Thảo luận kết quả
Các kết quả phân tích cho thấy mối tương quan nghịch đảo giữa chi phí tài chính và thời gian hoàn thành của hệ thống luồng công việc. Khi dữ liệu được trực quan hóa qua biểu đồ ma trận nhiệt (heatmap matrix) 2 chiều thể hiện sự kết hợp giữa các thuật toán phân rã đồ thị và thuật toán cấp phát tài nguyên, các vùng màu thể hiện rõ nét sự đánh đổi:
Nguyên nhân của hiện tượng này bắt nguồn từ bản chất phân bố tài nguyên IaaS. Với chiến lược OneClusterPerVM, khi số lượng cụm ít (như TripletVersion1), hệ thống chỉ khởi tạo 1 đến vài máy ảo cấu hình cao. Điều này giúp triệt tiêu chi phí truyền tải dữ liệu qua mạng đám mây, nhưng làm mất đi tính song song, khiến các tác vụ phải xếp hàng tuần tự. Ngược lại, phương pháp NoGraphCut xem mỗi tác vụ là một cụm riêng biệt, kích hoạt đồng thời hàng chục máy ảo phân tán. Phương pháp này tận dụng tối đa tính toán song song giúp giảm makespan xuống mức thấp nhất, nhưng đẩy chi phí thuê máy ảo và lưu lượng truyền thông lên mức cao nhất.
So sánh với các nghiên cứu lập lịch kinh điển như HSGA hay giải thuật bầy đàn S-CLPSO, giải pháp 3 giai đoạn tích hợp ràng buộc dung lượng lưu trữ phân tán của tác giả DAO Van Toan giải quyết triệt để bài toán thắt nút cổ chai băng thông. Việc đưa dung lượng bộ nhớ đệm và kích thước tệp trung gian vào hàm ràng buộc dừng totalPredit(C, k) giúp ngăn chặn tình trạng tràn bộ nhớ máy ảo cục bộ. Dữ liệu thực nghiệm qua các bảng so sánh chỉ ra rằng không có một thuật toán đơn lẻ nào tối ưu trong mọi tình huống, mà việc lựa chọn phải căn cứ trực tiếp vào cấu trúc topo của workflow và ưu tiên ngân sách của người dùng.
Đề xuất và khuyến nghị
Từ các kết quả nghiên cứu và thảo luận thực nghiệm, 4 khuyến nghị cụ thể được đưa ra nhằm nâng cao hiệu năng vận hành workflow trên môi trường đa đám mây:
Tích hợp thuật toán thích ứng theo cấu trúc topo dữ liệu: Các đơn vị nghiên cứu khoa học cần cấu hình hệ sinh thái tự động nhận diện dạng workflow. Áp dụng ngay thuật toán BCC-based hoặc DCC-based cho các luồng xử lý dạng ống dẫn tuyến tính (pipeline) như Epigenomics để giảm 99% thời gian lập lịch; đồng thời chuyển hướng sang TripletVersion2 cho các luồng dạng phân tán - hội tụ (Montage, Inspiral) nhằm cân bằng giữa số lượng máy ảo và thời gian tính toán.
Triển khai cơ chế lập lịch theo ngân sách động: Đội ngũ kỹ sư hệ thống cần thiết lập bộ quy tắc điều phối tài nguyên dựa trên chỉ số thương số giữa chi phí và thời gian ($Ratio = Cost / Time$). Khi người dùng ưu tiên tiết kiệm ngân sách, hệ thống kích hoạt tổ hợp TripletVersion1 + OneClusterPerVM để tiết kiệm đến khoảng 40% chi phí thuê máy ảo. Khi cần hoàn thành gấp trước hạn chót (deadline), hệ thống tự động chuyển sang cấu hình NoGraphCut + HighPerformance VMs.
Nâng cấp middleware quản lý lưu trữ đa tầng: Các nhà phát triển phần mềm trung gian cần tích hợp trực tiếp kết quả phân cụm đồ thị với các dịch vụ lưu trữ đám mây phân tán như Amazon S3 hoặc GlusterFS. Việc gán các tệp dữ liệu trung gian vào cùng một vùng lưu trữ cục bộ của cụm máy ảo giúp giảm ít nhất 30% lưu lượng truyền tải xuyên vùng trong vòng 6 tháng tới.
Chuẩn hóa quy trình gắn nhãn tự động cho luồng công việc: Các tổ chức học thuật nên xây dựng bộ công cụ phân tích tĩnh DAG để tự động sinh nhãn (auto-labeling) thay cho phương pháp thủ công, giúp khai thác triệt để ưu thế tốc độ xử lý dưới 30 ms của thuật toán Label-based trên các hệ thống quy mô lớn trên 10.000 tác vụ.
Đối tượng nên tham khảo luận văn
Nghiên cứu mang lại giá trị học thuật và ứng dụng thực tiễn cao cho 4 nhóm đối tượng chính:
Nhà nghiên cứu và nghiên cứu sinh ngành Khoa học Máy tính: Tài liệu cung cấp cơ sở toán học vững chắc về mô hình hóa đồ thị DAG, phân tích độ phức tạp thuật toán và tổng hợp chi tiết hơn 10 giải thuật lập lịch hiện đại (ACO, Bi-criteria, BOSS-extension, CTC, DBD-CTO, SHEFT).
Kỹ sư Kiến trúc Đám mây và DevOps: Cung cấp khung thiết kế thực tế để triển khai hệ thống quản trị luồng công việc khoa học trên môi trường đám mây lai (Hybrid Cloud) và đa đám mây (Multi-Cloud), tối ưu hóa bài toán chi phí tài nguyên IaaS của doanh nghiệp.
Các nhóm nghiên cứu dữ liệu lớn (Bioinformatics, Thiên văn học, Vật lý hạt nhân): Nhận được hướng dẫn cụ thể trong việc cấu hình và thực thi các bộ công cụ phân tích nổi tiếng như Montage, Epigenomics và LIGO trên hạ tầng tính toán phân tán.
Học viên cao học chuyên ngành Mạng và Hệ thống truyền thông: Bản luận văn là tài liệu mẫu mực về phương pháp nghiên cứu khoa học, từ tổng quan tài liệu, thiết kế mô hình thực nghiệm với SimGrid/SGCB đến kỹ thuật phân tích số liệu bằng ngôn ngữ R.
Câu hỏi thường gặp
Lập lịch luồng công việc trên Multi-Cloud khác gì so với trên Grid computing truyền thống?
Môi trường Multi-Cloud có tính đàn hồi cao và cung cấp tài nguyên theo mô hình thương mại hóa IaaS với bảng giá linh hoạt theo giờ. Lập lịch trên Multi-Cloud đòi hỏi phải giải quyết đồng thời bài toán thời gian hoàn thành và chi phí thuê máy ảo thực tế, trong khi hệ thống Grid chủ yếu tập trung vào tận dụng tối đa công suất tài nguyên tĩnh có sẵn.
Tại sao cần thực hiện giai đoạn phân cụm đồ thị (Graph-cut) trước khi cấp phát máy ảo?
Nếu gán trực tiếp mỗi tác vụ cho một máy ảo riêng lẻ, chi phí tài chính sẽ tăng vọt và lưu lượng truyền dữ liệu trung gian qua mạng sẽ làm nghẽn hệ thống. Phân cụm đồ thị giúp gom các tác vụ phụ thuộc dữ liệu chặt chẽ vào cùng một máy ảo, giảm thiểu thời gian truyền tệp và tối ưu hóa chi phí vận hành.
SimGrid Cloud Broker (SGCB) đóng vai trò gì trong nghiên cứu này?
SGCB là công cụ mô phỏng chuẩn xác kiến trúc và hành vi của Amazon Web Services (gồm EC2, S3, EBS). SGCB cho phép giả lập các kịch bản thực thi phân tán quy mô hàng nghìn tác vụ trên môi trường đa vùng một cách khách quan, loại bỏ các sai số do biến động mạng Internet thực tế.
Khi nào nên ưu tiên sử dụng thuật toán Label-based?
Thuật toán Label-based nên được sử dụng khi workflow đã được chuẩn hóa cấu trúc rõ ràng từ trước và hệ thống đòi hỏi tốc độ ra quyết định lập lịch tức thì trong vài mili-giây, đặc biệt hiệu quả với các hệ thống phân tích luồng dữ liệu thời gian thực.
Làm thế nào để kiểm soát tình trạng tràn dung lượng đĩa của máy ảo khi gom nhiều tác vụ?
Luận văn đã tích hợp hàm kiểm tra ràng buộc dung lượng lưu trữ totalPredit(C, k) trong các thuật toán BCC-based và DCC-based. Thuật toán sẽ liên tục kiểm tra tổng kích thước tệp vào/ra của cụm, nếu vượt quá ngưỡng cấu hình lưu trữ của máy ảo mục tiêu, quá trình gom cụm sẽ lập tức dừng lại để chuyển sang cụm mới.
Kết luận
Luận văn đã giải quyết toàn diện bài toán tối ưu hóa luồng công việc khoa học trên môi trường đa đám mây IaaS thông qua 5 đóng góp học thuật và thực tiễn cốt lõi:
- Đề xuất thành công khung kiến trúc lập lịch 3 giai đoạn độc lập nhưng gắn kết chặt chẽ: Phân rã đồ thị (Graph-cut), Dự trù tài nguyên (Resource Provisioning) và Phân bổ tác vụ (Task Allocation).
- Phát triển các biến thể thuật toán phân cụm đồ thị cải tiến gồm BCC-based, DCC-based và TripletVersion2 tích hợp ràng buộc dung lượng dữ liệu lưu trữ động.
- Mở rộng thành công công cụ mô phỏng SimGrid Cloud Broker để kiểm thử toàn diện các cấu trúc workflow kinh điển với quy mô lên tới 1000 tác vụ.
- Xác lập và chứng minh thực nghiệm mô hình tương quan giữa 3 yếu tố: cấu trúc phân bổ cụm tác vụ, tổng thời gian hoàn thành (makespan) và tổng chi phí thuê máy ảo.
- Định hình giải pháp cân bằng QoS linh hoạt cho phép người dùng tùy biến chiến lược thực thi theo mức độ ưu tiên về thời gian hoặc ngân sách tài chính.
Trong giai đoạn tiếp theo, hướng nghiên cứu sẽ tiếp tục mở rộng mô hình để tích hợp thêm các ràng buộc đa mục tiêu phức tạp như mức độ an toàn bảo mật dữ liệu, độ tin cậy của nhà cung cấp dịch vụ đám mây, và thử nghiệm trên các bộ dữ liệu thiên văn học thế hệ mới quy mô cực lớn như LSST. Quý bạn đọc và các nhóm nghiên cứu quan tâm có thể ứng dụng ngay mô hình này để tối ưu hóa hạ tầng tính toán phân tán cho đơn vị của mình.