Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 1 | //===--------------------- Scheduler.h ------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | /// \file |
| 10 | /// |
| 11 | /// A scheduler for Processor Resource Units and Processor Resource Groups. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #ifndef LLVM_TOOLS_LLVM_MCA_SCHEDULER_H |
| 16 | #define LLVM_TOOLS_LLVM_MCA_SCHEDULER_H |
| 17 | |
| 18 | #include "Instruction.h" |
| 19 | #include "LSUnit.h" |
| 20 | #include "llvm/ADT/DenseMap.h" |
| 21 | #include "llvm/MC/MCSubtargetInfo.h" |
| 22 | #include <map> |
| 23 | |
| 24 | namespace mca { |
| 25 | |
| 26 | class Backend; |
Matt Davis | 679083e | 2018-05-17 19:22:29 +0000 | [diff] [blame^] | 27 | class DispatchStage; |
Clement Courbet | 844f22d | 2018-03-13 13:11:01 +0000 | [diff] [blame] | 28 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 29 | /// Used to notify the internal state of a processor resource. |
| 30 | /// |
| 31 | /// A processor resource is available if it is not reserved, and there are |
| 32 | /// available slots in the buffer. A processor resource is unavailable if it |
| 33 | /// is either reserved, or the associated buffer is full. A processor resource |
| 34 | /// with a buffer size of -1 is always available if it is not reserved. |
| 35 | /// |
| 36 | /// Values of type ResourceStateEvent are returned by method |
| 37 | /// ResourceState::isBufferAvailable(), which is used to query the internal |
| 38 | /// state of a resource. |
| 39 | /// |
| 40 | /// The naming convention for resource state events is: |
| 41 | /// * Event names start with prefix RS_ |
| 42 | /// * Prefix RS_ is followed by a string describing the actual resource state. |
| 43 | enum ResourceStateEvent { |
| 44 | RS_BUFFER_AVAILABLE, |
| 45 | RS_BUFFER_UNAVAILABLE, |
| 46 | RS_RESERVED |
| 47 | }; |
| 48 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 49 | /// A descriptor for processor resources. |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 50 | /// |
| 51 | /// Each object of class ResourceState is associated to a specific processor |
| 52 | /// resource. There is an instance of this class for every processor resource |
| 53 | /// defined by the scheduling model. |
| 54 | /// A ResourceState dynamically tracks the availability of units of a processor |
| 55 | /// resource. For example, the ResourceState of a ProcResGroup tracks the |
| 56 | /// availability of resource units which are part of the group. |
| 57 | /// |
| 58 | /// Internally, ResourceState uses a round-robin selector to identify |
| 59 | /// which unit of the group shall be used next. |
| 60 | class ResourceState { |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 61 | // Index to the MCProcResourceDesc in the processor Model. |
| 62 | unsigned ProcResourceDescIndex; |
Andrea Di Biagio | 4704f03 | 2018-03-20 12:25:54 +0000 | [diff] [blame] | 63 | // A resource mask. This is generated by the tool with the help of |
| 64 | // function `mca::createProcResourceMasks' (see Support.h). |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 65 | uint64_t ResourceMask; |
| 66 | |
| 67 | // A ProcResource can specify a number of units. For the purpose of dynamic |
| 68 | // scheduling, a processor resource with more than one unit behaves like a |
| 69 | // group. This field has one bit set for every unit/resource that is part of |
| 70 | // the group. |
| 71 | // For groups, this field defaults to 'ResourceMask'. For non-group |
| 72 | // resources, the number of bits set in this mask is equivalent to the |
| 73 | // number of units (i.e. field 'NumUnits' in 'ProcResourceUnits'). |
| 74 | uint64_t ResourceSizeMask; |
| 75 | |
| 76 | // A simple round-robin selector for processor resources. |
| 77 | // Each bit of the mask identifies a sub resource within this group. |
| 78 | // |
| 79 | // As an example, lets assume that this ResourceState describes a |
| 80 | // processor resource group composed of the following three units: |
| 81 | // ResourceA -- 0b001 |
| 82 | // ResourceB -- 0b010 |
| 83 | // ResourceC -- 0b100 |
| 84 | // |
| 85 | // Each unit is identified by a ResourceMask which always contains a |
| 86 | // single bit set. Field NextInSequenceMask is initially set to value |
| 87 | // 0xb111. That value is obtained by OR'ing the resource masks of |
| 88 | // processor resource that are part of the group. |
| 89 | // |
| 90 | // NextInSequenceMask -- 0b111 |
| 91 | // |
| 92 | // Field NextInSequenceMask is used by the resource manager (i.e. |
| 93 | // an object of class ResourceManager) to select the "next available resource" |
| 94 | // from the set. The algorithm would prioritize resources with a bigger |
| 95 | // ResourceMask value. |
| 96 | // |
| 97 | // In this example, there are three resources in the set, and 'ResourceC' |
| 98 | // has the highest mask value. The round-robin selector would firstly select |
| 99 | // 'ResourceC', then 'ResourceB', and eventually 'ResourceA'. |
| 100 | // |
| 101 | // When a resource R is used, its corresponding bit is cleared from the set. |
| 102 | // |
| 103 | // Back to the example: |
| 104 | // If 'ResourceC' is selected, then the new value of NextInSequenceMask |
| 105 | // becomes 0xb011. |
| 106 | // |
| 107 | // When NextInSequenceMask becomes zero, it is reset to its original value |
| 108 | // (in this example, that value would be 0b111). |
| 109 | uint64_t NextInSequenceMask; |
| 110 | |
| 111 | // Some instructions can only be issued on very specific pipeline resources. |
| 112 | // For those instructions, we know exactly which resource would be consumed |
| 113 | // without having to dynamically select it using field 'NextInSequenceMask'. |
| 114 | // |
| 115 | // The resource mask bit associated to the (statically) selected |
| 116 | // processor resource is still cleared from the 'NextInSequenceMask'. |
| 117 | // If that bit was already zero in NextInSequenceMask, then we update |
| 118 | // mask 'RemovedFromNextInSequence'. |
| 119 | // |
| 120 | // When NextInSequenceMask is reset back to its initial value, the algorithm |
| 121 | // removes any bits which are set in RemoveFromNextInSequence. |
| 122 | uint64_t RemovedFromNextInSequence; |
| 123 | |
| 124 | // A mask of ready units. |
| 125 | uint64_t ReadyMask; |
| 126 | |
| 127 | // Buffered resources will have this field set to a positive number bigger |
| 128 | // than 0. A buffered resource behaves like a separate reservation station |
| 129 | // implementing its own buffer for out-of-order execution. |
| 130 | // A buffer of 1 is for units that force in-order execution. |
| 131 | // A value of 0 is treated specially. In particular, a resource with |
| 132 | // A BufferSize = 0 is for an in-order issue/dispatch resource. |
| 133 | // That means, this resource is reserved starting from the dispatch event, |
| 134 | // until all the "resource cycles" are consumed after the issue event. |
| 135 | // While this resource is reserved, no other instruction may be dispatched. |
| 136 | int BufferSize; |
| 137 | |
| 138 | // Available slots in the buffer (zero, if this is not a buffered resource). |
| 139 | unsigned AvailableSlots; |
| 140 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 141 | // True if this is resource is currently unavailable. |
| 142 | // An instruction may "reserve" a resource for a number of cycles. |
| 143 | // During those cycles, the reserved resource cannot be used for other |
| 144 | // instructions, even if the ReadyMask is set. |
| 145 | bool Unavailable; |
| 146 | |
| 147 | bool isSubResourceReady(uint64_t ID) const { return ReadyMask & ID; } |
| 148 | |
| 149 | /// Returns the mask identifier of the next available resource in the set. |
| 150 | uint64_t getNextInSequence() const { |
| 151 | assert(NextInSequenceMask); |
| 152 | return llvm::PowerOf2Floor(NextInSequenceMask); |
| 153 | } |
| 154 | |
| 155 | /// Returns the mask of the next available resource within the set, |
| 156 | /// and updates the resource selector. |
| 157 | void updateNextInSequence() { |
| 158 | NextInSequenceMask ^= getNextInSequence(); |
| 159 | if (!NextInSequenceMask) |
| 160 | NextInSequenceMask = ResourceSizeMask; |
| 161 | } |
| 162 | |
| 163 | uint64_t computeResourceSizeMaskForGroup(uint64_t ResourceMask) { |
| 164 | assert(llvm::countPopulation(ResourceMask) > 1); |
| 165 | return ResourceMask ^ llvm::PowerOf2Floor(ResourceMask); |
| 166 | } |
| 167 | |
| 168 | public: |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 169 | ResourceState(const llvm::MCProcResourceDesc &Desc, unsigned Index, |
| 170 | uint64_t Mask) |
| 171 | : ProcResourceDescIndex(Index), ResourceMask(Mask) { |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 172 | bool IsAGroup = llvm::countPopulation(ResourceMask) > 1; |
| 173 | ResourceSizeMask = IsAGroup ? computeResourceSizeMaskForGroup(ResourceMask) |
| 174 | : ((1ULL << Desc.NumUnits) - 1); |
| 175 | NextInSequenceMask = ResourceSizeMask; |
| 176 | RemovedFromNextInSequence = 0; |
| 177 | ReadyMask = ResourceSizeMask; |
| 178 | BufferSize = Desc.BufferSize; |
| 179 | AvailableSlots = BufferSize == -1 ? 0U : static_cast<unsigned>(BufferSize); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 180 | Unavailable = false; |
| 181 | } |
| 182 | |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 183 | unsigned getProcResourceID() const { return ProcResourceDescIndex; } |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 184 | uint64_t getResourceMask() const { return ResourceMask; } |
| 185 | int getBufferSize() const { return BufferSize; } |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 186 | |
| 187 | bool isBuffered() const { return BufferSize > 0; } |
| 188 | bool isInOrder() const { return BufferSize == 1; } |
| 189 | bool isADispatchHazard() const { return BufferSize == 0; } |
| 190 | bool isReserved() const { return Unavailable; } |
| 191 | |
| 192 | void setReserved() { Unavailable = true; } |
| 193 | void clearReserved() { Unavailable = false; } |
| 194 | |
| 195 | // A resource is ready if it is not reserved, and if there are enough |
| 196 | // available units. |
| 197 | // If a resource is also a dispatch hazard, then we don't check if |
| 198 | // it is reserved because that check would always return true. |
| 199 | // A resource marked as "dispatch hazard" is always reserved at |
| 200 | // dispatch time. When this method is called, the assumption is that |
| 201 | // the user of this resource has been already dispatched. |
| 202 | bool isReady(unsigned NumUnits = 1) const { |
| 203 | return (!isReserved() || isADispatchHazard()) && |
| 204 | llvm::countPopulation(ReadyMask) >= NumUnits; |
| 205 | } |
| 206 | bool isAResourceGroup() const { |
| 207 | return llvm::countPopulation(ResourceMask) > 1; |
| 208 | } |
| 209 | |
| 210 | bool containsResource(uint64_t ID) const { return ResourceMask & ID; } |
| 211 | |
| 212 | void markSubResourceAsUsed(uint64_t ID) { |
| 213 | assert(isSubResourceReady(ID)); |
| 214 | ReadyMask ^= ID; |
| 215 | } |
| 216 | |
| 217 | void releaseSubResource(uint64_t ID) { |
| 218 | assert(!isSubResourceReady(ID)); |
| 219 | ReadyMask ^= ID; |
| 220 | } |
| 221 | |
| 222 | unsigned getNumUnits() const { |
| 223 | return isAResourceGroup() ? 1U : llvm::countPopulation(ResourceSizeMask); |
| 224 | } |
| 225 | |
| 226 | uint64_t selectNextInSequence(); |
| 227 | void removeFromNextInSequence(uint64_t ID); |
| 228 | |
| 229 | ResourceStateEvent isBufferAvailable() const { |
| 230 | if (isADispatchHazard() && isReserved()) |
| 231 | return RS_RESERVED; |
| 232 | if (!isBuffered() || AvailableSlots) |
| 233 | return RS_BUFFER_AVAILABLE; |
| 234 | return RS_BUFFER_UNAVAILABLE; |
| 235 | } |
| 236 | |
| 237 | void reserveBuffer() { |
| 238 | if (AvailableSlots) |
| 239 | AvailableSlots--; |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 240 | } |
| 241 | |
| 242 | void releaseBuffer() { |
| 243 | if (BufferSize > 0) |
| 244 | AvailableSlots++; |
| 245 | assert(AvailableSlots <= static_cast<unsigned>(BufferSize)); |
| 246 | } |
| 247 | |
| 248 | #ifndef NDEBUG |
| 249 | void dump() const; |
| 250 | #endif |
| 251 | }; |
| 252 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 253 | /// A resource unit identifier. |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 254 | /// |
| 255 | /// This is used to identify a specific processor resource unit using a pair |
| 256 | /// of indices where the 'first' index is a processor resource mask, and the |
| 257 | /// 'second' index is an index for a "sub-resource" (i.e. unit). |
| 258 | typedef std::pair<uint64_t, uint64_t> ResourceRef; |
| 259 | |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 260 | // First: a MCProcResourceDesc index identifying a buffered resource. |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 261 | // Second: max number of buffer entries used in this resource. |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 262 | typedef std::pair<unsigned, unsigned> BufferUsageEntry; |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 263 | |
| 264 | /// A resource manager for processor resource units and groups. |
| 265 | /// |
| 266 | /// This class owns all the ResourceState objects, and it is responsible for |
| 267 | /// acting on requests from a Scheduler by updating the internal state of |
| 268 | /// ResourceState objects. |
| 269 | /// This class doesn't know about instruction itineraries and functional units. |
| 270 | /// In future, it can be extended to support itineraries too through the same |
| 271 | /// public interface. |
| 272 | class ResourceManager { |
| 273 | // The resource manager owns all the ResourceState. |
| 274 | using UniqueResourceState = std::unique_ptr<ResourceState>; |
| 275 | llvm::SmallDenseMap<uint64_t, UniqueResourceState> Resources; |
| 276 | |
| 277 | // Keeps track of which resources are busy, and how many cycles are left |
| 278 | // before those become usable again. |
| 279 | llvm::SmallDenseMap<ResourceRef, unsigned> BusyResources; |
| 280 | |
| 281 | // A table to map processor resource IDs to processor resource masks. |
| 282 | llvm::SmallVector<uint64_t, 8> ProcResID2Mask; |
| 283 | |
| 284 | // Adds a new resource state in Resources, as well as a new descriptor in |
| 285 | // ResourceDescriptor. |
Andrea Di Biagio | 0c54129 | 2018-03-10 16:55:07 +0000 | [diff] [blame] | 286 | void addResource(const llvm::MCProcResourceDesc &Desc, unsigned Index, |
| 287 | uint64_t Mask); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 288 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 289 | // Populate resource descriptors. |
Andrea Di Biagio | 4704f03 | 2018-03-20 12:25:54 +0000 | [diff] [blame] | 290 | void initialize(const llvm::MCSchedModel &SM); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 291 | |
| 292 | // Returns the actual resource unit that will be used. |
| 293 | ResourceRef selectPipe(uint64_t ResourceID); |
| 294 | |
| 295 | void use(ResourceRef RR); |
| 296 | void release(ResourceRef RR); |
| 297 | |
| 298 | unsigned getNumUnits(uint64_t ResourceID) const { |
| 299 | assert(Resources.find(ResourceID) != Resources.end()); |
| 300 | return Resources.find(ResourceID)->getSecond()->getNumUnits(); |
| 301 | } |
| 302 | |
| 303 | // Reserve a specific Resource kind. |
| 304 | void reserveBuffer(uint64_t ResourceID) { |
| 305 | assert(isBufferAvailable(ResourceID) == |
| 306 | ResourceStateEvent::RS_BUFFER_AVAILABLE); |
| 307 | ResourceState &Resource = *Resources[ResourceID]; |
| 308 | Resource.reserveBuffer(); |
| 309 | } |
| 310 | |
| 311 | void releaseBuffer(uint64_t ResourceID) { |
| 312 | Resources[ResourceID]->releaseBuffer(); |
| 313 | } |
| 314 | |
| 315 | ResourceStateEvent isBufferAvailable(uint64_t ResourceID) const { |
| 316 | const ResourceState &Resource = *Resources.find(ResourceID)->second; |
| 317 | return Resource.isBufferAvailable(); |
| 318 | } |
| 319 | |
| 320 | bool isReady(uint64_t ResourceID, unsigned NumUnits) const { |
| 321 | const ResourceState &Resource = *Resources.find(ResourceID)->second; |
| 322 | return Resource.isReady(NumUnits); |
| 323 | } |
| 324 | |
| 325 | public: |
Andrea Di Biagio | 4704f03 | 2018-03-20 12:25:54 +0000 | [diff] [blame] | 326 | ResourceManager(const llvm::MCSchedModel &SM) |
| 327 | : ProcResID2Mask(SM.getNumProcResourceKinds()) { |
| 328 | initialize(SM); |
| 329 | } |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 330 | |
Andrea Di Biagio | 44bfcd2 | 2018-03-19 19:09:38 +0000 | [diff] [blame] | 331 | // Returns RS_BUFFER_AVAILABLE if buffered resources are not reserved, and if |
| 332 | // there are enough available slots in the buffers. |
Andrea Di Biagio | a3f2e48 | 2018-03-20 18:20:39 +0000 | [diff] [blame] | 333 | ResourceStateEvent canBeDispatched(llvm::ArrayRef<uint64_t> Buffers) const; |
| 334 | |
| 335 | // Return the processor resource identifier associated to this Mask. |
| 336 | unsigned resolveResourceMask(uint64_t Mask) const { |
| 337 | return Resources.find(Mask)->second->getProcResourceID(); |
| 338 | } |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 339 | |
Andrea Di Biagio | 44bfcd2 | 2018-03-19 19:09:38 +0000 | [diff] [blame] | 340 | // Consume a slot in every buffered resource from array 'Buffers'. Resource |
| 341 | // units that are dispatch hazards (i.e. BufferSize=0) are marked as reserved. |
Andrea Di Biagio | 847accd | 2018-03-20 19:06:34 +0000 | [diff] [blame] | 342 | void reserveBuffers(llvm::ArrayRef<uint64_t> Buffers); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 343 | |
Andrea Di Biagio | 44bfcd2 | 2018-03-19 19:09:38 +0000 | [diff] [blame] | 344 | // Release buffer entries previously allocated by method reserveBuffers. |
Andrea Di Biagio | 847accd | 2018-03-20 19:06:34 +0000 | [diff] [blame] | 345 | void releaseBuffers(llvm::ArrayRef<uint64_t> Buffers); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 346 | |
| 347 | void reserveResource(uint64_t ResourceID) { |
| 348 | ResourceState &Resource = *Resources[ResourceID]; |
| 349 | assert(!Resource.isReserved()); |
| 350 | Resource.setReserved(); |
| 351 | } |
| 352 | |
| 353 | void releaseResource(uint64_t ResourceID) { |
| 354 | ResourceState &Resource = *Resources[ResourceID]; |
| 355 | Resource.clearReserved(); |
| 356 | } |
| 357 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 358 | // Returns true if all resources are in-order, and there is at least one |
| 359 | // resource which is a dispatch hazard (BufferSize = 0). |
| 360 | bool mustIssueImmediately(const InstrDesc &Desc); |
| 361 | |
| 362 | bool canBeIssued(const InstrDesc &Desc) const; |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 363 | |
| 364 | void issueInstruction( |
Matt Davis | ad78e66 | 2018-04-26 22:30:40 +0000 | [diff] [blame] | 365 | const InstrDesc &Desc, |
Andrea Di Biagio | 51dba7d | 2018-03-23 17:36:07 +0000 | [diff] [blame] | 366 | llvm::SmallVectorImpl<std::pair<ResourceRef, double>> &Pipes); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 367 | |
| 368 | void cycleEvent(llvm::SmallVectorImpl<ResourceRef> &ResourcesFreed); |
| 369 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 370 | #ifndef NDEBUG |
| 371 | void dump() const { |
| 372 | for (const std::pair<uint64_t, UniqueResourceState> &Resource : Resources) |
| 373 | Resource.second->dump(); |
| 374 | } |
| 375 | #endif |
| 376 | }; // namespace mca |
| 377 | |
| 378 | /// Class Scheduler is responsible for issuing instructions to pipeline |
| 379 | /// resources. Internally, it delegates to a ResourceManager the management of |
| 380 | /// processor resources. |
| 381 | /// This class is also responsible for tracking the progress of instructions |
| 382 | /// from the dispatch stage, until the write-back stage. |
| 383 | /// |
| 384 | /// An nstruction dispatched to the Scheduler is initially placed into either |
| 385 | /// the 'WaitQueue' or the 'ReadyQueue' depending on the availability of the |
| 386 | /// input operands. Instructions in the WaitQueue are ordered by instruction |
| 387 | /// index. An instruction is moved from the WaitQueue to the ReadyQueue when |
| 388 | /// register operands become available, and all memory dependencies are met. |
| 389 | /// Instructions that are moved from the WaitQueue to the ReadyQueue transition |
| 390 | /// from state 'IS_AVAILABLE' to state 'IS_READY'. |
| 391 | /// |
| 392 | /// At the beginning of each cycle, the Scheduler checks if there are |
| 393 | /// instructions in the WaitQueue that can be moved to the ReadyQueue. If the |
| 394 | /// ReadyQueue is not empty, then older instructions from the queue are issued |
| 395 | /// to the processor pipelines, and the underlying ResourceManager is updated |
| 396 | /// accordingly. The ReadyQueue is ordered by instruction index to guarantee |
| 397 | /// that the first instructions in the set are also the oldest. |
| 398 | /// |
| 399 | /// An Instruction is moved from the ReadyQueue the `IssuedQueue` when it is |
| 400 | /// issued to a (one or more) pipeline(s). This event also causes an instruction |
| 401 | /// state transition (i.e. from state IS_READY, to state IS_EXECUTING). |
| 402 | /// An Instruction leaves the IssuedQueue when it reaches the write-back stage. |
| 403 | class Scheduler { |
| 404 | const llvm::MCSchedModel &SM; |
| 405 | |
| 406 | // Hardware resources that are managed by this scheduler. |
| 407 | std::unique_ptr<ResourceManager> Resources; |
| 408 | std::unique_ptr<LSUnit> LSU; |
| 409 | |
| 410 | // The Backend gets notified when instructions are ready/issued/executed. |
Clement Courbet | 844f22d | 2018-03-13 13:11:01 +0000 | [diff] [blame] | 411 | Backend *const Owner; |
| 412 | |
| 413 | // The dispatch unit gets notified when instructions are executed. |
Matt Davis | 679083e | 2018-05-17 19:22:29 +0000 | [diff] [blame^] | 414 | DispatchStage *DS; |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 415 | |
| 416 | using QueueEntryTy = std::pair<unsigned, Instruction *>; |
| 417 | std::map<unsigned, Instruction *> WaitQueue; |
| 418 | std::map<unsigned, Instruction *> ReadyQueue; |
| 419 | std::map<unsigned, Instruction *> IssuedQueue; |
| 420 | |
Andrea Di Biagio | 94fafdf | 2018-03-24 16:05:36 +0000 | [diff] [blame] | 421 | void |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 422 | notifyInstructionIssued(const InstRef &IR, |
Andrea Di Biagio | 94fafdf | 2018-03-24 16:05:36 +0000 | [diff] [blame] | 423 | llvm::ArrayRef<std::pair<ResourceRef, double>> Used); |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 424 | void notifyInstructionExecuted(const InstRef &IR); |
| 425 | void notifyInstructionReady(const InstRef &IR); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 426 | void notifyResourceAvailable(const ResourceRef &RR); |
| 427 | |
Andrea Di Biagio | a3f2e48 | 2018-03-20 18:20:39 +0000 | [diff] [blame] | 428 | // Notify the Backend that buffered resources were consumed. |
| 429 | void notifyReservedBuffers(llvm::ArrayRef<uint64_t> Buffers); |
| 430 | // Notify the Backend that buffered resources were freed. |
| 431 | void notifyReleasedBuffers(llvm::ArrayRef<uint64_t> Buffers); |
| 432 | |
Andrea Di Biagio | 27c4b09 | 2018-04-24 14:53:16 +0000 | [diff] [blame] | 433 | /// Select the next instruction to issue from the ReadyQueue. |
| 434 | /// This method gives priority to older instructions. |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 435 | InstRef select(); |
Andrea Di Biagio | 0a837ef | 2018-03-29 14:26:56 +0000 | [diff] [blame] | 436 | |
Andrea Di Biagio | c752616 | 2018-04-13 15:19:07 +0000 | [diff] [blame] | 437 | /// Move instructions from the WaitQueue to the ReadyQueue if input operands |
| 438 | /// are all available. |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 439 | void promoteToReadyQueue(llvm::SmallVectorImpl<InstRef> &Ready); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 440 | |
| 441 | /// Issue an instruction without updating the ready queue. |
Andrea Di Biagio | 27c4b09 | 2018-04-24 14:53:16 +0000 | [diff] [blame] | 442 | void issueInstructionImpl( |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 443 | InstRef &IR, |
Andrea Di Biagio | 27c4b09 | 2018-04-24 14:53:16 +0000 | [diff] [blame] | 444 | llvm::SmallVectorImpl<std::pair<ResourceRef, double>> &Pipes); |
| 445 | |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 446 | void updatePendingQueue(llvm::SmallVectorImpl<InstRef> &Ready); |
| 447 | void updateIssuedQueue(llvm::SmallVectorImpl<InstRef> &Executed); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 448 | |
| 449 | public: |
| 450 | Scheduler(Backend *B, const llvm::MCSchedModel &Model, unsigned LoadQueueSize, |
| 451 | unsigned StoreQueueSize, bool AssumeNoAlias) |
| 452 | : SM(Model), Resources(llvm::make_unique<ResourceManager>(SM)), |
| 453 | LSU(llvm::make_unique<LSUnit>(LoadQueueSize, StoreQueueSize, |
| 454 | AssumeNoAlias)), |
| 455 | Owner(B) {} |
| 456 | |
Matt Davis | 679083e | 2018-05-17 19:22:29 +0000 | [diff] [blame^] | 457 | void setDispatchStage(DispatchStage *DispStage) { DS = DispStage; } |
Clement Courbet | 844f22d | 2018-03-13 13:11:01 +0000 | [diff] [blame] | 458 | |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 459 | /// Check if the instruction in 'IR' can be dispatched. |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 460 | /// |
Matt Davis | 679083e | 2018-05-17 19:22:29 +0000 | [diff] [blame^] | 461 | /// The DispatchStage is responsible for querying the Scheduler before |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 462 | /// dispatching new instructions. Queries are performed through method |
Matt Davis | 679083e | 2018-05-17 19:22:29 +0000 | [diff] [blame^] | 463 | /// `Scheduler::canBeDispatched`. If scheduling resources are available, |
Andrea Di Biagio | b24953b | 2018-04-11 18:05:23 +0000 | [diff] [blame] | 464 | /// and the instruction can be dispatched, then this method returns true. |
| 465 | /// Otherwise, a generic HWStallEvent is notified to the listeners. |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 466 | bool canBeDispatched(const InstRef &IR) const; |
| 467 | void scheduleInstruction(InstRef &IR); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 468 | |
Andrea Di Biagio | 27c4b09 | 2018-04-24 14:53:16 +0000 | [diff] [blame] | 469 | /// Issue an instruction. |
Matt Davis | 21a8d32 | 2018-05-07 18:29:15 +0000 | [diff] [blame] | 470 | void issueInstruction(InstRef &IR); |
Andrea Di Biagio | 27c4b09 | 2018-04-24 14:53:16 +0000 | [diff] [blame] | 471 | |
| 472 | /// Reserve one entry in each buffered resource. |
| 473 | void reserveBuffers(llvm::ArrayRef<uint64_t> Buffers) { |
| 474 | Resources->reserveBuffers(Buffers); |
| 475 | } |
| 476 | |
| 477 | /// Release buffer entries previously allocated by method reserveBuffers. |
| 478 | void releaseBuffers(llvm::ArrayRef<uint64_t> Buffers) { |
| 479 | Resources->releaseBuffers(Buffers); |
| 480 | } |
| 481 | |
Andrea Di Biagio | 3e64644 | 2018-04-12 10:49:40 +0000 | [diff] [blame] | 482 | void cycleEvent(); |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 483 | |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 484 | #ifndef NDEBUG |
| 485 | void dump() const; |
| 486 | #endif |
| 487 | }; |
Andrea Di Biagio | 3a6b092 | 2018-03-08 13:05:02 +0000 | [diff] [blame] | 488 | } // Namespace mca |
| 489 | |
| 490 | #endif |