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.
Marion Guthmuller [Tue, 28 Feb 2012 09:29:50 +0000 (10:29 +0100)]
model-checker : add backtrace for each fragment allocated with mmalloc
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
Marion Guthmuller [Tue, 28 Feb 2012 09:26:04 +0000 (10:26 +0100)]
model-checker : only reindent, no real change (safe to ignore)
navarro [Thu, 23 Feb 2012 15:19:03 +0000 (16:19 +0100)]
Add model storage to surf and add a tag storage to dtd.
Arnaud Giersch [Fri, 24 Feb 2012 07:52:43 +0000 (08:52 +0100)]
Function does not exist yet.
Martin Quinson [Sat, 25 Feb 2012 16:59:50 +0000 (17:59 +0100)]
use named type of functions
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
Marion Guthmuller [Thu, 23 Feb 2012 16:10:19 +0000 (17:10 +0100)]
model-checker : example bugged2_liveness modified
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.
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.
Arnaud Giersch [Thu, 23 Feb 2012 14:34:28 +0000 (15:34 +0100)]
An unsigned int may be too short with 64bits pointers.
Arnaud Giersch [Wed, 22 Feb 2012 06:39:54 +0000 (07:39 +0100)]
Remove unreachable code.
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.
Arnaud Giersch [Tue, 21 Feb 2012 20:47:43 +0000 (21:47 +0100)]
Fix error: too many arguments to function `mmalloc_compare_heap'.
Arnaud Giersch [Tue, 21 Feb 2012 20:45:51 +0000 (21:45 +0100)]
Fix more format strings and parameters.
icc is really paranoid...
Arnaud Giersch [Tue, 21 Feb 2012 20:44:55 +0000 (21:44 +0100)]
More trailing commas.
Arnaud Giersch [Tue, 21 Feb 2012 20:43:49 +0000 (21:43 +0100)]
Rename variable hiding others.
Arnaud Giersch [Tue, 21 Feb 2012 17:52:17 +0000 (18:52 +0100)]
[tracing] Use trace_smpi_enabled.
Arnaud Giersch [Tue, 21 Feb 2012 17:45:28 +0000 (18:45 +0100)]
Format for an unsigned short is %hu.
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
Marion Guthmuller [Tue, 21 Feb 2012 17:15:09 +0000 (18:15 +0100)]
model-checker : memcmp on space really used in fragment
unknown [Tue, 21 Feb 2012 16:01:06 +0000 (17:01 +0100)]
Oups delete needed line
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Mark variable as unused.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Fix format strings to match their arguments.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't pass NULL to xbt_die.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Remove extra ";".
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Fix type name and parsing for random generator.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
It looks more coherent like this.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Try to avoid to mix enum with anything else.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't dereference an invalid pointer.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:01 +0000 (16:50 +0100)]
Don't hide variables with multiple declarations.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove trailing commas in enum declarations.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
SIMIX_context_runall() doesn't take any argument.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Cast is mandatory here.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove unused variable.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
An unsigned int cannot be negative.
Remove useless asserts.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Allow to use another base for parameter "modes" in parmap_bench.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
The semaphore doesn't need to be shared between processes.
Arnaud Giersch [Tue, 21 Feb 2012 15:50:00 +0000 (16:50 +0100)]
Remove unused field "locked" in struct mdesc.
unknown [Tue, 21 Feb 2012 15:37:58 +0000 (16:37 +0100)]
Fix raw_makecontext and raw_swapcontext on win64
unknown [Tue, 21 Feb 2012 15:37:06 +0000 (16:37 +0100)]
Protect variable surf_parmap.
unknown [Tue, 21 Feb 2012 15:36:11 +0000 (16:36 +0100)]
Correctely search for pcre and pthread on windows.
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
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
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
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
Marion Guthmuller [Tue, 21 Feb 2012 14:04:18 +0000 (15:04 +0100)]
model-checker: remove subcategory log unused
navarro [Tue, 21 Feb 2012 12:51:06 +0000 (13:51 +0100)]
First step to create model storage.
navarro [Tue, 21 Feb 2012 12:39:35 +0000 (13:39 +0100)]
Add function read write open close and stat to workstation model
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.
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.
navarro [Tue, 21 Feb 2012 09:25:09 +0000 (10:25 +0100)]
Fix generated platform. Right number of clusters
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.
unknown [Thu, 16 Feb 2012 14:05:28 +0000 (15:05 +0100)]
Rename .ref for .def
unknown [Wed, 15 Feb 2012 14:43:37 +0000 (15:43 +0100)]
Make only dll for windows
unknown [Wed, 15 Feb 2012 12:44:47 +0000 (13:44 +0100)]
Protect DllMain with ifndef GNUC
unknown [Wed, 15 Feb 2012 09:32:28 +0000 (10:32 +0100)]
Cosmetics
unknown [Tue, 14 Feb 2012 13:26:23 +0000 (14:26 +0100)]
Add winsock2 to link libraries (ws2_32)
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
unknown [Mon, 13 Feb 2012 19:06:21 +0000 (20:06 +0100)]
Fix detection of x86 processor for nsis
unknown [Mon, 13 Feb 2012 18:17:56 +0000 (19:17 +0100)]
Turn off smpi on windows
unknown [Mon, 13 Feb 2012 18:17:39 +0000 (19:17 +0100)]
Find if system installed is win32 or win64
unknown [Mon, 13 Feb 2012 18:06:01 +0000 (19:06 +0100)]
Rename libsimgrid.dll for libsimgrid_shared.dll
navarro [Mon, 13 Feb 2012 16:44:19 +0000 (17:44 +0100)]
Use only one variable and protect for windows only
unknown [Mon, 13 Feb 2012 16:34:08 +0000 (17:34 +0100)]
Fix twice call of xbt_preinit and xbt_postinit
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.
unknown [Mon, 13 Feb 2012 12:46:59 +0000 (13:46 +0100)]
On win32, fix configure when try to compile and run ucontexts tests.
unknown [Mon, 13 Feb 2012 12:44:57 +0000 (13:44 +0100)]
Fix compilation error on windows.
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.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Split macro _THROW in two parts.
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.
Arnaud Giersch [Mon, 13 Feb 2012 09:37:32 +0000 (10:37 +0100)]
Category should be unlinked from its current parent.
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.
Arnaud Giersch [Thu, 9 Feb 2012 15:03:29 +0000 (16:03 +0100)]
Fix segfault in smpi+tracing with detached sends.
Arnaud Giersch [Thu, 9 Feb 2012 14:59:20 +0000 (15:59 +0100)]
Typo.
Arnaud Giersch [Thu, 9 Feb 2012 13:39:55 +0000 (14:39 +0100)]
Make xbt_ex_display() more friendly when there is no backtrace.
Arnaud Giersch [Thu, 9 Feb 2012 13:39:54 +0000 (14:39 +0100)]
Make xbt_ex_setup_backtrace() survive to an empty backtrace.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
RETHROW is not really different from DO_THROW().
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().
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.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Remove tests for deprecated multi-level dictionaries.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Mark multi-level dictionaries as deprecated.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Remove declarations for non-existent functions.
Arnaud Giersch [Thu, 9 Feb 2012 12:10:36 +0000 (13:10 +0100)]
Document ranges for years in copyright notices.
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
Arnaud Giersch [Wed, 8 Feb 2012 22:58:25 +0000 (23:58 +0100)]
Parmap: protect against wraparound for round.
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.
Arnaud Giersch [Wed, 8 Feb 2012 21:16:54 +0000 (22:16 +0100)]
File has moved.
Arnaud Giersch [Wed, 8 Feb 2012 17:22:09 +0000 (18:22 +0100)]
Those are already declared in ./include/simgrid/modelchecker.h.
Arnaud Giersch [Mon, 28 Nov 2011 09:20:07 +0000 (10:20 +0100)]
Remove tests for deprecated dicts of scalars.
Arnaud Giersch [Fri, 25 Nov 2011 22:23:49 +0000 (23:23 +0100)]
Mark integer dicts as deprecated.
Arnaud Giersch [Wed, 8 Feb 2012 16:55:21 +0000 (17:55 +0100)]
ChangeLog: spell checking, and whitespace cleanup.
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
Martin Quinson [Wed, 8 Feb 2012 16:41:11 +0000 (17:41 +0100)]
our malloc implementation NEEDS multi-threading protection
Martin Quinson [Wed, 8 Feb 2012 16:15:25 +0000 (17:15 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 8 Feb 2012 16:09:48 +0000 (17:09 +0100)]
kill duplicate definitions, and try to ensure that MC-ready code still works without MC (closes #13813 on gforge)
Arnaud Giersch [Wed, 8 Feb 2012 16:03:36 +0000 (17:03 +0100)]
Fix a race condition in _XBT_LOG_ISENABLEDV().
Without this change, catv.threshold can be initialized by another
thread, between the test for priority being great enough, and
that for catv.threshold being initialized, leading to a false
positive answer.
Hypothesis
==========
Initially, catv.threshold == xbt_log_priority_unititialized == -1
After initialization, priority < catv.threshold
Two threads running _XBT_LOG_ISENABLEDV() for the same
category, and the same priority.
Thread A Thread B
======== ========
priority >= cat.threshold
is TRUE
priority >= catv.threshold
is TRUE
catv.threshold != x.l.p._uninitialized
is FALSE
call xbt_log_cat_init(...)
returns FALSE
catv.threshold != x.l.p._uninitialized
is TRUE
=> _XBT_LOG_ISENABLEDV(...) => _XBT_LOG_ISENABLEDV(...)
is FALSE is TRUE
Martin Quinson [Wed, 8 Feb 2012 15:54:16 +0000 (16:54 +0100)]
move a public header in the simgrid/ directory to fight the namespace polution
Martin Quinson [Wed, 8 Feb 2012 15:53:16 +0000 (16:53 +0100)]
user code sometimes needs to know whether MC is activated