[lkml]   [2013]   [Aug]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
Subject[PATCH v2 00/20] mm, hugetlb: remove a hugetlb_instantiation_mutex
Without a hugetlb_instantiation_mutex, if parallel fault occur, we can
fail to allocate a hugepage, because many threads dequeue a hugepage
to handle a fault of same address. This makes reserved pool shortage
just for a little while and this cause faulting thread to get a SIGBUS
signal, although there are enough hugepages.

To solve this problem, we already have a nice solution, that is,
a hugetlb_instantiation_mutex. This blocks other threads to dive into
a fault handler. This solve the problem clearly, but it introduce
performance degradation, because it serialize all fault handling.

Now, I try to remove a hugetlb_instantiation_mutex to get rid of
performance problem reported by Davidlohr Bueso [1].

This patchset consist of 4 parts roughly.

Part 1. (1-6) Random fix and clean-up. Enhancing error handling.

These can be merged into mainline separately.

Part 2. (7-9) Protect region tracking via it's own spinlock, instead of
the hugetlb_instantiation_mutex.

Breaking dependency on the hugetlb_instantiation_mutex for
tracking a region is also needed by other approaches like as
'table mutexes', so these can be merged into mainline separately.

Part 3. (10-13) Clean-up.

IMO, these make code really simple, so these are worth to go into
mainline separately, regardless success of my approach.

Part 4. (14-20) Remove a hugetlb_instantiation_mutex.

Almost patches are just for clean-up to error handling path.
In patch 19, retry approach is implemented that if faulted thread
failed to allocate a hugepage, it continue to run a fault handler
until there is no concurrent thread having a hugepage. This causes
threads who want to get a last hugepage to be serialized, so
threads don't get a SIGBUS if enough hugepage exist.
In patch 20, remove a hugetlb_instantiation_mutex.

These patches are based on my previous patchset [2] which is now on mmotm.
In my compile testing, [2] and this patchset can be applied to
v3.11-rc4 cleanly, but, I do running test of this patchset on top of v3.10 :)

With applying these, I passed a libhugetlbfs test suite clearly which
have allocation-instantiation race test cases.

If there is a something I should consider, please let me know!

* Changes in v2
- Re-order patches to clear it's relationship
- sleepable object allocation(kmalloc) without holding a spinlock
(Pointed by Hillf)
- Remove vma_has_reserves, instead of vma_needs_reservation.
(Suggest by Aneesh and Naoya)
- Change a way of returning a hugepage back to reserved pool
(Suggedt by Naoya)

"[PATCH] mm/hugetlb: per-vma instantiation mutexes"
"[PATCH v2 00/10] mm, hugetlb: clean-up and possible bug fix"

Joonsoo Kim (20):
mm, hugetlb: protect reserved pages when soft offlining a hugepage
mm, hugetlb: change variable name reservations to resv
mm, hugetlb: fix subpool accounting handling
mm, hugetlb: remove useless check about mapping type
mm, hugetlb: grab a page_table_lock after page_cache_release
mm, hugetlb: return a reserved page to a reserved pool if failed
mm, hugetlb: unify region structure handling
mm, hugetlb: region manipulation functions take resv_map rather
mm, hugetlb: protect region tracking via newly introduced resv_map
mm, hugetlb: remove resv_map_put()
mm, hugetlb: make vma_resv_map() works for all mapping type
mm, hugetlb: remove vma_has_reserves()
mm, hugetlb: mm, hugetlb: unify chg and avoid_reserve to use_reserve
mm, hugetlb: call vma_needs_reservation before entering
mm, hugetlb: remove a check for return value of alloc_huge_page()
mm, hugetlb: move down outside_reserve check
mm, hugetlb: move up anon_vma_prepare()
mm, hugetlb: clean-up error handling in hugetlb_cow()
mm, hugetlb: retry if failed to allocate and there is concurrent user
mm, hugetlb: remove a hugetlb_instantiation_mutex

fs/hugetlbfs/inode.c | 16 +-
include/linux/hugetlb.h | 11 ++
mm/hugetlb.c | 419 +++++++++++++++++++++++++----------------------
3 files changed, 250 insertions(+), 196 deletions(-)


 \ /
  Last update: 2013-08-09 12:01    [W:0.430 / U:0.908 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site