22 files changed, 168 insertions, 31 deletions
diff --git a/hurd/syncfs.mdwn b/hurd/syncfs.mdwn
index 7099a68d..9f329b4b 100644
--- a/hurd/syncfs.mdwn
+++ b/hurd/syncfs.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2009, 2011 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
@@ -13,3 +13,5 @@ RPC|interface/file_syncfs]].
 
 Its functionality should me merged into GNU coreutils' `sync` program, see
 [[!GNU_Savannah_task 6614]][[!tag open_issue_hurd open_issue_porting]].
+
+There is a [[!FF_project 270]][[!tag bounty]] on this task.
diff --git a/hurd/translator/tmpfs.mdwn b/hurd/translator/tmpfs.mdwn
index d1476a92..626fad86 100644
--- a/hurd/translator/tmpfs.mdwn
+++ b/hurd/translator/tmpfs.mdwn
@@ -20,4 +20,5 @@ system|ext2fs]] on it, having a real `tmpfs` is better, as it need not deal
 with the additional block-level indirection layer that `ext2` (or any other
 disk-based file system) imposes.
 
-However, `tmpfs` is not working correctly at the moment:
+However, `tmpfs` is not working correctly at the moment, see the [[discussion]]
+sub-pages.  There is a [[!FF_project 271]][[!tag bounty]] on this task.
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index b385ca09..d9ff6535 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -9,7 +9,7 @@ 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]]."]]"""]]
 
-GNU Mach is the microkernel that the [[GNU_Hurd|hurd]] system is based on.
+GNU Mach is the microkernel that the GNU/Hurd system is based on.
 
 It is maintained by the Hurd developers for the GNU project and remains
 compatible with [[Mach]] 3.0.
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 21e09089..ab90a6b6 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -16,6 +16,11 @@ desc="Wikipedia article"]]).  This topic overlaps with [[performance
 analysis|performance]], [[formal_verification]], as well as general
 [[debugging]].
 
+[[!toc]]
+
+
+# Suggestions
+
   * [[GCC]]'s warnings.  Yes, really.
 
   * [Static Source Code Analysis Tools for C](http://spinroot.com/static/)
@@ -63,3 +68,8 @@ analysis|performance]], [[formal_verification]], as well as general
   * <http://wiki.debian.org/Hardening>
 
   * <https://wiki.ubuntu.com/CompilerFlags>
+
+
+# Bounty
+
+There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
diff --git a/open_issues/ext2fs_page_cache_swapping_leak.mdwn b/open_issues/ext2fs_page_cache_swapping_leak.mdwn
index 575196d8..607c3af4 100644
--- a/open_issues/ext2fs_page_cache_swapping_leak.mdwn
+++ b/open_issues/ext2fs_page_cache_swapping_leak.mdwn
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_hurd]]
 
+There is a [[!FF_project 272]][[!tag bounty]] on this task.
+
 IRC, OFTC, #debian-hurd, 2011-03-24
 
     <youpi> I still believe we have an ext2fs page cache swapping leak, however
diff --git a/open_issues/fork_mach_port_mod_refs_ekern_urefs_owerflow.mdwn b/open_issues/fork_mach_port_mod_refs_ekern_urefs_owerflow.mdwn
index ab3ba98b..39003ae4 100644
--- a/open_issues/fork_mach_port_mod_refs_ekern_urefs_owerflow.mdwn
+++ b/open_issues/fork_mach_port_mod_refs_ekern_urefs_owerflow.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,6 +10,11 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="fork: mach_port_mod_refs: EKERN_UREFS_OWERFLOW"]]
 
+[[!toc]]
+
+
+# Original Report
+
 In the [[GCC testsuite|gcc]], at this point:
 
     Running /home/tschwinge/tmp/gcc/hurd/gcc/testsuite/gcc.c-torture/unsorted/unsorted.exp ...
@@ -171,3 +176,10 @@ ones.
   * <http://lists.gnu.org/archive/html/bug-hurd/2010-11/msg00028.html>
 
   * <http://lists.gnu.org/archive/html/bug-hurd/2010-12/msg00002.html>
+
+This is likely *simply* a programming error in glibc's fork implementation. 
+
+
+# Bounty
+
+There is a [[!FF_project 273]][[!tag bounty]] on this task.
diff --git a/open_issues/formal_verification.mdwn b/open_issues/formal_verification.mdwn
index 168d59a4..b7db76ee 100644
--- a/open_issues/formal_verification.mdwn
+++ b/open_issues/formal_verification.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -14,3 +14,17 @@ article"]]) deals with formally reasoning about a program's correctness.
 Especially in the field of [[DSL]]s, this is used for asserting program codes'
 correctness, as explained in {{$microkernel/barrelfish#fof_plos09}}, for
 example.
+
+[[!toc]]
+
+
+# Issues
+
+  * [[locking_issues]]
+
+  * [[term_blocking]]
+
+
+# Bounty
+
+There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
diff --git a/open_issues/gccgo.mdwn b/open_issues/gccgo.mdwn
index d521564f..0ecc1228 100644
--- a/open_issues/gccgo.mdwn
+++ b/open_issues/gccgo.mdwn
@@ -16,7 +16,7 @@ Make the [Google Go programming language](http://golang.org/) available on
 GNU/Hurd in its [[GCC]] *gccgo* implementation, and enable Hurd-specific
 features.
 
-There is a [[!FF_project 263]][[!tag bounty]] for this task.
+There is a [[!FF_project 263]][[!tag bounty]] on this task.
 
 ---
 
diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn
index 0215b712..30e38317 100644
--- a/open_issues/gnat.mdwn
+++ b/open_issues/gnat.mdwn
@@ -15,7 +15,7 @@ License|/fdl]]."]]"""]]
 Make the Ada programming language available on GNU/Hurd in its [[GCC]] GNAT
 implementation, and enable Hurd-specific features.
 
-There is a [[!FF_project 259]][[!tag bounty]] for this task.
+There is a [[!FF_project 259]][[!tag bounty]] on this task.
 
 ---
 
diff --git a/open_issues/gnumach_console_timestamp.mdwn b/open_issues/gnumach_console_timestamp.mdwn
index b36b47b9..52b574d5 100644
--- a/open_issues/gnumach_console_timestamp.mdwn
+++ b/open_issues/gnumach_console_timestamp.mdwn
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_gnumach]]
 
+There is a [[!FF_project 267]][[!tag bounty]] on this task.
+
 IRC, freenode, #hurd, 2011-02-17
 
     <azeem> task 39011c10 deallocating an invalid port 349, most probably a
diff --git a/open_issues/gnumach_memory_management.mdwn b/open_issues/gnumach_memory_management.mdwn
index c85c88e3..1b897454 100644
--- a/open_issues/gnumach_memory_management.mdwn
+++ b/open_issues/gnumach_memory_management.mdwn
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_gnumach]]
 
+There is a [[!FF_project 266]][[!tag bounty]] on this task.
+
 IRC, freenode, #hurd, 2011-04-12:
 
     <antrik> braunr: do you think the allocator you wrote for x15 could be used
diff --git a/open_issues/libc_variant_selection.mdwn b/open_issues/libc_variant_selection.mdwn
index 10e709a5..f44f7068 100644
--- a/open_issues/libc_variant_selection.mdwn
+++ b/open_issues/libc_variant_selection.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_glibc open_issue_porting]]
 
+There is a [[!FF_project 274]][[!tag bounty]] on this task.
+
 There are now specialized variants of Debian's libc package, libc0.3-i686 and
 libc0.3-xen.
 
diff --git a/open_issues/libpthread.mdwn b/open_issues/libpthread.mdwn
index 16b6d098..614f1271 100644
--- a/open_issues/libpthread.mdwn
+++ b/open_issues/libpthread.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,26 +10,48 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_glibc open_issue_libpthread]]
 
-GSoC project idea: [[community/gsoc/project ideas/pthreads]]
+[[!toc]]
 
----
 
-`#hurd`, 2010-01-24
+# cthreads -> pthreads
 
-    <pinotree> youpi: hm, thought about the pthread/stubs issue w/ dlopen'ed libraries
-    <pinotree> currently looks like libstdc++ on hurd links to pthread-stubs, we're the only one with such configuration
-    <pinotree> i was looking at the gcc 4.4 patch hurd-pthread.diff, could it be it does not set THREADLIBS in the configure.ac switch case?
+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]]
+
+
+
+# pthread/stubs issue w/ dlopen'ed libraries
+
+IRC, freenode, #hurd, 2010-01-24
+
+    <pinotree> youpi: hm, thought about the pthread/stubs issue w/ dlopen'ed
+      libraries
+    <pinotree> currently looks like libstdc++ on hurd links to pthread-stubs,
+      we're the only one with such configuration
+    <pinotree> i was looking at the gcc 4.4 patch hurd-pthread.diff, could it
+      be it does not set THREADLIBS in the configure.ac switch case?
     <youpi> that's expected
-    <youpi> on linux the libc provides hooks itself, on hurd-i386 it's pthread-stubs
+    <youpi> on linux the libc provides hooks itself, on hurd-i386 it's
+      pthread-stubs
     <pinotree> why not explicitly link to pthread though?
-    <youpi> because there is no strict need to, for applications that don't need libpthread
-    <youpi> the dlopen case is a tricky case that pthread-stubs had not thought about
+    <youpi> because there is no strict need to, for applications that don't
+      need libpthread
+    <youpi> the dlopen case is a tricky case that pthread-stubs had not thought
+      about
     <pinotree> hm
     <pinotree> what if the pthread stubs would be moved in our glibc?
     <youpi> that's what we should do yes
     <youpi> (ideally)
-    <youpi> but for this we need to build libpthread along glibc, to get it really working
-    <youpi> and that's the tricky part (Makefile & such) which hasn't been done yet
+    <youpi> but for this we need to build libpthread along glibc, to get it
+      really working
+    <youpi> and that's the tricky part (Makefile & such) which hasn't been done
+      yet
     <pinotree> why both (stubs + actual libpthread)?
     <youpi> because you need the stubs to be able to call the actual libpthread
     <youpi> as soon libpthread gets dlopened for instance
@@ -38,7 +60,8 @@ GSoC project idea: [[community/gsoc/project ideas/pthreads]]
     <youpi> (remember that nptl does this if you want to see how)
     <youpi> (it's the libc files in nptl/)
     <youpi> (and forward.c)
-    <guillem> also if libpthreads gets integrated with glibc don't we need to switch the hurd from cthreads then? Which has been the blocker all this time AFAIR?
+    <guillem> also if libpthreads gets integrated with glibc don't we need to
+      switch the hurd from cthreads then? Which has been the blocker all this
+      time AFAIR?
     <youpi> we don't _need_ to
     <guillem> ok
-
diff --git a/open_issues/locking_issues.mdwn b/open_issues/locking_issues.mdwn
new file mode 100644
index 00000000..e15562bc
--- /dev/null
+++ b/open_issues/locking_issues.mdwn
@@ -0,0 +1,34 @@
+[[!meta copyright="Copyright © 2011 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_hurd]]
+
+There are locking issues in the Hurd's libraries.
+
+[[!toc]]
+
+
+# Original [[community/GSoC]] Task Description
+
+[[!inline pages=community/gsoc/project_ideas/libdiskfs_locking feeds=no]]
+
+
+# ext2fs Deadlock
+
+[[ext2fs_deadlock]].
+
+
+# Formal Verification
+
+Methods of [[formal_verification]] should be applied to get an understanding of
+the behavior of the locking logic.  There are tools for formal
+verification/[[code_analysis]] that can likely help here.
+
+There is a [[!FF_project 278]][[!tag bounty]] on this task.
diff --git a/open_issues/perl.mdwn b/open_issues/perl.mdwn
index 92b84b41..e94a623b 100644
--- a/open_issues/perl.mdwn
+++ b/open_issues/perl.mdwn
@@ -13,7 +13,7 @@ License|/fdl]]."]]"""]]
 Resolve issues uncovered by Perl's test suite, and enable Hurd-specific
 features.
 
-There is a [[!FF_project 264]][[!tag bounty]] for this task.
+There is a [[!FF_project 264]][[!tag bounty]] on this task.
 
 ---
 
diff --git a/open_issues/python.mdwn b/open_issues/python.mdwn
index 9667a78a..34fa81f6 100644
--- a/open_issues/python.mdwn
+++ b/open_issues/python.mdwn
@@ -13,7 +13,7 @@ License|/fdl]]."]]"""]]
 Resolve issues uncovered by Python's test suite, and enable Hurd-specific
 features.
 
-There is a [[!FF_project 260]][[!tag bounty]] for this task.
+There is a [[!FF_project 260]][[!tag bounty]] on this task.
 
 ---
 
diff --git a/open_issues/rework_gnumach_ipc_spaces.mdwn b/open_issues/rework_gnumach_ipc_spaces.mdwn
index c0b7c8dd..5bf0c530 100644
--- a/open_issues/rework_gnumach_ipc_spaces.mdwn
+++ b/open_issues/rework_gnumach_ipc_spaces.mdwn
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_gnumach]]
 
+There is a [[!FF_project 268]][[!tag bounty]] on this task.
+
 IRC, freenode, #hurd, 2011-04-23
 
     <braunr> youpi: is there any use of the port renaming facility ?
diff --git a/open_issues/term_blocking.mdwn b/open_issues/term_blocking.mdwn
index 8d3e3b9f..5eea1570 100644
--- a/open_issues/term_blocking.mdwn
+++ b/open_issues/term_blocking.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2009, 2011 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
@@ -10,7 +10,12 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_hurd]]
 
-There must be some blocking / dead-locking (?) problem in `term`:
+There must be some blocking / dead-locking (?) problem in `term`.
+
+[[!toc]]
+
+
+# Original Findings
 
     # w | grep [t]sch
     tschwing  p1 192.168.10.60: Tue 8PM  0:03  2172 /bin/bash
@@ -98,3 +103,23 @@ Have a freshly started shell blocking on such a `term` instance.
     [New Thread 1766.6]
     Reading symbols from /lib/libhurdbugaddr.so.0.3...Reading symbols from /usr/lib/debug/lib/libhurdbugaddr.so.0.3...
     [System doesn't respond anymore, but no kernel crash.]
+
+---
+
+The very same behavior is still observable as of 2011-03-24.
+
+Next: rebooted; on console started root shell, screen, a few spare windows; as
+user started GDB test suite, noticed the PTY it's using; in a root shell
+started GDB (the system one, for `.debug` stuff) on `/hurd/term`, `set
+noninvasive on`, attach to the *term* that GDB is using.
+
+
+# Formal Verification
+
+This issue may be a simple programming error, or it may be more complicated.
+
+Methods of [[formal_verification]] should be applied to confirm that there is
+no error in `/hurd/term`'s logic itself.  There are tools for formal
+verification/[[code_analysis]] that can likely help here.
+
+There is a [[!FF_project 277]][[!tag bounty]] on this task.
diff --git a/tag/bounty.mdwn b/tag/bounty.mdwn
index d97ad3d4..ae19814b 100644
--- a/tag/bounty.mdwn
+++ b/tag/bounty.mdwn
@@ -16,8 +16,8 @@ License|/fdl]]."]]"""]]
 pages="tagged(bounty)"
 show=title]]
 
-We're looking for donators, for developers who are hunting bounties, and for
-new project ideas!
+We're always looking for donators, for developers who are hunting bounties, and
+for new project ideas!
 
 Please read about how to start [[working on a task and/or suggesting a new
 task|donate#FOSS_Factory]].
diff --git a/tag/open_issue_glibc.mdwn b/tag/open_issue_glibc.mdwn
index e523637a..5e0a7a39 100644
--- a/tag/open_issue_glibc.mdwn
+++ b/tag/open_issue_glibc.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="open_issue_glibc"]]
 
+There is a [[!FF_project 269]] on some glibc tasks.
+
 [[!map
 pages="tagged(open_issue_glibc)"
 show=title]]
diff --git a/tag/open_issue_gnumach.mdwn b/tag/open_issue_gnumach.mdwn
index 22e49393..e0ea81bc 100644
--- a/tag/open_issue_gnumach.mdwn
+++ b/tag/open_issue_gnumach.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="open_issue_gnumach"]]
 
+There is a [[!FF_project 265]] on some GNU Mach tasks.
+
 [[!map
 pages="tagged(open_issue_gnumach)"
 show=title]]
diff --git a/tag/open_issue_hurd.mdwn b/tag/open_issue_hurd.mdwn
index d5505f70..a28b3200 100644
--- a/tag/open_issue_hurd.mdwn
+++ b/tag/open_issue_hurd.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2011 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
@@ -10,6 +10,8 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="open_issue_hurd"]]
 
+There is a [[!FF_project 269]] on some GNU Hurd tasks.
+
 [[!map
 pages="tagged(open_issue_hurd)"
 show=title]]