🚀 go-pugleaf

I should have been more careful in separating different OS aspects.

Typically a good I/O system will do some buffering for you.  Most competent
operating systems maintain a cache of disk blocks in memory for you.  In
addition if you employ language oriented I/O, a buffer will be maintained
for you in the I/O library's storage pool.  When you read a sentence into
your buffer, it can come from the Language Library buffer.  If your
language I/O library is intelligent and you are reading sequential
data, the language library will call on the OS to read the next disk
block into memory, often before it is required.  When the new block is
needed it will be brought from the cache into the language library buffer
and then into your sentence space.

While this is not double buffering in the sense that a single entity is
aware of it and planning for it, it is double buffering and it does improve
I/O concurrency.