Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemoteProcess: cache the addresses of maxpid, actors and dead_actors
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 15:59:21 +0000 (16:59 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 20:05:02 +0000 (21:05 +0100)
commit968234160cc483b6ffab7980d39224ec51225c94
tree2ac4622883fd08e5aacc1c18ddfaea3d03551a45
parenta1dcee24d683702d4de4c69b99825ea0e275d617
RemoteProcess: cache the addresses of maxpid, actors and dead_actors

Soon these addresses will be given by the App through the network
instead of retriving them with Dwarf.
src/mc/remote/RemoteProcess.cpp