Document ranges for years in copyright notices.

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

Parmap: protect against wraparound for round.

Parmap: use INT_MAX as number of threads to wake by futex_wake.

We want to wake up everybody anyway.

File has moved.

Those are already declared in ./include/simgrid/modelchecker.h.

Remove tests for deprecated dicts of scalars.

Mark integer dicts as deprecated.

ChangeLog: spell checking, and whitespace cleanup.

stop using internal header files from the examples, it won't work for users

our malloc implementation NEEDS multi-threading protection

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

kill duplicate definitions, and try to ensure that MC-ready code still works without MC (closes #13813 on gforge)

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

move a public header in the simgrid/ directory to fight the namespace polution

user code sometimes needs to know whether MC is activated

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.

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

Set xbt_binary_name so that the exception mechanism accepts to display backtraces

Set network_maxmin_system->keep_track once for all.

Remove global variable, and push it into lmm_system_t.

And give surf_solve a chance to run correctly in parallel.

Guard against subas->to_index being NULL.

Remove bogus inline declarations in private interface.

Remove bogus inline declarations in public interface.

Fixups in mrealloc

- make sure that it won't try to get a block smaller than what we are
  willing to give (was a bug in previous implementation!!)
- update the requested size markers in meta-datas

THROWF won't work in mmalloc: it needs to malloc stuff (I'm sure)

split memory snapshooting and diffing functions out in their own file

Useless casts.

What's the point compiling with -Werror if we use ugly casts
to silence the compiler???

Reindent.

bvprintf is now superfluous here.

Kill more duplicate routes in platform files.

Error message has changed, update tesh file.

Fix compilation errors about multiple definition of `automaton'.

Document one of midjy's changes (+cosmetics)

document my ongoing changes. Not everything of it were implemented yet, but nothing writen in ChangeLog is really wrong. Even right now

document Pierre's last changes

I don't need an extra file just to define calloc when it can be inlined that easily

and now with the right test so that not all our tests fail

reindent only

kill some dupplicate routes: now that we issue a warning, it breaks all tesh files

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

catch a given possible misconfiguration, and give more informative messages

Put #ifdef MSG_USE_DEPRECATED for all functions with channel mecanism.

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

add a warning if a given route is redefined. It will hopefully help users understanding what's going wrong.

kill now unused declaration

add a surf_parse_warn and get surf_parse_error() accepting variable amount of parameters

Also show the filename to locate parsing errors, not only the line number

Further simplify the mmallocs, and improve its introspection abilities

- Ensure that the mmallocation code will never return NULL (but die
  verbosely), and simplify the using code accordingly.
- Stop using THROWF in there, because these functions probably need
  malloc to work, and that what broke when we want to issue a message.
  Use printf/abort instead.
- Introduce a SMALLEST_POSSIBLE_MALLOC. It already existed (and were
  defined to sizeof(struct list) to ensure that free fragments can be
  enlisted, but I need this to declare the block metadata
- Add a frag_size information within the bloc info structure. It may
  not perfectly be kept uptodate yet (in particular, by realloc)

Don't use reserved keywords.

"or", "and", and "not" are reserved keywords in C++, and this line
breaks compilation of C++ code.

Since the literal constants defined here are never used, comment their
definition, and simply declare the field as an int.

Correctly initialize simdata->comm when marked as isused.

I hope that it's now the good fix for the segfault I got when running
chord --cfg=contexts/stack_size:5 --log=msg_chord.thres:critical --cfg=network/model:Constant ./cluster_with_100000_hosts.xml ./chord100000.xml

(see the backtrace in the message for commit 1380f1a).

Add missing dependency for smpi_traced_simple.

Another %ld -> %zu fix.

TODO--: the 'type' of each mmalloc block is granted to be uptodate at every point

Tomorrow, I'll add the fragment metadatas, and the backtraces.
For that, I'll waste a lot of space by adding a static tables to the
malloc_info structure, where the size of that table is the maximal
amount of fragments per block.

Something like BLOCKSIZE/sizeof(struct list) since mmalloc refuses to
allocate smaller blocks (to ensure that we can enlist free fragments).

This implementation of malloc will definitely not be something that
you want to use when not forced to do so to get the model-checking
working. But it will provide all the information that MC needs.

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

also enforce that the freed block were marked as used before doing so. Theses stats should be trustable now

there were no difference between __mmalloc_free and mfree anymore; merge them

improve the doc to reflect recent changes (and we already have the actual size of blocks)

ensure that free block are marked as such

Simplify the malloc_info structure containing the metadata of a given block in mmalloc

* Less structures in union in structure in union inception madness
  We're using a less portable anonymous union, but gcc handles that
   since maybe 15 years, so that should be cool.
* We can now determine from looking at it whether the block is busy or
   free, without having to search in which list the block is.
  That was useles to other usages of mmalloc, but this is very
   interesting when comparing heaps.
  Moreover, it comes for free: it has exactly the same (memory) cost
   when the block is busy, and we have a plenty of place in the block
   to store that this it free when it is actually free.

Please note that this information is not updated when the block is
freed yet. (splitting the commit just in case someone tries to read it
later: this one is almost automatic refactoring)

document one more function

Add missing flag (X86 or AMD) to test windows functions

Don't import smpi binaries on windows and set environment variables on current user

Don't need to do a distrib on win32

I think I understood how mmalloc works. Now, I'll do what we need in there

simply reindent

who needs aligned mallocs anyway?

further little clarifications in mmalloc comments

various cosmetics and comments improvements

normalize the function names wrt to the rest of XBT

inline a function used at only one location.

I'm not sure that the lisibility gain is very high, but at least it
makes clear that this functionnality is used only here.

cosmetics and kill a now undeclared function prototype

kill an unused/undocumented/un-understood function

group together all functions speaking of module and objects init/fini

merge two files (I'll ignore both of these functions anyway)

Revert "Reset t_simdata->comm after comm is over."

This reverts commit 1380f1a22147312c119055320c6ca87d72837598.

Looking at cdash, it is clearly wrong... sorry for the noise.

smpi_mpi_request_free expects an MPI_request*.

These free's are buggy.

AFAICT, it's the responsibility of smpi_mpi_waitall to free the
requests.

smpirun: report exit status.

kill dupplicated code between legacy interface and actual implementations

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

Simplify the mmalloc library further

* Stop playing with void* for the heap descriptors and introduce the
  xbt_mheap_t datatype for that.
* Don't try to make it work when mmalloc and friends are called with
  NULL as a first argument.

I added a pimple that mmalloc_preinit returns the default mhead after
creating it to simplify the code of the legacy functions that check
that this default mhead exist or create it before using it.

This extra check should be useless if mmalloc_preinit were called soon
enough since it's in the critical path, but the performance of
model-checking is not a concern yet: only getting something working
matters for now.

I finally understood what this function is good for

cosmetics and comment improvement

we don't need any stats about the amount of free chunks and such

errno were never updated anyway

cosmetics and comment improvements

rename sup-mmap.c into mmorecore.c and simplify the code since we want no more than one core provider

kill the sbrk-based morecore: we'll never use less than two heaps when using mmalloc

move a global definition so that we can kill the sbrk stuff: we'll never use it

kill little useless things in mmalloc. Still searching how to do the Big Cleanup on that code

kill the standard hooks of mmalloc: we will change the implementation directly, not declare hooks

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

Reset t_simdata->comm after comm is over.

Fixes a segfault with chord on 100000 hosts, where the backtrace is:

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7b2bd2f in SIMIX_rdv_remove (comm=0x40bd4fd0, rdv=0x0) at ./src/simix/smx_network.c:117
117       xbt_fifo_remove(rdv->comm_fifo, comm);
(gdb) bt
 #0  0x00007ffff7b2bd2f in SIMIX_rdv_remove (comm=0x40bd4fd0, rdv=0x0) at ./src/simix/smx_network.c:117
 #1  SIMIX_comm_cancel (action=0x40bd4fd0) at ./src/simix/smx_network.c:754
 #2  0x00007ffff7b4046e in SIMIX_simcall_pre (simcall=0x613c90, value=0) at ./src/simix/smx_smurf.c:126
 #3  0x00007ffff7b407c6 in SIMIX_simcall_push (self=0x613c00) at ./src/simix/smx_smurf.c:26
 #4  0x00007ffff7a83a8d in simcall_comm_cancel (comm=0x40bd4fd0) at ./src/simix/smx_user.c:830
 #5  MSG_task_cancel (task=0x45ba4eb0) at ./src/msg/msg_task.c:223
 #6  0x00007ffff7a83bc0 in MSG_task_destroy (task=0x45ba4eb0) at ./src/msg/msg_task.c:187
 #7  0x00007ffff7ac3ebb in SIMIX_comm_destroy (action=0x42078370) at ./src/simix/smx_network.c:274
 #8  0x00007ffff7a9603c in SIMIX_process_cleanup (process=0x1ce9da60) at ./src/simix/smx_process.c:87
 #9  0x00007ffff7b40208 in SIMIX_simcall_pre (simcall=0x1ce9daf0, value=0) at ./src/simix/smx_smurf.c:323
 #10 0x00007ffff7b2554e in SIMIX_run () at ./src/simix/smx_global.c:207
 #11 0x00007ffff7b256e7 in MSG_main () at ./src/msg/msg_global.c:155
 #12 0x000000000040180b in main (argc=3, argv=<optimized out>) at ./examples/msg/chord/chord.c:918

Git bisect identified commit 6dcde87 as culprit (Use isend
instead of send to set the simdata->comm so that get_remaining
can work.)

Add more thorough tests for parmaps.

* all modes are tested;
* the "basic test" does some computations, and checks the results;
* the "extended test" tries to verify that all threads are working.

Parmap review.

* synchronizations are made a bit simpler;
* helper functions are renamed for more clarity;
* synchronization at the end of xbt_parmap_new() is removed;
* the working loop is made faster by manually inlining xbt_parmap_next();
* finally, the posix mode is fixed.

Add parmap_bench.c.

Remove static function attribute.

Fixes build error:
./src/surf/network.c:376:12: error: static declaration of ‘net_get_link_latency_limited’ follows non-static declaration
./src/surf/surf_private.h:81:5: note: previous declaration of ‘net_get_link_latency_limited’ was here

Use m_file_t instead of m_file_t*

Remove duplicate declaration for smx_file_t.