Double Page Fault problem

Leon ljbrits at
Wed Sep 8 18:02:36 CEST 2004

Hi all,

I've noticed that I often get a Double PF error if I load the same (or a  
different program) directly after each other. I've been trying different  
programs to see if I can get a pattern but without any luck. In this debug  
output I ran the program "simple_ts_test" directly after each other and  
.....Double PF error. This has happened to dm_phys_test, thread_test, and  

Q1: Is this just my setup or a possible bug?

I've also noticed that the apps starting directly after each other gets  
the same task-ID. This is new (my 04-08-01 CVS build always incremented  
the number). Maybe this is related to the error?

Q2: From the debug output - why does it not find library ""?


ts_test | --> App 48: Hello World!
ts_test | Task 48.00 stack at 00113000..00113fff is up
ts_test | kill
ts_test | create
ts_test | --> App 49: Hello World!
ts_test | Task 49.00 stack at 00114000..00114fff is up
ts_test | l4ts_allocate_task(): failed (server=A.00, ret=-12, exc 0)
ts_test | Expected error allocating task: -12
ts_test | 50 tasks created
ts_test | Task 49.00 killed
ts_test | Task 49.00 freed
ts_test | Task 49.00 with diff. version number re-allocated
ts_test | --> App 50: Hello World!
ts_test | Task 49.00 re-created
simple_t| l4_ts_exit_component(): Exit 17.02
run     | l
run     |
tftp    | Loading (nd)/fiasco/simple_ts_test [597kB]
loader  | "(nd)/fiasco/simple_ts_test" is a valid binary image
loader  | Setting libpath to (nd)/fiasco/
exec    | simple_ts_test: Loading
exec    | simple_ts_test: Saved 20339 bytes of symbols
exec    | simple_ts_test: library "" not found
loader  | simple_ts_test: Starting sigma0-style application
exec    | simple_ts_test: Packed 14191 bytes of symbols
exec    | simple_ts_test: Packed 55086 bytes of lines
loader  | simple_ts_test,#17: Entry at 00009c78 => 00a00000
loader  | simple_ts_test,#17: Started
run     | .
loader  | simple_ts_test,#17: Double PF (r) at 0000afe4 eip 00a0f6e5  

More information about the l4-hackers mailing list