Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Segregate advance and advanceUninterruptibly flow in postJoinCursor to allow for interrupts in advance #15222

Merged
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@

package org.apache.druid.segment.join;

import org.apache.druid.query.BaseQuery;
import com.google.common.annotations.VisibleForTesting;
import org.apache.druid.query.filter.Filter;
import org.apache.druid.query.filter.ValueMatcher;
import org.apache.druid.segment.ColumnSelectorFactory;
Expand All @@ -39,7 +39,7 @@ public class PostJoinCursor implements Cursor
private final ColumnSelectorFactory columnSelectorFactory;

@Nullable
private final ValueMatcher valueMatcher;
private ValueMatcher valueMatcher;

@Nullable
private final Filter postJoinFilter;
Expand Down Expand Up @@ -69,7 +69,28 @@ public static PostJoinCursor wrap(
return postJoinCursor;
}

@VisibleForTesting
public void setValueMatcher(@Nullable ValueMatcher valueMatcher)
{
this.valueMatcher = valueMatcher;
}

private void advanceToMatch()
{
if (valueMatcher != null) {
while (!isDone() && !valueMatcher.matches(false)) {
baseCursor.advance();
}
}
}

/**
* Matches tuples coming out of a join to a post-join condition uninterruptibly, and hence can be a long-running call.
* For this reason, {@link PostJoinCursor#advance()} instead calls {@link PostJoinCursor#advanceToMatch()} (unlike
* other cursors) that allows interruptions, thereby resolving issues where the
* <a href="https://github.com/apache/druid/issues/14514">CPU thread running PostJoinCursor cannot be terminated</a>
*/
private void advanceToMatchUninterruptibly()
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please leave a comment here that this can be a long-running CPU call. Which is why advanceUninterruptibly is not directly used in advance() call unlike other cursors. Please link the github issue in the comment.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done

{
if (valueMatcher != null) {
while (!isDone() && !valueMatcher.matches(false)) {
Expand Down Expand Up @@ -99,15 +120,17 @@ public Filter getPostJoinFilter()
@Override
public void advance()
{
advanceUninterruptibly();
BaseQuery.checkInterrupted();
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we add a note on why the checkInterrupted() is not needed anymore

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added a comment.

baseCursor.advance();
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will be good to put some comments as in why this change is being done in the code for a future developer to follow.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added comments.

// Relies on baseCursor.advance() call inside this for BaseQuery.checkInterrupted() checks -- unlike other cursors
// which call advanceInterruptibly() and hence have to explicitly provision for interrupts.
advanceToMatch();
}

@Override
public void advanceUninterruptibly()
{
baseCursor.advanceUninterruptibly();
advanceToMatch();
advanceToMatchUninterruptibly();
}

@Override
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,264 @@
/*
* Licensed to the Apache Software Foundation (ASF) under one
* or more contributor license agreements. See the NOTICE file
* distributed with this work for additional information
* regarding copyright ownership. The ASF licenses this file
* to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance
* with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
* KIND, either express or implied. See the License for the
* specific language governing permissions and limitations
* under the License.
*/

package org.apache.druid.segment.join;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please add the license header here


import com.google.common.collect.ImmutableList;
import com.google.common.collect.Iterables;
import org.apache.druid.java.util.common.Intervals;
import org.apache.druid.java.util.common.granularity.Granularities;
import org.apache.druid.java.util.common.granularity.Granularity;
import org.apache.druid.java.util.common.guava.Sequence;
import org.apache.druid.query.QueryInterruptedException;
import org.apache.druid.query.QueryMetrics;
import org.apache.druid.query.filter.Filter;
import org.apache.druid.query.filter.ValueMatcher;
import org.apache.druid.query.monomorphicprocessing.RuntimeShapeInspector;
import org.apache.druid.segment.ColumnSelectorFactory;
import org.apache.druid.segment.Cursor;
import org.apache.druid.segment.QueryableIndex;
import org.apache.druid.segment.QueryableIndexSegment;
import org.apache.druid.segment.QueryableIndexStorageAdapter;
import org.apache.druid.segment.StorageAdapter;
import org.apache.druid.segment.VirtualColumns;
import org.apache.druid.segment.join.filter.JoinFilterPreAnalysis;
import org.apache.druid.timeline.SegmentId;
import org.joda.time.DateTime;
import org.joda.time.Interval;
import org.junit.Test;

import javax.annotation.Nullable;
import java.io.IOException;
import java.util.List;
import java.util.concurrent.CountDownLatch;
import java.util.concurrent.TimeUnit;

import static java.lang.Thread.sleep;
import static org.junit.Assert.assertTrue;
import static org.junit.Assert.fail;

public class PostJoinCursorTest extends BaseHashJoinSegmentStorageAdapterTest
{

public QueryableIndexSegment infiniteFactSegment;

/**
* Simulates infinite segment by using a base cursor with advance() and advanceInterruptibly()
* reduced to a no-op.
*/
private static class TestInfiniteQueryableIndexSegment extends QueryableIndexSegment
{

private static class InfiniteQueryableIndexStorageAdapter extends QueryableIndexStorageAdapter
{
CountDownLatch countDownLatch;

public InfiniteQueryableIndexStorageAdapter(QueryableIndex index, CountDownLatch countDownLatch)
{
super(index);
this.countDownLatch = countDownLatch;
}

@Override
public Sequence<Cursor> makeCursors(
@Nullable Filter filter,
Interval interval,
VirtualColumns virtualColumns,
Granularity gran,
boolean descending,
@Nullable QueryMetrics<?> queryMetrics
)
{
return super.makeCursors(filter, interval, virtualColumns, gran, descending, queryMetrics)
.map(cursor -> new CursorNoAdvance(cursor, countDownLatch));
}

private static class CursorNoAdvance implements Cursor
{
Cursor cursor;
CountDownLatch countDownLatch;

public CursorNoAdvance(Cursor cursor, CountDownLatch countDownLatch)
{
this.cursor = cursor;
this.countDownLatch = countDownLatch;
}

@Override
public ColumnSelectorFactory getColumnSelectorFactory()
{
return cursor.getColumnSelectorFactory();
}

@Override
public DateTime getTime()
{
return cursor.getTime();
}

@Override
public void advance()
{
// Do nothing to simulate infinite rows
countDownLatch.countDown();
}

@Override
public void advanceUninterruptibly()
{
// Do nothing to simulate infinite rows
countDownLatch.countDown();

}

@Override
public boolean isDone()
{
return false;
}

@Override
public boolean isDoneOrInterrupted()
{
return cursor.isDoneOrInterrupted();
}

@Override
public void reset()
{

}
}
}

private final StorageAdapter testStorageAdaptor;

public TestInfiniteQueryableIndexSegment(QueryableIndex index, SegmentId segmentId, CountDownLatch countDownLatch)
{
super(index, segmentId);
testStorageAdaptor = new InfiniteQueryableIndexStorageAdapter(index, countDownLatch);
}

@Override
public StorageAdapter asStorageAdapter()
{
return testStorageAdaptor;
}
}


private static class ExceptionHandler implements Thread.UncaughtExceptionHandler
{

Throwable exception;

@Override
public void uncaughtException(Thread t, Throwable e)
{
exception = e;
}

public Throwable getException()
{
return exception;
}
}

@Test
public void testAdvanceWithInterruption() throws IOException, InterruptedException
{

final int rowsBeforeInterrupt = 1000;

CountDownLatch countDownLatch = new CountDownLatch(rowsBeforeInterrupt);

infiniteFactSegment = new TestInfiniteQueryableIndexSegment(
JoinTestHelper.createFactIndexBuilder(temporaryFolder.newFolder()).buildMMappedIndex(),
SegmentId.dummy("facts"),
countDownLatch
);

countriesTable = JoinTestHelper.createCountriesIndexedTable();

Thread joinCursorThread = new Thread(() -> makeCursorAndAdvance());
ExceptionHandler exceptionHandler = new ExceptionHandler();
joinCursorThread.setUncaughtExceptionHandler(exceptionHandler);
joinCursorThread.start();

countDownLatch.await(1, TimeUnit.SECONDS);
joinCursorThread.interrupt();

// Wait for a max of 1 sec for the exception to be set.
for (int i = 0; i < 1000; i++) {
if (exceptionHandler.getException() == null) {
sleep(1);
} else {
assertTrue(exceptionHandler.getException() instanceof QueryInterruptedException);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you should just return the call here and also add assertFalse at the end of the method. So we are checking that we did get QueryInterruptedException.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense. Done - thanks.

return;
}
}
fail();
}

public void makeCursorAndAdvance()
{

List<JoinableClause> joinableClauses = ImmutableList.of(
factToCountryOnIsoCode(JoinType.LEFT)
);

JoinFilterPreAnalysis joinFilterPreAnalysis = makeDefaultConfigPreAnalysis(
null,
joinableClauses,
VirtualColumns.EMPTY
);

HashJoinSegmentStorageAdapter hashJoinSegmentStorageAdapter = new HashJoinSegmentStorageAdapter(
infiniteFactSegment.asStorageAdapter(),
joinableClauses,
joinFilterPreAnalysis
);

Cursor cursor = Iterables.getOnlyElement(hashJoinSegmentStorageAdapter.makeCursors(
null,
Intervals.ETERNITY,
VirtualColumns.EMPTY,
Granularities.ALL,
false,
null
).toList());

((PostJoinCursor) cursor).setValueMatcher(new ValueMatcher()
{
@Override
public boolean matches(boolean includeUnknown)
{
return false;
}

@Override
public void inspectRuntimeShape(RuntimeShapeInspector inspector)
{

}
});

cursor.advance();
}
}
Loading