Мой вопрос немного теоретический.
Во-первых, у нас есть определения параллельных объектов и иерархии консенсуса. Иерархия консенсуса классифицирует параллельные объекты с номером консенсуса.
Но я хочу спросить, могут ли объекты с одинаковым номером консенсуса реализовывать друг друга. На самом деле я знаю, что ответ неверен. Но можете ли вы привести несколько примеров, или это подразумевает более тонкую структуру в иерархии консенсуса?
Существует универсальный алгоритм, который берет n-консенсус-объектов и использует их для реализации n-поточной версии без ожидания любого последовательно заданного объекта (в частности, вашего другого объекта).
Итак, поскольку по определению, если объект имеет номер консенсуса n, то он может реализовать n-поточный согласованный объект без ожидания, он может опосредованно (используя вышеупомянутый алгоритм) реализовать n-поточную версию вашего другого объекта без ожидания.
Как узнать, что ответ неверный? Если это действительно так, то здесь что-то не так с моими рассуждениями.
РЕДАКТИРОВАТЬ: прочитав больше, реализация ограничена n потоками. Для любого количества потоков это открытый вопрос (по крайней мере, так говорит мой TA по многоядерному программированию). Никто не знает, смогут ли они реализовать друг друга.
