users

users@lists.genode.org

2 participants
2342 discussions

Using negative cache index
by Ildar Ismagilov 22 Oct '12

22 Oct '12

In function Req_cache::remove on ports-foc/src/lib/l4lx/genode_block.cc file: void remove(void *packet, void **request) { int idx = _find(packet); if (idx < 0) { *request = 0; PERR("Req cache entry not found!"); } *request = _cache[idx].req; // <--- if idx is -1, this negative index used for access _cache array elements _cache[idx].pkt = 0; _cache[idx].req = 0; } should be: void remove(void *packet, void **request) { int idx = _find(packet); if (idx < 0) { *request = 0; PERR("Req cache entry not found!"); } else { *request = _cache[idx].req; _cache[idx].pkt = 0; _cache[idx].req = 0; } } -- Best regards Ildar

3 3

Bug of 1G memory use.
by v.shilkin 15 Oct '12

15 Oct '12

Bug of 1G memory use. *Description:* When allow system using more than 512M of memory, user level apps execution can cause ‘Segmentation fault’ or glibc error. * Reproduction:* *On PandaBoard:* _In bootstrap_: in /base-foc/contrib/l4/mk/platforms/pandaboard.conf/ if set /PLATFORM_RAM_SIZE_MB = *1024*/ (whole physical memory present on PandaBoard)// // And if allow L4Linux using more than 512M memory: when modify run script: ‘/ports-foc/run/linux_panda.run’:/__ <start name="vmlinux.1" priority="-1"> <binary name="l4linux"/> <resource name="RAM" quantum="796M"/> <config args="mem=*754M* l4x_rd=initrd.gz"> <block label="sda" /> </config> </start> *(754M* is given for example*)* System boots up. But user level apps can cause ‘Segmentation fault’ or glibc error. Error is stable on command ‘*find*’ on fresh-booted system. *On**QEMU:*** To support 1G of memory on Realview platform file ‘/base-foc/contrib/l4/pkg/bootstrap/server/src/platform/rv.cc’/ (attached) was modified. (Address regions got from platform documentation.) On system boot below error occurs: /Assertion failed: 'idx < _nchips' [ret=0xf006f214]/ //Projects/l4bsdd/base-foc/contrib/kernel/fiasco/src/kern/irq_mgr_multi_chip.cpp:76 at f0007c00/ There is no such error if Fiasco.OC was built with –O1 gcc option (only with –O2), but L4Linux can’t boot anyway because of memory allocation error. Best regards, Vladimir Shilkin

2 1

Power saving feature in Genode and Fiasco.OC
by Steve 12 Oct '12

12 Oct '12

I really appreciate you for sharing this excellent platform. :) As I titled, I'm wondering if Genode and Fiasco.OC have power saving features, especially on a Panda board. For example, reducing voltage, lowering frequency, and so on. I heard that Genode and Fiasco.OC with L4Linux consume more power than a native linux in the idle state (on the Panda board). Best regards, Steve

2 1

Non-existing service tolerance
by Markus Partheymueller 11 Oct '12

11 Oct '12

Hi Folks, I recently stumbled across an issue when connecting to a service that is non-essential for the child. Currently, the connection attempt, although surrounded by a try-catch block, leads to an abort call by init. While this seems logical for essential services, it is not intended for service connections that are optional. I'd rather that one could try to connect to the service and react to a failure of this attempt in a way the client has to define. If the client can live without the service, it should be allowed to carry on. In my opinion, this decision should be up to the client, not to the service framework of genode. Is there any chance to find out if a service exists without getting aborted? Any hint would be appreciated. Cheers Markus

3 2

Service Nic not yet available
by Markus Partheymueller 11 Oct '12

11 Oct '12

Hi Folks, I'm trying to use the dde_ipxe NIC driver, but when I connect to the service from within a launchpad-launched app, I get this message: [init -> launchpad] init: service Nic not yet available - sleeping But prior to that, the service was actually announced: [init] child "nic_drv" announces service "Nic" When I create the connection in the launchpad app, it works fine. The relevant config snippets are: <start name="nic_drv"> <resource name="RAM" quantum="2M"/> <provides> <service name="Nic"/> </provides> <route> <any-service><any-child/><parent/></any-service> </route> </start> <start name="launchpad"> <resource name="RAM" quantum="2G"/> <configfile name="launchpad-config"/> <route> <any-service><any-child/><parent/></any-service> </route> </start> And within the launchpad-config: <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"/> <service name="Nitpicker"/> <service name="Timer"/> <service name="Nic"/> </parent-provides> <start name="testapp"> <binary name="testapp"/> <resource name="RAM" quantum="4M"/> <route> <service name="Timer"><parent/></service> <service name="Input"><child name="fb"/></service> <service name="Framebuffer"><child name="fb"/></service> <any-service><parent/></any-service> </route> </start> Am I missing something? Cheers, Markus

2 2

l4linux block driver bugs
by i.ismagilov 10 Oct '12

10 Oct '12

Thanks for fast fixing of 'SD card doesn't start due to I/O pages caching' bug. But SD card still doesn't normally work on PandaBoard. It seems that there are 2 more problems with it. * * *Bug 1.* File cache subsystem generates an interrupt processing error _at intensive read/write access to SD card_: in Vcpu interrupts are disabled in the place where they should be allowed (/ports-foc/contrib/l4linux/fs/buffer.c:1231/). The same error occurs in qemu in other sub-system (/ports-foc/contrib/l4linux/kernel/softirq.c:159/) *Solution:* Function prototype in /ports-foc/src/lib/l4lx/include/linux.h/: /FASTCALL void l4x_irq_save(unsigned long *flags*); /should be: /FASTCALL void l4x_irq_save(unsigned long **flags*);/ So, value of interrupt state (enabling/disabling) was not properly stored before above correction. *Bug 2.* L4Linux 'hangs' because of problem with its virtual block device _at intensive read/write access to SD card on PandaBoard_. In Genode block driver memory for storing of packages sent via IPC sometimes is over /(ports-foc/src/lib/l4lx/genode_block.cc:281)/. In such case L4Linux virtual block driver is blocked on semaphore /(ports-foc/src/drivers/genode_block.c:98)/. When memory for IPC packages storage in Genode block driver becomes ready for use, driver sends signal to the thread '*blk-signal-thread*' /(ports-foc/src/lib/l4lx/genode_block.cc:126)/. Thread 'blk-signal-thread' catches the signal and generates interrupt by calling function '*l4_irq_trigger*' /(ports-foc/src/lib/l4lx/genode_block.cc:154)/. But, L4Linux doesn't catch the interrupt and hangs. In normal case interrupt is to be catched and interrupt handler '*event_interrupt*' /(ports-foc/src/drivers/genode_block.c:172)/ should be called; increment semaphore counter by 1 (/ports-foc/src/drivers/genode_block.c:146/) and thus un-block L4Linux driver.

2 3

SD service of Genode master branch for Fiasco.OC / PandaBoard doesn’t start
by i.ismagilov 04 Oct '12

04 Oct '12

*_Bug:_* SD service of Genode master branch _for Fiasco.OC / PandaBoard_ doesn’t start with *"SD command error"* (occurs in /os/src/drivers/sd_card/omap4/mmchs.h/:824). *_ _* *_Description:_**__* L4_FPAGE_BUFFERABLE constant (/base-foc/src/base/ipc/pager.cc/:91) is used to configure I/O memory region. In *Fiasco.OC *this constant is prepared as Page::*BUFFERED* (/base-foc/contrib/kernel/fiasco/src/kern/arm/paging-arm.cpp/:65). In *Fiasco.OC revision* *38* this constant is equal to *0x04* (for both ARMv6 and ARMv7). In revision 40 it was changed to *0x40*. This modification causes SD card driver error (and possible other driver errors) for ARMv6 and v7 architectures. *0x04*value seems to correspond to *‘Device’ memory type* (for I/O). Memory pages corresponding to I/O are non-cacheable. *0x40*value is seems for ‘Normal’ memory type. *Pages are cached* in this case but *this is not allowed for I/O* and causes SD card error. *_Solutions:_* 1) Page::*BUFFERED* constant seems to be _used for I/O only_, not for RAM (currently). So, we propose to set Page::BUFFERED constant to 0x40 in rev. 40 as it was in rev. 38 (*see attached patch*). 2) If Page::BUFFERED constant is planned to use _for RAM memory also_, some other constant for I/O memory pages configuring and related workaround in Genode driver to be added.

2 1

[Question] Genode File/IO sync
by 김연우 27 Sep '12

27 Sep '12

2 1

Storage device considerations
by Markus Partheymueller 19 Sep '12

19 Sep '12

Hi Folks, starting to discover the possibilities of using storage devices under genode, a few questions arised: (1) AHCI is declared non-working on Fiasco.OC and NOVA. Is this planned to be resolved in the near future? (2) USB Storage is supporting only one device. Are there plans to extend this? (3) Using the part_blk service, it is possible to redirect children to different partitions of the same storage device. What I'm interested in is somehow the inverse. Is it even possible for a child to get access to multiple block devices? I think it is quite a limiting constraint if a child can only access one single storage device. The background for this question is of course the Vancouver port. I was able to give the guest VM access to exactly one storage device through the Block Session Interface of the USB service. However, as soon as the VM is configured to use a second device, the existing infrastructure does not allow that (or I haven't found the proper service..). So, I would like to open the discussion on this topic to see where the path could lead. Cheers, Markus

3 2

How to make rm-sessions upgradeable?
by Taru Karttunen 18 Sep '12

18 Sep '12

Hello When spawning more threads the rm-session from the env needs to be upgraded in various places. This can occur when spawning new threads and even in thread.start(). Thus one needs a way to make the rm-session in env upgradeable from the outside. A simple way to fix would be to define a class Upgradeable_rm_session : public Rm_session { void upgrade(const char *); }; And make some private inheritance into protected inheritance i.e. Rpc_client into template <typename RPC_INTERFACE> struct Rpc_client : *protected* Capability<RPC_INTERFACE>, RPC_INTERFACE ... Is there a better and more non-invasive way to do this? If not - would a patch implementing this be accepted? An alternative would be to expose the capability in env in addition to the session, but I think that is even more ugly. - Taru Karttunen

2 3

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users