Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
12 years agoRegenerate sources after having updated my flexml :)
navarro [Tue, 28 Feb 2012 13:48:35 +0000 (14:48 +0100)]
Regenerate sources after having updated my flexml :)

12 years agofree dynar hosts
navarro [Tue, 28 Feb 2012 13:37:52 +0000 (14:37 +0100)]
free dynar hosts

12 years agoFix warning compilation with deprecated functions
navarro [Tue, 28 Feb 2012 13:26:32 +0000 (14:26 +0100)]
Fix warning compilation with deprecated functions

12 years agoCall function execute from cpu surf model.
navarro [Tue, 28 Feb 2012 10:22:26 +0000 (11:22 +0100)]
Call function execute from cpu surf model.

12 years agoimplement MSG_processes_as_dynar (closes gforge #13642)
Martin Quinson [Tue, 28 Feb 2012 10:30:53 +0000 (11:30 +0100)]
implement MSG_processes_as_dynar (closes gforge #13642)

12 years agoimplement a SIMIX_processes_as_dynar() function
Martin Quinson [Tue, 28 Feb 2012 10:27:49 +0000 (11:27 +0100)]
implement a SIMIX_processes_as_dynar() function

12 years agoDeprecate MSG_get_host_{table,number}; Implement MSG_hosts_as_dynar() instead.
Martin Quinson [Tue, 28 Feb 2012 10:22:30 +0000 (11:22 +0100)]
Deprecate MSG_get_host_{table,number}; Implement MSG_hosts_as_dynar() instead.

12 years agomodel-checker : add backtrace for each fragment allocated with mmalloc
Marion Guthmuller [Tue, 28 Feb 2012 09:29:50 +0000 (10:29 +0100)]
model-checker : add backtrace for each fragment allocated with mmalloc

12 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Tue, 28 Feb 2012 09:26:13 +0000 (10:26 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

12 years agomodel-checker : only reindent, no real change (safe to ignore)
Marion Guthmuller [Tue, 28 Feb 2012 09:26:04 +0000 (10:26 +0100)]
model-checker : only reindent, no real change (safe to ignore)

12 years agoAdd model storage to surf and add a tag storage to dtd.
navarro [Thu, 23 Feb 2012 15:19:03 +0000 (16:19 +0100)]
Add model storage to surf and add a tag storage to dtd.

12 years agoFunction does not exist yet.
Arnaud Giersch [Fri, 24 Feb 2012 07:52:43 +0000 (08:52 +0100)]
Function does not exist yet.

12 years agouse named type of functions
Martin Quinson [Sat, 25 Feb 2012 16:59:50 +0000 (17:59 +0100)]
use named type of functions

12 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Thu, 23 Feb 2012 17:01:13 +0000 (18:01 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

12 years agomodel-checker : example bugged2_liveness modified
Marion Guthmuller [Thu, 23 Feb 2012 16:10:19 +0000 (17:10 +0100)]
model-checker : example bugged2_liveness modified

12 years agoStarted the gpu model by adding the MSG_gpu_task_create function, also added a simple...
Pedro Velho [Thu, 23 Feb 2012 00:46:57 +0000 (22:46 -0200)]
Started the gpu model by adding the MSG_gpu_task_create function, also added a simple test file test_MSG_gpu_task_create.c to test this functionallity.

12 years agoOUTPUT_VARIABLE was always returning void string in MacOS Lion 11.3.0 (Darwin), using...
Pedro Velho [Wed, 22 Feb 2012 19:18:29 +0000 (17:18 -0200)]
OUTPUT_VARIABLE was always returning void string in MacOS Lion 11.3.0 (Darwin), using RESULT_VARIABLE puts the right value on HAVE_THREAD_LOCAL_STORAGE.

12 years agoAn unsigned int may be too short with 64bits pointers.
Arnaud Giersch [Thu, 23 Feb 2012 14:34:28 +0000 (15:34 +0100)]
An unsigned int may be too short with 64bits pointers.

12 years agoRemove unreachable code.
Arnaud Giersch [Wed, 22 Feb 2012 06:39:54 +0000 (07:39 +0100)]
Remove unreachable code.

12 years agoNeed a cast here.
Arnaud Giersch [Wed, 22 Feb 2012 06:23:20 +0000 (07:23 +0100)]
Need a cast here.

A conversion from pointer to void to pointer to function is not
plainly legal.

12 years agoFix error: too many arguments to function `mmalloc_compare_heap'.
Arnaud Giersch [Tue, 21 Feb 2012 20:47:43 +0000 (21:47 +0100)]
Fix error: too many arguments to function `mmalloc_compare_heap'.

12 years agoFix more format strings and parameters.
Arnaud Giersch [Tue, 21 Feb 2012 20:45:51 +0000 (21:45 +0100)]
Fix more format strings and parameters.

icc is really paranoid...

12 years agoMore trailing commas.
Arnaud Giersch [Tue, 21 Feb 2012 20:44:55 +0000 (21:44 +0100)]
More trailing commas.

12 years agoRename variable hiding others.
Arnaud Giersch [Tue, 21 Feb 2012 20:43:49 +0000 (21:43 +0100)]
Rename variable hiding others.

12 years ago[tracing] Use trace_smpi_enabled.
Arnaud Giersch [Tue, 21 Feb 2012 17:52:17 +0000 (18:52 +0100)]
[tracing] Use trace_smpi_enabled.

12 years agoFormat for an unsigned short is %hu.
Arnaud Giersch [Tue, 21 Feb 2012 17:45:28 +0000 (18:45 +0100)]
Format for an unsigned short is %hu.

12 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Tue, 21 Feb 2012 17:15:15 +0000 (18:15 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

12 years agomodel-checker : memcmp on space really used in fragment
Marion Guthmuller [Tue, 21 Feb 2012 17:15:09 +0000 (18:15 +0100)]
model-checker : memcmp on space really used in fragment

12 years agoOups delete needed line
unknown [Tue, 21 Feb 2012 16:01:06 +0000 (17:01 +0100)]
Oups delete needed line

12 years ago Mark variable as unused.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
 Mark variable as unused.

12 years agoFix format strings to match their arguments.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Fix format strings to match their arguments.

12 years agoDon't pass NULL to xbt_die.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't pass NULL to xbt_die.

12 years agoRemove extra ";".
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Remove extra ";".

12 years agoFix type name and parsing for random generator.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Fix type name and parsing for random generator.

12 years agoIt looks more coherent like this.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
It looks more coherent like this.

12 years agoTry to avoid to mix enum with anything else.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Try to avoid to mix enum with anything else.

12 years agoDon't dereference an invalid pointer.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't dereference an invalid pointer.

12 years agoDon't hide variables with multiple declarations.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't hide variables with multiple declarations.

12 years agoRemove trailing commas in enum declarations.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove trailing commas in enum declarations.

12 years agoSIMIX_context_runall() doesn't take any argument.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
SIMIX_context_runall() doesn't take any argument.

12 years agoCast is mandatory here.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Cast is mandatory here.

12 years agoRemove unused variable.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove unused variable.

12 years agoAn unsigned int cannot be negative.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
An unsigned int cannot be negative.

Remove useless asserts.

12 years agoAllow to use another base for parameter "modes" in parmap_bench.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Allow to use another base for parameter "modes" in parmap_bench.

12 years agoThe semaphore doesn't need to be shared between processes.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
The semaphore doesn't need to be shared between processes.

12 years agoRemove unused field "locked" in struct mdesc.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove unused field "locked" in struct mdesc.

12 years agoFix raw_makecontext and raw_swapcontext on win64
unknown [Tue, 21 Feb 2012 15:37:58 +0000 (16:37 +0100)]
Fix raw_makecontext and raw_swapcontext on win64

12 years agoProtect variable surf_parmap.
unknown [Tue, 21 Feb 2012 15:37:06 +0000 (16:37 +0100)]
Protect variable surf_parmap.

12 years agoCorrectely search for pcre and pthread on windows.
unknown [Tue, 21 Feb 2012 15:36:11 +0000 (16:36 +0100)]
Correctely search for pcre and pthread on windows.

12 years agomodel-checker : remove arg std_heap_addr in mmalloc_compare_heap and mmalloc_compare_...
Marion Guthmuller [Tue, 21 Feb 2012 15:02:23 +0000 (16:02 +0100)]
model-checker : remove arg std_heap_addr in mmalloc_compare_heap and mmalloc_compare_mdesc functions, display backtrace when different blocks between two snapshots of the heap

12 years agomodel-checker : add backtrace when large block(s) mallocated in the existing heap
Marion Guthmuller [Tue, 21 Feb 2012 14:59:19 +0000 (15:59 +0100)]
model-checker : add backtrace when large block(s) mallocated in the existing heap

12 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Tue, 21 Feb 2012 14:05:42 +0000 (15:05 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

12 years agomodel-checker : function mmalloc_compare_mdesc rewritten with new version of mmalloc
Marion Guthmuller [Tue, 21 Feb 2012 14:05:29 +0000 (15:05 +0100)]
model-checker : function mmalloc_compare_mdesc rewritten with new version of mmalloc

12 years agomodel-checker: remove subcategory log unused
Marion Guthmuller [Tue, 21 Feb 2012 14:04:18 +0000 (15:04 +0100)]
model-checker: remove subcategory log unused

12 years agoFirst step to create model storage.
navarro [Tue, 21 Feb 2012 12:51:06 +0000 (13:51 +0100)]
First step to create model storage.

12 years agoAdd function read write open close and stat to workstation model
navarro [Tue, 21 Feb 2012 12:39:35 +0000 (13:39 +0100)]
Add function read write open close and stat to workstation model

12 years agoAdd a variable to see if having set a bypass route or not.
navarro [Tue, 21 Feb 2012 11:28:41 +0000 (12:28 +0100)]
Add a variable to see if having set a bypass route or not.

12 years agoThis part brokes platform like g5k in full.
navarro [Tue, 21 Feb 2012 10:12:55 +0000 (11:12 +0100)]
This part brokes platform like g5k in full.
Commented for the moment but should be fix soon.

12 years agoFix generated platform. Right number of clusters
navarro [Tue, 21 Feb 2012 09:25:09 +0000 (10:25 +0100)]
Fix generated platform. Right number of clusters

12 years agoRemove gras_stub_generator from windows installer. Add the java binding to it. exp_20120216 exp_20120229
unknown [Thu, 16 Feb 2012 14:07:02 +0000 (15:07 +0100)]
Remove gras_stub_generator from windows installer. Add the java binding to it.
Must set SIMGRID_JAVA_SRC to find where is libSG_java.dll and examples.

12 years agoRename .ref for .def
unknown [Thu, 16 Feb 2012 14:05:28 +0000 (15:05 +0100)]
Rename .ref for .def

12 years agoMake only dll for windows
unknown [Wed, 15 Feb 2012 14:43:37 +0000 (15:43 +0100)]
Make only dll for windows

12 years agoProtect DllMain with ifndef GNUC
unknown [Wed, 15 Feb 2012 12:44:47 +0000 (13:44 +0100)]
Protect DllMain with ifndef GNUC

12 years agoCosmetics
unknown [Wed, 15 Feb 2012 09:32:28 +0000 (10:32 +0100)]
Cosmetics

12 years agoAdd winsock2 to link libraries (ws2_32)
unknown [Tue, 14 Feb 2012 13:26:23 +0000 (14:26 +0100)]
Add winsock2 to link libraries (ws2_32)

12 years ago[trace] simulated clock functions to be used by akypuera when tracing SMPI
Lucas Schnorr [Tue, 14 Feb 2012 14:44:39 +0000 (15:44 +0100)]
[trace] simulated clock functions to be used by akypuera when tracing SMPI

12 years agoFix detection of x86 processor for nsis
unknown [Mon, 13 Feb 2012 19:06:21 +0000 (20:06 +0100)]
Fix detection of x86 processor for nsis

12 years agoTurn off smpi on windows
unknown [Mon, 13 Feb 2012 18:17:56 +0000 (19:17 +0100)]
Turn off smpi on windows

12 years agoFind if system installed is win32 or win64
unknown [Mon, 13 Feb 2012 18:17:39 +0000 (19:17 +0100)]
Find if system installed is win32 or win64

12 years agoRename libsimgrid.dll for libsimgrid_shared.dll
unknown [Mon, 13 Feb 2012 18:06:01 +0000 (19:06 +0100)]
Rename libsimgrid.dll for libsimgrid_shared.dll

12 years agoUse only one variable and protect for windows only
navarro [Mon, 13 Feb 2012 16:44:19 +0000 (17:44 +0100)]
Use only one variable and protect for windows only

12 years agoFix twice call of xbt_preinit and xbt_postinit
unknown [Mon, 13 Feb 2012 16:34:08 +0000 (17:34 +0100)]
Fix twice call of xbt_preinit and xbt_postinit

12 years agoNeed distrib.cmake for update_xml file and update nsis script for headers.
unknown [Mon, 13 Feb 2012 13:22:37 +0000 (14:22 +0100)]
Need distrib.cmake for update_xml file and update nsis script for headers.

12 years agoOn win32, fix configure when try to compile and run ucontexts tests.
unknown [Mon, 13 Feb 2012 12:46:59 +0000 (13:46 +0100)]
On win32, fix configure when try to compile and run ucontexts tests.

12 years agoFix compilation error on windows.
unknown [Mon, 13 Feb 2012 12:44:57 +0000 (13:44 +0100)]
Fix compilation error on windows.

12 years agoAvoid to throw an exception, and catch it just below.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Avoid to throw an exception, and catch it just below.

Define SMX_EXCEPTION and SMX_THROW to hold the gory details.

Saves a couple of setjmp/longjmp.

12 years agoSplit macro _THROW in two parts.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Split macro _THROW in two parts.

12 years agoFix another race in log initializations.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Fix another race in log initializations.

Since setting the threshold is not the last thing done when a category
is initialized, there is a possibility that a message is logged with wrong
parameters (e.g. format or appender).

Define a new field "initialized" which is set to 1 only when the category
is fully initialized.

12 years agoCategory should be unlinked from its current parent.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Category should be unlinked from its current parent.

12 years agoDon't decrement surfxml_buffer_stack_stack_ptr twice in SURFXML_END_TAG.
Arnaud Giersch [Thu, 9 Feb 2012 15:52:04 +0000 (16:52 +0100)]
Don't decrement surfxml_buffer_stack_stack_ptr twice in SURFXML_END_TAG.

12 years agoFix segfault in smpi+tracing with detached sends.
Arnaud Giersch [Thu, 9 Feb 2012 15:03:29 +0000 (16:03 +0100)]
Fix segfault in smpi+tracing with detached sends.

12 years agoTypo.
Arnaud Giersch [Thu, 9 Feb 2012 14:59:20 +0000 (15:59 +0100)]
Typo.

12 years agoMake xbt_ex_display() more friendly when there is no backtrace.
Arnaud Giersch [Thu, 9 Feb 2012 13:39:55 +0000 (14:39 +0100)]
Make xbt_ex_display() more friendly when there is no backtrace.

12 years agoMake xbt_ex_setup_backtrace() survive to an empty backtrace.
Arnaud Giersch [Thu, 9 Feb 2012 13:39:54 +0000 (14:39 +0100)]
Make xbt_ex_setup_backtrace() survive to an empty backtrace.

12 years agoRETHROW is not really different from DO_THROW().
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
RETHROW is not really different from DO_THROW().

12 years agoAvoid to duplicate initialization list.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Avoid to duplicate initialization list.

Declare a global that is initialized with XBT_RUNNING_CTX_INITIALIZER,
and take a copy of it in XBT_RUNNING_CTX_INITIALIZE().

12 years agoXBT_RUNNING_CTX_INITIALIZER: don't list all element of bt[] in initializer.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
XBT_RUNNING_CTX_INITIALIZER: don't list all element of bt[] in initializer.

They'll be implicitly initialized to NULL, and the initializer is now
independent of XBT_BACKTRACE_SIZE.

12 years agoRemove tests for deprecated multi-level dictionaries.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Remove tests for deprecated multi-level dictionaries.

12 years agoMark multi-level dictionaries as deprecated.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Mark multi-level dictionaries as deprecated.

12 years agoRemove declarations for non-existent functions.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Remove declarations for non-existent functions.

12 years agoDocument ranges for years in copyright notices.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Document ranges for years in copyright notices.

12 years agoParmap: fix deadlock in with futexes.
Arnaud Giersch [Wed, 8 Feb 2012 23:35:50 +0000 (00:35 +0100)]
Parmap: fix deadlock in with futexes.

Also anticipate the possibility for futex_wait to return early with EINTR.

In the following scenario, the first wake(parmap.work) should not have
unlocked the second xbt_parmap_futex_worker_wait().

Master                                  Worker
======                                  ========
xbt_parmap_futex_master_signal() {
  parmap.thread_counter = 1
  ++parmap.work
                                        xbt_parmap_futex_worker_wait();
                                        xbt_parmap_work();
                                        xbt_parmap_futex_worker_signal();
                                        xbt_parmap_futex_worker_wait();
  wake(parmap.work) -- unlock -------->
}
xbt_parmap_work();
xbt_parmap_futex_master_wait();
                                        xbt_parmap_work();
                                        xbt_parmap_futex_worker_signal();
xbt_parmap_futex_master_signal();
xbt_parmap_work();
xbt_parmap_futex_master_wait();
  ===> LOCKED
                                        xbt_parmap_futex_worker_wait();
                                          ===> LOCKED

12 years agoParmap: protect against wraparound for round.
Arnaud Giersch [Wed, 8 Feb 2012 22:58:25 +0000 (23:58 +0100)]
Parmap: protect against wraparound for round.

12 years agoParmap: use INT_MAX as number of threads to wake by futex_wake.
Arnaud Giersch [Wed, 8 Feb 2012 22:53:27 +0000 (23:53 +0100)]
Parmap: use INT_MAX as number of threads to wake by futex_wake.

We want to wake up everybody anyway.

12 years agoFile has moved.
Arnaud Giersch [Wed, 8 Feb 2012 21:16:54 +0000 (22:16 +0100)]
File has moved.

12 years agoThose are already declared in ./include/simgrid/modelchecker.h.
Arnaud Giersch [Wed, 8 Feb 2012 17:22:09 +0000 (18:22 +0100)]
Those are already declared in ./include/simgrid/modelchecker.h.

12 years agoRemove tests for deprecated dicts of scalars.
Arnaud Giersch [Mon, 28 Nov 2011 09:20:07 +0000 (10:20 +0100)]
Remove tests for deprecated dicts of scalars.

12 years agoMark integer dicts as deprecated.
Arnaud Giersch [Fri, 25 Nov 2011 22:23:49 +0000 (23:23 +0100)]
Mark integer dicts as deprecated.

12 years agoChangeLog: spell checking, and whitespace cleanup.
Arnaud Giersch [Wed, 8 Feb 2012 16:55:21 +0000 (17:55 +0100)]
ChangeLog: spell checking, and whitespace cleanup.

12 years agostop using internal header files from the examples, it won't work for users
Martin Quinson [Wed, 8 Feb 2012 16:45:57 +0000 (17:45 +0100)]
stop using internal header files from the examples, it won't work for users