Merge pull request #2472 from lf-lang/dagstuhl

Use LinkedHashSet instead of HashSet to remove non-determinism in fed-gen
lf-lang · Feb 11, 2025 · 4200889 · 4200889
2 parents c77ea97 + 8450eed
commit 4200889
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/core/src/main/java/org/lflang/federated/generator/FederateInstance.java b/core/src/main/java/org/lflang/federated/generator/FederateInstance.java
@@ -129,7 +129,7 @@ public Instantiation getInstantiation() {
   }
 
   /** A list of individual connections between federates */
-  public Set<FedConnectionInstance> connections = new HashSet<>();
+  public Set<FedConnectionInstance> connections = new LinkedHashSet<>();
 
   /** The counter used to assign IDs to network senders. */
   public int networkIdSender = 0;

diff --git a/core/src/main/resources/lib/c/reactor-c b/core/src/main/resources/lib/c/reactor-c
+5 −2		core/federated/federate.c
+2 −3		core/threaded/reactor_threaded.c
+2 −2		include/core/threaded/reactor_threaded.h
+6 −3		util/sensor_simulator.c