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

JAIST Repository

N/A
N/A
Protected

Academic year: 2021

シェア "JAIST Repository"

Copied!
5
0
0

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

全文

(1)

JAIST Repository

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

Title

Group Communicationに基づく耐故障モバイルエージェ

ント

Author(s)

林原, 尚浩

Citation

Issue Date

2001‑03

Type

Thesis or Dissertation

Text version

author

URL

http://hdl.handle.net/10119/1452

Rights

Description

Supervisor:片山 卓也, 情報科学研究科, 修士

(2)

based on Group Communication

Naohiro Hayashibara

School of Information Science,

Japan Advanced Institute of Science and Technology

15th Feb. 2001

Keywords: Mobile Agent, Fault-Tolerance, Group Communication, Majority Voting,

TwoPhase Commit.

1 Background

Inthisresearch,wepropose agroupmanagementlayerforthedesignandimplementation

of fault-Tolerant mobileagents. Mobile agents are autonomous software programs which

are executed on a runtime environment called \agent system" and/or \agent execution

environment". The mobile agent can carry its own internal state and migrate to other

nodes connected to the communication network. Mobile agents can oer several advan-

tages in adynamic computing environment includingexibility and higher performance.

Mobile agentscan beeasily implemented even by programmerswith limited experience.

Recently,the ubiquitoususeofthe computerandtheInternetaswellastheincreasing

use of mobiledevices such asPDAs resulted in anincreasing interest inusing the mobile

agentparadigmfor mobile and remote execution.

Many mobileagentapplicationshasalreadybeenimplementedsuchasasearchengine

forWWW.However, mobileagentsdonotprovideany guaranteesincase offailures such

as network failures, network partitionsand node failures. Such problems along with the

securityissueslimitstheacceptanceandtheusageofmobileagentsincomplexandcritical

application domains.

To apply mobile agents and agent systems to critical application or business appli-

cations, we must be able to build reliable and robust systems using the mobile agent

paradigm.

Copyrightc 2001byNaohiroHayashibara

(3)

Thepurpose ofthis study istoprovidesystem supporttofacilitatethe designand imple-

mentationof fault-tolerant mobileagents.

We propose to introduce fault tolerance concepts and techniques in building fault-

tolerantmobileagentsystems. Tobuildsuchfault-tolerantsystems, wehavetointroduce

some form of redundancy in the system such as using mobile agents as backups. The

introduced redundancy, if it is not well designed, might decrease the overall reliability

of the system. For example, if there is one original(primary)active agent and a number

of copies of this agent (backup agents) which are passive. In some cases and after a

failurewemighthavesituationswheretwoagentsbecomeactiveandmightthenintroduce

inconsistencies in the system.

Wepropose toapplythe Group Communication approachtoimplementfaulttolerant

mobile agent systems and to ensure system consistency despite failures and recoveries.

Thegroupcommunicationapproachsupportsthe groupconcept whereprocessesworking

together to achieve a common goal such as fault tolerance are joined into a group and

italsoprovides communication primitivestoallowgroup members toexchange messages

following a certain set of rules. The group communication approach proved to be very

eÆcient inimplementing traditionalfaulttolerantdistributed systems. Group communi-

cation providestwoservices to groups members that is amembership service to monitor

themembershipchangeswithinagroupandacommunicationservicethatprovideatomic

multicastprimitivestogroupsmembers. Theseservicescanbeusedtobuildfaulttolerant

and highlyreliable systems.

In our approach wecreate groupsof agentswhere the primary agent and allitsback-

ups are joined intothe same group. Group communication services are used to maintain

consistency among group members and to ensure that at any time there is only one

primary agent that is active,other agentsare back-ups.

3 Our Approach

The proposed approach is based on the group communication approach. However, the

traditionalgroupcommunicationapproachcannotbeusedformobileagentsinastraight-

forward way. This is because traditionalgroup communication services are build on the

assumption that processes that are member of a group are static entities that can not

move. If we apply the traditionalgroup communication approach to mobile agents in a

straightforward way,whenanagentmovesfromanodeitwillbeconsideredasfaultyand

removed fromthe groupmembership,aftermigratingtoanewhosttheagentshouldthen

rejointhe groupas a new member. This result in a large overhead due to the numberof

groupcongurationchangesand mightproducesinconsistencies inthesystems, wemight

even not beable to achieve any progress.

To solve this problem, we introduce new concepts and techniques to introduce and

supportagentmigrationin the traditionalgroup communication approach.

We propose a system architecture for building fault tolerant mobile agent systems

(4)

agentapplicationusingdierenttypesofagentsthatismobileagentscreatedusingdier-

entagentsystemssuchasAgletsandAgentSpace. Theproposedarchitectureisdescribed

in (gure1.1).

Mobile Agent Application Layer

Agent System Layer

Physical Network

Agent System Architecture

Encode Agents

Send Agents

Load Agents

Receive Agents

Agent Management Layer Group Communication Layer

Group Management Layer

Send Messages Send Messages

Receive Messages Deliver Messages

Figure 1: System Architecture

Typically, an agent system is constructed from Agent Application Layer

and Agent

System Layer. We propose to includea Group Management Layer.

TheGroupmanagementlayerisconstructedfromaGroup CommunicationLayer and

anAgent Management Layer.

Groupcommunicationlayermaintainsagentsas groups,providesmulticastprimitives

for group members and detects faulty agents.

The Agentmanagementlayerimplementsseveral faulttoleranceprotocolssuchasthe

majorityvoting protocolinorder toensurethe at mostonce property forprimary agent.

In case ofnetwork partitionwhereagroup Acan bedivided intotwo groupsA1 and A2,

to ensure the at most once property we allow progress at only one group which is the

majoritygroupeithergroupA1orA2. Themajoritygroupisdeterminedby thenumber

ofagentsjoinedtothe groupsaygroupA1,if thisnumberisequalorexceedthe majoirty

ofthe numberof membersjoined totheprevious groupthatisgroup A,groupA1isthen

calledamajoritygroup. Insuchacase,allmembersofgroupA2arediscarded. Therefore

our system can ensurethe atmost once property for primaryagent.

The Agent management layer provides also a two-phase commit protocol service to

commit or abort transactions. The two-phase commit protocol is used to commit the

execution of a transaction by the primary agent with all other group members that is

with back-up agents. In doing so we can ensure the exactly once property required for

electronic commerce applications.

Thespaceforrunningagents

(5)

We implement the prototype of our system on AgentSpace TMy

. The purpose of this

implementationistoevaluatethat the proposedapproachcan be easilyappliedforagent

systems and to test itseectiveness and exibility.

Oursystem isconstructedfromtheserverprocessGroup Manager(GM)andthepack-

age fta which can onlybeused onAgentSpace. Each componentisimplemented by java.

As a result of this implementation, we could conrm that we could easily apply and

adapt the group communication approach to agent systems. For our system to support

several agent system, we willonly have to add anew package fta for this agent system.

5 Concluding Remarks

In this research, we proposed a group management layer to facilitate the design and

implementation of fault tolerant mobile agents. We also introduced some fault tolerant

techniques and protocols to ensure the at most once property of primary agents and

the exactly once property of electronic commerce applications. We implementation a

prototypeof our systemand we succeded inusingthe system with the AgentSpaceagent

system. We also proved that our system is modular and exible in that it can support

dierenttypes of agent systems.

Our system can provide fault tolerance and allowus toimplement robust and highly

reliable mobileagent applications. In this research we donot address security issues, we

are planning to address this issue in our future work and to build further packages to

supportother agent systems such asAglets, Bee-gent, and Concordia.

As future work, we are also planningtoexplore the following topics:

support cooperative works

We willsupport cooperative works for agents which belong to dierent groups.

describe the behavior about our system formally

We thinkto describe the behaveior in our system. It is very important toanalysis

our system rigorously.

apply wide area networks

We thinkto apply and implement our system on awide area network.

y

AgentSpaceisaagentsystembasedonJava. ItwasmadebyDr. IchiroSato

図

Figure 1: System Architecture

参照

関連したドキュメント

The aim of this leture is to present a sequence of theorems and results starting with Holladay’s classical results concerning the variational prop- erty of natural cubic splines

The main observation is that each one of the above classes of categories can be obtained as the class of finitely complete categories (or pointed categories) with M-closed

In this paper we develop the semifilter approach to the classical Menger and Hurewicz properties and show that the small cardinal g is a lower bound of the additivity number of

In the language of category theory, Stone’s representation theorem means that there is a duality between the category of Boolean algebras (with homomorphisms) and the category of

We introduce a new general iterative scheme for finding a common element of the set of solutions of variational inequality problem for an inverse-strongly monotone mapping and the

We estimate the standard bivariate ordered probit BOP and zero-inflated bivariate ordered probit regression models for smoking and chewing tobacco and report estimation results

In Section 3 using the method of level sets, we show integral inequalities comparing some weighted Sobolev norm of a function with a corresponding norm of its symmetric

This paper presents an investigation into the mechanics of this specific problem and develops an analytical approach that accounts for the effects of geometrical and material data on