Bugfix

An example to test MSG semaphores

Update ChangeLog for Semaphores in Java

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

Added Semaphore visibility to the Java bindings

revalidate

setting result help to propogate it

no need to free the file descriptor when you just want the file size
... have to think harder when copy/pasting

stream to fd

copy/paste error

fp => fd (for file descriptor)

Wow, I wrote a simcall! 11 files to modify to do a simple get_size on a
file ...

unsigned long to size_t

add a function to retrieve the size of an msg_file_t

Make semaphores visible from MSG

Export setAsyncMailbox to Java world

more cleanups related to stat on files

no more stat structure

file_stat.h has been removed

remove references to an include file that doesn't exist anymore

kill some dead code

commit my eclipse configuration file so that others can use it

these got regenerated, apparently with a newer version of bison

unignore eclipse project file, ignore some crappy compiled files

say that we messed with msg_file

revalidate tesh to account for BIG FAT WARNING

revalidate tesh

simplify the examples of file usage

path and size should be enough to describe files stored on a storage
resource

Simplify the way files are described. Get rid of the stats, the
MSG_file_stat, and all the underlying functions

start to simplify the stack of structures for files. Get rid of stats
and just keep name, size and mount point

typos

document the fact that we accept abbreviations of log setting modifiers, even harsh ones

cleanups: kill unused forward declarations

big fat warning to avoid an issue that Lionel encountered

display a warning message to avoid that some people use that binary by error

document some recent changes

model-checker : generate dot file for the verification of liveness properties

model-checker : use else if instead of if then if

model-checker : fix dpor with dot_output

model-checker : modify chord example in mc for exhaustive exploration

Each node executes only one of the periodic sub-protocols (stabilize,
fix fingers, check predecessor or lookup) then it replies to requests
from other nodes.

model-checker : fix memory free

model-checker : remove useless if

model-checker : fix compilation error

model-checker : remove useless take/restore snapshot

Try to support older versions of cmake.

model-checker : update bugged1_liveness tesh

model-checker : initialize variables

model-checker : remove comment and add debug message

model-checker : simplify algorithm for the verification of liveness properties

model-checker : take snapshot of memory segments during the parsing of /proc/self/maps

model-checker : use only structure (mc_pair_t) for the verification of liveness properties

model-checker : free memory

model-checker : add global variable in bugged1_liveness example to change the number of clients

Remove reference to nonexistent class.

It was removed more than one year ago.

Try to normalize path for libraries bundled into simgrid.jar.

Also add LICENSE file to simgrid.jar.

It is referenced by file COPYING.

Small improvements to parmap_test

* print an error message, and change exit status on error
* reduce test time by decreasing the sleep duration in fun_get_id()

Add scala masterslave bypass and kill

Add missing FindScala.cmake

Add a scala masterslave example

Fix Windows Jenkins script

Restore parmap unitTesting as part of teshsuite.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Add linux and win shell scripts for jenkins

SIMIX must be initialized now to use parmaps.

Remove now unused log category.

Remove unused variable.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Add of context creation in parmap.

Remove parmap from unitTesting because we need a context factory
for parmap creation now.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Remove parmap from surf.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>

Include TRACING_SRC only when HAVE_TRACING.

Give size of pointed area, not size of pointer.

Add platf_route_rulebased2full.py to bin_files.

Avoid unnecessary utf8 characters in ChangeLog.

Remove PCRE dependency and RuleBased routing

Add new boolean type for configuration

requalify tesh for replay to account for 301c31f7

synchronize all replay processes at the end
to avoid some of them being destroyed wrongfully

Warning removal

Fix nasty bug with wrong addressing of the processes in smpi.
When using several groups, some confusions may happen and some processes may have mixed up messages they received

add an option smpi/iprobe, to inject sleeping time into a MPI_Iprobe call.
Change the way this sleep is done, to increase it each time a MPI_Iprobe fails, to accelerate simulation

MC showed that this test could go wrong if receiver is early

fix bug with tracing of MPI_Sendrecv

Use right test for error checking.

Typo.

Add sg_xml_unit_converter.py to bin_files.

Also handle IEC binary prefixes for bandwidth.

Use correct capitalization for unit prefixes.

Factorize code for parsing values with units.

Less error prone unit conversion

Fix to handle warnings+optimizations on CI for MC32 [#15544]

Fix to handle warnings+optimizations on CI [#15544]

Add unit support in xml files [#14422]

Remove stale forward declarations.

Remove duplicate file.

It's the same as deploy_chord4.xml.

Remove binary file!

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

model-checker : cleanups in tesh examples

- rename directory: chord_liveness -> chord
- add tesh for bugged2
- remove broken tests snapshot_comparison*
- neverJoin in Chord is a safety property, not a liveness property

Remove unused notion of stalled messages for "piece" messages

Add some xtb_assert and correct a debug message

Fix unset var in smpirun

bittorrent: Replace the last isend by dsend
Remove all stuff related to pending sends