Bug 492

Summary: rvalue optimizations
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Alexandre David <adavid>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: All   
Architecture:

Description Marius Mikučionis 2010-05-27 12:56:25 CEST
Since Uppaal language allows sophisticated type declarations and function calls with those types, I think it would be great to implement some optimizations to avoid creating and copying big blobs in temporary memory and hence gain some performance of already slow virtual machine (no benchmarks for this and I don't really know how Uppaal handles copying of temporary variables, but my experience with integer loops tells me that it is 100x slower than compiled C code).

Here are a few links to get started:
http://cpp-next.com/archive/2009/08/want-speed-pass-by-value/

C++0x way of dealing:
http://thbecker.net/articles/rvalue_references/section_01.html

Visual C++ approach of explaining things:
http://blogs.msdn.com/b/vcblog/archive/2009/02/03/rvalue-references-c-0x-features-in-vc10-part-2.aspx

perhaps it is worth implementing "T&&".