From 4de7ac60232d521d7b31bddc0768002894cecf9d Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Mon, 22 Jan 2024 18:52:14 +0100 Subject: FOSDEM'24 talk WIP --- doc/talks/2024-02-03-fosdem/assets/AGPLv3_Logo.png | Bin 0 -> 32497 bytes doc/talks/2024-02-03-fosdem/assets/aerogramme.png | Bin 0 -> 117865 bytes doc/talks/2024-02-03-fosdem/assets/aerogramme.svg | 1241 ++++++ .../assets/aerogramme_components1.drawio.pdf | Bin 0 -> 31966 bytes .../assets/aerogramme_components1.png | Bin 0 -> 26898 bytes .../assets/aerogramme_components2.drawio.pdf | Bin 0 -> 31688 bytes .../assets/aerogramme_components2.png | Bin 0 -> 27405 bytes .../assets/aerogramme_datatype.drawio.pdf | Bin 0 -> 31073 bytes .../assets/aerogramme_datatype.png | Bin 0 -> 9090 bytes .../assets/aerogramme_keys.drawio.pdf | Bin 0 -> 25145 bytes .../2024-02-03-fosdem/assets/aerogramme_keys.png | Bin 0 -> 17869 bytes .../2024-02-03-fosdem/assets/compatibility.png | Bin 0 -> 84505 bytes doc/talks/2024-02-03-fosdem/assets/consensus.svg | 137 + .../2024-02-03-fosdem/assets/garage.drawio.pdf | Bin 0 -> 26098 bytes .../2024-02-03-fosdem/assets/garage.drawio.png | Bin 0 -> 13463 bytes .../assets/garage_sync.drawio.pdf | Bin 0 -> 34372 bytes .../assets/garage_sync.drawio.png | Bin 0 -> 31184 bytes doc/talks/2024-02-03-fosdem/assets/lattice1.svg | 433 ++ doc/talks/2024-02-03-fosdem/assets/lattice2.svg | 514 +++ doc/talks/2024-02-03-fosdem/assets/lattice3.svg | 515 +++ doc/talks/2024-02-03-fosdem/assets/lattice4.svg | 525 +++ doc/talks/2024-02-03-fosdem/assets/lattice5.svg | 536 +++ doc/talks/2024-02-03-fosdem/assets/lattice6.svg | 553 +++ doc/talks/2024-02-03-fosdem/assets/lattice7.svg | 581 +++ doc/talks/2024-02-03-fosdem/assets/lattice8.svg | 581 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_1.svg | 576 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_10.svg | 715 ++++ doc/talks/2024-02-03-fosdem/assets/latticeB_2.svg | 576 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_3.svg | 576 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_4.svg | 587 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_5.svg | 604 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_6.svg | 632 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_7.svg | 654 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_8.svg | 671 +++ doc/talks/2024-02-03-fosdem/assets/latticeB_9.svg | 699 ++++ doc/talks/2024-02-03-fosdem/assets/rust_logo.png | Bin 0 -> 14835 bytes .../2024-02-03-fosdem/assets/scr_garage_stats.png | Bin 0 -> 133013 bytes .../2024-02-03-fosdem/assets/scr_garage_status.png | Bin 0 -> 75685 bytes .../assets/scr_garage_status_broken.png | Bin 0 -> 54964 bytes .../assets/scr_garage_worker_get.png | Bin 0 -> 76007 bytes .../assets/scr_garage_worker_list.png | Bin 0 -> 115654 bytes doc/talks/2024-02-03-fosdem/assets/slideB1.png | Bin 0 -> 86072 bytes doc/talks/2024-02-03-fosdem/assets/slideB2.png | Bin 0 -> 83399 bytes doc/talks/2024-02-03-fosdem/assets/slideB3.png | Bin 0 -> 82581 bytes doc/talks/2024-02-03-fosdem/assets/slides.svg | 4326 ++++++++++++++++++++ doc/talks/2024-02-03-fosdem/assets/slidesB.svg | 444 ++ 46 files changed, 16676 insertions(+) create mode 100644 doc/talks/2024-02-03-fosdem/assets/AGPLv3_Logo.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/compatibility.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/consensus.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/garage.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/garage.drawio.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.pdf create mode 100644 doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice1.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice2.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice3.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice4.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice5.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice6.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice7.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/lattice8.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_1.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_10.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_2.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_3.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_4.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_5.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_6.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_7.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_8.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/latticeB_9.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/rust_logo.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/scr_garage_stats.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/scr_garage_status.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/scr_garage_status_broken.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_get.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_list.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/slideB1.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/slideB2.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/slideB3.png create mode 100644 doc/talks/2024-02-03-fosdem/assets/slides.svg create mode 100644 doc/talks/2024-02-03-fosdem/assets/slidesB.svg (limited to 'doc/talks/2024-02-03-fosdem/assets') diff --git a/doc/talks/2024-02-03-fosdem/assets/AGPLv3_Logo.png b/doc/talks/2024-02-03-fosdem/assets/AGPLv3_Logo.png new file mode 100644 index 00000000..445284a3 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/AGPLv3_Logo.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme.png b/doc/talks/2024-02-03-fosdem/assets/aerogramme.png new file mode 100644 index 00000000..3aabe3ad Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme.svg b/doc/talks/2024-02-03-fosdem/assets/aerogramme.svg new file mode 100644 index 00000000..0c1ee127 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/aerogramme.svg @@ -0,0 +1,1241 @@ + + + + + + K2V APIS3 APIAerogramme + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +IMAPIMAPIMAPMessageindexMessagebodies diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.drawio.pdf new file mode 100644 index 00000000..71a90f26 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.png b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.png new file mode 100644 index 00000000..fb81b460 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components1.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.drawio.pdf new file mode 100644 index 00000000..87e42eed Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.png b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.png new file mode 100644 index 00000000..f9e2df14 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_components2.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.drawio.pdf new file mode 100644 index 00000000..0606e059 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.png b/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.png new file mode 100644 index 00000000..c3b015a1 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_datatype.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.drawio.pdf new file mode 100644 index 00000000..8fea81c7 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.png b/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.png new file mode 100644 index 00000000..ed2077d9 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/aerogramme_keys.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/compatibility.png b/doc/talks/2024-02-03-fosdem/assets/compatibility.png new file mode 100644 index 00000000..ce364a9b Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/compatibility.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/consensus.svg b/doc/talks/2024-02-03-fosdem/assets/consensus.svg new file mode 100644 index 00000000..8321e383 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/consensus.svg @@ -0,0 +1,137 @@ + + + + + + + + + + + + + + $\bot$ + + + + $x$ + + + $propose(x) / x$ + $propose(y) / x$ + + + diff --git a/doc/talks/2024-02-03-fosdem/assets/garage.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/garage.drawio.pdf new file mode 100644 index 00000000..a54a163c Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/garage.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/garage.drawio.png b/doc/talks/2024-02-03-fosdem/assets/garage.drawio.png new file mode 100644 index 00000000..386dd862 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/garage.drawio.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.pdf b/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.pdf new file mode 100644 index 00000000..a94b3572 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.pdf differ diff --git a/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.png b/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.png new file mode 100644 index 00000000..2e7b5af0 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/garage_sync.drawio.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice1.svg b/doc/talks/2024-02-03-fosdem/assets/lattice1.svg new file mode 100644 index 00000000..8bfa5aa7 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice1.svg @@ -0,0 +1,433 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice2.svg b/doc/talks/2024-02-03-fosdem/assets/lattice2.svg new file mode 100644 index 00000000..adcd92cb --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice2.svg @@ -0,0 +1,514 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice3.svg b/doc/talks/2024-02-03-fosdem/assets/lattice3.svg new file mode 100644 index 00000000..640dc468 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice3.svg @@ -0,0 +1,515 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice4.svg b/doc/talks/2024-02-03-fosdem/assets/lattice4.svg new file mode 100644 index 00000000..b2a99e28 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice4.svg @@ -0,0 +1,525 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + return OK + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice5.svg b/doc/talks/2024-02-03-fosdem/assets/lattice5.svg new file mode 100644 index 00000000..bc6b7195 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice5.svg @@ -0,0 +1,536 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $read()$: + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + return OK + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice6.svg b/doc/talks/2024-02-03-fosdem/assets/lattice6.svg new file mode 100644 index 00000000..176b1715 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice6.svg @@ -0,0 +1,553 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $read()$: + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + + $\to \{\}$ + return OK + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice7.svg b/doc/talks/2024-02-03-fosdem/assets/lattice7.svg new file mode 100644 index 00000000..7ce8bda8 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice7.svg @@ -0,0 +1,581 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $read()$: + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + + $\to \{\}$ + return OK + return $\{\}\sqcup\{a\}=\{a\}$ + + $\to \{a\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice8.svg b/doc/talks/2024-02-03-fosdem/assets/lattice8.svg new file mode 100644 index 00000000..c94a69b2 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/lattice8.svg @@ -0,0 +1,581 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $read()$: + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\} \to$ OK + $\sqsupseteq \{a\}$ + + $\to \{\}$ + return OK + return $\{\}\sqcup\{a\}=\{a\}$ + + $\to \{a\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_1.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_1.svg new file mode 100644 index 00000000..92232a1b --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_1.svg @@ -0,0 +1,576 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $\not\sqsupseteq \{b\}$ + $\not\sqsupseteq \{b\}$ + $\not\sqsupseteq \{b\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_10.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_10.svg new file mode 100644 index 00000000..34c24e0d --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_10.svg @@ -0,0 +1,715 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + return $\{a\}$ + + $\to \{\}$ + + $\to \{\}$ + $read()$: + ; + return $\{b\}$ + + $\to \{b\}$ + ${\Large\textbf{??!}}$~~~~~$\{a\} \not\sqsubseteq \{b\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_2.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_2.svg new file mode 100644 index 00000000..c07cba2b --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_2.svg @@ -0,0 +1,576 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $\not\sqsupseteq \{b\}$ + $\not\sqsupseteq \{b\}$ + $\not\sqsupseteq \{b\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_3.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_3.svg new file mode 100644 index 00000000..198d1f5d --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_3.svg @@ -0,0 +1,576 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_4.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_4.svg new file mode 100644 index 00000000..c5f6148d --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_4.svg @@ -0,0 +1,587 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_5.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_5.svg new file mode 100644 index 00000000..c2b668be --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_5.svg @@ -0,0 +1,604 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_6.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_6.svg new file mode 100644 index 00000000..980823fc --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_6.svg @@ -0,0 +1,632 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + return $\{a\}$ + + $\to \{\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_7.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_7.svg new file mode 100644 index 00000000..154c0b7d --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_7.svg @@ -0,0 +1,654 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + return $\{a\}$ + + $\to \{\}$ + $read()$: + ; + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_8.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_8.svg new file mode 100644 index 00000000..21766415 --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_8.svg @@ -0,0 +1,671 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + return $\{a\}$ + + $\to \{\}$ + + $\to \{\}$ + $read()$: + ; + + diff --git a/doc/talks/2024-02-03-fosdem/assets/latticeB_9.svg b/doc/talks/2024-02-03-fosdem/assets/latticeB_9.svg new file mode 100644 index 00000000..b60f8afe --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/latticeB_9.svg @@ -0,0 +1,699 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + + + + + $write(\{a\})$: + $\sqsupseteq \{a\} \to$ OK + $\not\sqsupseteq \{a\}$ + $\not\sqsupseteq \{a\}$ + + + + $write(\{b\})$: + $read()$: + $\not\sqsupseteq \{b\}$ + $\sqsupseteq \{b\} \to$ OK + $\not\sqsupseteq \{b\}$ + + + $\to \{a\}$ + return $\{a\}$ + + $\to \{\}$ + + $\to \{\}$ + $read()$: + ; + return $\{b\}$ + + $\to \{b\}$ + + diff --git a/doc/talks/2024-02-03-fosdem/assets/rust_logo.png b/doc/talks/2024-02-03-fosdem/assets/rust_logo.png new file mode 100644 index 00000000..0e4809ec Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/rust_logo.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/scr_garage_stats.png b/doc/talks/2024-02-03-fosdem/assets/scr_garage_stats.png new file mode 100644 index 00000000..c92f0774 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/scr_garage_stats.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/scr_garage_status.png b/doc/talks/2024-02-03-fosdem/assets/scr_garage_status.png new file mode 100644 index 00000000..849b8336 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/scr_garage_status.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/scr_garage_status_broken.png b/doc/talks/2024-02-03-fosdem/assets/scr_garage_status_broken.png new file mode 100644 index 00000000..86dcce89 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/scr_garage_status_broken.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_get.png b/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_get.png new file mode 100644 index 00000000..e7d4e288 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_get.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_list.png b/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_list.png new file mode 100644 index 00000000..472312a0 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/scr_garage_worker_list.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/slideB1.png b/doc/talks/2024-02-03-fosdem/assets/slideB1.png new file mode 100644 index 00000000..b14b6070 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/slideB1.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/slideB2.png b/doc/talks/2024-02-03-fosdem/assets/slideB2.png new file mode 100644 index 00000000..a881a796 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/slideB2.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/slideB3.png b/doc/talks/2024-02-03-fosdem/assets/slideB3.png new file mode 100644 index 00000000..830709d2 Binary files /dev/null and b/doc/talks/2024-02-03-fosdem/assets/slideB3.png differ diff --git a/doc/talks/2024-02-03-fosdem/assets/slides.svg b/doc/talks/2024-02-03-fosdem/assets/slides.svg new file mode 100644 index 00000000..9946c6fb --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/slides.svg @@ -0,0 +1,4326 @@ + + + + + + + + + + + + + + + + + + + + + + User-facing application + Database + Filesystem + + + + + + + + + + diff --git a/doc/talks/2024-02-03-fosdem/assets/slidesB.svg b/doc/talks/2024-02-03-fosdem/assets/slidesB.svg new file mode 100644 index 00000000..c0a6e97c --- /dev/null +++ b/doc/talks/2024-02-03-fosdem/assets/slidesB.svg @@ -0,0 +1,444 @@ + + + +User-facing applicationDatabase*K2VObject storage*(not really a database)Database -- cgit v1.2.3