Ich denke Du hast völlig recht und an all diesen Stellen können Raceconditions auftreten.

Bei den Testoperationen können solche Raceconditions auch sicher Probleme verursachen, bei den Lockingoperationen scheint mir das aber ziemlich egal zu sein, solange man mit der Datei wirklich erst nach dem Einrichten der Sperre arbeitet.