The Experts below are selected from a list of 630 Experts worldwide ranked by ideXlab platform

Valerie Issarny - One of the best experts on this subject based on the ideXlab platform.

  • a framework for systematic synthesis of Transactional Middleware
    Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, 2009
    Co-Authors: Apostolos Zarras, Valerie Issarny
    Abstract:

    Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. Corba) include the specification of services that provide Transactional properties. In this paper, we present a formal method for the systematic synthesis of Transactional Middleware based on the combination of the aforementioned services. The synthesis of Transactional Middleware is based on (i) the formal specification of Transactional properties and (ii) stub code generation.

  • A Framework for Systematic Synthesis of Transactional Middleware
    Springer, 1998
    Co-Authors: Apostolos Zarras, Valerie Issarny
    Abstract:

    Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. CORBA) include the specification of services that provide Transactional properties. In this paper, we present a formal method for the systematic synthesis of Transactional Middleware based on the combination of the aforementioned services. The synthesis of Transactional Middleware is based on (i) the formal specification of Transactional properties and (ii) stub code generation. Keywords Atomicity, Consistency, Durability, Isolation, Middleware, Transaction 1 INTRODUCTION The construction of a large-scale distributed software system is a complex task that involves design decisions relating to different aspects of the system's behavior. In particular, the developer has to address the provision of the system's functional (i.e. algorithmic aspect) and non-functional (i.e. quality ..

Apostolos Zarras - One of the best experts on this subject based on the ideXlab platform.

  • a framework for systematic synthesis of Transactional Middleware
    Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, 2009
    Co-Authors: Apostolos Zarras, Valerie Issarny
    Abstract:

    Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. Corba) include the specification of services that provide Transactional properties. In this paper, we present a formal method for the systematic synthesis of Transactional Middleware based on the combination of the aforementioned services. The synthesis of Transactional Middleware is based on (i) the formal specification of Transactional properties and (ii) stub code generation.

  • A Framework for Systematic Synthesis of Transactional Middleware
    Springer, 1998
    Co-Authors: Apostolos Zarras, Valerie Issarny
    Abstract:

    Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. CORBA) include the specification of services that provide Transactional properties. In this paper, we present a formal method for the systematic synthesis of Transactional Middleware based on the combination of the aforementioned services. The synthesis of Transactional Middleware is based on (i) the formal specification of Transactional properties and (ii) stub code generation. Keywords Atomicity, Consistency, Durability, Isolation, Middleware, Transaction 1 INTRODUCTION The construction of a large-scale distributed software system is a complex task that involves design decisions relating to different aspects of the system's behavior. In particular, the developer has to address the provision of the system's functional (i.e. algorithmic aspect) and non-functional (i.e. quality ..

Rui Oliveira - One of the best experts on this subject based on the ideXlab platform.

  • pH1: A Transactional Middleware for NoSQL
    2016
    Co-Authors: Francisco Cruz, Jose Pereira, Rui Oliveira
    Abstract:

    Abstract—NoSQL databases opt not to offer important ab-stractions traditionally found in relational databases in order to achieve high levels of scalability and availability: Transactional guarantees and strong data consistency. In this work we propose pH1, a generic Middleware layer over NoSQL databases that offers Transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the Transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client’s interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11 % decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22 % decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase’s support for multiple versions, with a throughput penalty of 76 % in the same conditions Keywords—NoSQL; Transactions; Snapshot Isolation; I

  • ph1 a Transactional Middleware for nosql
    Symposium on Reliable Distributed Systems, 2014
    Co-Authors: Fabio Coelho, Francisco Cruz, Ricardo Vilaca, Jose Pereira, Rui Oliveira
    Abstract:

    NoSQL databases opt not to offer important abstractions traditionally found in relational databases in order to achieve high levels of scalability and availability: Transactional guarantees and strong data consistency. In this work we propose pH1, a generic Middleware layer over NoSQL databases that offers Transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the Transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client's interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11% decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22% decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase's support for multiple versions, with a throughput penalty of 76% in the same conditions.

Fabio Coelho - One of the best experts on this subject based on the ideXlab platform.

  • ph1 a Transactional Middleware for nosql
    Symposium on Reliable Distributed Systems, 2014
    Co-Authors: Fabio Coelho, Francisco Cruz, Ricardo Vilaca, Jose Pereira, Rui Oliveira
    Abstract:

    NoSQL databases opt not to offer important abstractions traditionally found in relational databases in order to achieve high levels of scalability and availability: Transactional guarantees and strong data consistency. In this work we propose pH1, a generic Middleware layer over NoSQL databases that offers Transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the Transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client's interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11% decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22% decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase's support for multiple versions, with a throughput penalty of 76% in the same conditions.

Francisco Cruz - One of the best experts on this subject based on the ideXlab platform.

  • pH1: A Transactional Middleware for NoSQL
    2016
    Co-Authors: Francisco Cruz, Jose Pereira, Rui Oliveira
    Abstract:

    Abstract—NoSQL databases opt not to offer important ab-stractions traditionally found in relational databases in order to achieve high levels of scalability and availability: Transactional guarantees and strong data consistency. In this work we propose pH1, a generic Middleware layer over NoSQL databases that offers Transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the Transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client’s interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11 % decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22 % decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase’s support for multiple versions, with a throughput penalty of 76 % in the same conditions Keywords—NoSQL; Transactions; Snapshot Isolation; I

  • ph1 a Transactional Middleware for nosql
    Symposium on Reliable Distributed Systems, 2014
    Co-Authors: Fabio Coelho, Francisco Cruz, Ricardo Vilaca, Jose Pereira, Rui Oliveira
    Abstract:

    NoSQL databases opt not to offer important abstractions traditionally found in relational databases in order to achieve high levels of scalability and availability: Transactional guarantees and strong data consistency. In this work we propose pH1, a generic Middleware layer over NoSQL databases that offers Transactional guarantees with Snapshot Isolation. This is achieved in a non-intrusive manner, requiring no modifications to servers and no native support for multiple versions. Instead, the Transactional context is achieved by means of a multiversion distributed cache and an external transaction certifier, exposed by extending the client's interface with transaction bracketing primitives. We validate and evaluate pH1 with Apache Cassandra and Hyperdex. First, using the YCSB benchmark, we show that the cost of providing ACID guarantees to these NoSQL databases amounts to 11% decrease in throughput. Moreover, using the transaction intensive TPC-C workload, pH1 presented an impact of 22% decrease in throughput. This contrasts with OMID, a previous proposal that takes advantage of HBase's support for multiple versions, with a throughput penalty of 76% in the same conditions.