[ldv-project] failed befor RI

Wed Nov 7 11:53:54 MSK 2012

在 2012-11-07 00:23:26，"Ma Lele" <tupipa0929 at 126.com> 写道：

At 2012-11-06 23:11:19,"Evgeny Novikov" <eugenenovikov at yandex.ru> wrote:
On 11/06/2012 05:48 PM, Ma Lele wrote:

At 2012-11-06 22:59:25,"Evgeny Novikov" <eugenenovikov at yandex.ru> wrote:
On 11/04/2012 05:13 PM, Ma Lele wrote:
Hello Evgeny Novikov,

I installed ldv-console and visualizer successfully, but when verifying the cdrom driver by command:

LDV_VIEW=y LDV_DEBUG=100 ldv-manager tag=current "envs=linux-2.6.36.tar.bz2" kernel_driver=1 "drivers=drivers/cdrom" "rule_models=32_7 32_1"

Then, upload to the database, I got the "failed before RI" results.

The most strange thing is that the warnings/errors seemed as the same to the other success verifying process ,such as the usb kernel driver. I attached both the outputs by files "cdrom.log", and "usb.log".

and the usb verification results is:

So , what should be done to solve the problem?

Thank you in advance!

--

Best Regards,
MA Lele
Hello Lele,

Logs for cdrom and usb drivers differ from each other. There is such the line in cdrom log:
ldv-core: WARNING: SOAP error: 500 Server closed connection without sending any data back at /home/malele/programs/ldv/ldv-core/ldv-core line 231
Actually I don't know why did this happen. You have to examine and attach BCE or/and CSD logs to understand the reason (they can be found elsewhere in /home/malele/ldv-lab/2.0-test-0032-cdrom.c-2.6.36/ws4/work/current--X--drivers/cdrom--X--defaultlinux-2.6.36--X--32_7--X--32_1/linux-2.6.36/ldv_tempdir/ and /home/malele/ldv-lab/2.0-test-0032-cdrom.c-2.6.36/ws4/work/current--X--drivers/cdrom--X--defaultlinux-2.6.36--X--32_7--X--32_1/linux-2.6.36/bce_tempdir/ at your machine). As for me It works, but I have tried a different command:
rm -rf work && LDV_DEBUG=100 LDV_VIEW=y time ldv-manager envs=linux-2.6.39.tar.bz2 drivers=drivers/cdrom rule_models=32_7a kernel_driver=1 2>&1 | tee log

May be you need to remove "work" directory before launching ldv-manager since old launch results may affect new ones (note, that I used "rm -rf work &&" before launching ldv-manager).

-- 
Best regards, Evgeny Novikov.

Firstly , for the previous running ,  I simply attached the whole directory : 
 /home/malele/ldv-lab/2.0-test-0032-cdrom.c-2.6.36/ws4/work/current--X--drivers/cdrom--X--defaultlinux-2.6.36--X--32_7--X--32_1/linux-2.6.36
compressed to linux-2.6.36.tar.gz (attached) .

Then , I remove the work directory elsewhere and run the command as directed, update to database, but still the same error:
"failed before RI", I also attached the file 'log' the command outputs.

I examined your log. So, I guess that you have to update LDV tools one more time, because of commit 08610c4, made at October 31, has fixed a critical issue related with in kernel drivers verification. This update should be much more easy. You just need in GIT directory run something like:
git pull origin master
git submodule update --init --recursive
prefix=... make install

and you will get working LDV tools in a couple of minutes.

BTW, Can I just run to the RI itself, with no father running ?
Why do you need this? IMHO RI without other LDV tools is almost useless because of both it input and output are produced and interpreted by other LDV tools. May be you need separate C Instrumentation Framework that can be used for different program instrumentation and is based on aspect-oriented programming. You can obtain it here: http://forge.ispras.ru/projects/cif/repository. Unfortunately, there isn't installation and usage manuals still. But if you installed LDV tools you will be able to install CIF on the same computer. As for usage, you can try to run installed cif with --help option.

--

Best Regards,
MA Lele

-- 
Best regards, Evgeny Novikov.

Thank you, Evegeny Novikov.

when I try to update ldv, I got errors below :

make[8]: Entering directory `/home/malele/ldv-lab/ldv-tools/ri/cif/aspectator-build/mpc/src'
/bin/bash ../libtool --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../../aspectator/mpc/src -I..   -I/media/D0B662DEB662C496/Users/nfs/Desktop/Class/lab-doc/ldv-tools/ri/cif/aspectator-build/./gmp -I/media/D0B662DEB662C496/Users/nfs/Desktop/Class/lab-doc/ldv-tools/ri/cif/aspectator/mpfr   -g -fkeep-inline-functions -MT acos.lo -MD -MP -MF .deps/acos.Tpo -c -o acos.lo ../../../aspectator/mpc/src/acos.

libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../../../aspectator/mpc/src -I.. -I/media/D0B662DEB662C496/Users/nfs/Desktop/Class/lab-doc/ldv-tools/ri/cif/aspectator-build/./gmp -I/media/D0B662DEB662C496/Users/nfs/Desktop/Class/lab-doc/ldv-tools/ri/cif/aspectator/mpfr -g -fkeep-inline-functions -MT acos.lo -MD -MP -MF .deps/acos.Tpo -c ../../../aspectator/mpc/src/acos.c -o acos.o

../../../aspectator/mpc/src/acos.c: In function ‘mpc_acos’:
../../../aspectator/mpc/src/acos.c:192: error: ‘GMP_RNDA’ undeclared (first use in this function)
../../../aspectator/mpc/src/acos.c:192: error: (Each undeclared identifier is reported only once
../../../aspectator/mpc/src/acos.c:192: error: for each function it appears in.)
make[8]: *** [acos.lo] Error 1
make[8]: Leaving directory `/home/malele/ldv-lab/ldv-tools/ri/cif/aspectator-build/mpc/src'
Making all in tests
.....
make: *** [ri-subdir-install] Error 2

Where the directory 
/media/D0B662DEB662C496/ 
seems to be the Windows7 partition auto mounted when I have just installed the Ubuntu. But I have mounted this partion to /media/windows7 after that. Maybe I installed the ldv before the mount directory changed (my source dir is on Windows7 partition, and install dir is under /home of ubuntu). 

What's wrong with that error? Does the mount directory matter a lot?
Or Is there something wrong with my gmp , or mpfr installation? (But I have reinstalled them all , but the errors still.)
Or may I have to download all the ldv source again ?

--

Best Regards,
MA Lele

Hello Evgeny,

This problem has been solved. 

I have reinstalled g++ and installed mpc , then reinstalled the whole ldv.

now I can verify the cdrom now.

Thank you for your patient help!

--

Best Regards,
MA Lele
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20121107/49cd2885/attachment.html>