Scalable coordination is a key challenge in deploying massively multi-agent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs is a model for hierarchical coordination of resource usage by multi-agent applications in a network of peer-owned resources. Programming constructs based on CyberOrgs allow resource trade and control reification while maintaining a separation between functional and resource concerns. An operational semantics of CyberOrgs is presented. Expressive power of programming constructs based on CyberOrgs is illustrated with examples. Hierarchical control presents challenges in scalability. However, some types of resource coordination are amenable to efficient implementation using CyberOrgs. Hierarchical control of processor time, for instance, can be implemented scalably by efficiently flattening the hierarchical schedule on the fly. Experimental results demonstrate scalability of the technique. Generalizations of this solution for hierarchical control of processor, network and other computational resources in a distributed system are discussed.
展开▼
