Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling

Fixed priority scheduling is used in many real-time systems; however, both preemptive and non-preemptive variants (FP-P and FP-NP) are known to be sub-optimal when compared to an optimal uniprocessor scheduling algorithm such as preemptive earliest deadline first (EDF-P). In this paper, we investigate the sub-optimality of fixed priority non-preemptive scheduling. Specifically, we derive the exact processor speed-up factor required to guarantee the feasibility under FP-NP (i.e. schedulability assuming an optimal priority assignment) of any task set that is feasible under EDF-P. As a consequence of this work, we also derive a lower bound on the sub-optimality of non-preemptive EDF (EDF-NP). As this lower bound matches a recently published upper bound for the same quantity, it closes the exact sub-optimality for EDF-NP. It is known that neither preemptive, nor non-preemptive fixed priority scheduling dominates the other, in other words, there are task sets that are feasible on a processor of unit speed under FP-P that are not feasible under FP-NP and vice-versa. Hence comparing these two algorithms, there are non-trivial speedup factors in both directions. We derive the exact speed-up factor required to guarantee the FP-NP feasibility of any FP-P feasible task set. Further, we derive the exact speed-up factor required to guarantee FP-P feasibility of any constrained-deadline FP-NP feasible task set

From community approaches to single-cell genomics: the discovery of ubiquitous hyperhalophilic Bacteroidetes generalists

The microbiota of multi-pond solar salterns around the world has been analyzed using a variety of culture-dependent and molecular techniques. However, studies addressing the dynamic nature of these systems are very scarce. Here we have characterized the temporal variation during 1 year of the microbiota of five ponds with increasing salinity (from 18% to >40%), by means of CARD-FISH and DGGE. Microbial community structure was statistically correlated with several environmental parameters, including ionic composition and meteorological factors, indicating that the microbial community was dynamic as specific phylotypes appeared only at certain times of the year. In addition to total salinity, microbial composition was strongly influenced by temperature and specific ionic composition. Remarkably, DGGE analyses unveiled the presence of most phylotypes previously detected in hypersaline systems using metagenomics and other molecular techniques, such as the very abundant Haloquadratum and Salinibacter representatives or the recently described low GC Actinobacteria and Nanohaloarchaeota. In addition, an uncultured group of Bacteroidetes was present along the whole range of salinity. Database searches indicated a previously unrecognized widespread distribution of this phylotype. Single-cell genome analysis of five members of this group suggested a set of metabolic characteristics that could provide competitive advantages in hypersaline environments, such as polymer degradation capabilities, the presence of retinal-binding light-activated proton pumps and arsenate reduction potential. In addition, the fairly high metagenomic fragment recruitment obtained for these single cells in both the intermediate and hypersaline ponds further confirm the DGGE data and point to the generalist lifestyle of this new Bacteroidetes group.This work was supported by the projects CGL2012-39627-C03-01 and 02 of the Spanish Ministry of Economy and Competitiveness, which were also co-financed with FEDER support from the European Union. TG group research is funded in part by a grant from the Spanish Ministry of Economy and Competitiveness (BIO2012-37161), a grant from the Qatar National Research Fund grant (NPRP 5-298-3-086) and a grant from the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013)/ERC (grant agreement no. ERC-2012-StG-310325)

Sphingosine Kinase-1 Is Required for Toll Mediated β-Defensin 2 Induction in Human Oral Keratinocytes

Host defense against invading pathogens is triggered by various receptors including toll-like receptors (TLRs). Activation of TLRs is a pivotal step in the initiation of innate, inflammatory, and antimicrobial defense mechanisms. Human beta-defensin 2 (HBD-2) is a cationic antimicrobial peptide secreted upon gram-negative bacterial perturbation in many cells. Stimulation of various TLRs has been shown to induce HBD-2 in oral keratinocytes, yet the underlying cellular mechanisms of this induction are poorly understood.Here we demonstrate that HBD-2 induction is mediated by the Sphingosine kinase-1 (Sphk-1) and augmented by the inhibition of Glycogen Synthase Kinase-3beta (GSK-3beta) via the Phosphoinositide 3-kinase (PI3K) dependent pathway. HBD-2 secretion was dose dependently inhibited by a pharmacological inhibitor of Sphk-1. Interestingly, inhibition of GSK-3beta by SB 216763 or by RNA interference, augmented HBD-2 induction. Overexpression of Sphk-1 with concomitant inhibition of GSK-3beta enhanced the induction of beta-defensin-2 in oral keratinocytes. Ectopic expression of constitutively active GSK-3beta (S9A) abrogated HBD-2 whereas kinase inactive GSK-3beta (R85A) induced higher amounts of HBD-2.These data implicate Sphk-1 in HBD-2 regulation in oral keratinocytes which also involves the activation of PI3K, AKT, GSK-3beta and ERK 1/2. Thus we reveal the intricate relationship and pathways of toll-signaling molecules regulating HBD-2 which may have therapeutic potential

The Aspartate-Semialdehyde Dehydrogenase of Edwardsiella ictaluri and Its Use as Balanced-Lethal System in Fish Vaccinology

asdA mutants of Gram-negative bacteria have an obligate requirement for diaminopimelic acid (DAP), which is an essential constituent of the peptidoglycan layer of the cell wall of these organisms. In environments deprived of DAP, i.e., animal tissues, they will undergo lysis. Deletion of the asdA gene has previously been exploited to develop antibiotic-sensitive strains of live attenuated recombinant bacterial vaccines. Introduction of an Asd+ plasmid into a ΔasdA mutant makes the bacterial strain plasmid-dependent. This dependence on the Asd+ plasmid vector creates a balanced-lethal complementation between the bacterial strain and the recombinant plasmid. E. ictaluri is an enteric Gram-negative fish pathogen that causes enteric septicemia in catfish. Because E. ictaluri is a nasal/oral invasive intracellular pathogen, this bacterium is a candidate to develop a bath/oral live recombinant attenuated Edwardsiella vaccine (RAEV) for the catfish aquaculture industry. As a first step to develop an antibiotic-sensitive RAEV strain, we characterized and deleted the E. ictaluri asdA gene. E. ictaluri ΔasdA01 mutants exhibit an absolute requirement for DAP to grow. The asdA gene of E. ictaluri was complemented by the asdA gene from Salmonella. Several Asd+ expression vectors with different origins of replication were transformed into E. ictaluri ΔasdA01. Asd+ vectors were compatible with the pEI1 and pEI2 E. ictaluri native plasmids. The balanced-lethal system was satisfactorily evaluated in vivo. Recombinant GFP, PspA, and LcrV proteins were synthesized by E. ictaluri ΔasdA01 harboring Asd+ plasmids. Here we constructed a balanced-lethal system, which is the first step to develop an antibiotic-sensitive RAEV for the aquaculture industry

Cinnamomum cassia Bark in Two Herbal Formulas Increases Life Span in Caenorhabditis elegans via Insulin Signaling and Stress Response Pathways

Background: Proving the efficacy and corresponding mode of action of herbal supplements is a difficult challenge for evidence-based herbal therapy. A major hurdle is the complexity of herbal preparations, many of which combine multiple herbs, particularly when the combination is assumed to be vitally important to the effectiveness of the herbal therapy. This issue may be addressed through the use of contemporary methodology and validated animal models. Methods and Principal Findings: In this study, two commonly used traditional herbal formulas, Shi Quan Da Bu Tang (SQDB) and Huo Luo Xiao Ling Dan (HLXL) were evaluated using a survival assay and oxidative stress biomarkers in a well-established C. elegans model of aging. HLXL is an eleven herb formula modified from a top-selling traditional herbal formula for the treatment of arthritic joint pain. SQDB consists of ten herbs often used for fatigue and energy, particularly in the aged. We demonstrate here that SQDB significantly extend life span in a C. elegans model of aging. Among all individual herbs tested, two herbs Cinnamomum cassia bark (Chinese pharmaceutical name: Cinnamomi Cortex, CIN) and Panax ginseng root (Chinese pharmaceutical name: Ginseng Radix, GS) significantly extended life span in C. elegans. CIN in both SQDB and HLXL formula extended life span via modulation of multiple longevity assurance genes, including genes involved in insulin signaling and stress response pathways. All the life-span-extending herbs (SQDB, CIN and GS) also attenuated levels of H2O2 and enhanced small heat shock protein expression. Furthermore, the life spanextending herbs significantly delayed human amyloid beta (Aβ)-induced toxicity in transgenic C. elegans expressing human Aβ. Conclusion/Significance:These results validate an invertebrate model for rapid, systematic evaluation of commonly used Chinese herbal formulations and may provide insight for designing future evidence-based herbal therapy(s). Copyright: © 2010 Yu et al.published_or_final_versio

Planetary Rings

Planetary rings are the only nearby astrophysical disks, and the only disks that have been investigated by spacecraft. Although there are significant differences between rings and other disks, chiefly the large planet/ring mass ratio that greatly enhances the flatness of rings (aspect ratios as small as 1e-7), understanding of disks in general can be enhanced by understanding the dynamical processes observed at close-range and in real-time in planetary rings. We review the known ring systems of the four giant planets, as well as the prospects for ring systems yet to be discovered. We then review planetary rings by type. The main rings of Saturn comprise our system's only dense broad disk and host many phenomena of general application to disks including spiral waves, gap formation, self-gravity wakes, viscous overstability and normal modes, impact clouds, and orbital evolution of embedded moons. Dense narrow rings are the primary natural laboratory for understanding shepherding and self-stability. Narrow dusty rings, likely generated by embedded source bodies, are surprisingly found to sport azimuthally-confined arcs. Finally, every known ring system includes a substantial component of diffuse dusty rings. Planetary rings have shown themselves to be useful as detectors of planetary processes around them, including the planetary magnetic field and interplanetary impactors as well as the gravity of nearby perturbing moons. Experimental rings science has made great progress in recent decades, especially numerical simulations of self-gravity wakes and other processes but also laboratory investigations of coefficient of restitution and spectroscopic ground truth. The age of self-sustained ring systems is a matter of debate; formation scenarios are most plausible in the context of the early solar system, while signs of youthfulness indicate at least that rings have never been static phenomena.Comment: 82 pages, 34 figures. Final revision of general review to be published in "Planets, Stars and Stellar Systems", P. Kalas and L. French (eds.), Springer (http://refworks.springer.com/sss