From d00ac984942676830fee4d69edbeb68072022c4d Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Wed, 11 Oct 2023 00:49:31 +0200
Subject: [PATCH] apparently, deque is faster than list in our usecases

---
 src/kernel/activity/MailboxImpl.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/kernel/activity/MailboxImpl.hpp b/src/kernel/activity/MailboxImpl.hpp
index 715e7626b4..d37e756f1f 100644
--- a/src/kernel/activity/MailboxImpl.hpp
+++ b/src/kernel/activity/MailboxImpl.hpp
@@ -19,9 +19,9 @@ class MailboxImpl {
   s4u::Mailbox piface_;
   std::string name_;
   actor::ActorImplPtr permanent_receiver_; // actor to which the mailbox is attached
-  std::list<CommImplPtr> comm_queue_;
+  std::deque<CommImplPtr> comm_queue_;
   // messages already received in the permanent receive mode
-  std::list<CommImplPtr> done_comm_queue_;
+  std::deque<CommImplPtr> done_comm_queue_;
 
   friend s4u::Engine;
   friend s4u::Mailbox;
-- 
2.20.1