如何在PHP中获取锁定文件的文件内容

Question

What's the best way, idiomatically, of getting the file contents (into a string) of a flock 'd file in PHP?

Edit: To be clear, this is something locked by the current page/process. Something like:

if(flock($fp ...)) {
  $str = READFILECONTENTS($fp);
  flock(...);
}

Answer 1

Don't. Wait for the lock to be released and only then read it.

Or just read it anyway.