Arnaud Giersch [Wed, 23 May 2012 12:08:08 +0000 (14:08 +0200)]
Use standard modifier %z instead of %Z.
Arnaud Giersch [Wed, 23 May 2012 12:06:14 +0000 (14:06 +0200)]
A cast is mandatory here to discard the volatile qualifier.
Arnaud Giersch [Wed, 23 May 2012 12:05:23 +0000 (14:05 +0200)]
Give the correct address for the source of memcpy
Marion Guthmuller [Wed, 23 May 2012 12:47:44 +0000 (14:47 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Wed, 23 May 2012 12:47:40 +0000 (14:47 +0200)]
model-checker : function get_addr_memory_map rewrited using xbt_str tools
navarro [Wed, 23 May 2012 11:56:55 +0000 (13:56 +0200)]
Generate directory /home/groups/simgrid/htdocs/simgrid/${release_version}/ with cmake
Update PIPOL files
Marion Guthmuller [Wed, 23 May 2012 09:47:40 +0000 (11:47 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Wed, 23 May 2012 09:47:21 +0000 (11:47 +0200)]
compilation errors (optimizations and model checking on) fixed in function ‘get_addr_memory_map’
Frederic Suter [Wed, 23 May 2012 09:11:56 +0000 (11:11 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Arnaud Giersch [Wed, 23 May 2012 09:00:38 +0000 (11:00 +0200)]
Update next version to 3.7.1.
Frederic Suter [Wed, 23 May 2012 09:05:39 +0000 (11:05 +0200)]
small glitches there (I didn't "bob" was a routing method)
Arnaud Giersch [Tue, 22 May 2012 13:04:52 +0000 (15:04 +0200)]
Cosmetics: correctly align Cmake messages, and replace tabs with spaces.
navarro [Tue, 22 May 2012 15:24:32 +0000 (17:24 +0200)]
Merge ... cpu_update_actions_state_full and net_update_actions_state_full
navarro [Tue, 22 May 2012 14:29:24 +0000 (16:29 +0200)]
Merge cpu_update_actions_state_lazy and net_update_actions_state_lazy
navarro [Tue, 22 May 2012 13:42:31 +0000 (15:42 +0200)]
Forget to remove this line from previous commit
navarro [Tue, 22 May 2012 13:28:25 +0000 (15:28 +0200)]
Merge cpu and network
Remove *_update_action_remaining_lazy and *_share_resources_lazy from cpu.c and network.c
Add functions generic_share_resources_lazy and generic_update_action_remaining_lazy
navarro [Tue, 22 May 2012 13:17:01 +0000 (15:17 +0200)]
Fix compilation with MSG_DEPRECATED
Arnaud Giersch [Tue, 22 May 2012 11:58:37 +0000 (13:58 +0200)]
Ensure that lfields[] is fully initialized.
Fixes compilation error:
In file included from .../src/xbt/mmalloc/mm.c:24:0:
.../src/xbt/mmalloc/mm_diff.c: In function ‘get_addr_memory_map’:
.../src/xbt/mmalloc/mm_diff.c:373:9: error: ‘lfields[5]’ may be used uninitialized in this function [-Werror=uninitialized]
cc1: all warnings being treated as errors
In fact, once strtok returns NULL, subsequent searches with the same parameters
return NULL too.
Arnaud Giersch [Tue, 22 May 2012 10:01:33 +0000 (12:01 +0200)]
The mutex is useless when mallocators are disabled.
navarro [Tue, 22 May 2012 09:35:29 +0000 (11:35 +0200)]
Fix compilation when using MSG_USE_DEPRECATED
Frederic Suter [Tue, 22 May 2012 08:50:21 +0000 (10:50 +0200)]
add an example of usage of SD_TASK_COMP_PAR_AMDHAL typed tasks. No
tesh file yet.
Frederic Suter [Tue, 22 May 2012 08:42:28 +0000 (10:42 +0200)]
Add a new type of typed task that we may be able to autoschedule.
SD_TASK_COMP_PAR_AMDAHL represents a parallel tasks whose initial work
(amount parameter upon creation) is distributed among host according
to the Amdahl's law. Such tasks are created with a parameter alpha
that corresponds to the non-parallelizable part of the computation.
Before calling SD_task_schedulel or SD_task_schedulev, the
SD_task_distribute_comp_amdahl function has to be called with the
desired number of workstations. The filling of computation_amount and
communication_amount (actually empty) structures is then done seamlessly.
Not sure whether SD_task_distribute_comp_amdahl should be
automatically called within SD_task_schedulev or not. Easy to modify
if we want to hide everything. An option could to call it if the user
didn't do it.
move all the creation functions at the same place in the process.
Frederic Suter [Tue, 22 May 2012 08:40:44 +0000 (10:40 +0200)]
revalidate the tesh file for sd_test. BTW the timings were strange
when looking at the work to do and the hosts' processing power
Frederic Suter [Tue, 22 May 2012 08:38:08 +0000 (10:38 +0200)]
the "amount" field leads to weird behaviors when dealing with parallel
tasks. At SURF level, only computation_amount and communication_amount
should be used. Get rid off amount in *execute_parallel_task functions.
Use 1 when creating the surf action.
Marion Guthmuller [Mon, 21 May 2012 13:59:30 +0000 (15:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Mon, 21 May 2012 13:59:24 +0000 (15:59 +0200)]
model-checker : get location of pointed address in comparison of process memory area
Duco van Amstel [Sun, 20 May 2012 11:23:23 +0000 (13:23 +0200)]
A few more details in some functions descriptions
Arnaud Legrand [Tue, 15 May 2012 16:18:10 +0000 (12:18 -0400)]
my two cents on this release :)
Arnaud Legrand [Mon, 14 May 2012 18:45:37 +0000 (14:45 -0400)]
Set up documentation for simix
Martin Quinson [Tue, 15 May 2012 13:43:28 +0000 (15:43 +0200)]
tiny post-release adjustment
Martin Quinson [Tue, 15 May 2012 11:39:52 +0000 (13:39 +0200)]
Ahem. Typo in release nick name. Retagging and everything
Martin Quinson [Tue, 15 May 2012 11:31:14 +0000 (13:31 +0200)]
RELEAAAAAAAASE
Arnaud Giersch [Mon, 14 May 2012 15:22:45 +0000 (17:22 +0200)]
Missing include (?).
Arnaud Giersch [Mon, 14 May 2012 14:27:54 +0000 (16:27 +0200)]
Spell check in NEWS and ChangeLog.
Frederic Suter [Mon, 14 May 2012 14:49:18 +0000 (16:49 +0200)]
SD_simulate doesn't return a NULL-terminated array since a long time now
Martin Quinson [Mon, 14 May 2012 13:46:53 +0000 (15:46 +0200)]
add a short proof of corectness. should work too
Martin Quinson [Mon, 14 May 2012 12:59:22 +0000 (14:59 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 14 May 2012 12:59:07 +0000 (14:59 +0200)]
argument why parallel execution don't jeopardize reproducibility even if we never sort process_to_run explicitely (and cite XKCD appropriatly)
Christophe Thiéry [Mon, 14 May 2012 12:55:55 +0000 (14:55 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Arnaud Giersch [Mon, 14 May 2012 12:47:43 +0000 (14:47 +0200)]
Remove old cruft.
Christophe Thiéry [Mon, 14 May 2012 12:39:58 +0000 (14:39 +0200)]
Add comments to this script
Arnaud Giersch [Mon, 14 May 2012 08:45:56 +0000 (10:45 +0200)]
Typo.
Martin Quinson [Sun, 13 May 2012 21:59:13 +0000 (23:59 +0200)]
missing file in .tgz causing errors in ctest
Martin Quinson [Sun, 13 May 2012 21:49:53 +0000 (23:49 +0200)]
prepare the NEWS file for next release
Martin Quinson [Sun, 13 May 2012 21:40:26 +0000 (23:40 +0200)]
update the ChangeLog
Martin Quinson [Sun, 13 May 2012 21:22:15 +0000 (23:22 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 13 May 2012 21:20:51 +0000 (23:20 +0200)]
make xbt_os_thread module public (Java needs it, at least)
Martin Quinson [Sun, 13 May 2012 21:17:24 +0000 (23:17 +0200)]
ensure that this header can be made public by relying on public simgrid_config.h, not private gras_config.h
Marion Guthmuller [Fri, 11 May 2012 17:07:06 +0000 (19:07 +0200)]
model-checker : parser for dwarf file (to complete ...)
schnorr [Fri, 11 May 2012 14:09:30 +0000 (16:09 +0200)]
[trace] update ChangeLog to report relevant changes in the tracing system
navarro [Thu, 10 May 2012 15:36:15 +0000 (17:36 +0200)]
Update tesh for 32 bit
navarro [Thu, 10 May 2012 15:24:55 +0000 (17:24 +0200)]
Just hack the Bconnection to be sure test succed on 32 and 64 bit platform
HAVE TO BE FIX AFTER SIMGRID v3.7
navarro [Thu, 10 May 2012 15:18:45 +0000 (17:18 +0200)]
Update tesh file
Martin Quinson [Thu, 10 May 2012 14:41:18 +0000 (16:41 +0200)]
improve a comment on my way
Martin Quinson [Thu, 10 May 2012 12:49:15 +0000 (14:49 +0200)]
More debugs around process suspension
Martin Quinson [Thu, 10 May 2012 12:48:50 +0000 (14:48 +0200)]
allow a process blocked on a communication that didn't start yet to get suspended
Martin Quinson [Thu, 10 May 2012 12:47:07 +0000 (14:47 +0200)]
typo
Martin Quinson [Thu, 10 May 2012 08:40:10 +0000 (10:40 +0200)]
new function xbt_dynar_search_or_negative()
It is useful when you have less than 2 million elements in your dynar
and don't want of the extra complexity of catching exceptions when the
element is not found.
Laurent Bobelin [Thu, 10 May 2012 12:43:54 +0000 (14:43 +0200)]
doc : misc : documented that the numeric sep in trace file depends on system locale.
navarro [Thu, 10 May 2012 12:36:58 +0000 (14:36 +0200)]
Make simgrid doc with new logo name
Samuel Lepetit [Thu, 10 May 2012 11:41:57 +0000 (13:41 +0200)]
Add explanation in MSG_task_irecv documentation
navarro [Thu, 10 May 2012 10:29:31 +0000 (12:29 +0200)]
Merge cpu and network for action functions.
navarro [Wed, 9 May 2012 14:59:10 +0000 (16:59 +0200)]
Put those variables private
navarro [Wed, 9 May 2012 14:18:41 +0000 (16:18 +0200)]
TODO for cache friendly
navarro [Wed, 9 May 2012 12:51:07 +0000 (14:51 +0200)]
Prepare network.c and cpu_cas01.c for net and cpu merge.
Samuel Lepetit [Wed, 9 May 2012 15:30:29 +0000 (17:30 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Wed, 9 May 2012 15:30:23 +0000 (17:30 +0200)]
Little mistake in MSG_task_set_name javadoc
Arnaud Giersch [Fri, 27 Apr 2012 13:31:55 +0000 (15:31 +0200)]
Use -DBL_MAX for MIN_KEY_VALUE.
Arnaud Giersch [Fri, 27 Apr 2012 13:13:12 +0000 (15:13 +0200)]
Typo.
unknown [Fri, 4 May 2012 15:32:36 +0000 (17:32 +0200)]
Add a real new ico ;)
Laurent Bobelin [Fri, 4 May 2012 14:22:26 +0000 (16:22 +0200)]
Added an ico as Pierre also wants this format.
navarro [Fri, 4 May 2012 14:00:27 +0000 (16:00 +0200)]
Add new icon for doc
unknown [Fri, 4 May 2012 14:55:19 +0000 (16:55 +0200)]
Update list of headers to install for nsis
unknown [Fri, 4 May 2012 14:32:31 +0000 (16:32 +0200)]
Fix compilation error if don't have MMAP like win32
navarro [Fri, 4 May 2012 11:22:24 +0000 (13:22 +0200)]
Rewrite function net_update_action_remaining_lazy like in cpu.
Arnaud Legrand [Fri, 4 May 2012 11:05:44 +0000 (13:05 +0200)]
Get rid of intrusive check now that suspend, resume and kill have been cleaned up.
Arnaud Legrand [Fri, 4 May 2012 11:00:50 +0000 (13:00 +0200)]
Better coverage of SIMIX_process_suspend and resume.
navarro [Thu, 3 May 2012 17:15:46 +0000 (19:15 +0200)]
A priori, no need to propagate modifications when the variable has no impact on the constraint.
navarro [Thu, 3 May 2012 17:14:53 +0000 (19:14 +0200)]
Revisit lazy_remaining_update that was completely broken.
Unfortunately, this requires to save the previous variable value
since we know when an action requires a remaining_update only
after having thrashed the variable value with lmm_solve. Hence,
function call order is completely changed but now, we only
update needed variables whereas before almost all variables got
updated everytime.
Samuel Lepetit [Thu, 3 May 2012 12:18:57 +0000 (14:18 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Thu, 3 May 2012 12:18:51 +0000 (14:18 +0200)]
Bugfix in masterslave_arg
Arnaud Legrand [Thu, 3 May 2012 10:55:40 +0000 (12:55 +0200)]
Revalidate output after my recent modifications in simix
The execution order of process at a given timestep may have changed but
if your code really depends on this, this means it was already producing
bogus results.
Arnaud Legrand [Thu, 3 May 2012 10:47:04 +0000 (12:47 +0200)]
Make the suspend/resume work while a process is in a syscall.
Arnaud Legrand [Thu, 3 May 2012 10:45:34 +0000 (12:45 +0200)]
Use this variable so that gcc does not warn anymore.
Marion Guthmuller [Thu, 3 May 2012 10:23:33 +0000 (12:23 +0200)]
add SIMIX_host_get/set_data declaration in simix.h and include simix.h in msg_host.c (compilation warnings)
Marion Guthmuller [Thu, 3 May 2012 08:54:19 +0000 (10:54 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Thu, 3 May 2012 08:54:14 +0000 (10:54 +0200)]
model-checker : new comparison of region (program data and libsimgrid data)
schnorr [Wed, 2 May 2012 15:46:41 +0000 (17:46 +0200)]
[trace] always set initial value for variables, if not, we get an invalid trace file
navarro [Wed, 2 May 2012 11:04:01 +0000 (13:04 +0200)]
This file does not exist.
Martin Quinson [Mon, 30 Apr 2012 23:29:48 +0000 (01:29 +0200)]
Stop using SMX host->data to store MSG host
- that's useless since we have the lib to retrieve the MSG_host data
directly
- it would break java bindings since it stores java object in there
Pretty fucking bug, I've lost my day on this one.
Martin Quinson [Sat, 28 Apr 2012 07:48:39 +0000 (09:48 +0200)]
I forgot to update my tree before commiting (once again), and got conflicts as punishment
Martin Quinson [Fri, 27 Apr 2012 21:03:00 +0000 (23:03 +0200)]
removing the channels would really make the structures simpler
Martin Quinson [Fri, 27 Apr 2012 20:47:02 +0000 (22:47 +0200)]
Remove the public field msg_host_t->name. Use MSG_host_get_name()
Martin Quinson [Fri, 27 Apr 2012 20:35:49 +0000 (22:35 +0200)]
simplify msg_host_t by inlining the simdata field
Martin Quinson [Fri, 27 Apr 2012 20:25:31 +0000 (22:25 +0200)]
save one pointer per MSG host
Martin Quinson [Fri, 27 Apr 2012 20:09:38 +0000 (22:09 +0200)]
Merge all public simix headers, and distribute them in simgrid directory
Actually, I think I never understood why we have a separate
datatypes.h header: what's the harm of declaring the functions too?
I kinda prefer one directory with all files instead of 12 directories
with 2 files each.
Martin Quinson [Fri, 27 Apr 2012 19:51:05 +0000 (21:51 +0200)]
Enhance the communication filtering mechanism
* Add an extra argument to the filter: a smx_action_t describing the
other side's communication. That's useful to write filters on other
side's identity
* Ensure that if no comm matches the filters, the filter function gets
saved in the comm object that gets created and stored in rdv point.
Later on, when someone else tries to make a match, use that stored
function to ensure that the stored filter accepts to match the new
commer.
Thanks to Sorina Camarasu for exploring all this.
Marion Guthmuller [Fri, 27 Apr 2012 14:43:29 +0000 (16:43 +0200)]
model-checker : remove meta-data of heap in comparison algorithm
Arnaud Giersch [Fri, 27 Apr 2012 12:16:18 +0000 (14:16 +0200)]
Workaround problem with excess precision on i387 FPU.
See http://gcc.gnu.org/PR323.
Arnaud Giersch [Fri, 27 Apr 2012 12:16:18 +0000 (14:16 +0200)]
Use existing xbt_swag_reset().