Skip to content
[Jenkins]Jenkins
log in

Changes

#9536 (May 17, 2024, 12:04:54 PM)

  1. Disable McMini tests when MC is disabled — Martin Quinson / detail

#9535 (May 17, 2024, 10:08:28 AM)

  1. Don't have the deprecated cmake option enable-maintainer-mode polute old trees for too long — Martin Quinson / detail

#9534 (May 13, 2024, 4:14:55 PM)

  1. refactor all things related to detached to Activity — suter / detail
  2. refactor all things related to detached to ActivityImpl — suter / detail
  3. add getter on detached_ — suter / detail
  4. Enabling detach() for Exec — suter / detail
  5. extend exec-async with a detached exec case — suter / detail
  6. Enabling detach() for I/O — suter / detail
  7. extend io-async with a detached read case — suter / detail

#9533 (May 11, 2024, 5:42:13 PM)

  1. Disable another MC test when MC is disabled — Martin Quinson / detail

#9532 (May 10, 2024, 7:17:09 PM)

  1. Have to keep piface alive while releasing dependencies — suter / detail

#9531 (May 10, 2024, 6:15:44 PM)

  1. properly update position — suter / detail
  2. release dependencies if no wait*() is called on a detached Comm with dependencies — suter / detail

#9530 (May 3, 2024, 4:14:10 PM)

  1. Rename something to make its intend clear — Martin Quinson / detail
  2. Give implementation files to MC strategies — Martin Quinson / detail

#9529 (Apr 28, 2024, 10:30:23 PM)

  1. Improving ability to track task instances in runtime — Martin Quinson / detail
  2. Added docs — Martin Quinson / detail
  3. Added the on_this_instance_completion cb — Martin Quinson / detail

#9528 (Apr 22, 2024, 3:20:53 PM)

  1. Add dependency theorem for Iprobe communication + revalidate tesh — Mathieu Laurent / detail

#9527 (Apr 17, 2024, 10:39:12 PM)

  1. Fix atomic put() and get() in case of timeout (the comm must be cancel manually nowadays) — Martin Quinson / detail

#9526 (Apr 17, 2024, 9:08:27 PM)

  1. Try to fix ICC builds, nardin — Martin Quinson / detail

#9525 (Apr 17, 2024, 8:24:52 PM)

  1. Fix clang builds — Martin Quinson / detail

#9524 (Apr 17, 2024, 4:34:51 PM)

  1. Fix the build out of tarballs of MC + MPI teshsuite tests — Martin Quinson / detail

#9523 (Apr 17, 2024, 2:39:56 PM)

  1. Correctly run the iprobe tests when they are not disabled — Martin Quinson / detail
  2. Revalidate the tesh files now that we test them — Martin Quinson / detail

#9522 (Apr 15, 2024, 12:26:45 PM)

  1. Fix another issue found by -Wcast-function-type-strict on MPICH tests — Martin Quinson / detail

#9521 (Apr 15, 2024, 12:00:40 PM)

  1. Try to fix the pb with -Wcast-function-type-strict in MPICH tests — Martin Quinson / detail
  2. Do not try to MC python programs when MC is not compiled in — Martin Quinson / detail

#9520 (Apr 15, 2024, 9:19:49 AM)

  1. Test that the faulty flag exists before disabling it — Martin Quinson / detail

#9519 (Apr 14, 2024, 11:49:08 PM)

  1. Try to fix a warning of clang 19 on code using the weird C API of makecontext — Martin Quinson / detail

#9518 (Apr 11, 2024, 12:39:21 AM)

  1. Fix some sonar warnings and errors — Martin Quinson / detail

#9517 (Apr 11, 2024, 12:10:31 AM)

  1. Reduce the amount of dupplicated code between the constructors of mc::State — Martin Quinson / detail
  2. One constructor less in mc::WutState (and one ugly trick less) — Martin Quinson / detail

#9516 (Apr 10, 2024, 6:19:30 PM)

  1. use intrusive_ptr instead of std::shared_ptr around mc::State — Martin Quinson / detail

#9515 (Apr 10, 2024, 5:06:40 PM)

  1. Revalidate MC tesh files — Mathieu Laurent / detail

#9514 (Apr 10, 2024, 4:29:20 PM)

  1. Add options for a new MC guiding strategy based on actor switch — Mathieu Laurent / detail
  2. Add MC min context switch strategy — Mathieu Laurent / detail
  3. Now we have replay from fork, fix MC BFS exploration — Mathieu Laurent / detail
  4. Use a config to switch between MC full BFS or DFS-like — Mathieu Laurent / detail
  5. Add a few parameters to sleep state to support BFS ODPOR — Mathieu Laurent / detail
  6. Add ressource to work with ODPOR in BFS order — Mathieu Laurent / detail
  7. Revert a small ODPOR optimisation that is not always correct — Mathieu Laurent / detail
  8. Speak about explored traces rather than backtracks — Mathieu Laurent / detail
  9. Add ODPOR reduction and support for its BFS version — Mathieu Laurent / detail
  10. Remove unecessary debug information: too much is too much — Mathieu Laurent / detail
  11. Fix dependencies — Mathieu Laurent / detail

#9513 (Apr 9, 2024, 5:04:17 PM)

  1. Fix pip job in CI — Ksenia Petrenko / detail

#9512 (Apr 9, 2024, 10:21:46 AM)

  1. Fix bug when suspend() after resume() didn't work — Martin Quinson / detail

#9511 (Apr 7, 2024, 9:59:20 PM)

  1. MC: Fix the condvar reversible race & let the exploration handle — Martin Quinson / detail
  2. More sanity checks of the MC behavior — Martin Quinson / detail
  3. Extend our logging mechanism to display the system pid on demand — Martin Quinson / detail
  4. Disable SIGINT handler if we fork childs as all child would answer — Martin Quinson / detail

#9510 (Apr 4, 2024, 5:49:14 PM)

  1. Gracefully fail the MC if there is no actor to run — Martin Quinson / detail
  2. 2 more McMini tests — Martin Quinson / detail
  3. sthread: ignore more binaries — Martin Quinson / detail
  4. MC: add a soft timeout mechanism to only search for a given amount of time — Martin Quinson / detail
  5. MC: take care of max depth in DFS too — Martin Quinson / detail
  6. sthread: handle PTHREAD_COND_INITIALIZER — Martin Quinson / detail

#9509 (Mar 27, 2024, 10:30:17 PM)

  1. Do not compile mcmini with smpi by inadvertance — Martin Quinson / detail

#9508 (Mar 27, 2024, 9:28:47 PM)

  1. More explicit first parameter for Mailbox::iprobe — Martin Quinson / detail
  2. Implement Iprobe in MC. No proper dependency implemented yet. — Martin Quinson / detail

#9507 (Mar 22, 2024, 9:31:29 PM)

  1. Remove a supurious test in sthread — Martin Quinson / detail
  2. Terminate the actors without a race condition even when simcalls cannot be used — Martin Quinson / detail

#9506 (Mar 22, 2024, 3:43:06 AM)

  1. remove ended detached Mess from Maestro's activity list — suter / detail

#9505 (Mar 22, 2024, 1:12:31 AM)

  1. sthread: report destroying a locked mutex as an error — Martin Quinson / detail
  2. Add a way to shut off sthread, and assume that unknown mutex types are plain ones — Martin Quinson / detail

#9504 (Mar 21, 2024, 9:45:20 PM)

  1. wait for asynchronous puts — suter / detail

#9503 (Mar 21, 2024, 8:59:55 PM)

  1. Do not hide the in-kernel part of the stack, it's often useful — Martin Quinson / detail
  2. Free the memory of canceled activities ASAP — Martin Quinson / detail
  3. MC: Revalidate the tesh files after the recent mutex/condvar dependency improvement — Martin Quinson / detail

#9502 (Mar 21, 2024, 5:02:49 PM)

  1. Add dependency for condition variables — Mathieu Laurent / detail

#9501 (Mar 21, 2024, 3:43:59 PM)

  1. Document one more example — Martin Quinson / detail
  2. Add sg_actor_start_voidp to the C API — Martin Quinson / detail

#9500 (Mar 21, 2024, 12:17:57 AM)

  1. [ci skip] add dependency for starpu (python setuptools) — adegomme@gmail.com / detail
  2. More debug info — Martin Quinson / detail
  3. FindSimGrid: improve doc and allow all-uppercase symbol names — Martin Quinson / detail
  4. In MC, break pthread_cond_wait in 4 simcalls to simplify the theory and only one in NOMC for performance — Martin Quinson / detail

#9499 (Mar 16, 2024, 6:29:23 PM)

  1. Factorize some code in s4u::condvar — Martin Quinson / detail
  2. Code simplification around condvars — Martin Quinson / detail
  3. Implement condvar in MC — Martin Quinson / detail

#9497 (Mar 14, 2024, 3:46:00 PM)

  1. Add a few codes to test (I)probe in model checking mode — Mathieu Laurent / detail
  2. Implement asynchronous condvars — Martin Quinson / detail
  3. Stop abusing Kind::UNKNOWN for non-MC transition types, as they are visible in debuging traces — Martin Quinson / detail