Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 799a432) | patch
MC: actually remove the comm channel from RemoteClientMemory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 6 May 2020 23:38:58 +0000 (01:38 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 6 May 2020 23:39:03 +0000 (01:39 +0200)
commit825b9d765d45b3597d7bdadad7bcec0229157eae
treef2274d5adc63d3e1d17fa77bb561cf70d150ad1dtree | snapshot
parent799a432e8ac74a0a84feb8dbf7a78a14068050b3commit | diff
MC: actually remove the comm channel from RemoteClientMemory

It is now in remote::CheckerSide. This makes it symmetric with remote::ClientSide

There is still a lot to do to clean things up:
- the actual communication Checker->App is spread all over the place
- the ModelChecker singleton dupplicates the function of the mc::Session
- plus the other ugly things that I fail to see right now given the ambiant mess
src/mc/ModelChecker.cpp diff | blob | history
src/mc/ModelChecker.hpp diff | blob | history
src/mc/Session.cpp diff | blob | history
src/mc/remote/CheckerSide.cpp diff | blob | history
src/mc/remote/CheckerSide.hpp diff | blob | history
src/mc/remote/RemoteClientMemory.cpp diff | blob | history
src/mc/remote/RemoteClientMemory.hpp diff | blob | history
src/mc/sosp/Snapshot_test.cpp diff | blob | history
teshsuite/mc/dwarf-expression/dwarf-expression.cpp diff | blob | history
teshsuite/mc/dwarf/dwarf.cpp diff | blob | history
Clone of SimGrid repository with local patches