add lock while dispatching tasks to avoid deadlocks

Makefile

@@ -1,5 +1,5 @@
 test:
-	go test -race -v -timeout 1m -count=6 ./...
+	go test -race -v -timeout 15s -count=1 ./...
 
 coverage:
 	go test -race -v -timeout 1m -coverprofile=coverage.out -covermode=atomic ./...

group.go

@@ -3,7 +3,6 @@ package pond
 import (
 	"context"
 	"errors"
-	"fmt"
 	"sync"
 	"sync/atomic"
 
@@ -104,13 +103,9 @@ func (g *abstractTaskGroup[T, E, O]) submit(task any) {
 	index := int(g.nextIndex.Add(1) - 1)
 
 	g.taskWaitGroup.Add(1)
-	fmt.Printf("submitting task %d\n", index)
 
 	err := g.pool.Go(func() {
-		defer func() {
-			fmt.Printf("task %d done\n", index)
-			g.taskWaitGroup.Done()
-		}()
+		defer g.taskWaitGroup.Done()
 
 		// Check if the context has been cancelled to prevent running tasks that are not needed
 		if err := g.future.Context().Err(); err != nil {

group_test.go

@@ -38,8 +38,6 @@ func TestResultTaskGroupWaitWithError(t *testing.T) {
 
 	pool := NewResultPool[int](1)
 
-	pool.EnableDebug()
-
 	group := pool.NewGroup()
 
 	sampleErr := errors.New("sample error")
@@ -116,6 +114,11 @@ func TestResultTaskGroupWaitWithMultipleErrors(t *testing.T) {
 
 	assert.Equal(t, sampleErr, err)
 	assert.Equal(t, 5, len(outputs))
+	assert.Equal(t, 0, outputs[0])
+	assert.Equal(t, 1, outputs[1])
+	assert.Equal(t, 0, outputs[2])
+	assert.Equal(t, 3, outputs[3])
+	assert.Equal(t, 0, outputs[4])
 }
 
 func TestResultTaskGroupWaitWithContextCanceledAndOngoingTasks(t *testing.T) {
@@ -147,33 +150,27 @@ func TestResultTaskGroupWaitWithContextCanceledAndOngoingTasks(t *testing.T) {
 func TestTaskGroupWaitWithContextCanceledAndOngoingTasks(t *testing.T) {
 	pool := NewPool(1)
 
-	var executedCount atomic.Int32
-
 	ctx, cancel := context.WithCancel(context.Background())
 
 	group := pool.NewGroupContext(ctx)
 
 	group.Submit(func() {
 		cancel() // cancel the context after the first task is started
 		time.Sleep(10 * time.Millisecond)
-		executedCount.Add(1)
 	})
 
 	group.Submit(func() {
 		time.Sleep(10 * time.Millisecond)
-		executedCount.Add(1)
 	})
 
 	err := group.Wait()
 
 	assert.Equal(t, context.Canceled, err)
-	assert.Equal(t, int32(1), executedCount.Load())
 }
 
 func TestTaskGroupWithStoppedPool(t *testing.T) {
 
 	pool := NewPool(100)
-	pool.EnableDebug()
 
 	pool.StopAndWait()
 
@@ -185,7 +182,6 @@ func TestTaskGroupWithStoppedPool(t *testing.T) {
 func TestTaskGroupWithContextCanceled(t *testing.T) {
 
 	pool := NewPool(100)
-	pool.EnableDebug()
 
 	group := pool.NewGroup()
 
@@ -227,7 +223,6 @@ func TestTaskGroupWithNoTasks(t *testing.T) {
 func TestTaskGroupCanceledShouldSkipRemainingTasks(t *testing.T) {
 
 	pool := NewPool(1)
-	pool.EnableDebug()
 
 	group := pool.NewGroup()
 
@@ -256,8 +251,6 @@ func TestTaskGroupCanceledShouldSkipRemainingTasks(t *testing.T) {
 func TestTaskGroupWithCustomContext(t *testing.T) {
 	pool := NewPool(1)
 
-	pool.EnableDebug()
-
 	ctx, cancel := context.WithCancel(context.Background())
 
 	group := pool.NewGroupContext(ctx)
@@ -284,7 +277,6 @@ func TestTaskGroupWithCustomContext(t *testing.T) {
 
 func TestTaskGroupStop(t *testing.T) {
 	pool := NewPool(1)
-	pool.EnableDebug()
 
 	group := pool.NewGroup()
 
@@ -310,7 +302,6 @@ func TestTaskGroupStop(t *testing.T) {
 
 func TestTaskGroupDone(t *testing.T) {
 	pool := NewPool(10)
-	pool.EnableDebug()
 
 	group := pool.NewGroup()
 

internal/dispatcher/dispatcher.go

@@ -19,7 +19,6 @@ type Dispatcher[T any] struct {
 	waitGroup         sync.WaitGroup
 	batchSize         int
 	closed            atomic.Bool
-	Debug             bool
 }
 
 // NewDispatcher creates a generic dispatcher that can receive values from multiple goroutines in a thread-safe manner
@@ -28,7 +27,7 @@ func NewDispatcher[T any](ctx context.Context, dispatchFunc func([]T), batchSize
 	dispatcher := &Dispatcher[T]{
 		ctx:               ctx,
 		buffer:            linkedbuffer.NewLinkedBuffer[T](10, batchSize),
-		bufferHasElements: make(chan struct{}, 1), // This channel needs to have size 2 in case an element is written to the buffer while the dispatcher is processing elements
+		bufferHasElements: make(chan struct{}, 1),
 		dispatchFunc:      dispatchFunc,
 		batchSize:         batchSize,
 	}
@@ -39,10 +38,6 @@ func NewDispatcher[T any](ctx context.Context, dispatchFunc func([]T), batchSize
 	return dispatcher
 }
 
-func (d *Dispatcher[T]) EnableDebug() {
-	d.buffer.Debug = true
-}
-
 // Write writes values to the dispatcher
 func (d *Dispatcher[T]) Write(values ...T) error {
 	// Check if the dispatcher has been closed
@@ -122,9 +117,6 @@ func (d *Dispatcher[T]) run(ctx context.Context) {
 
 				// Submit the next batch of values
 				d.dispatchFunc(batch[0:batchSize])
-
-				// Reset batch
-				//batch = batch[:0]
 			}
 
 			if !ok || d.closed.Load() {

internal/linkedbuffer/linkedbuffer.go

@@ -1,7 +1,6 @@
 package linkedbuffer
 
 import (
-	"fmt"
 	"sync"
 	"sync/atomic"
 )
@@ -19,7 +18,6 @@ type LinkedBuffer[T any] struct {
 	writeCount  atomic.Uint64
 	readCount   atomic.Uint64
 	mutex       sync.Mutex
-	Debug       bool
 }
 
 func NewLinkedBuffer[T any](initialCapacity, maxCapacity int) *LinkedBuffer[T] {
@@ -91,10 +89,6 @@ func (b *LinkedBuffer[T]) Read(values []T) int {
 		// Read element
 		n, err := readBuffer.Read(values)
 
-		if b.Debug {
-			fmt.Printf("read %d elements: %v\n", n, values)
-		}
-
 		if err == ErrEOF {
 			// Move to next buffer
 			if readBuffer.next == nil {

pool.go

@@ -14,6 +14,8 @@ import (
 
 var MAX_TASKS_CHAN_LENGTH = runtime.NumCPU() * 128
 
+var PERSISTENT_WORKER_COUNT = int64(runtime.NumCPU())
+
 var ErrPoolStopped = errors.New("pool stopped")
 
 var poolStoppedFuture = func() Task {
@@ -79,8 +81,6 @@ type Pool interface {
 
 	// Creates a new task group with the specified context.
 	NewGroupContext(ctx context.Context) TaskGroup
-
-	EnableDebug()
 }
 
 // pool is an implementation of the Pool interface.
@@ -93,6 +93,7 @@ type pool struct {
 	workerCount         atomic.Int64
 	workerWaitGroup     sync.WaitGroup
 	dispatcher          *dispatcher.Dispatcher[any]
+	dispatcherRunning   sync.Mutex
 	successfulTaskCount atomic.Uint64
 	failedTaskCount     atomic.Uint64
 }
@@ -141,10 +142,6 @@ func (p *pool) updateMetrics(err error) {
 	}
 }
 
-func (d *pool) EnableDebug() {
-	d.dispatcher.EnableDebug()
-}
-
 func (p *pool) Go(task func()) error {
 	if err := p.dispatcher.Write(task); err != nil {
 		return ErrPoolStopped
@@ -202,15 +199,16 @@ func (p *pool) NewGroupContext(ctx context.Context) TaskGroup {
 }
 
 func (p *pool) dispatch(incomingTasks []any) {
+	p.dispatcherRunning.Lock()
+	defer p.dispatcherRunning.Unlock()
+
 	// Submit tasks
 	for _, task := range incomingTasks {
 		p.dispatchTask(task)
 	}
 }
 
 func (p *pool) dispatchTask(task any) {
-	workerCount := int(p.workerCount.Load())
-
 	// Attempt to submit task without blocking
 	select {
 	case p.tasks <- task:
@@ -220,19 +218,13 @@ func (p *pool) dispatchTask(task any) {
 		// 1. There are no idle workers (all spawned workers are processing a task)
 		// 2. There are no workers in the pool
 		// In either case, we should launch a new worker as long as the number of workers is less than the size of the task queue.
-		if workerCount < p.tasksLen {
-			// Launch a new worker
-			p.startWorker()
-		}
+		p.startWorker(p.tasksLen)
 		return
 	default:
 	}
 
 	// Task queue is full, launch a new worker if the number of workers is less than the maximum concurrency
-	if workerCount < p.maxConcurrency {
-		// Launch a new worker
-		p.startWorker()
-	}
+	p.startWorker(p.maxConcurrency)
 
 	// Block until task is submitted
 	select {
@@ -244,15 +236,41 @@ func (p *pool) dispatchTask(task any) {
 	}
 }
 
-func (p *pool) startWorker() {
+func (p *pool) startWorker(limit int) {
+	if p.workerCount.Load() >= int64(limit) {
+		return
+	}
 	p.workerWaitGroup.Add(1)
-	p.workerCount.Add(1)
-	go p.worker()
+	workerNumber := p.workerCount.Add(1)
+	// Guarantee at least PERSISTENT_WORKER_COUNT workers are always running during dispatch to prevent deadlocks
+	canExitDuringDispatch := workerNumber > PERSISTENT_WORKER_COUNT
+	go p.worker(canExitDuringDispatch)
 }
 
-func (p *pool) worker() {
-	defer func() {
+func (p *pool) workerCanExit(canExitDuringDispatch bool) bool {
+	if canExitDuringDispatch {
 		p.workerCount.Add(-1)
+		return true
+	}
+
+	// Check if the dispatcher is running
+	if !p.dispatcherRunning.TryLock() {
+		// Dispatcher is running, cannot exit yet
+		return false
+	}
+	if len(p.tasks) > 0 {
+		// There are tasks in the queue, cannot exit yet
+		p.dispatcherRunning.Unlock()
+		return false
+	}
+	p.workerCount.Add(-1)
+	p.dispatcherRunning.Unlock()
+
+	return true
+}
+
+func (p *pool) worker(canExitDuringDispatch bool) {
+	defer func() {
 		p.workerWaitGroup.Done()
 	}()
 
@@ -261,17 +279,20 @@ func (p *pool) worker() {
 		select {
 		case <-p.ctx.Done():
 			// Context cancelled, exit
+			p.workerCount.Add(-1)
 			return
 		default:
 		}
 
 		select {
 		case <-p.ctx.Done():
 			// Context cancelled, exit
+			p.workerCount.Add(-1)
 			return
 		case task, ok := <-p.tasks:
 			if !ok || task == nil {
 				// Channel closed or worker killed, exit
+				p.workerCount.Add(-1)
 				return
 			}
 
@@ -282,8 +303,13 @@ func (p *pool) worker() {
 			p.updateMetrics(err)
 
 		default:
-			// No tasks left, exit
-			return
+			// No tasks left
+
+			// Check if the worker can exit
+			if p.workerCanExit(canExitDuringDispatch) {
+				return
+			}
+			continue
 		}
 	}
 }

pool_test.go

@@ -90,6 +90,7 @@ func TestPoolWithContextCanceled(t *testing.T) {
 		})
 	}
 
+	assert.Equal(t, int64(10), pool.RunningWorkers())
 	assert.Equal(t, uint64(taskCount), pool.SubmittedTasks())
 
 	// Cancel the context after 5ms

result.go

@@ -10,9 +10,6 @@ import (
 type ResultPool[R any] interface {
 	basePool
 
-	// Enables debug mode for the pool.
-	EnableDebug()
-
 	// Submits a task to the pool and returns a future that can be used to wait for the task to complete and get the result.
 	Submit(task func() R) Result[R]
 
@@ -33,10 +30,6 @@ type resultPool[R any] struct {
 	*pool
 }
 
-func (d *resultPool[R]) EnableDebug() {
-	d.dispatcher.EnableDebug()
-}
-
 func (p *resultPool[R]) NewGroup() ResultTaskGroup[R] {
 	return newResultTaskGroup[R](p.pool, p.Context())
 }