search

scroll-tech / halo2

Other
43 stars 39 forks source link

Use thread pool for assign_regions #55

Closed alannotnerd closed 1 year ago

alannotnerd commented 1 year ago

Thread pool is required when the api caller given a large amount of subregions, which crossbeam doesn't and won't support.

alannotnerd commented 1 year ago

@kunxian-xia Could you please take a look?

kunxian-xia commented 1 year ago

You should set the base branch to develop as it's the main development branch.