| 79 | } |
| 80 | |
| 81 | Stream Buffer::ordered_prefetch(int prefetch_size, int num_thread) const { |
| 82 | return Stream(std::make_shared<stream::OrderedPrefetch>( |
| 83 | self_, prefetch_size, num_thread)); |
| 84 | } |
| 85 | |
| 86 | Buffer Buffer::partition(int64_t num_partitions, int64_t partition) const { |
| 87 | return Buffer( |