Towards an OpenMP Specification for Critical Real-Time Systems

OpenMP is increasingly being considered as a convenient parallel programming model to cope with the performance requirements of critical real-time systems. Recent works demonstrate that OpenMP enables to derive guarantees on the functional and timing behavior of the system, a fundamental requirement of such systems. These works, however, focus only on the exploitation of fine grain parallelism and do not take into account the peculiarities of critical real-time systems, commonly composed of a set of concurrent functionalities. OpenMP allows exploiting the parallelism exposed within real-time tasks and among them. This paper analyzes the challenges of combining the concurrency model of real-time tasks with the parallel model of OpenMP. We demonstrate that OpenMP is suitable to develop advanced critical real-time systems by virtue of few changes on the specification, which allow the scheduling behavior desired (regarding execution priorities, preemption, migration and allocation strategies) in such systems.The research leading to these results has received funding from the Spanish Ministry of Science and Innovation, under contract TIN2015-65316-P, and from the European Union's Horizon 2020 Programme under the CLASS Project (www.classproject. eu), grant agreement No 780622.Peer ReviewedPostprint (author's final draft

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

Adding Robustness in Dynamic Preemptive Scheduling

In this paper we introduce a robust earliest deadline scheduling algorithm for deal ing with hard aperiodic tasks under overloads in a dynamic realtime environment The algorithm synergistically combines many features including dynamic guarantees graceful degradation in overloads deadline tolerance resource reclaiming and dy namic reguarantees A necessary and sucient schedulability test is presented and an ecient On guarantee algorithm is proposed The new algorithm is evaluated via simulation and compared to several baseline algorithms The experimental results show excellent performance of the new algorithm in normal and overload conditions Static realtime systems are designed for worst case situations Assuming that all the assumptions made in the design and analysis are correct we can say that the level of guarantee for these systems is absolute and all tasks will make their deadlines Unfortunately static systems are not always possible becaus

Interpreting a 750 GeV diphoton resonance

We discuss the implications of the significant excesses in the diphoton final state observed by the LHC experiments ATLAS and CMS around a diphoton invariant mass of 750 GeV. The interpretation of the excess as a spin-zero s-channel resonance implies model-independent lower bounds on both its branching ratio and its coupling to photons, which stringently constrain dynamical models. We consider both the case where the excess is described by a narrow and a broad resonance. We also obtain model-independent constraints on the allowed couplings and branching fractions to final states other than diphotons, by including the interplay with 8 TeV searches. These results can guide attempts to construct viable dynamical models of the resonance. Turning to specific models, our findings suggest that the anomaly cannot be accounted for by the presence of only an additional singlet or doublet spin-zero field and the Standard Model degrees of freedom; this includes all two-Higgs-doublet models. Likewise, heavy scalars in the MSSM cannot explain the excess if stability of the electroweak vacuum is required, at least in a leading-order analysis. If we assume that the resonance is broad we find that it is challenging to find a weakly coupled explanation. However, we provide an existence proof in the form of a model with vectorlike quarks with large electric charge that is perturbative up to the 100 TeV scale. For the narrow-resonance case a similar model can be perturbative up to high scales also with smaller charges. We also find that, in their simplest form, dilaton models cannot explain the size of the excess. Some implications for flavor physics are briefly discussed

On-shell neutral Higgs bosons in the NMSSM with complex parameters

The Next-to-Minimal Supersymmetric Standard model (NMSSM) appears as an interesting candidate for the interpretation of the Higgs-measurement at the LHC and as a rich framework embedding physics beyond the Standard Model. We consider the renormalization of the Higgs sector of this model in its $\mathcal{CP}$-violating version, and propose a renormalization scheme for the calculation of on-shell Higgs masses. Moreover, the connection between the physical states and the tree-level ones is no longer trivial at the radiative level: a proper description of the corresponding transition thus proves necessary in order to calculate Higgs production and decays at a consistent loop order. After discussing these formal aspects, we compare the results of our mass calculation to the output of existing tools. We also study the relevance of the on-shell transition-matrix in the example of the $h_i \to \tau^+ \tau^-$ width. We find deviations between our full prescription and popular approximations that can exceed $10\%$.Comment: 28 pages, 11 figure

A next-generation liquid xenon observatory for dark matter and neutrino physics

The nature of dark matter and properties of neutrinos are among the most pressing issues in contemporary particle physics. The dual-phase xenon time-projection chamber is the leading technology to cover the available parameter space for weakly interacting massive particles, while featuring extensive sensitivity to many alternative dark matter candidates. These detectors can also study neutrinos through neutrinoless double-beta decay and through a variety of astrophysical sources. A next-generation xenon-based detector will therefore be a true multi-purpose observatory to significantly advance particle physics, nuclear physics, astrophysics, solar physics, and cosmology. This review article presents the science cases for such a detector