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
Martin Quinson [Wed, 8 Feb 2012 10:47:29 +0000 (11:47 +0100)]
Setup the framework allowing to add backtraces to the malloc meta-data
- implement a malloc-clean backtrace() function
- make some room to store the backtraces. Only for big blocks for now,
the memory consumption seem to be very high when doing so for
fragments. Possible solutions include:
- increasing the minimal fragment size to reduce the amount of
possible fragment per block. It will waste some blocks for very
small fragments, but it will save metadata that is paid for EVERY
block, including full blocks, through the union in the metadata
- Reduce the size of the saved backtraces. For now, we save up to 10
calls, 5 to 3 levels may be enough if space is scarce.
- use that framework to save the backtraces in one malloc execution
path. Other malloc execution paths, as well as realloc paths should
now be changed to store the backtrace too.
- Implement a mmalloc_backtrace_display() function that displays the
backtrace at which the block where malloc()ed. This is a bit crude
for now, as we reuse the internals of exceptions that where not
really done for that, but it works.
Martin Quinson [Wed, 8 Feb 2012 10:37:29 +0000 (11:37 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid