1#!/usr/bin/env python3 2# SPDX-License-Identifier: GPL-2.0 3 4import json 5import os 6import subprocess 7 8import _damon_sysfs 9 10def dump_damon_status_dict(pid): 11 try: 12 subprocess.check_output(['which', 'drgn'], stderr=subprocess.DEVNULL) 13 except: 14 return None, 'drgn not found' 15 file_dir = os.path.dirname(os.path.abspath(__file__)) 16 dump_script = os.path.join(file_dir, 'drgn_dump_damon_status.py') 17 rc = subprocess.call(['drgn', dump_script, pid, 'damon_dump_output'], 18 stderr=subprocess.DEVNULL) 19 if rc != 0: 20 return None, 'drgn fail' 21 try: 22 with open('damon_dump_output', 'r') as f: 23 return json.load(f), None 24 except Exception as e: 25 return None, 'json.load fail (%s)' % e 26 27def fail(expectation, status): 28 print('unexpected %s' % expectation) 29 print(json.dumps(status, indent=4)) 30 exit(1) 31 32def assert_true(condition, expectation, status): 33 if condition is not True: 34 fail(expectation, status) 35 36def assert_watermarks_committed(watermarks, dump): 37 wmark_metric_val = { 38 'none': 0, 39 'free_mem_rate': 1, 40 } 41 assert_true(dump['metric'] == wmark_metric_val[watermarks.metric], 42 'metric', dump) 43 assert_true(dump['interval'] == watermarks.interval, 'interval', dump) 44 assert_true(dump['high'] == watermarks.high, 'high', dump) 45 assert_true(dump['mid'] == watermarks.mid, 'mid', dump) 46 assert_true(dump['low'] == watermarks.low, 'low', dump) 47 48def assert_quota_goal_committed(qgoal, dump): 49 metric_val = { 50 'user_input': 0, 51 'some_mem_psi_us': 1, 52 'node_mem_used_bp': 2, 53 'node_mem_free_bp': 3, 54 } 55 assert_true(dump['metric'] == metric_val[qgoal.metric], 'metric', dump) 56 assert_true(dump['target_value'] == qgoal.target_value, 'target_value', 57 dump) 58 if qgoal.metric == 'user_input': 59 assert_true(dump['current_value'] == qgoal.current_value, 60 'current_value', dump) 61 assert_true(dump['nid'] == qgoal.nid, 'nid', dump) 62 63def assert_quota_committed(quota, dump): 64 assert_true(dump['reset_interval'] == quota.reset_interval_ms, 65 'reset_interval', dump) 66 assert_true(dump['ms'] == quota.ms, 'ms', dump) 67 assert_true(dump['sz'] == quota.sz, 'sz', dump) 68 for idx, qgoal in enumerate(quota.goals): 69 assert_quota_goal_committed(qgoal, dump['goals'][idx]) 70 tuner_val = { 71 'consist': 0, 72 'temporal': 1, 73 } 74 assert_true(dump['goal_tuner'] == tuner_val[quota.goal_tuner], 75 'goal_tuner', dump) 76 assert_true(dump['fail_charge_num'] == quota.fail_charge_num, 77 'fail_charge_num', dump) 78 assert_true(dump['fail_charge_denom'] == quota.fail_charge_denom, 79 'fail_charge_denom', dump) 80 assert_true(dump['weight_sz'] == quota.weight_sz_permil, 'weight_sz', dump) 81 assert_true(dump['weight_nr_accesses'] == quota.weight_nr_accesses_permil, 82 'weight_nr_accesses', dump) 83 assert_true( 84 dump['weight_age'] == quota.weight_age_permil, 'weight_age', dump) 85 86 87def assert_migrate_dests_committed(dests, dump): 88 assert_true(dump['nr_dests'] == len(dests.dests), 'nr_dests', dump) 89 for idx, dest in enumerate(dests.dests): 90 assert_true(dump['node_id_arr'][idx] == dest.id, 'node_id', dump) 91 assert_true(dump['weight_arr'][idx] == dest.weight, 'weight', dump) 92 93def assert_filter_committed(filter_, dump): 94 assert_true(filter_.type_ == dump['type'], 'type', dump) 95 assert_true(filter_.matching == dump['matching'], 'matching', dump) 96 assert_true(filter_.allow == dump['allow'], 'allow', dump) 97 # TODO: check memcg_path and memcg_id if type is memcg 98 if filter_.type_ == 'addr': 99 assert_true([filter_.addr_start, filter_.addr_end] == 100 dump['addr_range'], 'addr_range', dump) 101 elif filter_.type_ == 'target': 102 assert_true(filter_.target_idx == dump['target_idx'], 'target_idx', 103 dump) 104 elif filter_.type_ == 'hugepage_size': 105 assert_true([filter_.min_, filter_.max_] == dump['sz_range'], 106 'sz_range', dump) 107 108def assert_access_pattern_committed(pattern, dump): 109 assert_true(dump['min_sz_region'] == pattern.size[0], 'min_sz_region', 110 dump) 111 assert_true(dump['max_sz_region'] == pattern.size[1], 'max_sz_region', 112 dump) 113 assert_true(dump['min_nr_accesses'] == pattern.nr_accesses[0], 114 'min_nr_accesses', dump) 115 assert_true(dump['max_nr_accesses'] == pattern.nr_accesses[1], 116 'max_nr_accesses', dump) 117 assert_true(dump['min_age_region'] == pattern.age[0], 'min_age_region', 118 dump) 119 assert_true(dump['max_age_region'] == pattern.age[1], 'miaxage_region', 120 dump) 121 122def assert_scheme_committed(scheme, dump): 123 assert_access_pattern_committed(scheme.access_pattern, dump['pattern']) 124 action_val = { 125 'willneed': 0, 126 'cold': 1, 127 'pageout': 2, 128 'hugepage': 3, 129 'nohugeapge': 4, 130 'lru_prio': 5, 131 'lru_deprio': 6, 132 'migrate_hot': 7, 133 'migrate_cold': 8, 134 'stat': 9, 135 } 136 assert_true(dump['action'] == action_val[scheme.action], 'action', dump) 137 assert_true(dump['apply_interval_us'] == scheme. apply_interval_us, 138 'apply_interval_us', dump) 139 assert_true(dump['target_nid'] == scheme.target_nid, 'target_nid', dump) 140 assert_migrate_dests_committed(scheme.dests, dump['migrate_dests']) 141 assert_quota_committed(scheme.quota, dump['quota']) 142 assert_watermarks_committed(scheme.watermarks, dump['wmarks']) 143 # TODO: test filters directory 144 for idx, f in enumerate(scheme.core_filters.filters): 145 assert_filter_committed(f, dump['core_filters'][idx]) 146 for idx, f in enumerate(scheme.ops_filters.filters): 147 assert_filter_committed(f, dump['ops_filters'][idx]) 148 149def assert_schemes_committed(schemes, dump): 150 assert_true(len(schemes) == len(dump), 'len_schemes', dump) 151 for idx, scheme in enumerate(schemes): 152 assert_scheme_committed(scheme, dump[idx]) 153 154def assert_monitoring_attrs_committed(attrs, dump): 155 assert_true(dump['sample_interval'] == attrs.sample_us, 'sample_interval', 156 dump) 157 assert_true(dump['aggr_interval'] == attrs.aggr_us, 'aggr_interval', dump) 158 assert_true(dump['intervals_goal']['access_bp'] == 159 attrs.intervals_goal.access_bp, 'access_bp', 160 dump['intervals_goal']) 161 assert_true(dump['intervals_goal']['aggrs'] == attrs.intervals_goal.aggrs, 162 'aggrs', dump['intervals_goal']) 163 assert_true(dump['intervals_goal']['min_sample_us'] == 164 attrs.intervals_goal.min_sample_us, 'min_sample_us', 165 dump['intervals_goal']) 166 assert_true(dump['intervals_goal']['max_sample_us'] == 167 attrs.intervals_goal.max_sample_us, 'max_sample_us', 168 dump['intervals_goal']) 169 170 assert_true(dump['ops_update_interval'] == attrs.update_us, 171 'ops_update_interval', dump) 172 assert_true(dump['min_nr_regions'] == attrs.min_nr_regions, 173 'min_nr_regions', dump) 174 assert_true(dump['max_nr_regions'] == attrs.max_nr_regions, 175 'max_nr_regions', dump) 176 177def assert_monitoring_target_committed(target, dump): 178 # target.pid is the pid "number", while dump['pid'] is 'struct pid' 179 # pointer, and hence cannot be compared. 180 assert_true(dump['obsolete'] == target.obsolete, 'target obsolete', dump) 181 182def assert_monitoring_targets_committed(targets, dump): 183 assert_true(len(targets) == len(dump), 'len_targets', dump) 184 for idx, target in enumerate(targets): 185 assert_monitoring_target_committed(target, dump[idx]) 186 187def assert_ctx_committed(ctx, dump): 188 ops_val = { 189 'vaddr': 0, 190 'fvaddr': 1, 191 'paddr': 2, 192 } 193 assert_true(dump['ops']['id'] == ops_val[ctx.ops], 'ops_id', dump) 194 assert_monitoring_attrs_committed(ctx.monitoring_attrs, dump['attrs']) 195 assert_monitoring_targets_committed(ctx.targets, dump['adaptive_targets']) 196 assert_schemes_committed(ctx.schemes, dump['schemes']) 197 198def assert_ctxs_committed(kdamonds): 199 status, err = dump_damon_status_dict(kdamonds.kdamonds[0].pid) 200 if err is not None: 201 print(err) 202 kdamonds.stop() 203 exit(1) 204 205 ctxs = kdamonds.kdamonds[0].contexts 206 dump = status['contexts'] 207 assert_true(len(ctxs) == len(dump), 'ctxs length', dump) 208 for idx, ctx in enumerate(ctxs): 209 assert_ctx_committed(ctx, dump[idx]) 210 211def main(): 212 kdamonds = _damon_sysfs.Kdamonds( 213 [_damon_sysfs.Kdamond( 214 contexts=[_damon_sysfs.DamonCtx( 215 targets=[_damon_sysfs.DamonTarget(pid=-1)], 216 schemes=[_damon_sysfs.Damos()], 217 )])]) 218 err = kdamonds.start() 219 if err is not None: 220 print('kdamond start failed: %s' % err) 221 exit(1) 222 223 assert_ctxs_committed(kdamonds) 224 225 context = _damon_sysfs.DamonCtx( 226 monitoring_attrs=_damon_sysfs.DamonAttrs( 227 sample_us=100000, aggr_us=2000000, 228 intervals_goal=_damon_sysfs.IntervalsGoal( 229 access_bp=400, aggrs=3, min_sample_us=5000, 230 max_sample_us=10000000), 231 update_us=2000000), 232 schemes=[_damon_sysfs.Damos( 233 action='pageout', 234 access_pattern=_damon_sysfs.DamosAccessPattern( 235 size=[4096, 2**10], 236 nr_accesses=[3, 317], 237 age=[5,71]), 238 quota=_damon_sysfs.DamosQuota( 239 sz=100*1024*1024, ms=100, 240 goals=[_damon_sysfs.DamosQuotaGoal( 241 metric='node_mem_used_bp', 242 target_value=9950, 243 nid=1)], 244 goal_tuner='temporal', 245 reset_interval_ms=1500, 246 fail_charge_num=1, 247 fail_charge_denom=4096, 248 weight_sz_permil=20, 249 weight_nr_accesses_permil=200, 250 weight_age_permil=1000), 251 watermarks=_damon_sysfs.DamosWatermarks( 252 metric = 'free_mem_rate', interval = 500000, # 500 ms 253 high = 500, mid = 400, low = 50), 254 target_nid=1, 255 apply_interval_us=1000000, 256 dests=_damon_sysfs.DamosDests( 257 dests=[_damon_sysfs.DamosDest(id=1, weight=30), 258 _damon_sysfs.DamosDest(id=0, weight=70)]), 259 core_filters=[ 260 _damon_sysfs.DamosFilter(type_='addr', matching=True, 261 allow=False, addr_start=42, 262 addr_end=4242), 263 ], 264 ops_filters=[ 265 _damon_sysfs.DamosFilter(type_='anon', matching=True, 266 allow=True), 267 ], 268 )]) 269 context.idx = 0 270 context.kdamond = kdamonds.kdamonds[0] 271 kdamonds.kdamonds[0].contexts = [context] 272 kdamonds.kdamonds[0].commit() 273 274 assert_ctxs_committed(kdamonds) 275 276 # test online commitment of minimum context. 277 context = _damon_sysfs.DamonCtx() 278 context.idx = 0 279 context.kdamond = kdamonds.kdamonds[0] 280 kdamonds.kdamonds[0].contexts = [context] 281 kdamonds.kdamonds[0].commit() 282 283 assert_ctxs_committed(kdamonds) 284 285 kdamonds.stop() 286 287 # test obsolete_target. 288 proc1 = subprocess.Popen(['sh'], stdout=subprocess.PIPE, 289 stderr=subprocess.PIPE) 290 proc2 = subprocess.Popen(['sh'], stdout=subprocess.PIPE, 291 stderr=subprocess.PIPE) 292 proc3 = subprocess.Popen(['sh'], stdout=subprocess.PIPE, 293 stderr=subprocess.PIPE) 294 kdamonds = _damon_sysfs.Kdamonds( 295 [_damon_sysfs.Kdamond( 296 contexts=[_damon_sysfs.DamonCtx( 297 ops='vaddr', 298 targets=[ 299 _damon_sysfs.DamonTarget(pid=proc1.pid), 300 _damon_sysfs.DamonTarget(pid=proc2.pid), 301 _damon_sysfs.DamonTarget(pid=proc3.pid), 302 ], 303 schemes=[_damon_sysfs.Damos()], 304 )])]) 305 err = kdamonds.start() 306 if err is not None: 307 print('kdamond start failed: %s' % err) 308 exit(1) 309 kdamonds.kdamonds[0].contexts[0].targets[1].obsolete = True 310 kdamonds.kdamonds[0].commit() 311 del kdamonds.kdamonds[0].contexts[0].targets[1] 312 assert_ctxs_committed(kdamonds) 313 kdamonds.stop() 314 315if __name__ == '__main__': 316 main() 317