Распределенные вычисления и мультипроцессоры с динамической архитектурой

The problems of organizing distributed computations are considered. It is shown that the main reason for arising difficulties is an absence of adequate computational model. Dynamic automata networks (DAN) are proposed as such a model. Properties of DAN and possibilities of realizing multiprocessors with dynamic architecture based on this model are considered. Retrospective review of developing and realizing this concept from recursive computers to multiprocessors with dynamic architecture is shown.Рассмотрены проблемы организации распределенных вычислений и показано, что главной причиной возникающих трудностей является отсутствие адекватной вычислительной модели. Предлагается в качестве такой модели использовать динамические автоматные сети (ДАС). Рассматриваются свойства ДАС и возможности реализации мультипроцессоров с динамической архитектурой на базе этой модели. Показана ретроспектива развития и реализации данной концепции от рекурсивных вычислительных машин до мультипроцессоров с динамической архитектуро

Decentralised Control Flow: A Computational Model for Distributed Systems

PhD ThesisThis thesis presents two sets of principles for the organisation of distributed computing systems. Details of models of computation based on these principles are together given, with proposals for programming languages based on each model of computation. The recursive control flow principles are based on the concept of recursive control flow computing system structuring. A recursive comprises a group of subordinate computing systems connected together by Each subordinate computing system may either be a communications medium. which a a computing system consists of a processing unit, memory some is itself a recursive component, and input/output devices, or computing components control flow system. The memory of all the computing systems within a recursive control flow computing subordinate system are arranged in a hierarchy. Using suitable addresses, any part of the hierarchy is accessible to any sequence of instructions which may be executed by the processing unit of a subordinate computing system. This rise to serious difficulties in the global accessibility gives understanding of programs written the meaning of in a programming language recursive control flow on the model of computation. based Reasoning about a particular program in isolation is difficult because of the potential interference between the execution different programs cannot be ignored . alternative principles, decentralised control flow, restrict the The accessibility of subordinate global the memory components of the computing The basis of the concept of objects forms the systems. principles. Information channels may flow along unnamed between instances of these objects, this being the only way in which one instance of an object may communicate with some other instance of an object. Reasoning particular program written in a programming language about a based on the decentralised control flow model of computation is easier since it is that there will be no interference between the guaranteed execution of different programs.Science and Engineering Research Council of Great Britain, International Computers Limite