On Thu, May 29, 2014 at 07:04:48PM +0200, Samuel Thibault wrote: > But precisely: once the only thread gets a data_request, it'll call > pager_read_page, which will typically call store_read, which will wait > on the eventual I/O, and no other request will be processed during that > time, and thus not pipelining the I/O requests.
Right, I assumed the store interface wasn't synchronous... -- Richard Braun