On Feb 16, 2021, at 8:24 PM, David Rientjes [off-list ref] wrote:
Hi everybody,
Khugepaged is slow by default, it scans at most 4096 pages every 10s.
That's normally fine as a system-wide setting, but some applications would
benefit from a more aggressive approach (as long as they are willing to
pay for it).
Instead of adding priorities for eligible ranges of memory to khugepaged,
temporarily speeding khugepaged up for the whole system, or sharding its
work for memory belonging to a certain process, one approach would be to
allow userspace to induce hugepage collapse.
The benefit to this approach would be that this is done in process context
so its cpu is charged to the process that is inducing the collapse.
Khugepaged is not involved.
Idea was to allow userspace to induce hugepage collapse through the new
process_madvise() call. This allows us to collapse hugepages on behalf of
current or another process for a vectored set of ranges.
This could be done through a new process_madvise() mode *or* it could be a
flag to MADV_HUGEPAGE since process_madvise() allows for a flag parameter
to be passed. For example, MADV_F_SYNC.
When done, this madvise call would allocate a hugepage on the right node
and attempt to do the collapse in process context just as khugepaged would
otherwise do.
This is very interesting idea. One question, IIUC, the user process will
block until all small pages in given ranges are collapsed into THPs. What
would happen if the memory is so fragmented that we cannot allocate that
many huge pages? Do we need some fail over mechanisms?
This would immediately be useful for a malloc implementation, for example,
that has released its memory back to the system using MADV_DONTNEED and
will subsequently refault the memory. Rather than wait for khugepaged to
come along 30m later, for example, and collapse this memory into a
hugepage (which could take a much longer time on a very large system), an
alternative would be to use this process_madvise() mode to induce the
action up front. In other words, say "I'm returning this memory to the
application and it's going to be hot, so back it by a hugepage now rather
than waiting until later."
It would also be useful for read-only file-backed mappings for text
segments. Khugepaged should be happy, it's just less work done by generic
kthreads that gets charged as an overall tax to everybody.
Mixing sync-THP with async-THP (khugepaged) could be useful when there are
different priorities of THPs. In one of the use cases, we use THP for both
text and data. The ratio may look like 5x THPs for text, and 2000x THPs for
data. If the system has fewer than 2005 THPs, we wouldn't wait, but we would
prioritize THPs for text. With this new mechanism, we can use sync-THP for
the text, and async-THP for the data.
Thanks,
Song
On Thu 18-02-21 08:11:13, Song Liu wrote:
quoted
On Feb 16, 2021, at 8:24 PM, David Rientjes [off-list ref] wrote:
Hi everybody,
Khugepaged is slow by default, it scans at most 4096 pages every 10s.
That's normally fine as a system-wide setting, but some applications would
benefit from a more aggressive approach (as long as they are willing to
pay for it).
Instead of adding priorities for eligible ranges of memory to khugepaged,
temporarily speeding khugepaged up for the whole system, or sharding its
work for memory belonging to a certain process, one approach would be to
allow userspace to induce hugepage collapse.
The benefit to this approach would be that this is done in process context
so its cpu is charged to the process that is inducing the collapse.
Khugepaged is not involved.
Idea was to allow userspace to induce hugepage collapse through the new
process_madvise() call. This allows us to collapse hugepages on behalf of
current or another process for a vectored set of ranges.
This could be done through a new process_madvise() mode *or* it could be a
flag to MADV_HUGEPAGE since process_madvise() allows for a flag parameter
to be passed. For example, MADV_F_SYNC.
When done, this madvise call would allocate a hugepage on the right node
and attempt to do the collapse in process context just as khugepaged would
otherwise do.
This is very interesting idea. One question, IIUC, the user process will
block until all small pages in given ranges are collapsed into THPs.
Do you mean that PF would be blocked due to exclusive mmap_sem? Or is
there anything else oyu have in mind?
What
would happen if the memory is so fragmented that we cannot allocate that
many huge pages? Do we need some fail over mechanisms?
IIRC khugepaged preallocates pages without holding any locks and I would
expect the same will be done for madvise as well.
--
Michal Hocko
SUSE Labs
On Feb 18, 2021, at 12:39 AM, Michal Hocko [off-list ref] wrote:
On Thu 18-02-21 08:11:13, Song Liu wrote:
quoted
quoted
On Feb 16, 2021, at 8:24 PM, David Rientjes [off-list ref] wrote:
Hi everybody,
Khugepaged is slow by default, it scans at most 4096 pages every 10s.
That's normally fine as a system-wide setting, but some applications would
benefit from a more aggressive approach (as long as they are willing to
pay for it).
Instead of adding priorities for eligible ranges of memory to khugepaged,
temporarily speeding khugepaged up for the whole system, or sharding its
work for memory belonging to a certain process, one approach would be to
allow userspace to induce hugepage collapse.
The benefit to this approach would be that this is done in process context
so its cpu is charged to the process that is inducing the collapse.
Khugepaged is not involved.
Idea was to allow userspace to induce hugepage collapse through the new
process_madvise() call. This allows us to collapse hugepages on behalf of
current or another process for a vectored set of ranges.
This could be done through a new process_madvise() mode *or* it could be a
flag to MADV_HUGEPAGE since process_madvise() allows for a flag parameter
to be passed. For example, MADV_F_SYNC.
When done, this madvise call would allocate a hugepage on the right node
and attempt to do the collapse in process context just as khugepaged would
otherwise do.
This is very interesting idea. One question, IIUC, the user process will
block until all small pages in given ranges are collapsed into THPs.
Do you mean that PF would be blocked due to exclusive mmap_sem? Or is
there anything else oyu have in mind?
I was thinking about memory defragmentation when the application asks for
many THPs. Say the application looks like
main()
{
malloc();
madvise(HUGE);
process_madvise();
/* start doing work */
}
IIUC, when process_madvise() finishes, the THPs should be ready. However,
if defragmentation takes a long time, the process will wait in process_madvise().
Thanks,
Song
quoted
What
would happen if the memory is so fragmented that we cannot allocate that
many huge pages? Do we need some fail over mechanisms?
IIRC khugepaged preallocates pages without holding any locks and I would
expect the same will be done for madvise as well.
--
Michal Hocko
SUSE Labs
On Thu 18-02-21 09:53:25, Song Liu wrote:
quoted
On Feb 18, 2021, at 12:39 AM, Michal Hocko [off-list ref] wrote:
On Thu 18-02-21 08:11:13, Song Liu wrote:
quoted
quoted
On Feb 16, 2021, at 8:24 PM, David Rientjes [off-list ref] wrote:
Hi everybody,
Khugepaged is slow by default, it scans at most 4096 pages every 10s.
That's normally fine as a system-wide setting, but some applications would
benefit from a more aggressive approach (as long as they are willing to
pay for it).
Instead of adding priorities for eligible ranges of memory to khugepaged,
temporarily speeding khugepaged up for the whole system, or sharding its
work for memory belonging to a certain process, one approach would be to
allow userspace to induce hugepage collapse.
The benefit to this approach would be that this is done in process context
so its cpu is charged to the process that is inducing the collapse.
Khugepaged is not involved.
Idea was to allow userspace to induce hugepage collapse through the new
process_madvise() call. This allows us to collapse hugepages on behalf of
current or another process for a vectored set of ranges.
This could be done through a new process_madvise() mode *or* it could be a
flag to MADV_HUGEPAGE since process_madvise() allows for a flag parameter
to be passed. For example, MADV_F_SYNC.
When done, this madvise call would allocate a hugepage on the right node
and attempt to do the collapse in process context just as khugepaged would
otherwise do.
This is very interesting idea. One question, IIUC, the user process will
block until all small pages in given ranges are collapsed into THPs.
Do you mean that PF would be blocked due to exclusive mmap_sem? Or is
there anything else oyu have in mind?
I was thinking about memory defragmentation when the application asks for
many THPs. Say the application looks like
main()
{
malloc();
madvise(HUGE);
process_madvise();
/* start doing work */
}
IIUC, when process_madvise() finishes, the THPs should be ready. However,
if defragmentation takes a long time, the process will wait in process_madvise().
OK, I see. The operation is definitely free which is to be expected. You
can do the same from a thread which can spend time collapsing THPs.
There are still internal resources that might block others - e.g. the
above mentioned mmap_sem. We can try hard to reduce the lock time but
this is unlikely to be completely free of any interruption of the
workload.
--
Michal Hocko
SUSE Labs