Quantifying eventual consistency with PBS

Data store replication results in a fundamental trade-off between operation latency and data consistency. At the weak end of the consistency spectrum is eventual consistency providing no limit to the staleness of data returned. However, anecdotally, eventual consistency is often “good enough” for practitioners given its latency and availability benefits. In this work, we explain why eventually consistent systems are regularly acceptable in practice, analyzing both the staleness of data they return and the latency benefits they offer. We introduce Probabilistically Bounded Staleness (PBS), a consistency model which provides expected bounds on data staleness with respect to both versions and wall clock time. We derive a closed-form solution for versioned staleness as well as model real-time staleness under Internet-scale production workloads for a large class of quorum-replicated, Dynamo-style stores. Using PBS, we measure the latency–consistency trade-off for partial, non-overlapping quorum systems, including limited multi-object operations. We quantitatively demonstrate how and why eventually consistent systems frequently return consistent data within tens of milliseconds while offering significant latency benefits.     

Heat transfer at the metal/substrate interface during solidification of Pb-Sn solder alloys

Heat transfer analysis during the solidification of lead, tin, and two lead-base solder alloys against two different chill materials (steel and copper) was carried out with and without flux coating on the chill surface. Temperatures at two known locations inside the chill and casting were recorded as the casting started solidifying, and the acquired chill temperature data were used for solving a one-dimensional heat conduction equation inversely to yield the metal/chill interfacial heat flux and chill surface temperature as a function of time. The initial heat flux was high due to good contact at the metal/chill interface. As the casting started solidifying, there was a reduction in the heat flux due to the nonconforming contact at the interface. Chills with flux coating resulted in finer microstructures near the solder/substrate interface compared to those obtained with uncoated chills. The fineness of the microstructure also increased when copper was used as the chill material. The estimated total heat flow was found to be higher with flux-coated and copper chills. This was in good agreement with the finer microstructures obtained near the solder/chill interfacial region for solidification against copper chills and chills with flux coating on their surface.     

Novel Fast Lithium Ion Conduction in Garnet-Type Li5La3M2O12 (M = Nb, Ta)

Lithium metal oxides with the nominal composition Li₅La₃M₂O₁₂ (M = Nb, Ta), possessing a garnetlike structure, have been investigated with regard to their electrical properties. These compounds form a new class of solid-state lithium ion conductors with a different crystal structure compared with all those known so far. The materials are prepared by solid-state reaction and characterized by powder XRD and ac impedance to determine their lithium ionic conductivity. Both the niobium and tantalum members exhibit the same order of magnitude of bulk conductivity (∼10⁻⁶ S/cm at 25°C). The activation energies for ionic conductivity (<300°C) are 0.43 and 0.56 eV for Li₅La₃Nb₂O₁₂ and Li₅La₃Ta₂O₁₂, respectively, which are comparable to those of other solid lithium conductors, such as Lisicon, Li₁₄ZnGe₄O₁₆. Among the investigated materials, the tantalum compound Li₅La₃Ta₂O₁₂ is stable against reaction with molten lithium. Further tailoring of the compositions by appropriate chemical substitutions and improved synthesizing methods, especially with regard to minimizing grain-boundary resistance, are important issues in view of the potential use of the new class of compounds as electrolytes in practical lithium ion batteries.     

Predicting the Grain-Size Distributions in High-Density, High-Purity Alumina Ceramics

This paper discusses the image-analyzer-based grain-size distributions (GSDs) of fully densified ceramics obtained from pressure casting a high-purity alumina powder, develops an algorithm for predicting the GSDs as a function of sintering time and temperature, and compares of the GSDs thus predicted with those experimentally observed. The GSD data for all sintered specimens, when nondimensionalized in terms of the median grain size, reduced to a single self-preserving GSD curve. The median grain was predicted as a function of sintering time and temperature using the classical kinetics equation. The GSDs predicted using the algorithm developed tallied well with those that were experimentally obtained.     

Plasma-activated immobilization of biomolecules onto graphite-encapsulated magnetic nanoparticles

We describe the amino group surface functionalisation of graphite-encapsulated iron compound nanoparticles by radio frequency (RF) plasma processing followed by oxidized dextran immobilization. We have found that surface treatment using plasma represents an important step before biomolecules immobilization. After plasma treatment, the dispersion property of nanoparticles in dextran solution in water was significantly improved. The successful dextran immobilization was confirmed by X-ray photoelectron spectroscopy (XPS) and high resolution-transmission electron microscopy (HR-TEM) analyses followed by amino group derivatization using 4-(trifluoromethyl)-benzaldehyde (TFBA). As an evidence for covalent bonding between nanoparticles and dextran, the area percentage of deconvoluted CN peak at ～389.6 eV increased from 0% to 10.53 ± 1.30% with increasing the dextran concentration. The result is consistent with the evidenced decreasing of the free amino group percentage from 68.09 ± 5.10% to 14.73 ± 5.89% on the nanoparticle surface after dextran immobilization.     

Controlling failure using structural fuses for predictable progressive failure of composite laminates

Structural fuses have been used to bias and control failures in structural applications where predictability of the progressive failure or collapse response is important. Tailoring structural fuses by trial and error in large structures that have numerous possible load and failure paths is not possible because the optimum failure sequence is not known a priori. Using nondeterministic methods to tailor structural fuses is computationally expensive. A procedure for developing deterministic measures to optimize structural fuses is presented here. The progressive failure of composite laminates is used for demonstration. Structural fuses are optimized using a reliability optimization. The failure response characteristics of the laminate with optimum structural fuses are used to identify deterministic measures that correlate with high progressive failure predictability. The deterministic measures are validated by using them as surrogate design criteria in a deterministic optimization to optimize structural fuses that control failure and improve progressive failure predictability. The improvement in predictability of the deterministic optimum design achieved by using optimized structural fuses is better than that obtained by optimizing the ply angles of the laminate explicitly for predictability.     

Integrated Placement and Skew Optimization for Rotary Clocking

The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have started playing an increasingly important role in limiting the performance of the clock network. Rotary clocking is a novel technique which employs unterminated rings formed by differential transmission lines to save power and reduce skew variability. Despite its appealing advantages, rotary clocking requires flip-flop locations to match predesigned clock skew on rotary clock rings. This requirement poses a difficult chicken-and-egg problem which prevents its wide application. In this paper, we propose an integrated placement and skew scheduling methodology to break this hurdle, making rotary clocking compatible with practical design flows. A network flow based flip-flop assignment algorithm and a cost-driven skew optimization algorithm are developed. We also present an integer linear programming formulation that minimizes maximum capacitance loaded at any of the rotary rings, thereby maximizing the operating frequency. Experimental results on benchmark circuits show that our method can reduce the tapping cost (measured as the total length of the wire segments connecting the rotary rings to the clock sinks) for rotary clocking by 33%-53%     

Effect of ammonia fiber expansion on the available energy content of wheat straw fed to lactating cattle and buffalo in India

The seasonal lack of availability of lush green forages can force dairy farmers in developing nations to rely on crop residues such as wheat and rice straw as the major feed source. We tested whether ammonia fiber expansion (AFEX) treatment of wheat straw would increase the energy available to Murrah buffalo and Karan-Fries cattle consuming 70% of their diet as wheat straw in India. Forty lactating animals of each species were blocked by parity and days in milk and randomly assigned to 1 of 4 treatment diets (n = 10). Treatments were a nutrient-rich diet with 0 to 20% straw (positive control; PC) and 3 high-straw diets with various levels of AFEX-treatment: (1) 70% untreated straw (no AFEX), (2) 40 to 45% untreated straw with 25 to 30% AFEX-treated straw (low AFEX), and (3) 20% untreated straw with 50% AFEX-treated straw (high AFEX). The AFEX-treated straw was pelleted. Urea was added to the no and low AFEX diets so they were isonitrogenous with the high AFEX diet. Animals were individually fed the PC diet for 14 d followed by 7 d of adaptation to treatments, full treatments for 28 to 35 d, and finally PC diets for 21 d. Compared with buffalo fed the PC diet, those fed high-straw diets consumed 29% less feed dry matter, put out 16% less milk energy, and lost 0.8 kg/d more body weight; the AFEX treatment of straw did not alter intake or milk production but greatly ameliorated the body weight loss (?1.0 kg/d for no AFEX and ?0.07 kg/d for high AFEX). In Karan-Fries cattle, high-straw diets decreased dry matter intake by 39% and milk energy by 24%, and the high AFEX diet increased intake by 42% and milk energy by 18%. The AFEX treatment increased digestibilities of organic matter, dry matter, neutral detergent fiber, acid detergent fiber, and crude protein by 6 to 13 percentage points in buffalo and 5 to 10 points in cattle. In conclusion, AFEX treatment increased the digestibility and energy availability of wheat straw for lactating buffalo and cattle and has commercial potential to improve milk production and feed efficiency when high-quality forages or grains are not available.