Привет Скитер,


Я играл с распараллеливания проверки (хотя и не как часть Bitcoin Ядра), и один раз мимо 100k блоков я могу придавить все восемь ядер моего процессора постоянно. Так что, безусловно, благо для параллельной проверки с помощью довольно большого количества ядер. Есть несколько осложнений, хотя. Вот мои мысли:

Сделки относятся к выходам ранее заключенных сделок, так что трудно проверить, испорченный, если вы не можете сделать быстрый поиск (так ПСП собирается развалина ваша производительность). Кроме того, в пределах блока, транзакции могут ссылаться на выходы ранее заключенных сделок, но не наоборот. Таким образом, чтобы достичь консенсуса, правильно вам нужно проверить их в порядке. Вы можете решить эту проблему, выполнив два прохода: один, чтобы убедиться, что все ссылки сделок действительны (это может быть сделано в течение примерно 30 минут на моем CPU с моим дерьмовым кодом Rust), а другие на самом деле делать подписные проверки. Тем не менее, это на самом деле то, что Bitcoin ядро ​​уже делает для большинства цепи (полной проверки подписи может занять несколько дней), так что вы не набираете ничего против поведения Bitcoin Core.

Одна вещь, которую вы могли бы сделать (и что я делаю в моем собственном коде), чтобы нарушить консенсус-совместимость и проверять все операции в каждом блоке параллельно. Для блоков с сотнями или тысячами сделок есть большая выгода здесь. Способ сделать это:
1. Сканирование блока и вслепую добавить все выходы транзакции на выход, установленном в линейном проходе. Это гарантирует, что обратные_связи будет работать, но и разрешить ссылки. (Это произошло со мной, пока печатал это, что это легко маркировать выходы с индексом в блок, так что вы можете легко обнаружить вперед реф. К сожалению, я исправлю свой код, чтобы сделать это.)
2. Разделить все операции в блоке в блоки N_TRANSACTIONS / N_CORES сделок, и передать каждый на новую нить для проверки. Каждый поток должен будет иметь возможность для поиска старых выходов, так что вам нужно будет убедиться, что ваш выходной набор неизменен во время этой фазы.
3. Сканирование блока и удалить все затраченные выходы из вашего выхода, установленного в линейном проходе.

Я ожидаю, что с помощью параллельной структуры данных для вывода набора вы можете объединить все или некоторые из этих проходов. Существует возможность для экспериментов и измерений здесь.

Андрей