Anonymous Asynchronous Systems: The Case of Failure Detectors

Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that are asynchrony, failures, dynamicity, mobility, etc. Considering message-passing systems, this paper considers the uncertainty created by the net effect of three of these adversaries, namely, asynchrony, failures, and anonymity. This means that, in addition to be asynchronous and crash-prone, the processes have no identity. Trivially, agreement problems (e.g., consensus) that cannot be solved in presence of asynchrony and failures cannot be solved either when adding anonymity. The paper consequently proposes anonymous failure detectors to circumvent these impossibilities. It has several contributions. First it presents three classes of failure detectors (denoted AP, A∩ and A∑) and show that they are the anonymous counterparts of the classes of perfect failure detectors, eventual leader failure detectors and quorum failure detectors, respectively. The class A∑ is new and showing it is the anonymous counterpart of the class ∑ is not trivial. Then, the paper presents and proves correct a genuinely anonymous consensus algorithm based on the pair of anonymous failure detector classes (A∩, A∑) (“genuinely” means that, not only processes have no identity, but no process is aware of the total number of processes). This new algorithm is not a “straightforward extension” of an algorithm designed for non-anonymous systems. To benefit from A∑, it uses a novel message exchange pattern where each phase of every round is made up of sub-rounds in which appropriate control information is exchanged. Finally, the paper discusses the notions of failure detector class hierarchy and weakest failure detector class for a given problem in the context of anonymous systems

Relating L-Resilience and Wait-Freedom via Hitting Sets

The condition of t-resilience stipulates that an n-process program is only obliged to make progress when at least n-t processes are correct. Put another way, the live sets, the collection of process sets such that progress is required if all the processes in one of these sets are correct, are all sets with at least n-t processes. We show that the ability of arbitrary collection of live sets L to solve distributed tasks is tightly related to the minimum hitting set of L, a minimum cardinality subset of processes that has a non-empty intersection with every live set. Thus, finding the computing power of L is NP-complete. For the special case of colorless tasks that allow participating processes to adopt input or output values of each other, we use a simple simulation to show that a task can be solved L-resiliently if and only if it can be solved (h-1)-resiliently, where h is the size of the minimum hitting set of L. For general tasks, we characterize L-resilient solvability of tasks with respect to a limited notion of weak solvability: in every execution where all processes in some set in L are correct, outputs must be produced for every process in some (possibly different) participating set in L. Given a task T, we construct another task T_L such that T is solvable weakly L-resiliently if and only if T_L is solvable weakly wait-free

Vegetative Propagation of Argania spinosa (L.) Skeels Cuttings: Effects of Nutrient Solution

The effects of the mineral composition of nutrient solution (Hoagland and Arnon (HA), Quoirin and Lepoivre (QL), Murashige and Skoog (MS), and Woody Plant Medium (WPM)), cutting type (softwood, semi-hardwood and hardwood) and cutting position (basal, medial, and apical) on sprouting and rooting performance of Argania spinosa cuttings were investigated. According to the results, the nutrient solution, cutting type and cutting position had an effect on the sprouting and adventitious rooting ability of A. spinosa cuttings. The leafy semi-hardwood cuttings taking from the basal positions and irrigated with Hoagland solution performed best and produced the highest number of roots (44.63), root length (28.86 cm), and had the highest rooting and survival percentage (63.81% and 96.09%, respectively). The nutrient solution applications caused a notable increase in sprouting and rooting potential of the argan tree. The highest values were recorded for HA and QL, while the MS and WPM gave the poorest result and the greatest mortality rate of cuttings. The cuttings type had also a pronounced effect on vegetative propagation of A. spinosa. The leafy semi-hardwood cuttings performed better than the leafy softwood cuttings, whereas leafless hardwood cuttings were completely unable to sprout and root even when treated with nutrient solutions. Thus, vegetative propagation of A. spinosa can best be achieved using basal leafy semi-hardwood cuttings irrigated with Hoagland nutrient solution

Solving atomic multicast when groups crash

In this paper, we study the atomic multicast problem, a fundamental abstraction for building faulttolerant systems. In the atomic multicast problem, the system is divided into non-empty and disjoint groups of processes. Multicast messages may be addressed to any subset of groups, each message possibly being multicast to a different subset. Several papers previously studied this problem either in local area networks [3, 9, 20] or wide area networks [13, 21]. However, none of them considered atomic multicast when groups may crash. We present two atomic multicast algorithms that tolerate the crash of groups. The first algorithm tolerates an arbitrary number of failures, is genuine (i.e., to deliver a message m, only addressees of m are involved in the protocol), and uses the perfect failures detector P. We show that among realistic failure detectors, i.e., those that do not predict the future, P is necessary to solve genuine atomic multicast if we do not bound the number of processes that may fail. Thus, P is the weakest realistic failure detector for solving genuine atomic multicast when an arbitrary number of processes may crash. Our second algorithm is non-genuine and less resilient to process failures than the first algorithm but has several advantages: (i) it requires perfect failure detection within groups only, and not across the system, (ii) as we show in the paper it can be modified to rely on unreliable failure detection at the cost of a weaker liveness guarantee, and (iii) it is fast, messages addressed to multiple groups may be delivered within two inter-group message delays only

Morphogenetic responses of embryo culture of wheat related to environment culture conditions of the explant donor plant

Availability of immature embryos as explants to establish wheat (Triticum aestivum L.) by tissue culture can be limited by climatic factors and the lack of high quality embryos frequently hampers experimentation. This study evaluates the effects of rainfall, various temperature-based variables and sunshine duration on tissue culture response (TCR) traits including callus formation (CF), regenerating calli (RC), and number of plants per embryo (PPE) for 96 wheat genotypes of worldwide origin. The objectives of this study were to evaluate the significance of a particular climatic factor on TCR traits and to determine the period of wheat growth during which these factors were the most effective. The genotypes were grown in an experimental field during three seasons differing in meteorological conditions. The relationships between TCR traits and climatic factors within three time periods of wheat growth: 2, 6 and 10 weeks prior to embryo sampling were analysed by biplot analysis. The tissue culture traits were influenced at very different degrees by climatic factors: from 16.8% (RC) to 69.8% (CF). Donor plant environment with high temperatures and low rainfalls reduced (p lt 0.05) the tissue culture performance of wheat genotypes. Callus formation was most sensitive to the temperature based factors. The environmental conditions between flowering and the medium milk stage were the most important for CF, while RC and PPE were not particularly related to any period

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV