Gabriel Corona [Fri, 4 Apr 2014 13:19:43 +0000 (15:19 +0200)]
Merge branch 'mc'
Gabriel Corona [Fri, 4 Apr 2014 13:14:08 +0000 (15:14 +0200)]
[mc] Implement translation of register number
Libunwind and DWARF do not associated the same regsiter number (at
least in i386) so me need to translate from DWARf register numbers
into libunwind register numbers.
Fix broken expression evaluation on i386.
Augustin Degomme [Fri, 4 Apr 2014 12:37:58 +0000 (14:37 +0200)]
oops, forgot to perform the actual change of path in
3854ce9a5 .
Augustin Degomme [Fri, 4 Apr 2014 12:21:58 +0000 (14:21 +0200)]
line not needed without the handler, and SIGSTKSZ is not defined on win32
Augustin Degomme [Fri, 4 Apr 2014 12:19:46 +0000 (14:19 +0200)]
file win32_ucontext.h was moved by
6e893f95c
oops, this changes the endlines ... let's say it's wanted.
Augustin Degomme [Fri, 4 Apr 2014 12:18:04 +0000 (14:18 +0200)]
fix compil of smpi_bench.c on win32
Augustin Degomme [Fri, 4 Apr 2014 12:17:46 +0000 (14:17 +0200)]
get page size info on win32
Augustin Degomme [Fri, 4 Apr 2014 12:17:36 +0000 (14:17 +0200)]
disable segv handler and guards on windows platforms
Arnaud Giersch [Fri, 4 Apr 2014 11:03:29 +0000 (13:03 +0200)]
Remove unused default constructors.
Arnaud Giersch [Fri, 4 Apr 2014 09:27:38 +0000 (11:27 +0200)]
Factorize initializations for Action constructors.
Also initialize m_hat to NOTSET.
Gabriel Corona [Fri, 4 Apr 2014 10:19:36 +0000 (12:19 +0200)]
[mc] Fix MC_free_snapshot (NP reading NULL snapshot->privatization_regions)
Arnaud Giersch [Thu, 3 Apr 2014 09:46:56 +0000 (11:46 +0200)]
Fix memory leak on file_unlink.
Arnaud Giersch [Thu, 3 Apr 2014 08:18:22 +0000 (10:18 +0200)]
Older gcc warns that variable may be uninitialized. Initialize it.
Gabriel Corona [Thu, 3 Apr 2014 16:18:46 +0000 (18:18 +0200)]
[mc] Make snapshots compatible with SMPI privatization of global variables
Not handled yet:
* State comparaison is not handled in this commit;
* Address process/snapshot translation support.
Still to do: make a clean API for the privatization.
Arnaud Legrand [Thu, 3 Apr 2014 23:48:41 +0000 (01:48 +0200)]
Have an informative final message.
Arnaud Legrand [Thu, 3 Apr 2014 23:48:11 +0000 (01:48 +0200)]
Distinguish between time precision and sharing precision.
- Set up two distinct configuration variables and use them in the right places
- Set them to legacy values especially in smpirun
- Revalidate tesh files accordingly (only the "Configuration change" message)
Arnaud Legrand [Thu, 3 Apr 2014 15:47:11 +0000 (17:47 +0200)]
Use more explicit variable names and add a bit of debug.
There is still something "wrong" with this code, which is that it aborts whenever an action gets a share of 0 (in which case I am not able to assign it a completion date and insert it into the calendar). This could happen but is more likely to be a bug in lmm or in surf, which is why I leave it as such for the moment.
Arnaud Legrand [Thu, 3 Apr 2014 15:44:46 +0000 (17:44 +0200)]
Fix bug #17132 (surf.c:366: The Impossible Did Happen (yet again)).
This occured only when a fatpipe had two (or more) flows with different bandwidth bounds. Only one would get bandwidth and because of early termination in this loop, the constraint was never considered ever again, hence the other flow would stay with a share of 0.
Arnaud Legrand [Thu, 3 Apr 2014 15:42:17 +0000 (17:42 +0200)]
Add more debug
Arnaud Legrand [Thu, 3 Apr 2014 12:18:19 +0000 (14:18 +0200)]
Start documenting how lmm works
Arnaud Giersch [Tue, 1 Apr 2014 14:51:38 +0000 (16:51 +0200)]
[mc] Initialize expression->ops before calling mc_dwarf_expression_init.
Pierre Veyre [Tue, 1 Apr 2014 12:52:35 +0000 (14:52 +0200)]
Fix MSG_file_rcopy() and MSG_file_rmove()
Arnaud Giersch [Tue, 1 Apr 2014 09:41:10 +0000 (11:41 +0200)]
Check if MAP_ANONYMOUS is defined after including sys/mman.h.
Some systems define MAP_ANON instead of MAP_ANOYMOUS.
Arnaud Giersch [Tue, 1 Apr 2014 09:37:56 +0000 (11:37 +0200)]
Update copyright headers.
Arnaud Giersch [Tue, 1 Apr 2014 09:15:57 +0000 (11:15 +0200)]
Cosmetics: move SimGrid copyright on top.
Pierre Veyre [Tue, 1 Apr 2014 09:27:52 +0000 (11:27 +0200)]
Rename msg_storage_priv->host by msg_storage_priv->hostname
Improve MSG_file_read() and MSG_file_write()
Pierre Veyre [Tue, 1 Apr 2014 09:08:39 +0000 (11:08 +0200)]
Change MSG_file_unlink() return type
Pierre Veyre [Tue, 1 Apr 2014 08:52:52 +0000 (10:52 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 1 Apr 2014 08:52:04 +0000 (10:52 +0200)]
remove MSG_file_ls()
Arnaud Giersch [Tue, 1 Apr 2014 08:31:12 +0000 (10:31 +0200)]
Remove binary file.
Pierre Veyre [Tue, 1 Apr 2014 06:52:39 +0000 (08:52 +0200)]
Remove XBT_INFO call
Pierre Veyre [Tue, 1 Apr 2014 06:26:21 +0000 (08:26 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 1 Apr 2014 06:25:59 +0000 (08:25 +0200)]
Add bug-17132 tesh suite
Martin Quinson [Mon, 31 Mar 2014 19:43:02 +0000 (21:43 +0200)]
Revert "Remove XBT_INFO call"
This commit changes much much more than wanted. In particular, it
reverts several changes done in the tree recently. I assume that the
merge that occured just before this commit went awfully wrong,
actually.
That's ok, shit happens, don't worry.
Nevertheless, I revert this commit when it's still possible, before
the first unrelated commit on top of it. Pierre, please, pick your
changes back from the diff, and resubmit them.
This reverts commit
f9e6853d2c5b7b867211700bc12f0ee57f640b30.
Pierre Veyre [Mon, 31 Mar 2014 15:19:31 +0000 (17:19 +0200)]
Remove XBT_INFO call
Pierre Veyre [Mon, 31 Mar 2014 14:59:29 +0000 (16:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Mon, 31 Mar 2014 14:56:45 +0000 (16:56 +0200)]
Improve MSG_file_read() and MSG_file_write()
Arnaud Giersch [Mon, 31 Mar 2014 14:34:21 +0000 (16:34 +0200)]
Improve error message.
Arnaud Giersch [Mon, 31 Mar 2014 14:22:45 +0000 (16:22 +0200)]
Fix bug with Java bindings on 32-bit systems.
On 32-bit systems, sizeof(NetworkLink*) < sizeof(jlong), and the elements must
be copied one by one.
Arnaud Giersch [Mon, 31 Mar 2014 11:49:36 +0000 (13:49 +0200)]
[mc] Reduce stack_size for tests mc-bugged*.
Default stack size was recently increased from 128KiB to 8MiB,
which is a bit too much on small machines (e.g. on CI).
Reduce it to 256KiB (2 times the old size) for tests mc-bugged*.
Arnaud Giersch [Fri, 28 Mar 2014 17:15:55 +0000 (18:15 +0100)]
[mc] Better fix for compatibility with old/broken version of dwarf.h.
Avoids to use a hardcoded value.
Augustin Degomme [Mon, 31 Mar 2014 12:05:50 +0000 (14:05 +0200)]
Remove benchmarking calls in MPI functions that don't actually perform comms and are not traced,
We don't need to halt processes and trigger context switches for them (and privatization switches).
This should improve SMPI performance a little.
Augustin Degomme [Mon, 31 Mar 2014 09:14:44 +0000 (11:14 +0200)]
forgotten useless line (should not do anything with our sets of flags for mmapped pages)
Gabriel Corona [Fri, 28 Mar 2014 14:50:58 +0000 (15:50 +0100)]
[mc] Fix type conversion in unit test
Gabriel Corona [Fri, 28 Mar 2014 14:28:25 +0000 (15:28 +0100)]
[mc] Fix type conversion (once again)
Gabriel Corona [Fri, 28 Mar 2014 14:05:55 +0000 (15:05 +0100)]
[mc] Fix type conversion
Gabriel Corona [Fri, 28 Mar 2014 13:25:15 +0000 (14:25 +0100)]
[mc] Fix type conversions
Augustin Degomme [Fri, 28 Mar 2014 12:22:15 +0000 (13:22 +0100)]
privatization : perform the initialization at process launch, not at MPI_Init time
Also switch at destroy time, to avoid deallocation problems in user code
Augustin Degomme [Wed, 26 Mar 2014 16:00:42 +0000 (17:00 +0100)]
replace warnings by debug messages
Gabriel Corona [Fri, 28 Mar 2014 10:29:13 +0000 (11:29 +0100)]
[mc] Change type for type->id
Marion Guthmuller [Fri, 28 Mar 2014 10:27:34 +0000 (11:27 +0100)]
model-checker : smpi mutual exclusion example
Gabriel Corona [Fri, 28 Mar 2014 09:54:52 +0000 (10:54 +0100)]
[mc] Fix type of expression resolution methods (uintpt_t and not Dwarf_Off)
Gabriel Corona [Fri, 28 Mar 2014 09:50:29 +0000 (10:50 +0100)]
[mc] Fix compatibility with old/broken version of dwarf.h
Gabriel Corona [Thu, 27 Mar 2014 15:53:27 +0000 (16:53 +0100)]
[mc] Kernel Samepage Merging support (Linux)
Add MADV_MERGEABLE advice (madvise) for KSM in the heaps and
read/write segments: mark these regions of memory as candidate for
KSM. As the stacks are stored on the heap, they are candidate for KSM
as well.
In order to work, KSM must be enabled on the system (by root):
# Enable:
echo 1 > /sys/kernel/mm/ksm/run
# Do some real work:
echo 10000 > /sys/kernel/mm/ksm/pages_to_scan
See Documentation/vm/ksm.txt:
https://www.kernel.org/doc/Documentation/vm/ksm.txt
We would like to only mark the .data+.bss and not the other sections
of the segment.
Gabriel Corona [Thu, 27 Mar 2014 11:25:04 +0000 (12:25 +0100)]
[mc] Comment unhandled rangelistptr class in DW_AT_start_scope
Gabriel Corona [Thu, 27 Mar 2014 10:00:11 +0000 (11:00 +0100)]
[mc] Correctly handle the end of the stack unwinding
unw_step returns 0 when reaching the bottom of the stack: this return
code was not handled correctly leading to infinite loops in some
cases.
Gabriel Corona [Thu, 27 Mar 2014 09:58:54 +0000 (10:58 +0100)]
[mc] Really fix DW_AT_high_pc for DWARF4
In DWARF4, DW_AT_high_pc can be an offset from DW_AT_low_pc instead of
a relocatable address.
MC works with DWARF4!
Arnaud Giersch [Wed, 26 Mar 2014 19:05:48 +0000 (20:05 +0100)]
Fix parameter names.
Arnaud Giersch [Wed, 26 Mar 2014 19:01:30 +0000 (20:01 +0100)]
Fix directories for bug-17312.
Also add --cfg=smpi/cpu_threshold:-1 and --log=smpi_kernel.thres:warning
to the command line.
Martin Quinson [Wed, 26 Mar 2014 17:03:47 +0000 (18:03 +0100)]
fix 'make dist', stupid me
Martin Quinson [Wed, 26 Mar 2014 16:57:28 +0000 (17:57 +0100)]
integrate the testcase of #17132 into our testsuite
Paul Bédaride [Wed, 26 Mar 2014 16:03:08 +0000 (17:03 +0100)]
Finalize reservation surf plugin
Paul Bédaride [Wed, 26 Mar 2014 16:02:09 +0000 (17:02 +0100)]
Add networkCommunicateCallback, NetworkLink::updateLatency and NetworkLink::updateBandwidth methods
Paul Bédaride [Tue, 25 Mar 2014 09:42:44 +0000 (10:42 +0100)]
Change StateChanged callback signatures
Pierre Veyre [Wed, 26 Mar 2014 11:37:33 +0000 (12:37 +0100)]
Fix Workstation::fileRcopy
Pierre Veyre [Tue, 25 Mar 2014 14:22:11 +0000 (15:22 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 25 Mar 2014 14:21:46 +0000 (15:21 +0100)]
Finalises MSG_file_rcopy() and MSG_file_rmove()
Gabriel Corona [Tue, 25 Mar 2014 13:19:58 +0000 (14:19 +0100)]
Merge branch 'mc++'
Gabriel Corona [Tue, 25 Mar 2014 12:57:42 +0000 (13:57 +0100)]
[mc] Fix warning on pointer/integer/address conversion
Gabriel Corona [Tue, 25 Mar 2014 11:11:15 +0000 (12:11 +0100)]
[mc] Handle DW_AT_high_pc as offset for DWARF4
Pierre Veyre [Tue, 25 Mar 2014 10:39:44 +0000 (11:39 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 25 Mar 2014 10:39:35 +0000 (11:39 +0100)]
prepare MSG_file_rcopy()
Pierre Veyre [Tue, 25 Mar 2014 10:37:21 +0000 (11:37 +0100)]
prepare Workstation::fileRcopy()
Gabriel Corona [Tue, 25 Mar 2014 10:12:39 +0000 (11:12 +0100)]
[mc] Fix DW_OP_addr to translate address into virtual address space
For shared objects, the address is in fact an offset from the base
address of the mapped shared object:
real_address = shared_object_address + address
Augustin Degomme [Tue, 25 Mar 2014 10:09:46 +0000 (11:09 +0100)]
mpich tests : Use the manually privatized version of mtest.c file if mmap is not available
Gabriel Corona [Tue, 25 Mar 2014 09:10:43 +0000 (10:10 +0100)]
[mc] Fix DW_OP_call_frame_cfa
UNW_X86_64_CFA does not work as expected
Gabriel Corona [Tue, 25 Mar 2014 08:10:30 +0000 (09:10 +0100)]
[mc] Fix broken DW_OP_call_frame_cfa
For some reason, it seems the value of CFA is still wrong but it might
come from somewhere else.
Paul Bédaride [Mon, 24 Mar 2014 16:21:27 +0000 (17:21 +0100)]
Add java surf plugin to reserve bandwidth
Arnaud Giersch [Mon, 24 Mar 2014 14:39:24 +0000 (15:39 +0100)]
Avoid to fill up the disks of build daemons with core files.
Arnaud Giersch [Mon, 24 Mar 2014 14:37:09 +0000 (15:37 +0100)]
Fix doxygen comment: parameter does not exist.
Gabriel Corona [Mon, 24 Mar 2014 12:27:33 +0000 (13:27 +0100)]
[mc] Fix handling of inlined subroutines in MC_ignore_local_variable
The matching of function name was incorrecy in
MC_ignore_local_variable(): when the variable is in an inlined
subroutine, the function name was compared against the name of its
containing non-inlined subprogram (DW_TAG_subprogram) instead of the
name of the inlined subroutine (DW_TAG_inlined_subroutine).
Gabriel Corona [Mon, 24 Mar 2014 12:08:04 +0000 (13:08 +0100)]
[mc] Attach correct namespaced name in inlined subroutine (DW_TAG_inlined_subroutine)
Gabriel Corona [Mon, 24 Mar 2014 11:37:33 +0000 (12:37 +0100)]
[mc] Replace frame->frame (frame *name*) by frame->subprogram (dw_type_t)
Gabriel Corona [Mon, 24 Mar 2014 11:28:05 +0000 (12:28 +0100)]
[mc] Process nested-scopes
Gabriel Corona [Mon, 24 Mar 2014 10:59:07 +0000 (11:59 +0100)]
[mc] Remove MC_dwarf_get_variable_by_name (unused)
Gabriel Corona [Mon, 24 Mar 2014 10:43:08 +0000 (11:43 +0100)]
[mc] Fix handling of DW_AT_high_pc
DW_AT_high_pc is the first address which is not in the range and not
the last address in the range.
Gabriel Corona [Mon, 24 Mar 2014 10:38:43 +0000 (11:38 +0100)]
[mc] Rename frame->start into frame->id
Gabriel Corona [Mon, 24 Mar 2014 10:36:55 +0000 (11:36 +0100)]
[mc] Remove frame->end field which was not used anymore
Pierre Veyre [Mon, 24 Mar 2014 10:41:45 +0000 (11:41 +0100)]
Removes MSG_storage_file_rename()
Implements MSG_file_move()
Gabriel Corona [Mon, 24 Mar 2014 10:23:28 +0000 (11:23 +0100)]
[mc] Process nested scopes DWARF informations
Subprograms contains scopes (with variables) and scope contains other
scopes as well. They are represented by the same data structure
dw_frame_t. Scopes might be :
* DW_TAG_lexical_scope;
* DW_try_block;
* DW_catch_block;
* DW_with_stmt (partial support);
* DW_inlined_subroutine.
The scopes informations are stored but they are not used yet.
Gabriel Corona [Mon, 24 Mar 2014 09:25:52 +0000 (10:25 +0100)]
[mc] Fix memory leaks
Gabriel Corona [Mon, 24 Mar 2014 09:21:32 +0000 (10:21 +0100)]
[mc] Documentation
Pierre Veyre [Mon, 24 Mar 2014 07:46:39 +0000 (08:46 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Martin Quinson [Sun, 23 Mar 2014 18:17:00 +0000 (19:17 +0100)]
fix the dist target after my last header move
Martin Quinson [Sun, 23 Mar 2014 15:23:07 +0000 (16:23 +0100)]
move back the protected interface of platforms to the non-public area
And have the public surf_routing.h use the public interface of
platforms instead of the protected one.
degomme [Sun, 23 Mar 2014 00:27:59 +0000 (01:27 +0100)]
Have smpi_bench.c see HAVE_MMAP flag
The way internal_config.h is not included in lots of files may cause bugs..
Shouldn't we pass flags through CFLAGS instead ?
Arnaud Giersch [Sat, 22 Mar 2014 22:47:27 +0000 (23:47 +0100)]
Missing dependency (fix parallel builds).
Arnaud Giersch [Sat, 22 Mar 2014 22:34:28 +0000 (23:34 +0100)]
Add missing files for javadoc.
Arnaud Giersch [Sat, 22 Mar 2014 22:25:13 +0000 (23:25 +0100)]
Fix doxygen comments.
Arnaud Giersch [Sat, 22 Mar 2014 22:21:55 +0000 (23:21 +0100)]
Missing XBT_LOG_CONNECTs.