lock(_sync): the illusion of a perfect choice

Due to the fact that lock is a language construct that succinctly and clearly creates a monopoly code execution section, it creates the illusion of a single correct solution. The speaker will consider the algorithm of its work and answer the question: is it so?