CHƯƠNG 1 : GIỚI THIỆU ĐỀ TÀI
4.1. Kiểm chứng mơ hình mạng do phần mềm xác định dưới kiến trúc đa điều khiển
4.1.2. Tính nhất quán (Consistency)
Ở một mức nào đó SDN với nhiều bộ điều khiển giải quyết rất nhiều rắc rối, trong khi nó có thể gây ra vấn đề về tính nhất qn [28]. Mọi bộ điều khiển cần phải đồng bộ hóa thơng tin trạng thái mạng. Mặc dù một số vấn đề về tính nhất quán, bao gồm tính nhất quán bảng (table consistency), tính nhất quán mục nhập luồng (flow entry consistency) , tính nhất qn gói vào (packetin consistency), . . . , đã được giải thích [6], vấn đề nhất quán này cần một giải pháp nhanh chóng.
Vì kiến trúc Kandoo sử dụng bộ điều khiển gốc để quản lý thơng tin tồn cục và bộ điều khiển cục bộ để kiểm sốt thơng báo cục bộ, nên nó sẽ khơng được xem xét trong luận văn.
Do đó, đối với kiến trúc HyperFlow, tính nhất quán trong phần này có nghĩa là tất cả các bộ điều khiển chia sẻ cùng một cấu trúc liên kết với nhau. Do đó, các cấu trúc liên kết trong tất cả các bộ điều khiển sẽ được kiểm tra. Khẳng định về thuộc tính này được định nghĩa như dưới đây.
#𝑑𝑒𝑓𝑖𝑛𝑒 𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡 𝑡𝑜𝑝𝑜𝑆𝑢𝑚1[1][0] == 1; (4.3) #𝑎𝑠𝑠𝑒𝑟𝑡 𝑇𝑜𝑝𝑜_𝐻 𝑟𝑒𝑎𝑐ℎ𝑒𝑠 𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡; . (4.4)
Nói chung, cần liệt kê mọi liên kết của các cấu trúc liên kết trong tất cả các bộ điều khiển. Controller0 biết rằng switch0 có kết nối với switch1, trong khi controller1 không biết điều đó, như trong Hình 2.2. Sau khi chia sẻ dữ liệu, topoSum1 [1] [0] == 1 được sử dụng để kiểm tra xem controller1 có hiểu kết nối đó hay khơng.
Trong PAT, reaches là một từ khóa dành riêng để kiểm tra xem liệu tiến trình có thể đạt đến trạng thái mà điều kiện đã cho được thỏa mãn hay không. Từ kết quả, biết rằng hệ thống theo kiến trúc HyperFlow không gặp phải vấn đề về tính nhất qn.
Hình 4.3. Tính nhất qn của kiến trúc HyperFlow