Skip to content
Snippets Groups Projects
Commit 9d84cb07 authored by Tianqi Chen's avatar Tianqi Chen Committed by GitHub
Browse files

[RUNTIME] Add workspace pool (#229)

* [RUNTIME] Add workspace pool

* fix doc

* fix the free list

* avoid zero size
parent 5cdc8604
No related branches found
No related tags found
Loading
Showing
with 407 additions and 65 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment