Record Class ManagedJobProfile

java.lang.Object
java.lang.Record
org.j7m.middleware.application.distributed.ManagedJobProfile
Record Components:
backend - authenticated execution source with pinned live-claim sessions
codec - immutable data-only codec/schema allowlist
namespace - stable host-owned tenant/resource namespace
lease - native claim lease, at least2seconds and at most1day
renewInterval - bounded renewal interval, at most one third of the lease
operationBudget - original native RPC budget, at most one third of the lease
handlerBudget - finite owned invocation budget, never automatically extended by renewals
reconnectDelay - bounded failed-transport retry delay, not idle source polling
serial - whether native serialGroup must prevent overlapping authoritative claims

public record ManagedJobProfile(ManagedExecutionBackend backend, ManagedPayloadCodec codec, String namespace, Duration lease, Duration renewInterval, Duration operationBudget, Duration handlerBudget, Duration reconnectDelay, boolean serial) extends Record
Explicit trusted native job source and bounded worker/renewal policy. The backend is borrowed. Serial execution means at most one current native lease for the logical definition; expired uncooperative Java may still run but cannot commit protected native effects.
  • Constructor Details

  • Method Details

    • toString

      public String toString()
      Omits endpoint, namespace and payload data.
      Specified by:
      toString in class Record
      Returns:
      fixed safe diagnostic
    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object
    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with the compare method from their corresponding wrapper classes.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.
    • backend

      public ManagedExecutionBackend backend()
      Returns the value of the backend record component.
      Returns:
      the value of the backend record component
    • codec

      public ManagedPayloadCodec codec()
      Returns the value of the codec record component.
      Returns:
      the value of the codec record component
    • namespace

      public String namespace()
      Returns the value of the namespace record component.
      Returns:
      the value of the namespace record component
    • lease

      public Duration lease()
      Returns the value of the lease record component.
      Returns:
      the value of the lease record component
    • renewInterval

      public Duration renewInterval()
      Returns the value of the renewInterval record component.
      Returns:
      the value of the renewInterval record component
    • operationBudget

      public Duration operationBudget()
      Returns the value of the operationBudget record component.
      Returns:
      the value of the operationBudget record component
    • handlerBudget

      public Duration handlerBudget()
      Returns the value of the handlerBudget record component.
      Returns:
      the value of the handlerBudget record component
    • reconnectDelay

      public Duration reconnectDelay()
      Returns the value of the reconnectDelay record component.
      Returns:
      the value of the reconnectDelay record component
    • serial

      public boolean serial()
      Returns the value of the serial record component.
      Returns:
      the value of the serial record component