Probabilistic-WCET Reliability: Statistical Testing of EVT hypotheses

In recent years, the interest in probabilistic real-time has grown, as a response to the limitations of traditional static Worst-Case Execution Time (WCET) methods, in performing timing analysis of applications running on complex systems, like multi/many-cores and COTS platforms. The probabilistic theory can partially solve this problem, but it requires strong guarantees on the execution time traces, in order to provide safe probabilistic-WCET estimations. These requirements can be verified through suitable statistical tests, as described in this paper. In this work, we identify also challenges and problems of using statistical testing procedures in probabilistic real-time computing, proposing a unified test procedure based on a single index called Probabilistic Predictability Index (PPI). An experimental campaign has been carried out, considering both synthetic and realistic datasets, and the analysis of the impact of the Linux PREEMPT_RT patch on a modern complex platform as a use-case of the proposed index

The MIG Framework: Enabling Transparent Process Migration in Open MPI

This paper introduces the mig framework: an Open MPI extension to transparently support the migration of application processes, over different nodes of a distributed High-Performance Computing (HPC) system. The framework provides mechanism on top of which suitable resource managers can implement policies to react to hardware faults, address performance variability, improve resource utilization, perform a fine-grained load balancing and power thermal management. Compared to other state-of-the-art approaches, the mig framework does not require changes in the application code. Moreover, it is highly maintainable, since it is mainly a self-contained solution that has required a very few changes in other already existing Open MPI frameworks. Experimental results have shown that the proposed extension does not introduce significant overhead in the application execution, while the penalty due to performing a migration can be properly taken into account by a resource manager

The Misconception of Exponential Tail Upper-Bounding in Probabilistic Real-Time

Measurement-Based Probabilistic Timing Analysis, a probabilistic real-time computing method, is based on the Extreme Value Theory (EVT), a statistical theory applied to Worst-Case Execution Time analysis on real-time embedded systems. The output of the EVT theory is a statistical distribution, in the form of Generalized Extreme Value Distribution or Generalized Pareto Distribution. Their cumulative distribution function can asymptotically assume one of three possible forms: light, exponential or heavy tail. Recently, several works proposed to upper-bound the light-tail distributions with their exponential version. In this paper, we show that this assumption is valid only under certain conditions and that it is often misinterpreted. This leads to unsafe estimations of the worst-case execution time, which cannot be accepted in applications targeting safety critical embedded systems

Reliability-oriented resource management for High-Performance Computing

Reliability is an increasingly pressing issue for High-Performance Computing systems, as failures are a threat to large-scale applications, for which an even single run may incur significant energy and billing costs. Currently, application developers need to address reliability explicitly, by integrating application-specific checkpoint/restore mechanisms. However, the application alone cannot exploit system knowledge, which is not the case for system-wide resource management systems. In this paper, we propose a reliability-oriented policy that can increase significantly component reliability by combining checkpoint/restore mechanisms exploitation and proactive resource management policies

A Hierarchical Approach for Resource Management in Heterogeneous Systems

Heterogeneous architectures are emerging as a dominant trend for HPC, mainly thanks to their high performance-per-watt ratio. Dealing with heterogeneity and task-based applications requires to consider different aspects at both infrastructures level and single node in order to meet power, thermal and performance requirements. Thus, in order to provide an effective and fine-grained management of the available resources, as well as balancing the load by dispatching applications among the different computing nodes, we proposed a hierarchical approach in which different resource managers, running in the nodes, collaborate to reach a multi-objectives optimization

Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments

Since its introduction in 2017, the Posit™ format for representing real numbers has attracted a lot of interest, as an alternative to IEEE 754 floating point representation. Several hardware implementations of arithmetic operations between posit numbers have also been proposed in recent years. In this work, we analyze the dynamic power consumption of the Full Posit Processing Unit (FPPU) recently developed at the University of Pisa. Experimental results show that we can model the dynamic power consumption of the FPPU with an acceptable approximation error from 2.84% (32-bit FPPU) to 7.32% (8-bit FPPU). Furthermore, from the synthesis of the power monitoring unit alongside the FPPU we demonstrate that the additional power module has an area cost that goes from ∼ 5% (32-bit FPPU) to ∼ 30% (8-bit FPPU) of the total unit area occupatio

TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale

To achieve high performance and high energy efficiency on near-future exascale computing systems, three key technology gaps needs to be bridged. These gaps include: energy efficiency and thermal control; extreme computation efficiency via HW acceleration and new arithmetics; methods and tools for seamless integration of reconfigurable accelerators in heterogeneous HPC multi-node platforms. TEXTAROSSA aims at tackling this gap through a co-design approach to heterogeneous HPC solutions, supported by the integration and extension of HW and SW IPs, programming models and tools derived from European research.This work is supported by the TEXTAROSSA project G.A. n.956831, as part of the EuroHPC initiative.Peer ReviewedArticle signat per 51 autors/es: Giovanni Agosta, Daniele Cattaneo, William Fornaciari, Andrea Galimberti, Giuseppe Massari, Federico Reghenzani, Federico Terraneo, Davide Zoni, Carlo Brandolese (DEIB – Politecnico di Milano, Italy, [email protected]) | Massimo Celino, Francesco Iannone, Paolo Palazzari, Giuseppe Zummo (ENEA, Italy, [email protected]) | Massimo Bernaschi, Pasqua D’Ambra (Istituto per le Applicazioni del Calcolo (IAC) - CNR, Italy, [email protected]) | Sergio Saponara, Marco Danelutto, Massimo Torquati (University of Pisa, Italy, [email protected]) | Marco Aldinucci, Yasir Arfat, Barbara Cantalupo, Iacopo Colonnelli, Roberto Esposito, Alberto R. Martinelli, Gianluca Mittone (University of Torino, Italy, [email protected]) | Olivier Beaumont, Berenger Bramas, Lionel Eyraud-Dubois, Brice Goglin, Abdou Guermouche, Raymond Namyst, Samuel Thibault (Inria - France, [email protected]) | Antonio Filgueras, Miquel Vidal, Carlos Alvarez, Xavier Martorell (BSC - Spain, [email protected]) | Ariel Oleksiak, Michal Kulczewski (PSNC, Poland, [email protected], [email protected]) | Alessandro Lonardo, Piero Vicini, Francesca Lo Cicero, Francesco Simula, Andrea Biagioni, Paolo Cretaro, Ottorino Frezza, Pier Stanislao Paolucci, Matteo Turisini (INFN Sezione di Roma - Italy, [email protected]) | Francesco Giacomini (INFN CNAF - Italy, [email protected]) | Tommaso Boccali (INFN Sezione di Pisa - Italy, [email protected]) | Simone Montangero (University of Padova and INFN Sezione di Padova - Italy, [email protected]) | Roberto Ammendola (INFN Sezione di Roma Tor Vergata - Italy, [email protected])Postprint (author's final draft

Prediction of vascular invasion using a 7-point scale computed tomography grading system in adrenal tumors in dogs

Background: Previous studies evaluating the accuracy of computed tomography (CT) in detecting caudal vena cava (CVC) invasion by adrenal tumors (AT) used a binary system and did not evaluate for other vessels. Objective: Test a 7-point scale CT grading system for accuracy in predicting vascular invasion and for repeatability among radiologists. Build a decision tree based on CT criteria to predict tumor type. Methods: Retrospective observational cross-sectional case study. Abdominal CT studies were analyzed by 3 radiologists using a 7-point CT grading scale for vascular invasion and by 1 radiologist for CT features of AT. Animals: Dogs with AT that underwent adrenalectomy and had pre- and postcontrast CT. Results: Ninety-one dogs; 45 adrenocortical carcinomas (50%), 36 pheochromocytomas (40%), 9 adrenocortical adenomas (10%) and 1 unknown tumor. Carcinoma and pheochromocytoma differed in pre- and postcontrast attenuation, contralateral adrenal size, tumor thrombus short- and long-axis, and tumor and thrombus mineralization. A decision tree was built based on these differences. Adenoma and malignant tumors differed in contour irregularity. Probability of vascular invasion was dependent on CT grading scale, and a large equivocal zone existed between 3 and 6 scores, lowering CT accuracy to detect vascular invasion. Radiologists' agreement for detecting abnormalities (evaluated by chance-corrected weighted kappa statistics) was excellent for CVC and good to moderate for other vessels. The quality of postcontrast CT study had a negative impact on radiologists' performance and agreement. Conclusions and Clinical Importance: Features of CT may help radiologists predict AT type and provide probabilistic information on vascular invasion

H&E and OCT4/CD34 for the assessment of lympho-vascular invasion in seminoma and embryonal carcinoma

Background: Lymphovascular invasion (LVI) is a relevant prognostic factor in germ cell tumors of the testis (GCTT), and it is included in the pT stage. However, its detection on hematoxylin and eosin (H&E) slides is very challenging, and previous studies reported fair to moderate inter-observer agreement among dedicated uropathologists. In the present study, we tested H&E and a recently developed in-house double staining for OCT4/CD34 to detect LVI in GCTT. Methods: Nine authors [5 non-uropathologists and 4 uropathologists] independently evaluated 34 consecutive and retrospectively enrolled cases of GCTT. We assessed the inter-observer agreement (Fleiss's Kappa) with both H&E and OCT4/CD34. Besides, we compared the consensus diagnosis on both H&E and OCT4/CD34-stained sections with the original diagnosis to evaluate the pT re-staging (McNemar test) and identify the sources of disagreement. Results: The inter-observer agreement among uropathologists plus non-uropathologists was fair with both H&E (KF=0.398; p < 0.001) and OCT4/CD34 (KF=0.312; p < 0.001). OCT4/CD34 (KF=0.290; p < 0.001) slightly reduces the inter-observer agreement compared to H&E (KF=0.321; p < 0.001) for non-uropathologists; in contrast, OCT4/CD34 (KF=0.293; p < 0.001) significantly reduces the inter-observer agreement compared to H&E (KF=0.529; p < 0.001) for uropathologists, changing it from moderate to fair. Consensus diagnosis with H&E modified the LVI status of the original diagnosis in 8/34 (23.5 %) cases (p: 0.070), with pT re-staging in 2/34 (5.9 %) cases (p: 0.500). Consensus diagnosis with OCT4/CD34 modified the LVI status of the original diagnosis in 8/34 (23.5 %) cases (p: 0.289), with pT re-staging in 3/34 (8.8 %) cases (p: 0.250). The consensus diagnosis with OCT4/CD34 modified the consensus diagnosis with H&E in 8/34 (23.5 %) cases (p: 0.727), and these findings resulted in pT-restaging in 3/34 (8.8 %) cases (p: 0.500). The sources of disagreement among uropathologists were: H&E [artefactual clefts misinterpreted as LVI in 4/6 (66.7 %) cases and true foci of LVI misinterpreted as clusters of histiocytes within the vessels in 2/6 (33.3 %) cases], OCT4/CD34 [artefactual clefts misinterpreted as LVI in 2/8 (25 %) cases, true LVI misinterpreted as artefactual clefts in 2/8 (25 %) cases or floaters in 4/8 (50 %) cases]. Conclusions: OCT4/CD34 does not improve the inter-observer agreement for the assessment of LVI in OCT4(+) GCTT. Consensus diagnosis with H&E modifies the LVI status in a significant number of cases, resulting in changes of the pT stage in a relatively small subgroup. Consensus diagnosis with OCT4/CD34 provides little additional benefit since it cannot exclude mimickers of LVI such as floaters and artefactual clefts. These results argue against the adoption of this diagnostic tool for the routine assessment of OCT4(+) GCTT