XML file locking

Does anyone know if any of the PHP 5 XML libraries use flock() internally? I'd like to use XMLReader and XMLWriter but I need to make sure theres no writing going on while reading and no more than one writer at time. And if I have to use DOM, does DOM lock the file when it calls save()? Or is there any xml library that allows you to pass in an already opened file stream ? Thanks.