diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 14:50:55 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-07-30 14:50:55 +0200 |
| commit | a7221e988625e18a150714c4c88a5fea399feeff (patch) | |
| tree | abea86f1d00a464ef2e19607f7a91dc74abb4065 | |
| parent | c8eb5b98b4a96ba17bc83fda2f13e31a76db9d10 (diff) | |
open_issues/gnumach_tlb_flushing: New.
| -rw-r--r-- | open_issues/gnumach_tlb_flushing.mdwn | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/open_issues/gnumach_tlb_flushing.mdwn b/open_issues/gnumach_tlb_flushing.mdwn new file mode 100644 index 00000000..45d0730d --- /dev/null +++ b/open_issues/gnumach_tlb_flushing.mdwn @@ -0,0 +1,21 @@ +[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +[[!tag open_issue_gnumach]] + +IRC, unknown channel, unknown date. + + <tschwinge> gianluca, youpi: Why the value 32 for the TLB flushing decision, by the way? + <youpi> completely arbitrary + <tschwinge> I thought whether that might perhaps be worth a macro definition with a comment? + <verte> what's the typical TLB size these days? + <youpi> tschwinge: right + <youpi> note that the 32 value would be probably different between native and xen + <gianluca> tschwinge: just arbitrary |