Lines Matching refs:Pool
33 /// Pools are scoped to a State. Edges within a State will share Pools. A Pool
36 /// exceed the depth of the Pool, the Pool will enqueue the Edge instead of
37 /// allowing the Plan to schedule it. The Pool will relinquish queued Edges when
40 struct Pool {
41 Pool(const std::string& name, int depth)
50 /// true if the Pool might delay this edge
53 /// informs this Pool that the given edge is committed to be run.
54 /// Pool will count this edge as using resources from this pool.
57 /// informs this Pool that the given edge is no longer runnable, and should
61 /// adds the given edge to this Pool to be delayed.
64 /// Pool will add zero or more edges to the ready_queue
67 /// Dump the Pool and its edges (useful for debugging).
93 static Pool kDefaultPool;
94 static Pool kConsolePool;
99 void AddPool(Pool* pool);
100 Pool* LookupPool(const std::string& pool_name);
133 std::map<std::string, Pool*> pools_;