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

The origin of dust in galaxies revisited: the mechanism determining dust content

The origin of cosmic dust is a fundamental issue in planetary science. This paper revisits the origin of dust in galaxies, in particular, in the Milky Way, by using a chemical evolution model of a galaxy composed of stars, interstellar medium, metals (elements heavier than helium), and dust. We start from a review of time-evolutionary equations of the four components, and then, we present simple recipes for the stellar remnant mass and yields of metal and dust based on models of stellar nucleosynthesis and dust formation. After calibrating some model parameters with the data from the solar neighborhood, we have confirmed a shortage of the stellar dust production rate relative to the dust destruction rate by supernovae if the destruction efficiency suggested by theoretical works is correct. If the dust mass growth by material accretion in molecular clouds is active, the observed dust amount in the solar neighborhood is reproduced. We present a clear analytic explanation of the mechanism for determining dust content in galaxies after the activation of accretion growth: a balance between accretion growth and supernova destruction. Thus, the dust content is independent of the uncertainty of the stellar dust yield after the growth activation. The timing of the activation is determined by a critical metal mass fraction which depends on the growth and destruction efficiencies. The solar system formation seems to have occurred well after the activation and plenty of dust would have existed in the proto-solar nebula.Comment: 12 pages, 11 figure

Production of dust by massive stars at high redshift

The large amounts of dust detected in sub-millimeter galaxies and quasars at high redshift pose a challenge to galaxy formation models and theories of cosmic dust formation. At z > 6 only stars of relatively high mass (> 3 Msun) are sufficiently short-lived to be potential stellar sources of dust. This review is devoted to identifying and quantifying the most important stellar channels of rapid dust formation. We ascertain the dust production efficiency of stars in the mass range 3-40 Msun using both observed and theoretical dust yields of evolved massive stars and supernovae (SNe) and provide analytical expressions for the dust production efficiencies in various scenarios. We also address the strong sensitivity of the total dust productivity to the initial mass function. From simple considerations, we find that, in the early Universe, high-mass (> 3 Msun) asymptotic giant branch stars can only be dominant dust producers if SNe generate <~ 3 x 10^-3 Msun of dust whereas SNe prevail if they are more efficient. We address the challenges in inferring dust masses and star-formation rates from observations of high-redshift galaxies. We conclude that significant SN dust production at high redshift is likely required to reproduce current dust mass estimates, possibly coupled with rapid dust grain growth in the interstellar medium.Comment: 72 pages, 9 figures, 5 tables; to be published in The Astronomy and Astrophysics Revie