json-api perf tests: combine large-ACS frequencies combinatorially in…

…stead of in lockstep (#10101)

In #10016, 1% template ID and 1% party-set membership meant _the same_ 1%,
meaning that an index of both couldn't possibly yield interesting results.  This
changes how LargeAcs builds the large ACS so that it's "1% of 1%", as you'd
expect.

CHANGELOG_BEGIN
CHANGELOG_END

ledger-service/http-json-perf/daml/LargeAcs.daml

@@ -2,9 +2,10 @@
 -- SPDX-License-Identifier: Apache-2.0
 
 {-# LANGUAGE RecordWildCards #-}
-module LargeAcs where
+module LargeAcs (Genesis, Genesis_MakeIouRange, Iou, NotIou) where
 
 import DA.Functor (void)
+import DA.Optional (isNone)
 
 template Genesis with
     issuer : Party
@@ -24,38 +25,68 @@ template Genesis with
         controller owner
         do
           assert (totalSteps >= 0)
-          amounts <- infCycle amountCycle
-          observerses <- infCycle observersCycle
-          whichTemplates <- infCycle whichTemplateCycle
-          makeIouRange totalSteps amounts observerses whichTemplates this
-
-makeIouRange : Int -> InfCycle Decimal -> InfCycle [Party] -> InfCycle WhichTemplate -> Genesis -> Update ()
-makeIouRange count amountCycle observersCycle whichTemplateCycle g =
-  if count <= 0 then pure () else do
-    let Genesis {..} = g
-        (amount, amounts) = popCycle amountCycle
-        (observers, observerses) = popCycle observersCycle
-        (whichTemplate, whichTemplates) = popCycle whichTemplateCycle
-    case whichTemplate of
-      UseIou -> void $ create Iou with ..
-      UseNotIou -> void $ create NotIou with ..
-    makeIouRange (count - 1) amounts observerses whichTemplates g
-
-data InfCycle a = InfCycle { list : [a], orig : [a] }
-  deriving (Eq, Ord, Show)
-
-infCycle : CanAssert m => [a] -> m (InfCycle a)
-infCycle xs = do
-  assert $ case xs of
-      [] -> False
-      _::_ -> True
-  pure (InfCycle [] xs)
-
-popCycle : InfCycle a -> (a, InfCycle a)
-popCycle (InfCycle (x :: xs) orig) = (x, InfCycle xs orig)
-popCycle (InfCycle [] orig) =
-  let x :: xs = orig
-  in (x, InfCycle xs orig)
+          let cycles = (,,) <$> fromListEL amountCycle
+                            <*> fromListEL observersCycle
+                            <*> fromListEL whichTemplateCycle
+          assert . not $ nullEL cycles
+          makeIouRange totalSteps cycles this
+
+makeIouRange : Int -> EphemeralList (Decimal, [Party], WhichTemplate) -> Genesis -> Update ()
+makeIouRange count amountsObserversWhichTemplates g =
+  let Genesis {..} = g
+  in takeEL count (cycleEL amountsObserversWhichTemplates)
+     `forEL_` \(amount, observers, whichTemplate) ->
+       case whichTemplate of
+         UseIou -> void $ create Iou with ..
+         UseNotIou -> void $ create NotIou with ..
+
+data EphemeralList a = EphemeralList { uncons : () -> Optional (a, EphemeralList a) }
+
+fromListEL : [a] -> EphemeralList a
+fromListEL [] = EphemeralList $ const None
+fromListEL (x :: xs) = EphemeralList $ \_ ->
+  Some (x, fromListEL xs)
+
+-- Lazy, right-associative version of forA_
+forEL_ : Action m => EphemeralList a -> (a -> m b) -> m ()
+xs `forEL_` f = case xs.uncons () of
+  Some (hd, tl) -> do
+    f hd
+    tl `forEL_` f
+  None -> pure ()
+
+nullEL : EphemeralList a -> Bool
+nullEL xs = isNone $ xs.uncons ()
+
+takeEL : Int -> EphemeralList a -> EphemeralList a
+takeEL n _ | n <= 0 = EphemeralList $ const None
+takeEL n xs = EphemeralList $ fmap (\(hd, tl) -> (hd, takeEL (n - 1) tl)) . xs.uncons
+
+cycleEL : EphemeralList a -> EphemeralList a
+cycleEL as = as `appendEL` EphemeralList \_ ->
+  (cycleEL as).uncons ()
+
+appendEL : EphemeralList a -> EphemeralList a -> EphemeralList a
+EphemeralList l `appendEL` er = EphemeralList $ \_ ->
+  case l () of
+    Some (hd, tl) -> Some (hd, tl `appendEL` er)
+    None -> er.uncons ()
+
+fmapEL : (a -> b) -> EphemeralList a -> EphemeralList b
+fmapEL f (EphemeralList uncons) = EphemeralList $
+    fmap (\(hd, tl) -> (f hd, fmapEL f tl)) . uncons
+
+instance Semigroup (EphemeralList a) where
+  (<>) = appendEL
+
+instance Functor EphemeralList where
+  fmap = fmapEL
+
+instance Applicative EphemeralList where
+  pure a = EphemeralList $ \_ -> Some (a, EphemeralList $ \_ -> None)
+  EphemeralList unconsF <*> as = EphemeralList $ \_ -> do
+    (hdF, tlF) <- unconsF ()
+    (fmapEL hdF as `appendEL` (tlF <*> as)).uncons ()
 
 template Iou
   with

ledger-service/http-json-perf/src/main/scala/com/daml/http/perf/scenario/SyncQueryMegaAcs.scala

@@ -69,7 +69,7 @@ class SyncQueryMegaAcs extends Simulation with SimulationConfig with HasRandomAm
   "key": "Alice",
   "choice": "Genesis_MakeIouRange",
   "argument": {
-    "totalSteps": 1000,
+    "totalSteps": 10000,
     "amountCycle": [${amount}],
     "observersCycle": ${observersCycle},
     "whichTemplateCycle": ${whichTemplateCycle}
@@ -94,7 +94,7 @@ class SyncQueryMegaAcs extends Simulation with SimulationConfig with HasRandomAm
       scenario(s"SyncQueryMegaScenario $scnName")
         .exec(createRequest.silent)
         // populate the ACS
-        .repeat(100, "amount") {
+        .repeat(10, "amount") {
           feed(Iterator continually env)
             .exec(createManyRequest.silent)
         }