2 papers
cs.LO2026
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)…
cs.PL2026
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…