Sökning: "Jinle Li"
Hittade 1 uppsats innehållade orden Jinle Li.
1. Model checking transaction properties for concurrent real-time transactions in UPPAAL
Magister-uppsats, Mälardalens högskola/Inbyggda systemSammanfattning : 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. LÄS MER
Resultatsidor:
1