Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 1 | # Copyright (C) 2020 Arm Limited or its affiliates. All rights reserved. |
| 2 | # |
| 3 | # SPDX-License-Identifier: Apache-2.0 |
| 4 | # |
| 5 | # Licensed under the Apache License, Version 2.0 (the License); you may |
| 6 | # not use this file except in compliance with the License. |
| 7 | # You may obtain a copy of the License at |
| 8 | # |
| 9 | # www.apache.org/licenses/LICENSE-2.0 |
| 10 | # |
| 11 | # Unless required by applicable law or agreed to in writing, software |
| 12 | # distributed under the License is distributed on an AS IS BASIS, WITHOUT |
| 13 | # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | # See the License for the specific language governing permissions and |
| 15 | # limitations under the License. |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 16 | # Description: |
| 17 | # Shared buffer allocation works out how to allocate the Ethos-U55 shared buffer for a given pass. |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 18 | import numpy as np |
Diego Russo | ea6111a | 2020-04-14 18:41:58 +0100 | [diff] [blame] | 19 | |
Diego Russo | e8a1045 | 2020-04-21 17:39:10 +0100 | [diff] [blame] | 20 | from .architecture_features import ArchitectureFeatures |
| 21 | from .architecture_features import Block |
| 22 | from .architecture_features import Kernel |
| 23 | from .architecture_features import SharedBufferArea |
| 24 | from .architecture_features import SHRAMElements |
Tim Hall | 2a7ebe3 | 2020-06-18 11:42:21 +0100 | [diff] [blame] | 25 | from .errors import VelaError |
Dwight Lidman | 7ad408b | 2020-08-11 11:55:22 +0200 | [diff] [blame] | 26 | from .ethos_u55_regs.ethos_u55_regs import resampling_mode |
Diego Russo | ea6111a | 2020-04-14 18:41:58 +0100 | [diff] [blame] | 27 | from .operation import NpuBlockType |
Louis Verhaard | 814cfbb | 2020-08-21 14:06:25 +0200 | [diff] [blame] | 28 | from .range_set import MemoryRangeSet |
| 29 | from .tensor import MemArea |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 30 | |
| 31 | |
| 32 | class SharedBufferAllocation: |
| 33 | def __init__(self, arch, ps): |
| 34 | self.arch = arch |
| 35 | |
| 36 | self.bank_locations = np.zeros(SharedBufferArea.Size) |
| 37 | self.banks_required = np.zeros(SharedBufferArea.Size) |
| 38 | |
| 39 | ifm_tensor, ifm2_tensor, weight_tensor, ofm_tensor = ps.get_primary_op_ifm_ifm2_weights_ofm() |
| 40 | |
| 41 | strides = (1, 1, 1, 1) |
| 42 | dilation = (1, 1, 1, 1) |
| 43 | self.kernel = Kernel(1, 1) |
| 44 | is_elementwise = ps.npu_block_type == NpuBlockType.ElementWise |
Louis Verhaard | 814cfbb | 2020-08-21 14:06:25 +0200 | [diff] [blame] | 45 | self.uses_lut = False |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 46 | |
| 47 | if ps.primary_op: |
| 48 | strides = ps.primary_op.attrs.get("strides", strides) |
| 49 | dilation = ps.primary_op.attrs.get("dilation", dilation) |
| 50 | k_h = 1 |
| 51 | k_w = 1 |
| 52 | if weight_tensor: |
| 53 | if ps.primary_op.type != "FullyConnectedAct": |
| 54 | k_h = weight_tensor.shape[0] |
| 55 | k_w = weight_tensor.shape[1] |
| 56 | else: |
| 57 | k_h = ps.primary_op.attrs.get("filter_height", 1) |
| 58 | k_w = ps.primary_op.attrs.get("filter_width", 1) |
| 59 | |
| 60 | self.kernel = Kernel(k_w, k_h, strides[2], strides[1], dilation[2], dilation[1]) |
Louis Verhaard | 814cfbb | 2020-08-21 14:06:25 +0200 | [diff] [blame] | 61 | self.uses_lut = ps.primary_op.activation_lut is not None |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 62 | |
| 63 | self.is_equal_depth_op = is_elementwise or ps.npu_block_type in ( |
| 64 | NpuBlockType.ConvolutionDepthWise, |
| 65 | NpuBlockType.Pooling, |
| 66 | ) |
| 67 | self.strides = strides |
| 68 | |
| 69 | self.use_accumulator_element = SHRAMElements.Acc32 |
| 70 | if is_elementwise: |
| 71 | self.use_ifm_element = SHRAMElements.IFM8_Elementwise |
| 72 | else: |
| 73 | self.use_ifm_element = SHRAMElements.IFM8 |
| 74 | |
Dwight Lidman | 7ad408b | 2020-08-11 11:55:22 +0200 | [diff] [blame] | 75 | self.ifm_resampling_mode = resampling_mode.NONE |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 76 | self.ifm_bits = 0 |
| 77 | self.ifm_depth = 0 |
| 78 | if ifm_tensor: |
Dwight Lidman | 7ad408b | 2020-08-11 11:55:22 +0200 | [diff] [blame] | 79 | self.ifm_resampling_mode = ifm_tensor.resampling_mode |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 80 | self.ifm_bits = ifm_tensor.dtype.size_in_bits() |
| 81 | if ifm_tensor.shape == [] and is_elementwise: |
| 82 | # Elementwise operator with scalar in ifm, use ifm2 depth |
| 83 | self.ifm_depth = ifm2_tensor.shape[-1] |
| 84 | else: |
| 85 | self.ifm_depth = ifm_tensor.shape[-1] |
| 86 | if self.ifm_bits == 16: |
Tim Hall | 749bfd5 | 2020-08-30 14:40:46 +0100 | [diff] [blame] | 87 | if ps.npu_block_type != NpuBlockType.Pooling: |
| 88 | self.use_accumulator_element = SHRAMElements.Acc40 |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 89 | self.use_ifm_element = self.use_ifm_element + 1 |
| 90 | assert (self.use_ifm_element == SHRAMElements.IFM16) or ( |
| 91 | self.use_ifm_element == SHRAMElements.IFM16_Elementwise |
| 92 | ) |
Fredrik Svedberg | 597fd3f | 2020-08-13 10:02:53 +0200 | [diff] [blame] | 93 | elif is_elementwise or ps.npu_block_type == NpuBlockType.ReduceSum and self.ifm_bits == 32: |
| 94 | self.use_ifm_element = SHRAMElements.IFM32 |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 95 | else: |
| 96 | assert self.ifm_bits == 8, "Unexpected IFM bitdepth" |
| 97 | |
| 98 | self.ifm_block_depth = arch.calc_ifm_block_depth(self.ifm_depth, self.ifm_bits) |
| 99 | self.ofm_tensor = ofm_tensor |
| 100 | |
| 101 | self.banks_required[SharedBufferArea.Weights] = arch.shram_reserved_weight_banks |
| 102 | self.banks_required[SharedBufferArea.OFM] = arch.shram_reserved_output_banks |
| 103 | |
| 104 | def is_valid(self): |
| 105 | # Assign zero-based bank starts (first element remains zero) |
| 106 | self.bank_locations[1:] = np.cumsum(self.banks_required)[:-1] |
| 107 | |
| 108 | # Accumulator area is measured from the end of the buffer |
| 109 | self.bank_locations[SharedBufferArea.Accumulators] = ( |
Louis Verhaard | 814cfbb | 2020-08-21 14:06:25 +0200 | [diff] [blame] | 110 | self.arch.available_shram_banks(self.uses_lut) - self.banks_required[SharedBufferArea.Accumulators] |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 111 | ) |
| 112 | ifm_end = self.bank_locations[SharedBufferArea.IFM] + self.banks_required[SharedBufferArea.IFM] |
| 113 | return ifm_end <= self.bank_locations[SharedBufferArea.Accumulators] |
| 114 | |
| 115 | def try_block(self, ofm_block: Block): |
| 116 | # Get IFM block configuration |
| 117 | ifm_block_depth = ofm_block.depth if self.is_equal_depth_op else self.ifm_block_depth |
Tim Hall | c30f495 | 2020-06-15 20:47:35 +0100 | [diff] [blame] | 118 | ifm_block = self.arch.get_ifm_block_size( |
| 119 | ifm_block_depth, ofm_block, self.kernel, ifm_resampling_mode=self.ifm_resampling_mode |
| 120 | ) |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 121 | ifm_config = self.arch.get_block_config(ifm_block.width, ifm_block.height, ifm_block.depth) |
| 122 | if ifm_config is None: |
| 123 | return None |
| 124 | |
| 125 | # Get OFM block configuration |
| 126 | ofm_config = self.arch.get_block_config(ofm_block.width, ofm_block.height, ofm_block.depth) |
| 127 | if ofm_config is None: |
| 128 | return None |
| 129 | |
| 130 | # Update bank counts for IFM and Accumulator |
| 131 | self.banks_required[SharedBufferArea.IFM] = ifm_config.banks[self.use_ifm_element] |
| 132 | self.banks_required[SharedBufferArea.Accumulators] = ofm_config.banks[self.use_accumulator_element] |
| 133 | |
| 134 | # Validating calculates bank layout and returns validity |
| 135 | if not self.is_valid(): |
| 136 | return None |
| 137 | |
| 138 | return (ofm_block.height, ofm_block.width, ifm_block.depth, ofm_block.depth) |
| 139 | |
| 140 | def generate_used_mask(self, active_set): |
| 141 | res = np.zeros(self.arch.shram_total_banks, dtype=np.int64) |
| 142 | for kind in active_set: |
| 143 | start = int(self.bank_locations[kind]) |
| 144 | end = start + int(self.banks_required[kind]) |
| 145 | res[start:end] = 1 |
| 146 | return res |
| 147 | |
| 148 | def is_compatible(first, second): |
| 149 | """See if the bank allocations of two convolutions are compatible, |
| 150 | so that they can run back-to-back without a fence in between""" |
| 151 | |
| 152 | first_set = set((SharedBufferArea.OFM, SharedBufferArea.Accumulators)) |
| 153 | second_set = set((SharedBufferArea.IFM, SharedBufferArea.Weights)) |
| 154 | |
| 155 | first_mask = first.generate_used_mask(first_set) |
| 156 | second_mask = second.generate_used_mask(second_set) |
| 157 | |
| 158 | if np.sum(first_mask & second_mask): |
| 159 | # overlap |
| 160 | return False |
| 161 | |
| 162 | return True |
| 163 | |
Louis Verhaard | 814cfbb | 2020-08-21 14:06:25 +0200 | [diff] [blame] | 164 | def get_shram_memory_access_range(self): |
| 165 | # Returns the SHRAM memory access range used by this shared buffer, |
| 166 | # excluding access to LUT |
| 167 | return MemoryRangeSet( |
| 168 | MemArea.Shram, 0, self.arch.available_shram_banks(self.uses_lut) * self.arch.shram_bank_size |
| 169 | ) |
| 170 | |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 171 | |
| 172 | def shared_buffer_allocation_for_pass_and_block_config(arch, ps, block_config): |
| 173 | alloc = SharedBufferAllocation(arch, ps) |
| 174 | assert (alloc.ifm_block_depth == block_config[2]) or alloc.is_equal_depth_op |
| 175 | if alloc.try_block(Block(block_config[1], block_config[0], block_config[3])): |
| 176 | return alloc |
| 177 | |
| 178 | return None |
| 179 | |
| 180 | |
| 181 | def find_block_configs_suitable_for_pass_and_shared_buffer(arch, ps): |
| 182 | alloc = SharedBufferAllocation(arch, ps) |
| 183 | |
| 184 | if arch.override_block_config: |
| 185 | config = alloc.try_block(arch.override_block_config) |
Tim Hall | 2a7ebe3 | 2020-06-18 11:42:21 +0100 | [diff] [blame] | 186 | if config is None: |
Fredrik Svedberg | a0c3624 | 2020-06-03 15:43:31 +0200 | [diff] [blame] | 187 | raise VelaError("Block config override '{0}' cannot be allocated".format(arch.override_block_config)) |
Tim Hall | 2a7ebe3 | 2020-06-18 11:42:21 +0100 | [diff] [blame] | 188 | return [config] |
Tim Hall | 79d07d2 | 2020-04-27 18:20:16 +0100 | [diff] [blame] | 189 | |
| 190 | # Constrain the search space if the OFM is smaller than the max block size |
| 191 | # - Add other block search constraints here if required |
| 192 | if len(alloc.ofm_tensor.shape) == 2: |
| 193 | max_block_height = max_block_width = alloc.ofm_tensor.shape[0] |
| 194 | else: |
| 195 | max_block_width = alloc.ofm_tensor.shape[-2] |
| 196 | max_block_height = alloc.ofm_tensor.shape[-3] |
| 197 | |
| 198 | # Common block depth |
| 199 | max_block_depth = alloc.ofm_tensor.shape[-1] |
| 200 | |
| 201 | # Constrain to valid ranges before search |
| 202 | max_block_width = min(arch.ofm_block_max.width, max_block_width) |
| 203 | max_block_height = min(arch.ofm_block_max.height, max_block_height) |
| 204 | max_block_depth = min(arch.ofm_block_max.depth, max_block_depth) |
| 205 | |
| 206 | valid_block_configs = [] |
| 207 | # Try a range of block shapes against this pass |
| 208 | for w in range(arch.ofm_ublock.width, max_block_width + arch.ofm_ublock.width, arch.ofm_ublock.width): |
| 209 | for h in range(arch.ofm_ublock.height, max_block_height + arch.ofm_ublock.height, arch.ofm_ublock.height): |
| 210 | # Try valid OFM block depths |
| 211 | for c in range(arch.ofm_ublock.depth, max_block_depth + arch.ofm_ublock.depth, arch.ofm_ublock.depth): |
| 212 | # OFM block depth has the constraint that if it causes the OFM to be |
| 213 | # split, it must be a multiple of the OFM split size |
| 214 | if (c >= max_block_depth) or (c < max_block_depth and (c % ArchitectureFeatures.OFMSplitDepth) == 0): |
| 215 | config = alloc.try_block(Block(w, h, c)) |
| 216 | if config: |
| 217 | valid_block_configs.append(config) |
| 218 | |
| 219 | assert len(valid_block_configs) > 0 |
| 220 | return valid_block_configs |