redis_queued_locks 1.20.0 → 1.22.0

data/sig/redis_queued_locks/resource.rbs

@@ -10,6 +10,9 @@ module RedisQueuedLocks
     SWARM_KEY: String
     LOCK_INDEX_KEY: String
     REDIS_TIMESHIFT_ERROR: Integer
+    MIN_LOCK_PRIORITY: Integer
+    MAX_LOCK_PRIORITY: Integer
+    LOCK_PRIORITY_BAND: Integer
 
     def self.calc_uniq_identity: () -> String
     def self.acquirer_identifier: (
@@ -27,25 +30,32 @@ module RedisQueuedLocks
       String identity
     ) -> String
 
-    def self.prepare_lock_key: (String lock_name) -> String
-    def self.prepare_lock_queue: (String lock_name) -> String
-    def self.prepare_read_lock_queue: (String lock_name) -> String
-    def self.prepare_lock_readers: (String lock_name) -> String
-    def self.prepare_read_lock_key: (String lock_name, String acquirer_id) -> String
+    # NOTE: (rbs test) `%a{rbs:test:skip}`: these functions run inside the zombie flusher Ractor
+    #   (`FlushZombies.flush_zombies`); rbs/test hooks read `RBS.logger` and raise
+    #   `Ractor::IsolationError` there, so they are not hooked (Steep still checks them).
+    %a{rbs:test:skip} def self.prepare_lock_key: (String lock_name) -> String
+    %a{rbs:test:skip} def self.prepare_lock_queue: (String lock_name) -> String
+    %a{rbs:test:skip} def self.prepare_read_lock_queue: (String lock_name) -> String
+    %a{rbs:test:skip} def self.prepare_lock_readers: (String lock_name) -> String
+    %a{rbs:test:skip} def self.prepare_read_lock_key: (String lock_name, String acquirer_id) -> String
     def self.lock_queue_rw_mode: (String lock_queue) -> String?
     type lockKeyFamily = :lock | :lock_queue | :lock_readers | :read_lock_queue | :read_lock
-    def self.lock_key_family: (String key) -> lockKeyFamily?
+    %a{rbs:test:skip} def self.lock_key_family: (String key) -> lockKeyFamily?
     def self.lock_name_from_key: (String key, lockKeyFamily? key_family) -> String?
-    def self.lock_index_time: () -> Integer
-    def self.lock_name_from_readers: (String lock_readers_key) -> String
+    %a{rbs:test:skip} def self.lock_index_time: () -> Integer
+    def self.lock_index_score_expired?: (String lock_index_score, Integer lock_index_time) -> bool
+    %a{rbs:test:skip} def self.lock_name_from_readers: (String lock_readers_key) -> String
     def self.lock_key_from_readers: (String lock_readers_key) -> String
-    def self.host_identifier_from_acquirer: (String acquirer_id) -> String
+    %a{rbs:test:skip} def self.host_identifier_from_acquirer: (String acquirer_id) -> String
     def self.redis_time_ms: (Array[String] redis_time) -> Integer
-    def self.calc_initial_acquirer_position: () -> Float
+    def self.calc_initial_acquirer_position: (Integer priority) -> Float
     def self.acquirer_dead_score: (Integer|Float queue_ttl) -> Float
-    def self.calc_zombie_score: (Float zombie_ttl) -> Float
-    def self.dead_score_reached?: (Float acquirer_position, Integer queue_ttl) -> bool
-    def self.lock_key_from_queue: (String lock_queue) -> String
+    def self.lock_priority_band_floor: (Integer priority) -> Integer
+    def self.lock_priority_band_dead_score: (Float dead_score, Integer priority) -> Float
+    def self.lock_request_priority: (Integer|Float acquirer_position) -> Integer
+    %a{rbs:test:skip} def self.calc_zombie_score: (Float zombie_ttl) -> Float
+    def self.dead_score_reached?: (Float acquirer_position, Integer priority, Integer queue_ttl) -> bool
+    def self.lock_key_from_queue: (String lock_queue) -> String?
     def self.get_thread_id: () -> Integer
     def self.get_fiber_id: () -> Integer
     def self.get_ractor_id: () -> Integer

data/sig/redis_queued_locks/swarm/swarm_element/threaded.rbs

@@ -54,7 +54,7 @@ module RedisQueuedLocks
         def swarm_loop__start: () -> void
         def swarm_loop__stop: () -> void
         def swarm_loop__send_command: (Symbol command) -> swarmLoopReply?
-        def swarm_element__termiante: () -> void
+        def swarm_element__terminate: () -> void
       end
     end
   end

data/sig/redis_queued_locks/utilities.rbs

@@ -7,7 +7,8 @@ module RedisQueuedLocks
     def self?.run_non_critical: () { (?) -> untyped } -> untyped?
     def self?.ractor_status: (Ractor ractor) -> String
     def self?.ractor_alive?: (Ractor ractor) -> bool
-    def self?.thread_state: (Thread thread) -> String
+    # NOTE: (rbs test) runs inside the element Ractor (`Isolated.swarm_loop`), see `resource.rbs`;
+    %a{rbs:test:skip} def self?.thread_state: (Thread thread) -> String
     def self?.clock_gettime: () -> Integer
     def self?.ruby_over_4?: () -> bool
   end

data/sig/redis_queued_locks.rbs

@@ -10,5 +10,12 @@ module RedisQueuedLocks
   type loggerObj = Object & _Loggable
   type instrObj = Object & _Instrumentable
 
+  type readWriteMode = :read | :write
+  type accessStrategy = :queued | :random
+  type conflictStrategy = :wait_for_lock | :work_through | :extendable_work_through | :dead_locking
+  # NOTE: (lock request priorities) an Integer priority or a priority name of
+  #   `config['lock_priorities']` (resolved by `AcquireLock.acquire_lock`);
+  type lockPriority = Integer | Symbol
+
   extend ::RedisQueuedLocks::Debugger::Interface
 end

data/sig/vendor/redis_client.rbs

@@ -6,6 +6,7 @@ class RedisClient
     def zscan: (String key, *untyped) { (String member, String score) -> untyped } -> untyped
     def multi: (?watch: Array[String]) { (Multi transact) -> untyped } -> untyped
     def with: (?untyped) { (::RedisClient|::RedisClient::Pooled rconn) -> untyped } -> untyped
+    def close: () -> void
   end
 
   include _Client

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: redis_queued_locks
 version: !ruby/object:Gem::Version
-  version: 1.20.0
+  version: 1.22.0
 platform: ruby
 authors:
 - Rustam Ibragimov
@@ -38,6 +38,7 @@ files:
 - ".claude/project-overview.md"
 - ".claude/rules/acquirer.md"
 - ".claude/rules/arguments.md"
+- ".claude/rules/changelog.md"
 - ".claude/rules/git.md"
 - ".claude/rules/logic.md"
 - ".claude/rules/swarm.md"
@@ -122,7 +123,7 @@ files:
 - redis_queued_locks.gemspec
 - sig/manifest.yml
 - sig/redis_queued_locks.rbs
-- sig/redis_queued_locks/acquier.rbs
+- sig/redis_queued_locks/acquirer.rbs
 - sig/redis_queued_locks/acquirer/acquire_lock.rbs
 - sig/redis_queued_locks/acquirer/acquire_lock/delay_execution.rbs
 - sig/redis_queued_locks/acquirer/acquire_lock/dequeue_from_lock_queue.rbs
@@ -133,7 +134,7 @@ files:
 - sig/redis_queued_locks/acquirer/acquire_lock/try_to_lock/log_visitor.rbs
 - sig/redis_queued_locks/acquirer/acquire_lock/with_acq_timeout.rbs
 - sig/redis_queued_locks/acquirer/acquire_lock/yield_expire.rbs
-- sig/redis_queued_locks/acquirer/acquire_lock/yield_with_expire/log_visitor.rbs
+- sig/redis_queued_locks/acquirer/acquire_lock/yield_expire/log_visitor.rbs
 - sig/redis_queued_locks/acquirer/clear_dead_requests.rbs
 - sig/redis_queued_locks/acquirer/extend_lock_ttl.rbs
 - sig/redis_queued_locks/acquirer/is_locked.rbs