Tổng quan về luận án

Sự bùng nổ của các dịch vụ truyền thông thế hệ mới như truyền hình giao thức Internet (IPTV), video theo yêu cầu (VoD) và thoại qua IP (VoIP) đã tạo ra áp lực khổng lồ lên hạ tầng mạng truyền tải toàn cầu. Trong khi công nghệ sợi quang kết hợp ghép kênh phân chia theo bước sóng mật độ cao (DWDM) mở ra tiềm năng băng thông vượt bậc lên tới 50 Tb/s trên mỗi sợi dẫn quang, các công nghệ chuyển mạch truyền thống lại bộc lộ những rào cản nội tại rõ rệt. Chuyển mạch kênh quang (OCS) bộc lộ sự kém thích nghi với lưu lượng biến thiên dạng chùm (bursty traffic) do việc cấp phát bước sóng tĩnh và độ trễ thiết lập kết nối hai chiều (two-way reservation) lớn. Ngược lại, chuyển mạch gói quang (OPS) vẫn chưa thể thương mại hóa trong tương lai gần do rào cản công nghệ: sự vắng bóng của bộ nhớ truy cập ngẫu nhiên toàn quang (All-Optical RAM) và giới hạn vật lý khi "để trì hoãn một gói quang trong 5 micro giây, người ta phải cần đến 200km sợi quang" (hoặc đường trễ FDL tương đương).

Trong bối cảnh đó, chuyển mạch chùm quang (Optical Burst Switching - OBS) nổi lên như một kiến trúc chuyển mạch đột phá, đóng vai trò dung hòa giữa độ hạt thô của OCS và độ hạt mịn của OPS. Đặc trưng cốt lõi của mạng OBS là sự tách biệt hoàn toàn giữa gói điều khiển (Burst Header Packet - BHP) và chùm dữ liệu (Data Burst) cả về mặt thời gian (gửi trước một khoảng thời gian offset $\tau_{offset}$) lẫn không gian (truyền trên kênh điều khiển độc lập). Cơ chế đặt trước tài nguyên một chiều không yêu cầu báo nhận giúp triệt tiêu nhu cầu đệm dữ liệu quang tại các nút lõi, nhưng đồng thời chuyển toàn bộ áp lực xử lý lên đơn vị điều khiển chuyển mạch (Switching Control Unit - SCU). Tại đây, bài toán lập lịch tài nguyên bước sóng và thời gian giữ kênh tại cổng ra đóng vai trò quyết định đến hiệu năng toàn mạng.

Khoảng trống nghiên cứu (Research Gap) then chốt mà luận án tiến sĩ chuyên ngành Khoa học Máy tính (mã số 62.01) của nghiên cứu sinh Nguyễn Hồng Quốc (Đại học Huế, 2017) tập trung giải quyết nằm ở sự mất cân đối giữa hiệu suất khai thác băng thông và độ phức tạp tính toán của các giải thuật lập lịch hiện hành. Các giải thuật lập lịch trực tiếp (như LAUC, LAUC-VF) chỉ tối ưu cục bộ cho chùm hiện thời, gây phân mảnh băng thông nghiêm trọng đối với các chùm đến sau. Các mô hình kết hợp lập lịch lại và phân đoạn chùm trước đó (như ODBR của Tan et al., 2004; PCSA của Umaru et al., 2011) chưa áp dụng cơ chế lấp đầy khoảng trống tối ưu ở giai đoạn đầu, chỉ lập lịch lại chùm sau cùng và loại bỏ hoàn toàn phần chùm chồng lấp. Mặt khác, các giải thuật lập lịch nhóm (Group/Batch Scheduling) đơn kênh kinh điển (OBS-GS, MWIS-OS) có độ phức tạp thuật toán quá cao và áp dụng kích thước khe thời gian $\tau$ cố định thiếu thích nghi; trong khi các giải thuật lập lịch nhóm đa kênh tối ưu (như GreedyOPT, BATCHOPT của Gao et al., 2011) lại đòi hỏi thay đổi cấu trúc giao thức mạng và gỡ bỏ toàn bộ chùm đã lập lịch - một giả định không tưởng trên mạng thực tế.

Luận án xác lập 3 câu hỏi nghiên cứu (Research Questions - RQ) và 3 giả thuyết tương ứng (Hypotheses - H):

  • RQ1: Làm thế nào để cấu trúc hóa một mô hình lập lịch trực tiếp kết hợp 3 giai đoạn nhằm tối thiểu hóa xác suất mất gói và hạn chế tối đa số lượng chùm bị phân đoạn hoặc lập lịch lại?
    • H1: Sự kết hợp giữa giải thuật lấp đầy khoảng trống tối ưu BF-VF ở giai đoạn khởi tạo cùng kỹ thuật dời chùm sau cùng và phân đoạn chùm sẽ tối ưu hóa chỉ số sử dụng băng thông $utilization = (burstlength \times 100)/voidlength$.
  • RQ2: Cơ chế lập lịch nhóm trên đơn kênh có thể đạt được độ phức tạp đa thức $O(n \log n)$ và khả năng thích nghi động theo lưu lượng chùm đến mà không làm tăng độ trễ hàng đợi hay không?
    • H2: Mô hình hóa luồng chùm đến bằng đồ thị khoảng (Interval Graph) kết hợp điều chỉnh khe thời gian $\tau$ nghịch biến với tốc độ luồng chùm sẽ giảm thiểu đồng thời tỷ lệ mất chùm và độ trễ chờ đợi.
  • RQ3: Làm thế nào để giải bài toán lập lịch nhóm trên đa kênh hỗ trợ chuyển đổi bước sóng toàn phần (Full-Range Wavelength Converter - WC) đạt tiệm cận tối ưu toàn cục mà vẫn bảo toàn tính khả thi khi triển khai trên phần cứng SCU?
    • H3: Chuyển đổi trạng thái chùm và khoảng trống khả dụng thành bài toán tìm Clique cực đại có trọng số lớn nhất (Maximum Weight Clique - MWC) trên đồ thị khoảng sẽ tối đa hóa tổng độ dài dữ liệu được truyền tải mà không cần thay đổi giao thức báo hiệu.

Khung lý thuyết của luận án được xây dựng vững chắc dựa trên Lý thuyết Lập lịch công việc (Job Scheduling Theory của Graham et al., 1979), Lý thuyết Đồ thị khoảng (Interval Graph Theory của Golumbic, 2004) và Lý thuyết Tối ưu hóa Luồng mạng (Network Flow Optimization). Phạm vi thực nghiệm của nghiên cứu được kiểm chứng trên cấu hình mạng NSFNET 14 nút (21 liên kết sợi quang) và mạng Dumbbell, khảo sát trên hệ thống hỗ trợ từ 8 đến 64 bước sóng dữ liệu với tải lưu lượng biến thiên từ 0.1 đến 0.9 Erlang. Kết quả đem lại bước đột phá định lượng: giảm tỷ lệ mất chùm từ 20% đến 35%, hạ thấp độ trễ xử lý trung bình 40%, và rút ngắn độ phức tạp tính toán từ hàm mũ xuống bậc đa thức thấp.

Literature Review và Positioning

Tổng quan y văn quốc tế về lập lịch trong mạng OBS được chia thành 4 dòng nghiên cứu chính:

Dòng 1: Lập lịch trực tiếp không lấp đầy và có lấp đầy khoảng trống. Turner (1999) đặt nền móng với FFUC và LAUC, duy trì thời điểm khả dụng sau cùng LAUT (Latest Available Unscheduled Time). Để khắc phục tình trạng lãng phí băng thông giữa các chùm, Xu et al. (2001) đề xuất FFUC-VF và LAUC-VF (Min-SV), theo dõi cả thời điểm bắt đầu và kết thúc của các khoảng trống. Tiếp đó, Iizuka et al. (2002) giới thiệu MinEV, và Nandi et al. (2007) hoàn thiện với giải thuật BF-VF (Best-Fit with Void Filling) nhằm tối ưu hóa tỷ lệ lấp đầy khoảng trống vừa vặn nhất.

Dòng 2: Lập lịch trực tiếp kết hợp lập lịch lại và phân đoạn chùm. Vokkarane và Jue (2002) phát triển kỹ thuật phân đoạn chùm (Burst Segmentation) với hai cơ chế loại bỏ đoạn đầu (head dropping) hoặc loại bỏ đoạn đuôi (tail dropping) để tránh việc hủy bỏ toàn bộ gói dữ liệu. Tan et al. (2004) giới thiệu giải thuật lập lịch lại theo yêu cầu ODBR và giải thuật lập lịch lại chủ động ABR. Kết hợp cả 3 kỹ thuật, Umaru và Aydin (2011) công bố PCSA (dựa trên LAUC-VF), còn Son et al. (2013) đề xuất SODBRA (dựa trên FFUC-VF).

Dòng 3: Lập lịch nhóm trên đơn kênh (không có bộ chuyển đổi bước sóng). Charcranoon et al. (2003) và Phùng et al. (2007) đề xuất OBS-GS và MWIS-OS. Các giải thuật này gom các gói BHP đến trong một khoảng thời gian $\tau$, mô hình hóa xung đột thành đồ thị và tìm Tập độc lập có trọng số lớn nhất (Maximum Weight Independent Set - MWIS) nhằm tối đa hóa số chùm hoặc tổng chiều dài chùm được lập lịch.

Dòng 4: Lập lịch nhóm trên đa kênh (trang bị bộ chuyển đổi bước sóng hoàn toàn). Klinkowski et al. (2005) và Li & Xiong (2008) đưa ra các heuristic như SSF (Smallest Start-time First), LIF (Largest Interval First), SLV và MCF. Nhằm tìm kiếm lời giải tối ưu, Gao et al. (2011) giới thiệu GreedyOPT và BATCHOPT, đưa bài toán lập lịch đa kênh về mô hình lập lịch công việc trên các máy đồng nhất ($S\text{-}IM$).

Cuộc tranh luận học thuật sâu sắc xoay quanh hai luồng quan điểm đối lập:

  1. Quan điểm Heuristic / Phản ứng nhanh (Online Reactive Scheduling): Ưu tiên thời gian xử lý ở mức micro-giây của phần cứng SCU, chấp nhận tỷ lệ mất gói cao hơn để giữ tính đơn giản (Turner, Xu).
  2. Quan điểm Tối ưu hóa theo đợt (Batch Optimal Scheduling): Gom gói BHP để tối ưu hóa toàn cục dựa trên lý thuyết đồ thị và quy hoạch toán học, nhưng đối mặt với nguy cơ gia tăng độ trễ trần và độ phức tạp tính toán bùng nổ (Charcranoon, Gao).

Luận án của NCS. Nguyễn Hồng Quốc định vị chính xác tại giao điểm của hai trường phái này. Nghiên cứu chỉ ra nghịch lý thực tiễn: GreedyOPT và BATCHOPT của Gao et al. (2011) đòi hỏi "việc gỡ hết các chùm đã được lập lịch trên các kênh để đưa về bài toán lập lịch trên máy đồng nhất là không thực tế trên mạng thật", bởi nó phá vỡ cam kết dịch vụ của các chùm đã truyền và yêu cầu sửa đổi sâu giao thức báo hiệu JET/JIT. So với ODBR của Tan et al. (2004) vốn chỉ áp dụng LAUC thô sơ, luận án thiết lập giải thuật iCSA tích hợp BF-VF lấp đầy hai đầu khoảng trống. So với MWIS-OS của Phùng et al. (2007) vốn có độ phức tạp $O(n^3)$ và khe $\tau$ tĩnh, luận án phát triển LGS và LAGS-VF với độ phức tạp giảm xuống $O(n \log n)$ cùng cơ chế điều chỉnh $\tau$ thích nghi động theo lưu lượng tức thời.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng Lý thuyết Lập lịch công việc trên các máy không đồng nhất ($S\text{-}NIM$ - Scheduling on Non-Identical Machines) sang môi trường chuyển mạch toàn quang động:

  1. Tổng quát hóa mô hình S-NIM cho kênh quang có khoảng trống (Void-aware $S\text{-}NIM$): Luận án chứng minh rằng không gian tài nguyên quang tại cổng ra gồm $W$ bước sóng không phải là các máy đồng nhất rảnh rỗi từ mốc thời điểm 0, mà là tập hợp các khoảng trống khả dụng không liên tục bị giới hạn bởi $[s_i, e_i]$. Luận án xây dựng mô hình toán học chuẩn xác: $$\max \sum_{i \in I'} l_i \quad \text{với } I' \subseteq I = {b_1, b_2, \dots, b_n}, \quad l_i = e_i - s_i$$ thỏa mãn điều kiện tương thích: $\forall b_i, b_j \in I'$ được gán trên cùng kênh $k$ thì $[s_i, e_i] \cap [s_j, e_j] = \emptyset$ và $s_i \ge LAUT_k$ (hoặc nằm trọn trong một khoảng trống $V_{k,m}$).

  2. Chuyển dịch Paradigm từ MWIS sang Maximum Weight Clique (MWC): Trong các nghiên cứu trước (Charcranoon et al., 2003), đồ thị xung đột được xây dựng dựa trên sự chồng lấp thời gian, dẫn đến bài toán tìm Tập độc lập lớn nhất (MWIS) vốn là bài toán NP-hard trên đồ thị tổng quát. Luận án thực hiện bước chuyển đổi mô hình: chuyển đổi đồ thị bổ sung và ánh xạ bài toán lập lịch nhóm đa kênh thành bài toán tìm Clique cực đại có trọng số lớn nhất (MWC) trên đồ thị khoảng (Interval Graph). Vì đồ thị khoảng là đồ thị hoàn hảo (Perfect Graph), bài toán MWC có thể giải quyết chính xác trong thời gian đa thức thông qua quy hoạch động và thuật toán luồng cực đại (Max-Flow).

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp đa tầng ba lý thuyết: Lý thuyết Lập lịch tiền định, Lý thuyết Đồ thị khoảng và Lý thuyết Hàng đợi truyền thông quang.

  • Mô hình lập lịch kết hợp iCSA (improved Combined Scheduling Algorithm):
    • Giai đoạn 1 (Lập lịch trực tiếp): Khởi tạo với giải thuật BF-VF nhằm tìm kiếm khoảng trống vừa khít nhất trên tất cả các kênh bước sóng ra, tối đa hóa chỉ số sử dụng $utilization$.
    • Giai đoạn 2 (Lập lịch lại có lấp đầy khoảng trống): Khi Giai đoạn 1 thất bại, iCSA không chỉ xét chùm sau cùng như ODBR mà thực hiện hoán chuyển chùm sau cùng sang các khoảng trống khả dụng trên kênh khác, giải phóng không gian liên tục cho chùm mới đến.
    • Giai đoạn 3 (Phân đoạn chùm thông minh): Nếu lập lịch lại thất bại, thay vì loại bỏ toàn bộ phần chồng lấp, iCSA tính toán điểm cắt tối ưu theo cơ chế tail-dropping hoặc head-dropping, lập lịch phần còn lại và chuyển tiếp phần bị cắt sang bộ chuyển đổi bước sóng nếu khả dụng.
  • Mô hình lập lịch nhóm thích nghi LAGS-VF: Đưa ra cơ chế điều chỉnh kích thước khe thời gian lập lịch nhóm $\tau$ thích nghi động theo hàm nghịch biến với mật độ chùm đến: $$\tau(t) = f\left(\frac{1}{\lambda(t)}\right)$$ Khi lưu lượng $\lambda$ cao, $\tau$ tự động thu hẹp để giải phóng hàng đợi BHP nhanh chóng, tránh tràn bộ nhớ SCU; khi lưu lượng $\lambda$ thấp, $\tau$ tự động mở rộng để gom đủ số lượng chùm cho việc tối ưu hóa nhóm.
  • Điều kiện biên (Boundary Conditions): Mô hình áp dụng chặt chẽ cho kiến trúc nút lõi không đệm (Bufferless Core Node), giao thức báo hiệu một chiều JET với thời gian offset biến thiên, và phân định rõ ràng giữa hai miền công nghệ: không chuyển đổi bước sóng (No Wavelength Conversion) và chuyển đổi bước sóng toàn phần (Full-range WC).

Phương pháp nghiên cứu tiên tiến

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ thế giới quan thực chứng (Positivism) và phương pháp luận định lượng nghiêm ngặt kết hợp giữa chứng minh hình thức toán học và mô phỏng thực nghiệm diện rộng:

Nghiên cứu thiết kế đa mức (Multi-level experimental design): Mức kênh đơn lẻ (đánh giá hiệu quả lấp đầy khoảng trống), mức nút chuyển mạch lõi đơn lẻ (đánh giá hiệu năng xử lý của SCU), và mức toàn mạng (đánh giá tỷ lệ mất gói toàn trình và độ trễ chuyển tiếp).

Quy trình nghiên cứu rigorous

  • Công cụ và Môi trường thực nghiệm:
    • Hệ mô phỏng mạng chuẩn quốc tế: Network Simulator 2 (NS-2) phiên bản 2.3x.
    • Gói mở rộng chuyên dụng cho mạng quang: obs-0.9a (Optical Burst Switching Simulation Package).
    • Toàn bộ các giải thuật đề xuất (iCSA, LGS, LGS-VF, LAGS, LAGS-VF, OPT-GS, LGS-MC, LGS-MC-VF, MWC-GS, MWC-VF-GS) và các giải thuật đối chứng (LAUC, LAUC-VF, BF-VF, ODBR, ABR, PCSA, SODBRA, OBS-GS, MWIS-OS, GreedyOPT, BATCHOPT) được cài đặt trực tiếp bằng ngôn ngữ C++ hướng đối tượng, tích hợp sâu vào tầng liên kết và điều khiển của NS-2.
  • Giao thức thu thập và tạo dữ liệu:
    • Lưu lượng chùm được tạo theo phân phối Poisson đối với thời điểm đến của các gói, và phân phối Pareto (Heavy-tailed distribution) đối với kích thước chùm dữ liệu nhằm phản ánh chính xác bản chất lưu lượng Internet tự tương tự (Self-similar traffic).
    • Chiều dài chùm dao động từ 10 KB đến 100 KB; thời gian offset $\tau_{offset}$ được tính toán tự động dọc theo số nút trung gian (hop-count).
    • Số lượng bước sóng trên mỗi sợi quang mô phỏng thiết lập ở các mức: $W = 8, 16, 32, 64$ kênh dữ liệu; 1 đến 2 kênh điều khiển chuyên dụng.
    • Mỗi kịch bản mô phỏng chạy độc lập với tập mẫu trên $100.000$ chùm quang, lặp lại với các seed ngẫu nhiên khác nhau để đảm bảo khoảng tin cậy 95% ($p < 0.05$).

Data và phân tích

Phân tích hiệu năng so sánh được thực hiện trên hai cấu hình hình học mạng chuẩn:

  1. Mô hình mạng Dumbbell: Đánh giá chính xác hiện tượng thắt nút cổ chai và xung đột tập trung tại nút lõi trung tâm dưới các mức tải cao.
  2. Mô hình mạng NSFNET 14 nút (21 liên kết): Đánh giá hiệu năng mạng diện rộng thực tế với chiều dài liên kết thực và định tuyến đa đường.
Mạng NSFNET 14 nút chuẩn thực nghiệm:
(1)---(2)-------(3)
 |     |         | \
(4)---(5)---(6)  |  (7)
 |     |     |   |   |
(8)---(9)---(10)-(11)(12)
       \     /     \ /
       (13)-(14)----'

Độ phức tạp tính toán của các giải thuật được phân tích giải tích và đối chiếu thực nghiệm:

  • Giải thuật đề xuất LGS và LAGS-VF: Độ phức tạp chỉ ở mức $O(n \log n)$ (nhờ việc sắp xếp thời điểm kết thúc và tính toán chỉ số tuyến tính), vượt trội hoàn toàn so với MWIS-OS ($O(n^3)$ do duyệt tìm tập độc lập trên đồ thị).
  • Giải thuật đề xuất MWC-GS và MWC-VF-GS: Độ phức tạp $O(n \cdot W \log n)$, giảm thiểu đáng kể so với bài toán quy hoạch nguyên của BATCHOPT mà vẫn giữ độ chính xác tiệm cận tối ưu.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Hiệu năng vượt trội của mô hình kết hợp iCSA: Kết quả mô phỏng trên mạng NSFNET chỉ ra rằng iCSA giảm xác suất mất gói từ 28% đến 35% so với ODBR và ABR khi tải mạng tăng từ 0.4 đến 0.8 Erlang. Đặc biệt, so với PCSA và SODBRA, iCSA làm giảm số chùm phải lập lịch lại khoảng 22% và giảm số chùm bị phân đoạn 18%. Lý do là việc áp dụng BF-VF ngay ở Giai đoạn 1 đã tận dụng tối đa các khoảng trống nhỏ hẹp, hạn chế tối đa việc kích hoạt các cơ chế can thiệp gây suy giảm chất lượng dịch vụ ở các giai đoạn sau.
  2. Đột phá về độ phức tạp và độ trễ của LGS và LAGS-VF: Trên cấu hình đơn kênh, LGS-VF duy trì xác suất mất gói tương đương MWIS-OS nhưng giảm thời gian thực thi tính toán hơn 90%. Hơn nữa, giải thuật LAGS-VF với khe thời gian $\tau$ thích nghi đã triệt tiêu hoàn toàn hiện tượng "đói dữ liệu" (starvation) ở tải thấp và nghẽn hàng đợi BHP ở tải cao, giúp thời gian chờ đợi trung bình của gói BHP giảm 40% trong suốt chuỗi 7.500 lần lập lịch liên tiếp.
  3. Tính khả thi thực tế của OPT-GS trên đa kênh: Trong khi BATCHOPT của Gao et al. (2011) đạt kết quả tối ưu lý thuyết nhưng không thể triển khai vì phải hủy các chùm đang truyền, OPT-GS của luận án giải quyết bài toán tối ưu trên tập chùm đến mới kết hợp trạng thái kênh tĩnh mà không can thiệp vào các kết nối đã thiết lập, bảo toàn 100% tính toàn vẹn của dữ liệu đang bay (in-flight data).
  4. Hiệu quả tiệm cận tối ưu của heuristic MWC-GS và MWC-VF-GS: Các thực nghiệm trên mạng Dumbbell và NSFNET-14 chứng minh rằng MWC-VF-GS đạt từ 95% đến 97% hiệu năng thông lượng của giải thuật tối ưu OPT-GS và BATCHOPT, nhưng thời gian tính toán chỉ tương đương các giải thuật heuristic đơn giản (như LIF, SSF).

Implications đa chiều

  • Đóng góp học thuật: Mở rộng lý thuyết lập lịch hệ thống thời gian thực sang mạng truyền thông quang; đặt nền tảng toán học cho việc giải quyết các bài toán tối ưu hóa phân bố tài nguyên không gian - thời gian (Space-Time Resource Allocation) trên đồ thị khoảng.
  • Đổi mới phương pháp luận: Cung cấp một khung phương pháp mô phỏng hoàn chỉnh trên NS-2 kết hợp C++ có khả năng tái sử dụng để nghiên cứu các giao thức định tuyến và cấp phát bước sóng (RWA) thế hệ mới.
  • Ứng dụng thực tiễn trong công nghiệp viễn thông: Các giải thuật LGS-VF và MWC-VF-GS có thể được nạp trực tiếp vào vi điều khiển hoặc chip chuyên dụng FPGA/ASIC trong đơn vị điều khiển chuyển mạch (SCU) của các bộ chuyển mạch quang Reconfigurable Optical Add-Drop Multiplexer (ROADM) và Optical Cross-Connect (OXC) hiện đại của các nhà sản xuất thiết bị viễn thông lớn.
  • Chính sách và Tiêu chuẩn hóa: Cung cấp cơ sở khoa học định lượng cho các nhóm làm việc của ITU-T (Study Group 15) và IETF (CCAMP Working Group) trong việc chuẩn hóa các giao thức điều khiển mặt phẳng dữ liệu GMPLS/OBS cho mạng trục quốc gia.

Limitations và Future Research

Nhìn nhận một cách khách quan và khoa học, luận án tồn tại một số giới hạn nghiên cứu (Boundary Conditions & Limitations):

  1. Giả định về bộ chuyển đổi bước sóng (WC): Các giải thuật lập lịch đa kênh (OPT-GS, MWC-GS) giả định các nút lõi được trang bị bộ chuyển đổi bước sóng toàn phần (Full-range WC). Trên thực tế thương mại, do chi phí đắt đỏ, hầu hết các nút chỉ được trang bị bộ chuyển đổi bước sóng có phạm vi giới hạn (Limited-Range Wavelength Converter - LRWC) hoặc chuyển đổi thưa thớt (Sparse WC).
  2. Chưa tích hợp các suy hao tầng vật lý (Physical Layer Impairments - PLI): Mô hình nghiên cứu xem lớp quang là môi trường truyền dẫn lý tưởng, chưa tính toán đến sự suy giảm tỷ số tín hiệu trên nhiễu (OSNR), nhiễu tán sắc màu (Chromatic Dispersion), tán sắc chế độ phân cực (PMD), và phi tuyến sợi quang khi chùm dữ liệu đi qua nhiều chặng (multi-hop).
  3. Mô hình lập lịch phân tán tại từng nút: Luận án tập trung giải quyết bài toán lập lịch cục bộ tại cổng ra của từng nút lõi đơn lẻ, chưa kết hợp điều phối lập lịch tập trung toàn mạng theo kiến trúc mạng điều khiển bằng phần mềm (Software-Defined Optical Networking - SDON).

Chương trình nghiên cứu tương lai (Future Research Agenda) mở ra 5 hướng tiếp cận:

  • Mở rộng giải thuật MWC-VF-GS cho môi trường chuyển đổi bước sóng giới hạn (LRWC) và chuyển đổi thưa thớt.
  • Tích hợp các ràng buộc chất lượng truyền dẫn tầng vật lý (QoT-aware scheduling) vào hàm mục tiêu của giải thuật lập lịch.
  • Ứng dụng Trí tuệ nhân tạo (Học tăng cường sâu - Deep Reinforcement Learning) để dự đoán lưu lượng và tối ưu hóa thích nghi siêu tham số $\tau$ trong thời gian thực.
  • Thiết kế kiến trúc phần cứng chuyên dụng (FPGA pipeline) để hiện thực hóa giải thuật MWC-GS ở tốc độ xử lý nano-giây.
  • Mở rộng mô hình lập lịch cho mạng Trung tâm dữ liệu quang (Optical Data Center Networks) đa tầng.

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật: Công trình đóng góp hệ thống 8 bài báo khoa học chuyên ngành chất lượng cao (gồm các công trình từ [CT1] đến [CT8]), tạo tiền đề cho nhiều trích dẫn trong lĩnh vực tính toán hiệu năng mạng quang và lý thuyết lập lịch viễn thông.
  • Chuyển đổi công nghiệp viễn thông: Đặt nền móng kỹ thuật cho việc nâng cấp các mạng truyền tải quang đô thị (MAN) và mạng đường trục (WAN) từ cơ chế ghép kênh bước sóng tĩnh sang chuyển mạch chùm động, đáp ứng nhu cầu băng thông của mạng 5G/6G và điện toán đám mây.
  • Lợi ích xã hội và môi trường: Chuyển mạch toàn quang trong miền quang giúp loại bỏ các bộ chuyển đổi Quang - Điện - Quang (O/E/O) tiêu tốn nhiều năng lượng, góp phần hiện thực hóa hạ tầng mạng truyền thông xanh (Green Optical Networking), giảm thiểu phát thải carbon của các trung tâm dữ liệu toàn cầu.

Đối tượng hưởng lợi

  • Nghiên cứu sinh & Nhà khoa học trẻ: Tiếp cận được phương pháp mô hình hóa bài toán viễn thông phức tạp thành bài toán tối ưu trên đồ thị khoảng, cùng phương pháp thực nghiệm chuẩn mực trên NS-2/C++.
  • Các Giáo sư & Chuyên gia nghiên cứu cao cấp: Kế thừa khung phân tích lý thuyết $S\text{-}NIM$ mở rộng để phát triển các mô hình lập lịch cho mạng quang không gian (Satellite Optical Networks).
  • Kỹ sư R&D tại các tập đoàn viễn thông (Cisco, Huawei, Nokia, VNPT, Viettel): Trực tiếp ứng dụng mã nguồn giải thuật iCSA, LAGS-VF, MWC-VF-GS để tối ưu hóa firmware cho các thiết bị chuyển mạch lõi OXC/ROADM.
  • Các nhà hoạch định chính sách hạ tầng số: Có cơ sở khoa học vững chắc để xây dựng lộ trình đầu tư hạ tầng mạng băng rộng toàn quang quốc gia.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc mở rộng Lý thuyết Lập lịch công việc trên máy không đồng nhất ($S\text{-}NIM$) kết hợp Lý thuyết Đồ thị khoảng vào không gian tài nguyên quang học có khoảng trống phân mảnh phi đối xứng. Luận án đã chứng minh rằng trạng thái kênh bước sóng trong mạng OBS có thể ánh xạ hoàn hảo thành bài toán tìm Clique cực đại có trọng số lớn nhất (MWC), cho phép tìm ra lời giải tiệm cận tối ưu trong thời gian đa thức mà không làm xáo trộn các luồng dữ liệu đã được cấp phát trước đó.

2. Sự đổi mới về phương pháp luận của luận án khi so sánh với ít nhất 2 nghiên cứu quốc tế tiêu biểu?

  • So với nghiên cứu của Tan et al. (2004) về giải thuật ODBR: Luận án tích hợp BF-VF ngay từ giai đoạn 1 và cơ chế dời chùm có lấp đầy khoảng trống ở giai đoạn 2 (thay vì chỉ dùng LAUC thô sơ và xét chùm cuối cùng), giúp giảm tỷ lệ phân mảnh và hạ thấp số chùm phải lập lịch lại tới 22%.
  • So với nghiên cứu của Gao et al. (2011) về BATCHOPT: Luận án loại bỏ giả định phi thực tế về việc "gỡ bỏ toàn bộ chùm đã lập lịch để đưa về máy đồng nhất", thay thế bằng mô hình đồ thị luồng tĩnh/động kết hợp (OPT-GS và MWC-GS), loại bỏ hoàn toàn chi phí phụ trợ báo hiệu hủy chùm mà vẫn đạt 95-97% hiệu năng tối ưu.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất và dữ liệu chứng minh?

Phát hiện bất ngờ nhất là giải thuật heuristic LAGS-VF (lập lịch nhóm đơn kênh thích nghi) với độ phức tạp cực thấp $O(n \log n)$ lại đạt hiệu năng thông lượng tương đương, thậm chí vượt trội về độ ổn định độ trễ so với giải thuật tối ưu toán học kinh điển MWIS-OS ($O(n^3)$). Dữ liệu kiểm chứng trên 7.500 lần lập lịch liên tiếp cho thấy LAGS-VF giảm thời gian chờ trung bình 40% và loại bỏ hoàn toàn các đỉnh xung đột độ trễ khi lưu lượng biến động đột ngột.

4. Giao thức tái lập thực nghiệm (Replication Protocol) có được cung cấp đầy đủ không?

Có. Luận án mô tả chi tiết toàn bộ thông số mô phỏng: Hệ điều hành Linux, bộ mô phỏng NS-2 với gói obs-0.9a, mã nguồn C++ của từng giải thuật, cấu hình topo chuẩn NSFNET-14 nút và Dumbbell, phân phối lưu lượng (Poisson, Pareto), kích thước chùm (10-100 KB), số lượng kênh ($W=8 \dots 64$), và giao thức báo hiệu JET.

5. Chương trình nghị sự nghiên cứu 10 năm (10-year research agenda) được vạch ra như thế nào?

Chương trình nghiên cứu 10 năm định hướng phát triển chuyển mạch chùm quang tự hành (Autonomous OBS): Tích hợp học máy sâu (Deep RL) vào SCU để tự động thích nghi chính sách lập lịch theo biến động thời gian thực; mở rộng mô hình cho mạng trung tâm dữ liệu quang (Optical DCN); và phát triển kiến trúc SCU toàn quang trên chip quang tử tích hợp (Photonic Integrated Circuits - PIC).

Kết luận

Luận án tiến sĩ của NCS. Nguyễn Hồng Quốc là một công trình khoa học công phu, chuẩn mực và có giá trị học thuật cũng như ứng dụng thực tiễn xuất sắc trong lĩnh vực mạng chuyển mạch chùm quang. Các đóng góp cốt lõi được tóm lược thành 5 điểm cụ thể:

  1. Đề xuất giải thuật lập lịch kết hợp iCSA: Kết hợp hoàn hảo 3 giai đoạn (BF-VF, lập lịch lại có lấp đầy khoảng trống, và phân đoạn chùm), giảm xác suất mất gói từ 28% đến 35% so với ODBR/ABR.
  2. Đề xuất giải thuật lập lịch nhóm đơn kênh LGS và họ cải tiến LGS-VF, LAGS, LAGS-VF: Đưa độ phức tạp thuật toán từ $O(n^3)$ về bậc đa thức thấp $O(n \log n)$, đồng thời hiện thực hóa cơ chế điều chỉnh khe thời gian $\tau$ động thích nghi với lưu lượng chùm đến.
  3. Đề xuất giải thuật lập lịch nhóm đa kênh tối ưu OPT-GS: Xây dựng mô hình quy hoạch luồng cực đại trên đồ thị khoảng, khắc phục triệt để nhược điểm hủy chùm của các giải thuật tối ưu trước đây.
  4. Đề xuất họ giải thuật heuristic đa kênh MWC-GS, MWC-VF-GS và LGS-MC: Đạt 95-97% hiệu năng tối ưu toàn cục với độ phức tạp chỉ $O(n \cdot W \log n)$, hoàn toàn khả thi để nhúng vào phần cứng SCU thời gian thực.
  5. Đóng góp hệ thống 8 công trình khoa học uy tín: Khẳng định tính đúng đắn lý thuyết và giá trị thực tiễn thông qua các bài báo chuyên ngành chất lượng cao.

Công trình tạo ra bước chuyển dịch quan trọng trong kỹ thuật điều khiển mạng toàn quang, mở ra 3 hướng nghiên cứu mới về lập lịch thích nghi AI, lập lịch có nhận thức suy hao tầng vật lý, và tối ưu hóa hạ tầng mạng trung tâm dữ liệu siêu băng thông trong tương lai.