東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Efficient and Safe Migration of Netw...

Liu, Sheng.

Linked to FindBook

Google Book

Amazon

博客來

Efficient and Safe Migration of Network Functions using Software-Defined Networking.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Efficient and Safe Migration of Network Functions using Software-Defined Networking./
Author:	Liu, Sheng.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2021,
Description:	103 p.
Notes:	Source: Dissertations Abstracts International, Volume: 82-12, Section: B.
Contained By:	Dissertations Abstracts International82-12B.
Subject:	Computer science. -
Online resource:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28419465
ISBN:	9798516057748

Efficient and Safe Migration of Network Functions using Software-Defined Networking.
Liu, Sheng.

Efficient and Safe Migration of Network Functions using Software-Defined Networking. - Ann Arbor : ProQuest Dissertations & Theses, 2021 - 103 p.

Source: Dissertations Abstracts International, Volume: 82-12, Section: B.

Thesis (Ph.D.)--The University of North Carolina at Chapel Hill, 2021.

This item must not be sold to any third party vendors.

Network function (NF) migration alongside (and possibly because of) routing policy updates is a delicate task, making it difficult to ensure that all traffic is processed by its required network functions, in order. Achieving traffic redistribution while ensuring correct processing of all packets requires an efficient network forwarding-state update and careful coordination between routing-policy change and NF migration. To achieve consistent network updates, in this dissertation, we propose a new method that is inspired by causal consistency, a consistency model for shared-memory systems. We propose and analyze a property called suffix causal consistency (SCC) as an interpretation of causal consistency for rule updates in an SDN network. We design an algorithm implementing this property and formally verify the correctness of this algorithm using model checking. Our evaluation results show that SCC provides greater efficiency than competing consistent-update alternatives while offering consistency that is strong enough to ensure high-level routing properties (e.g., black-hole freedom).To coordinate routing-policy updates with NF migration, we propose a design called Nimble for interleaving these tasks to achieve more efficient completion of both while ensuring complete processing of traffic by the required sequences of NFs. Our technique works with any route-update protocol that implements a property we call relaxed waypoint correctness, which includes our SCC algorithm and many consistent-update protocols. We also provide a route-update protocol that is customized to achieve relaxed waypoint correctness without conforming to conventional "consistent update'' semantics, as typically defined for such protocols. We confirm the sufficiency of relaxed waypoint correctness using model checking, and the implementation demonstrates the efficiency and efficacy of Nimble.

ISBN: 9798516057748Subjects--Topical Terms:

523869
Computer science.
Subjects--Index Terms:

Consistent update

Efficient and Safe Migration of Network Functions using Software-Defined Networking.
LDR:03123nmm a2200373 4500 001 2282218
005 20211001100728.5
008 220723s2021 ||||||||||||||||| ||eng d
020 $a 9798516057748
035 $a (MiAaPQ)AAI28419465
035 $a AAI28419465
040 $a MiAaPQ $c MiAaPQ
100 1 $a Liu, Sheng. $3 1281028
245 1 0 $a Efficient and Safe Migration of Network Functions using Software-Defined Networking.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2021
300 $a 103 p.
500 $a Source: Dissertations Abstracts International, Volume: 82-12, Section: B.
500 $a Advisor: Reiter, Michael K.
502 $a Thesis (Ph.D.)--The University of North Carolina at Chapel Hill, 2021.
506 $a This item must not be sold to any third party vendors.
520 $a Network function (NF) migration alongside (and possibly because of) routing policy updates is a delicate task, making it difficult to ensure that all traffic is processed by its required network functions, in order. Achieving traffic redistribution while ensuring correct processing of all packets requires an efficient network forwarding-state update and careful coordination between routing-policy change and NF migration. To achieve consistent network updates, in this dissertation, we propose a new method that is inspired by causal consistency, a consistency model for shared-memory systems. We propose and analyze a property called suffix causal consistency (SCC) as an interpretation of causal consistency for rule updates in an SDN network. We design an algorithm implementing this property and formally verify the correctness of this algorithm using model checking. Our evaluation results show that SCC provides greater efficiency than competing consistent-update alternatives while offering consistency that is strong enough to ensure high-level routing properties (e.g., black-hole freedom).To coordinate routing-policy updates with NF migration, we propose a design called Nimble for interleaving these tasks to achieve more efficient completion of both while ensuring complete processing of traffic by the required sequences of NFs. Our technique works with any route-update protocol that implements a property we call relaxed waypoint correctness, which includes our SCC algorithm and many consistent-update protocols. We also provide a route-update protocol that is customized to achieve relaxed waypoint correctness without conforming to conventional "consistent update'' semantics, as typically defined for such protocols. We confirm the sufficiency of relaxed waypoint correctness using model checking, and the implementation demonstrates the efficiency and efficacy of Nimble.
590 $a School code: 0153.
650 4 $a Computer science. $3 523869
650 4 $a Computer engineering. $3 621879
653 $a Consistent update
653 $a Model checking
653 $a Network Function
653 $a Software-defined networking
653 $a Safe migration
653 $a Suffix Causal Consistency
690 $a 0984
690 $a 0464
710 2 $a The University of North Carolina at Chapel Hill. $b Computer Science. $3 1020590
773 0 $t Dissertations Abstracts International $g 82-12B.
790 $a 0153
791 $a Ph.D.
792 $a 2021
793 $a English
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28419465