Давайте попробуем пройтись по шагам. В посте первом условия задачи сформулированы в достаточной степени формально, без отвлечений на детали технических реализаций. Попробуйте прочесть. Когда осознаете поставленную задачу, попробуйте ее реализовать на любом доступном вам языке, например C# - без разницы. Вы вправе применять любые средства синхронизации, некоторые из которых вы любезно предоставили по вашим ссылкам. Когда вы доберетесь до проблем с реализацией (надеюсь) и еще раз перечитаете условия задачи, то вы можете тогда ответить. Осветите проблематику возможной реализации, не забыв при этом упомянуть неполноту по Гёделю перечисленных вами средств. Конечно же, не забудьте упомянуть оные в списке рекомендуемой литературы, как любезно предоставленные вами вышеизложенные(зачеркнуто) вышеприведенные ссылки. Думаю только и именно тогда, коллега, возникнет импульс к дискурсу, чего и пытался достигнуть ваш покорный слуга.