-
Committer:
Jean-Vincent Loddo
-
Date:
2020-07-07 15:41:06 UTC
-
Revision ID:
loddo@lipn.univ-paris13.fr-20200707154106-yj7qvr4zkvkpf4wf
Added module Collector to manage message collection, i.e. to manage values put on the channel by several sources (threads) asynchronously. Several (priority) "maintainers" depose a value on the channel and, from time to time, a (non priority) "writer" flush the container. In case of conflict with a flusher, maintainers have time to put everything they want before the flusher can act.