rxd_txd
309 subscribers
488 photos
28 videos
22 files
2.75K links
Download Telegram
Forwarded from GitHub'ненько
binenv
One binary to rule them all. Manage all those pesky binaries (kubectl, helm, terraform, ...) easily.
#env #local #useful
https://github.com/devops-works/binenv
Forwarded from Consensus
Одна из самых важных теорем в распределенных системах - C̶A̶P̶ FLP теорема.

Она строго доказывает, что невозможно достичь консенсуса, если:
🔸 Система асинхронна (что справедливо для реальных сетей)
🔸 Хоть один из узлов может отказать
🔸 Алгоритм детерминирован

И тут возникает вопрос - а как же алгоритмы консенсуса Paxos/Raft?

Paxos/Raft работают строго в рамках этой теоремы. У обоих алгоритмов существуют сценарии, при которых они не будут совершать прогресс, т.е. выбор одного значения на узлах никогда не завершится. Пофиксить это можно убрав какое-то условие из FLP, например детерминизм. Raft убирает детерменизм c помощью рандомных таймеров при выборе лидера, чтобы избегать таких сценариев.

Если вы вдруг придумали алгоритм консенсуса - найдите такое исполнение, при котором система не сможет совершать прогресс. Алгоритм консенсуса не может нарушать FLP теорему!

В общем, теорема не означает, что консенсус недостежим. Она лишь означает, что консенсус не всегда достежим/недостежим за детерминированное время. Это важно понимать.

#flp #theory
Forwarded from Двач
Ещё немного грибной музыки

Делается это с помощью модульного синтезатора, который реагирует на скачки напряжения.

В «корни» гриба, которые содержат ионы калия (гриб использует их для передачи электрических импульсов), втыкается штырь – именно так эта пульсация и улавливается. Предполагается, что так грибы друг с другом «общаются».
Forwarded from Патчкорд
Загрузочная виниловая пластинка для настоящих ценителей тёплого лампового DOS. Вроде и понимаешь, что принципиально это мало отличается от других возможных вариантов и носителей, особенно если брать всю историю развития компьютеров, но всё равно. Это просто великолепно!
Forwarded from DevOps&SRE Library