143 research outputs found
How a rainbow coloring function can simulate wait-free handshaking
How to construct shared data objects is a fundamental issue in asynchronous concurrent systems, since these objects provide the means for communication and synchronization between processes in these systems. Constructions which guarantee that concurrent access to the shared object by processes is free from waiting are of particular interest, since they may help to increase the amount of parallelism in such systems. The problem of constructing a k-valued wait-free shared register out of binary subregisters of the same type where each write access consists of one subwrite (constructions with one-write) has received some attention, since it lies at the heart of studying lower bounds of the complexities of register constructions and trade-offs between them. The first such construction was for the safe register case which uses k binary safe registers and exploits the properties of a rainbow coloring function of a hypercube. The best known construction for the regular/atomic case uses (formula presented) binary regular/atomic registers. In this work we show how the rainbow coloring function can be extended to simulate a handshaking mechanism between the reader and the writer of the register, thus offering a solution for the atomic register case with one reader, which uses only 3k-2 binary registers. The lower bound for such a construction is kâ1
Asymptotic Expansions for Stationary Distributions of Perturbed Semi-Markov Processes
New algorithms for computing of asymptotic expansions for stationary
distributions of nonlinearly perturbed semi-Markov processes are presented. The
algorithms are based on special techniques of sequential phase space reduction,
which can be applied to processes with asymptotically coupled and uncoupled
finite phase spaces.Comment: 83 page
Synchronization of Hamiltonian motion and dissipative effects in optical lattices: Evidence for a stochastic resonance
We theoretically study the influence of the noise strength on the excitation
of the Brillouin propagation modes in a dissipative optical lattice. We show
that the excitation has a resonant behavior for a specific amount of noise
corresponding to the precise synchronization of the Hamiltonian motion on the
optical potential surfaces and the dissipative effects associated with optical
pumping in the lattice. This corresponds to the phenomenon of stochastic
resonance. Our results are obtained by numerical simulations and correspond to
the analysis of microscopic quantities (atomic spatial distributions) as well
as macroscopic quantities (enhancement of spatial diffusion and pump-probe
spectra). We also present a simple analytical model in excellent agreement with
the simulations
On Correctness of Data Structures under Reads-Write Concurrency
Abstract. We study the correctness of shared data structures under reads-write concurrency. A popular approach to ensuring correctness of read-only operations in the presence of concurrent update, is read-set validation, which checks that all read variables have not changed since they were first read. In practice, this approach is often too conserva-tive, which adversely affects performance. In this paper, we introduce a new framework for reasoning about correctness of data structures under reads-write concurrency, which replaces validation of the entire read-set with more general criteria. Namely, instead of verifying that all read conditions over the shared variables, which we call base conditions. We show that reading values that satisfy some base condition at every point in time implies correctness of read-only operations executing in parallel with updates. Somewhat surprisingly, the resulting correctness guarantee is not equivalent to linearizability, and is instead captured through two new conditions: validity and regularity. Roughly speaking, the former re-quires that a read-only operation never reaches a state unreachable in a sequential execution; the latter generalizes Lamportâs notion of regular-ity for arbitrary data structures, and is weaker than linearizability. We further extend our framework to capture also linearizability. We illus-trate how our framework can be applied for reasoning about correctness of a variety of implementations of data structures such as linked lists.
Spinor condensates and light scattering from Bose-Einstein condensates
These notes discuss two aspects of the physics of atomic Bose-Einstein
condensates: optical properties and spinor condensates. The first topic
includes light scattering experiments which probe the excitations of a
condensate in both the free-particle and phonon regime. At higher light
intensity, a new form of superradiance and phase-coherent matter wave
amplification were observed. We also discuss properties of spinor condensates
and describe studies of ground--state spin domain structures and dynamical
studies which revealed metastable excited states and quantum tunneling.Comment: 58 pages, 33 figures, to appear in Proceedings of Les Houches 1999
Summer School, Session LXXI
Velocity-space sensitivity of the time-of-flight neutron spectrometer at JET
The velocity-space sensitivities of fast-ion diagnostics are often described by so-called weight functions. Recently, we formulated weight functions showing the velocity-space sensitivity of the often dominant beam-target part of neutron energy spectra. These weight functions for neutron emission spectrometry (NES) are independent of the particular NES diagnostic. Here we apply these NES weight functions to the time-of-flight spectrometer TOFOR at JET. By taking the instrumental response function of TOFOR into account, we calculate time-of-flight NES weight functions that enable us to directly determine the velocity-space sensitivity of a given part of a measured time-of-flight spectrum from TOFOR
Relationship of edge localized mode burst times with divertor flux loop signal phase in JET
A phase relationship is identified between sequential edge localized modes (ELMs) occurrence times in a set of H-mode tokamak plasmas to the voltage measured in full flux azimuthal loops in the divertor region. We focus on plasmas in the Joint European Torus where a steady H-mode is sustained over several seconds, during which ELMs are observed in the Be II emission at the divertor. The ELMs analysed arise from intrinsic ELMing, in that there is no deliberate intent to control the ELMing process by external means. We use ELM timings derived from the Be II signal to perform direct time domain analysis of the full flux loop VLD2 and VLD3 signals, which provide a high cadence global measurement proportional to the voltage induced by changes in poloidal magnetic flux. Specifically, we examine how the time interval between pairs of successive ELMs is linked to the time-evolving phase of the full flux loop signals. Each ELM produces a clear early pulse in the full flux loop signals, whose peak time is used to condition our analysis. The arrival time of the following ELM, relative to this pulse, is found to fall into one of two categories: (i) prompt ELMs, which are directly paced by the initial response seen in the flux loop signals; and (ii) all other ELMs, which occur after the initial response of the full flux loop signals has decayed in amplitude. The times at which ELMs in category (ii) occur, relative to the first ELM of the pair, are clustered at times when the instantaneous phase of the full flux loop signal is close to its value at the time of the first ELM
Taming the terminological tempest in invasion science
Standardised terminology in science is important for clarity of interpretation and communication. In invasion science â a dynamic and rapidly evolving discipline â the proliferation of technical terminology has lacked a standardised framework for its development. The result is a convoluted and inconsistent usage of terminology, with various discrepancies in descriptions of damage and interventions. A standardised framework is therefore needed for a clear, universally applicable, and consistent terminology to promote more effective communication across researchers, stakeholders, and policymakers. Inconsistencies in terminology stem from the exponential increase in scientific publications on the patterns and processes of biological invasions authored by experts from various disciplines and countries since the 1990s, as well as publications by legislators and policymakers focusing on practical applications, regulations, and management of resources. Aligning and standardising terminology across stakeholders remains a challenge in invasion science. Here, we review and evaluate the multiple terms used in invasion science (e.g. ânon-nativeâ, âalienâ, âinvasiveâ or âinvaderâ, âexoticâ, ânon-indigenousâ, ânaturalisedâ, âpestâ) to propose a more simplified and standardised terminology. The streamlined framework we propose and translate into 28 other languages is based on the terms (i) ânon-nativeâ, denoting species transported beyond their natural biogeographic range, (ii) âestablished non-nativeâ, i.e. those non-native species that have established self-sustaining populations in their new location(s) in the wild, and (iii) âinvasive non-nativeâ â populations of established non-native species that have recently spread or are spreading rapidly in their invaded range actively or passively with or without human mediation. We also highlight the importance of conceptualising âspreadâ for classifying invasiveness and âimpactâ for management. Finally, we propose a protocol for classifying populations based on (i) dispersal mechanism, (ii) species origin, (iii) population status, and (iv) impact. Collectively and without introducing new terminology, the framework that we present aims to facilitate effective communication and collaboration in invasion science and management of non-native species
- âŚ