Code update

wrench-project · Sep 2, 2023 · 37adaf5 · 37adaf5
1 parent 99400da
commit 37adaf5
Show file tree

Hide file tree

Showing 3 changed files with 942 additions and 891 deletions.
diff --git a/include/wrench/services/storage/simple/SimpleStorageServiceNonBufferized.h b/include/wrench/services/storage/simple/SimpleStorageServiceNonBufferized.h
@@ -142,7 +142,7 @@ namespace wrench {
 
 
         std::deque<std::shared_ptr<Transaction>> pending_transactions;
-        std::vector<std::shared_ptr<Transaction>> running_transactions;
+        std::set<std::shared_ptr<Transaction>> running_transactions;
 
         std::map<simgrid::s4u::IoPtr, std::shared_ptr<Transaction>> stream_to_transactions;