diff options
| -rw-r--r-- | open_issues/binutils.mdwn | 22 | ||||
| -rw-r--r-- | open_issues/gccgo.mdwn | 55 | ||||
| -rw-r--r-- | open_issues/gdb.mdwn | 27 | ||||
| -rw-r--r-- | open_issues/gnat.mdwn | 49 | ||||
| m--------- | toolchain/logs | 10 |
5 files changed, 145 insertions, 18 deletions
diff --git a/open_issues/binutils.mdwn b/open_issues/binutils.mdwn index 757ebbe9..5d36d3d1 100644 --- a/open_issues/binutils.mdwn +++ b/open_issues/binutils.mdwn @@ -33,14 +33,14 @@ though, as explained below. <!-- git checkout reviewed -git log --reverse --topo-order --pretty=fuller --stat=$COLUMNS,$COLUMNS -w -p -C --cc ..sourceware/master +git diff --patience --stat=$COLUMNS,$COLUMNS --patch --src-prefix=./ --dst-prefix=./ --find-renames --ignore-space-change ..sourceware/master | awk '/^diff/ { c = $0; } /^@@/ { print c; } { print; }' | less -i -/^commit |^merge:|^---$|hurd|linux|nacl|nptl|glibc|gs: +/^---.*/([^.]*|.*\.texi.*|[^/]*gnu[^/]*)$|hurd|linux|nacl|nptl|glibc|gs: --> -Last reviewed up to the [[Git mirror's 944a6010b676b9f80f0a16c65183102b187822c5 -(2013-02-08) sources|source_repositories/binutils]]. +Last reviewed up to the [[Git mirror's 5c3ec1ded654250e0ac27df79998b32b2403e81f +(2013-04-29) sources|source_repositories/binutils]]. * Globally @@ -126,7 +126,7 @@ Last reviewed up to the [[Git mirror's 944a6010b676b9f80f0a16c65183102b187822c5 Here's a log of a binutils build run; this is from our [[Git repository|source_repositories/binutils]]'s `tschwinge/Paul_Desmond` branch, -commit 944a6010b676b9f80f0a16c65183102b187822c5 (2013-02-08), run on +commit 5c3ec1ded654250e0ac27df79998b32b2403e81f (2013-04-29), run on kepler.SCHWINGE and coulomb.SCHWINGE. $ export LC_ALL=C @@ -140,8 +140,8 @@ harmonized. Debian GCC (which is used in binutils' testsuite) likes to pass `--sysroot=/` to `ld`, so we need to configure binutils with support for sysroots. -This takes up around 900 MiB, and needs roughly 11 min on kepler.SCHWINGE and -42 min on coulomb.SCHWINGE. +This takes up around 950 MiB, and needs roughly 13 min on kepler.SCHWINGE and +45 min on coulomb.SCHWINGE. <!-- @@ -165,6 +165,12 @@ formats, and more emulation vectors. Missing [[IFUNC]] support on GNU/Hurd. + * 944a6010b676b9f80f0a16c65183102b187822c5..a5e5fda5f96d5b881a354bd8666fdbb1496ee8da: + + gcc-4.6 -c -DHAVE_CONFIG_H -g -O2 -I. -I../../Paul_Desmond/libiberty/../include -W -Wall -Wwrite-strings -Wc++-compat -Wstrict-prototypes -pedantic ../../Paul_Desmond/libiberty/hashtab.c -o hashtab.o + +../../Paul_Desmond/libiberty/hashtab.c: In function 'hash_pointer': + +../../Paul_Desmond/libiberty/hashtab.c:1001:7: warning: right shift count >= width of type [enabled by default] + # Install @@ -187,7 +193,7 @@ min on coulomb.SCHWINGE. $ make -k check 2>&1 | tee log_test [...] -This needs roughly 6 min on kepler.SCHWINGE and 42 min on coulomb.SCHWINGE. +This needs roughly 6 min on kepler.SCHWINGE and 45 min on coulomb.SCHWINGE. ## Analysis diff --git a/open_issues/gccgo.mdwn b/open_issues/gccgo.mdwn index e9fbf0f1..fb94cb83 100644 --- a/open_issues/gccgo.mdwn +++ b/open_issues/gccgo.mdwn @@ -38,6 +38,61 @@ been working on this, has some (unpublished) patches, and this is currently blocked on [[`getcontext`/`setcontext`|open_issues/glibc/t/tls-threadvar]]. +## `getcontext`/`makecontext`/`setcontext`/`swapcontext` usage analysis + +In context of [[glibc/t/tls-threadvar]]. Looking at GCC trunk commit +f6568ea476aa52a6e23c6db43b3e240cde55783a (2013-04-26). + +The check in `libgo/configure.ac` *whether setcontext clobbers TLS variables* +is invalid on GNU Hurd. + +The `*context` functions are used in `libgo/runtime/go-signal.c` and +`libgo/runtime/proc.c`. + +`__splitstack_getcontext`, `__splitstack_setcontext`, +`__splitstack_makecontext`, `__splitstack_resetcontext`, +`__splitstack_block_signals_context` are to be provided by libgcc. However, in +said libgo runtime files, they're used only `#ifdef USING_SPLIT_STACK`. +[[I|ŧschwinge]] would assume that before we can enable split stacks, first +[[open_issues/glibc/t/tls-threadvar]] needs to be fixed. + +In `libgo/runtime/proc.c`:`runtime_gogo`, `setcontext` is used to *switch +context to a different goroutine*. TODO. + +In `libgo/runtime/proc.c`:`runtime_mcall`, which *save[s] context and call[s] +fn passing g as a parameter*, `getcontext` and `setcontext` are used; this is +only called from `libgo/runtime/proc.c`:`runtime_gosched`. TODO. + +In `libgo/runtime/proc.c`:`runtime_tracebackothers`, `getcontext` is used to +*switch context to the goroutine*. TODO. + +In `libgo/runtime/proc.c`:`runtime_mstart`, which is *called to start an M*, +`getcontext` is used. TODO. + +In `libgo/runtime/proc.c`:`runtime_entersyscall`, which is called when *the +goroutine g is about to enter a system call*, `getcontext` is used to *save the +registers in the g structure so that any pointers held in registers will be +seen by the garbage collector*. Should be fine. + +In `libgo/runtime/proc.c`:`__go_go`, `getcontext` and `makecontext` are used. +TODO. + +In `libgo/runtime/thread.c`:`runtime_minit`, which is *[c]alled to initialize a +new m (including the bootstrap m)*, `ss.ss_sp` is set to a new stack retrieved +via `libgo/runtime/proc.c:runtime_malg`, which *allocate[s] a new g, with a +stack [...]*, and then `sigaltstack` is called. TODO. + + libgo/runtime/go-signal.c: /* We are now running on the stack registered via sigaltstack. + libgo/runtime/go-signal.c: and sigaltstack when the program starts.) */ + + libgo/runtime/proc.c: vnewg->context.uc_stack.ss_sp = vsp; + libgo/runtime/proc.c: vnewg->context.uc_stack.ss_sp += vspsize; + libgo/runtime/proc.c: vnewg->context.uc_stack.ss_size = vspsize; + +Also, in `libgo/runtime/proc.c`:`runtime_newm`, `pthread_attr_setstacksize` is +used, which we also can't support yet, for the same reason. + + --- diff --git a/open_issues/gdb.mdwn b/open_issues/gdb.mdwn index 6b9cd135..eddc2fdc 100644 --- a/open_issues/gdb.mdwn +++ b/open_issues/gdb.mdwn @@ -27,14 +27,14 @@ Here's what's to be done for maintaining GNU GDB. <!-- git checkout reviewed -git log --reverse --topo-order --pretty=fuller --stat=$COLUMNS,$COLUMNS -w -p -C --cc ..sourceware/master +git diff --patience --stat=$COLUMNS,$COLUMNS --patch --src-prefix=./ --dst-prefix=./ --find-renames --ignore-space-change ..sourceware/master | awk '/^diff/ { c = $0; } /^@@/ { print c; } { print; }' | less -i -/^commit |^merge:|^---$|hurd|linux|nacl|nptl|glibc|gs:|gnu-nat|i386gnu +/^---.*/([^.]*|.*\.texi.*|[^/]*gnu[^/]*)$|hurd|linux|nacl|nptl|glibc|gs: --> -Last reviewed up to the [[Git mirror's 6b25dae901ddedb3f330803542d3eac73cdcae4b -(2013-03-13) sources|source_repositories/gdb]]. +Last reviewed up to the [[Git mirror's 6330ab576e18fb97912839fc116c7babb5fd8c70 +(2013-04-28) sources|source_repositories/gdb]]. * Globally @@ -71,7 +71,7 @@ Last reviewed up to the [[Git mirror's 6b25dae901ddedb3f330803542d3eac73cdcae4b Here's a log of a GDB build run; this is from our [[Git repository|source_repositories/gdb]]'s `tschwinge/Ferry_Tagscherer` branch, -commit 6b25dae901ddedb3f330803542d3eac73cdcae4b (2013-03-13), run on +commit 6330ab576e18fb97912839fc116c7babb5fd8c70 (2013-04-28), run on kepler.SCHWINGE and coulomb.SCHWINGE. $ export LC_ALL=C @@ -194,6 +194,12 @@ formats and more emulation vectors. + from ../../Ferry_Tagscherer/gdb/gnu-nat.c:56: +../../Ferry_Tagscherer/gdb/value.h:729:22: note: expected 'const char **' but argument is of type 'char **' + * 6b25dae901ddedb3f330803542d3eac73cdcae4b..6330ab576e18fb97912839fc116c7babb5fd8c70: + + gcc-4.7 -c -DHAVE_CONFIG_H -g -O2 -I. -I../../Ferry_Tagscherer/libiberty/../include -W -Wall -Wwrite-strings -Wc++-compat -Wstrict-prototypes -pedantic ../../Ferry_Tagscherer/libiberty/hashtab.c -o hashtab.o + +../../Ferry_Tagscherer/libiberty/hashtab.c: In function 'hash_pointer': + +../../Ferry_Tagscherer/libiberty/hashtab.c:1001:7: warning: right shift count >= width of type [enabled by default] + # Install @@ -363,4 +369,15 @@ GNU/Hurd, these generally are `gdb.multi/watchpoint-multi`, and an unknown *stopped,reason="signal-received",signal-name="SIGSEGV",signal-meaning="Segmentation fault",frame={addr="0x00014add",func="??",args=[],from="/lib/ld.so"},thread-id="4",stopped-threads="all" + * `gdb.arch/i386-float.exp: info float` + + Running ../../../Ferry_Tagscherer/gdb/testsuite/gdb.arch/i386-float.exp ... + PASS: gdb.arch/i386-float.exp: first stepi + FAIL: gdb.arch/i386-float.exp: info float + PASS: gdb.arch/i386-float.exp: second stepi + PASS: gdb.arch/i386-float.exp: info float + + Only fails for GNU/Hurd: the floating point stack initially is not + all-zeroes, which is expected, and which it is on GNU/Linux. + TODO. diff --git a/open_issues/gnat.mdwn b/open_issues/gnat.mdwn index 0f404b8a..84e8f60b 100644 --- a/open_issues/gnat.mdwn +++ b/open_issues/gnat.mdwn @@ -103,6 +103,55 @@ know if the port has yet seen any real-world usage, such as using it for any bigger Ada code bases, or any Ada testsuites. +## `getcontext`/`makecontext`/`setcontext`/`swapcontext` usage analysis + +In context of [[glibc/t/tls-threadvar]]. Looking at GCC trunk commit +f6568ea476aa52a6e23c6db43b3e240cde55783a (2013-04-26). + + gcc/ada/init.c: sigaltstack (&stack, NULL); + gcc/ada/init.c: sigaltstack (&stack, NULL); + gcc/ada/init.c: sigaltstack (&stack, NULL); + gcc/ada/s-osinte-aix.ads: function sigaltstack + gcc/ada/s-osinte-aix.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-android.ads: function sigaltstack + gcc/ada/s-osinte-android.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-darwin.ads: function sigaltstack + gcc/ada/s-osinte-darwin.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-freebsd.ads: function sigaltstack + gcc/ada/s-osinte-freebsd.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-hpux.ads: function sigaltstack + gcc/ada/s-osinte-hpux.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-kfreebsd-gnu.ads: function sigaltstack + gcc/ada/s-osinte-kfreebsd-gnu.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-linux.ads: function sigaltstack + gcc/ada/s-osinte-linux.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-osinte-rtems.adb: -- sigaltstack -- + gcc/ada/s-osinte-rtems.adb: function sigaltstack + gcc/ada/s-osinte-rtems.adb: end sigaltstack; + gcc/ada/s-osinte-rtems.ads: function sigaltstack + gcc/ada/s-osinte-solaris-posix.ads: function sigaltstack + gcc/ada/s-osinte-solaris-posix.ads: pragma Import (C, sigaltstack, "sigaltstack"); + gcc/ada/s-taprop-linux.adb: Result := sigaltstack (Stack'Access, null); + gcc/ada/s-taprop-posix.adb: Result := sigaltstack (Stack'Access, null); + gcc/ada/init.c: stack.ss_sp = __gnat_alternate_stack; + gcc/ada/init.c: stack.ss_sp = __gnat_alternate_stack; + gcc/ada/init.c: stack.ss_sp = __gnat_alternate_stack; + gcc/ada/s-osinte-aix.ads: ss_sp : System.Address; + gcc/ada/s-osinte-android.ads: ss_sp : System.Address; + gcc/ada/s-osinte-darwin.ads: ss_sp : System.Address; + gcc/ada/s-osinte-darwin.ads: uc_stack : stack_t; -- Stack Used By This Context + gcc/ada/s-osinte-freebsd.ads: ss_sp : System.Address; + gcc/ada/s-osinte-hpux.ads: ss_sp : System.Address; + gcc/ada/s-osinte-kfreebsd-gnu.ads: ss_sp : System.Address; + gcc/ada/s-osinte-linux.ads: ss_sp : System.Address; + gcc/ada/s-osinte-rtems.ads: ss_sp : System.Address; + gcc/ada/s-osinte-solaris-posix.ads: ss_sp : System.Address; + gcc/ada/s-osinte-solaris.ads: ss_sp : System.Address; + gcc/ada/s-osinte-solaris.ads: uc_stack : record_type_2; + gcc/ada/s-taprop-linux.adb: Stack.ss_sp := Self_ID.Common.Task_Alternate_Stack; + gcc/ada/s-taprop-posix.adb: Stack.ss_sp := Self_ID.Common.Task_Alternate_Stack; + + --- diff --git a/toolchain/logs b/toolchain/logs -Subproject 17ecfe30c4c1cb2c5833bc58f0ec355ec38b107 +Subproject a264dc206a1ebd541f01d3f3c496a80b3b8d978 |