

We describe versioning and the architectural support it needs. However, versioning introduces overheads and thus demands architectural support. programming models in which programmers need not explicitly synchronize threads and only need to specify shared data, which greatly simplifies parallel programming. This order is created in a distributed manner and is enforced by monitoring memory accesses and stalling threads if necessary.
#MINIX TIMESLICE SERIAL#
It dynamically establishes a deterministic order of memory accesses in parallel programs that have serial semantics, in a way that is transparent to the programmer. We propose a novel synchronization mechanism called versioning. It allows users to run their sensitive applications in a public cloud without the need to unconditionally trust the cloud provider. This permits applications to be isolated not only from other applications in the cloud but also from the underlying operating system and the hypervisor. The innovative approach to cloud dependability pursued in the SecureCloud project is leverages the emergence of a new and promising technology-secure commodity CPUs-which promises to enable a new generation of dependable applications by basing trust in hardware mechanisms offered by commodity CPUs, in particular, Intel’s Secure Guard eXtensions (SGX). The primary goal of SecureCloud is to ensure the dependability of critical applications that are executed in distributed, potentially untrusted cloud infrastructures. Thereby, SecureCloud will encourage and enable a greater uptake of cost-effective, environment-friendly, and innovative cloud solutions, in particular, for critical infrastructure applications throughout Europe and Brazil. The SecureCloud project aims to remove technical impediments to dependable cloud computing, i.e., SecureCloud will ensure the confidentiality, integrity, availability and security of applications and their data.

These include smart grids and systems in the health and transportation domains but also extend to future large-scale computing, such as the Internet of Things (IoT) and Cyber-Physical Systems (CPS). The cloud has not only become a critical infrastructure itself but it needs to support other critical infrastructures. This is particularly true for organization s that must comply with strict confidentiality, availability and integrity policies, including those society’s most Critical Infrastructures, such as finance, utilities, health care and smart grids.ĭependability (which implies confidentiality, integrity, availability) has emerged as a commercial imperative for cloud providers to be able to support emerging markets including cloud computing for critical infrastructures or cloud robotics. Confidentiality, integrity, and availability of applications and their data are of immediate concern to almost all organizations that use cloud computing.
