kchan.go 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. // package kchan -- умный потокобезопасный канал
  2. package kchan
  3. import (
  4. "fmt"
  5. "sync"
  6. mL0 "gitp78su.ipnodns.ru/svi/kern/v4/lev0"
  7. "gitp78su.ipnodns.ru/svi/kern/v4/lev0/core_spec"
  8. "gitp78su.ipnodns.ru/svi/kern/v4/lev0/defs"
  9. "gitp78su.ipnodns.ru/svi/kern/v4/lev1/comp_spec"
  10. "gitp78su.ipnodns.ru/svi/kern/v4/lev1/safe_bool"
  11. )
  12. var (
  13. hassert = mL0.Hassert
  14. )
  15. // KChanParam -- параметры умного канала.
  16. type KChanParam[T any] struct {
  17. Limit_ int // лимит на размер канала, не может быть пустым
  18. OnWrite_ func(T) // Обратный вызов при записи в канал
  19. OnRead_ func(T) // Обратный вызов при чтении из канала
  20. OnClose_ func() // Обратный вызов при закрытии канала
  21. OnLimit_ func() // Обратный вызов при достижении лимита
  22. Ctx_ comp_spec.ILocalCtx // Локальный контекст для контроля создателя
  23. }
  24. // SelfCheck -- проверка корректности правильности параметров умного канала.
  25. func (sf *KChanParam[T]) SelfCheck() {
  26. hassert(sf.Limit_ > 0, "KChanParam[T].SelfCheck(): limit=%v, канал должен иметь положительный лимит")
  27. hassert(sf.Ctx_ != nil, "KChanParam[T]: ctx==nil")
  28. }
  29. // KChan -- умный потокобезопасный канал
  30. //
  31. // Канал является резиновым, но лимит можно поставить сверху.
  32. // При необходимости лимит ёмкости можно поднять, но не снизить.
  33. // Умный канал можно безопасно закрывать многократно.
  34. // Умный канал можно использовать неблокирующим способом.
  35. // Умный канал точно знает своё состояние (длина, закрыт и т.п.)
  36. // При передаче инстанса канала -- из него можно только читать.
  37. // Умный канал строго типизирован и его тип видно из сигнатуры.
  38. // Кроме того, можно повесить хуки на события записи, чтения и закрытия
  39. // (например, для целей валидации).
  40. type KChan[T any] struct {
  41. *KChanParam[T]
  42. block sync.RWMutex
  43. isClosed core_spec.ISafeBool
  44. lstMsg []T
  45. }
  46. // NewKChan -- создаёт новый безопасный умный канал.
  47. func NewKChan[T any](param *KChanParam[T]) core_spec.IChan[T] {
  48. hassert(param != nil, "NewKChan: param==nil")
  49. param.SelfCheck()
  50. sf := &KChan[T]{
  51. KChanParam: param,
  52. isClosed: safe_bool.NewSafeBool(true),
  53. }
  54. go sf.close()
  55. return sf
  56. }
  57. // Read -- возвращает первый элемент очереди (если есть).
  58. func (sf *KChan[T]) Read() core_spec.IResult[T] {
  59. sf.block.Lock()
  60. defer sf.block.Unlock()
  61. if len(sf.lstMsg) == 0 {
  62. err := fmt.Errorf("KChan[T].Read(): empty list msg")
  63. return mL0.NewErr[T](err)
  64. }
  65. msg := sf.lstMsg[0]
  66. sf.lstMsg = sf.lstMsg[1:]
  67. return mL0.NewOk(msg)
  68. }
  69. // Limit -- ограничение размера канала.
  70. func (sf *KChan[T]) Limit() defs.Int {
  71. sf.block.RLock()
  72. defer sf.block.RUnlock()
  73. return defs.Int(len(sf.lstMsg))
  74. }
  75. // Len -- возвращает количество элементов в канале.
  76. func (sf *KChan[T]) Len() defs.Int {
  77. sf.block.RLock()
  78. defer sf.block.RUnlock()
  79. return defs.Int(len(sf.lstMsg))
  80. }
  81. // IsClosed -- возвращает признак закрытия канала.
  82. func (sf *KChan[T]) IsClosed() bool {
  83. return sf.isClosed.Get()
  84. }
  85. // Close -- закрывает канал.
  86. func (sf *KChan[T]) Close() {
  87. sf.block.Lock()
  88. defer sf.block.Unlock()
  89. sf.isClosed.Set()
  90. }
  91. // Ожидает закрытия канала по контексту.
  92. func (sf *KChan[T]) close() {
  93. sf.Ctx_.Wait()
  94. sf.isClosed.Set()
  95. }