Redundant Backend.get_name redefinitions

lukstafi · lukstafi · commit d36ba84a00e6 · 2024-11-10T14:54:34.000+01:00
diff --git a/arrayjit/lib/cuda_backend.missing.ml b/arrayjit/lib/cuda_backend.missing.ml
@@ -70,6 +70,5 @@ let get_stream_device Unimplemented_stream = Unimplemented_device
 let num_devices () = 0
 let suggested_num_streams Unimplemented_device = 0
 let get_ctx_stream Unimplemented_ctx = Unimplemented_stream
-let get_name Unimplemented_stream : string = failwith "CUDA missing: install cudajit"
 let to_ordinal _stream = 0
 let name = "cuda"
diff --git a/arrayjit/lib/schedulers.ml b/arrayjit/lib/schedulers.ml
@@ -75,8 +75,6 @@ module Multicore (Backend : For_add_scheduler) :
   let get_used_memory _device = get_used_memory ()
   let is_dev_queue_empty state = Queue.size state.queue = 0
   let is_idle stream = is_dev_queue_empty stream.runner.state && stream.runner.state.is_ready
-  let name = "multicore_" ^ name
-  let get_name stream = [%string "%{name}:0:%{stream.stream_id#Int}"]
 
   let%track3_l_sexp await stream =
     assert (Domain.is_main_domain ());
@@ -228,12 +226,10 @@ module Sync (Backend : For_add_scheduler) = struct
 
   let all_work _stream = ()
   let is_idle _stream = true
-  let name = "sync_" ^ Backend.name
   let await _stream = ()
   (* let global_run_no = ref 0 *)
 
   let initialize = Backend.initialize
   let is_initialized = Backend.is_initialized
-  let get_name stream = [%string "%{name}:0:%{stream.stream_id#Int}"]
   let schedule_task _stream task = Task.run task
 end
