SiloSF: Concurrency Control Protocol with Lightweight Priority Control

• Item type: SIG Technical Reports(1)
• 公開日: 2024-02-12
• タイトル: SiloSF: Concurrency Control Protocol with Lightweight Priority Control
• タイトル / 言語: en
• タイトル: SiloSF: Concurrency Control Protocol with Lightweight Priority Control
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 一貫性制御
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: Graduate School of Media and Governance, Keio University
• 著者所属: Cybozu Labs, Inc.
• 著者所属: Faculty of Environment and Information Studies, Keio University
• 著者所属(英): en
• 著者所属(英): Graduate School of Media and Governance, Keio University
• 著者所属(英): en
• 著者所属(英): Cybozu Labs, Inc.
• 著者所属(英): en
• 著者所属(英): Faculty of Environment and Information Studies, Keio University
• 著者名: Kodai, Doki; Takashi, Hoshino; Hideyuki, Kawashima
• 著者名(英): Kodai, Doki; Takashi, Hoshino; Hideyuki, Kawashima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 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.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10444176
• 書誌情報: 研究報告システムソフトウェアとオペレーティング・システム（OS）; 巻 2024-OS-162, 号 9, p. 1-6, 発行日 2024-02-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8795
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会