[okl4-developer] help on usage of trace buffer on Iguana

[Lei Sun]

Hi Nelson:

Thank you for your help. While currently I am working on some old stuff 
later than Iguana 1.1 release.
Maybe it is Iguana 1.2  working version.

Just now, I have a try to fix the problem maybe in a dirty way.

I directly add the following line into pistachio/Sconstruct:
    config_defines = [
    .....
    ("CONFIG_TRACEBUFFER", 1),
    ("CONFIG_TRACEBUF_PAGES",1024),
    ]

after that, I recompiled pistachio,
and found the trace buffer menu has been enabled,
and I could dump it out :-)

Anyway, thank you for your help.
While I have another problem about OKL4 program.
What's the difference between the OKL4 program and iguana1.2 on the  
point of
1) trace buffer mechanism
2) shared memory mechanism

For I have written some code in the old version,
I am a little lazy :-)

Nelson Tam wrote:
> Hi Lei,
>
> On 28/02/2008, at 17:24, Lei Sun wrote:
>
>> I just started to work on some topic on L4 pistachio together with 
>> Iguana.
>> What I want to do is kind of system runtime logging stuff or post
>> processing.
>>
>> I wonder someone could offer some help on the configuration trace buffer
>> server on IA32?
>
> The trace server allows other OKL4 programs to access the kernel 
> tracebuffer.  Unfortunately the code, as it stands, is obsolete and 
> stale.  It's not going to work for the time being.
>
> There are other ways to access the kernel tracebuffer.  For example, 
> when you build OKL4, add "enter_kdb=yes" to the command line 
> arguments.  When you enter KDB, hit 'r' to get into the tracepoints 
> menu, then 'E' to enable tracepoints, then 'c' to configure the 
> tracepoints you're interested in [1].  The tracebuffer will then be 
> piped to the console output.
>
> I hope this is enough to get you going.  If you need further 
> assistance, please ask :)
>
> Nelson.
>
> [1] You can also press 'C' to batch-configure all tracepoints.  After 
> you're done, hit 'ESC' to get back to the main KDB menu, then 'g' to 
> resume execution.
>
>


-- 
Best regards

Lei Sun<sunlei at dcl.info.waseda.ac.jp>
WebPage<http://www.dcl.info.waseda.ac.jp/~sunlei/>
PhD Candidate
Distributed Computing Laboratory
Department of Computer Science, Waseda University
Bld.61 Room 505, 3-4-1 Okubo, Shinjuku-ku, Tokyo, JAPAN, 169-8555
Tel/Fax:(+81)-3-5286-3185