RAID 1 из ssd? А смысл? Ведь наработка на отказ у SSD, как показывает практика и мнение специально обученных людей, формируется из циклов (пере)записи. А таковые у дисков в RAID1 идентичные. И что толку из этого рейда, когда оба диска вылетят по достижении какого-то условного порога?
А вот на что надо обратить внимание, так это на фрагментацию диска и пресловутый TRIM и прочие "радости", когда контроллер диска пишет не в свободное место, а в более чистое. Ещё хлеще, чем MVCC у ПГ. Т.е. вроде как декларируется, что ТРИМ освобождает блоки, и в эти блоки пишется новая инфа, но на деле, освобождать освобождает, да только вот запись идет в более "чистые" блоки. Соответственно, пока есть блоки, в которых ещё ничего не было, скорость - ууухх! Когда эти блоки кончаются, скорость - ой, блин. что ж оно так тормозит?!
Вон у меня ноут лежит, 9 лет. На ём гента. Долгое время система собиралась на месте, т.е. циклов перезаписи было - прилично. Супруга жаловалась на лютые тормоза. Я слегонца подзабил на регулярное обновление, с немного предсказуемыми последствиями. Соответственно, дамп, пользовательских данных, зачистка диска (Securely wipe disk SSD в поиск), установка системы (сборка бинарных пакетов на десктопе, ибо десктоп - несколько пошустрее). И, о чудо! Машинка стала хорошо так отзывчивее. Вот как-то так.

Там буковка I что означает?
Когда речь заходит про распределённые системы serializable перестаёт обозначать то, что обычно имеется ввиду. В distributed случае serializable становится очень расплывчатым значением с разным поведением, поэтому нужно уточнять.

Вообще они божатся что у них прям честный serializable isolation.
https://www.cockroachlabs.com/blog/diy-jepsen-testing-cockroachdb/#from-si-to-ssi

Какой из?
Я написал, что их много разных, когда distributed случай.

Tarantool офигенен для задач кеширования. Да, из коробки там ничего нет, нужно самому и логику на lua писать и "таблички" делать. Но быстродействие весьма и весьма, хранилка чуть понавороченнее нежели key-value, есть транзакции, плюс возможность вообще любую бизнес-логику  написать меня лично подкупили с потрохами.
А, да. Был у них и  относительно штатный способ для закоса под memcached.

У них и тест есть - в транзакциях выбирается максимальное значение из столбца, инкрементируется и дописывается в этот же столбец сразу кучей потоков, потом проверяется отсутствие дубликатов. Их отсутствие после многих итераций, в принципе, говорит о честности сериализации.

RAID 1 из ssd? А смысл? Ведь наработка на отказ у SSD, как показывает практика и мнение специально обученных людей, формируется из циклов (пере)записи. А таковые у дисков в RAID1 идентичные. И что толку из этого рейда, когда оба диска вылетят по достижении какого-то условного порога?
А вот на что надо обратить внимание, так это на фрагментацию диска и пресловутый TRIM и прочие "радости", когда контроллер диска пишет не в свободное место, а в более чистое. Ещё хлеще, чем MVCC у ПГ. Т.е. вроде как декларируется, что ТРИМ освобождает блоки, и в эти блоки пишется новая инфа, но на деле, освобождать освобождает, да только вот запись идет в более "чистые" блоки. Соответственно, пока есть блоки, в которых ещё ничего не было, скорость - ууухх! Когда эти блоки кончаются, скорость - ой, блин. что ж оно так тормозит?!
Вон у меня ноут лежит, 9 лет. На ём гента. Долгое время система собиралась на месте, т.е. циклов перезаписи было - прилично. Супруга жаловалась на лютые тормоза. Я слегонца подзабил на регулярное обновление, с немного предсказуемыми последствиями. Соответственно, дамп, пользовательских данных, зачистка диска (Securely wipe disk SSD в поиск), установка системы (сборка бинарных пакетов на десктопе, ибо десктоп - несколько пошустрее). И, о чудо! Машинка стала хорошо так отзывчивее. Вот как-то так.

@hogstaberg
Нашёл статью и табличку.
http://dbmsmusings.blogspot.com/2019/06/correctness-anomalies-under.html

Выглядит так, что если STRONG PARTITION SERIALIZABLE или STRICT SERIALIZABLE, то это очень хорошо.

А если сравнивать с redis, то какие преимущества tarantool (или redis)?

Redis имеет кучу моделей данных из коробки, но тормознее и возможности написать свою логику lua там откровенно кастрированные.

Тарантул из коробки разных моделей данных не предоставляет, по сути это сервер для приложений на lua с библиотекой для организации таблиц/индексов и работы с ними. Но lua там позволяет гораздо больше, работает в целом это сильно быстрее, понаписать можно в общем-то всё, на что хватит воображения. Тоже, кстати, работает в одном системном процессе (то есть умеет выедать только один CPU), но за счёт этого как раз выжимается впечатляющий перформанс (нет ненужных блокировок, синхронизаций состояния итд), можно сказать это его фича. Но в комплекте есть и либа для организации тредов внутри этого процесса, то есть concurrency реализуется легко. Ну и, как вишенка на торте, можно воткнуть коннекторы для разных СУБД. Можно, например, написать функцию, которая ищет запрошенное значение в своих таблицах, а в случае отсутствия лезет в базу и забирает нужное оттуда, отдаёт и само кеширует.

Мне прямо вообще зашло в свое время под всякие умные кэши или очереди.

@hogstaberg
Нашёл статью и табличку.
http://dbmsmusings.blogspot.com/2019/06/correctness-anomalies-under.html

Выглядит так, что если STRONG PARTITION SERIALIZABLE или STRICT SERIALIZABLE, то это очень хорошо.

Ну так контроллер raid должен поддерживать ssd. Иначе будет просадка по записи со временем.
Большинство контроллеров (исходя из чтения официальных документов - во всяком случае 2-3 года назад было так) умеют в поддержку сразу либо лечится прошивкой, а вот им приблизительно лет 6-7 назад это было целым квестом найти контроллер с заявленной поддержкой

Вот скажите, текст воспринимается лучше же чем видео? Пост помог разобраться в patroni?

А зачем в 2020 году ставить в linux сервер raid контроллер вообще? Вброшу мнение о том, что их эпоха давно ушла, смутный смысл ставить есть только ежели у вас windows на сервере.