Rambo: a robust, reconfigurable atomic memory service for dynamic networks

In this paper, we present Rambo, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. Rambo provides a highly reliable, highly available service, even as participants join, leave, and fail. In fact, the entire set of participants may change during an execution, as the initial devices depart and are replaced by a new set of devices. Even so, Rambo ensures that data stored in the distributed shared memory remains available and consistent. There are two basic techniques used by Rambo to tolerate dynamic changes. Over short intervals of time, replication suffices to provide fault-tolerance. While some devices may fail and leave, the data remains available at other replicas. Over longer intervals of time, Rambo copes with changing participants via reconfiguration, which incorporates newly joined devices while excluding devices that have departed or failed. The main novelty of Rambo lies in the combination of an efficient reconfiguration mechanism with a quorum-based replication strategy for read/write shared memory. The Rambo algorithm can tolerate a wide variety of aberrant behavior, including lost and delayed messages, participants with unsynchronized clocks, and, more generally, arbitrary asynchrony. Despite such behavior, Rambo guarantees that its data is stored consistency. We analyze the performance of Rambo during periods when the system is relatively well-behaved: messages are delivered in a timely fashion, reconfiguration is not too frequent, etc. We show that in these circumstances, read and write operations are efficient, completing in at most eight message delays.     

Nonlinear observers with approximately linear error dynamics: themultivariable case

Exact error linearization uses nonlinear input-output injection to design observers with linear error dynamics in certain coordinates. This approach can only be applied nongenerically. We propose an observer for a wider class of multivariable systems which uniformly minimizes the nonlinear part of the system that cannot be canceled by nonlinear input-output injection. Our approach is numerical, constructive, and provides locally exponentially stable error dynamics. An example compares our design with a high-gain method     

The BG distributed simulation algorithm

We present a shared memory algorithm that allows a set of f+1 processes to wait-free “simulate” a larger system of n processes, that may also exhibit up to f stopping failures. Applying this simulation algorithm to the k-set-agreement problem enables conversion of an arbitrary k-fault-tolerant{\it n}-process solution for the k-set-agreement problem into a wait-free k+1-process solution for the same problem. Since the k+1-processk-set-agreement problem has been shown to have no wait-free solution [5,18,26], this transformation implies that there is no k-fault-tolerant solution to the n-process k-set-agreement problem, for any n. More generally, the algorithm satisfies the requirements of a fault-tolerant distributed simulation.\/ The distributed simulation implements a notion of fault-tolerant reducibility\/ between decision problems. This paper defines these notions and gives examples of their application to fundamental distributed computing problems. The algorithm is presented and verified in terms of I/O automata. The presentation has a great deal of interesting modularity, expressed by I/O automaton composition and both forward and backward simulation relations. Composition is used to include a safe agreement\/ module as a subroutine. Forward and backward simulation relations are used to view the algorithm as implementing a multi-try snapshot\/ strategy. The main algorithm works in snapshot shared memory systems; a simple modification of the algorithm that works in read/write shared memory systems is also presented. Received: February 2001 / Accepted: February 2001     

A criticism of the Flood-Grjotheim ionic treatment of slag-equilibria

The analysis by Flood and Grjotheim¹ of the equilibria between a metal and a fused slag utilizes the ionic behavior of the slag or salt, and it employs a reversible thermodynamic cycle. However, in the original analysis there appears to be an error in the use of free energy. A corrected treatment has been developed which involves a modest change and simplification in the original formulation. The revised analysis shows the importance of the thermodynamic behavior of ionic species in the slag, which may be nonideal. Data from the literature on slag-metal equilibria, for example: $$\left[ {Fe^{2 + } } \right] + \underline {Mn} = Fe\left( l \right) + \left[ {Mn^{2 + } } \right]$$ , are analyzed by the new formulation to obtain expressions for ratios of activity coefficients such as (γS^2?/γO^2?), (γMn²⁺/γFe²⁺) and [(γPO ₄ ^3? )²/(γO^2?)³] in terms of slag composition, the last two having been found to depend strongly on the oxygen-ion content of the slag.     

Sturcture and function of the mononuclear phagocytic system (MPS) in chronic rhinosinusitis. A light and electron microscopic investigation (author's transl)

Neither the concept of the Reticulo-Endothelial-System (RES) Aschoff's (1924) nor that of the Reticulo-Histiocyte-System (RHS) provides a satisfactory framework into which the present knowledge of the phagocytic mononuclear cells can be fitted. Current knowledge concerning morphology, histochemistry (peroxydase and esterase activity), immunology (specific surface antigens, receptors on the cell membranes), function (immune phagocytosis, pinocytosis), kinetics (3H-thymidine labelling) and culture makes it possible to place all highly phagocytic mononuclear cells and their precursors in one system, which is called the Mononuclear-Phagocytic-System (MPS) (Langevoort, Cohn, Hirsch, Humphrey, Spector, van Furth, 1969). Kinetic studies with labelled cells have shown, that mononuclear phagocytes originate from precursor cells in the bone marrow (stem cell leads to monoblasts leads to promonocytes), than are circulating in the peripheral blood as monocytes and are transformed to tissue macrophages entering tissues. The MPS comprises following cells in following organs: connective tissue (histiocytes resp. macrophages); liver (Kupffer-cells); lung (alveolar macrophages); lymph nodes (free and fixed macrophages); bone marrow (macrophages); serous cavities (pleural and peritoneal macrophages); bone tissue (osteoclasts?); nervous system (microglial cells) (SEE Table 1). The reticular cells, endothelial cells and fibroblasts (fibrocytes) can therefore not be included in the MPS. Besides differences in morphology, histochemistry and function, they derive from mesenchymal cells and not from the bone marrow as the MPS. The present investigation demonstrates the structure and significance of the MPS in various kinds of chronic-specific and non-specific rhinosinusitis. On semithin sections two kinds of macrophages can be distinguished light-microscopically: 1. Larger macrophages with many phagosomes (storage cells) (Fig. 1A), which can exhibit sometimes a ring-shape on sections embracing greater parts of the interstitium (Fig. 1B). Such forms are mainly found in chronic (maxillary) sinusitis and are interpretated as "scavenger" macrophages. 2. The second type consists of smaller macrophages with extremely ruffling of the cell surface, which is interpretated as an expression of highly (specific?) stimulated states. These later macrophages can be seen mainly in edematous nasal polyps, which might be caused by allergic reactions of the anaphylactic type. The fine structure of the phagocytes is to some extent dependent on the actual development and functional state: there are "immature" macrophages, which are practically indistinguishable from blood monocytes (Fig. 2A); some of them can be stimulated and can therefore show many surface foldings and projections (Fig. 2B). The "mature" macrophage shows a well developed Golgi-area and many secondary lysosomes (Fig. 3). The storage type of the macrophages, which can predominate in some cases of chronic maxillary sinusitis, is characterized by many electron-lucent vacuoles (Fig. 4)...     

The LabMatrix system

The LabMatrix^™ is a prototyping system designed to give the user a practical and versatile platform for testing microfluidic applications in the fields of health care and life sciences. The LabMatrix^™ system consists of a microfluidic breadboard and cover that align and secure a series of specially designed LabMatrix^™ microfluidic chips. Chips are easily arranged and rearranged into a user-defined fluidic network. The LabMatrix^™ system is designed with maximum flexibility in mind, providing the user with a means to prototype a wide range of microfluidic applications in a short period.     

The Effectiveness of Telephone-Based Continuing Care in the Clinical Management of Alcohol and Cocaine Use Disorders: 12-Month Outcomes.

This study of continuing care for substance dependent patients compared a telephone-based monitoring and brief counseling intervention (TEL) with 2 face-to-face interventions, relapse prevention (RP) and standard 12-step group counseling (STND). The participants were graduates of intensive outpatient programs who had current dependence on alcohol and/or cocaine. Self-report, collateral, and biological measures of alcohol and cocaine use were obtained over a 12-month follow-up. The treatment groups did not differ on abstinence-related outcomes in the complete sample (N = 359) or on cocaine use outcomes in participants with cocaine dependence (n = 268). However, in participants with alcohol dependence only (n = 91), TEL produced better alcohol use outcomes than STND on all measures examined and better outcomes than RP on some of the measures. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Self-generated validity and other effects of measurement on belief, attitude, intention, and behavior.

Drawing from recent developments in social cognition, cognitive psychology, and behavioral decision theory, we analyzed when and how the act of measuring beliefs, attitudes, intentions, and behaviors affects observed correlations among them. Belief, attitude, or intention can be created by measurement if the measured constructs do not already exist in long-term memory. The responses thus created can have directive effects on answers to other questions that follow in the survey. But even when counterparts to the beliefs, attitudes, and intentions measured already exist in memory, the structure of the survey researcher's questionnaire can affect observed correlations among them. The respondent may use retrieved answers to earlier survey questions as inputs to response generation to later questions. We present a simple theory predicting that an earlier response will be used as a basis for another, subsequent response if the former is accessible and if it is perceived to be more diagnostic than other accessible inputs. We outline the factors that determine both the perceived diagnosticity of a potential input, the likelihood that it will be retrieved, and the likelihood that some alternative (and potentially more diagnostic) inputs will be retrieved. (PsycINFO Database Record (c) 2010 APA, all rights reserved)