C'est visiblement un problème ponctuel de gestion de cache de fichiers.
Peut être des écritures/accès simultanés, un flag de fichier verrouillé ou non, etc ...
Je ne pense pas que cela soit facile à reproduire et donc pas facile à analyser.
Je ne vois pas comment prévenir cette erreur