|
Ninja
|
A pool for delayed edges. More...
#include <state.h>
Public Member Functions | |
| int | current_use () const |
| void | DelayEdge (Edge *edge) |
| adds the given edge to this Pool to be delayed. More... | |
| int | depth () const |
| void | Dump () const |
| Dump the Pool and its edges (useful for debugging). More... | |
| void | EdgeFinished (const Edge &edge) |
| informs this Pool that the given edge is no longer runnable, and should relinquish its resources back to the pool More... | |
| void | EdgeScheduled (const Edge &edge) |
| informs this Pool that the given edge is committed to be run. More... | |
| bool | is_valid () const |
| const std::string & | name () const |
| Pool (const std::string &name, int depth) | |
| void | RetrieveReadyEdges (std::set< Edge *> *ready_queue) |
| Pool will add zero or more edges to the ready_queue. More... | |
| bool | ShouldDelayEdge () const |
| true if the Pool might delay this edge More... | |
Private Types | |
| typedef std::set< Edge *, bool(*)(const Edge *, const Edge *)> | DelayedEdges |
Static Private Member Functions | |
| static bool | WeightedEdgeCmp (const Edge *a, const Edge *b) |
Private Attributes | |
| int | current_use_ |
| |current_use_| is the total of the weights of the edges which are currently scheduled in the Plan (i.e. More... | |
| DelayedEdges | delayed_ |
| int | depth_ |
| std::string | name_ |
A pool for delayed edges.
Pools are scoped to a State. Edges within a State will share Pools. A Pool will keep a count of the total 'weight' of the currently scheduled edges. If a Plan attempts to schedule an Edge which would cause the total weight to exceed the depth of the Pool, the Pool will enqueue the Edge instead of allowing the Plan to schedule it. The Pool will relinquish queued Edges when the total scheduled weight diminishes enough (i.e. when a scheduled edge completes).
|
private |
|
inline |
| void Pool::DelayEdge | ( | Edge * | edge | ) |
adds the given edge to this Pool to be delayed.
Definition at line 37 of file state.cc.
Referenced by Plan::ScheduleWork().
| void Pool::Dump | ( | ) | const |
| void Pool::EdgeFinished | ( | const Edge & | edge | ) |
informs this Pool that the given edge is no longer runnable, and should relinquish its resources back to the pool
Definition at line 32 of file state.cc.
References Edge::weight().
Referenced by Plan::EdgeFinished().
| void Pool::EdgeScheduled | ( | const Edge & | edge | ) |
informs this Pool that the given edge is committed to be run.
Pool will count this edge as using resources from this pool.
Definition at line 27 of file state.cc.
References Edge::weight().
Referenced by Plan::ScheduleWork().
|
inline |
| void Pool::RetrieveReadyEdges | ( | std::set< Edge *> * | ready_queue | ) |
Pool will add zero or more edges to the ready_queue.
Definition at line 42 of file state.cc.
References Edge::weight().
Referenced by Plan::EdgeFinished(), and Plan::ScheduleWork().
|
inline |
true if the Pool might delay this edge
Definition at line 50 of file state.h.
References depth_.
Referenced by Plan::ScheduleWork().
Definition at line 66 of file state.cc.
References Edge::weight().
|
private |
|current_use_| is the total of the weights of the edges which are currently scheduled in the Plan (i.e.
the edges in Plan::ready_).
Definition at line 74 of file state.h.
Referenced by current_use().
|
private |
|
private |
Definition at line 75 of file state.h.
Referenced by depth(), is_valid(), and ShouldDelayEdge().
1.8.14