A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Bugfix: save only the state of the heap and libsimgrid.
2011-01-20
cristianrosa
Bugfix: save only the state of the heap and libsimgrid.
commit
|
commitdiff
|
tree
2011-01-20
cristianrosa
Bugfix: do not assume that request of different type...
commit
|
commitdiff
|
tree
2011-01-20
cristianrosa
Do not free the data structures before leaving because...
commit
|
commitdiff
|
tree
2011-01-20
cristianrosa
Some bugfixes:
commit
|
commitdiff
|
tree
2011-01-20
cristianrosa
Bugfix: manually increase the time when running the...
commit
|
commitdiff
|
tree
2011-01-11
cristianrosa
Bugfix: no longer post a request in the clean up function.
commit
|
commitdiff
|
tree
2011-01-11
cristianrosa
Improve debug information
commit
|
commitdiff
|
tree
2011-01-07
cristianrosa
Small bugfixes to stabilize the MC
commit
|
commitdiff
|
tree
2011-01-07
cristianrosa
Bugfix: the result of waitany calls should be determined...
commit
|
commitdiff
|
tree
2011-01-05
cristianrosa
Add suport for TestAny and WaitAny requests to the...
commit
|
commitdiff
|
tree
2011-01-05
cristianrosa
Bugfix: killall should execute all processes after...
commit
|
commitdiff
|
tree
2011-01-05
cristianrosa
Rework state's implementation to better support waitany...
commit
|
commitdiff
|
tree
2011-01-05
cristianrosa
Replace the setsets in the MC's states by malloced...
commit
|
commitdiff
|
tree
2010-12-20
cristianrosa
Bugfix: return after answering the request when running...
commit
|
commitdiff
|
tree
2010-12-20
cristianrosa
Improve debugging information
commit
|
commitdiff
|
tree
2010-12-20
cristianrosa
Protect some host execute functions in the case that...
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Bugfix: deadlock detection was wrong. Reimplemented.
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Bugfix: correctly set/unset the raw memory when taking...
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Add deployment file for the bugged3 example.
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Improve the debugging information
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Bugfix: make sure we include the definition of HAVE_MC
commit
|
commitdiff
|
tree
2010-12-16
cristianrosa
Bugfix: the example contained an non-intentional dead...
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Answer the request as the last action on it (it will...
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Fix the detection of the raw_heap when snapshoting
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Fix race condition on task put/get
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Do not use the user data argument of isend.
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Do not use the data argument of isend anymore.
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Improve debugging information
commit
|
commitdiff
|
tree
2010-12-15
cristianrosa
Compile fix: typo in variable name.
commit
|
commitdiff
|
tree
2010-12-14
cristianrosa
Use private futex commands
commit
|
commitdiff
|
tree
2010-12-14
cristianrosa
Reimplement parmap using futex based barriers.
commit
|
commitdiff
|
tree
2010-12-13
cristianrosa
Add parmap to raw contexts
commit
|
commitdiff
|
tree
2010-12-13
cristianrosa
Use a dynar instead of a swag to implement the process_to_ru...
commit
|
commitdiff
|
tree
2010-12-13
cristianrosa
Transform the thread pool into a parallel map data...
commit
|
commitdiff
|
tree
2010-12-13
cristianrosa
Remove the threadpool from the context factories.
commit
|
commitdiff
|
tree
2010-12-09
cristianrosa
Remove the fork based checkpoint functionality.
commit
|
commitdiff
|
tree
2010-12-09
cristianrosa
On MC mode, return immediately after handling the wait...
commit
|
commitdiff
|
tree
2010-12-09
cristianrosa
Do not use XBT log on unit test.
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Bugfix: save the ucontext of each running thread in...
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Rename condition variable + improve debugging
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Compile fix: smx_process_t->request is a s_smx_req_t...
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Bugfixes + test suitx
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Include threadpool.h
commit
|
commitdiff
|
tree
2010-12-08
cristianrosa
Wait for all the context to finish it's execution
commit
|
commitdiff
|
tree
2010-12-07
cristianrosa
No need to lock on request pop.
commit
|
commitdiff
|
tree
2010-12-07
cristianrosa
Add support for custom communication matching to SIMIX...
commit
|
commitdiff
|
tree
2010-12-07
cristianrosa
Rework context factory's initialization logic.
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Bugfix: protect SIMIX_context_self() in the case that...
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Initialize surf before the context module, so the later...
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Bugfix: Protect SIMIX_process_self in the case that...
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Revert thread creation delay on pthread context factory.
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Improve context switching for ucontext
commit
|
commitdiff
|
tree
2010-12-06
cristianrosa
Compile fix: iwannadie is now in the context structure
commit
|
commitdiff
|
tree
2010-12-02
cristianrosa
Switch to Ruby 1.9.x
commit
|
commitdiff
|
tree
2010-12-02
cristianrosa
Compile fix
commit
|
commitdiff
|
tree
2010-12-02
cristianrosa
Fix compile: ruby's context factoy should respect the...
commit
|
commitdiff
|
tree
2010-12-02
cristianrosa
Compile fix: pthread should respect the context factory...
commit
|
commitdiff
|
tree
2010-12-02
cristianrosa
- Move simix_global->current_process to smx_current_context
commit
|
commitdiff
|
tree
2010-10-01
cristianrosa
Fix for msg_icomms test. Do not pass the address of...
commit
|
commitdiff
|
tree
2010-09-30
cristianrosa
Fix race condition during the creation of the listeners...
commit
|
commitdiff
|
tree
2010-09-28
cristianrosa
Fix a 3 years old bug in the dictionary's function...
commit
|
commitdiff
|
tree
2010-09-07
cristianrosa
Do not call xbt_cfg_set_int on the model-check option...
commit
|
commitdiff
|
tree
2010-08-10
cristianrosa
Tweak a bit the dependence function
commit
|
commitdiff
|
tree
2010-08-05
cristianrosa
Improve handling of WaitAny transitions.
commit
|
commitdiff
|
tree
2010-08-05
cristianrosa
Show more information on dead-lock'ed transitions
commit
|
commitdiff
|
tree
2010-08-03
cristianrosa
Tweak the handling of WaitAny transitions. It should...
commit
|
commitdiff
|
tree
2010-07-29
cristianrosa
Enable using the MC with SMPI
commit
|
commitdiff
|
tree
2010-07-29
cristianrosa
Fix a bug in the MC that enables running programs that...
commit
|
commitdiff
|
tree
2010-07-05
cristianrosa
Change dependence function to mimic the one in AVOCS...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Remove the transitions from the model-checker's setset...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Remove the reference count of the elements from the...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Improve setset iterator
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Transform transitions of type "mc_waitany" into multiple...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Transform random transitions into multiple // transitions...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Add logging for transitions
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Add MC support for processes with multiple enabled...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Bugfix: setset cursors were incorrectly implemented...
commit
|
commitdiff
|
tree
2010-05-21
cristianrosa
Improve support for WaitAny transitions, not usable...
commit
|
commitdiff
|
tree
2010-05-20
cristianrosa
Rework MC transition interception/creation. Now it...
commit
|
commitdiff
|
tree
2010-05-20
cristianrosa
Compile fix, size_t != int in 64 bits
commit
|
commitdiff
|
tree
2010-05-18
cristianrosa
Fix problem on merge from svn
commit
|
commitdiff
|
tree
2010-05-18
cristianrosa
Import portability macro in mmalloc
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Initial FAQ section for using the model-checking mode.
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Add dead-lock detection to MC
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Improve comments on examples
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Add new example: "Shared buffer between asynchronous...
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Improve independence detection of transitions (more...
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Bugfix: Do not copy the communication data in the model...
commit
|
commitdiff
|
tree
2010-05-14
cristianrosa
Free MC memory on exit
commit
|
commitdiff
|
tree
2010-05-14
cristianrosa
Bugfix: destroy all the sets when destroying a setset...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: delete the set of created transitions, otherwise...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: do not assume that the object still exists...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: delete the tasks after using them
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: fix memory leak related to transition creation...
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Bugfix:delete unused variables in order to compile
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Add new example to test MC_random function
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Add int MC_random(int min, int max) function that will...
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Improve the transition's dependence detection in MC
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Do not use the src_buff and dst_buff to flag that the...
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Delay the copy of the data of the communication actions...
commit
|
commitdiff
|
tree
next