A formally-verified migration protocol for mobile, multi-homed hosts

Arye, Matvey; Nordström, Erik; Kiefer, Robert; Rexford, Jennifer; Freedman, Michael J.

doi:10.1109/icnp.2012.6459961

Cited by 16 publications

(10 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Serval, a service-centric architecture, promotes services as first-class entities, as described in detail in prior work [25,2]. The main goals of Serval are threefold: support replicated instances of a single service, support multihomed access to services, and allow for mobility at the connection endpoints.…”

Section: Case Study #2: Servalmentioning

confidence: 99%

“…For example, the three principals used in our exemplifying demo ( §6.1) required only a modest engineering effort: the U4ID principal took 480 lines of source code, the zFilter principal 437 lines, and the XDP principal 724 lines according to SLOCCount [32]. We also reused the full POSIX API, the kernel module mechanism, and the hardware abstraction layer available in the kernel to achieve three goals: (1) provide XIA applications a rich API, (2) clearly scope principals code to avoid static dependencies, and (3) be fully independent of TCP/IP. None of these features are available in the XIA prototype [12].…”

Section: Implementation Evaluationmentioning

confidence: 99%

See 1 more Smart Citation

Linux XIA: an interoperable meta network architecture to crowdsource the future internet

Machado¹,

Doucette²,

Byers³

2015

2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS)

View full text Add to dashboard Cite

With the growing number of proposed clean-slate redesigns of the Internet, the need for a medium that enables all stakeholders to participate in the realization, evaluation, and selection of these designs is increasing. We believe that the missing catalyst is a meta network architecture that welcomes most, if not all, clean-state designs on a level playing field, lowers deployment barriers, and leaves the final evaluation to the broader community. This paper presents Linux XIA, a native implementation of XIA [12] in the Linux kernel, as a candidate. We first describe Linux XIA in terms of its architectural realizations and algorithmic contributions. We then demonstrate how to port several distinct and unrelated network architectures onto Linux XIA. Finally, we provide a hybrid evaluation of Linux XIA at three levels of abstraction in terms of its ability to: evolve and foster interoperation of new architectures, embed disparate architectures inside the implementation's framework, and maintain a comparable forwarding performance to that of the legacy TCP/IP implementation. Given this evaluation, we substantiate a previously unsupported claim of XIA: that it readily supports and enables network evolution, collaboration, and interoperability -traits we view as central to the success of any future Internet architecture.

show abstract

Section: Case Study #2: Servalmentioning

confidence: 99%

Section: Implementation Evaluationmentioning

confidence: 99%

Linux XIA: an interoperable meta network architecture to crowdsource the future internet

Machado¹,

Doucette²,

Byers³

2015

2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS)

View full text Add to dashboard Cite

show abstract

“…In the process of building the model, we found bugs with both our original design and with an earlier mobility protocol [10]. Further details of the protocol and model can be found elsewhere [11].…”

Section: Iia Serval Mobility and Multi-homingmentioning

confidence: 99%

Increasing network resilience through edge diversity in NEBULA

Arye

Kiefer

Super

et al. 2012

SIGMOBILE Mob. Comput. Commun. Rev.

Self Cite

View full text Add to dashboard Cite

“…There is a general consensus [52,13,26] that end-to-end connection migration, i.e., bilaterally without relying on an external service, suffices to migrate connections efficiently when endpoints move one at a time, but an external resolution service is needed to support concurrent mobility. Although the latter is seen as a rare case in most connection migration work, it can be common in disconnection-tolerant, mobile application scenarios, e.g., when a user closes her laptop at home and opens it at a coffee shop to continue watching a movie, by which time the cloud-hosted virtual server may have been migrated for load balancing.…”

Section: Internet Mobility Backgroundmentioning

confidence: 99%

A global name service for a highly mobile internetwork

Sharma

Tie

Uppal

et al. 2014

Proceedings of the 2014 ACM Conference on SIGCOMM

View full text Add to dashboard Cite

Mobile devices dominate the Internet today, however the Internet rooted in its tethered origins continues to provide poor infrastructure support for mobility. Our position is that in order to address this problem, a key challenge that must be addressed is the design of a massively scalable global name service that rapidly resolves identities to network locations under high mobility. Our primary contribution is the design, implementation, and evaluation of Auspice, a nextgeneration global name service that addresses this challenge. A key insight underlying Auspice is a demand-aware replica placement engine that intelligently replicates name records to provide low lookup latency, low update cost, and high availability. We have implemented a prototype of Auspice and compared it against several commercial managed DNS providers as well as state-of-the-art research alternatives, and shown that Auspice significantly outperforms both. We demonstrate proof-of-concept that Auspice can serve as a complete end-to-end mobility solution as well as enable novel context-based communication primitives that generalize nameor address-based communication in today's Internet.

show abstract

A formally-verified migration protocol for mobile, multi-homed hosts

Cited by 16 publications

References 8 publications

Linux XIA: an interoperable meta network architecture to crowdsource the future internet

Linux XIA: an interoperable meta network architecture to crowdsource the future internet

Increasing network resilience through edge diversity in NEBULA

A global name service for a highly mobile internetwork

Contact Info

Product

Resources

About