comment in enqueue_for_disk_writing about the nature of the critical section