Hi SeongJae,
On Wed, 17 Jan 2024 SeongJae Park <sj@xxxxxxxxxx> wrote:
[...]
>> Let's say there are 3 nodes in the system and the first node0 and node1
>> are the first tier, and node2 is the second tier.
>>
>> $ cat /sys/devices/virtual/memory_tiering/memory_tier4/nodelist
>> 0-1
>>
>> $ cat /sys/devices/virtual/memory_tiering/memory_tier22/nodelist
>> 2
>>
>> Here is the result of partitioning hot/cold memory and I put execution
>> command at the right side of numastat result. I initially ran each
>> hot_cold program with preferred setting so that they initially allocate
>> memory on one of node0 or node2, but they gradually migrated based on
>> their access frequencies.
>>
>> $ numastat -c -p hot_cold
>> Per-node process memory usage (in MBs)
>> PID Node 0 Node 1 Node 2 Total
>> --------------- ------ ------ ------ -----
>> 754 (hot_cold) 1800 0 2000 3800 <- hot_cold 1800 2000
>> 1184 (hot_cold) 300 0 500 800 <- hot_cold 300 500
>> 1818 (hot_cold) 801 0 3199 4000 <- hot_cold 800 3200
>> 30289 (hot_cold) 4 0 5 10 <- hot_cold 3 5
>> 30325 (hot_cold) 31 0 51 81 <- hot_cold 30 50
>> --------------- ------ ------ ------ -----
>> Total 2938 0 5756 8695
>>
>> The final node placement result shows that DAMON accurately migrated
>> pages by their hotness for multiple processes.
>
> What was the result when the corner cases handling logics were not applied?
This is the result of the same test that Honggyu did, but with an insufficient
corner cases handling logics.
$ numastat -c -p hot_cold
Per-node process memory usage (in MBs)
PID Node 0 Node 1 Node 2 Total
-------------- ------ ------ ------ -----
862 (hot_cold) 2256 0 1545 3801 <- hot_cold 1800 2000
863 (hot_cold) 403 0 398 801 <- hot_cold 300 500
864 (hot_cold) 1520 0 2482 4001 <- hot_cold 800 3200
865 (hot_cold) 6 0 3 9 <- hot_cold 3 5
866 (hot_cold) 29 0 52 81 <- hot_cold 30 50
-------------- ------ ------ ------ -----
Total 4215 0 4480 8695
As time goes by, DAMON keeps trying to split the hot/cold region, but it does
not seem to be enough.
$ numastat -c -p hot_cold
Per-node process memory usage (in MBs)
PID Node 0 Node 1 Node 2 Total
-------------- ------ ------ ------ -----
862 (hot_cold) 2022 0 1780 3801 <- hot_cold 1800 2000
863 (hot_cold) 351 0 450 801 <- hot_cold 300 500
864 (hot_cold) 1134 0 2868 4001 <- hot_cold 800 3200
865 (hot_cold) 7 0 2 9 <- hot_cold 3 5
866 (hot_cold) 43 0 39 81 <- hot_cold 30 50
-------------- ------ ------ ------ -----
Total 3557 0 5138 8695
>
> And, what are the corner cases handling logic that seemed essential? I show
> the page granularity active/reference check could indeed provide many
> improvements, but that's only my humble assumption.
Yes, the page granularity active/reference check is essential. To make the
above "insufficient" result, the only thing I did was to promote
inactive/not_referenced pages.
diff --git a/mm/vmscan.c b/mm/vmscan.c
index f03be320f9ad..c2aefb883c54 100644
--- a/mm/vmscan.c
+++ b/mm/vmscan.c
@@ -1127,9 +1127,7 @@ static unsigned int __promote_folio_list(struct list_head *folio_list,
VM_BUG_ON_FOLIO(folio_test_active(folio), folio);
references = folio_check_references(folio, sc);
- if (references == FOLIOREF_KEEP ||
- references == FOLIOREF_RECLAIM ||
- references == FOLIOREF_RECLAIM_CLEAN)
+ if (references == FOLIOREF_KEEP )
goto keep_locked;
/* Relocate its contents to another node. */
>
> If the corner cases are indeed better to be applied in page granularity, I
> agree we need some more efforts since DAMON monitoring results are not page
> granularity aware by the design. Users could increase min_nr_regions to make
> it more accurate, and we have plan to support page granularity monitoring,
> though. But maybe the overhead could be unacceptable.
>
> Ideal solution would be making DAMON more accurate while keeping current level
> of overhead. We indeed have TODO items for DAMON accuracy improvement, but
> this may take some time that might unacceptable for your case.
>
> If that's the case, I think the additional corner handling (or, page gran
> additional access check) could be made as DAMOS filters[1], since DAMOS filters
> can be applied in page granularity, and designed for this kind of handling of
> information that DAMON monitoring results cannot provide. More specifically,
> we could have filters for promotion-qualifying pages and demotion-qualifying
> pages. In this way, I think we can keep the action more flexible while the
> filters can be applied in creative ways.
Making corner handling as a new DAMOS filters is a good idea. I'm just a bit
concerned if adding new filters might cause users to care more.
Kind regards,
Hyeongtak
