Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 1 | # osmo_gsm_tester: manage resources |
| 2 | # |
| 3 | # Copyright (C) 2016-2017 by sysmocom - s.f.m.c. GmbH |
| 4 | # |
| 5 | # Author: Neels Hofmeyr <neels@hofmeyr.de> |
| 6 | # |
| 7 | # This program is free software: you can redistribute it and/or modify |
Harald Welte | 2720534 | 2017-06-03 09:51:45 +0200 | [diff] [blame] | 8 | # it under the terms of the GNU General Public License as |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 9 | # published by the Free Software Foundation, either version 3 of the |
| 10 | # License, or (at your option) any later version. |
| 11 | # |
| 12 | # This program is distributed in the hope that it will be useful, |
| 13 | # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
Harald Welte | 2720534 | 2017-06-03 09:51:45 +0200 | [diff] [blame] | 15 | # GNU General Public License for more details. |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 16 | # |
Harald Welte | 2720534 | 2017-06-03 09:51:45 +0200 | [diff] [blame] | 17 | # You should have received a copy of the GNU General Public License |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 18 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
| 19 | |
| 20 | import os |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 21 | import time |
| 22 | import copy |
| 23 | import atexit |
| 24 | import pprint |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 25 | |
| 26 | from . import log |
| 27 | from . import config |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 28 | from . import util |
| 29 | from . import schema |
Pau Espin Pedrol | 6cdd2fd | 2017-11-07 11:57:42 +0100 | [diff] [blame] | 30 | from . import modem |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 31 | from . import osmo_nitb |
Pau Espin Pedrol | daed447 | 2017-09-15 14:11:35 +0200 | [diff] [blame] | 32 | from . import bts_sysmo, bts_osmotrx, bts_octphy |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 33 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 34 | from .util import is_dict, is_list |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 35 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 36 | HASH_KEY = '_hash' |
| 37 | RESERVED_KEY = '_reserved_by' |
| 38 | USED_KEY = '_used' |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 39 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 40 | RESOURCES_CONF = 'resources.conf' |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 41 | RESERVED_RESOURCES_FILE = 'reserved_resources.state' |
| 42 | |
Neels Hofmeyr | 76d8103 | 2017-05-18 18:35:32 +0200 | [diff] [blame] | 43 | R_IP_ADDRESS = 'ip_address' |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 44 | R_BTS = 'bts' |
| 45 | R_ARFCN = 'arfcn' |
| 46 | R_MODEM = 'modem' |
Neels Hofmeyr | 76d8103 | 2017-05-18 18:35:32 +0200 | [diff] [blame] | 47 | R_ALL = (R_IP_ADDRESS, R_BTS, R_ARFCN, R_MODEM) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 48 | |
| 49 | RESOURCES_SCHEMA = { |
Neels Hofmeyr | 76d8103 | 2017-05-18 18:35:32 +0200 | [diff] [blame] | 50 | 'ip_address[].addr': schema.IPV4, |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 51 | 'bts[].label': schema.STR, |
| 52 | 'bts[].type': schema.STR, |
Pau Espin Pedrol | fa9a6d3 | 2017-09-12 15:13:21 +0200 | [diff] [blame] | 53 | 'bts[].ipa_unit_id': schema.UINT, |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 54 | 'bts[].addr': schema.IPV4, |
| 55 | 'bts[].band': schema.BAND, |
Pau Espin Pedrol | 404e150 | 2017-08-22 11:17:43 +0200 | [diff] [blame] | 56 | 'bts[].trx_remote_ip': schema.IPV4, |
| 57 | 'bts[].launch_trx': schema.BOOL_STR, |
Pau Espin Pedrol | 57497a6 | 2017-08-28 14:21:15 +0200 | [diff] [blame] | 58 | 'bts[].ciphers[]': schema.CIPHER, |
Your Name | 44af341 | 2017-04-13 03:11:59 +0200 | [diff] [blame] | 59 | 'bts[].trx_list[].hw_addr': schema.HWADDR, |
| 60 | 'bts[].trx_list[].net_device': schema.STR, |
Pau Espin Pedrol | b26f32a | 2017-09-14 13:52:28 +0200 | [diff] [blame] | 61 | 'bts[].trx_list[].nominal_power': schema.UINT, |
| 62 | 'bts[].trx_list[].max_power_red': schema.UINT, |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 63 | 'arfcn[].arfcn': schema.INT, |
| 64 | 'arfcn[].band': schema.BAND, |
| 65 | 'modem[].label': schema.STR, |
| 66 | 'modem[].path': schema.STR, |
| 67 | 'modem[].imsi': schema.IMSI, |
| 68 | 'modem[].ki': schema.KI, |
Pau Espin Pedrol | 713ce2c | 2017-08-24 16:57:17 +0200 | [diff] [blame] | 69 | 'modem[].auth_algo': schema.AUTH_ALGO, |
Pau Espin Pedrol | 57497a6 | 2017-08-28 14:21:15 +0200 | [diff] [blame] | 70 | 'modem[].ciphers[]': schema.CIPHER, |
Pau Espin Pedrol | ac18fd3 | 2017-08-31 18:49:47 +0200 | [diff] [blame] | 71 | 'modem[].features[]': schema.MODEM_FEATURE, |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 72 | } |
| 73 | |
| 74 | WANT_SCHEMA = util.dict_add( |
Pau Espin Pedrol | ead79ac | 2017-09-12 15:19:18 +0200 | [diff] [blame] | 75 | dict([('%s[].times' % r, schema.TIMES) for r in R_ALL]), |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 76 | RESOURCES_SCHEMA) |
| 77 | |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 78 | CONF_SCHEMA = util.dict_add( |
| 79 | { 'defaults.timeout': schema.STR }, |
| 80 | dict([('resources.%s' % key, val) for key, val in WANT_SCHEMA.items()])) |
| 81 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 82 | KNOWN_BTS_TYPES = { |
Your Name | 44af341 | 2017-04-13 03:11:59 +0200 | [diff] [blame] | 83 | 'osmo-bts-sysmo': bts_sysmo.SysmoBts, |
| 84 | 'osmo-bts-trx': bts_osmotrx.OsmoBtsTrx, |
Pau Espin Pedrol | daed447 | 2017-09-15 14:11:35 +0200 | [diff] [blame] | 85 | 'osmo-bts-octphy': bts_octphy.OsmoBtsOctphy, |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | def register_bts_type(name, clazz): |
| 89 | KNOWN_BTS_TYPES[name] = clazz |
| 90 | |
| 91 | class ResourcesPool(log.Origin): |
| 92 | _remember_to_free = None |
| 93 | _registered_exit_handler = False |
| 94 | |
| 95 | def __init__(self): |
| 96 | self.config_path = config.get_config_file(RESOURCES_CONF) |
| 97 | self.state_dir = config.get_state_dir() |
Neels Hofmeyr | 1a7a3f0 | 2017-06-10 01:18:27 +0200 | [diff] [blame] | 98 | super().__init__(log.C_CNF, conf=self.config_path, state=self.state_dir.path) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 99 | self.read_conf() |
| 100 | |
| 101 | def read_conf(self): |
| 102 | self.all_resources = Resources(config.read(self.config_path, RESOURCES_SCHEMA)) |
| 103 | self.all_resources.set_hashes() |
| 104 | |
| 105 | def reserve(self, origin, want): |
| 106 | ''' |
| 107 | attempt to reserve the resources specified in the dict 'want' for |
| 108 | 'origin'. Obtain a lock on the resources lock dir, verify that all |
| 109 | wanted resources are available, and if yes mark them as reserved. |
| 110 | |
| 111 | On success, return a reservation object which can be used to release |
| 112 | the reservation. The reservation will be freed automatically on program |
| 113 | exit, if not yet done manually. |
| 114 | |
| 115 | 'origin' should be an Origin() instance. |
| 116 | |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 117 | 'want' is a dict matching RESOURCES_SCHEMA. |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 118 | |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 119 | If an entry has no attribute set, any of the resources may be |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 120 | reserved without further limitations. |
| 121 | |
| 122 | ResourcesPool may also be selected with narrowed down constraints. |
Neels Hofmeyr | 76d8103 | 2017-05-18 18:35:32 +0200 | [diff] [blame] | 123 | This would reserve one IP address, two modems, one BTS of type |
Neels Hofmeyr | 391afe3 | 2017-05-18 19:22:12 +0200 | [diff] [blame] | 124 | sysmo and one of type trx, plus 2 ARFCNs in the 1800 band: |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 125 | |
| 126 | { |
Neels Hofmeyr | 76d8103 | 2017-05-18 18:35:32 +0200 | [diff] [blame] | 127 | 'ip_address': [ {} ], |
Neels Hofmeyr | 391afe3 | 2017-05-18 19:22:12 +0200 | [diff] [blame] | 128 | 'bts': [ { 'type': 'sysmo' }, { 'type': 'trx' } ], |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 129 | 'arfcn': [ { 'band': 'GSM-1800' }, { 'band': 'GSM-1800' } ], |
| 130 | 'modem': [ {}, {} ], |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 131 | } |
| 132 | ''' |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 133 | schema.validate(want, RESOURCES_SCHEMA) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 134 | |
| 135 | origin_id = origin.origin_id() |
| 136 | |
| 137 | with self.state_dir.lock(origin_id): |
| 138 | rrfile_path = self.state_dir.mk_parentdir(RESERVED_RESOURCES_FILE) |
| 139 | reserved = Resources(config.read(rrfile_path, if_missing_return={})) |
Neels Hofmeyr | cccbe59 | 2017-05-07 01:16:07 +0200 | [diff] [blame] | 140 | to_be_reserved = self.all_resources.without(reserved).find(origin, want) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 141 | |
| 142 | to_be_reserved.mark_reserved_by(origin_id) |
| 143 | |
| 144 | reserved.add(to_be_reserved) |
| 145 | config.write(rrfile_path, reserved) |
| 146 | |
| 147 | self.remember_to_free(to_be_reserved) |
| 148 | return ReservedResources(self, origin, to_be_reserved) |
| 149 | |
| 150 | def free(self, origin, to_be_freed): |
Neels Hofmeyr | 1a7a3f0 | 2017-06-10 01:18:27 +0200 | [diff] [blame] | 151 | log.ctx(origin) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 152 | with self.state_dir.lock(origin.origin_id()): |
| 153 | rrfile_path = self.state_dir.mk_parentdir(RESERVED_RESOURCES_FILE) |
| 154 | reserved = Resources(config.read(rrfile_path, if_missing_return={})) |
| 155 | reserved.drop(to_be_freed) |
| 156 | config.write(rrfile_path, reserved) |
| 157 | self.forget_freed(to_be_freed) |
| 158 | |
| 159 | def register_exit_handler(self): |
| 160 | if self._registered_exit_handler: |
| 161 | return |
| 162 | atexit.register(self.clean_up_registered_resources) |
| 163 | self._registered_exit_handler = True |
| 164 | |
| 165 | def unregister_exit_handler(self): |
| 166 | if not self._registered_exit_handler: |
| 167 | return |
| 168 | atexit.unregister(self.clean_up_registered_resources) |
| 169 | self._registered_exit_handler = False |
| 170 | |
| 171 | def clean_up_registered_resources(self): |
| 172 | if not self._remember_to_free: |
| 173 | return |
| 174 | self.free(log.Origin('atexit.clean_up_registered_resources()'), |
| 175 | self._remember_to_free) |
| 176 | |
| 177 | def remember_to_free(self, to_be_reserved): |
| 178 | self.register_exit_handler() |
| 179 | if not self._remember_to_free: |
| 180 | self._remember_to_free = Resources() |
| 181 | self._remember_to_free.add(to_be_reserved) |
| 182 | |
| 183 | def forget_freed(self, freed): |
| 184 | if freed is self._remember_to_free: |
| 185 | self._remember_to_free.clear() |
| 186 | else: |
| 187 | self._remember_to_free.drop(freed) |
| 188 | if not self._remember_to_free: |
| 189 | self.unregister_exit_handler() |
| 190 | |
Pau Espin Pedrol | 96d6b6c | 2017-11-06 18:09:09 +0100 | [diff] [blame] | 191 | def next_persistent_value(self, token, first_val, validate_func, inc_func, origin): |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 192 | origin_id = origin.origin_id() |
| 193 | |
| 194 | with self.state_dir.lock(origin_id): |
Pau Espin Pedrol | 96d6b6c | 2017-11-06 18:09:09 +0100 | [diff] [blame] | 195 | token_path = self.state_dir.child('last_used_%s.state' % token) |
| 196 | log.ctx(token_path) |
| 197 | last_value = first_val |
| 198 | if os.path.exists(token_path): |
| 199 | if not os.path.isfile(token_path): |
| 200 | raise RuntimeError('path should be a file but is not: %r' % token_path) |
| 201 | with open(token_path, 'r') as f: |
| 202 | last_value = f.read().strip() |
| 203 | validate_func(last_value) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 204 | |
Pau Espin Pedrol | 96d6b6c | 2017-11-06 18:09:09 +0100 | [diff] [blame] | 205 | next_value = inc_func(last_value) |
| 206 | with open(token_path, 'w') as f: |
| 207 | f.write(next_value) |
| 208 | return next_value |
| 209 | |
| 210 | def next_msisdn(self, origin): |
| 211 | return self.next_persistent_value('msisdn', '1000', schema.msisdn, util.msisdn_inc, origin) |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 212 | |
Pau Espin Pedrol | 5e0c251 | 2017-11-06 18:40:23 +0100 | [diff] [blame] | 213 | def next_lac(self, origin): |
| 214 | return self.next_persistent_value('lac', '1', schema.uint16, lambda x: str((int(x)+1) % pow(2,16)), origin) |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 215 | |
Pau Espin Pedrol | 4ccce7c | 2017-11-07 11:13:20 +0100 | [diff] [blame] | 216 | def next_cellid(self, origin): |
| 217 | return self.next_persistent_value('cellid', '1', schema.uint16, lambda x: str((int(x)+1) % pow(2,16)), origin) |
| 218 | |
Pau Espin Pedrol | 4676cbd | 2017-09-14 17:35:03 +0200 | [diff] [blame] | 219 | class NoResourceExn(log.Error): |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 220 | pass |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 221 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 222 | class Resources(dict): |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 223 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 224 | def __init__(self, all_resources={}, do_copy=True): |
| 225 | if do_copy: |
| 226 | all_resources = copy.deepcopy(all_resources) |
| 227 | self.update(all_resources) |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 228 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 229 | def drop(self, reserved, fail_if_not_found=True): |
| 230 | # protect from modifying reserved because we're the same object |
| 231 | if reserved is self: |
| 232 | raise RuntimeError('Refusing to drop a list of resources from itself.' |
| 233 | ' This is probably a bug where a list of Resources()' |
| 234 | ' should have been copied but is passed as-is.' |
| 235 | ' use Resources.clear() instead.') |
| 236 | |
| 237 | for key, reserved_list in reserved.items(): |
| 238 | my_list = self.get(key) or [] |
| 239 | |
| 240 | if my_list is reserved_list: |
| 241 | self.pop(key) |
| 242 | continue |
| 243 | |
| 244 | for reserved_item in reserved_list: |
| 245 | found = False |
| 246 | reserved_hash = reserved_item.get(HASH_KEY) |
| 247 | if not reserved_hash: |
| 248 | raise RuntimeError('Resources.drop() only works with hashed items') |
| 249 | |
| 250 | for i in range(len(my_list)): |
| 251 | my_item = my_list[i] |
| 252 | my_hash = my_item.get(HASH_KEY) |
| 253 | if not my_hash: |
| 254 | raise RuntimeError('Resources.drop() only works with hashed items') |
| 255 | if my_hash == reserved_hash: |
| 256 | found = True |
| 257 | my_list.pop(i) |
| 258 | break |
| 259 | |
| 260 | if fail_if_not_found and not found: |
| 261 | raise RuntimeError('Asked to drop resource from a pool, but the' |
| 262 | ' resource was not found: %s = %r' % (key, reserved_item)) |
| 263 | |
| 264 | if not my_list: |
| 265 | self.pop(key) |
| 266 | return self |
| 267 | |
| 268 | def without(self, reserved): |
| 269 | return Resources(self).drop(reserved) |
| 270 | |
Neels Hofmeyr | cccbe59 | 2017-05-07 01:16:07 +0200 | [diff] [blame] | 271 | def find(self, for_origin, want, skip_if_marked=None, do_copy=True, raise_if_missing=True, log_label='Reserving'): |
Neels Hofmeyr | 2fade33 | 2017-05-06 23:18:23 +0200 | [diff] [blame] | 272 | ''' |
| 273 | Pass a dict of resource requirements, e.g.: |
| 274 | want = { |
| 275 | 'bts': [ {'type': 'osmo-bts-sysmo',}, {} ], |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 276 | 'modem': [ {}, {}, {} ] |
Neels Hofmeyr | 2fade33 | 2017-05-06 23:18:23 +0200 | [diff] [blame] | 277 | } |
| 278 | This function tries to find a combination from the available resources that |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 279 | matches these requirements. The return value is a dict (wrapped in a Resources class) |
Neels Hofmeyr | 2fade33 | 2017-05-06 23:18:23 +0200 | [diff] [blame] | 280 | that contains the matching resources in the order of 'want' dict: in above |
| 281 | example, the returned dict would have a 'bts' list with the first item being |
| 282 | a sysmoBTS, the second item being any other available BTS. |
| 283 | |
| 284 | If skip_if_marked is passed, any resource that contains this key is skipped. |
| 285 | E.g. if a BTS has the USED_KEY set like |
| 286 | reserved_resources = { 'bts' : {..., '_used': True} } |
| 287 | then this may be skipped by passing skip_if_marked='_used' |
| 288 | (or rather skip_if_marked=USED_KEY). |
| 289 | |
| 290 | If do_copy is True, the returned dict is a deep copy and does not share |
| 291 | lists with any other Resources dict. |
| 292 | |
| 293 | If raise_if_missing is False, this will return an empty item for any |
| 294 | resource that had no match, instead of immediately raising an exception. |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 295 | |
| 296 | This function expects input dictionaries whose contents have already |
| 297 | been replicated based on its the 'times' attributes. See |
| 298 | config.replicate_times() for more details. |
Neels Hofmeyr | 2fade33 | 2017-05-06 23:18:23 +0200 | [diff] [blame] | 299 | ''' |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 300 | matches = {} |
Neels Hofmeyr | 17c139e | 2017-04-12 02:42:02 +0200 | [diff] [blame] | 301 | for key, want_list in sorted(want.items()): # sorted for deterministic test results |
Neels Hofmeyr | cccbe59 | 2017-05-07 01:16:07 +0200 | [diff] [blame] | 302 | # here we have a resource of a given type, e.g. 'bts', with a list |
| 303 | # containing as many BTSes as the caller wants to reserve/use. Each |
| 304 | # list item contains specifics for the particular BTS. |
Neels Hofmeyr | 2a1a1fa | 2017-05-29 01:36:21 +0200 | [diff] [blame] | 305 | my_list = self.get(key, []) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 306 | |
Neels Hofmeyr | f9e8693 | 2017-06-06 19:47:40 +0200 | [diff] [blame] | 307 | if log_label: |
| 308 | for_origin.log(log_label, len(want_list), 'x', key, '(candidates: %d)'%len(my_list)) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 309 | |
| 310 | # Try to avoid a less constrained item snatching away a resource |
| 311 | # from a more detailed constrained requirement. |
| 312 | |
Neels Hofmeyr | 2fade33 | 2017-05-06 23:18:23 +0200 | [diff] [blame] | 313 | # first record all matches, so that each requested item has a list |
| 314 | # of all available resources that match it. Some resources may |
| 315 | # appear for multiple requested items. Store matching indexes. |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 316 | all_matches = [] |
| 317 | for want_item in want_list: |
| 318 | item_match_list = [] |
| 319 | for i in range(len(my_list)): |
| 320 | my_item = my_list[i] |
| 321 | if skip_if_marked and my_item.get(skip_if_marked): |
| 322 | continue |
Pau Espin Pedrol | 0b30279 | 2017-09-10 16:33:10 +0200 | [diff] [blame] | 323 | if item_matches(my_item, want_item): |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 324 | item_match_list.append(i) |
| 325 | if not item_match_list: |
Neels Hofmeyr | 9b90770 | 2017-05-06 23:20:33 +0200 | [diff] [blame] | 326 | if raise_if_missing: |
| 327 | raise NoResourceExn('No matching resource available for %s = %r' |
| 328 | % (key, want_item)) |
| 329 | else: |
| 330 | # this one failed... see below |
| 331 | all_matches = [] |
| 332 | break |
| 333 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 334 | all_matches.append( item_match_list ) |
| 335 | |
| 336 | if not all_matches: |
Neels Hofmeyr | 9b90770 | 2017-05-06 23:20:33 +0200 | [diff] [blame] | 337 | # ...this one failed. Makes no sense to solve resource |
| 338 | # allocations, return an empty list for this key to mark |
| 339 | # failure. |
| 340 | matches[key] = [] |
| 341 | continue |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 342 | |
| 343 | # figure out who gets what |
Neels Hofmeyr | a8a05a2 | 2017-06-06 19:47:40 +0200 | [diff] [blame] | 344 | try: |
| 345 | solution = solve(all_matches) |
| 346 | except NotSolvable: |
| 347 | # instead of a cryptic error message, raise an exception that |
| 348 | # conveys meaning to the user. |
| 349 | raise NoResourceExn('Could not resolve request to reserve resources: ' |
| 350 | '%d x %s with requirements: %r' % (len(want_list), key, want_list)) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 351 | picked = [ my_list[i] for i in solution if i is not None ] |
Neels Hofmeyr | cccbe59 | 2017-05-07 01:16:07 +0200 | [diff] [blame] | 352 | for_origin.dbg('Picked', config.tostr(picked)) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 353 | matches[key] = picked |
| 354 | |
| 355 | return Resources(matches, do_copy=do_copy) |
| 356 | |
| 357 | def set_hashes(self): |
| 358 | for key, item_list in self.items(): |
| 359 | for item in item_list: |
| 360 | item[HASH_KEY] = util.hash_obj(item, HASH_KEY, RESERVED_KEY, USED_KEY) |
| 361 | |
| 362 | def add(self, more): |
| 363 | if more is self: |
| 364 | raise RuntimeError('adding a list of resources to itself?') |
| 365 | config.add(self, copy.deepcopy(more)) |
| 366 | |
| 367 | def combine(self, more_rules): |
| 368 | if more_rules is self: |
| 369 | raise RuntimeError('combining a list of resource rules with itself?') |
| 370 | config.combine(self, copy.deepcopy(more)) |
| 371 | |
| 372 | def mark_reserved_by(self, origin_id): |
| 373 | for key, item_list in self.items(): |
| 374 | for item in item_list: |
| 375 | item[RESERVED_KEY] = origin_id |
| 376 | |
| 377 | |
Neels Hofmeyr | a8a05a2 | 2017-06-06 19:47:40 +0200 | [diff] [blame] | 378 | class NotSolvable(Exception): |
| 379 | pass |
| 380 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 381 | def solve(all_matches): |
| 382 | ''' |
| 383 | all_matches shall be a list of index-lists. |
| 384 | all_matches[i] is the list of indexes that item i can use. |
| 385 | Return a solution so that each i gets a different index. |
| 386 | solve([ [0, 1, 2], |
| 387 | [0], |
| 388 | [0, 2] ]) == [1, 0, 2] |
| 389 | ''' |
| 390 | |
| 391 | def all_differ(l): |
| 392 | return len(set(l)) == len(l) |
| 393 | |
| 394 | def search_in_permutations(fixed=[]): |
| 395 | idx = len(fixed) |
| 396 | for i in range(len(all_matches[idx])): |
| 397 | val = all_matches[idx][i] |
| 398 | # don't add a val that's already in the list |
| 399 | if val in fixed: |
| 400 | continue |
| 401 | l = list(fixed) |
| 402 | l.append(val) |
| 403 | if len(l) == len(all_matches): |
| 404 | # found a solution |
| 405 | return l |
| 406 | # not at the end yet, add next digit |
| 407 | r = search_in_permutations(l) |
| 408 | if r: |
| 409 | # nested search_in_permutations() call found a solution |
| 410 | return r |
| 411 | # this entire branch yielded no solution |
| 412 | return None |
| 413 | |
| 414 | if not all_matches: |
| 415 | raise RuntimeError('Cannot solve: no candidates') |
| 416 | |
| 417 | solution = search_in_permutations() |
| 418 | if not solution: |
Neels Hofmeyr | a8a05a2 | 2017-06-06 19:47:40 +0200 | [diff] [blame] | 419 | raise NotSolvable('The requested resource requirements are not solvable %r' |
| 420 | % all_matches) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 421 | return solution |
| 422 | |
| 423 | |
| 424 | def contains_hash(list_of_dicts, a_hash): |
| 425 | for d in list_of_dicts: |
| 426 | if d.get(HASH_KEY) == a_hash: |
| 427 | return True |
| 428 | return False |
| 429 | |
| 430 | def item_matches(item, wanted_item, ignore_keys=None): |
| 431 | if is_dict(wanted_item): |
| 432 | # match up two dicts |
| 433 | if not isinstance(item, dict): |
| 434 | return False |
| 435 | for key, wanted_val in wanted_item.items(): |
| 436 | if ignore_keys and key in ignore_keys: |
| 437 | continue |
| 438 | if not item_matches(item.get(key), wanted_val, ignore_keys=ignore_keys): |
| 439 | return False |
| 440 | return True |
| 441 | |
| 442 | if is_list(wanted_item): |
Pau Espin Pedrol | 4e36f7c | 2017-08-28 13:29:28 +0200 | [diff] [blame] | 443 | if not is_list(item): |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 444 | return False |
Pau Espin Pedrol | 5847551 | 2017-09-14 15:33:15 +0200 | [diff] [blame] | 445 | # Validate that all elements in both lists are of the same type: |
| 446 | t = util.list_validate_same_elem_type(wanted_item + item) |
| 447 | if t is None: |
| 448 | return True # both lists are empty, return |
| 449 | # For lists of complex objects, we expect them to be sorted lists: |
| 450 | if t in (dict, list, tuple): |
| 451 | for i in range(max(len(wanted_item), len(item))): |
| 452 | log.ctx(idx=i) |
| 453 | subitem = item[i] if i < len(item) else util.empty_instance_type(t) |
| 454 | wanted_subitem = wanted_item[i] if i < len(wanted_item) else util.empty_instance_type(t) |
| 455 | if not item_matches(subitem, wanted_subitem, ignore_keys=ignore_keys): |
| 456 | return False |
| 457 | else: # for lists of basic elements, we handle them as unsorted sets: |
| 458 | for val in wanted_item: |
| 459 | if val not in item: |
| 460 | return False |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 461 | return True |
| 462 | |
| 463 | return item == wanted_item |
| 464 | |
| 465 | |
| 466 | class ReservedResources(log.Origin): |
| 467 | ''' |
| 468 | After all resources have been figured out, this is the API that a test case |
| 469 | gets to interact with resources. From those resources that have been |
| 470 | reserved for it, it can pick some to mark them as currently in use. |
| 471 | Functions like nitb() provide a resource by automatically picking its |
| 472 | dependencies from so far unused (but reserved) resource. |
| 473 | ''' |
| 474 | |
| 475 | def __init__(self, resources_pool, origin, reserved): |
| 476 | self.resources_pool = resources_pool |
| 477 | self.origin = origin |
| 478 | self.reserved = reserved |
| 479 | |
| 480 | def __repr__(self): |
| 481 | return 'resources(%s)=%s' % (self.origin.name(), pprint.pformat(self.reserved)) |
| 482 | |
| 483 | def get(self, kind, specifics=None): |
| 484 | if specifics is None: |
| 485 | specifics = {} |
| 486 | self.dbg('requesting use of', kind, specifics=specifics) |
| 487 | want = { kind: [specifics] } |
Neels Hofmeyr | cccbe59 | 2017-05-07 01:16:07 +0200 | [diff] [blame] | 488 | available_dict = self.reserved.find(self.origin, want, skip_if_marked=USED_KEY, |
| 489 | do_copy=False, raise_if_missing=False, |
| 490 | log_label='Using') |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 491 | available = available_dict.get(kind) |
| 492 | self.dbg(available=len(available)) |
| 493 | if not available: |
Neels Hofmeyr | f9e8693 | 2017-06-06 19:47:40 +0200 | [diff] [blame] | 494 | # cook up a detailed error message for the current situation |
| 495 | kind_reserved = self.reserved.get(kind, []) |
| 496 | used_count = len([r for r in kind_reserved if USED_KEY in r]) |
| 497 | matching = self.reserved.find(self.origin, want, raise_if_missing=False, log_label=None).get(kind, []) |
| 498 | if not matching: |
| 499 | msg = 'none of the reserved resources matches requirements %r' % specifics |
| 500 | elif not (used_count < len(kind_reserved)): |
| 501 | msg = 'suite.conf reserved only %d x %r.' % (len(kind_reserved), kind) |
| 502 | else: |
| 503 | msg = ('No unused resource left that matches the requirements;' |
| 504 | ' Of reserved %d x %r, %d match the requirements, but all are already in use;' |
| 505 | ' Requirements: %r' |
| 506 | % (len(kind_reserved), kind, len(matching), specifics)) |
| 507 | raise NoResourceExn('When trying to use instance nr %d of %r: %s' % (used_count + 1, kind, msg)) |
| 508 | |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 509 | pick = available[0] |
| 510 | self.dbg(using=pick) |
| 511 | assert not pick.get(USED_KEY) |
| 512 | pick[USED_KEY] = True |
| 513 | return copy.deepcopy(pick) |
| 514 | |
| 515 | def put(self, item): |
| 516 | if not item.get(USED_KEY): |
| 517 | raise RuntimeError('Can only put() a resource that is used: %r' % item) |
| 518 | hash_to_put = item.get(HASH_KEY) |
| 519 | if not hash_to_put: |
| 520 | raise RuntimeError('Can only put() a resource that has a hash marker: %r' % item) |
| 521 | for key, item_list in self.reserved.items(): |
| 522 | my_list = self.get(key) |
| 523 | for my_item in my_list: |
| 524 | if hash_to_put == my_item.get(HASH_KEY): |
| 525 | my_item.pop(USED_KEY) |
| 526 | |
| 527 | def put_all(self): |
Pau Espin Pedrol | 1dd2955 | 2017-06-13 18:07:57 +0200 | [diff] [blame] | 528 | if not self.reserved: |
| 529 | return |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 530 | for key, item_list in self.reserved.items(): |
Pau Espin Pedrol | 1dd2955 | 2017-06-13 18:07:57 +0200 | [diff] [blame] | 531 | for item in item_list: |
| 532 | item.pop(USED_KEY, None) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 533 | |
| 534 | def free(self): |
Neels Hofmeyr | ed4e528 | 2017-05-29 02:53:54 +0200 | [diff] [blame] | 535 | if self.reserved: |
| 536 | self.resources_pool.free(self.origin, self.reserved) |
Neels Hofmeyr | 3531a19 | 2017-03-28 14:30:28 +0200 | [diff] [blame] | 537 | self.reserved = None |
| 538 | |
Neels Hofmeyr | 2d1d561 | 2017-05-22 20:02:41 +0200 | [diff] [blame] | 539 | def counts(self): |
| 540 | counts = {} |
| 541 | for key in self.reserved.keys(): |
| 542 | counts[key] = self.count(key) |
| 543 | return counts |
| 544 | |
| 545 | def count(self, key): |
| 546 | return len(self.reserved.get(key) or []) |
Neels Hofmeyr | dae3d3c | 2017-03-28 12:16:58 +0200 | [diff] [blame] | 547 | |
| 548 | # vim: expandtab tabstop=4 shiftwidth=4 |