Standard Vs Uniform Binary Search and Their Variants in Learned Static
  Indexing: The Case of the Searching on Sorted Data Benchmarking Software
  Platform
  The Searching on Sorted Data ({\bf SOSD}, in short) is a highly engineered
software platform for benchmarking Learned Indexes, those latter being a novel
and quite effective proposal of how to search in a sorted table by combining
Machine Learning techniques with classic Algorithms. In such a platform and in
the related benchmarking experiments, following a natural and intuitive choice,
the final search stage is performed via the Standard (textbook) Binary Search
procedure. However, recent studies, that do not use Machine Learning
predictions, indicate that Uniform Binary Search, streamlined to avoid
\vir{branching} in the main loop, is superior in performance to its Standard
counterpart when the table to be searched into is relatively small, e.g.,
fitting in L1 or L2 cache. Analogous results hold for k-ary Search, even on
large tables. One would expect an analogous behaviour within Learned Indexes.
Via a set of extensive experiments, coherent with the State of the Art, we show
that for Learned Indexes, and as far as the {\bf SOSD} software is concerned,
the use of the Standard routine (either Binary or k-ary Search) is superior to
the Uniform one, across all the internal memory levels. This fact provides a
quantitative justification of the natural choice made so far. Our experiments
also indicate that Uniform Binary and k-ary Search can be advantageous to use
in order to save space in Learned Indexes, while granting a good performance in
time. Our findings are of methodological relevance for this novel and
fast-growing area and informative to practitioners interested in using Learned
Indexes in application domains, e.g., Data Bases and Search Engines.
