AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2011-01-20	cristianrosa	Add a clock per process when running in MC mode.	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Add assertions to use with the model-checker	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Let the model-checker decide if the wait transitions...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Code refactor: move the functions associated to the...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Improve debug information for waitany and testany requests.	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Bugfix: do not compare comm actions to decide if they...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Bugfix: correctly set the process to MC_DONE once the...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Bugfix: return after answering the sleep request when...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Bugfix: every state should also save a copy of the...	commit \| commitdiff \| tree
2011-01-20	cristianrosa	Translate the executed TestAny and WaitAny requests...	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom