On Wednesday 08 June 2005 19:38, Nix wrote:
> On Wed, 8 Jun 2005, [EMAIL PROTECTED] said:
> > On Tuesday 07 June 2005 21:47, Nix wrote:
> >> On Tue, 7 Jun 2005, [EMAIL PROTECTED] suggested tentatively:
> >> > On Tuesday 07 June 2005 18:21, Nix wrote:
> >> >> OK, so it's a -static TT build that's failing?
> >> >
> >> > Exactly.
> >>
> >> Built, with a randomly selected .config (that is, a .config I use for
> >> other things, not a .config with the values set at random!)
> >
> > Hmm, broken-out in the archives works perfectly (with patch-scripts). Go
> > until uml-link-tt-mode-against-nptl.patch and retry, and possibly even
> > with the previous one... please.
>
> OK, will do.
>
> >> With that applied, it builds...
> >>
> >> ... and segfaults almost at once on invocation:
> >>
> >> execve("./vmlinux", ["./vmlinux"], [/* 49 vars */]) = 0
> >> uname({sys="Linux", node="hades", ...}) = 0
> >> brk(0) = 0xa0343000
> >> brk(0xa0343834) = 0xa0343834
> >> set_thread_area({entry_number:-1 -> 6, base_addr:0xa034381c,
> >> limit:1048575, seg_32bit:1, contents:0, read_exec_only:0,
> >> limit_in_pages:1,
> >> seg_not_present:0, useable:1}) = 0 --- SIGSEGV (Segmentation fault) @ 0
> >> (0)
> >
> > Hmm, gdb would be more helpful... I was getting a SIGBUS somewhere on
> > x86_64 (with a native binary) here, and maybe it could be the same thing
> > (no, it can't, your error is different, so I'm talking to myself):
>
> Unlikely: this isn't an x86-64 box ;}
No, I thought it was a general error...
> > And here is the memory map... whoops! The code is trying to read from
> > 60c00000, which is mapped... but from an absurd address! And from a
> > different file from all the rest!
> [snip]
>
> > 60c00000-a2000000 rwxs ffffffffc0c00000 00:0e
> > 1383102 /tmp/vm_file-JmW1nY (deleted)
> Whaa?
Yes, strange offset... it's what I noted too.
> >> Looks like a thread initialization problem to *me*. And there be very
> >> serious and nasty snarling dragons with sharp pointy carborundum teeth
> > This kind of problems is normally caused from wrong alignments in the
> > linker script.
> I'm not surprised it dies: even ld can see that something's wrong. With
> V=1 we see this:
> gcc -static -Wl,--wrap,malloc -Wl,--wrap,free -Wl,--wrap,calloc -o
> vmlinux -Wl,-T,arch/um/kernel/vmlinux.lds init/built-in.o
> -Wl,--start-group usr/built-in.o arch/um/kernel/built-in.o
> arch/um/drivers/built-in.o arch/um/os-Linux/built-in.o
> arch/um/sys-i386/built-in.o arch/i386/crypto/built-in.o kernel/built-in.o
> mm/built-in.o fs/built-in.o ipc/built-in.o security/built-in.o
> crypto/built-in.o lib/lib.a lib/built-in.o drivers/built-in.o
> sound/built-in.o net/built-in.o -Wl,--end-group -lutil .tmp_kallsyms3.o ;
> rm -f linux /usr/bin/ld: BFD 2.16.90.0.3 20050510 assertion fail elf.c:3833
Only with V=1 the error is shown? Strange! Also, why the hell is this
assertion failing, in normal words? Is he complaining for the (now
missing) .thread_private section?
Also, would you be able to fix problems like "allocated 5 headers, needed 6"
or such? What are the criteria for choosing how many headers to allocate?
> which is the assertion here, inside
> bfd/elf.c:map_sections_to_segments():
>
> /* If there are any SHF_TLS output sections, add PT_TLS segment. */
> if (tls_count > 0)
> {
> int i;
>
> amt = sizeof (struct elf_segment_map);
> amt += (tls_count - 1) * sizeof (asection *);
> m = bfd_zalloc (abfd, amt);
> if (m == NULL)
> goto error_return;
> m->next = NULL;
> m->p_type = PT_TLS;
> m->count = tls_count;
> /* Mandated PF_R. */
> m->p_flags = PF_R;
> m->p_flags_valid = 1;
> for (i = 0; i < tls_count; ++i)
> {
> BFD_ASSERT (first_tls->flags & SEC_THREAD_LOCAL);
> m->sections[i] = first_tls;
> first_tls = first_tls->next;
> }
>
> *pm = m;
> pm = &m->next;
> }
> > Btw, I forgot that broken-out is in perfect state and would help more for
> > debug...
>
> I'll try that next.
Here I've attached the patch that today worked for me; it replaces the one
with the same name, and I applied until it.
Please, take care that there is no dependency yet from unmap_fin.o to vmlinux,
so modifying that file won't show up in the final result unless you either
tocuh arch/um/kernel/vmlinux.lds or (untested) rm .tmp_vmlinux1.
> > Global warming, isn't it? However don't worry, the Gulf Current is going
> > to stop so you'll get refreshed of -10 degrees...
> Excellent. Bring back the ice age!
> (Hm. My house wouldn't stand up well under a kilometre of ice...)
Everybody gets a free new house! Global warming is the next killer application
for house building!
--
Inform me of my mistakes, so I can keep imitating Homer Simpson's "Doh!".
Paolo Giarrusso, aka Blaisorblade (Skype ID "PaoloGiarrusso", ICQ 215621894)
http://www.user-mode-linux.org/~blaisorblade
From: Paolo 'Blaisorblade' Giarrusso <[EMAIL PROTECTED]>, Al Viro <[EMAIL PROTECTED]>
To make sure switcheroo() can execute when we remap all the executable image,
we used a trick to make it use a local copy of errno... this trick does not
work with NPTL glibc, only with LinuxThreads, so use another (simpler) one to
make it work anyway.
Hopefully, a lot improved thanks to merging with the version of Al Viro (which
had his part of problems, though, i.e. removing a fix to another bug and not
fixing the problem on i386).
Signed-off-by: Paolo 'Blaisorblade' Giarrusso <[EMAIL PROTECTED]>
---
linux-2.6.git-paolo/arch/um/Makefile | 2 -
linux-2.6.git-paolo/arch/um/kernel/tt/Makefile | 15 ----------
linux-2.6.git-paolo/arch/um/kernel/uml.lds.S | 15 ++--------
linux-2.6.git-paolo/arch/um/scripts/Makefile.rules | 6 ++++
linux-2.6.git-paolo/arch/um/scripts/Makefile.unmap | 22 ++++++++++++++
linux-2.6.git-paolo/arch/um/sys-i386/Makefile | 2 +
linux-2.6.git-paolo/arch/um/sys-i386/unmap.c | 25 ++++++++++++++++
linux-2.6.git-paolo/arch/um/sys-x86_64/Makefile | 2 +
linux-2.6.git-paolo/arch/um/sys-x86_64/unmap.c | 25 ++++++++++++++++
linux-2.6.git/arch/um/kernel/tt/unmap.c | 31 ---------------------
10 files changed, 86 insertions(+), 59 deletions(-)
diff -L arch/um/kernel/tt/unmap.c -puN arch/um/kernel/tt/unmap.c~uml-link-tt-mode-against-nptl /dev/null
--- linux-2.6.git/arch/um/kernel/tt/unmap.c
+++ /dev/null 2005-03-04 21:12:55.000000000 +0100
@@ -1,31 +0,0 @@
-/*
- * Copyright (C) 2000 Jeff Dike ([EMAIL PROTECTED])
- * Licensed under the GPL
- */
-
-#include <sys/mman.h>
-
-int switcheroo(int fd, int prot, void *from, void *to, int size)
-{
- if(munmap(to, size) < 0){
- return(-1);
- }
- if(mmap(to, size, prot, MAP_SHARED | MAP_FIXED, fd, 0) != to){
- return(-1);
- }
- if(munmap(from, size) < 0){
- return(-1);
- }
- return(0);
-}
-
-/*
- * Overrides for Emacs so that we follow Linus's tabbing style.
- * Emacs will notice this stuff at the end of the file and automatically
- * adjust the settings for this buffer only. This must remain at the end
- * of the file.
- * ---------------------------------------------------------------------------
- * Local variables:
- * c-file-style: "linux"
- * End:
- */
diff -puN arch/um/kernel/uml.lds.S~uml-link-tt-mode-against-nptl arch/um/kernel/uml.lds.S
--- linux-2.6.git/arch/um/kernel/uml.lds.S~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/kernel/uml.lds.S 2005-06-07 19:10:51.000000000 +0200
@@ -14,19 +14,10 @@ SECTIONS
/* Used in arch/um/kernel/mem.c. Any memory between START and __binary_start
* is remapped.*/
__binary_start = .;
-#ifdef MODE_TT
- .thread_private : {
- __start_thread_private = .;
- errno = .;
- . += 4;
- arch/um/kernel/tt/unmap_fin.o (.data)
- __end_thread_private = .;
- }
- . = ALIGN(4096);
- .remap : { arch/um/kernel/tt/unmap_fin.o (.text) }
- /* We want it only if we are in MODE_TT. In both cases, however, when MODE_TT
- * is off the resulting binary segfaults.*/
+#ifdef MODE_TT
+ .remap_data : { arch/um/sys-SUBARCH/unmap_fin.o (.data .bss) }
+ .remap : { arch/um/sys-SUBARCH/unmap_fin.o (.text) }
. = ALIGN(4096); /* Init code and data */
#endif
diff -puN /dev/null arch/um/sys-i386/unmap.c
--- /dev/null 2005-03-04 21:12:55.000000000 +0100
+++ linux-2.6.git-paolo/arch/um/sys-i386/unmap.c 2005-06-07 19:10:51.000000000 +0200
@@ -0,0 +1,25 @@
+/*
+ * Copyright (C) 2000 Jeff Dike ([EMAIL PROTECTED])
+ * Licensed under the GPL
+ */
+
+#include <linux/mman.h>
+#include <asm/unistd.h>
+
+static int errno;
+
+static inline _syscall2(int,munmap,void *,start,size_t,len)
+static inline _syscall6(void *,mmap2,void *,addr,size_t,len,int,prot,int,flags,int,fd,off_t,offset)
+int switcheroo(int fd, int prot, void *from, void *to, int size)
+{
+ if(munmap(to, size) < 0){
+ return(-1);
+ }
+ if(mmap2(to, size, prot, MAP_SHARED | MAP_FIXED, fd, 0) != to){
+ return(-1);
+ }
+ if(munmap(from, size) < 0){
+ return(-1);
+ }
+ return(0);
+}
diff -puN /dev/null arch/um/sys-x86_64/unmap.c
--- /dev/null 2005-03-04 21:12:55.000000000 +0100
+++ linux-2.6.git-paolo/arch/um/sys-x86_64/unmap.c 2005-06-07 19:10:51.000000000 +0200
@@ -0,0 +1,25 @@
+/*
+ * Copyright (C) 2000 Jeff Dike ([EMAIL PROTECTED])
+ * Licensed under the GPL
+ */
+
+#include <linux/mman.h>
+#include <asm/unistd.h>
+
+static int errno;
+
+static inline _syscall2(int,munmap,void *,start,size_t,len)
+static inline _syscall6(void *,mmap,void *,addr,size_t,len,int,prot,int,flags,int,fd,off_t,offset)
+int switcheroo(int fd, int prot, void *from, void *to, int size)
+{
+ if(munmap(to, size) < 0){
+ return(-1);
+ }
+ if(mmap(to, size, prot, MAP_SHARED | MAP_FIXED, fd, 0) != to){
+ return(-1);
+ }
+ if(munmap(from, size) < 0){
+ return(-1);
+ }
+ return(0);
+}
diff -puN arch/um/kernel/tt/Makefile~uml-link-tt-mode-against-nptl arch/um/kernel/tt/Makefile
--- linux-2.6.git/arch/um/kernel/tt/Makefile~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/kernel/tt/Makefile 2005-06-07 19:10:51.000000000 +0200
@@ -3,10 +3,6 @@
# Licensed under the GPL
#
-extra-y := unmap_fin.o
-targets := unmap.o
-clean-files := unmap_tmp.o
-
obj-y = exec_kern.o exec_user.o gdb.o ksyms.o mem.o mem_user.o process_kern.o \
syscall_kern.o syscall_user.o time.o tlb.o tracer.o trap_user.o \
uaccess.o uaccess_user.o
@@ -16,14 +12,3 @@ obj-$(CONFIG_PT_PROXY) += gdb_kern.o ptp
USER_OBJS := gdb.o time.o tracer.o
include arch/um/scripts/Makefile.rules
-
-UNMAP_CFLAGS := $(patsubst -pg -DPROFILING,,$(USER_CFLAGS))
-UNMAP_CFLAGS := $(patsubst -fprofile-arcs -ftest-coverage,,$(UNMAP_CFLAGS))
-
-#XXX: partially copied from arch/um/scripts/Makefile.rules
-$(obj)/unmap.o: c_flags = -Wp,-MD,$(depfile) $(UNMAP_CFLAGS)
-
-$(obj)/unmap_fin.o : $(obj)/unmap.o
- $(LD) -r -o $(obj)/unmap_tmp.o $< $(shell $(CC) -print-file-name=libc.a)
- $(OBJCOPY) $(obj)/unmap_tmp.o $@ -G switcheroo
-
diff -puN arch/um/sys-i386/Makefile~uml-link-tt-mode-against-nptl arch/um/sys-i386/Makefile
--- linux-2.6.git/arch/um/sys-i386/Makefile~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/sys-i386/Makefile 2005-06-07 19:10:51.000000000 +0200
@@ -15,3 +15,5 @@ bitops.c-dir = lib
semaphore.c-dir = kernel
highmem.c-dir = mm
module.c-dir = kernel
+
+include arch/um/scripts/Makefile.unmap
diff -puN arch/um/sys-x86_64/Makefile~uml-link-tt-mode-against-nptl arch/um/sys-x86_64/Makefile
--- linux-2.6.git/arch/um/sys-x86_64/Makefile~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/sys-x86_64/Makefile 2005-06-07 19:10:51.000000000 +0200
@@ -29,3 +29,5 @@ thunk.S-dir = lib
module.c-dir = kernel
subdir- := util
+
+include arch/um/scripts/Makefile.unmap
diff -puN /dev/null arch/um/scripts/Makefile.unmap
--- /dev/null 2005-03-04 21:12:55.000000000 +0100
+++ linux-2.6.git-paolo/arch/um/scripts/Makefile.unmap 2005-06-07 19:10:51.000000000 +0200
@@ -0,0 +1,22 @@
+clean-files += unmap_tmp.o unmap_fin.o unmap.o
+
+ifdef CONFIG_MODE_TT
+
+#Always build unmap_fin.o
+extra-y += unmap_fin.o
+#Do dependency tracking for unmap.o (it will be always built, but won't get the tracking unless we use this).
+targets += unmap.o
+
+#XXX: partially copied from arch/um/scripts/Makefile.rules
+$(obj)/unmap.o: _c_flags = $(call unprofile,$(CFLAGS))
+
+quiet_cmd_wrapld = LD $@
+define cmd_wrapld
+ $(LD) -r -o $(obj)/unmap_tmp.o $< $(shell $(CC) -print-file-name=libc.a); \
+ $(OBJCOPY) $(obj)/unmap_tmp.o $@ -G switcheroo
+endef
+
+$(obj)/unmap_fin.o : $(obj)/unmap.o FORCE
+ $(call if_changed,wrapld)
+
+endif
diff -puN arch/um/Makefile~uml-link-tt-mode-against-nptl arch/um/Makefile
--- linux-2.6.git/arch/um/Makefile~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/Makefile 2005-06-07 19:10:51.000000000 +0200
@@ -118,7 +118,7 @@ endif
CPPFLAGS_vmlinux.lds = $(shell echo -U$(SUBARCH) \
-DSTART=$(START) -DELF_ARCH=$(ELF_ARCH) \
-DELF_FORMAT=\"$(ELF_FORMAT)\" $(CPP_MODE-y) \
- -DKERNEL_STACK_SIZE=$(STACK_SIZE))
+ -DKERNEL_STACK_SIZE=$(STACK_SIZE) -DSUBARCH=$(SUBARCH))
#The wrappers will select whether using "malloc" or the kernel allocator.
LINK_WRAPS = -Wl,--wrap,malloc -Wl,--wrap,free -Wl,--wrap,calloc
diff -puN arch/um/scripts/Makefile.rules~uml-link-tt-mode-against-nptl arch/um/scripts/Makefile.rules
--- linux-2.6.git/arch/um/scripts/Makefile.rules~uml-link-tt-mode-against-nptl 2005-06-07 19:10:51.000000000 +0200
+++ linux-2.6.git-paolo/arch/um/scripts/Makefile.rules 2005-06-07 19:10:51.000000000 +0200
@@ -10,6 +10,12 @@ USER_OBJS := $(foreach file,$(USER_OBJS)
$(USER_OBJS) : c_flags = -Wp,-MD,$(depfile) $(USER_CFLAGS) \
$(CFLAGS_$(notdir $@))
+# The stubs and unmap.o can't try to call mcount or update basic block data
+define unprofile
+ $(patsubst -pg,,$(patsubst -fprofile-arcs -ftest-coverage,,$(1)))
+endef
+
+
quiet_cmd_make_link = SYMLINK $@
cmd_make_link = ln -sf $(srctree)/arch/$(SUBARCH)/$($(notdir $@)-dir)/$(notdir $@) $@
_