1
1
mirror of https://github.com/MarginaliaSearch/MarginaliaSearch.git synced 2025-10-06 07:32:38 +02:00

Compare commits

...

3 Commits

Author SHA1 Message Date
Viktor Lofgren
caf2e6fbb7 (index) Adjust timeout logic for evaluation 2025-07-27 17:27:07 +02:00
Viktor Lofgren
233f0acfb1 (index) Further reduce query buffer size 2025-07-27 17:13:08 +02:00
Viktor Lofgren
e3a4ff02e9 (index) Abandon ongoing evaluation tasks if time is up 2025-07-27 17:04:01 +02:00
2 changed files with 12 additions and 9 deletions

View File

@@ -66,7 +66,7 @@ public class IndexQueryExecution {
// Await evaluation task termination // Await evaluation task termination
synchronized (IndexQueryExecution.this) { synchronized (IndexQueryExecution.this) {
while (evaluationJobCounter > 0) { while (evaluationJobCounter > 0 && budget.hasTimeLeft()) {
IndexQueryExecution.this.wait(budget.timeLeft()); IndexQueryExecution.this.wait(budget.timeLeft());
} }
} }
@@ -76,7 +76,7 @@ public class IndexQueryExecution {
} }
private void lookup(IndexQuery query) { private void lookup(IndexQuery query) {
final LongQueryBuffer buffer = new LongQueryBuffer(1024); final LongQueryBuffer buffer = new LongQueryBuffer(8192);
try { try {
while (query.hasMore() && budget.hasTimeLeft()) { while (query.hasMore() && budget.hasTimeLeft()) {
@@ -103,7 +103,7 @@ public class IndexQueryExecution {
} }
if (stealWork) { if (stealWork) {
resultHeap.addAll(rankingService.rankResults(rankingContext, docIds, false)); resultHeap.addAll(rankingService.rankResults(rankingContext, budget, docIds, false));
} }
else { else {
// Spawn an evaluation task // Spawn an evaluation task
@@ -120,7 +120,7 @@ public class IndexQueryExecution {
try { try {
if (!budget.hasTimeLeft()) if (!budget.hasTimeLeft())
return; return;
resultHeap.addAll(rankingService.rankResults(rankingContext, docIds, false)); resultHeap.addAll(rankingService.rankResults(rankingContext, budget, docIds, false));
} finally { } finally {
synchronized (IndexQueryExecution.this) { synchronized (IndexQueryExecution.this) {
if (--evaluationJobCounter == 0) { if (--evaluationJobCounter == 0) {

View File

@@ -20,6 +20,7 @@ import nu.marginalia.index.index.CombinedIndexReader;
import nu.marginalia.index.index.StatefulIndex; import nu.marginalia.index.index.StatefulIndex;
import nu.marginalia.index.model.ResultRankingContext; import nu.marginalia.index.model.ResultRankingContext;
import nu.marginalia.index.model.SearchTermsUtil; import nu.marginalia.index.model.SearchTermsUtil;
import nu.marginalia.index.query.IndexSearchBudget;
import nu.marginalia.index.results.model.PhraseConstraintGroupList; import nu.marginalia.index.results.model.PhraseConstraintGroupList;
import nu.marginalia.index.results.model.QuerySearchTerms; import nu.marginalia.index.results.model.QuerySearchTerms;
import nu.marginalia.index.results.model.ids.CombinedDocIdList; import nu.marginalia.index.results.model.ids.CombinedDocIdList;
@@ -57,9 +58,10 @@ public class IndexResultRankingService {
} }
public List<SearchResultItem> rankResults( public List<SearchResultItem> rankResults(
ResultRankingContext rankingContext, ResultRankingContext rankingContext,
CombinedDocIdList resultIds, IndexSearchBudget budget,
boolean exportDebugData) CombinedDocIdList resultIds,
boolean exportDebugData)
{ {
if (resultIds.isEmpty()) if (resultIds.isEmpty())
return List.of(); return List.of();
@@ -94,7 +96,7 @@ public class IndexResultRankingService {
// Iterate over documents by their index in the combinedDocIds, as we need the index for the // Iterate over documents by their index in the combinedDocIds, as we need the index for the
// term data arrays as well // term data arrays as well
for (int i = 0; i < resultIds.size(); i++) { for (int i = 0; i < resultIds.size() && budget.hasTimeLeft(); i++) {
// Prepare term-level data for the document // Prepare term-level data for the document
for (int ti = 0; ti < flags.length; ti++) { for (int ti = 0; ti < flags.length; ti++) {
@@ -171,9 +173,10 @@ public class IndexResultRankingService {
} }
resultsList.clear(); resultsList.clear();
IndexSearchBudget budget = new IndexSearchBudget(10000);
resultsList.addAll(this.rankResults( resultsList.addAll(this.rankResults(
resultRankingContext, resultRankingContext,
new CombinedDocIdList(combinedIdsList), budget, new CombinedDocIdList(combinedIdsList),
true) true)
); );
} }