Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Jann, Micha, On 04/16/2018 11:11 PM, Michal Hocko wrote: > On Mon 16-04-18 22:17:40, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: >>> On Mon 16-04-18 21:30:09, Jann Horn wrote: On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Jann, Micha, On 04/16/2018 11:11 PM, Michal Hocko wrote: > On Mon 16-04-18 22:17:40, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: >>> On Mon 16-04-18 21:30:09, Jann Horn wrote: On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: >>> [...] > Yes, reasonably

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 23:12:48, Jann Horn wrote: > On Mon, Apr 16, 2018 at 11:11 PM, Michal Hocko wrote: > > On Mon 16-04-18 22:17:40, Jann Horn wrote: > >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > >> > On Mon 16-04-18 21:30:09, Jann Horn wrote: > >>

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 23:12:48, Jann Horn wrote: > On Mon, Apr 16, 2018 at 11:11 PM, Michal Hocko wrote: > > On Mon 16-04-18 22:17:40, Jann Horn wrote: > >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > >> > On Mon 16-04-18 21:30:09, Jann Horn wrote: > >> >> On Mon, Apr 16, 2018 at 9:18 PM,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 11:11 PM, Michal Hocko wrote: > On Mon 16-04-18 22:17:40, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: >> > On Mon 16-04-18 21:30:09, Jann Horn wrote: >> >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 11:11 PM, Michal Hocko wrote: > On Mon 16-04-18 22:17:40, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: >> > On Mon 16-04-18 21:30:09, Jann Horn wrote: >> >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: >> > [...] >> >> > Yes,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 22:17:40, Jann Horn wrote: > On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > > On Mon 16-04-18 21:30:09, Jann Horn wrote: > >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > > [...] > >> > Yes, reasonably well written

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 22:17:40, Jann Horn wrote: > On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > > On Mon 16-04-18 21:30:09, Jann Horn wrote: > >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > > [...] > >> > Yes, reasonably well written application will not have this problem. > >> >

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > On Mon 16-04-18 21:30:09, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > [...] >> > Yes, reasonably well written application will not have this problem. >> > That, however,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 9:57 PM, Michal Hocko wrote: > On Mon 16-04-18 21:30:09, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > [...] >> > Yes, reasonably well written application will not have this problem. >> > That, however, requires an external synchronization and

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 21:30:09, Jann Horn wrote: > On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: [...] > > Yes, reasonably well written application will not have this problem. > > That, however, requires an external synchronization and that's why > > called it error prone and

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 21:30:09, Jann Horn wrote: > On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: [...] > > Yes, reasonably well written application will not have this problem. > > That, however, requires an external synchronization and that's why > > called it error prone and racy. I guess that

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > On Mon 16-04-18 15:55:36, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: >> > On Fri 13-04-18 18:17:36, Jann Horn wrote: >> >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 9:18 PM, Michal Hocko wrote: > On Mon 16-04-18 15:55:36, Jann Horn wrote: >> On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: >> > On Fri 13-04-18 18:17:36, Jann Horn wrote: >> >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: >> >> > On Fri, Apr 13, 2018 at 6:04

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 15:55:36, Jann Horn wrote: > On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: > > On Fri 13-04-18 18:17:36, Jann Horn wrote: > >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > >> > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon 16-04-18 15:55:36, Jann Horn wrote: > On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: > > On Fri 13-04-18 18:17:36, Jann Horn wrote: > >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > >> > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: > >> >> On Fri 13-04-18 17:04:09,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: > On Fri 13-04-18 18:17:36, Jann Horn wrote: >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: >> > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: >> >> On Fri 13-04-18

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Mon, Apr 16, 2018 at 12:07 PM, Michal Hocko wrote: > On Fri 13-04-18 18:17:36, Jann Horn wrote: >> On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: >> > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: >> >> On Fri 13-04-18 17:04:09, Jann Horn wrote: >> >>> On Fri, Apr 13, 2018 at 8:49

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 18:17:36, Jann Horn wrote: > On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: > >> On Fri 13-04-18 17:04:09, Jann Horn wrote: > >>> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 18:17:36, Jann Horn wrote: > On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: > >> On Fri 13-04-18 17:04:09, Jann Horn wrote: > >>> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: > >>> > On Fri 13-04-18 08:43:27,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: >> On Fri 13-04-18 17:04:09, Jann Horn wrote: >>> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: >>> > On Fri 13-04-18 08:43:27,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 6:05 PM, Jann Horn wrote: > On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: >> On Fri 13-04-18 17:04:09, Jann Horn wrote: >>> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: >>> > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: >>> > [...] >>> >> So, you mean

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: > On Fri 13-04-18 17:04:09, Jann Horn wrote: >> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: >> > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: >> > [...] >> >> So, you mean remove this entire

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 6:04 PM, Michal Hocko wrote: > On Fri 13-04-18 17:04:09, Jann Horn wrote: >> On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: >> > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: >> > [...] >> >> So, you mean remove this entire paragraph: >> >> >> >>

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 17:04:09, Jann Horn wrote: > On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: > > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: > > [...] > >> So, you mean remove this entire paragraph: > >> > >> For cases in which the specified memory

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 17:04:09, Jann Horn wrote: > On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: > > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: > > [...] > >> So, you mean remove this entire paragraph: > >> > >> For cases in which the specified memory region has not been > >>

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: > [...] >> So, you mean remove this entire paragraph: >> >> For cases in which the specified memory region has not been >> reserved using an

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri, Apr 13, 2018 at 8:49 AM, Michal Hocko wrote: > On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: > [...] >> So, you mean remove this entire paragraph: >> >> For cases in which the specified memory region has not been >> reserved using an existing mapping, newer

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: [...] > So, you mean remove this entire paragraph: > > For cases in which the specified memory region has not been > reserved using an existing mapping, newer kernels (Linux > 4.17 and later) provide an

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Fri 13-04-18 08:43:27, Michael Kerrisk wrote: [...] > So, you mean remove this entire paragraph: > > For cases in which the specified memory region has not been > reserved using an existing mapping, newer kernels (Linux > 4.17 and later) provide an

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 09:24 PM, John Hubbard wrote: > On 04/12/2018 12:18 PM, Jann Horn wrote: >> On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: >>> On 04/12/2018 11:49 AM, Jann Horn wrote: On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages)

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 09:24 PM, John Hubbard wrote: > On 04/12/2018 12:18 PM, Jann Horn wrote: >> On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: >>> On 04/12/2018 11:49 AM, Jann Horn wrote: On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) wrote: > Hi John, > > On

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 12:18 PM, Jann Horn wrote: > On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: >> On 04/12/2018 11:49 AM, Jann Horn wrote: >>> On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) >>> wrote: Hi John, On 12 April

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 12:18 PM, Jann Horn wrote: > On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: >> On 04/12/2018 11:49 AM, Jann Horn wrote: >>> On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) >>> wrote: Hi John, On 12 April 2018 at 20:33, John Hubbard wrote: > On

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: > On 04/12/2018 11:49 AM, Jann Horn wrote: >> On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) >> wrote: >>> Hi John, >>> >>> On 12 April 2018 at 20:33, John Hubbard

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Thu, Apr 12, 2018 at 8:59 PM, John Hubbard wrote: > On 04/12/2018 11:49 AM, Jann Horn wrote: >> On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) >> wrote: >>> Hi John, >>> >>> On 12 April 2018 at 20:33, John Hubbard wrote: On 04/12/2018 08:39 AM, Jann Horn wrote: >

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 11:49 AM, Jann Horn wrote: > On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) > wrote: >> Hi John, >> >> On 12 April 2018 at 20:33, John Hubbard wrote: >>> On 04/12/2018 08:39 AM, Jann Horn wrote: Clarify that MAP_FIXED

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 11:49 AM, Jann Horn wrote: > On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) > wrote: >> Hi John, >> >> On 12 April 2018 at 20:33, John Hubbard wrote: >>> On 04/12/2018 08:39 AM, Jann Horn wrote: Clarify that MAP_FIXED is appropriate if the specified address range

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) wrote: > Hi John, > > On 12 April 2018 at 20:33, John Hubbard wrote: >> On 04/12/2018 08:39 AM, Jann Horn wrote: >>> Clarify that MAP_FIXED is appropriate if the specified address range has

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On Thu, Apr 12, 2018 at 8:37 PM, Michael Kerrisk (man-pages) wrote: > Hi John, > > On 12 April 2018 at 20:33, John Hubbard wrote: >> On 04/12/2018 08:39 AM, Jann Horn wrote: >>> Clarify that MAP_FIXED is appropriate if the specified address range has >>> been reserved using an existing mapping,

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Hi John, On 12 April 2018 at 20:33, John Hubbard wrote: > On 04/12/2018 08:39 AM, Jann Horn wrote: >> Clarify that MAP_FIXED is appropriate if the specified address range has >> been reserved using an existing mapping, but shouldn't be used otherwise. >> >> Signed-off-by:

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Hi John, On 12 April 2018 at 20:33, John Hubbard wrote: > On 04/12/2018 08:39 AM, Jann Horn wrote: >> Clarify that MAP_FIXED is appropriate if the specified address range has >> been reserved using an existing mapping, but shouldn't be used otherwise. >> >> Signed-off-by: Jann Horn >> --- >>

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 08:39 AM, Jann Horn wrote: > Clarify that MAP_FIXED is appropriate if the specified address range has > been reserved using an existing mapping, but shouldn't be used otherwise. > > Signed-off-by: Jann Horn > --- > man2/mmap.2 | 19 +++ > 1 file

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

On 04/12/2018 08:39 AM, Jann Horn wrote: > Clarify that MAP_FIXED is appropriate if the specified address range has > been reserved using an existing mapping, but shouldn't be used otherwise. > > Signed-off-by: Jann Horn > --- > man2/mmap.2 | 19 +++ > 1 file changed, 11

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Hello Jann, On 04/12/2018 05:39 PM, Jann Horn wrote: > Clarify that MAP_FIXED is appropriate if the specified address range has > been reserved using an existing mapping, but shouldn't be used otherwise. > > Signed-off-by: Jann Horn > --- > man2/mmap.2 | 19

Re: [PATCH] mmap.2: MAP_FIXED is okay if the address range has been reserved

Hello Jann, On 04/12/2018 05:39 PM, Jann Horn wrote: > Clarify that MAP_FIXED is appropriate if the specified address range has > been reserved using an existing mapping, but shouldn't be used otherwise. > > Signed-off-by: Jann Horn > --- > man2/mmap.2 | 19 +++ > 1 file