-
Security and RAS in the Computing Continuum
Authors:
Martí Alonso,
David Andreu,
Ramon Canal,
Stefano Di Carlo,
Odysseas Chatzopoulos,
Cristiano Chenet,
Juanjo Costa,
Andreu Girones,
Dimitris Gizopoulos,
George Papadimitriou,
Enric Morancho,
Beatriz Otero,
Alessandro Savino
Abstract:
Security and RAS are two non-functional requirements under focus for current systems developed for the computing continuum. Due to the increased number of interconnected computer systems across the continuum, security becomes especially pervasive at all levels, from the smallest edge device to the high-performance cloud at the other end. Similarly, RAS (Reliability, Availability, and Serviceabilit…
▽ More
Security and RAS are two non-functional requirements under focus for current systems developed for the computing continuum. Due to the increased number of interconnected computer systems across the continuum, security becomes especially pervasive at all levels, from the smallest edge device to the high-performance cloud at the other end. Similarly, RAS (Reliability, Availability, and Serviceability) ensures the robustness of a system towards hardware defects. Namely, making them reliable, with high availability and design for easy service. In this paper and as a result of the Vitamin-V EU project, the authors detail the comprehensive approach to malware and hardware attack detection; as well as, the RAS features envisioned for future systems across the computing continuum.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Hypervisor Extension for a RISC-V Processor
Authors:
Jaume Gauchola,
JuanJosé Costa,
Enric Morancho,
Ramon Canal,
Xavier Carril,
Max Doblas,
Beatriz Otero,
Alex Pajuelo,
Eva Rodríguez,
Javier Salamero,
Javier Verdú
Abstract:
This paper describes our experience implementing a Hypervisor extension for a 64-bit RISC-V processor. We describe the design process and the main required parts with a brief explanation of each one.
This paper describes our experience implementing a Hypervisor extension for a 64-bit RISC-V processor. We describe the design process and the main required parts with a brief explanation of each one.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Positivity for Higgs vector bundles: criteria and applications
Authors:
Ugo Bruzzo,
Armando Capasso,
Beatriz Graña Otero
Abstract:
Working in the category of smooth projective varieties over an algebraically closed field of characteristic 0, we review notions of ampleness and numerical nefness for Higgs bundles which "feel" the Higgs field and formulate criteria of the Barton-Kleiman type for these notions. We give an application to minimal surfaces of general type that saturate the Miyaoka-Yau inequality, showing that their…
▽ More
Working in the category of smooth projective varieties over an algebraically closed field of characteristic 0, we review notions of ampleness and numerical nefness for Higgs bundles which "feel" the Higgs field and formulate criteria of the Barton-Kleiman type for these notions. We give an application to minimal surfaces of general type that saturate the Miyaoka-Yau inequality, showing that their cotangent bundle is ample. This will use results by Langer that imply that also for varieties over algebraically closed field of characteristic zero the so-called Simpson system is stable.
△ Less
Submitted 8 August, 2023; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Vitamin-V: Virtual Environment and Tool-boxing for Trustworthy Development of RISC-V based Cloud Services
Authors:
A. Arelakis,
J. M. Arnau,
J. L. Berral,
A. Call,
R. Canal,
S. Di Carlo,
J. Costa,
D. Gizopoulos,
V. Karakostas,
F. Lubrano,
K. Nikas,
Y. Nikolakopoulos,
B. Otero,
G. Papadimitriou,
I. Papaefstathiou,
D. Pnevmatikatos,
D. Raho,
A. Rigo,
E. Rodríguez,
A. Savino,
A. Scionti,
N. Tampouratzis,
A. Torregrosa
Abstract:
Vitamin-V is a 2023-2025 Horizon Europe project that aims to develop a complete RISC-V open-source software stack for cloud services with comparable performance to the cloud-dominant x86 counterpart and a powerful virtual execution environment for software development, validation, verification, and test that considers the relevant RISC-V ISA extensions for cloud deployment.
Vitamin-V is a 2023-2025 Horizon Europe project that aims to develop a complete RISC-V open-source software stack for cloud services with comparable performance to the cloud-dominant x86 counterpart and a powerful virtual execution environment for software development, validation, verification, and test that considers the relevant RISC-V ISA extensions for cloud deployment.
△ Less
Submitted 27 June, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective
Authors:
Marti Alonso,
David Andreu,
Ramon Canal,
Stefano Di Carlo,
Cristiano Chenet,
Juanjo Costa,
Andreu Girones,
Dimitris Gizopoulos,
Vasileios Karakostas,
Beatriz Otero,
George Papadimitriou,
Eva Rodriguez,
Alessandro Savino
Abstract:
Vitamin-V is a project funded under the Horizon Europe program for the period 2023-2025. The project aims to create a complete open-source software stack for RISC-V that can be used for cloud services. This software stack is intended to have the same level of performance as the x86 architecture, which is currently dominant in the cloud computing industry. In addition, the project aims to create a…
▽ More
Vitamin-V is a project funded under the Horizon Europe program for the period 2023-2025. The project aims to create a complete open-source software stack for RISC-V that can be used for cloud services. This software stack is intended to have the same level of performance as the x86 architecture, which is currently dominant in the cloud computing industry. In addition, the project aims to create a powerful virtual execution environment that can be used for software development, validation, verification, and testing. The virtual environment will consider the relevant RISC-V ISA extensions required for cloud deployment. Commercial cloud systems use hardware features currently unavailable in RISC-V virtual environments, including virtualization, cryptography, and vectorization. To address this, Vitamin-V will support these features in three virtual environments: QEMU, gem5, and cloud-FPGA prototype platforms. The project will focus on providing support for EPI-based RISC-V designs for both the main CPUs and cloud-important accelerators, such as memory compression. The project will add the compiler (LLVM-based) and toolchain support for the ISA extensions. Moreover, Vitamin-V will develop novel approaches for validating, verifying, and testing software trustworthiness. This paper focuses on the plans and visions that the Vitamin-V project has to support validation, verification, and testing for cloud applications, particularly emphasizing the hardware support that will be provided.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
An Inexact Variance-Reduced Method For Stochastic Quasi-Variational Inequality Problems With An Application In Healthcare
Authors:
Zeinab Alizadeh,
Brianna M. Otero,
Afrooz Jalilzadeh
Abstract:
This paper is focused on a stochastic quasi-variational inequality (SQVI) problem with a continuous and strongly-monotone mapping over a closed and convex set where the projection onto the constraint set may not be easy to compute. We present an inexact variance reduced stochastic scheme to solve SQVI problems and analyzed its convergence rate and oracle complexity. A linear rate of convergence is…
▽ More
This paper is focused on a stochastic quasi-variational inequality (SQVI) problem with a continuous and strongly-monotone mapping over a closed and convex set where the projection onto the constraint set may not be easy to compute. We present an inexact variance reduced stochastic scheme to solve SQVI problems and analyzed its convergence rate and oracle complexity. A linear rate of convergence is obtained by progressively increasing sample-size and approximating the projection operator. Moreover, we show how a competition among blood donation organizations can be modeled as an SQVI and we provide some preliminary simulation results to validate our findings.
△ Less
Submitted 31 August, 2022;
originally announced September 2022.
-
On a conjecture about Higgs bundles for rank 2 and some inequalities
Authors:
Ugo Bruzzo,
Beatriz Graña Otero,
Daniel Hernández Ruipérez
Abstract:
We briefly review an open conjecture about Higgs bundles that are semistable with after pulling back to any curve, and prove it in the rank 2 case. We also prove a set of inequalities holding for H-nef Higgs bundles that generalize some of the Fulton-Lazarsfeld inequalities for numerically effective vector bundles.
We briefly review an open conjecture about Higgs bundles that are semistable with after pulling back to any curve, and prove it in the rank 2 case. We also prove a set of inequalities holding for H-nef Higgs bundles that generalize some of the Fulton-Lazarsfeld inequalities for numerically effective vector bundles.
△ Less
Submitted 13 August, 2023; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Alternating direction implicit time integrations for finite difference acoustic wave propagation: Parallelization and convergence
Authors:
B. Otero,
O. Rojas,
F. Moya,
J. Castillo
Abstract:
This work studies the parallelization and empirical convergence of two finite difference acoustic wave propagation methods on 2-D rectangular grids, that use the same alternating direction implicit (ADI) time integration. This ADI integration is based on a second-order implicit Crank-Nicolson temporal discretization that is factored out by a Peaceman-Rachford decomposition of the time and space eq…
▽ More
This work studies the parallelization and empirical convergence of two finite difference acoustic wave propagation methods on 2-D rectangular grids, that use the same alternating direction implicit (ADI) time integration. This ADI integration is based on a second-order implicit Crank-Nicolson temporal discretization that is factored out by a Peaceman-Rachford decomposition of the time and space equation terms. In space, these methods highly diverge and apply different fourth-order accurate differentiation techniques. The first method uses compact finite differences (CFD) on nodal meshes that requires solving tridiagonal linear systems along each grid line, while the second one employs staggered-grid mimetic finite differences (MFD). For each method, we implement three parallel versions: (i) a multithreaded code in Octave, (ii) a C++ code that exploits OpenMP loop parallelization, and (iii) a CUDA kernel for a NVIDIA GTX 960 Maxwell card. In these implementations, the main source of parallelism is the simultaneous ADI updating of each wave field matrix, either column-wise or row-wise, according to the differentiation direction. In our numerical applications, the highest performances are displayed by the CFD and MFD CUDA codes that achieve speedups of 7.21x and 15.81x, respectively, relative to their C++ sequential counterparts with optimal compilation flags. Our test cases also allow to assess the numerical convergence and accuracy of both methods. In a problem with exact harmonic solution, both methods exhibit convergence rates close to 4 and the MDF accuracy is practically higher. Alternatively, both convergences decay to second order on smooth problems with severe gradients at boundaries, and the MDF rates degrade in highly-resolved grids leading to larger inaccuracies. This transition of empirical convergences agrees with the nominal truncation errors in space and time.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
Platform-Agnostic Steal-Time Measurement in a Guest Operating System
Authors:
Javier Verdu,
Juan Jose Costa,
Beatriz Otero,
Eva Rodriguez,
Alex Pajuelo,
Ramon Canal
Abstract:
Steal time is a key performance metric for applications executed in a virtualized environment. Steal time measures the amount of time the processor is preempted by code outside the virtualized environment. This, in turn, allows to compute accurately the execution time of an application inside a virtual machine (i.e. it eliminates the time the virtual machine is suspended). Unfortunately, this metr…
▽ More
Steal time is a key performance metric for applications executed in a virtualized environment. Steal time measures the amount of time the processor is preempted by code outside the virtualized environment. This, in turn, allows to compute accurately the execution time of an application inside a virtual machine (i.e. it eliminates the time the virtual machine is suspended). Unfortunately, this metric is only available in particular scenarios in which the host and the guest OS are tightly coupled. Typical examples are the Xen hypervisor and Linux-based guest OSes. In contrast, in scenarios where the steal time is not available inside the virtualized environment, performance measurements are, most often, incorrect.
In this paper, we introduce a novel and platform agnostic approach to calculate this steal time within the virtualized environment and without the cooperation of the host OS. The theoretical execution time of a deterministic microbenchmark is compared to its execution time in a virtualized environment. When factoring in the virtual machine load, this solution -as simple as it is- can compute the steal time. The preliminary results show that we are able to compute the load of the physical processor within the virtual machine with high accuracy.
△ Less
Submitted 2 October, 2018;
originally announced October 2018.
-
Yang-Mills-Higgs connections on Calabi-Yau manifolds, II
Authors:
Indranil Biswas,
Ugo Bruzzo,
Beatriz Graña Otero,
Alessio Lo Giudice
Abstract:
In this paper we study Higgs and co-Higgs $G$-bundles on compact Kähler manifolds $X$. Our main results are: (1) If $X$ is Calabi-Yau, and $(E,\,θ)$ is a semistable Higgs or co-Higgs $G$-bundle on $X$, then the principal $G$-bundle $E$ is semistable. In particular, there is a deformation retract of ${\mathcal M}_H(G)$ onto $\mathcal M(G)$, where $\mathcal M(G)$ is the moduli space of semistable pr…
▽ More
In this paper we study Higgs and co-Higgs $G$-bundles on compact Kähler manifolds $X$. Our main results are: (1) If $X$ is Calabi-Yau, and $(E,\,θ)$ is a semistable Higgs or co-Higgs $G$-bundle on $X$, then the principal $G$-bundle $E$ is semistable. In particular, there is a deformation retract of ${\mathcal M}_H(G)$ onto $\mathcal M(G)$, where $\mathcal M(G)$ is the moduli space of semistable principal $G$-bundles with vanishing rational Chern classes on $X$, and analogously, ${\mathcal M}_H(G)$ is the moduli space of semistable principal Higgs $G$-bundles with vanishing rational Chern classes. (2) Calabi-Yau manifolds are characterized as those compact Kähler manifolds whose tangent bundle is semistable for every Kähler class, and have the following property: if $(E,\,θ)$ is a semistable Higgs or co-Higgs vector bundle, then $E$ is semistable.
△ Less
Submitted 8 August, 2016; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Yang-Mills-Higgs connections on Calabi-Yau manifolds
Authors:
Indranil Biswas,
Ugo Bruzzo,
Beatriz Graña Otero,
Alessio Lo Giudice
Abstract:
Let $X$ be a compact connected Kähler--Einstein manifold with $c_1(TX)\, \geq\, 0$. If there is a semistable Higgs vector bundle $(E\,,θ)$ on $X$ with $θ\,\not=\,0$, then we show that $c_1(TX)=0$, any $X$ satisfying this condition is called a Calabi--Yau manifold, and it admits a Ricci--flat Kähler form \cite{Ya}. Let $(E\,,θ)$ be a polystable Higgs vector bundle on a compact Ricci--flat Kähler ma…
▽ More
Let $X$ be a compact connected Kähler--Einstein manifold with $c_1(TX)\, \geq\, 0$. If there is a semistable Higgs vector bundle $(E\,,θ)$ on $X$ with $θ\,\not=\,0$, then we show that $c_1(TX)=0$, any $X$ satisfying this condition is called a Calabi--Yau manifold, and it admits a Ricci--flat Kähler form \cite{Ya}. Let $(E\,,θ)$ be a polystable Higgs vector bundle on a compact Ricci--flat Kähler manifold $X$. Let $h$ be an Hermitian structure on $E$ satisfying the Yang--Mills--Higgs equation for $(E\,,θ)$. We prove that $h$ also satisfies the Yang--Mills--Higgs equation for $(E\,,0)$. A similar result is proved for Hermitian structures on principal Higgs bundles on $X$ satisfying the Yang--Mills--Higgs equation.
△ Less
Submitted 21 June, 2015; v1 submitted 24 December, 2014;
originally announced December 2014.
-
Approximate Hermitian-Yang-Mills structures on semistable principal Higgs bundles
Authors:
Ugo Bruzzo,
Beatriz Graña Otero
Abstract:
We generalize the Hitchin-Kobayashi correspondence between semistability and the existence of approximate Hermitian-Yang-Mills structures to the case of principal Higgs bundles. We prove that a principal Higgs bundle on a compact Kaehler manifold, with structure group a connected linear algebraic reductive group, is semistable if and only if it admits an approximate Hermitian-Yang-Mills structure.
We generalize the Hitchin-Kobayashi correspondence between semistability and the existence of approximate Hermitian-Yang-Mills structures to the case of principal Higgs bundles. We prove that a principal Higgs bundle on a compact Kaehler manifold, with structure group a connected linear algebraic reductive group, is semistable if and only if it admits an approximate Hermitian-Yang-Mills structure.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Semistable and numerically effective principal (Higgs) bundles
Authors:
Ugo Bruzzo,
Beatriz Graña Otero
Abstract:
We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semi…
▽ More
We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class. In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian-Yang-Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with real coefficients is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.
△ Less
Submitted 21 October, 2010; v1 submitted 18 May, 2009;
originally announced May 2009.
-
Semistable principal Higgs bundles
Authors:
Ugo Bruzzo,
Beatriz Grana Otero
Abstract:
We give a Miyaoka-type semistability criterion for principal Higgs G-bundles E on complex projective manifolds of any dimension, i.e., we prove that E is semistable and the second Chern class of its adjoint bundle vanishes if and only if certain line bundles, obtained from the characters of the parabolic subgroups of G, are numerically effective. We also give alternative characterizations in ter…
▽ More
We give a Miyaoka-type semistability criterion for principal Higgs G-bundles E on complex projective manifolds of any dimension, i.e., we prove that E is semistable and the second Chern class of its adjoint bundle vanishes if and only if certain line bundles, obtained from the characters of the parabolic subgroups of G, are numerically effective. We also give alternative characterizations in terms of a notion of numerical effectiveness of Higgs vector bundles we have recently introduced.
△ Less
Submitted 20 October, 2008; v1 submitted 23 September, 2008;
originally announced September 2008.
-
Numerically flat Higgs vector bundles
Authors:
Ugo Bruzzo,
Beatriz Graña Otero
Abstract:
After providing a suitable definition of numerical effectiveness for Higgs bundles, and a related notion of numerical flatness, in this paper we prove, together with some side results, that all Chern classes of a Higgs-numerically flat Higgs bundle vanish, and that a Higgs bundle is Higgs-numerically flat if and only if it is has a filtration whose quotients are flat stable Higgs bundles. We als…
▽ More
After providing a suitable definition of numerical effectiveness for Higgs bundles, and a related notion of numerical flatness, in this paper we prove, together with some side results, that all Chern classes of a Higgs-numerically flat Higgs bundle vanish, and that a Higgs bundle is Higgs-numerically flat if and only if it is has a filtration whose quotients are flat stable Higgs bundles. We also study the relation between these numerical properties of Higgs bundles and (semi)stability.
△ Less
Submitted 21 March, 2006;
originally announced March 2006.