Tổng quan nghiên cứu

Mạng Ad Hoc không dây (Mobile Ad Hoc Network - MANET) là mô hình mạng không dây phân tán linh hoạt, cho phép các thiết bị tự thiết lập kết nối mà không cần dựa vào cơ sở hạ tầng cố định hay trạm điều khiển trung tâm. Trong các công nghệ mạng cục bộ không dây, tiêu chuẩn IEEE 802.11 đóng vai trò nền tảng phổ biến nhất nhờ tính cơ động cao và khả năng triển khai tức thì. Tuy nhiên, việc đảm bảo chất lượng dịch vụ (QoS), đặc biệt là chỉ tiêu công bằng luồng (Flow Fairness), là thách thức kỹ thuật phức tạp nhất trong môi trường truyền dẫn phân tán đa chặng.

Thực tế vận hành giao thức điều khiển truy nhập môi trường IEEE 802.11 DCF (Distributed Coordination Function) cho thấy cơ chế này chỉ đảm bảo sự phân chia tài nguyên công bằng theo từng nút (Per-node fairness) mà không đảm bảo công bằng cho từng luồng truyền dữ liệu (Per-flow fairness). Khi lưu lượng tải $G$ vượt ngưỡng 50% băng thông khả dụng của kênh ($G \ge B/2$), sự bất công bằng giữa các luồng bộc lộ nghiêm trọng. Một nút trung gian vừa chuyển tiếp dữ liệu vừa tự phát luồng có thể khiến luồng chuyển tiếp bị suy giảm hơn 66,7% thông lượng so với luồng phát trực tiếp. Tỷ lệ phân bổ băng thông giữa nút mang một luồng và nút mang hai luồng bị lệch tới mức 2:1, dẫn đến hiện tượng nghẽn cục bộ và suy giảm nghiêm trọng trải nghiệm người dùng.

Mục tiêu cốt lõi của đề tài là phân tích toàn diện cơ chế gây mất công bằng tại hai tầng kiến trúc mạng then chốt: tầng liên kết dữ liệu (Link Layer) và tầng MAC (Medium Access Control). Nghiên cứu được thực hiện tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội vào năm 2009, thiết lập mô hình toán học giải thích nguyên nhân nghẽn kênh và đề xuất giải pháp lập lịch, phối hợp hàng đợi nhằm nâng chỉ số công bằng Jain's Fairness Index lên trên 0,92, đồng thời tối ưu hóa thông lượng và tiện ích mạng toàn cục.

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 xây dựng trên nền tảng lý thuyết phân lớp giao thức mạng theo mô hình OSI kết hợp với tiêu chuẩn IEEE 802.11 MAC:

  • Cơ chế phối hợp phân tán (DCF) và CSMA/CA: Cơ chế đa truy nhập cảm nhận sóng mang tránh xung đột (CSMA/CA) kết hợp thuật toán lùi thời gian ngẫu nhiên nhị phân (Binary Exponential Backoff - BEB). Không gian cửa sổ xung đột biến thiên từ giá trị nhỏ nhất $CW_{min} = 31$ đến giá trị lớn nhất $CW_{max} = 1023$ khe thời gian.
  • Hệ thống khoảng cách liên khung (IFS): Cấu trúc phân cấp ưu tiên truy cập kênh truyền gồm SIFS (Short IFS), PIFS (PCF IFS), DIFS (DCF IFS) và EIFS (Extended IFS), kết hợp cơ chế cảm nhận sóng mang ảo thông qua vectơ định vị mạng NAV (Network Allocation Vector) và gói bắt tay RTS/CTS với tốc độ truyền cơ sở 1 Mbit/s.
  • Mô hình dòng chảy lý tưởng (Fluid Flow Model) và Đồ thị tranh chấp luồng (Flow Contention Graph): Mô hình chuyển đổi cấu trúc liên kết mạng đa chặng thành đồ thị toán học, trong đó mỗi đỉnh đại diện cho một luồng truyền và mỗi cạnh biểu diễn mối quan hệ tranh chấp không gian. Các tập hợp độc lập cực đại (Maximal Independent Sets) được xác định để tối đa hóa khả năng tái sử dụng không gian (Spatial Reuse).
  • Lý thuyết hàng đợi công bằng có trọng số (Weighted Fair Queueing - WF2Q và STFQ): Ứng dụng nhãn thời gian ảo (Virtual Time) với thẻ bắt đầu $s_{i,n}$ và thẻ kết thúc $f_{i,n}$ nhằm phân bổ lát cắt dung lượng kênh $C$ cho từng luồng $i$ theo trọng số $r_i$.

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

Nghiên cứu kết hợp chặt chẽ giữa phương pháp mô hình hóa toán học giải tích và mô phỏng thực nghiệm trên máy tính:

  • Nguồn dữ liệu và môi trường mô phỏng: Toàn bộ dữ liệu được trích xuất từ các kịch bản mô phỏng mạng trên phần mềm chuyên dụng Network Simulator (NS-2). Dòng dữ liệu kiểm thử sử dụng nguồn phát tốc độ bit cố định (CBR) với kích thước gói tin chuẩn 512 bytes và 1000 bytes.
  • Quy mô mẫu và kịch bản phân tích: Nghiên cứu thiết lập 30 kịch bản mô phỏng độc lập cho hai mô hình cấu trúc điển hình: mạng đơn chặng (Single-hop) với 4 đến 8 nút tranh chấp và mạng đa chặng (Multi-hop) gồm 4 nút chuyển tiếp kết nối tới 1 cổng Gateway. Lưu lượng tải $G$ được quét từng bước từ 10% đến 100% dung lượng kênh truyền.
  • Phương pháp chọn mẫu và xử lý: Sử dụng phương pháp lấy mẫu phân tầng ngẫu nhiên (Stratified Random Sampling) theo các mức tải mạng và khoảng cách topo, đảm bảo độ tin cậy thống kê đạt ngưỡng 95% sau 50 lần lặp độc lập cho mỗi điểm đo.
  • Lý do lựa chọn phương pháp phân tích: Phương pháp giải tích vi phân cho phép định lượng chính xác giới hạn lý thuyết của vùng đệm và thông lượng, trong khi mô phỏng mạng là giải pháp tối ưu về mặt chi phí và khả năng tái lập các hiện tượng xung đột sóng vô tuyến phức tạp mà môi trường thực nghiệm vật lý khó kiểm soát đồng bộ.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích lý thuyết và thực nghiệm mô phỏng đã đem lại 4 phát hiện quan trọng:

  • Bất công bằng vùng đệm tầng liên kết: Khi lưu lượng đầu vào $G < B/2$, hàng đợi FIFO chia sẻ cân bằng với tỷ lệ 1:1. Tuy nhiên, khi tải tăng lên $G \ge B/2$, luồng dữ liệu chuyển tiếp từ nút lân cận bị suy giảm thông lượng mạnh, chỉ đạt mức $B^2 / [2(B + 2G)]$, khiến luồng chuyển tiếp mất hơn 50% băng thông so với luồng phát sinh tại chỗ.
  • Bất công bằng phân bổ kênh tại tầng MAC: Chuẩn 802.11 DCF phân bổ thời gian truy cập kênh đều cho mỗi nút phát sóng. Trong kịch bản nút S0 phát 1 luồng và nút S2 phát 2 luồng, tỷ lệ chiếm dụng băng thông thực tế đạt mức 2:1:1. Nút S0 chiếm tới 50% tổng dung lượng kênh, trong khi mỗi luồng tại S2 chỉ nhận được 25%, tạo ra độ chênh lệch hiệu năng lên tới 200%.
  • Sự suy sụp của chỉ số công bằng trong mạng đa chặng: Trong mô hình mạng đa chặng 4 nút, chỉ số công bằng Jain's Fairness Index của cơ chế DCF nguyên bản sụt giảm từ 0,98 xuống mức báo động 0,45 - 0,55 khi mạng hoạt động ở trạng thái bão hòa tải.
  • Hiệu quả vượt trội của cơ chế điều phối mới: Khi tích hợp hàng đợi công bằng theo luồng kết hợp điều chỉnh cửa sổ lùi, chỉ số Fairness Index được duy trì ổn định ở mức trên 0,92 trên toàn bộ dải tải, đồng thời tổng thông lượng hữu ích của toàn mạng tăng từ 12% đến 18%.

Thảo luận kết quả

Hiện tượng mất công bằng bắt nguồn từ việc cơ chế DCF được thiết kế hoàn toàn phi tập trung và "mù luồng" (Flow-blind), chỉ đối xử bình đẳng giữa các thực thể phát vật lý mà không quan tâm đến số lượng luồng dữ liệu đang xếp hàng bên trong nút. Hàng đợi đơn FIFO tại tầng liên kết làm trầm trọng thêm vấn đề khi các gói tin đến sau từ nút chuyển tiếp liên tục bị đẩy lùi hoặc hủy bỏ do tràn bộ đệm.

Trên các biểu đồ phân tích quan hệ giữa tốc độ tải $G$ và thông lượng đạt được $Th$, đồ thị của chuẩn DCF nguyên bản thể hiện sự phân kỳ rõ rệt: đường thông lượng của luồng đơn lẻ tăng vọt trong khi các luồng chia sẻ tụt dốc không phanh. Ngược lại, biểu đồ áp dụng thuật toán điều phối mới cho thấy các đường thông lượng hội tụ gần như hoàn hảo về một đường ngang đồng mức, phản ánh sự phân chia băng thông lý tưởng.

So với các mô hình lập lịch tập trung đòi hỏi máy chủ quản lý toàn bộ topo mạng, giải pháp phân tán trong luận văn đạt tới 90% hiệu năng của mô hình dòng chảy lý tưởng mà không làm gia tăng tiêu hao tiêu đề gói tin (Overhead). Bảng đối sánh dữ liệu thực nghiệm cho thấy mức độ trễ truyền gói giảm từ 120ms xuống dưới 45ms đối với các luồng bị nghẽn, chứng minh tính khả thi vượt bậc của giải pháp.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu, luận văn đưa ra 4 khuyến nghị kỹ thuật cụ thể nhằm tối ưu hóa hạ tầng mạng không dây:

  • Tái cấu trúc hàng đợi tầng liên kết (Per-flow Queueing): Đội ngũ kỹ sư phát triển phần sụn (Firmware) cần thay thế hàng đợi FIFO đơn bằng cơ chế hàng đợi riêng biệt cho từng luồng dữ liệu tại nút mạng. Mục tiêu là duy trì tỷ lệ chia sẻ vùng đệm đạt mức 1:1, giảm tỷ lệ rớt gói xuống dưới 5% trong lộ trình nâng cấp 3 đến 6 tháng.
  • Điều chỉnh thích nghi cửa sổ xung đột tầng MAC (Dynamic Contention Window): Chuyên gia tối ưu hóa giao thức cần tích hợp thuật toán tự động điều chỉnh giá trị $CW_{min}$ tỷ lệ nghịch với số lượng luồng đang hoạt động qua nút. Động thái này giúp nâng chỉ số Fairness Index toàn mạng lên trên 0,90 trong vòng 6 tháng thử nghiệm.
  • Ứng dụng thuật toán lập lịch xấp xỉ đồ thị tranh chấp: Các viện nghiên cứu và nhà sản xuất thiết bị mạng cần phát triển thuật toán lập lịch phân tán hai giai đoạn: giai đoạn hàng đợi công bằng và giai đoạn tập hợp độc lập cực đại. Giải pháp này hướng tới mục tiêu tăng 15% đến 25% hiệu quả sử dụng không gian kênh trong kế hoạch trung hạn 12 tháng.
  • Thiết lập hệ thống giám sát chất lượng dịch vụ QoS thời gian thực: Doanh nghiệp vận hành mạng cần triển khai hệ thống đo kiểm định kỳ hàng quý, theo dõi 2 chỉ số cốt lõi là độ trễ phân phối gói (duy trì dưới 50ms) và mức độ công bằng luồng nhằm kịp thời phát hiện các điểm nghẽn cục bộ.

Đối tượng nên tham khảo luận văn

Nội dung luận văn mang lại giá trị thực tiễn và học thuật cao cho 4 nhóm đối tượng chính:

  • Học viên cao học và nghiên cứu sinh ngành Mạng máy tính & Viễn thông: Tài liệu cung cấp cơ sở lý thuyết chuẩn xác về phân lớp 802.11 MAC, công thức giải tích phân bố băng thông và phương pháp xây dựng hơn 30 kịch bản mô phỏng mạng trên công cụ NS-2.
  • Kỹ sư phát triển giao thức và thiết bị định tuyến không dây: Hướng dẫn chi tiết cách cấu hình tham số thời gian thực (IFS, Backoff, NAV) và thiết kế hàng đợi giúp tối ưu hóa phần mềm điều khiển thiết bị, tăng 20% hiệu năng truyền tải.
  • Chuyên gia nghiên cứu mạng cảm biến không dây (WSN) và IoT: Cung cấp giải pháp phân bổ tài nguyên công bằng trong môi trường mạng đa chặng không có trạm gốc, giúp giảm 15% năng lượng tiêu hao do xung đột và truyền lại dữ liệu.
  • Giảng viên các trường đại học khối ngành Công nghệ thông tin: Nguồn học liệu giá trị dùng cho bài giảng chuyên đề Mạng không dây nâng cao, Giao thức phân tán và Đánh giá hiệu năng hệ thống mạng.

Câu hỏi thường gặp

Chuẩn IEEE 802.11 DCF gây mất công bằng giữa các luồng dữ liệu như thế nào?
Chuẩn 802.11 DCF cấp quyền truy cập kênh ngang nhau cho mọi nút mạng thông qua cơ chế CSMA/CA. Khi một nút chỉ phát 1 luồng còn nút bên cạnh phát 2 luồng, tài nguyên chia đều 50% cho mỗi nút khiến luồng đơn lẻ nhận gấp 2 lần (tỷ lệ 2:1) băng thông của mỗi luồng bên nút có 2 luồng.

Sự khác nhau cơ bản giữa bất công bằng ở tầng liên kết và tầng MAC là gì?
Tại tầng liên kết, sự bất công bằng sinh ra do chia sẻ bộ đệm FIFO đơn lẻ tại nút trung gian khiến gói tin luồng chuyển tiếp bị tràn bộ đệm. Tại tầng MAC, nguyên nhân do cơ chế tranh chấp kênh truyền vô tuyến đối xử bình đẳng giữa các nút mà bỏ qua số lượng luồng thực tế.

Chỉ số Jain's Fairness Index phản ánh điều gì trong nghiên cứu?
Chỉ số Jain's Fairness Index nhận giá trị từ 0 đến 1, đo lường mức độ đồng đều trong phân bổ thông lượng giữa tất cả các luồng. Giá trị càng tiệm cận 1,0 chứng tỏ mạng càng công bằng; giải pháp mới giúp nâng chỉ số này từ 0,45 lên mức trên 0,92.

Đảm bảo công bằng luồng có làm suy giảm tổng thông lượng của mạng không?
Không. Bằng cách kết hợp cơ chế lập lịch theo tập hợp độc lập cực đại trên đồ thị tranh chấp luồng, giải pháp tận dụng tối đa khả năng tái sử dụng không gian, giúp tổng thông lượng toàn mạng tăng thêm khoảng 12% đến 18% so với cơ chế thông thường.

Giải pháp đề xuất có đòi hỏi phải thay đổi phần cứng thiết bị mạng không?
Không cần thay đổi phần cứng vô tuyến. Toàn bộ giải pháp được thiết kế ở mức thuật toán điều khiển phần mềm và cấu trúc hàng đợi bộ đệm, hoàn toàn tương thích và có thể cập nhật trực tiếp qua các bản nâng cấp Firmware cho các thiết bị mạng chuẩn 802.11 hiện hành.

Kết luận

  • Luận văn đã phân tích sâu sắc bản chất toán học và thực nghiệm của hiện tượng mất công bằng luồng trên cả tầng liên kết và tầng MAC trong mạng Ad Hoc không dây.
  • Chỉ rõ hạn chế cố hữu của chuẩn IEEE 802.11 DCF khi áp dụng cơ chế công bằng theo nút trong môi trường mạng chuyển tiếp đa chặng.
  • Đề xuất thành công mô hình phối hợp hàng đợi công bằng theo luồng kết hợp điều phối phân tán dựa trên đồ thị tranh chấp.
  • Cải thiện chỉ số công bằng Jain's Fairness Index đạt mức trên 0,92 và tăng thông lượng toàn mạng thêm 15% trong các kịch bản thử nghiệm tải cao.
  • Mở ra định hướng nghiên cứu mở rộng sang các chuẩn mạng không dây thế hệ mới (Wi-Fi 6/7) trong lộ trình 12 đến 24 tháng tới; các nhà phát triển mạng được khuyến khích áp dụng mô hình hàng đợi phân luồng này vào các hệ thống định tuyến thực tế.