blob: 1b46d168738840f9c6d229f29e87101edd5a4141 [file] [log] [blame]
Rickard Bolinbc6ee582022-11-04 08:24:29 +00001# SPDX-FileCopyrightText: Copyright 2020-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>
Tim Hall79d07d22020-04-27 18:20:16 +01002#
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.
Rickard Bolinbc6ee582022-11-04 08:24:29 +000016#
Tim Hall79d07d22020-04-27 18:20:16 +010017# Description:
18# Allocate tensor addresses using a greedy algorithm.
Tim Hall79d07d22020-04-27 18:20:16 +010019from . import numeric_util
20
21
22class GreedyAllocator:
Tim Hallcda4fcb2022-05-19 12:36:58 +010023 def __init__(self, live_ranges):
Tim Hall79d07d22020-04-27 18:20:16 +010024 self.live_ranges = live_ranges
25 self.memory_required = 0
26
27 self.current_allocs = []
28
29 def alloc(self, new_lr):
30 size = new_lr.size
31 current_top = 0
32 if self.current_allocs:
33 current_top = max(start_addr + lr.size for start_addr, lr in self.current_allocs)
34 best_offset = numeric_util.round_up(current_top, new_lr.get_alignment())
35 best_offset_fit = (1 << 64) - 1
36
Jacob Bohlin0628a8c2020-08-28 13:25:14 +020037 aligned_size = numeric_util.round_up(size, new_lr.get_alignment())
Tim Hall79d07d22020-04-27 18:20:16 +010038 current_offset = 0
39 for start_addr, lr in self.current_allocs:
40 aligned_current_offset = numeric_util.round_up(current_offset, new_lr.get_alignment())
Henrik G Olsson807278a2021-03-08 18:20:00 +010041 if (
42 aligned_current_offset + aligned_size <= start_addr
43 and start_addr - aligned_current_offset < best_offset_fit
44 ):
45 best_offset = aligned_current_offset
46 best_offset_fit = start_addr - aligned_current_offset
Tim Hall79d07d22020-04-27 18:20:16 +010047
48 current_offset = start_addr + lr.size
49
Charles Xu5b3dcd72020-05-28 07:20:52 +020050 best_offset = new_lr.set_address(best_offset)
Jacob Bohlin0628a8c2020-08-28 13:25:14 +020051 self.memory_required = max(self.memory_required, best_offset + aligned_size)
Tim Hall79d07d22020-04-27 18:20:16 +010052 self.current_allocs.append((best_offset, new_lr))
53 self.current_allocs = list(sorted(self.current_allocs))
54
55 def dealloc(self, lr_to_dealloc):
56 self.current_allocs = [(start_addr, lr) for start_addr, lr in self.current_allocs if lr != lr_to_dealloc]
57
Tim Hall64556f32021-05-17 22:57:46 +010058 def allocate_live_ranges(self, alignment):
Tim Hall79d07d22020-04-27 18:20:16 +010059 lrs = set()
Louis Verhaard226ecaf2021-03-30 10:18:28 +020060 for lr in self.live_ranges.lrs:
Louis Verhaard1356c2a2020-09-16 10:25:28 +020061 lrs.add((lr.start_time, -lr.end_time, lr))
Tim Hall79d07d22020-04-27 18:20:16 +010062
63 lrs = sorted(lrs)
64
65 for curr_time, _, new_lr in lrs:
66 for _, lr in list(self.current_allocs):
67 if lr.end_time < curr_time:
68 self.dealloc(lr)
69
70 self.alloc(new_lr)
71
Tim Hall79d07d22020-04-27 18:20:16 +010072 return self.memory_required
73
Tim Hall79d07d22020-04-27 18:20:16 +010074
Tim Hallcda4fcb2022-05-19 12:36:58 +010075def allocate_live_ranges(live_ranges, alignment):
76 g = GreedyAllocator(live_ranges)
Tim Hall64556f32021-05-17 22:57:46 +010077 return g.allocate_live_ranges(alignment)