1 citations · 1 across the 3 of their papers we have counts for
3 papers
CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering
Takashi Hoshino, Shigeo Mitsunari, Takashi Kambayashi +2
We present CV-rules, an alternative characterization of serializability in which a transaction order constructed by a protocol satisfies two per-read conditions, C-rule (Causality)…
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
Shigeo Mitsunari, Takashi Hoshino
Granlund and Montgomery proposed an optimization method for unsigned integer division by constants [3]. Their method (called the GM method in this paper) was further improved in pa…
Oze: Decentralized Graph-based Concurrency Control for Long-running Update Transactions (Extended Version)
Jun Nemoto, Takashi Kambayashi, Takashi Hoshino +1
This paper proposes Oze, a concurrency control protocol that handles heterogeneous workloads, including long-running update transactions. Oze explores a large scheduling space usin…