Mercurial > hg > Papers > 2023 > matac-sigos

changeset 47:d328f802384d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 15 May 2023 18:21:52 +0900
parents 8c04d935c7d1
children 4646c6f3a4c1
files marp-slide/slide.html marp-slide/slide.md
diffstat 2 files changed, 7 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/marp-slide/slide.html	Mon May 15 17:33:27 2023 +0900
+++ b/marp-slide/slide.html	Mon May 15 18:21:52 2023 +0900
@@ -137,8 +137,8 @@
 <li>ファイルに対する書き込みのatomicityが保証されてない</li>
 </ul>
 </li>
+<li>ファイルシステムが提供してるトランザクションが明快でない</li>
 <li>それぞれ別々なトランザクションがある</li>
-<li>ファイルシステムが提供してるトランザクションが明快でない</li>
 </ul>
 </section>
 </foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1280 720"><foreignObject width="1280" height="720"><section id="11" data-paginate="true" data-theme="cr" data-marpit-pagination="11" data-marpit-pagination-total="27" style="--paginate:true;--theme:cr;">
@@ -156,7 +156,7 @@
 </ul>
 </section>
 </foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1280 720"><foreignObject width="1280" height="720"><section id="12" data-paginate="true" data-theme="cr" data-marpit-pagination="12" data-marpit-pagination-total="27" style="--paginate:true;--theme:cr;">
-<h2 id="%E3%83%87%E3%83%BC%E3%82%BF%E3%81%AE%E6%8C%81%E7%B6%9A%E6%80%A7">データの持続性</h2>
+<h2 id="%E3%83%87%E3%83%BC%E3%82%BF%E3%81%AE%E6%8C%81%E7%B6%9A%E6%80%A7%E3%81%8C%E3%81%AA%E3%81%84">データの持続性がない</h2>
 <ul>
 <li>メモリやディスク，SSDは別々の仕組みをとっている
 <ul>
@@ -196,7 +196,7 @@
 </ul>
 </section>
 </foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1280 720"><foreignObject width="1280" height="720"><section id="15" data-paginate="true" data-theme="cr" data-marpit-pagination="15" data-marpit-pagination-total="27" style="--paginate:true;--theme:cr;">
-<h2 id="%E3%83%87%E3%83%BC%E3%82%BF%E3%81%AE%E6%8C%81%E7%B6%9A%E6%80%A7-1">データの持続性</h2>
+<h2 id="%E3%83%87%E3%83%BC%E3%82%BF%E3%81%AE%E6%8C%81%E7%B6%9A%E6%80%A7">データの持続性</h2>
 
 <ul>
 <li>オンメモリーなRedBlackTree</li>
@@ -257,7 +257,7 @@
 </li>
 <li>DBにはリストやキューは入らない
 <ul>
-<li>第一正規系でないから</li>
+<li>第一正規形でないから</li>
 </ul>
 </li>
 <li>データ構造を持続的にしたい
--- a/marp-slide/slide.md	Mon May 15 17:33:27 2023 +0900
+++ b/marp-slide/slide.md	Mon May 15 18:21:52 2023 +0900
@@ -118,8 +118,8 @@
 - 全体を組み合わせた時の正しさが怪しい
 - DBは実はファイルの上に作られていたり
   - ファイルに対する書き込みのatomicityが保証されてない
+- ファイルシステムが提供してるトランザクションが明快でない
 - それぞれ別々なトランザクションがある
-- ファイルシステムが提供してるトランザクションが明快でない
 
 ---
 
@@ -147,7 +147,7 @@
 最終的に全てRBTreeで表現してしまおうという話に持っていく
 -->
 
-## データの持続性
+## データの持続性がない
 
 - メモリやディスク，SSDは別々の仕組みをとっている
   - 持続されていない
@@ -260,7 +260,7 @@
   - queue
   - stack
 - DBにはリストやキューは入らない
-  - 第一正規系でないから
+  - 第一正規形でないから
 - データ構造を持続的にしたい
   - なのでファイルシステムのような柔軟性が必要