slow-work.txt 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205
  1. ====================================
  2. SLOW WORK ITEM EXECUTION THREAD POOL
  3. ====================================
  4. By: David Howells <dhowells@redhat.com>
  5. The slow work item execution thread pool is a pool of threads for performing
  6. things that take a relatively long time, such as making mkdir calls.
  7. Typically, when processing something, these items will spend a lot of time
  8. blocking a thread on I/O, thus making that thread unavailable for doing other
  9. work.
  10. The standard workqueue model is unsuitable for this class of work item as that
  11. limits the owner to a single thread or a single thread per CPU. For some
  12. tasks, however, more threads - or fewer - are required.
  13. There is just one pool per system. It contains no threads unless something
  14. wants to use it - and that something must register its interest first. When
  15. the pool is active, the number of threads it contains is dynamic, varying
  16. between a maximum and minimum setting, depending on the load.
  17. ====================
  18. CLASSES OF WORK ITEM
  19. ====================
  20. This pool support two classes of work items:
  21. (*) Slow work items.
  22. (*) Very slow work items.
  23. The former are expected to finish much quicker than the latter.
  24. An operation of the very slow class may do a batch combination of several
  25. lookups, mkdirs, and a create for instance.
  26. An operation of the ordinarily slow class may, for example, write stuff or
  27. expand files, provided the time taken to do so isn't too long.
  28. Operations of both types may sleep during execution, thus tying up the thread
  29. loaned to it.
  30. A further class of work item is available, based on the slow work item class:
  31. (*) Delayed slow work items.
  32. These are slow work items that have a timer to defer queueing of the item for
  33. a while.
  34. THREAD-TO-CLASS ALLOCATION
  35. --------------------------
  36. Not all the threads in the pool are available to work on very slow work items.
  37. The number will be between one and one fewer than the number of active threads.
  38. This is configurable (see the "Pool Configuration" section).
  39. All the threads are available to work on ordinarily slow work items, but a
  40. percentage of the threads will prefer to work on very slow work items.
  41. The configuration ensures that at least one thread will be available to work on
  42. very slow work items, and at least one thread will be available that won't work
  43. on very slow work items at all.
  44. =====================
  45. USING SLOW WORK ITEMS
  46. =====================
  47. Firstly, a module or subsystem wanting to make use of slow work items must
  48. register its interest:
  49. int ret = slow_work_register_user(struct module *module);
  50. This will return 0 if successful, or a -ve error upon failure. The module
  51. pointer should be the module interested in using this facility (almost
  52. certainly THIS_MODULE).
  53. Slow work items may then be set up by:
  54. (1) Declaring a slow_work struct type variable:
  55. #include <linux/slow-work.h>
  56. struct slow_work myitem;
  57. (2) Declaring the operations to be used for this item:
  58. struct slow_work_ops myitem_ops = {
  59. .get_ref = myitem_get_ref,
  60. .put_ref = myitem_put_ref,
  61. .execute = myitem_execute,
  62. };
  63. [*] For a description of the ops, see section "Item Operations".
  64. (3) Initialising the item:
  65. slow_work_init(&myitem, &myitem_ops);
  66. or:
  67. delayed_slow_work_init(&myitem, &myitem_ops);
  68. or:
  69. vslow_work_init(&myitem, &myitem_ops);
  70. depending on its class.
  71. A suitably set up work item can then be enqueued for processing:
  72. int ret = slow_work_enqueue(&myitem);
  73. This will return a -ve error if the thread pool is unable to gain a reference
  74. on the item, 0 otherwise, or (for delayed work):
  75. int ret = delayed_slow_work_enqueue(&myitem, my_jiffy_delay);
  76. The items are reference counted, so there ought to be no need for a flush
  77. operation. But as the reference counting is optional, means to cancel
  78. existing work items are also included:
  79. cancel_slow_work(&myitem);
  80. cancel_delayed_slow_work(&myitem);
  81. can be used to cancel pending work. The above cancel function waits for
  82. existing work to have been executed (or prevent execution of them, depending
  83. on timing).
  84. When all a module's slow work items have been processed, and the
  85. module has no further interest in the facility, it should unregister its
  86. interest:
  87. slow_work_unregister_user(struct module *module);
  88. The module pointer is used to wait for all outstanding work items for that
  89. module before completing the unregistration. This prevents the put_ref() code
  90. from being taken away before it completes. module should almost certainly be
  91. THIS_MODULE.
  92. ===============
  93. ITEM OPERATIONS
  94. ===============
  95. Each work item requires a table of operations of type struct slow_work_ops.
  96. Only ->execute() is required, getting and putting of a reference are optional.
  97. (*) Get a reference on an item:
  98. int (*get_ref)(struct slow_work *work);
  99. This allows the thread pool to attempt to pin an item by getting a
  100. reference on it. This function should return 0 if the reference was
  101. granted, or a -ve error otherwise. If an error is returned,
  102. slow_work_enqueue() will fail.
  103. The reference is held whilst the item is queued and whilst it is being
  104. executed. The item may then be requeued with the same reference held, or
  105. the reference will be released.
  106. (*) Release a reference on an item:
  107. void (*put_ref)(struct slow_work *work);
  108. This allows the thread pool to unpin an item by releasing the reference on
  109. it. The thread pool will not touch the item again once this has been
  110. called.
  111. (*) Execute an item:
  112. void (*execute)(struct slow_work *work);
  113. This should perform the work required of the item. It may sleep, it may
  114. perform disk I/O and it may wait for locks.
  115. ==================
  116. POOL CONFIGURATION
  117. ==================
  118. The slow-work thread pool has a number of configurables:
  119. (*) /proc/sys/kernel/slow-work/min-threads
  120. The minimum number of threads that should be in the pool whilst it is in
  121. use. This may be anywhere between 2 and max-threads.
  122. (*) /proc/sys/kernel/slow-work/max-threads
  123. The maximum number of threads that should in the pool. This may be
  124. anywhere between min-threads and 255 or NR_CPUS * 2, whichever is greater.
  125. (*) /proc/sys/kernel/slow-work/vslow-percentage
  126. The percentage of active threads in the pool that may be used to execute
  127. very slow work items. This may be between 1 and 99. The resultant number
  128. is bounded to between 1 and one fewer than the number of active threads.
  129. This ensures there is always at least one thread that can process very
  130. slow work items, and always at least one thread that won't.