[PTLsim-devel] Assert false failed in ptlxen-memory.cpp:1192

Thu Mar 13 11:50:26 EDT 2008

Greetings. I finally managed to get ptlsim/x running on a different 
machine, a K8 with 8 Gb ram and debian testing. Ptlsim kills my domU 
(debian testing), both the 20071230-r228 and latest snapshot versions, 
each one tried compiling with both g++-4.1 and g++-4.2 .

Ptlsim dies with:
Assert false failed in ptlxen-memory.cpp:1192 (W64 loadphys(Waddr)) from 
0x63ff9 at 26628 cycles, 1471 commits, 26628 iterations

PTLsim Internal Error: unhandled trap 6 (invalid opcode): error code 
00000000

Inside of the DomU I only see:

Sending flush and command list to PTLsim hypervisor:
  -core ooo -stopinsns 100m -run
  -core seq -stopinsns 200m -run
  -native

and then exits and I get back to the dom0 prompt.

I'm running xen-3.1-ptlsim with the given mtyrel kernel 2.6.22.6 in both 
Dom0 and DomU, compiled from sources.

In Dom0: 

cat /sys/hypervisor/properties/capabilities
xen-3.0-x86_64 xen-3.0-x86_32p hvm-3.0-x86_32 hvm-3.0-x86_32p 
hvm-3.0-x86_64 -ptlsim

uname -a
Linux veleta 2.6.22.6-xen-mtyrel-ptlsimx #4 SMP Fri Mar 7 17:09:35 CET 
2008 x86_64 GNU/Linux

And also in DomU: Linux debianlenny 2.6.22.6-xen-mtyrel-ptlsimx #4 SMP 
Fri Mar 7 17:09:35 CET 2008 x86_64 GNU/Linux

Nevertheless the given disk example boots with this kernel and ptlctl 
works; I was trying to get a debian testing working inside to help 
deploying the different apps to simulate.

I attach the logs generated, the console output from ptlsim, the kernel 
config used and the domU config file

any help would be appreciated; I can help debugging in the machine as 
well if needed.

Thanks in advance ^^.

Ezequiel Lara Gómez - ezequiel.lara at fis.ucm.es
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: debianlenny3.cfg
Url: https://ptlsim.org/pipermail/ptlsim-devel/attachments/20080313/48ddade1/attachment-0001.bat 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ptlsim.log
Type: text/x-log
Size: 88182 bytes
Desc: not available
Url : https://ptlsim.org/pipermail/ptlsim-devel/attachments/20080313/48ddade1/attachment-0001.log 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: consoleoutput.txt
Url: https://ptlsim.org/pipermail/ptlsim-devel/attachments/20080313/48ddade1/attachment-0001.txt 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: config-xen0-2.6.22.6-xen-mtyrel-ptlsimx
Url: https://ptlsim.org/pipermail/ptlsim-devel/attachments/20080313/48ddade1/attachment-0002.bat 