Essays about: "MVCC"

Found 1 essay containing the word MVCC.

  1. 1. Model checking transaction properties for concurrent real-time transactions in UPPAAL

    University essay from Mälardalens högskola/Inbyggda system

    Author : Jinle Li; [2016]
    Keywords : Real-time transaction management; MVCC; model-checking; timeliness; isolation;

    Abstract : As a technique to ensure absence of undesired interference in transactional computations, Concurrency Control (CC) guarantees logical data consistency via providing transaction isolation, thus contributing to their dependability. However, single-version CC, which requires that a transaction system always works on the current version of a data item, may introduce unpredictable delays for real-time transactions because of unbounded blocking time which may cause deadline misses. READ MORE