OpenTTD Source 20260218-master-g2123fca5ea
linkgraphjob.h
Go to the documentation of this file.
1/*
2 * This file is part of OpenTTD.
3 * OpenTTD is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, version 2.
4 * OpenTTD is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
5 * See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with OpenTTD. If not, see <https://www.gnu.org/licenses/old-licenses/gpl-2.0>.
6 */
7
9
10#ifndef LINKGRAPHJOB_H
11#define LINKGRAPHJOB_H
12
13#include "../thread.h"
14#include "linkgraph.h"
15#include <atomic>
16
17class LinkGraphJob;
18class Path;
19typedef std::list<Path *> PathList;
20
24extern LinkGraphJobPool _link_graph_job_pool;
25
29class LinkGraphJob : public LinkGraphJobPool::PoolItem<&_link_graph_job_pool> {
30public:
35 uint demand = 0;
37 };
38
42 struct EdgeAnnotation {
44 uint flow = 0;
45
46 EdgeAnnotation(const LinkGraph::BaseEdge &base) : base(base) {}
47
52 uint Flow() const { return this->flow; }
53
58 void AddFlow(uint flow) { this->flow += flow; }
59
64 void RemoveFlow(uint flow)
65 {
66 assert(flow <= this->flow);
67 this->flow -= flow;
68 }
69
70 friend inline bool operator <(NodeID dest, const EdgeAnnotation &rhs)
71 {
72 return dest < rhs.base.dest_node;
73 }
74 };
75
79 struct NodeAnnotation {
81
83 PathList paths{};
85
86 std::vector<EdgeAnnotation> edges{};
87 std::vector<DemandAnnotation> demands{};
88
89 NodeAnnotation(const LinkGraph::BaseNode &node, size_t size) : base(node), undelivered_supply(node.supply)
90 {
91 this->edges.reserve(node.edges.size());
92 for (auto &e : node.edges) this->edges.emplace_back(e);
93 this->demands.resize(size);
94 }
95
102 {
103 auto it = std::ranges::find_if(this->edges, [=] (const EdgeAnnotation &e) { return e.base.dest_node == to; });
104 assert(it != this->edges.end());
105 return *it;
106 }
107
113 const EdgeAnnotation &operator[](NodeID to) const
114 {
115 auto it = std::ranges::find_if(this->edges, [=] (const EdgeAnnotation &e) { return e.base.dest_node == to; });
116 assert(it != this->edges.end());
117 return *it;
118 }
119
125 uint DemandTo(NodeID to) const { return this->demands[to].demand; }
126
132 uint UnsatisfiedDemandTo(NodeID to) const { return this->demands[to].unsatisfied_demand; }
133
139 void SatisfyDemandTo(NodeID to, uint demand)
140 {
141 assert(demand <= this->demands[to].unsatisfied_demand);
142 this->demands[to].unsatisfied_demand -= demand;
143 }
144
150 void DeliverSupply(NodeID to, uint amount)
151 {
152 this->undelivered_supply -= amount;
153 this->demands[to].demand += amount;
154 this->demands[to].unsatisfied_demand += amount;
155 }
156 };
157
158private:
159 typedef std::vector<NodeAnnotation> NodeAnnotationVector;
160
162 friend class LinkGraphSchedule;
163
164protected:
167 std::thread thread{};
168 TimerGameEconomy::Date join_date = EconomyTime::INVALID_DATE;
169 NodeAnnotationVector nodes{};
170 std::atomic<bool> job_completed = false;
171 std::atomic<bool> job_aborted = false;
172
173 void EraseFlows(StationID from);
174 void JoinThread();
175 void SpawnThread();
176
177public:
184
185 LinkGraphJob(LinkGraphJobID index, const LinkGraph &orig);
187
188 void Init();
189
195 inline bool IsJobCompleted() const { return this->job_completed.load(std::memory_order_acquire); }
196
202 inline bool IsJobAborted() const { return this->job_aborted.load(std::memory_order_acquire); }
203
210 inline void AbortJob() { this->job_aborted.store(true, std::memory_order_release); }
211
216 inline bool IsScheduledToBeJoined() const { return this->join_date <= TimerGameEconomy::date; }
217
222 inline TimerGameEconomy::Date JoinDate() const { return join_date; }
223
228 inline void ShiftJoinDate(TimerGameEconomy::Date interval) { this->join_date += interval; }
229
234 inline const LinkGraphSettings &Settings() const { return this->settings; }
235
241 inline NodeAnnotation &operator[](NodeID num) { return this->nodes[num]; }
242
247 inline NodeID Size() const { return this->link_graph.Size(); }
248
253 inline CargoType Cargo() const { return this->link_graph.Cargo(); }
254
259 inline TimerGameEconomy::Date LastCompression() const { return this->link_graph.LastCompression(); }
260
265 inline LinkGraphID LinkGraphIndex() const { return this->link_graph.index; }
266
271 inline const LinkGraph &Graph() const { return this->link_graph; }
272};
273
277class Path {
278public:
280
281 Path(NodeID n, bool source = false);
282 virtual ~Path() = default;
283
288 inline NodeID GetNode() const { return this->node; }
289
294 inline NodeID GetOrigin() const { return this->origin; }
295
300 inline Path *GetParent() { return this->parent; }
301
306 inline uint GetCapacity() const { return this->capacity; }
307
312 inline int GetFreeCapacity() const { return this->free_capacity; }
313
321 static inline int GetCapacityRatio(int free, uint total)
322 {
323 return Clamp(free, PATH_CAP_MIN_FREE, PATH_CAP_MAX_FREE) * PATH_CAP_MULTIPLIER / std::max(total, 1U);
324 }
325
330 inline int GetCapacityRatio() const
331 {
332 return Path::GetCapacityRatio(this->free_capacity, this->capacity);
333 }
334
339 inline uint GetDistance() const { return this->distance; }
340
345 inline void ReduceFlow(uint f) { this->flow -= f; }
346
351 inline void AddFlow(uint f) { this->flow += f; }
352
357 inline uint GetFlow() const { return this->flow; }
358
363 inline uint GetNumChildren() const { return this->num_children; }
364
368 inline void Detach()
369 {
370 if (this->parent != nullptr) {
371 this->parent->num_children--;
372 this->parent = nullptr;
373 }
374 }
375
376 uint AddFlow(uint f, LinkGraphJob &job, uint max_saturation);
377 void Fork(Path *base, uint cap, int free_cap, uint dist);
378
379protected:
380
381 /*
382 * Some boundaries to clamp against in order to avoid integer overflows.
383 */
384 static constexpr int PATH_CAP_MULTIPLIER = 16;
385 static constexpr int PATH_CAP_MIN_FREE = (INT_MIN + 1) / PATH_CAP_MULTIPLIER;
386 static constexpr int PATH_CAP_MAX_FREE = (INT_MAX - 1) / PATH_CAP_MULTIPLIER;
387
388 uint distance = 0;
389 uint capacity = 0;
391 uint flow = 0;
392 NodeID node = INVALID_NODE;
393 NodeID origin = INVALID_NODE;
394 uint num_children = 0;
395 Path *parent = nullptr;
396};
397
398#endif /* LINKGRAPHJOB_H */
uint8_t CargoType
Cargo slots to indicate a cargo type within a game.
Definition cargo_type.h:21
Flow descriptions by origin stations.
Class for calculation jobs to be run on link graphs.
NodeAnnotationVector nodes
Extra node data necessary for link graph calculation.
std::atomic< bool > job_completed
Is the job still running. This is accessed by multiple threads and reads may be stale.
TimerGameEconomy::Date JoinDate() const
Get the date when the job should be finished.
void AbortJob()
Abort job.
~LinkGraphJob()
Join the link graph job and destroy it.
NodeAnnotation & operator[](NodeID num)
Get a node abstraction with the specified id.
TimerGameEconomy::Date join_date
Date when the job is to be joined.
std::atomic< bool > job_aborted
Has the job been aborted. This is accessed by multiple threads and reads may be stale.
TimerGameEconomy::Date LastCompression() const
Get the date when the underlying link graph was last compressed.
LinkGraphID LinkGraphIndex() const
Get the ID of the underlying link graph.
bool IsJobAborted() const
Check if job has been aborted.
void Init()
Initialize the link graph job: Resize nodes and edges and populate them.
LinkGraphJob(LinkGraphJobID index)
Bare constructor, only for save/load.
void SpawnThread()
Spawn a thread if possible and run the link graph job in the thread.
const LinkGraphSettings & Settings() const
Get the link graph settings for this component.
const LinkGraphSettings settings
Copy of _settings_game.linkgraph at spawn time.
CargoType Cargo() const
Get the cargo of the underlying link graph.
const LinkGraph & Graph() const
Get a reference to the underlying link graph.
bool IsScheduledToBeJoined() const
Check if job is supposed to be finished.
bool IsJobCompleted() const
Check if job has actually finished.
void EraseFlows(StationID from)
Erase all flows originating at a specific station.
NodeID Size() const
Get the size of the underlying link graph.
const LinkGraph link_graph
Link graph to by analyzed. Is copied when job is started and mustn't be modified later.
friend SaveLoadTable GetLinkGraphJobDesc()
Get a SaveLoad array for a link graph job.
void ShiftJoinDate(TimerGameEconomy::Date interval)
Change the join date on date cheating.
void JoinThread()
Join the calling thread with this job's thread if threading is enabled.
std::thread thread
Thread the job is running in or a default-constructed thread if it's running in the main thread.
A connected component of a link graph.
Definition linkgraph.h:37
TimerGameEconomy::Date LastCompression() const
Get date of last compression.
Definition linkgraph.h:240
NodeID Size() const
Get the current size of the component.
Definition linkgraph.h:234
CargoType Cargo() const
Get the cargo type this component's link graph refers to.
Definition linkgraph.h:246
A leg of a path in the link graph.
NodeID GetOrigin() const
Get the overall origin of the path.
Path(NodeID n, bool source=false)
Create a leg of a path in the link graph.
void AddFlow(uint f)
Increase the flow on this leg only by the specified amount.
static Path * invalid_path
Static instance of an invalid path.
NodeID origin
Link graph node this path originates from.
uint num_children
Number of child legs that have been forked from this path.
void Detach()
Detach this path from its parent.
int GetFreeCapacity() const
Get the free capacity of the path.
uint GetFlow() const
Get the flow on this leg.
static int GetCapacityRatio(int free, uint total)
Get ratio of free * 16 (so that we get fewer 0) / max(total capacity, 1) (so that we don't divide by ...
uint flow
Flow the current run of the mcf solver assigns.
uint distance
Sum(distance of all legs up to this one).
NodeID GetNode() const
Get the node this leg passes.
int GetCapacityRatio() const
Get capacity ratio of this path.
void Fork(Path *base, uint cap, int free_cap, uint dist)
Add this path as a new child to the given base path, thus making this path a "fork" of the base path.
NodeID node
Link graph node this leg passes.
uint GetCapacity() const
Get the overall capacity of the path.
uint GetNumChildren() const
Get the number of "forked off" child legs of this one.
void ReduceFlow(uint f)
Reduce the flow on this leg only by the specified amount.
Path * GetParent()
Get the parent leg of this one.
uint GetDistance() const
Get the overall distance of the path.
uint capacity
This capacity is min(capacity) fom all edges.
Path * parent
Parent leg of this one.
int free_capacity
This capacity is min(edge.capacity - edge.flow) for the current run of Dijkstra.
static constexpr TimerGame< struct Economy >::Date INVALID_DATE
static Date date
Current date in days (day counter).
@ Invalid
Invalid base price.
Declaration of link graph classes used for cargo distribution.
Pool< LinkGraphJob, LinkGraphJobID, 32 > LinkGraphJobPool
Type of the pool for link graph jobs.
LinkGraphJobPool _link_graph_job_pool
The actual pool with link graph jobs.
constexpr T Clamp(const T a, const T min, const T max)
Clamp a value between an interval.
Definition math_func.hpp:79
std::span< const struct SaveLoad > SaveLoadTable
A table of SaveLoad entries.
Definition saveload.h:532
GameSettings _settings_game
Game settings of a running game or the scenario editor.
Definition settings.cpp:61
Demand between two nodes.
uint unsatisfied_demand
Demand over this edge that hasn't been satisfied yet.
uint demand
Transport demand between the nodes.
Annotation for a link graph edge.
const LinkGraph::BaseEdge & base
Reference to the edge that is annotated.
uint Flow() const
Get the total flow on the edge.
void AddFlow(uint flow)
Add some flow.
void RemoveFlow(uint flow)
Remove some flow.
uint flow
Planned flow over this edge.
Annotation for a link graph node.
uint undelivered_supply
Amount of supply that hasn't been distributed yet.
const LinkGraph::BaseNode & base
Reference to the node that is annotated.
std::vector< EdgeAnnotation > edges
Annotations for all edges originating at this node.
PathList paths
Paths through this node, sorted so that those with flow == 0 are in the back.
void DeliverSupply(NodeID to, uint amount)
Deliver some supply, adding demand to the respective edge.
FlowStatMap flows
Planned flows to other nodes.
EdgeAnnotation & operator[](NodeID to)
Retrieve an edge starting at this node.
const EdgeAnnotation & operator[](NodeID to) const
Retrieve an edge starting at this node.
uint DemandTo(NodeID to) const
Get the transport demand between end the points of the edge.
void SatisfyDemandTo(NodeID to, uint demand)
Satisfy some demand.
uint UnsatisfiedDemandTo(NodeID to) const
Get the transport demand that hasn't been satisfied by flows, yet.
std::vector< DemandAnnotation > demands
Annotations for the demand to all other nodes.
An edge in the link graph.
Definition linkgraph.h:42
NodeID dest_node
Destination of the edge.
Definition linkgraph.h:48
Node of the link graph.
Definition linkgraph.h:94
std::vector< BaseEdge > edges
Sorted list of outgoing edges from this node.
Definition linkgraph.h:101
Base class for all pools.
Base of all threads.