users October 2011

users@lists.genode.org

5 participants
4 discussions

Further questions
by Peter Nguyen 30 Mar '12

30 Mar '12

Hi, Thanks you very much for that. I now have it running. I have another question about Genode. More specifically, I was wondering whether any of the Iguana services at all. I ask this given that the weaver.xml file refers to memsections and pds (i'm assuming that means protection domains). Peter ----- Forwarded message from Norman Feske <norman.feske@...1...> ----- Date: Tue, 05 Jan 2010 08:43:36 +0100 From: Norman Feske <norman.feske@...1...> Reply-To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Subject: Re: Broken assertion To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Hi Peter, this is a different error as the one mentioned in the Wiki. It actually tells you what's wrong. ;-) In the 'weaver.xml' file, there is a memsection referring to a file called 'config'. This is the configuration file of Genode's init process. You can use a copy of the template provided at 'os/config/demo'. You can either specify this file as filename for the 'config' module entry in 'weaver.xml' or copy it to your '<builddir>/bin/' directory (and of course rename it to 'config'). This bit was missing in the Wiki. So I added it to the Wiki page. Thank you for pointing it out. Norman Peter Nguyen wrote: > Hi, > > In the wiki describing how to build Genode on OKL4, does the bug alert refer to > following message: An error occurred: [Errno 2] No such file or directory: > 'config'? > > I've followed the build instructions, and i've changed the value as suggested as > the quick fix, but I still get this error. > > As usual, any help would be greatly appreciated. > > Peter ------------------------------------------------------------------------------ This SF.Net email is sponsored by the Verizon Developer Community Take advantage of Verizon's best-in-class app development support A streamlined, 14 day to market process makes app distribution fast and easy Join now and get one step closer to millions of Verizon customers http://p.sf.net/sfu/verizon-dev2dev _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main ----- End forwarded message -----

3 4

Build-system performance optimization
by Norman Feske 28 Oct '11

28 Oct '11

Hello, since I replaced the HDD of my development machine with a SSD, I experienced quite a boost of build performance. However, at the same time, it became apparent to me that the first stage of our build system consumes too much time considering the simple task it performs (finding inter-library dependencies). This prompted me to spend a relaxing evening to do some profiling, which uncovered a surprising hot spot: The calls of 'echo' for generating the 'var/libdeps' file. As result of my investigation, you can find two optimizations in SVN rev 190, which boosts the performance of the first build stage by factor 3 to 6 (depending on how comprehensive the actual build is) - at least on my machine. The first optimization is the eager detection of already visited libraries to prevent the build system from visiting them again (originally, this detection was performed later when already revisiting the library). This change improves the performance by circa 10%. Second and more importantly, subsequent echo commands are now batched into one command featuring multiple echoes. This way, only one shell is started for executing the whole sequence, which attributes for the significant performance gain mentioned above. This patch makes working with the Genode build system much more enjoyable for me - hopefully for you as well. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

GDB debugging
by Daniel Waddington 22 Oct '11

22 Oct '11

Hi, I am trying to use GDB. It works fine with test-gdb_monitor, but with my own program I run in to memory quota problems. I tried to fix it through the config file but it did not seem to help. Any clues? Daniel ---- terminal output [init] child "uart_drv" [init] RAM quota: 884736 [init] ELF binary: uart_drv [init] priority: 0 [init] provides service Terminal [init] Warning: Specified quota exceeds available quota. [init] Proceeding with a quota of 103554588 bytes. [init] child "gdb_monitor" [init] RAM quota: 103390748 [init] ELF binary: gdb_monitor [init] priority: 0 [init -> uart_drv] --- i8250 UART driver started --- [init -> gdb_monitor] Starting ldso ... [init] child "timer" announces service "Timer" [init] child "uart_drv" announces service "Terminal" [init -> gdb_monitor] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> gdb_monitor] using the pipe libc plugin [init -> gdb_monitor] Starting application ... environ: 85004 [init -> gdb_monitor] add_lwp(1, 1, 0) [init -> gdb_monitor] Remote debugging using /dev/terminal [init -> gdb_monitor] Memory model: no memory at address 1009164 [init -> gdb_monitor] Memory model: no memory at address 1009165 [init -> gdb_monitor] Memory model: no memory at address 1009166 [init -> gdb_monitor] Memory model: no memory at address 1009167 [init -> gdb_monitor] Memory model: no memory at address 1009164 [init -> gdb_monitor] Memory model: no memory at address 1009165 [init -> gdb_monitor] Memory model: no memory at address 1009166 [init -> gdb_monitor] Memory model: no memory at address 1009167 [init -> gdb_monitor] Memory model: no memory at address 1009164 [init -> gdb_monitor] Memory model: no memory at address 1009165 [init -> gdb_monitor] Memory model: no memory at address 1009166 [init -> gdb_monitor] Memory model: no memory at address 1009167 [init -> gdb_monitor] linux_resume_one_lwp(step = 0, signal = 0) [init -> gdb_monitor] genode_store_registers() - not yet implemented [init -> gdb_monitor] genode_wait_for_signal_or_gdb_interrupt [init -> gdb_monitor -> thread-migration] Starting ldso ... Quota exceeded: gdb_monitor memory for slab: 4096 used quota: 2175192 ds_size: 2138112 sizeof(Ram_session_component): 216 quota_limit: 3862528 [init -> gdb_monitor] C++ runtime: Genode::Ram_session::Quota_exceeded [init -> gdb_monitor] void* abort(): abort called --------------------------------------------------------------------- CPU 0 [00049d2f]: INT 3 CPU 1 [f0024d6a]: Maskable Interrupt CPU 2 [f0024d6a]: Maskable Interrupt --- config <config verbose="yes"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="SIGNAL"/> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <start name="timer"> <resource name="RAM" quantum="512K"/> <provides> <service name="Timer"/> </provides> </start> <start name="uart_drv"> <resource name="RAM" quantum="1M"/> <provides> <service name="Terminal"/> </provides> <config> <policy label="gdb_monitor" uart="1"/> </config> </start> <start name="gdb_monitor"> <resource name="RAM" quantum="1G"/> <config> <target name="thread-migration" /> </config> </start> </config>

3 5

New version of LDSO
by Sam Kerr 18 Oct '11

18 Oct '11

Hi, I have been working on porting some of my dynamic loader work to the newer version of Genode. I thought I would start by compiling the test-ldso program and running it. When I do, I get the following output, but I don't really understand why the errors are there. Can anyone offer guidance? [init -> test-ldso] Starting ldso ... [init -> test-ldso] Starting application ... environ: 83424 [init -> test-ldso] [init -> test-ldso] Static Geekings! [init -> test-ldso] ================ [init -> test-ldso] Test read [init -> test-ldso] no plugin found for read(0) [init -> test-ldso] Static object in funcion ... a: aaaaaaaa b: bbbbbbbb c: cccccccc 6: 00000666 [init -> test-ldso] Shared library function call ...good [init -> test-ldso] Ctor in shared lib ... a: aaaaaaaa b: bbbbbbbb c: cccccccc 6: 00000666 [init -> test-ldso] Exception in shared lib ... good (library) [init -> test-ldso] Cross library exception ... good (cross library) [init -> test-ldso] Exception during RPC: Could not open file "__not_found__" [init -> test-ldso] good [init -> test-ldso] Exception in dynamic binary ... good (binary) [init -> test-ldso] Exception inter-shared library ... good (inter) [init -> test-ldso] Exception from LDSO with explicit catch ... good [init -> test-ldso] Libc test: abs(-10): 10 [init -> test-ldso] ================ [init -> test-ldso] [init] virtual void Genode::Child_policy::exit(int): child exited with exit value 0 -Sam Kerr

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users October 2011