[okl4-developer] port problem arrised when turning l2 data cache on

[Gabi Voiculescu]

Hello.

I am having some difficulties in turning the data cache on my arm1176.

When I run an image created with L1 DCache on and:

project=iguana test_libs=all pistachio.enter_kdb=True 

arguments in the command line I get some think like this:

--- KD# User: __slab_cache_add: after l4e_map() ---
> go
roottask write pagefault at 07fff000, ip=00106594 - deny
--- KD# roottask pagefault  ---
> go
Assertion "get_saved_state() == thread_state_t::aborted" failed in file 'pistachio/src/thread.cc', line 702 (fn=f000b354)
--- KD# assert  ---
> reset


I have narrowed the problem to the existance of two UTCB structures. The kernel does the mapping in one of them (the one in USER_AREA), and at the end of the system call passes the information back, via that particular UTCB structure.

However the roottask searches for the system call reply in the structure found at MISC_AREA, where it is reading some old reply message registers, which tell it the map was successful.

However when trying to access the TLB entry for the first time, I get the page fault.

Similarly, in l4test, the the run fails on the first system call between the kernel and roottask:

domain pairs: (0, 1)
Initialising scheduler...
Switching to idle thread
Initializing root servers
root-servers: utcb_area: eff00100 (64KB)
creating root server (00000001)
--- KD# System started (press 'g' to continue)  ---
> go
[__sys_entry] bootinfo: stack_base=0x2000, stack_end=0x2fff, heap_base=0x8000000, heap_end=0x80fffff
--- KD# User: ENTERING L4TEST MAIN ---
> go
[main] shbz=0x0, shb1=0x1bootinfo: max space = 256, max mutex = 256, phys [0x800000, 0x7ffefff)
Running suite(s): L4 Test suite
default_thread_handler: msg label = 0  from 0
libs/check/src/check_run.c:370: Failed to receive test result
--- KD# User: L4 Rootserver exit ---
> go


Did you encounter this problem before? 

Which one of the flush functions do you normally use to ensure there is no aliasing between kernel and roottask UTCBs?

Thank you,
Gabi Voiculescu


       
---------------------------------
Be a better friend, newshound, and know-it-all with Yahoo! Mobile.  Try it now.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080504/3f9302a0/attachment.htm