users

users@lists.genode.org

2285 discussions

Nic Driver performance
by Alexander Tarasikov 18 May '13

18 May '13

Hi, Genode hackers! I've been debugging the performance of the network under Genode. I am using Genode on X86 with the dde_ipxe nic driver. So far, I have figured out the following: 1. Memcpy and malloc calls in the nic driver take a negligible amount of time. I'm using X86 rdtsc to measure tick count, and memcpy usually amounts to 5-20 ticks 2. Most of time is spent in the rx_handler: the _alloc.submit() call (260 ticks) Inside the submit() routine (in the os/include/nic/component.h), around 80 percent of time is occupied by the "_rx.source()->submit_packet()" call. The submit() routine first checks for acknowledged packets from the client, and then calls the submit_packet() function. The Tx_thread::entry() gets packets from the client, sends it to the nic, and acks. My questions are the following: 1. Which ways to improve nic performance can you suggest? 2. Why does the nic rx ack the packets? since packet order should be handled by TCP, can we split packet acking and submitting the "current" packet into separate threads? 3. What is the suggested "best" way to debug IPC and profile applications? Thank you for your attention. Have fun! -- Regards, Alexander

2 2

failing in getting ipxe souce
by Raja Sekhar 17 May '13

17 May '13

Hi everybody & thanks to all for supporting us, I'm facing one problem while tying `make prepare` in `dde_ipxe` repository, I'm failing to get the code from ipxe.org. what should i do. could u please give me a way.... * Thanks & Regards* Raja Sekhar Reddy. B

3 3

64bit VMM support on Fiasco.OC
by Daniel Waddington 15 May '13

15 May '13

Hi, My current understanding is that L4Linux is x86_32 only. I am wondering what the best route to Linux virtualization on Fiasco.OC x86_64 is. Has anyone looked at porting the Karma VMM to Genode or looking at L4Linux 64bit support. I can't easily move to NOVA. Daniel

5 7

how to create device
by gaober 10 May '13

10 May '13

hi! thanks for stefan,norman and matthias's help. i use pandapoard to run l4android,when i insert usb mouse,it worked. i wonder who creates the device node for the usb mouse,the code in dde-linux or l4android?can you tell me which file does the thing? there is another question,how can i create a device node to communication with Android? thanks!

2 3

how to pass event to l4linux
by gaober 08 May '13

08 May '13

Hi! i implement touch screen driver in os\src\input\ft5406,and can get the coordinate x, y,then i use: _ev_queue.add(Input::Event(Input::Event::MOTION, 0, _abs_x, _abs_y, 0, 0)); _ev_queue.add(Input::Event(Input::Event::PRESS, Input::BTN_TOUCH, _abs_x, _abs_y, 0, 0)); _ev_queue.add(Input::Event(Input::Event::RELEASE, Input::BTN_TOUCH, _abs_x, _abs_y, 0, 0)); to add the event to the event queue. now the question is how can i pass the events to linux. the bot modules are: set boot_modules { core init timer omap4_gpio_drv omap4_i2c_drv omap4_fb_drv input_ft5406_drv sd_card_drv usb_drv nic_bridge nitpicker nit_fb part_blk terminal terminal_log l4android root-ginger.gz } thank you very much!!!

3 2

how to pass event to l4linux
by unknown＠example.com 08 May '13

08 May '13

2 2

Cap index quota
by Daniel Waddington 03 May '13

03 May '13

Hi, I have a Ram_connection which is running out of cap indexes - "cap index allocation failed". How do I increase the quota for these? I understand I can construct my own cap session, but its not clear how to get the Ram_connection to use it. Context is Genode on Fiasco.OC/amd64. Thanks Daniel

2 1

part_blk on fiasco.oc
by yuqing wang 02 May '13

02 May '13

Hi, I used the foc_x86_32 platform to try part_blk run script ,there was a error. [init -> atapi_drv] 5 and below: yes enabled: yes [init -> atapi_drv] PRD base at 002f9000 (physical) at 00002000 (virtual) [init -> atapi_drv] Device initialized! Enabling interrupts ... Error: Test execution timed out make: *** [run/part_blk] Error 254 I try to find where is wrong and I get it I add some print function in file : genodedir/os/src/drivers/atapi/ata_device.cc void Ata::Device::read_capacity() { _block_start = 0; _block_size = 512; enum { CMD_NATIVE_MAX_ADDRESS = 0xf8 }; if (_lba48) { PERR("_LBA48 TRUE"); //PERR("dev_num= %c\n",dev_num()); PERR("dev_num= %d\n",dev_num()); if (!reg_non_data_lba48(dev_num(), CMD_NATIVE_MAX_ADDRESS, 0, 1, 0UL, 0UL)) { PERR("reg in"); _block_end = _pio->inb(CB_SN); /* 0 - 7 */ _block_end |= _pio->inb(CB_CL) << 8; /* 8 - 15 */ _block_end |= _pio->inb(CB_CH) << 16; /* 16 - 23 */ _block_end |= _pio->inb(CB_DH) << 24; /* 24 - 31 */ } PERR("reg out"); } else { ... and log message like this [init -> atapi_drv] Bus master interface base addr: 0000c040 (I/O) secondary (no) (supported) [init -> atapi_drv] LBA48 [init -> atapi_drv] UDMA Modes supported: [init -> atapi_drv] 0 and below: yes enabled: no [init -> atapi_drv] 1 and below: yes enabled: no [init -> atapi_drv] 2 and below: yes enabled: no [init -> atapi_drv] 3 and below: yes enabled: no [init -> atapi_drv] 4 and below: yes enabled: no [init -> atapi_drv] 5 and below: yes enabled: yes [init -> atapi_drv] PRD base at 002f9000 (physical) at 00002000 (virtual) [init -> atapi_drv] Device initialized! Enabling interrupts ... [init -> atapi_drv] _LBA48 TRUE [init -> atapi_drv] dev_num= 0 Error: Test execution timed out make: *** [run/part_blk] Error 254 I think the dev_num =0 is the reason to cause my issue , but i can not solve it . Any help is appreciated. Regards Yuqing Wang

3 4

Splitting Dataspaces
by Daniel Waddington 30 Apr '13

30 Apr '13

Hi, If a process P has a dataspace (RAM) which it acquired from 'core', is there a way for it to split the dataspace so it can give some part to dataspace P2? Daniel

2 5

use ahci_drv on real hardware
by yuqing wang 30 Apr '13

30 Apr '13

Hi, I tried to add ahci_drv to l4linux to make my hard disk available. I modified the l4linux run script and tried ,found that there was something wrong during booting . The script and log file is attached . Is my script wrong,or I should change some config of l4linux? Regards Yuqing Wang

2 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users