@techreport{oai:ipsj.ixsq.nii.ac.jp:00232378,
 author = {Kodai, Doki and Takashi, Hoshino and Hideyuki, Kawashima and Kodai, Doki and Takashi, Hoshino and Hideyuki, Kawashima},
 issue = {9},
 month = {Feb},
 note = {Polaris is known as an OCC (Optimistic Concurrency Control) protocol that allows for setting priorities in transactions. If the parameters related to priority setting in Polaris are not tuned, there is a risk of transactions falling into starvation. To solve this issue, we propose SiloSF, an extension of the Silo OCC protocol, equipped with a starvation-free mode. SiloSF is a lightweight protocol that employs a new deadlock avoidance mechanism called WoundDie. It does not require additional complex data structures for locks, making it memory-efficient and easy to implement. Experimental results demonstrated that in a high contention workload, SiloSF exhibits tail latencies that are 6.5 times lower than the best-case scenario and 80 times lower than the worst-case scenario of Polaris., Polaris is known as an OCC (Optimistic Concurrency Control) protocol that allows for setting priorities in transactions. If the parameters related to priority setting in Polaris are not tuned, there is a risk of transactions falling into starvation. To solve this issue, we propose SiloSF, an extension of the Silo OCC protocol, equipped with a starvation-free mode. SiloSF is a lightweight protocol that employs a new deadlock avoidance mechanism called WoundDie. It does not require additional complex data structures for locks, making it memory-efficient and easy to implement. Experimental results demonstrated that in a high contention workload, SiloSF exhibits tail latencies that are 6.5 times lower than the best-case scenario and 80 times lower than the worst-case scenario of Polaris.},
 title = {SiloSF: Concurrency Control Protocol with Lightweight Priority Control},
 year = {2024}
}