Abstract. The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate the migrable computing agents basing only of the local information. The paper introduces the formal model of the MAS under consideration in order to depict the roles of agent behavior and the whole system dynamics. The optimal scheduling problem for MAS as well as the way of its verification was presented in terms of such model. The brief report of the test results is stressed in the section 6.
MotivationThe Multi-Agent System (MAS) governed by the local diffusion scheduling is a reasonable alternative for the centrally governed distributed computing systems. Although the idea of mobile task diffusion is well known since more then ten years (see. e.g. [6]) we propose the policy that consists in on-demand task partitioning and task remaping obtained by the dynamic agent creation and migration. It was implemented and initially tested for the regularly and irregularly concurrent computations (see [2,1,5,7]). The brief report of the test results is stressed in the section 6. The paper introduces the formal model of the MAS under consideration in order to depict the roles of agent behavior and the whole system dynamics. The optimal scheduling problem for MAS as well as the way of its verification was presented in terms of such model.
Formal Description of the ArchitectureThe MAS under consideration that allows the diffusion governed scheduling is a collection of: a computational environment (MAS platform) and a computing application composed of mobile agents called Smart Solid Agents (SSA). The computational environment is a triple (N, B H , perf), where: N = {P 1 , . . . , P n } , where P i is the Virtual Computation Node (VCN). Each VCN can maintain more than one agent (the number of hardware processors usage is not relevant in our assumptions).