From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.1 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 1D50FC433DF for ; Fri, 15 May 2020 22:15:44 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id B9B9520709 for ; Fri, 15 May 2020 22:15:43 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=oracle.com header.i=@oracle.com header.b="wgYl/oLl" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org B9B9520709 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=oracle.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 4E5468E0003; Fri, 15 May 2020 18:15:43 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 495788E0001; Fri, 15 May 2020 18:15:43 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 35DCD8E0003; Fri, 15 May 2020 18:15:43 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0194.hostedemail.com [216.40.44.194]) by kanga.kvack.org (Postfix) with ESMTP id 1E0048E0001 for ; Fri, 15 May 2020 18:15:43 -0400 (EDT) Received: from smtpin16.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay05.hostedemail.com (Postfix) with ESMTP id D6364181AEF00 for ; Fri, 15 May 2020 22:15:42 +0000 (UTC) X-FDA: 76820361324.16.rail36_892298c082c52 X-HE-Tag: rail36_892298c082c52 X-Filterd-Recvd-Size: 8554 Received: from aserp2120.oracle.com (aserp2120.oracle.com [141.146.126.78]) by imf35.hostedemail.com (Postfix) with ESMTP for ; Fri, 15 May 2020 22:15:42 +0000 (UTC) Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 04FMBnZM029431; Fri, 15 May 2020 22:15:40 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=subject : from : to : cc : references : message-id : date : mime-version : in-reply-to : content-type : content-transfer-encoding; s=corp-2020-01-29; bh=2kGRzsjaRGAXe1KvMIuG2Z2gwGj3Jnd8bvP3/TCsvXU=; b=wgYl/oLleBEBHiZhkcCodEzbVKC/Otg3zgV3+oHjt3VUQ+Q1u6k3vdeA3pg0yl9ZSKU8 GeZ0feNYYp6T01DDM7+NAHf6u8PjUbyoYUi2LL5pJsyzTKldX9EPRs+IX2I9VeHowq6k OCFWd0gT8FwS1JRn6IdNPrwSecJU8ChgN8qDcxC6Q28Y0S2VpwLMDUfzWOCn5MomRdBe rQrspoj3gK5H8ypDU4OsCvgg7kMrjxqzh6OLapzvOHAeJ6NUF/I2XTHKgqKrmIa41Rnc Pbw/4dd5N6RRo+n4dtsrdC/oARZoeBqljrnlUam9Jm3qtzOXPiyAMx638vDXCLdNW23/ Rg== Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by aserp2120.oracle.com with ESMTP id 3100xwx2vh-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Fri, 15 May 2020 22:15:40 +0000 Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 04FMCpqE165873; Fri, 15 May 2020 22:15:39 GMT Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by userp3020.oracle.com with ESMTP id 3100ysb9jq-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 15 May 2020 22:15:39 +0000 Received: from abhmp0007.oracle.com (abhmp0007.oracle.com [141.146.116.13]) by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id 04FMFaqC003865; Fri, 15 May 2020 22:15:37 GMT Received: from [192.168.2.157] (/50.38.34.50) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Fri, 15 May 2020 15:15:36 -0700 Subject: Re: kernel BUG at mm/hugetlb.c:LINE! From: Mike Kravetz To: Miklos Szeredi Cc: syzbot , Andrew Morton , linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, Miklos Szeredi , syzkaller-bugs , Al Viro References: <000000000000b4684e05a2968ca6@google.com> Message-ID: <86c504b3-52c9-55f6-13db-ab55b2f6980e@oracle.com> Date: Fri, 15 May 2020 15:15:35 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9622 signatures=668687 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 suspectscore=0 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2004280000 definitions=main-2005150186 X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9622 signatures=668687 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 lowpriorityscore=0 suspectscore=0 mlxlogscore=999 clxscore=1015 cotscore=-2147483648 mlxscore=0 phishscore=0 adultscore=0 impostorscore=0 bulkscore=0 malwarescore=0 priorityscore=1501 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2004280000 definitions=main-2005150186 Content-Transfer-Encoding: quoted-printable X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On 5/12/20 11:11 AM, Mike Kravetz wrote: > On 5/12/20 8:04 AM, Miklos Szeredi wrote: >> On Tue, Apr 7, 2020 at 12:06 AM Mike Kravetz = wrote: >>> On 4/5/20 8:06 PM, syzbot wrote: >>> >>> The routine is_file_hugepages() is just comparing the file ops to hue= gtlbfs: >>> >>> if (file->f_op =3D=3D &hugetlbfs_file_operations) >>> return true; >>> >>> Since the file is in an overlayfs, file->f_op =3D=3D ovl_file_operati= ons. >>> Therefore, length will not be rounded up to huge page size and we cre= ate a >>> mapping with incorrect size which leads to the BUG. >>> >>> Because of the code in mmap, the hugetlbfs mmap() routine assumes len= gth is >>> rounded to a huge page size. I can easily add a check to hugetlbfs m= map >>> to validate length and return -EINVAL. However, I think we really wa= nt to >>> do the 'round up' earlier in mmap. This is because the man page says= : >>> >>> Huge page (Huge TLB) mappings >>> For mappings that employ huge pages, the requirements for the = arguments >>> of mmap() and munmap() differ somewhat from the requirements= for map=E2=80=90 >>> pings that use the native system page size. >>> >>> For mmap(), offset must be a multiple of the underlying huge p= age size. >>> The system automatically aligns length to be a multiple of the= underly=E2=80=90 >>> ing huge page size. >>> >>> Since the location for the mapping is chosen BEFORE getting to the hu= getlbfs >>> mmap routine, we can not wait until then to round up the length. Is = there a >>> defined way to go from a struct file * to the underlying filesystem s= o we >>> can continue to do the 'round up' in early mmap code? >> >> That's easy enough: >> >> static inline struct file *real_file(struct file *file) >> { >> return file->f_op !=3D ovl_file_operations ? file : file->private_= data; >> } >> >> But adding more filesystem specific code to generic code does not >> sound like the cleanest way to solve this... >=20 > We can incorporate the above 'real_file' functionality in the filesyste= m > specific routine is_file_hugepages(), and I think that would address th= is > specific issue. I'll code that up. >=20 >>> One other thing I noticed with overlayfs is that it does not contain = a >>> specific get_unmapped_area file_operations routine. I would expect i= t to at >>> least check for and use the get_unmapped_area of the underlying files= ystem? >>> Can someone comment if this is by design? >> >> Not sure. What exactly is f_op->get_unmapped_area supposed to do? >> >=20 > IIUC, filesystems can define their own routines to get addresses for mm= ap > operations. Quite a few filesystems define get_unmapped_area. >=20 > The generic mmap code does the following, >=20 > get_area =3D current->mm->get_unmapped_area; > if (file) { > if (file->f_op->get_unmapped_area) > get_area =3D file->f_op->get_unmapped_area; > } else if (flags & MAP_SHARED) { > /* > * mmap_region() will call shmem_zero_setup() to create a file, > * so use shmem's get_unmapped_area in case it can be huge. > * do_mmap_pgoff() will clear pgoff, so match alignment. > */ > pgoff =3D 0; > get_area =3D shmem_get_unmapped_area; > } >=20 > addr =3D get_area(file, addr, len, pgoff, flags); >=20 > If the filesystem provides a get_unmapped_area, it will use it. I bele= ive > overlayfs prevents this from happening for the underlying filesystem. >=20 > Perhaps we do need to add something like a call 'real_file' to this gen= eric > code? I can't think of any other way to get to the underlying filesyst= em > get_unmapped_area here. I started going down the path of creating a get_unmapped_area f_op for overlayfs. That is pretty straight forward and works well. But that did not take care of the is_file_hugepages() routine. Recall that is_file_hugepages simply does if (file->f_op =3D=3D &hugetlbfs_file_opera= tions). I suppose I could add a specific overlayfs check like real_file here. Bu= t, that does not seem like a clean solution. I also discovered other routines doing comparisons like if (file->f_op =3D=3D ), they are: is_dma_buf_file() is_file_shm_hugepages() get_pipe_info() is_file_epoll() So, it seems that these routines are also impacted if operating on files in an overlayfs?=20 Any suggestions on how to move forward? It seems like there may be the need for a real_file() routine? I see a d_real dentry_op was added to deal with this issue for dentries. Might we need something similiar for files (f_real)? Looking for suggestions as I do not normally work with this code. --=20 Mike Kravetz