Merge remote-tracking branch 'savannah/master'

As part of the merge, fix some typos, add copyright and licensing headers, and
a few more minor changes.

7 files changed, 22 insertions, 23 deletions

diff --git a/open_issues/address_space_memory_mapping_entries.mdwn b/open_issues/address_space_memory_mapping_entries.mdwn
index caf447dd..8ed69345 100644
--- a/open_issues/address_space_memory_mapping_entries.mdwn
+++ b/open_issues/address_space_memory_mapping_entries.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2011, 2013 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
@@ -17,3 +17,5 @@ IRC, freenode, #hurd, 2011-05-07
       linked list
     <braunr> a bare linked list
     <braunr> which makes faults and page cache lookups even slower
+
+A red-black tree was added to VM maps to speed up lookups.
diff --git a/open_issues/alarm_setitimer.mdwn b/open_issues/alarm_setitimer.mdwn
index 5999808c..a1c8a7d3 100644
--- a/open_issues/alarm_setitimer.mdwn
+++ b/open_issues/alarm_setitimer.mdwn
@@ -22,6 +22,7 @@ for a signal, while on GNU/Hurd it gets a new alarm and exits.
 
 [[alrm.c]]
 
+This issue was recently fixed (around January 2013).
 
 # IRC, freenode, #hurd, 2012-07-29
 
diff --git a/open_issues/anatomy_of_a_hurd_system.mdwn b/open_issues/anatomy_of_a_hurd_system.mdwn
index 3e585876..ebb48e24 100644
--- a/open_issues/anatomy_of_a_hurd_system.mdwn
+++ b/open_issues/anatomy_of_a_hurd_system.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2011, 2012, 2013 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
@@ -173,6 +174,9 @@ Need more stuff like that.
     <abique> is it M:N ?
     <youpi> libthreads, actually
     <youpi> yes
+
+Actually, the Hurd has never used an M:N model. Both libthreads (cthreads) and libpthread use an 1:1 model.
+
     <abique> nice
     <abique> is the task scheduler in the kernel ?
     <youpi> the kernel thread scheduler, yes, of course
diff --git a/open_issues/benefits_of_a_native_hurd_implementation.mdwn b/open_issues/benefits_of_a_native_hurd_implementation.mdwn
index afdcfb73..dfd41837 100644
--- a/open_issues/benefits_of_a_native_hurd_implementation.mdwn
+++ b/open_issues/benefits_of_a_native_hurd_implementation.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2010, 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011, 2013 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
@@ -120,6 +121,12 @@ IRC, #hurd, 2010-12-28
     [...]
     <braunr> kilobug: right, a monolithick kernel is less folt-tolerant than a
       well designed/implemented microkernel based os
+
+It turns out that it is perfectly possible to isolate services running in the
+same address space, as it was done in projects such as Singularity, the idea
+being that the code is verified through static analysis when installed (but
+this requires a language other than C).
+
     <kilobug> braunr: well, the Hurd is buggy nowadays, but things like an
       ext2fs translator doing a segfault and being restarted is a
       fault-tolerance that would be almost impossible to have in Linux
diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn
index 2d17e275..e3005ee4 100644
--- a/open_issues/gnat.mdwn
+++ b/open_issues/gnat.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2011, 2012, 2013 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
@@ -25,11 +26,6 @@ There is a [[!FF_project 259]][[!tag bounty]] on this task.
 First, make the language functional, have its test suite pass without errors.
 
 
-## Original [[community/GSoC]] Task Description
-
-[[!inline pages=community/gsoc/project_ideas/gnat feeds=no]]
-
-
 ## Debian GCC
 
 There has a patch been added for GNU/kFreeBSD:
diff --git a/open_issues/libpthread.mdwn b/open_issues/libpthread.mdwn
index f0c0db58..d0ec4119 100644
--- a/open_issues/libpthread.mdwn
+++ b/open_issues/libpthread.mdwn
@@ -17,13 +17,7 @@ License|/fdl]]."]]"""]]
 # cthreads -> pthreads
 
 Get rid of cthreads; switch to pthreads.
-
-There is a [[!FF_project 275]][[!tag bounty]] on this task.
-
-
-## Original [[community/GSoC]] Task Description
-
-[[!inline pages=community/gsoc/project_ideas/pthreads feeds=no]]
+Most of the issues raised on this page has been resolved, a few remain.
 
 
 ## IRC, freenode, #hurd, 2012-04-26
diff --git a/open_issues/multiprocessing.mdwn b/open_issues/multiprocessing.mdwn
index 562ccd83..0ac7f195 100644
--- a/open_issues/multiprocessing.mdwn
+++ b/open_issues/multiprocessing.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2010, 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011, 2013 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
@@ -54,12 +55,6 @@ IRC, freenode, #hurd, 2011-07-26
     < braunr> thread migration already takes into account smt, cores, and numa
     < braunr> it's hard to do something better
     < braunr> (here, thread migration means being dispatched on another cpu)
-    < braunr> some systems like dragonflybsd go as far as to pin threads on one
-      processor for their entire lifetime
-    < braunr> in order to have rcu-like locking almost everywhere
-    < braunr> (you could argue it's less efficient since in the worst case
-      everything runs on the same cpu, but it's very unlikely, and in practice
-      most patterns are well balanced)
 
 
 debian-hurd list