diff options
| author | SeongJae Park <sj38.park@gmail.com> | 2024-03-03 11:01:13 -0800 |
|---|---|---|
| committer | SeongJae Park <sj38.park@gmail.com> | 2024-03-03 11:11:05 -0800 |
| commit | ee8ee95af1b79b6b766fd4660e98d7140ee81078 (patch) | |
| tree | a68b8dcd2ecb656e30ac34b8ed4780c943456349 | |
| parent | ce2e181fc7cffc0850920583cb563fba2f18b40a (diff) | |
| download | damo-ee8ee95af1b79b6b766fd4660e98d7140ee81078.tar.gz | |
_damon_records: Add snapshot size filter
Signed-off-by: SeongJae Park <sj38.park@gmail.com>
| -rw-r--r-- | _damon_records.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/_damon_records.py b/_damon_records.py index d47e0aaa..758257c5 100644 --- a/_damon_records.py +++ b/_damon_records.py @@ -855,10 +855,12 @@ def get_snapshot_records_of(request): class RecordFilter: access_pattern = None address_ranges = None + snapshot_sz_ranges = None - def __init__(self, access_pattern, address_ranges): + def __init__(self, access_pattern, address_ranges, snapshot_sz_ranges): self.access_pattern = access_pattern self.address_ranges = address_ranges + self.snapshot_sz_ranges = snapshot_sz_ranges class RecordGetRequest: # TODO: Extend to be used for recording @@ -942,7 +944,7 @@ def args_to_filter(args): args.address) if err != None: return None, 'wrong --address input (%s)' % err - return RecordFilter(access_pattern, addr_range), None + return RecordFilter(access_pattern, addr_range, None), None def set_filter_argparser(parser): parser.add_argument('--sz_region', metavar=('<min>', '<max>'), nargs=2, |