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

Fix SimpleBatcher apparent deadlock #2196 #3148

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
64 changes: 44 additions & 20 deletions src/main/java/io/lettuce/core/dynamic/SimpleBatcher.java
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@
*
* @author Mark Paluch
* @author Lucio Paiva
* @author Ivo Gaydajiev
*/
class SimpleBatcher implements Batcher {

Expand All @@ -51,6 +52,11 @@ class SimpleBatcher implements Batcher {

private final AtomicBoolean flushing = new AtomicBoolean();

// foreFlushRequested indicates that a flush was requested while there is already a flush in progress
// This flag is used to ensure we will flush again after the current flush is done
// to ensure that any commands added while dispatching the current flush are also dispatched
private final AtomicBoolean forceFlushRequested = new AtomicBoolean();

public SimpleBatcher(StatefulConnection<Object, Object> connection, int batchSize) {

LettuceAssert.isTrue(batchSize == -1 || batchSize > 1, "Batch size must be greater zero or -1");
Expand Down Expand Up @@ -95,37 +101,55 @@ protected BatchTasks flush(boolean forcedFlush) {

List<RedisCommand<?, ?, ?>> commands = newDrainTarget();

while (flushing.compareAndSet(false, true)) {
while (true) {
if (flushing.compareAndSet(false, true)) {
try {

try {
int consume = -1;

int consume = -1;
if (!forcedFlush) {
long queuedItems = queue.size();
if (queuedItems >= batchSize) {
consume = batchSize;
defaultFlush = true;
}
}

if (!forcedFlush) {
long queuedItems = queue.size();
if (queuedItems >= batchSize) {
consume = batchSize;
defaultFlush = true;
List<? extends RedisCommand<?, ?, ?>> batch = doFlush(forcedFlush, defaultFlush, consume);
if (batch != null) {
commands.addAll(batch);
}
}

List<? extends RedisCommand<?, ?, ?>> batch = doFlush(forcedFlush, defaultFlush, consume);
if (batch != null) {
commands.addAll(batch);
}
if (defaultFlush && !queue.isEmpty() && queue.size() > batchSize) {
continue;
}

if (forceFlushRequested.compareAndSet(true, false)) {
continue;
}

if (defaultFlush && !queue.isEmpty() && queue.size() > batchSize) {
continue;
return new BatchTasks(commands);

} finally {
flushing.set(false);
}

return new BatchTasks(commands);
} else {
// Another thread is already flushing
if (forcedFlush) {
forceFlushRequested.set(true);
}

} finally {
flushing.set(false);
if (commands.isEmpty()) {
return BatchTasks.EMPTY;
} else {
// Could happen if default flush is started in t1 and in case
// there are multiple default batches to process another thread
// acquires flushing flag in-between t1 releases flushing flag & try to acquire it again
return new BatchTasks(commands);
}
}
}

return BatchTasks.EMPTY;
}

private List<? extends RedisCommand<?, ?, ?>> doFlush(boolean forcedFlush, boolean defaultFlush, int consume) {
Expand Down
40 changes: 40 additions & 0 deletions src/test/java/io/lettuce/core/dynamic/SimpleBatcherUnitTests.java
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@
import static org.mockito.Mockito.*;

import java.util.Arrays;
import java.util.concurrent.CountDownLatch;

import org.junit.jupiter.api.Tag;
import org.junit.jupiter.api.Test;
Expand All @@ -21,6 +22,7 @@

/**
* @author Mark Paluch
* @author Ivo Gaydajiev
*/
@Tag(UNIT_TEST)
@ExtendWith(MockitoExtension.class)
Expand Down Expand Up @@ -127,6 +129,44 @@ void shouldBatchWithBatchControlFlush() {
verify(connection).dispatch(Arrays.asList(c1, c2));
}

@Test
void shouldDispatchCommandsQueuedDuringOngoingFlush() throws InterruptedException {
RedisCommand<Object, Object, Object> c1 = createCommand();
RedisCommand<Object, Object, Object> c2 = createCommand();

CountDownLatch batchFlushLatch1 = new CountDownLatch(1);
CountDownLatch batchFlushLatch2 = new CountDownLatch(1);

when(connection.dispatch((RedisCommand<Object, Object, Object>) any())).thenAnswer(invocation -> {
batchFlushLatch1.countDown();
batchFlushLatch2.await();

return null;
});

SimpleBatcher batcher = new SimpleBatcher(connection, 4);

Thread batchThread1 = new Thread(() -> {
batcher.batch(c1, CommandBatching.flush());
});
batchThread1.start();

Thread batchThread2 = new Thread(() -> {
try {
batchFlushLatch1.await();
} catch (InterruptedException ignored) {
}
batcher.batch(c2, CommandBatching.flush());
batchFlushLatch2.countDown();
});
batchThread2.start();

batchThread1.join();
batchThread2.join();
verify(connection, times(1)).dispatch(c1);
verify(connection, times(1)).dispatch(c2);
}

private static RedisCommand<Object, Object, Object> createCommand() {
return new AsyncCommand<>(new Command<>(CommandType.COMMAND, null, null));
}
Expand Down