There are some pretty glaring factual errors too. Found this one (extra "not") just glancing through, although someone not familiar with the idea might get mislead:

So if the first thread started to execute this instruction, second thread will wait until the first processor will not finish.