#include "gc/shared/collectedHeap.hpp"

#include "gc/shared/collectorPolicy.hpp"

#include "gc/shared/threadLocalAllocBuffer.hpp"

#include "runtime/globals_extension.hpp"

// Some flags that have default values that indicate that the

// JVM should automatically determine an appropriate value

// for that flag.  In those cases it is only appropriate for the

// constraint checking to be done if the user has specified the

// value(s) of the flag(s) on the command line.  In the constraint

// checking functions,  FLAG_IS_CMDLINE() is used to check if

// the flag has been set by the user and so should be checked.

#if INCLUDE_ALL_GCS

static Flag::Error ParallelGCThreadsAndCMSWorkQueueDrainThreshold(uint threads, uintx threshold, bool verbose) {

  // CMSWorkQueueDrainThreshold is verified to be less than max_juint

  if (UseConcMarkSweepGC && (threads > (uint)(max_jint / (uint)threshold))) {

    CommandLineError::print(verbose,

                            "ParallelGCThreads (" UINT32_FORMAT ") or CMSWorkQueueDrainThreshold ("

                            UINTX_FORMAT ") is too large\n",

                            threads, threshold);

    return Flag::VIOLATES_CONSTRAINT;

  }

  return Flag::SUCCESS;

}

#endif

// As ParallelGCThreads differs among GC modes, we need constraint function.

Flag::Error ParallelGCThreadsConstraintFunc(uint value, bool verbose) {

  Flag::Error status = Flag::SUCCESS;

#if INCLUDE_ALL_GCS

  // Parallel GC passes ParallelGCThreads when creating GrowableArray as 'int' type parameter.

  // So can't exceed with "max_jint"

  if (UseParallelGC && (value > (uint)max_jint)) {

    CommandLineError::print(verbose,

                            "ParallelGCThreads (" UINT32_FORMAT ") must be "

                            "less than or equal to " UINT32_FORMAT " for Parallel GC\n",

                            value, max_jint);

    return Flag::VIOLATES_CONSTRAINT;

  }

  // To avoid overflow at ParScanClosure::do_oop_work.

  if (UseConcMarkSweepGC && (value > (max_jint / 10))) {

    CommandLineError::print(verbose,

                            "ParallelGCThreads (" UINT32_FORMAT ") must be "

                            "less than or equal to " UINT32_FORMAT " for CMS GC\n",

                            value, (max_jint / 10));

    return Flag::VIOLATES_CONSTRAINT;

  }

  status = ParallelGCThreadsAndCMSWorkQueueDrainThreshold(value, CMSWorkQueueDrainThreshold, verbose);

#endif

  return status;

}

// As ConcGCThreads should be smaller than ParallelGCThreads,

// we need constraint function.

Flag::Error ConcGCThreadsConstraintFunc(uint value, bool verbose) {

#if INCLUDE_ALL_GCS

  // CMS and G1 GCs use ConcGCThreads.

  if ((UseConcMarkSweepGC || UseG1GC) && (value > ParallelGCThreads)) {

    CommandLineError::print(verbose,

                            "ConcGCThreads (" UINT32_FORMAT ") must be "

                            "less than or equal to ParallelGCThreads (" UINT32_FORMAT ")\n",

                            value, ParallelGCThreads);

    return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  return Flag::SUCCESS;

}

  Flag::Error status = MinPLABSizeBounds(name, value, verbose);

  if (status == Flag::SUCCESS) {

  return status;

Flag::Error OldPLABSizeConstraintFunc(size_t value, bool verbose) {

  Flag::Error status = Flag::SUCCESS;

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC) {

    if (value == 0) {

      CommandLineError::print(verbose,

                              "OldPLABSize (" SIZE_FORMAT ") must be greater than 0",

                              value);

      return Flag::VIOLATES_CONSTRAINT;

    }

    // For CMS, OldPLABSize is the number of free blocks of a given size that are used when

    // replenishing the local per-worker free list caches.

    // For more details, please refer to Arguments::set_cms_and_parnew_gc_flags().

    status = MaxPLABSizeBounds("OldPLABSize", value, verbose);

  } else {

    status = MinMaxPLABSizeBounds("OldPLABSize", value, verbose);

  }

#endif

  return status;

}

static Flag::Error CheckMaxHeapSizeAndSoftRefLRUPolicyMSPerMB(size_t maxHeap, intx softRef, bool verbose) {

  if ((softRef > 0) && ((maxHeap / M) > (max_uintx / softRef))) {

    CommandLineError::print(verbose,

                            "Desired lifetime of SoftReferences cannot be expressed correctly. "

                            "MaxHeapSize (" SIZE_FORMAT ") or SoftRefLRUPolicyMSPerMB "

                            "(" INTX_FORMAT ") is too large\n",

                            maxHeap, softRef);

    return Flag::VIOLATES_CONSTRAINT;

  } else {

    return Flag::SUCCESS;

  }

}

Flag::Error SoftRefLRUPolicyMSPerMBConstraintFunc(intx value, bool verbose) {

  return CheckMaxHeapSizeAndSoftRefLRUPolicyMSPerMB(MaxHeapSize, value, verbose);

}

Flag::Error InitialTenuringThresholdConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  // InitialTenuringThreshold is only used for ParallelGC.

  if (UseParallelGC && (value > MaxTenuringThreshold)) {

      CommandLineError::print(verbose,

                              "InitialTenuringThreshold (" UINTX_FORMAT ") must be "

                              "less than or equal to MaxTenuringThreshold (" UINTX_FORMAT ")\n",

                              value, MaxTenuringThreshold);

      return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  return Flag::SUCCESS;

Flag::Error MaxTenuringThresholdConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  // As only ParallelGC uses InitialTenuringThreshold,

  // we don't need to compare InitialTenuringThreshold with MaxTenuringThreshold.

  if (UseParallelGC && (value < InitialTenuringThreshold)) {

    CommandLineError::print(verbose,

                            "MaxTenuringThreshold (" UINTX_FORMAT ") must be "

                            "greater than or equal to InitialTenuringThreshold (" UINTX_FORMAT ")\n",

                            value, InitialTenuringThreshold);

    return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  // MaxTenuringThreshold=0 means NeverTenure=false && AlwaysTenure=true

  if ((value == 0) && (NeverTenure || !AlwaysTenure)) {

                            "MaxTenuringThreshold (0) should match to NeverTenure=false "

                            "&& AlwaysTenure=true. But we have NeverTenure=%s "

                            "AlwaysTenure=%s\n",

                            NeverTenure ? "true" : "false",

                            AlwaysTenure ? "true" : "false");

    return Flag::VIOLATES_CONSTRAINT;

  }

  return Flag::SUCCESS;

}

#if INCLUDE_ALL_GCS

Flag::Error G1RSetRegionEntriesConstraintFunc(intx value, bool verbose) {

  if (!UseG1GC) return Flag::SUCCESS;

  // Default value of G1RSetRegionEntries=0 means will be set ergonomically.

  // Minimum value is 1.

  if (FLAG_IS_CMDLINE(G1RSetRegionEntries) && (value < 1)) {

    CommandLineError::print(verbose,

                            "G1RSetRegionEntries (" INTX_FORMAT ") must be "

                            "greater than or equal to 1\n",

                            value);

Flag::Error G1RSetSparseRegionEntriesConstraintFunc(intx value, bool verbose) {

  if (!UseG1GC) return Flag::SUCCESS;

  // Default value of G1RSetSparseRegionEntries=0 means will be set ergonomically.

  // Minimum value is 1.

  if (FLAG_IS_CMDLINE(G1RSetSparseRegionEntries) && (value < 1)) {

                            "G1RSetSparseRegionEntries (" INTX_FORMAT ") must be "

                            "greater than or equal to 1\n",

                            value);

Flag::Error G1YoungSurvRateNumRegionsSummaryConstraintFunc(intx value, bool verbose) {

  if (!UseG1GC) return Flag::SUCCESS;

  if (value > (intx)HeapRegionBounds::target_number()) {

    CommandLineError::print(verbose,

                            "G1YoungSurvRateNumRegionsSummary (" INTX_FORMAT ") must be "

                            "less than or equal to region count (" SIZE_FORMAT ")\n",

                            value, HeapRegionBounds::target_number());

    return Flag::VIOLATES_CONSTRAINT;

  } else {

    return Flag::SUCCESS;

  }

}

Flag::Error G1HeapRegionSizeConstraintFunc(size_t value, bool verbose) {

  if (!UseG1GC) return Flag::SUCCESS;

  // Default value of G1HeapRegionSize=0 means will be set ergonomically.

  if (FLAG_IS_CMDLINE(G1HeapRegionSize) && (value < HeapRegionBounds::min_size())) {

    CommandLineError::print(verbose,

                            "G1HeapRegionSize (" SIZE_FORMAT ") must be "

                            "greater than or equal to ergonomic heap region minimum size\n",

                            value);

    return Flag::VIOLATES_CONSTRAINT;

  } else {

    return Flag::SUCCESS;

  }

}

  if (!UseG1GC) return Flag::SUCCESS;

  if (!UseG1GC) return Flag::SUCCESS;

#endif // INCLUDE_ALL_GCS

Flag::Error ParGCStridesPerThreadConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC && (value > ((uintx)max_jint / (uintx)ParallelGCThreads))) {

    CommandLineError::print(verbose,

                            "ParGCStridesPerThread (" UINTX_FORMAT ") must be "

                            "less than or equal to ergonomic maximum (" UINTX_FORMAT ")\n",

                            value, ((uintx)max_jint / (uintx)ParallelGCThreads));

    return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  return Flag::SUCCESS;

}

  Flag::Error status = Flag::SUCCESS;

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC) {

    if (value > CMSOldPLABMax) {

      CommandLineError::print(verbose,

                              "CMSOldPLABMin (" SIZE_FORMAT ") must be "

                              "less than or equal to CMSOldPLABMax (" SIZE_FORMAT ")\n",

                              value, CMSOldPLABMax);

      return Flag::VIOLATES_CONSTRAINT;

    }

    status = MaxPLABSizeBounds("CMSOldPLABMin", value, verbose);

  }

#endif

  return status;

}

Flag::Error CMSOldPLABMaxConstraintFunc(size_t value, bool verbose) {

  Flag::Error status = Flag::SUCCESS;

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC) {

    status = MaxPLABSizeBounds("CMSOldPLABMax", value, verbose);

  }

#endif

  return status;

}

Flag::Error MarkStackSizeConstraintFunc(size_t value, bool verbose) {

  if (value > MarkStackSizeMax) {

                            "MarkStackSize (" SIZE_FORMAT ") must be "

                            "less than or equal to MarkStackSizeMax (" SIZE_FORMAT ")\n",

                            value, MarkStackSizeMax);

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC && (value <= CMSPrecleanNumerator)) {

  }

#endif

  return Flag::SUCCESS;

}

Flag::Error CMSPrecleanNumeratorConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC && (value >= CMSPrecleanDenominator)) {

    CommandLineError::print(verbose,

                            "CMSPrecleanNumerator (" UINTX_FORMAT ") must be "

                            "less than CMSPrecleanDenominator (" UINTX_FORMAT ")\n",

                            value, CMSPrecleanDenominator);

    return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  return Flag::SUCCESS;

}

Flag::Error CMSWorkQueueDrainThresholdConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  if (UseConcMarkSweepGC) {

    return ParallelGCThreadsAndCMSWorkQueueDrainThreshold(ParallelGCThreads, value, verbose);

  }

#endif

  return Flag::SUCCESS;

}

Flag::Error MaxGCPauseMillisConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  if (UseG1GC && FLAG_IS_CMDLINE(MaxGCPauseMillis) && (value >= GCPauseIntervalMillis)) {

    CommandLineError::print(verbose,

                            "MaxGCPauseMillis (" UINTX_FORMAT ") must be "

                            "less than GCPauseIntervalMillis (" UINTX_FORMAT ")\n",

                            value, GCPauseIntervalMillis);

    return Flag::VIOLATES_CONSTRAINT;

  }

#endif

  return Flag::SUCCESS;

}

Flag::Error GCPauseIntervalMillisConstraintFunc(uintx value, bool verbose) {

#if INCLUDE_ALL_GCS

  if (UseG1GC) {

    if (FLAG_IS_CMDLINE(GCPauseIntervalMillis)) {

      if (value < 1) {

        CommandLineError::print(verbose,

                                "GCPauseIntervalMillis (" UINTX_FORMAT ") must be "

                                "greater than or equal to 1\n",

                                value);

        return Flag::VIOLATES_CONSTRAINT;

      }

      if (value <= MaxGCPauseMillis) {

        CommandLineError::print(verbose,

                                "GCPauseIntervalMillis (" UINTX_FORMAT ") must be "

                                "greater than MaxGCPauseMillis (" UINTX_FORMAT ")\n",

                                value, MaxGCPauseMillis);

        return Flag::VIOLATES_CONSTRAINT;

      }

    }

  }

#endif

  return Flag::SUCCESS;

}

Flag::Error InitialBootClassLoaderMetaspaceSizeConstraintFunc(size_t value, bool verbose) {