prima thread safety

Signed-off-by: James Cherry <[email protected]>

Author: jjcherry56

include/sta/Liberty.hh

@@ -16,6 +16,8 @@
 
 #pragma once
 
+#include <mutex>
+
 #include "MinMax.hh"
 #include "RiseFallMinMax.hh"
 #include "ConcreteLibrary.hh"
@@ -628,6 +630,7 @@ protected:
   LibertyPgPortMap pg_port_map_;
   bool has_internal_ports_;
   bool have_voltage_waveforms_;
+  std::mutex waveform_lock_;
 
 private:
   friend class LibertyLibrary;

liberty/Liberty.cc

@@ -16,6 +16,7 @@
 
 #include "Liberty.hh"
 
+#include "Mutex.hh"
 #include "EnumNameMap.hh"
 #include "Report.hh"
 #include "Debug.hh"
@@ -1963,24 +1964,28 @@ void
 LibertyCell::ensureVoltageWaveforms(const DcalcAnalysisPtSeq &dcalc_aps)
 {
   if (!have_voltage_waveforms_) {
-    float vdd = 0.0;  // shutup gcc
-    bool vdd_exists;
-    liberty_library_->supplyVoltage("VDD", vdd, vdd_exists);
-    if (!vdd_exists || vdd == 0.0)
-      criticalError(1120, "library missing vdd");
-    for (TimingArcSet *arc_set : timingArcSets()) {
-      for (TimingArc *arc : arc_set->arcs()) {
-        for (const DcalcAnalysisPt *dcalc_ap : dcalc_aps) {
-          GateTableModel *model = arc->gateTableModel(dcalc_ap);
-          if (model) {
-            OutputWaveforms *output_waveforms = model->outputWaveforms();
-            if (output_waveforms)
-              output_waveforms->ensureVoltageWaveforms(vdd);
+    LockGuard lock(waveform_lock_);
+    // Recheck with lock.
+    if (!have_voltage_waveforms_) {
+      float vdd = 0.0;  // shutup gcc
+      bool vdd_exists;
+      liberty_library_->supplyVoltage("VDD", vdd, vdd_exists);
+      if (!vdd_exists || vdd == 0.0)
+        criticalError(1120, "library missing vdd");
+      for (TimingArcSet *arc_set : timingArcSets()) {
+        for (TimingArc *arc : arc_set->arcs()) {
+          for (const DcalcAnalysisPt *dcalc_ap : dcalc_aps) {
+            GateTableModel *model = arc->gateTableModel(dcalc_ap);
+            if (model) {
+              OutputWaveforms *output_waveforms = model->outputWaveforms();
+              if (output_waveforms)
+                output_waveforms->ensureVoltageWaveforms(vdd);
+            }
           }
         }
       }
+      have_voltage_waveforms_ = true;
     }
-    have_voltage_waveforms_ = true;
   }
 }