eager prefetching
Merge branch 'master' into eager_prefetching
work in progress
Merge branch 'master' into eager_prefetching
prefetching implemented
prefetching implemented