Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / simix / smx_synchro.c
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-03 Martin QuinsonRemove some most simcall HEADERs
2014-11-02 Martin Quinson[popping] allow to omit the handler
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t
2014-11-02 Martin QuinsonGenerate automatically the simcall_HANDLER_* prototypes
2014-11-02 Martin Quinsonrename all SIMIX_pre_* to simcall_HANDLER_*
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-05 Arnaud GierschAdd/update copyright notices.
2013-11-15 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-11-15 Paul BédarideMerge branch 'surf++'
2013-11-15 Paul BédarideMerge branch 'hypervisor' into surf++
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria...
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced...
2013-10-06 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-10-04 Arnaud GierschRemove XBT_INLINE here, some compilers don't like it.
2013-09-30 Paul BédarideReplace surf by surf++ and make it compile
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-25 Arnaud GierschDig through git history, and update copyright lines.
2013-07-01 acarpenaMerge branch 'dvfs'
2013-06-28 Takahiro HirofuchiMerge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
2013-06-19 Paul BédarideMerge branch 'master' into hypervisor
2013-06-06 LionelBugfix in semaphore code
2013-04-02 alebreMerge branch 'master' into hypervisor
2013-02-26 Takahiro Hirofuchidelete the use of surf_workstation_model more
2013-02-21 alebreMerge with master and fix conflicts
2013-02-15 Takahiro Hirofuchirefine code around model types and objects
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-21 Paul BédarideAll hosts types fusion to xbt_dictelm_t
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2012-12-03 Arnaud GierschDefine inline function in header file.
2012-11-30 shensheiMerge ../simgrid
2012-11-30 shensheiNew simcalls work
2012-11-28 paul bedarideAdd macros to generate simcalls code
2012-06-21 Samuel LepetitKill the process when a host fails when doing a synchro...
2012-06-20 suterSolve white space conflicts
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-04-27 Arnaud GierschReinitialize waiting_action at proper place.
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-02-21 Arnaud GierschFix format strings to match their arguments.
2012-02-13 Arnaud GierschAvoid to throw an exception, and catch it just below.
2012-01-30 Marion Guthmullermerge conflict resolved
2012-01-25 Christophe ThiérySIMIX refactoring: replace 'request' by a more precise...
2012-01-25 Christophe ThiéryRename SIMIX files
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-11-22 Marion Guthmullermerge conflicts
2011-11-10 Arnaud GierschRemove two more declaration of phantom functions.
2011-10-20 Martin Quinsonmerge branches
2011-07-19 Pierre-Nicolas ClaussMerge back master branch.
2011-06-23 Arnaud GierschReindent TRY/TRY_CLEANUP/CATCH constructs.
2011-05-13 Pierre-Nicolas ClaussMerge back master branch.
2011-05-09 NavarropAdd some print for debug (trace level)
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-24 agierschUse new macros THROWF and RETHROWF.
2011-02-17 agierschUse new style logging macros.
2011-02-02 thieryUse a mallocator for SIMIX actions
2011-01-27 agierschDo not unref action twice.
2010-12-07 mquinsondo not store the requests on the process's stack nor...
2010-12-02 thieryClean indentation and coding style in SIMIX
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...
2010-12-01 agierschDo not pass a pointer to dynar where a pointer to sem...
2010-11-25 piniRevert "Always decrement the semaphore capacity, even...
2010-11-23 mquinsonAlways decrement the semaphore capacity, even if it...
2010-10-11 alegrandIndent include and src using this command:
2010-07-12 piniSome pending work on semaphores:
2010-07-09 piniUse a fifo instead of a swag of sleeping processes...
2010-06-24 mquinsonSIMIX_sem_would_block() was blatantly wrong; missing...
2010-06-04 navarropDo not declare variable in the middle of nowhere!
2010-04-25 mquinsonFix copyright headers
2010-04-07 donassbrBugfix: Problems when we suspend/resume the process...
2010-03-17 mquinsonAAAAh. let's try to fix the fix of a fix. Correctly...
2010-03-17 mquinsonrelease_forever is supposed to open the latch. Let...
2010-03-17 mquinsonadd a SIMIX_sem_get_capacity() function
2010-02-02 alegrandMake SIMIX_sem_block_onto public and fix a bug in SIMIX...
2009-11-20 mquinsonMark a bunch of functions as candidates to inlining...
2009-10-20 mquinsonChange the waitany functions on semaphore and communica...
2009-10-20 mquinsonImplement smx_sem_t SIMIX_sem_acquire_any(xbt_dynar_t...
2009-10-20 mquinsonwhen requested to acquire a cond or semaphore with...
2009-10-20 mquinsonEnough is enough. Add semaphores as SIMIX synchronizati...
2009-10-20 mquinsonuse a bit more informative actions'names. Helpful while...
2009-10-13 mquinsonMore verbose error messages
2009-10-05 mquinsonCorrections and improvements to the new network impleme...
2009-10-03 donassbrAs in MSG where we need to know which action the proces...
2009-08-18 cristianrosaThe exception associated to each process was relocated...
2009-08-17 mquinsonIntermidiate step towards the new context mechanism...
2009-07-13 mquinsonFirst step into moving the context subsystem into simix...
2009-07-13 mquinsonSome build adjustments mandatory for the relocation...
2009-05-26 mquinsonReindent everything (possibly breaking all branches...
2008-07-08 cheriermDetails of this changes:
2008-06-12 alegrandAdd convenient debug function on conditions and use...
2007-09-21 cheriermDeclaration of the variables at the beginning of the...
2007-08-14 alegrandI think we should always add such a "fake" action to...
2007-08-06 alegrandClean the links between action and conditions. Now...
2007-08-06 alegrandReindent!
2007-08-04 mquinsonremove unconditional backtrace display
2007-08-04 alegrandClean up actions when a condition is destroyed.
next