threadpool: don't forget to free workers state when omp is enabled
This commit is contained in:
parent
93f170d868
commit
a7496bf7e5
1 changed files with 1 additions and 2 deletions
|
@ -18877,12 +18877,11 @@ void ggml_release_threadpool(struct ggml_compute_threadpool* threadpool) {
|
||||||
UNUSED(rc);
|
UNUSED(rc);
|
||||||
}
|
}
|
||||||
|
|
||||||
GGML_ALIGNED_FREE(workers);
|
|
||||||
|
|
||||||
ggml_mutex_destroy(&threadpool->mutex);
|
ggml_mutex_destroy(&threadpool->mutex);
|
||||||
ggml_cond_destroy(&threadpool->cond);
|
ggml_cond_destroy(&threadpool->cond);
|
||||||
#endif // GGML_USE_OPENMP
|
#endif // GGML_USE_OPENMP
|
||||||
|
|
||||||
|
GGML_ALIGNED_FREE(threadpool->workers);
|
||||||
GGML_ALIGNED_FREE(threadpool);
|
GGML_ALIGNED_FREE(threadpool);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue