public void Add(Query q) { this.SearchTime += q.SearchTime; this.SearchCostTotal += q.SearchCostTotal; this.SearchCostInternal += q.SearchCostInternal; if (q.Result.Count > 0) { this.CoveringRadius += q.Result [q.Result.Count - 1].Dist; } else { ++this.EmptyResults; } this.QueryList.Add (q); }
/// <summary> /// Search shell (not interactive at this level) /// </summary> public static void Search(Index index, IEnumerable<CommandQuery> qReader, ShellSearchOptions searchOps) { var summary = new ResultSummary () { ResultName = searchOps.ResultName, IndexName = searchOps.IndexName, QueriesName = searchOps.QueryName }; int qid = 0; long totaltime = 0; SearchCost totalCost = new SearchCost (0, 0); foreach (CommandQuery qItem in qReader) { long tstart = DateTime.Now.Ticks; SearchCost startCost = index.Cost; IResult res; var qobj = qItem.QObj; if (qobj == null) { qobj = index.DB.Parse (qItem.QRaw); } if (qItem.QTypeIsRange) { res = index.SearchRange (qobj, qItem.QArg); } else { res = index.SearchKNN (qobj, (int)qItem.QArg); } var qraw = qItem.QRaw; SearchCost finalCost = index.Cost; finalCost.Internal -= startCost.Internal; finalCost.Total -= startCost.Total; totalCost.Internal += finalCost.Internal; totalCost.Total += finalCost.Total; long time = DateTime.Now.Ticks - tstart; totaltime += time; var query = new Query () { QueryID = qid, QueryType = qItem.EncodeQTypeQArgInSign(), QueryRaw = qraw, SearchCostTotal = finalCost.Total, SearchCostInternal = finalCost.Internal, SearchTime = (new TimeSpan(time)).TotalSeconds, Result = new List<ItemPair>(res) }; Console.WriteLine ("----- QueryID: {0}, QueryType: {1} -----", query.QueryID, query.QueryType); if (res.Count == 0) { Console.WriteLine ("- results> empty result set"); } else { Console.WriteLine ("- results> count: {0}, first-dist: {1}, last-dist: {2}", res.Count, res.First.Dist, res.CoveringRadius); } Console.WriteLine ("- search-time: {0}, cost-internal-distances: {1}, cost-total-distances: {2}", query.SearchTime, query.SearchCostInternal, query.SearchCostTotal); Console.WriteLine ("- index: {0}, db: {1}, result: {2}", index, Path.GetFileName(index.DB.Name), Path.GetFileName(searchOps.ResultName)); summary.Add (query); qid++; } summary.ComputeSummary (); if (searchOps.ResultName != null) { File.WriteAllText (searchOps.ResultName, JsonConvert.SerializeObject (summary, Formatting.Indented)); } Console.WriteLine ("Number queries: {0}", qid); Console.WriteLine ("Average total-numdists: {0}", (totalCost.Total + 0.0) / qid); Console.WriteLine ("Average internal-distances: {0}", (totalCost.Internal + 0.0) / qid); Console.WriteLine ("Average external-distances: {0}", (totalCost.Total - totalCost.Internal + 0.0) / qid); Console.WriteLine ("Total search time: {0}", (new TimeSpan (totaltime)).TotalSeconds); Console.WriteLine ("Average search time: {0}", (new TimeSpan (totaltime / qid)).TotalSeconds); }