--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C: GUI's response time



		 
		When launching frama-c-gui -load my_state.sav, elapsed
time is about 30 minutes, before Frama-C-GUI window is displayed.

	
	
	This is interesting. What is the time taken by "frama-c -load
my_state.sav" 
	(that is, the same command for the non-GUI version) for the same
state?

 
10 min 30 sec
 



	If it is long, the problem is in the functions that reload the
value analysis' state.
	This has happened before. When this kind of bug manifests
itself, 
	it may be much slower to reload the state from disk than to
compute it again
	from scratch.
	
	
	If the time is short, the problem is definitely in how the GUI
scales.
	
	
	It could also help to measure the times taken by each of
	the following commands:
	
	
	frama-c -save no_analysis.sav *.c   # no option that would cause
the value analysis to run

 
0 min 8 sec



	frama-c-gui -load no_analysis.sav

0 min 8 sec
 



	frama-c -load no_analysis.sav

0 min 0.4 sec
 
To sum up, 1/3 of elapsed time seems to be due to the loading of
functions +/-"stricto sensu", 2/3 due to the GUI, that's it?
 
Best regards,
Dillon
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090422/67054150/attachment-0001.htm