[query] Remove persistedIr from Backend interface

hail/hail/src/is/hail/backend/Backend.scala

@@ -3,9 +3,7 @@ package is.hail.backend
 import is.hail.asm4s._
 import is.hail.backend.Backend.jsonToBytes
 import is.hail.backend.spark.SparkBackend
-import is.hail.expr.ir.{
-  BaseIR, IR, IRParser, IRParserEnvironment, LoweringAnalyses, SortField, TableIR, TableReader,
-}
+import is.hail.expr.ir.{IR, IRParser, LoweringAnalyses, SortField, TableIR, TableReader}
 import is.hail.expr.ir.lowering.{TableStage, TableStageDependency}
 import is.hail.io.{BufferSpec, TypedCodecSpec}
 import is.hail.io.fs._
@@ -18,7 +16,6 @@ import is.hail.types.virtual.TFloat64
 import is.hail.utils._
 import is.hail.variant.ReferenceGenome
 
-import scala.collection.mutable
 import scala.reflect.ClassTag
 
 import java.io._
@@ -67,7 +64,6 @@ trait BackendContext {
 }
 
 abstract class Backend extends Closeable {
-  val persistedIR: mutable.Map[Int, BaseIR] = mutable.Map()
 
   def defaultParallelism: Int
 
@@ -125,30 +121,30 @@ abstract class Backend extends Closeable {
   def withExecuteContext[T](f: ExecuteContext => T)(implicit E: Enclosing): T
 
   final def valueType(s: String): Array[Byte] =
-    jsonToBytes {
-      withExecuteContext { ctx =>
-        IRParser.parse_value_ir(s, IRParserEnvironment(ctx, persistedIR.toMap)).typ.toJSON
+    withExecuteContext { ctx =>
+      jsonToBytes {
+        IRParser.parse_value_ir(ctx, s).typ.toJSON
       }
     }
 
   final def tableType(s: String): Array[Byte] =
-    jsonToBytes {
-      withExecuteContext { ctx =>
-        IRParser.parse_table_ir(s, IRParserEnvironment(ctx, persistedIR.toMap)).typ.toJSON
+    withExecuteContext { ctx =>
+      jsonToBytes {
+        IRParser.parse_table_ir(ctx, s).typ.toJSON
       }
     }
 
   final def matrixTableType(s: String): Array[Byte] =
-    jsonToBytes {
-      withExecuteContext { ctx =>
-        IRParser.parse_matrix_ir(s, IRParserEnvironment(ctx, persistedIR.toMap)).typ.toJSON
+    withExecuteContext { ctx =>
+      jsonToBytes {
+        IRParser.parse_matrix_ir(ctx, s).typ.toJSON
       }
     }
 
   final def blockMatrixType(s: String): Array[Byte] =
-    jsonToBytes {
-      withExecuteContext { ctx =>
-        IRParser.parse_blockmatrix_ir(s, IRParserEnvironment(ctx, persistedIR.toMap)).typ.toJSON
+    withExecuteContext { ctx =>
+      jsonToBytes {
+        IRParser.parse_blockmatrix_ir(ctx, s).typ.toJSON
       }
     }
 

hail/hail/src/is/hail/backend/BackendServer.scala

@@ -1,6 +1,6 @@
 package is.hail.backend
 
-import is.hail.expr.ir.{IRParser, IRParserEnvironment}
+import is.hail.expr.ir.IRParser
 import is.hail.utils._
 
 import scala.util.control.NonFatal
@@ -89,10 +89,7 @@ class BackendHttpHandler(backend: Backend) extends HttpHandler {
         backend.withExecuteContext { ctx =>
           val (res, timings) = ExecutionTimer.time { timer =>
             ctx.local(timer = timer) { ctx =>
-              val irData = IRParser.parse_value_ir(
-                irStr,
-                IRParserEnvironment(ctx, irMap = backend.persistedIR.toMap),
-              )
+              val irData = IRParser.parse_value_ir(ctx, irStr)
               backend.execute(ctx, irData)
             }
           }

hail/hail/src/is/hail/backend/ExecuteContext.scala

@@ -4,7 +4,7 @@ import is.hail.{HailContext, HailFeatureFlags}
 import is.hail.annotations.{Region, RegionPool}
 import is.hail.asm4s.HailClassLoader
 import is.hail.backend.local.LocalTaskContext
-import is.hail.expr.ir.{CodeCacheKey, CompiledFunction}
+import is.hail.expr.ir.{BaseIR, CodeCacheKey, CompiledFunction}
 import is.hail.expr.ir.lowering.IrMetadata
 import is.hail.io.fs.FS
 import is.hail.linalg.BlockMatrix
@@ -75,6 +75,7 @@ object ExecuteContext {
     irMetadata: IrMetadata,
     blockMatrixCache: mutable.Map[String, BlockMatrix],
     codeCache: mutable.Map[CodeCacheKey, CompiledFunction[_]],
+    irCache: mutable.Map[Int, BaseIR],
   )(
     f: ExecuteContext => T
   ): T = {
@@ -95,6 +96,7 @@ object ExecuteContext {
           irMetadata,
           blockMatrixCache,
           codeCache,
+          irCache,
         ))(f(_))
       }
     }
@@ -126,6 +128,7 @@ class ExecuteContext(
   val irMetadata: IrMetadata,
   val BlockMatrixCache: mutable.Map[String, BlockMatrix],
   val CodeCache: mutable.Map[CodeCacheKey, CompiledFunction[_]],
+  val IrCache: mutable.Map[Int, BaseIR],
 ) extends Closeable {
 
   val rngNonce: Long =
@@ -194,6 +197,7 @@ class ExecuteContext(
     irMetadata: IrMetadata = this.irMetadata,
     blockMatrixCache: mutable.Map[String, BlockMatrix] = this.BlockMatrixCache,
     codeCache: mutable.Map[CodeCacheKey, CompiledFunction[_]] = this.CodeCache,
+    irCache: mutable.Map[Int, BaseIR] = this.IrCache,
   )(
     f: ExecuteContext => A
   ): A =
@@ -212,5 +216,6 @@ class ExecuteContext(
       irMetadata,
       blockMatrixCache,
       codeCache,
+      irCache,
     ))(f)
 }

hail/hail/src/is/hail/backend/local/LocalBackend.scala

@@ -93,6 +93,7 @@ class LocalBackend(
 
   private[this] val theHailClassLoader = new HailClassLoader(getClass.getClassLoader)
   private[this] val codeCache = new Cache[CodeCacheKey, CompiledFunction[_]](50)
+  private[this] val persistedIR: mutable.Map[Int, BaseIR] = mutable.Map()
 
   // flags can be set after construction from python
   def fs: FS = RouterFS.buildRoutes(CloudStorageFSConfig.fromFlagsAndEnv(None, flags))
@@ -117,6 +118,7 @@ class LocalBackend(
         new IrMetadata(),
         ImmutableMap.empty,
         codeCache,
+        persistedIR,
       )(f)
     }
 

hail/hail/src/is/hail/backend/py4j/Py4JBackendExtensions.scala

@@ -4,8 +4,8 @@ import is.hail.HailFeatureFlags
 import is.hail.backend.{Backend, ExecuteContext, NonOwningTempFileManager, TempFileManager}
 import is.hail.expr.{JSONAnnotationImpex, SparkAnnotationImpex}
 import is.hail.expr.ir.{
-  BaseIR, BindingEnv, BlockMatrixIR, IR, IRParser, IRParserEnvironment, Interpret, MatrixIR,
-  MatrixNativeReader, MatrixRead, Name, NativeReaderOptions, TableIR, TableLiteral, TableValue,
+  BaseIR, BindingEnv, BlockMatrixIR, IR, IRParser, Interpret, MatrixIR, MatrixNativeReader,
+  MatrixRead, Name, NativeReaderOptions, TableIR, TableLiteral, TableValue,
 }
 import is.hail.expr.ir.IRParser.parseType
 import is.hail.expr.ir.defs.{EncodedLiteral, GetFieldByIdx}
@@ -34,7 +34,6 @@ import sourcecode.Enclosing
 trait Py4JBackendExtensions {
   def backend: Backend
   def references: mutable.Map[String, ReferenceGenome]
-  def persistedIR: mutable.Map[Int, BaseIR]
   def flags: HailFeatureFlags
   def longLifeTempFileManager: TempFileManager
 
@@ -54,14 +53,14 @@ trait Py4JBackendExtensions {
     irID
   }
 
-  private[this] def addJavaIR(ir: BaseIR): Int = {
+  private[this] def addJavaIR(ctx: ExecuteContext, ir: BaseIR): Int = {
     val id = nextIRID()
-    persistedIR += (id -> ir)
+    ctx.IrCache += (id -> ir)
     id
   }
 
   def pyRemoveJavaIR(id: Int): Unit =
-    persistedIR.remove(id)
+    backend.withExecuteContext(_.IrCache.remove(id))
 
   def pyAddSequence(name: String, fastaFile: String, indexFile: String): Unit =
     backend.withExecuteContext { ctx =>
@@ -118,7 +117,7 @@ trait Py4JBackendExtensions {
     argTypeStrs: java.util.ArrayList[String],
     returnType: String,
     bodyStr: String,
-  ): Unit = {
+  ): Unit =
     backend.withExecuteContext { ctx =>
       IRFunctionRegistry.registerIR(
         ctx,
@@ -130,17 +129,16 @@ trait Py4JBackendExtensions {
         bodyStr,
       )
     }
-  }
 
   def pyExecuteLiteral(irStr: String): Int =
     backend.withExecuteContext { ctx =>
-      val ir = IRParser.parse_value_ir(irStr, IRParserEnvironment(ctx, persistedIR.toMap))
+      val ir = IRParser.parse_value_ir(ctx, irStr)
       assert(ir.typ.isRealizable)
       backend.execute(ctx, ir) match {
         case Left(_) => throw new HailException("Can't create literal")
         case Right((pt, addr)) =>
           val field = GetFieldByIdx(EncodedLiteral.fromPTypeAndAddress(pt, addr, ctx), 0)
-          addJavaIR(field)
+          addJavaIR(ctx, field)
       }
     }
 
@@ -159,14 +157,14 @@ trait Py4JBackendExtensions {
         ),
         ctx.theHailClassLoader,
       )
-      val id = addJavaIR(tir)
+      val id = addJavaIR(ctx, tir)
       (id, JsonMethods.compact(tir.typ.toJSON))
     }
   }
 
   def pyToDF(s: String): DataFrame =
     backend.withExecuteContext { ctx =>
-      val tir = IRParser.parse_table_ir(s, IRParserEnvironment(ctx, irMap = persistedIR.toMap))
+      val tir = IRParser.parse_table_ir(ctx, s)
       Interpret(tir, ctx).toDF()
     }
 
@@ -219,27 +217,23 @@ trait Py4JBackendExtensions {
   def parse_value_ir(s: String, refMap: java.util.Map[String, String]): IR =
     backend.withExecuteContext { ctx =>
       IRParser.parse_value_ir(
+        ctx,
         s,
-        IRParserEnvironment(ctx, irMap = persistedIR.toMap),
         BindingEnv.eval(refMap.asScala.toMap.map { case (n, t) =>
           Name(n) -> IRParser.parseType(t)
         }.toSeq: _*),
       )
     }
 
   def parse_table_ir(s: String): TableIR =
-    withExecuteContext(selfContainedExecution = false) { ctx =>
-      IRParser.parse_table_ir(s, IRParserEnvironment(ctx, irMap = persistedIR.toMap))
-    }
+    withExecuteContext(selfContainedExecution = false)(ctx => IRParser.parse_table_ir(ctx, s))
 
   def parse_matrix_ir(s: String): MatrixIR =
-    withExecuteContext(selfContainedExecution = false) { ctx =>
-      IRParser.parse_matrix_ir(s, IRParserEnvironment(ctx, irMap = persistedIR.toMap))
-    }
+    withExecuteContext(selfContainedExecution = false)(ctx => IRParser.parse_matrix_ir(ctx, s))
 
   def parse_blockmatrix_ir(s: String): BlockMatrixIR =
     withExecuteContext(selfContainedExecution = false) { ctx =>
-      IRParser.parse_blockmatrix_ir(s, IRParserEnvironment(ctx, irMap = persistedIR.toMap))
+      IRParser.parse_blockmatrix_ir(ctx, s)
     }
 
   def loadReferencesFromDataset(path: String): Array[Byte] =

hail/hail/src/is/hail/backend/service/ServiceBackend.scala

@@ -393,6 +393,7 @@ class ServiceBackend(
         new IrMetadata(),
         ImmutableMap.empty,
         mutable.Map.empty,
+        ImmutableMap.empty,
       )(f)
     }
 

hail/hail/src/is/hail/backend/spark/SparkBackend.scala

@@ -355,6 +355,7 @@ class SparkBackend(
 
   private[this] val bmCache = mutable.Map.empty[String, BlockMatrix]
   private[this] val codeCache = new Cache[CodeCacheKey, CompiledFunction[_]](50)
+  private[this] val persistedIr = mutable.Map.empty[Int, BaseIR]
 
   def createExecuteContextForTests(
     timer: ExecutionTimer,
@@ -379,6 +380,7 @@ class SparkBackend(
       new IrMetadata(),
       ImmutableMap.empty,
       ImmutableMap.empty,
+      ImmutableMap.empty,
     )
 
   override def withExecuteContext[T](f: ExecuteContext => T)(implicit E: Enclosing): T =
@@ -400,6 +402,7 @@ class SparkBackend(
         new IrMetadata(),
         bmCache,
         codeCache,
+        persistedIr,
       )(f)
     }
 

hail/hail/src/is/hail/expr/ir/MatrixIR.scala

@@ -114,14 +114,14 @@ case class MatrixLiteral(typ: MatrixType, tl: TableLiteral) extends MatrixIR {
 }
 
 object MatrixReader {
-  def fromJson(env: IRParserEnvironment, jv: JValue): MatrixReader = {
+  def fromJson(ctx: ExecuteContext, jv: JValue): MatrixReader = {
     implicit val formats: Formats = DefaultFormats
     (jv \ "name").extract[String] match {
-      case "MatrixRangeReader" => MatrixRangeReader.fromJValue(env.ctx, jv)
-      case "MatrixNativeReader" => MatrixNativeReader.fromJValue(env.ctx.fs, jv)
-      case "MatrixBGENReader" => MatrixBGENReader.fromJValue(env, jv)
-      case "MatrixPLINKReader" => MatrixPLINKReader.fromJValue(env.ctx, jv)
-      case "MatrixVCFReader" => MatrixVCFReader.fromJValue(env.ctx, jv)
+      case "MatrixRangeReader" => MatrixRangeReader.fromJValue(ctx, jv)
+      case "MatrixNativeReader" => MatrixNativeReader.fromJValue(ctx.fs, jv)
+      case "MatrixBGENReader" => MatrixBGENReader.fromJValue(ctx, jv)
+      case "MatrixPLINKReader" => MatrixPLINKReader.fromJValue(ctx, jv)
+      case "MatrixVCFReader" => MatrixVCFReader.fromJValue(ctx, jv)
     }
   }