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

Conditions for Set Agreement with an Application to Synchronous Systems

The $k$-set agreement problem is a generalization of the consensus problem: considering a system made up of $n$ processes where each process proposes a value, each non-faulty process has to decide a value such that a decided value is a proposed value, and no more than $k$ different values are decided. While this problem cannot be solved in an asynchronous system prone to $t$ process crashes when $t \geq k$, it can always be solved in a synchronous system; $\lfloor \frac{t}{k} \rfloor +1$ is then a lower bound on the number of rounds (consecutive communication steps) for the non-faulty processes to decide. The {\it condition-based} approach has been introduced in the consensus context. Its aim was to both circumvent the consensus impossibility in asynchronous systems, and allow for more efficient consensus algorithms in synchronous systems. This paper addresses the condition-based approach in the context of the $k$-set agreement problem. It has two main contributions. The first is the definition of a framework that allows defining conditions suited to the $\ell$-set agreement problem. More precisely, a condition is defined as a set of input vectors such that each of its input vectors can be seen as ``encoding'' $\ell$ values, namely, the values that can be decided from that vector. A condition is characterized by the parameters $t$, $\ell$, and a parameter denoted $d$ such that the greater $d+\ell$, the least constraining the condition (i.e., it includes more and more input vectors when $d+\ell$ increases, and there is a condition that includes all the input vectors when $d+\ell>t$). The conditions characterized by the triple of parameters $t$, $d$ and $\ell$ define the class of conditions denoted ${\cal S}_t^{d,\ell}$, $0\leq d\leq t$, $1\leq \ell \leq n-1$. The properties of the sets ${\cal S}_t^{d,\ell}$are investigated, and it is shown that they have a lattice structure. The second contribution is a generic synchronous $k$-set agreement algorithm based on a condition $C\in {\cal S}_t^{d,\ell}$, i.e., a condition suitedto the $\ell$-set agreement problem, for $\ell \leq k$. This algorithm requires at most $\left\lfloor \frac{d-1+\ell}{k} \right\rfloor +1$ rounds when the input vector belongs to $C$, and $\left\lfloor \frac{t}{k} \right\rfloor +1$ rounds otherwise. (Interestingly, this algorithm includes as particular cases the classical synchronous $k$-set agreement algorithm that requires $\left\lfloor \frac{t}{k} \right\rfloor+1$ rounds (case $d=t$ and $\ell=1$), and the synchronous consensus condition-based algorithm that terminates in $d+1$ rounds when the input vector belongs to the condition, and in $t+1$ rounds otherwise (case $k=\ell=1$).

A Nomadic Testbed for Teaching Computer Architecture

A nomadic laboratory or testbed, based on Raspberry Pi 3 computers and Arduino microcontrollers, has been developed in order to teach subjects related to computer architecture. The testbed can be transported to the classroom. Students can access it through the available network, which can be a wireless LAN, wired LAN o a custom network. The student can access without constraints to the platforms, therefore there are a wide range of possible experiments. This laboratory was used during 2017 for practical works in the course Introduction to Technology, and during 2018 in the course Computers Architecture at Universidad Nacional of Cuyo. Some of the experiments that are been carried out by students are: to explore and analyse the architecture of the computers through Linux commands, write and run programs on different programing languages, input and output operations through memory mapped addressing and isolated addressing, write interrupt service routines in order to service interrupts, multithreading programing, explore memory maps, CPU features, etc. This paper describes the testbed architecture, experiments performed by students in the mentioned subjects, present the students feedback, and describes the possible methods in order to integrate it to a remote laboratory.XVII Workshop Tecnología Informática Aplicada en Educación (WTIAE)Red de Universidades con Carreras en Informática (RedUNCI

Overview of the results of the organics PET Study of the cometary samples returned from comet Wild 2 by the Stardust mission

This presenation will provide an overview of the efforts and results produced by the Organics Preliminary Examination Team during their studies of the samples returned from comet Wild 2 by the Stardust spacecraft

The Kuiper Belt and Other Debris Disks

We discuss the current knowledge of the Solar system, focusing on bodies in the outer regions, on the information they provide concerning Solar system formation, and on the possible relationships that may exist between our system and the debris disks of other stars. Beyond the domains of the Terrestrial and giant planets, the comets in the Kuiper belt and the Oort cloud preserve some of our most pristine materials. The Kuiper belt, in particular, is a collisional dust source and a scientific bridge to the dusty "debris disks" observed around many nearby main-sequence stars. Study of the Solar system provides a level of detail that we cannot discern in the distant disks while observations of the disks may help to set the Solar system in proper context.Comment: 50 pages, 25 Figures. To appear in conference proceedings book "Astrophysics in the Next Decade

Microarray Analysis of the Effect of Streptococcus equi subsp. zooepidemicus M-Like Protein in Infecting Porcine Pulmonary Alveolar Macrophage

Streptococcus equi subsp. zooepidemicus (S. zooepidemicus), which belongs to Lancefield group C streptococci, is an important pathogen of domesticated species, causing septicemia, meningitis and mammitis. M-like protein (SzP) is an important virulence factor of S. zooepidemicus and contributes to bacterial infection and antiphagocytosis. To increase our knowledge of the mechanism of SzP in infection, we profiled the response of porcine pulmonary alveolar macrophage (PAM) to infection with S. zooepidemicus ATCC35246 wild strain (WD) and SzP-knockout strain (KO) using the Roche NimbleGen Porcine Genome Expression Array. We found SzP contributed to differential expression of 446 genes, with upregulation of 134 genes and downregulation of 312 genes. Gene Ontology category and KEGG pathway were analyzed for relationships among differentially expressed genes. These genes were represented in a variety of functional categories, including genes involved in immune response, regulation of chemokine production, signal transduction and regulation of apoptosis. The reliability of the data obtained from the microarray was verified by performing quantitative real-time PCR on 12 representative genes. The data will contribute to understanding of SzP mediated mechanisms of S. zooepidemicus pathogenesis

Mineralogy and petrology of comet 81P/wild 2 nucleus samples

The bulk of the comet 81P/Wild 2 (hereafter Wild 2) samples returned to Earth by the Stardust spacecraft appear to be weakly constructed mixtures of nanometer-scale grains, with occasional much larger (over 1 micrometer) ferromagnesian silicates, Fe-Ni sulfides, Fe-Ni metal, and accessory phases. The very wide range of olivine and low-Ca pyroxene compositions in comet Wild 2 requires a wide range of formation conditions, probably reflecting very different formation locations in the protoplanetary disk. The restricted compositional ranges of Fe-Ni sulfides, the wide range for silicates, and the absence of hydrous phases indicate that comet Wild 2 experienced little or no aqueous alteration. Less abundant Wild 2 materials include a refractory particle, whose presence appears to require radial transport in the early protoplanetary disk

Prospects for the development of probiotics and prebiotics for oral applications

There has been a paradigm shift towards an ecological and microbial community-based approach to understanding oral diseases. This has significant implications for approaches to therapy and has raised the possibility of developing novel strategies through manipulation of the resident oral microbiota and modulation of host immune responses. The increased popularity of using probiotic bacteria and/or prebiotic supplements to improve gastrointestinal health has prompted interest in the utility of this approach for oral applications. Evidence now suggests that probiotics may function not only by direct inhibition of, or enhanced competition with, pathogenic micro-organisms, but also by more subtle mechanisms including modulation of the mucosal immune system. Similarly, prebiotics could promote the growth of beneficial micro-organisms that comprise part of the resident microbiota. The evidence for the use of pro or prebiotics for the prevention of caries or periodontal diseases is reviewed, and issues that could arise from their use, as well as questions that still need to be answered, are raised. A complete understanding of the broad ecological changes induced in the mouth by probiotics or prebiotics will be essential to assess their long-term consequences for oral health and disease

Binary systems and their nuclear explosions

Peer ReviewedPreprin

Organics Captured from Comet Wild 2 by the Stardust Spacecraft

Organics found in Comet Wild 2 samples show a heterogeneous and unequilibrated distribution in abundance and composition. Some organics are similar, but not identical, to those in interplanetary dust particles (IDPs) and carbonaceous meteorites. A class of aromatic-poor organic material is also present. The organics are rich in O and N compared to meteoritic organics. Aromatic compounds are present, but the samples tend to be relatively poorer in aromatics than meteorites and IDPs. D and {sup 15}N suggest that some organics have an interstellar/protostellar heritage. While the variable extent of modification of these materials by impact capture is not yet fully constrained, a remarkably diverse suite of organic compounds is present and identifiable within the returned samples. Comets are small bodies that accreted in the outer Solar System during its formation (1) and thus may consist of preserved samples of the ''starting materials'' from which the Solar System was made. Organic materials are expected to be present in cometary samples (2) and may include molecules made and/or modified in stellar outflows, the interstellar medium, and the protosolar nebula, as well as by parent body processing within the comet. The presence of organic compounds in comets and their ejecta is of astrobiological interest since their delivery to the early Earth may have played an important role in the origin of life on Earth (3). An overview of the Stardust Mission and the collection and recovery of Wild 2 samples is provided elsewhere (4,5). We describe the results obtained from the returned samples by the Stardust Organics Preliminary Examination Team (PET). Samples were studied using a wide range of analytical techniques, including two-step laser desorption laser ionization mass spectrometry (L{sub 2}MS), Liquid Chromatography with UV Fluorescence Detection and Time of Flight Mass Spectrometry (LC-FD/TOF-MS), Scanning Transmission X-ray Microscopy (STXM), X-ray Absorption Near Edge Spectroscopy (XANES), infrared and Raman spectroscopy, Ion Chromatography with conductivity detection (IC), Secondary Ion Mass Spectrometry (SIMS), and Time-of-Flight Secondary Ion Mass Spectrometry (TOF-SIMS) (6). These techniques provide a wealth of information about the chemical nature and relative abundance of the organics in the samples. Our results are compared to organic materials found in primitive meteorites and interplanetary dust particles (IDPs) collected in the stratosphere, well as to astronomical and spacecraft observations of comets. Despite some uncertainties associated with the presence of contaminants and alteration of the samples during the capture process, considerable information about the nature of the organics in the samples can be determined