On Jun 6, 2019, at 10:28 PM, Nadav Amit wrote:
>> On May 31, 2019, at 3:07 PM, Nadav Amit wrote:
>>
>>> On May 31, 2019, at 2:47 PM, Andy Lutomirski wrote:
>>>
>>>
>>> On May 31, 2019, at 2:33 PM, Nadav Amit wrote:
>>>
> On May 31, 2019, at 2:14 PM, Andy Lutomirski wrote:
>
> On May 31, 2019, at 3:07 PM, Nadav Amit wrote:
>
>> On May 31, 2019, at 2:47 PM, Andy Lutomirski wrote:
>>
>>
>> On May 31, 2019, at 2:33 PM, Nadav Amit wrote:
>>
On May 31, 2019, at 2:14 PM, Andy Lutomirski wrote:
> On Thu, May 30, 2019 at 11:37 PM Nadav Amit wrote:
> On May 31, 2019, at 2:47 PM, Andy Lutomirski wrote:
>
>
> On May 31, 2019, at 2:33 PM, Nadav Amit wrote:
>
>>> On May 31, 2019, at 2:14 PM, Andy Lutomirski wrote:
>>>
On Thu, May 30, 2019 at 11:37 PM Nadav Amit wrote:
When we flush userspace mappings, we can defer the TLB
On May 31, 2019, at 2:33 PM, Nadav Amit wrote:
>> On May 31, 2019, at 2:14 PM, Andy Lutomirski wrote:
>>
>>> On Thu, May 30, 2019 at 11:37 PM Nadav Amit wrote:
>>> When we flush userspace mappings, we can defer the TLB flushes, as long
>>> the following conditions are met:
>>>
>>> 1. No
> On May 31, 2019, at 2:14 PM, Andy Lutomirski wrote:
>
> On Thu, May 30, 2019 at 11:37 PM Nadav Amit wrote:
>> When we flush userspace mappings, we can defer the TLB flushes, as long
>> the following conditions are met:
>>
>> 1. No tables are freed, since otherwise speculative page walks
On Thu, May 30, 2019 at 11:37 PM Nadav Amit wrote:
>
> When we flush userspace mappings, we can defer the TLB flushes, as long
> the following conditions are met:
>
> 1. No tables are freed, since otherwise speculative page walks might
>cause machine-checks.
>
> 2. No one would access
On 5/31/19 1:37 PM, Andy Lutomirski wrote:
>> Modulo bugs^Werrata... No. What actually happens is that a
>> try-to-set-dirty-bit page table walk acts just like a TLB miss. The old
>> contents of the TLB are discarded and only the in-memory contents matter
>> for forward progress. If Present=0
> On May 31, 2019, at 1:37 PM, Andy Lutomirski wrote:
>
> On Fri, May 31, 2019 at 1:13 PM Dave Hansen wrote:
>> On 5/31/19 12:31 PM, Nadav Amit wrote:
On May 31, 2019, at 11:44 AM, Andy Lutomirski wrote:
> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>
On Fri, May 31, 2019 at 10:04 PM Nadav Amit wrote:
> > On May 31, 2019, at 12:20 PM, Jann Horn wrote:
> > On Fri, May 31, 2019 at 8:29 PM Nadav Amit wrote:
> >> [ +Jann Horn ]
> >>
> >>> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
> >>>
> >>> On Thu, May 30, 2019 at 11:36:44PM -0700,
On Fri, May 31, 2019 at 1:13 PM Dave Hansen wrote:
>
> On 5/31/19 12:31 PM, Nadav Amit wrote:
> >> On May 31, 2019, at 11:44 AM, Andy Lutomirski wrote:
> >>
> >>
> >>
> >>> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
> >>>
> On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit
On 5/31/19 12:31 PM, Nadav Amit wrote:
>> On May 31, 2019, at 11:44 AM, Andy Lutomirski wrote:
>>
>>
>>
>>> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>>>
On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
When we flush userspace mappings, we can defer the TLB flushes,
> On May 31, 2019, at 12:20 PM, Jann Horn wrote:
>
> On Fri, May 31, 2019 at 8:29 PM Nadav Amit wrote:
>> [ +Jann Horn ]
>>
>>> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>>>
>>> On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
When we flush userspace mappings, we can
> On May 31, 2019, at 11:44 AM, Andy Lutomirski wrote:
>
>
>
>> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>>
>>> On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
>>> When we flush userspace mappings, we can defer the TLB flushes, as long
>>> the following conditions are
On Fri, May 31, 2019 at 8:29 PM Nadav Amit wrote:
>
> [ +Jann Horn ]
>
> > On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
> >
> > On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
> >> When we flush userspace mappings, we can defer the TLB flushes, as long
> >> the following
> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>
>> On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
>> When we flush userspace mappings, we can defer the TLB flushes, as long
>> the following conditions are met:
>>
>> 1. No tables are freed, since otherwise speculative page
[ +Jann Horn ]
> On May 31, 2019, at 3:57 AM, Peter Zijlstra wrote:
>
> On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
>> When we flush userspace mappings, we can defer the TLB flushes, as long
>> the following conditions are met:
>>
>> 1. No tables are freed, since otherwise
On Thu, May 30, 2019 at 11:36:44PM -0700, Nadav Amit wrote:
> When we flush userspace mappings, we can defer the TLB flushes, as long
> the following conditions are met:
>
> 1. No tables are freed, since otherwise speculative page walks might
>cause machine-checks.
>
> 2. No one would access
When we flush userspace mappings, we can defer the TLB flushes, as long
the following conditions are met:
1. No tables are freed, since otherwise speculative page walks might
cause machine-checks.
2. No one would access userspace before flush takes place. Specifically,
NMI handlers and
18 matches
Mail list logo