code: RequestQueue<ReadRequest> getReadRequestQueue(FileIOChannel.ID channelID) {
  		return this.readers[channelID.getThreadNum()].requestQueue;
  	}
docs: -------------------------------------------------------------------------