8,281 research outputs found
Concurrent Computing with Shared Replicated Memory
The behavioural theory of concurrent systems states that any concurrent
system can be captured by a behaviourally equivalent concurrent Abstract State
Machine (cASM). While the theory in general assumes shared locations, it
remains valid, if different agents can only interact via messages, i.e. sharing
is restricted to mailboxes. There may even be a strict separation between
memory managing agents and other agents that can only access the shared memory
by sending query and update requests to the memory agents. This article is
dedicated to an investigation of replicated data that is maintained by a memory
management subsystem, whereas the replication neither appears in the requests
nor in the corresponding answers. We show how the behaviour of a concurrent
system with such a memory management can be specified using concurrent
communicating ASMs. We provide several refinements of a high-level ground model
addressing different replication policies and internal messaging between data
centres. For all these refinements we analyse their effects on the runs such
that decisions concerning the degree of consistency can be consciously made.Comment: 23 page
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms
We develop a behavioural theory of reflective sequential algorithms (RSAs),
i.e. sequential algorithms that can modify their own behaviour. The theory
comprises a set of language-independent postulates defining the class of RSAs,
an abstract machine model, and the proof that all RSAs are captured by this
machine model. As in Gurevich's behavioural theory for sequential algorithms
RSAs are sequential-time, bounded parallel algorithms, where the bound depends
on the algorithm only and not on the input. Different from the class of
sequential algorithms every state of an RSA includes a representation of the
algorithm in that state, thus enabling linguistic reflection. Bounded
exploration is preserved using terms as values. The model of reflective
sequential abstract state machines (rsASMs) extends sequential ASMs using
extended states that include an updatable representation of the main ASM rule
to be executed by the machine in that state. Updates to the representation of
ASM signatures and rules are realised by means of a sophisticated tree algebra.Comment: 32 page
PGNME: A Domain Decomposition Algorithm for Distributed Power System Dynamic Simulation on High Performance Computing Platforms
Dynamic simulation of a large-scale electric power system involves solving a large number of differential algebraic equations (DAEs) every simulation time-step. With the ever-growing size and complexity of power grid, dynamic simulation becomes more and more time-consuming and computationally difficult using conventional sequential simulation techniques. This thesis presents a fully distributed approach intended for implementation on High Performance Computer (HPC) clusters. A novel, relaxation-based domain decomposition algorithm known as Parallel-General-Norton with Multiple-port Equivalent (PGNME) is proposed as the core technique of a two-stage decomposition approach to divide the overall dynamic simulation problem into a set of sub problems that can be solved concurrently. While the convergence property has traditionally been a concern for relaxation-based decomposition, an estimation mechanism based on multiple-port network equivalent is adopted as the preconditioner to enhance the convergence of the proposed algorithm. The algorithm is presented in detail and validated both in terms of accuracy and capabilit
- …