diff options
-rw-r--r-- | open_issues/dde.mdwn | 23 | ||||
-rw-r--r-- | open_issues/dde/137784 | 43 | ||||
-rw-r--r-- | public_hurd_boxen.mdwn | 26 | ||||
-rw-r--r-- | public_hurd_boxen/sceen.mdwn | 11 | ||||
-rw-r--r-- | sceen.mdwn | 1 |
5 files changed, 27 insertions, 77 deletions
diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn index 9e2ec742..e2cff94f 100644 --- a/open_issues/dde.mdwn +++ b/open_issues/dde.mdwn @@ -8,25 +8,8 @@ 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]]."]]"""]] -[[General Information|/dde]]. - - -# IRC, freenode, #hurd, 2011-10-18 +[[!tag open_issue_hurd open_issue_gnumach]] -[[!tag open_issue_hurd]] - - [DDE crash, or similar] - <youpi> it's fake_local_irq_disable_flags(), then raw_local_irq_disable(), - then raw_local_irq_restore(), which *does not* release the cli_lock - <youpi> the "prove it" comment is (as I expected) completely wrong - <youpi> npnth: http://paste.debian.net/137784/ - -[[137784]] +[[General Information|/dde]]. - <youpi> could you try this patch ? - <youpi> (I've not even tried to build it) - <npnth> youpi: speaking of which, it still seems to hang :/ I'll 1) double - check it applied correctly and 2) get a gdb output if it did - <youpi> npnth: could you add printing the value of unlock_refcnt? - <youpi> so we can check what's happening - <npnth> unlock_refcnt is at 0, interesting +Still waiting for interface finalization and proper integration. diff --git a/open_issues/dde/137784 b/open_issues/dde/137784 deleted file mode 100644 index 1529465b..00000000 --- a/open_issues/dde/137784 +++ /dev/null @@ -1,43 +0,0 @@ -diff --git a/libdde_linux26/lib/src/arch/l4/cli_sti.c b/libdde_linux26/lib/src/arch/l4/cli_sti.c -index 051f259..6a8c460 100644 ---- a/libdde_linux26/lib/src/arch/l4/cli_sti.c -+++ b/libdde_linux26/lib/src/arch/l4/cli_sti.c -@@ -4,6 +4,8 @@ - - /* IRQ lock reference counter */ - static atomic_t _refcnt = ATOMIC_INIT(0); -+/* Refcnt value at which unlocking the cli_lock (it's not always 0) */ -+static int unlock_refcnt; - static ddekit_lock_t cli_lock; - - /* Check whether IRQs are currently disabled. -@@ -57,9 +59,6 @@ void fake_local_irq_restore(unsigned long flags) - /* Store the current flags state. - * - * This is done by returning the current refcnt. -- * -- * XXX: Up to now, flags was always 0 at this point and -- * I assume that this is always the case. Prove? - */ - unsigned long __raw_local_save_flags(void) - { -@@ -82,7 +81,7 @@ void raw_local_irq_restore(unsigned long flags) - { - Assert(cli_lock != NULL); - atomic_set(&_refcnt, flags); -- if (flags == 0) -+ if (flags == unlock_refcnt) - ddekit_lock_unlock(&cli_lock); - } - -@@ -95,7 +94,9 @@ void raw_local_irq_disable(void) - if (cli_lock == NULL) - ddekit_lock_init_unlocked(&cli_lock); - -- nested_lock(cli_lock); -+ if (nested_lock(cli_lock)) -+ /* Tell the corresponding restorer to release cli_lock */ -+ unlock_refcnt = atomic_read(&_refcnt); - atomic_inc(&_refcnt); - } - diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn index c395da7a..6bce8ffb 100644 --- a/public_hurd_boxen.mdwn +++ b/public_hurd_boxen.mdwn @@ -28,7 +28,7 @@ image|hurd/running/qemu]]. "[[bddebian]]","goober","Debian GNU/Hurd","?" "[[bddebian]]","grubber","Debian GNU/Hurd","Celeron 2.2 GHz; 554 MiB","Xen domU on [[zenhost]]; for experimental stuff" "[[bddebian]]","[[zenhost]]","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts" -"[[sceen]]","darnassus","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; public hurdbox" +"[[sceen]]","darnassus","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; public Hurd box" "[[sceen]]","ironforge","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; Debian buildd" "[[sceen]]","exodar","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; Debian porterbox" "[[sceen]]","shattrath","Debian GNU/Linux","Core i5 3.1 GHz","KVM host" @@ -45,14 +45,11 @@ addresses for requesting support with respect to software installations, etc. For easy access, you should append your public SSH key(s) to `~/.ssh/authorized_keys` on the remote machine. -Also, add the [[!toggle id=bddebian_ssh_config text="following stanza (click -here to toggle display)"]] to the `~/.ssh/config` file of the machine you're -connecting from. - -[[!toggleable id=bddebian_ssh_config text=""" +Also, add the following stanza to the `~/.ssh/config` file of the machine +you're connecting from. # Stanza from <http://www.gnu.org/software/hurd/public_hurd_boxen.html>, - # 2010-12-15. + # 2011-11-06. Host blubber.bddebian.com blubber HostName blubber.bddebian.com @@ -84,13 +81,16 @@ connecting from. Port 2260 Host blubber.bddebian.com blubber grubber.bddebian.com grubber snubber.bddebian.com snubber - ProxyCommand ssh zenhost socat - TCP4:%h:%p + # Tunnel through zenhost. + ProxyCommand ssh zenhost exec socat - TCP4:%h:%p Host *.bddebian.com blubber clubber flubber gnubber goober grubber snubber zenhost + # Don't worry about the IP address (dial-up connection). CheckHostIP no User [user name] - -The `CheckHostIP` statement is for not having to worry about the machines's IP -addresses changing (due to being behind a dial-up connection). - -"""]] + + Host darnassus.sceen.net darnassus + HostName darnassus.sceen.net + + Host *.sceen.net darnassus + User [user name] diff --git a/public_hurd_boxen/sceen.mdwn b/public_hurd_boxen/sceen.mdwn new file mode 100644 index 00000000..25416857 --- /dev/null +++ b/public_hurd_boxen/sceen.mdwn @@ -0,0 +1,11 @@ +[[!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]]."]]"""]] + +<http://www.sceen.net/> diff --git a/sceen.mdwn b/sceen.mdwn deleted file mode 100644 index 1e4e17ce..00000000 --- a/sceen.mdwn +++ /dev/null @@ -1 +0,0 @@ -<http://www.sceen.net/> |