• 検索結果がありません。

Abstraction Technology for a Proof Environment of Large-Scale Network

N/A
N/A
Protected

Academic year: 2021

シェア "Abstraction Technology for a Proof Environment of Large-Scale Network"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title 大規模ネットワークの実証環境向け抽象化技術に関す

る研究

Author(s) 明石, 邦夫

Citation

Issue Date 2010‑03

Type Thesis or Dissertation Text version author

URL http://hdl.handle.net/10119/8968 Rights

Description Supervisor:篠田 陽一, 情報科学研究科, 修士

(2)

Abstraction Technology for a Proof Environment of Large-Scale Network

Akashi Kunio (0810002) School of Information Science,

Japan Advanced Institute of Science and Technology February 9, 2010

Keywords: network emulation, testbed, large-scale network.

The Internet is an important infrastructure. Many users are using a lot of services in the Internet. More and more technologies that leverage the Internet tend to be deployed. There is a possibility that new technologies which are not sufficiently verified affect other users and services. New technologies should sufficiently be verified before being deployed to the Internet. It needs that the quality of implementations are improved before deployment to the Internet.

There are testbeds to verify network technology. Among them, there are testbeds targeting to applications and products that utilize network. In this research project, such testbeds are called the proof environments.

There are two types of the proof environments. One is the proof envi- ronment using the Internet. Another one is the proof environment isolated from the Internet. In using the proof environment isolated from the Inter- net, conductors of experiment can verify networking technologies without considering effects to and from other users and services. However, there are characteristics of the Internet, such as delay and bandwidth, that should be considered. Conductors of experiment cannot verify networking tech- nologies with considering characteristics of the Internet in isolated proof environment. So, I propose functions to emulate characteristics of the In- ternet in the isolated proof environment.

Copyright c2010 by Akashi Kunio

1

(3)

I propose a software-based method to emulate characteristics of the In- ternet. In this research project, the software emulating characteristics of the Internet is called Network Characteristics Emulators(NCEs). By using NCEs, in the proof environment isolated from the Internet, it is possible to build experiment network considering characteristics of the Internet.

However, the existing proof environments isolated from the Internet do not support functions that automatically builds experiment network emulating characteristics of the Internet. Thus, when conductors of experiment want to consider characteristics of the Internet, conductors require to manually configure softwares that emulate characteristics of the Internet.

NCEs consume resources of node such as CPU and memory in emulating characteristics of the Internet. A proof environment limits scale of experi- ment network because the number of available nodes are limited. I propose a method to build experiment network as large as possible using available resources on the proof environment isolated from the Internet.

This research project proposes methods to build large-scale experiment network under limited resources. If a single node emulates many character- istics, it is possible to build a large-scale experiment network under limited number of nodes. NCEs calculate the amount of required resources when they emulate characteristics of the Internet under limited resources. NCEs are multiplexed without exceeding resources limited by physical nodes.

Because multiplexing allows to emulate multiple links on a single node, building larger-scale experiment network becomes possible.

In this research project, I define five network characteristics. NCEs emu- late delay, jitter, bandwidth, packet loss and IP routing. NCEs are placed between nodes. NCEs which use five parameters when forwarding packets emulate physical distance between nodes, unstable connection and unsta- ble bandwidth. However general NCEs forward packets basically by IP routing. If applications and experiment network support IP routing inde- pendently, applications might not properly work. So the instead of packet forwarding, bridging is used in this research project. In this way, appli- cations that support IP routing can be verified because the experiment network does not forward packets. Conductors of experiment can select either supporting or not supporting IP routing topology. In this way, a variety of applications can be verified. The experiment network can be

2

(4)

built to emulate only necessary parameters according to verification.

In this research project, I conducted an experiment by building the ex- periment network that emulates characteristics of the Internet. Then, I compared manually configured experiment network with my emulated ex- periment network. I confirmed that my proposed system makes building experiment networks easier and faster. Additionally, I also compared to related works that are SpringOS and Modelnet. Proposed system more scalable than related works. Consequently, my proposed system makes allows to build flexible large-scale experiment network.

3

参照

関連したドキュメント

Now it makes sense to ask if the curve x(s) has a tangent at the limit point x 0 ; this is exactly the formulation of the gradient conjecture in the Riemannian case.. By the

[3] Chen Guowang and L¨ u Shengguan, Initial boundary value problem for three dimensional Ginzburg-Landau model equation in population problems, (Chi- nese) Acta Mathematicae

Applying the representation theory of the supergroupGL(m | n) and the supergroup analogue of Schur-Weyl Duality it becomes straightforward to calculate the combinatorial effect

As a consequence of this characterization, we get a characterization of the convex ideal hyperbolic polyhedra associated to a compact surface with genus greater than one (Corollary

The proof of the existence theorem is based on the method of successive approximations, in which an iteration scheme, based on solving a linearized version of the equations, is

To be specic, let us henceforth suppose that the quasifuchsian surface S con- tains two boundary components, the case of a single boundary component hav- ing been dealt with in [5]

We will study the spreading of a charged microdroplet using the lubrication approximation which assumes that the fluid spreads over a solid surface and that the droplet is thin so

The theory of log-links and log-shells, both of which are closely related to the lo- cal units of number fields under consideration (Section 5, Section 12), together with the