AND Public Git Repository - simgrid.git/history - src/mc/remote/CheckerSide.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / remote / CheckerSide.cpp

2023-06-06	Arnaud Giersch	Clang-tidy: readability-qualified-auto.	blob \| commitdiff \| raw
2023-06-05	Martin Quinson	Merge branch 'odpor-implementation' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-05-15	Arnaud Giersch	Define master_socket_name only once, and embed it with...	blob \| commitdiff \| raw \| diff to current
2023-04-27	Martin Quinson	MC: give each state an incoming transition too	blob \| commitdiff \| raw \| diff to current
2023-04-18	Martin Quinson	Merge branch 'udpor-phase7' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Mark functions as "const" (sonar).	blob \| commitdiff \| raw \| diff to current
2023-04-11	Arnaud Giersch	Whitespace cleanup (codefactor.io).	blob \| commitdiff \| raw \| diff to current
2023-04-07	Martin Quinson	Please don't fix this error reported by clang-static...	blob \| commitdiff \| raw \| diff to current
2023-04-05	Arnaud Giersch	Centralize definitions for the name of environment...	blob \| commitdiff \| raw \| diff to current
2023-04-04	Martin Quinson	Use the fast SOCK_SEQPACKET where available	blob \| commitdiff \| raw \| diff to current
2023-04-04	Martin Quinson	Make the MC protocol work on top of STREAM sockets	blob \| commitdiff \| raw \| diff to current
2023-04-03	Martin Quinson	Don't die at compilation when activating stateless...	blob \| commitdiff \| raw \| diff to current
2023-04-03	Arnaud Giersch	Revert "Treat ECONNRESET like a normal connection close."	blob \| commitdiff \| raw \| diff to current
2023-04-03	Arnaud Giersch	Treat ECONNRESET like a normal connection close.	blob \| commitdiff \| raw \| diff to current
2023-04-02	Martin Quinson	Don't use CLOEXEC	blob \| commitdiff \| raw \| diff to current
2023-04-01	Martin Quinson	Ignore empty replay path + hide a global (to avoid...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Fix non-MC builds when MC-only dependencies are missing	blob \| commitdiff \| raw \| diff to current
2023-03-31	Martin Quinson	Compile the safe part of MC in default mode too	blob \| commitdiff \| raw \| diff to current
2023-03-27	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-26	Martin Quinson	Implement reforks by forking the application, to save...	blob \| commitdiff \| raw \| diff to current
2023-03-25	Martin Quinson	MC protocol: rename INITIAL_ADDRESSES msg to NEED_MEMINFO	blob \| commitdiff \| raw \| diff to current
2023-03-25	Martin Quinson	Actually, now that the appside is not ptraced, there...	blob \| commitdiff \| raw \| diff to current
2023-03-25	Martin Quinson	Invert another logic error: we need ptrace when we...	blob \| commitdiff \| raw \| diff to current
2023-03-25	Martin Quinson	This test is always false, as we asserted so just above	blob \| commitdiff \| raw \| diff to current
2023-03-24	Martin Quinson	MC: disable personality() as it fails on CI and is...	blob \| commitdiff \| raw \| diff to current
2023-03-24	Martin Quinson	Fix the refork feature by not ptracing App so that...	blob \| commitdiff \| raw \| diff to current
2023-03-24	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-23	Martin Quinson	Dont use handle_waitpid after we killed the App, as...	blob \| commitdiff \| raw \| diff to current
2023-03-23	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Fix some easy sonar smells	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Fix two sonar bugs	blob \| commitdiff \| raw \| diff to current
2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-21	Martin Quinson	Make sure that the dtor of CheckerSide actually kills...	blob \| commitdiff \| raw \| diff to current
2023-03-21	Martin Quinson	Fix the liveness tests when the reforks are compiled...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Manually handle the memory associated to the libevent...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Do not initialize the App's memory introspection if...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Put everything in position to re-fork the verified App	blob \| commitdiff \| raw \| diff to current
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move more of the CheckerSide creation logic to the...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Better responsabilities splitup between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move methods not related to Memory out of RemoteProcess...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move handle_message from ModelChecker to RemoteProcessM...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move handle_waitpid from ModelChecker to RemoteProcessM...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Reduce a bit the adherance of handle_waitpid to ModelCh...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge CheckerSide::start() intp the constructor	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Better split of responsabilities between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-09-14	SUTER Frederic	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-06-25	Arnaud Giersch	Two more const methods spotted by sonar.	blob \| commitdiff \| raw \| diff to current
2021-06-24	Arnaud Giersch	Use std::unique_ptr and remove explicit destructor.	blob \| commitdiff \| raw \| diff to current
2021-06-24	Arnaud Giersch	Pass the real pointer to the englobing MC class for...	blob \| commitdiff \| raw \| diff to current
2021-01-13	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-10-08	Martin Quinson	Merge branch 'klement/simgrid-klement' into master	blob \| commitdiff \| raw \| diff to current
2020-10-06	Arnaud Giersch	Prefer nullptr and bool literals.	blob \| commitdiff \| raw \| diff to current
2020-10-05	Arnaud Giersch	Prefer C++ headers, and C++-style void-arg declarations.	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: actually remove the comm channel from RemoteClientM...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: move a function around + cosmetics	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/EventLoop into remote/CheckerSide	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom