I see what you mean. I wouldn't call it a race condition in that code though. It may be a race condition in the system, but this code fragment on its own is race free - if there's a file, it will be removed. The rest of the system is not present and we can only see the correct-or-not way of file removal. (raising exception or not)

Otherwise we'll end up with "a = 1" being a race condition, because it may happen to map to a device memory used by many applications.