model-checker : remove obsolete example

model-checker : set ignore flag to 0 if reallocation

model-checker : minor changes for debug information in heap comparison algorithm

model-checker : check if fragment or block has been already compared

model-checker : remove local variable only if frame name is known

model-checker : remove static function

model-checker : cosmetics

model-checker : get hash of local and global variables which are not pointers

model-checker : ignore running context of processes for system state comparison

model-checker : use short instead of int for ignore information in mmalloc meta-data

model-checker : init ignore information for each block/fragment only in mmalloc

model-checker : remove commentated declaration of function (doesn't exist anymore)

model-checker : remove variable from mc_local_variables if ignored

model-checker : fix memory leak

model-checker : cosmetics

model-checker : cleanups in mc_snapshot structure

model-checker : new simcall MC_RANDOM

model-checker : fix memory leak

model-checker : get instruction pointer and frame name with libunwind for the comparison of stacks

Fix warning by c-lang

Add minor cleanup around migration

Add the precopy migration model

Add the ramsize check when launching a VM

Use SIMIX_host_create also for a VM

Add migrate_vm example.

Use the bandwidth 100Mbps in VM's platform xml

just a cosmetic

Create the dummy cpu action at destination

Add the first basic model of a migration

add MSG_vm_get_pm

add the {set/get}_params operations to a host object

Avoid to run the smpirun script through valgrind on memcheck.

Add new option to smpirun, for running valgrind/gdb/whatever...

Improve the printing of default values when size != 1.

Cosmetics: add space before opening parenthesis.

Add the virt_overhead parameter

Comment out the line deleting a SURF_STORAGE object

A VM does not have a storage object at now.

Fix formating

Fix the dummy cpu action when no tasks are on a VM

Check return code, and report errors.

Avoids to call MPI_Get_count with an invalid status.

Use simple arrays, instead of dynars.

Also fix the use of uninitialized values in PMPI_Waitall.

Really copy only when recvbuf != sendbuf.

And avoid to call memcpy with overlapping regions.

Add few comments - Adrien

[doc] general update on tracing doc

Add a simpler example for the VM API

FIXME: It might be better that we move this example to the test
directory.

Delete an used key correctly

Correctly destroy the MSG_host object of a VM

Update the VM example for the new VM support

Fix problems so that the VM example works

Now VM operations workig!

- Fix the resource deallocation on exit, i.e., delete VM-related objects
  from host_lib without calling the callbacks.
- Implement vm_{suspend/resume, save/restore, shutdown}
- Call SIMIX_simcall_answer() at the end of some SIMIX_functions, so
  that avoid the bug that these functions never return to the userland.
- Delete the use of some simcalls at the SIMIX layer.
- Implement  vm_migrate. It updates the net_elm and PM of the VM.
- Add vm_ws_execute() to add action cost to the vcpu's dummy execution
  action.
- Delete the code around GUESTOS_NOISE. we need to add something like a
  task periodically.

fix the segfault caused by null smx_action

A surf VM object has the dummy action that wraps all the execution tasks
on the VM. This dummy action has its object only in the surf layer and
not in the SIMIX layer. There may be a better solution. But, at now we
simply skip touching the null action object at the SIMIX layer.

delete the use of surf_workstation_model more

Fix the segfault upon exit

Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor

resync

Add minor changes - Adrien

add debug code

Define missing function.

Remove useless statements.

Try to fix const madness.

See http://c-faq.com/ansi/constmismatch.html for a related FAQ.

Fix memory leaks in smpi.

add missing declarations to fix compile warnings

Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor

merge again

additional minors changes - Adrien

Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor

sync again

minor changes - Adrien /Takahiro

Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor

merge from the last discussion

fix compile warnings

Extend smpi_register_static to accept any free function.

Merge with master and fix conflicts

minor fixes - Adrien / Takahiro

To share with Adrien. We have to revisit this commit.

Fix a few more memory leaks.

Avoid to export internal variables.

Free timer after it's been used.

Use splitted xml files, and avoid memory leaks in the parser.

Split the xml file, and destroy task, to fix memory leaks.

Fix a few memory leaks.

remove the use of surf_workstation_model at smx_host.c

remove forgotten debug println

Java didn't report the same OS name as Cmake for Windows platform, force it to be "Windows"

change an include, to avoid linking from simgrid to smpi

change name of the real executed main function to a windows specific one

add smpi to windows installer

force lib names to stop changing when activating smpi on windows

Fix segmentation faults

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Move VM state definition to a common header file

Working session (nothing really news) - Takahiro/Adrien

Use correct log category.

File was removed.

Kill old commented line.

Check status also with MC.

Move test outside the loop.

Set status in any case.

Add share_resource code to the VM layer

Recover a wrongly removed line

Add minor cleanup around model initialization

Prepare the model_private callbacks of ws

Create a cpu resource object for a virtual machine

Remove declarations for nonexistent functions or variables.