On 04/02/2014 01:13 PM, John Stultz wrote:
> On 04/02/2014 12:47 PM, Johannes Weiner wrote:
>
>> It's really nothing but a use-after-free bug that has consequences for
>> no-one but the faulty application. The thing that IS new is that even
>> a read is enough to corrupt your data in this case.
On 04/02/2014 01:13 PM, John Stultz wrote:
On 04/02/2014 12:47 PM, Johannes Weiner wrote:
It's really nothing but a use-after-free bug that has consequences for
no-one but the faulty application. The thing that IS new is that even
a read is enough to corrupt your data in this case.
On 04/07/2014 09:32 PM, Kevin Easton wrote:
> On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
>> On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner wrote:
>>> I'm just dying to hear a "normal" use case then. :)
>> So the more "normal" use cause would be marking objects volatile and
>>
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
> On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner wrote:
> > I'm just dying to hear a "normal" use case then. :)
>
> So the more "normal" use cause would be marking objects volatile and
> then non-volatile w/o accessing them
On Wed, Apr 02, 2014 at 03:27:44PM -0400, Johannes Weiner wrote:
> On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
> > Hi everyone,
> >
> > On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
> > > So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
Hello Andrea,
On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
> Hi everyone,
>
> On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
> > So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
> > you have a third option you're thinking of, I'd of
Hello Andrea,
On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
Hi everyone,
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
you have a third option you're thinking of, I'd of course be
On Wed, Apr 02, 2014 at 03:27:44PM -0400, Johannes Weiner wrote:
On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
Hi everyone,
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
you
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner han...@cmpxchg.org wrote:
I'm just dying to hear a normal use case then. :)
So the more normal use cause would be marking objects volatile and
then non-volatile w/o accessing them
On 04/07/2014 09:32 PM, Kevin Easton wrote:
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner han...@cmpxchg.org wrote:
I'm just dying to hear a normal use case then. :)
So the more normal use cause would be marking objects volatile
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
> On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner wrote:
> > On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
> >> On 04/01/2014 04:01 PM, Dave Hansen wrote:
> >> > On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
> >> >> On
On Wed, Apr 02, 2014 at 12:36:38PM -0400, Johannes Weiner wrote:
> On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
> > On 04/01/2014 04:01 PM, Dave Hansen wrote:
> > > On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
> > >> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
> > >>> Either
On Wed, Apr 02, 2014 at 12:36:38PM -0400, Johannes Weiner wrote:
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
Either way, optimistic
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On
On Wed 02-04-14 13:13:34, John Stultz wrote:
> On 04/02/2014 12:47 PM, Johannes Weiner wrote:
> > On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
> >> On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner
> >> wrote:
> >>> On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
>
On 04/02/2014 12:47 PM, Johannes Weiner wrote:
> On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
>> On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner wrote:
>>> On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
That point beside, I think the other problem with the
On 04/02/2014 11:31 AM, Andrea Arcangeli wrote:
> On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
>> Now... once you've chosen SIGBUS semantics, there will be folks who will
>> try to exploit the fact that we get SIGBUS on purged page access (at
>> least on the user-space side) and
On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
> On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner wrote:
> > On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
> >> That point beside, I think the other problem with the page-cleaning
> >> volatility approach is that there
On Wed, Apr 2, 2014 at 11:07 AM, Johannes Weiner wrote:
> On Wed, Apr 02, 2014 at 10:48:03AM -0700, John Stultz wrote:
>> I suspect handling the SIGBUS and patching up the purged page you
>> trapped on is likely much to complicated for most use cases. But I do
>> think SIGBUS is preferable to
On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
> Hi everyone,
>
> On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
> > So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
> > you have a third option you're thinking of, I'd of course be
On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner wrote:
> On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
>> That point beside, I think the other problem with the page-cleaning
>> volatility approach is that there are other awkward side effects. For
>> example: Say an application
Hi everyone,
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
> So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
> you have a third option you're thinking of, I'd of course be interested
> in hearing it.
I actually thought the way of being notified with a page
On Wed, Apr 02, 2014 at 10:48:03AM -0700, John Stultz wrote:
> On Wed, Apr 2, 2014 at 10:40 AM, Dave Hansen wrote:
> > On 04/02/2014 10:18 AM, Johannes Weiner wrote:
> >> Hence my follow-up question in the other mail about how large we
> >> expect such code caches to become in practice in
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
> On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner wrote:
> > On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
> >> On 04/01/2014 04:01 PM, Dave Hansen wrote:
> >> > On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
> >> >> On
On Wed, Apr 2, 2014 at 10:40 AM, Dave Hansen wrote:
> On 04/02/2014 10:18 AM, Johannes Weiner wrote:
>> Hence my follow-up question in the other mail about how large we
>> expect such code caches to become in practice in relationship to
>> overall system memory. Are code caches interesting
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner wrote:
> On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
>> On 04/01/2014 04:01 PM, Dave Hansen wrote:
>> > On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
>> >> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
>> > John, this was something
On 04/02/2014 10:18 AM, Johannes Weiner wrote:
> Hence my follow-up question in the other mail about how large we
> expect such code caches to become in practice in relationship to
> overall system memory. Are code caches interesting reclaim candidates
> to begin with? Are they big enough to
On Wed, Apr 02, 2014 at 09:37:49AM -0700, H. Peter Anvin wrote:
> On 04/02/2014 09:32 AM, H. Peter Anvin wrote:
> > On 04/02/2014 09:30 AM, Johannes Weiner wrote:
> >>
> >> So between zero-fill and SIGBUS, I'd prefer the one which results in
> >> the simpler user interface / fewer system calls.
>
On 04/02/2014 09:32 AM, H. Peter Anvin wrote:
> On 04/02/2014 09:30 AM, Johannes Weiner wrote:
>>
>> So between zero-fill and SIGBUS, I'd prefer the one which results in
>> the simpler user interface / fewer system calls.
>>
>
> The use cases are different; I believe this should be a user space
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
> On 04/01/2014 04:01 PM, Dave Hansen wrote:
> > On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
> >> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
> >>> Either way, optimistic volatile pointers are nowhere near as
> >>> transparent to
On 04/02/2014 09:30 AM, Johannes Weiner wrote:
>
> So between zero-fill and SIGBUS, I'd prefer the one which results in
> the simpler user interface / fewer system calls.
>
The use cases are different; I believe this should be a user space option.
-hpa
--
To unsubscribe from this
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
> > [ I tried to bring this up during LSFMM but it got drowned out.
> > Trying again :) ]
> >
> > On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
> >> Optimistic method:
>
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
[ I tried to bring this up during LSFMM but it got drowned out.
Trying again :) ]
On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
Optimistic method:
1) Userland
On 04/02/2014 09:30 AM, Johannes Weiner wrote:
So between zero-fill and SIGBUS, I'd prefer the one which results in
the simpler user interface / fewer system calls.
The use cases are different; I believe this should be a user space option.
-hpa
--
To unsubscribe from this list:
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
Either way, optimistic volatile pointers are nowhere near as
transparent to the application
On 04/02/2014 09:32 AM, H. Peter Anvin wrote:
On 04/02/2014 09:30 AM, Johannes Weiner wrote:
So between zero-fill and SIGBUS, I'd prefer the one which results in
the simpler user interface / fewer system calls.
The use cases are different; I believe this should be a user space option.
On Wed, Apr 02, 2014 at 09:37:49AM -0700, H. Peter Anvin wrote:
On 04/02/2014 09:32 AM, H. Peter Anvin wrote:
On 04/02/2014 09:30 AM, Johannes Weiner wrote:
So between zero-fill and SIGBUS, I'd prefer the one which results in
the simpler user interface / fewer system calls.
The use
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
John, this was
On 04/02/2014 10:18 AM, Johannes Weiner wrote:
Hence my follow-up question in the other mail about how large we
expect such code caches to become in practice in relationship to
overall system memory. Are code caches interesting reclaim candidates
to begin with? Are they big enough to make
On Wed, Apr 2, 2014 at 10:40 AM, Dave Hansen d...@sr71.net wrote:
On 04/02/2014 10:18 AM, Johannes Weiner wrote:
Hence my follow-up question in the other mail about how large we
expect such code caches to become in practice in relationship to
overall system memory. Are code caches interesting
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 9:36 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Tue, Apr 01, 2014 at 09:12:44PM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On
On Wed, Apr 02, 2014 at 10:48:03AM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 10:40 AM, Dave Hansen d...@sr71.net wrote:
On 04/02/2014 10:18 AM, Johannes Weiner wrote:
Hence my follow-up question in the other mail about how large we
expect such code caches to become in practice in
Hi everyone,
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
you have a third option you're thinking of, I'd of course be interested
in hearing it.
I actually thought the way of being notified with a page
On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
That point beside, I think the other problem with the page-cleaning
volatility approach is that there are other awkward side effects. For
example: Say an
On Wed, Apr 02, 2014 at 08:31:13PM +0200, Andrea Arcangeli wrote:
Hi everyone,
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
So between zero-fill and SIGBUS, I think SIGBUS makes the most sense. If
you have a third option you're thinking of, I'd of course be interested
in
On Wed, Apr 2, 2014 at 11:07 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Wed, Apr 02, 2014 at 10:48:03AM -0700, John Stultz wrote:
I suspect handling the SIGBUS and patching up the purged page you
trapped on is likely much to complicated for most use cases. But I do
think SIGBUS is
On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
That point beside, I think the other problem with the page-cleaning
volatility approach is
On 04/02/2014 11:31 AM, Andrea Arcangeli wrote:
On Tue, Apr 01, 2014 at 09:03:57PM -0700, John Stultz wrote:
Now... once you've chosen SIGBUS semantics, there will be folks who will
try to exploit the fact that we get SIGBUS on purged page access (at
least on the user-space side) and will try
On 04/02/2014 12:47 PM, Johannes Weiner wrote:
On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner han...@cmpxchg.org wrote:
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
That point beside, I think the other problem with
On Wed 02-04-14 13:13:34, John Stultz wrote:
On 04/02/2014 12:47 PM, Johannes Weiner wrote:
On Wed, Apr 02, 2014 at 12:01:00PM -0700, John Stultz wrote:
On Wed, Apr 2, 2014 at 10:58 AM, Johannes Weiner han...@cmpxchg.org
wrote:
On Wed, Apr 02, 2014 at 10:40:16AM -0700, John Stultz wrote:
On 04/01/2014 04:01 PM, Dave Hansen wrote:
> On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
>> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
>>> Either way, optimistic volatile pointers are nowhere near as
>>> transparent to the application as the above description suggests,
>>> which makes this
On 04/01/2014 09:03 PM, John Stultz wrote:
>
> So, maybe its best to ignore the fact that folks want to do semi-crazy
> user-space faulting via SIGBUS. At least to start with. Lets look at the
> semantic for the "normal" mark volatile, never touch the pages until you
> mark non-volatile -
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
> [ I tried to bring this up during LSFMM but it got drowned out.
> Trying again :) ]
>
> On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
>> Optimistic method:
>> 1) Userland marks a large range of data as volatile
>> 2) Userland
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
> On 04/01/2014 02:21 PM, Johannes Weiner wrote:
>> Either way, optimistic volatile pointers are nowhere near as
>> transparent to the application as the above description suggests,
>> which makes this usecase not very interesting, IMO.
>
> ...
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
>
> Either way, optimistic volatile pointers are nowhere near as
> transparent to the application as the above description suggests,
> which makes this usecase not very interesting, IMO.
>
... however, I think you're still derating the value way
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
> [ I tried to bring this up during LSFMM but it got drowned out.
> Trying again :) ]
>
> On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
>> Optimistic method:
>> 1) Userland marks a large range of data as volatile
>> 2) Userland
[ I tried to bring this up during LSFMM but it got drowned out.
Trying again :) ]
On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
> Optimistic method:
> 1) Userland marks a large range of data as volatile
> 2) Userland continues to access the data as it needs.
> 3) If userland
[ I tried to bring this up during LSFMM but it got drowned out.
Trying again :) ]
On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
Optimistic method:
1) Userland marks a large range of data as volatile
2) Userland continues to access the data as it needs.
3) If userland accesses
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
[ I tried to bring this up during LSFMM but it got drowned out.
Trying again :) ]
On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
Optimistic method:
1) Userland marks a large range of data as volatile
2) Userland continues to
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
Either way, optimistic volatile pointers are nowhere near as
transparent to the application as the above description suggests,
which makes this usecase not very interesting, IMO.
... however, I think you're still derating the value way too
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
Either way, optimistic volatile pointers are nowhere near as
transparent to the application as the above description suggests,
which makes this usecase not very interesting, IMO.
... however, I
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
[ I tried to bring this up during LSFMM but it got drowned out.
Trying again :) ]
On Fri, Mar 21, 2014 at 02:17:30PM -0700, John Stultz wrote:
Optimistic method:
1) Userland marks a large range of data as volatile
2) Userland continues to
On 04/01/2014 09:03 PM, John Stultz wrote:
So, maybe its best to ignore the fact that folks want to do semi-crazy
user-space faulting via SIGBUS. At least to start with. Lets look at the
semantic for the normal mark volatile, never touch the pages until you
mark non-volatile - basically
On 04/01/2014 04:01 PM, Dave Hansen wrote:
On 04/01/2014 02:35 PM, H. Peter Anvin wrote:
On 04/01/2014 02:21 PM, Johannes Weiner wrote:
Either way, optimistic volatile pointers are nowhere near as
transparent to the application as the above description suggests,
which makes this usecase not
Just wanted to send out an updated patch set that includes changes from
some of the reviews. Hopefully folks will have some time to look them
over prior to the LSF-MM discussion on volatile ranges on Tuesday (see
below for LSF-MM discussion points to think about).
New changes are:
Just wanted to send out an updated patch set that includes changes from
some of the reviews. Hopefully folks will have some time to look them
over prior to the LSF-MM discussion on volatile ranges on Tuesday (see
below for LSF-MM discussion points to think about).
New changes are:
66 matches
Mail list logo