solid_objects 0.1.0 → 0.2.1

data/lib/solid_objects/reference.rb

@@ -16,19 +16,20 @@ module SolidObjects
       freeze
     end
 
-    # @rbs (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> (MessageReference | Actor::OutboundMessageIntent)
-    def tell(message_name, available_at: nil, idempotency_key: nil, authorization_context: nil, **arguments)
+    # @rbs (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> MessageReference?
+    def async(message_name, available_at: nil, idempotency_key: nil, authorization_context: nil, **arguments)
       if (actor = Context.current_actor)
-        return actor.stage_outbound_message(
+        actor.stage_outbound_message(
           self,
           message_name,
           arguments,
           available_at:,
           idempotency_key:
         )
+        return
       end
 
-      SolidObjects.client.tell(
+      SolidObjects.client.async(
         self,
         message_name,
         arguments,
@@ -39,10 +40,10 @@ module SolidObjects
     end
 
     # @rbs (Symbol | String, ?timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> untyped
-    def ask(message_name, timeout: 5.seconds, idempotency_key: nil, authorization_context: nil, **arguments)
+    def sync(message_name, timeout: 5.seconds, idempotency_key: nil, authorization_context: nil, **arguments)
       raise ActorCallCycle, "actors cannot synchronously wait for another actor" if Context.current_actor
 
-      SolidObjects.client.ask(
+      SolidObjects.client.sync(
         self,
         message_name,
         arguments,
@@ -60,8 +61,7 @@ module SolidObjects
     # @rbs (Symbol, *untyped, **untyped) -> untyped
     def method_missing(name, *arguments, **keywords)
       return super if arguments.any? || block_given?
-      return tell(name, **keywords) if actor_message?(name)
-      return Serialization.readonly_copy(ask(name, **keywords)) if actor_query?(name)
+      return sync(name, **keywords) if actor_message?(name) || actor_query?(name)
 
       super
     end

data/lib/solid_objects/synchronous_invocation.rb

@@ -0,0 +1,93 @@
+# rbs_inline: enabled
+
+require "solid_objects/activation_manager"
+require "solid_objects/lease_renewer"
+
+module SolidObjects
+  class SynchronousInvocation
+    # @rbs (MessageReference, timeout: Numeric) -> untyped
+    def call(message_reference, timeout:)
+      deadline = monotonic_now + timeout.to_f
+
+      loop do
+        message = load_message(message_reference)
+        return completed_result(message) if message.completed? || message.dead?
+
+        remaining = deadline - monotonic_now
+        unless remaining.positive?
+          raise SyncTimeout, "actor invocation timed out after #{timeout} seconds"
+        end
+
+        processed = assist(message, deadline:)
+        wait(remaining) if processed.zero?
+      end
+    rescue ActiveRecord::RecordNotFound
+      raise ActorDestroyed, "actor was destroyed while waiting for its result"
+    end
+
+    private
+
+    # @rbs (MessageReference) -> Message
+    def load_message(message_reference)
+      Message.uncached { Message.find(message_reference.id) }
+    end
+
+    # @rbs (Message) -> untyped
+    def completed_result(message)
+      raise_rejection(message) if message.rejected?
+      if message.dead?
+        raise MessageFailed.new(
+          "actor message failed permanently",
+          message_id: message.id,
+          details: message.error || {}
+        )
+      end
+
+      Serialization.readonly_copy(message.result)
+    end
+
+    # @rbs (Message) -> bot
+    def raise_rejection(message)
+      rejection = message.rejection
+      raise Rejected.new(
+        code: rejection.fetch("code"),
+        message: rejection.fetch("message"),
+        details: rejection.fetch("details"),
+        message_id: message.id
+      )
+    end
+
+    # @rbs (Message, deadline: Float) -> Integer
+    def assist(message, deadline:)
+      process_registry = SolidObjects.caller_process.process_registry
+      activation = ActivationManager
+        .new(owner_id: process_registry.process_record.id)
+        .claim(instance_id: message.instance_id)
+      return 0 unless activation
+
+      LeaseRenewer.new(
+        activation:,
+        process_registry:
+      ).around do
+        activation.drain_until(message_id: message.id, deadline:)
+      end
+    ensure
+      if activation
+        activation.yield_ready_messages if activation.pass_exhausted?
+        activation.deactivate
+      end
+    end
+
+    # @rbs (Numeric) -> void
+    def wait(remaining)
+      SolidObjects.wake_up.wait(
+        timeout: [ remaining, SolidObjects.configuration.sync_polling_interval ].min
+      )
+    end
+
+    # @rbs () -> Float
+    def monotonic_now
+      ::Process.clock_gettime(::Process::CLOCK_MONOTONIC)
+    end
+  end
+end

data/lib/solid_objects/version.rb

@@ -1,5 +1,5 @@
 # rbs_inline: enabled
 
 module SolidObjects
-  VERSION = "0.1.0"
+  VERSION = "0.2.1"
 end

data/lib/solid_objects.rb

@@ -78,6 +78,12 @@ module SolidObjects
       @client ||= Client.new
     end
 
+    # @rbs () -> CallerProcess
+    def caller_process
+      require "solid_objects/caller_process"
+      @caller_process ||= CallerProcess.new
+    end
+
     # @rbs () -> DeadLetterManager
     def dead_letters
       @dead_letters ||= DeadLetterManager.new
@@ -100,6 +106,7 @@ module SolidObjects
       @client = nil
       @database_adapter = nil
       @wake_up = nil
+      @caller_process = nil
       @effect_registry = EffectRegistry.new
       @dead_letters = nil
     end

data/lib/tasks/solid_objects_tasks.rake

@@ -0,0 +1,10 @@
+require "solid_objects/doctor"
+
+namespace :solid_objects do
+  desc "Verify the Solid Objects installation"
+  task doctor: :environment do
+    report = SolidObjects::Doctor.new.call
+    puts report
+    abort "Solid Objects doctor failed" unless report.healthy?
+  end
+end

data/sig/generated/lib/solid_objects/activation.rbs

@@ -22,6 +22,9 @@ module SolidObjects
     # @rbs () -> Integer
     def drain: () -> Integer
 
+    # @rbs (message_id: Integer, deadline: Float) -> Integer
+    def drain_until: (message_id: Integer, deadline: Float) -> Integer
+
     # @rbs () -> bool
     def ready?: () -> bool
 
@@ -50,6 +53,9 @@ module SolidObjects
 
     attr_reader actor_class: untyped
 
+    # @rbs (?message_id: Integer?, ?deadline: Float?) -> Integer
+    def drain_messages: (?message_id: Integer?, ?deadline: Float?) -> Integer
+
     # @rbs (Instance) -> Actor
     def build_actor: (Instance) -> Actor
 

data/sig/generated/lib/solid_objects/activation_manager.rbs

@@ -12,12 +12,18 @@ module SolidObjects
     # @rbs () -> Activation?
     def claim_next: () -> Activation?
 
+    # @rbs (instance_id: Integer) -> Activation?
+    def claim: (instance_id: Integer) -> Activation?
+
     private
 
     attr_reader owner_id: untyped
 
     attr_reader database_adapter: untyped
 
+    # @rbs (Array[Integer]) -> Activation?
+    def claim_from: (Array[Integer]) -> Activation?
+
     # @rbs (Time) -> Array[Integer]
     def candidate_instance_ids: (Time) -> Array[Integer]
 

data/sig/generated/lib/solid_objects/actor.rbs

@@ -130,14 +130,17 @@ module SolidObjects
     # @rbs () -> MessageContext?
     def current_message: () -> MessageContext?
 
-    # @rbs (Symbol | String, ?on_success: Symbol | String?, ?on_failure: Symbol | String?, **untyped) -> EffectIntent
-    def emit: (Symbol | String, ?on_success: Symbol | String?, ?on_failure: Symbol | String?, **untyped) -> EffectIntent
+    # @rbs (Symbol | String, String, ?details: Hash[String | Symbol, untyped]) -> bot
+    def reject: (Symbol | String, String, ?details: Hash[String | Symbol, untyped]) -> bot
 
-    # @rbs (Symbol | String, at: Time, ?every: Numeric?, ?missed: Symbol | String, arguments: Hash[Symbol | String, untyped]) -> ReminderIntent
-    def schedule: (Symbol | String, at: Time, arguments: Hash[Symbol | String, untyped], ?every: Numeric?, ?missed: Symbol | String) -> ReminderIntent
+    # @rbs (Symbol | String, ?on_success: Symbol | String?, ?on_failure: Symbol | String?, **untyped) -> nil
+    def emit: (Symbol | String, ?on_success: Symbol | String?, ?on_failure: Symbol | String?, **untyped) -> nil
 
-    # @rbs (Reference, Symbol | String, ?available_at: Time?, ?idempotency_key: String?, **untyped) -> OutboundMessageIntent
-    def send_to: (Reference, Symbol | String, ?available_at: Time?, ?idempotency_key: String?, **untyped) -> OutboundMessageIntent
+    # @rbs (Symbol | String, at: Time, ?every: Numeric?, ?missed: Symbol | String, arguments: Hash[Symbol | String, untyped]) -> nil
+    def schedule: (Symbol | String, at: Time, arguments: Hash[Symbol | String, untyped], ?every: Numeric?, ?missed: Symbol | String) -> nil
+
+    # @rbs (Reference, Symbol | String, ?available_at: Time?, ?idempotency_key: String?, **untyped) -> nil
+    def send_to: (Reference, Symbol | String, ?available_at: Time?, ?idempotency_key: String?, **untyped) -> nil
 
     # @rbs (Symbol | String, Hash[String, untyped]) -> untyped
     def invoke: (Symbol | String, Hash[String, untyped]) -> untyped

data/sig/generated/lib/solid_objects/caller_process.rbs

@@ -0,0 +1,32 @@
+# Generated from lib/solid_objects/caller_process.rb with RBS::Inline
+
+module SolidObjects
+  class CallerProcess
+    @mutex: Thread::Mutex
+
+    @process_id: Integer?
+
+    @registry: ProcessRegistry?
+
+    # @rbs () -> void
+    def initialize: () -> void
+
+    # @rbs () -> ProcessRegistry
+    def process_registry: () -> ProcessRegistry
+
+    private
+
+    attr_reader mutex: untyped
+
+    attr_reader registry: untyped
+
+    # @rbs () -> void
+    def reset_after_fork: () -> void
+
+    # @rbs () -> bool
+    def reusable_registry?: () -> bool
+
+    # @rbs () -> ProcessRegistry
+    def register: () -> ProcessRegistry
+  end
+end

data/sig/generated/lib/solid_objects/client.rbs

@@ -8,10 +8,10 @@ module SolidObjects
     def initialize: (?mailbox: Mailbox) -> void
 
     # @rbs (Reference, Symbol | String, Hash[Symbol | String, untyped], ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped) -> MessageReference
-    def tell: (Reference, Symbol | String, Hash[Symbol | String, untyped], ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped) -> MessageReference
+    def async: (Reference, Symbol | String, Hash[Symbol | String, untyped], ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped) -> MessageReference
 
     # @rbs (Reference, Symbol | String, Hash[Symbol | String, untyped], timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped) -> untyped
-    def ask: (Reference, Symbol | String, Hash[Symbol | String, untyped], timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped) -> untyped
+    def sync: (Reference, Symbol | String, Hash[Symbol | String, untyped], timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped) -> untyped
 
     # @rbs (Reference, ?authorization_context: untyped) -> bool
     def destroy: (Reference, ?authorization_context: untyped) -> bool
@@ -25,11 +25,5 @@ module SolidObjects
 
     # @rbs (Reference, authorization_context: untyped) -> void
     def authorize_destroy!: (Reference, authorization_context: untyped) -> void
-
-    # @rbs (MessageReference, timeout: Numeric) -> untyped
-    def wait_for_result: (MessageReference, timeout: Numeric) -> untyped
-
-    # @rbs () -> Float
-    def monotonic_now: () -> Float
   end
 end

data/sig/generated/lib/solid_objects/configuration.rbs

@@ -44,7 +44,7 @@ module SolidObjects
 
     @polling_interval: Float
 
-    @ask_polling_interval: Float
+    @sync_polling_interval: Float
 
     @lease_duration: Float
 
@@ -70,7 +70,7 @@ module SolidObjects
 
     attr_accessor polling_interval: untyped
 
-    attr_accessor ask_polling_interval: untyped
+    attr_accessor sync_polling_interval: untyped
 
     attr_accessor lease_duration: untyped
 

data/sig/generated/lib/solid_objects/doctor.rbs

@@ -0,0 +1,111 @@
+# Generated from lib/solid_objects/doctor.rb with RBS::Inline
+
+module SolidObjects
+  class Doctor
+    class Check
+      @name: Symbol
+
+      @status: Symbol
+
+      @message: String
+
+      attr_reader name: untyped
+
+      attr_reader status: untyped
+
+      attr_reader message: untyped
+
+      # @rbs (name: Symbol, status: Symbol, message: String) -> void
+      def initialize: (name: Symbol, status: Symbol, message: String) -> void
+
+      # @rbs () -> bool
+      def failed?: () -> bool
+    end
+
+    class Report
+      @checks: Array[Check]
+
+      attr_reader checks: untyped
+
+      # @rbs (checks: Array[Check]) -> void
+      def initialize: (checks: Array[Check]) -> void
+
+      # @rbs () -> bool
+      def healthy?: () -> bool
+
+      # @rbs (Symbol) -> Check
+      def check: (Symbol) -> Check
+
+      # @rbs () -> String
+      def to_s: () -> String
+    end
+
+    EXPECTED_COLUMNS: untyped
+
+    class ProbeActor < Actor
+      # @rbs (value: String) -> String
+      def ping: (value: String) -> String
+    end
+
+    @configuration: Configuration
+
+    @connection: untyped
+
+    # @rbs (?connection: untyped, ?configuration: Configuration) -> void
+    def initialize: (?connection: untyped, ?configuration: Configuration) -> void
+
+    # @rbs () -> Report
+    def call: () -> Report
+
+    private
+
+    attr_reader connection: untyped
+
+    attr_reader configuration: untyped
+
+    # @rbs () -> Check
+    def check_configuration: () -> Check
+
+    # @rbs () -> Check
+    def check_schema: () -> Check
+
+    # @rbs () -> Check
+    def check_authorization: () -> Check
+
+    # @rbs () -> Check
+    def check_runtime: () -> Check
+
+    # @rbs () -> Check
+    def check_sync_round_trip: () -> Check
+
+    # @rbs (Check, Check) -> bool
+    def ready_for_round_trip?: (Check, Check) -> bool
+
+    # @rbs () -> Check
+    def skipped_runtime: () -> Check
+
+    # @rbs () -> Check
+    def skipped_round_trip: () -> Check
+
+    # @rbs () -> Hash[Symbol, Hash[Symbol, untyped]]
+    def policy_probes: () -> Hash[Symbol, Hash[Symbol, untyped]]
+
+    # @rbs () -> Array[String]
+    def expected_table_names: () -> Array[String]
+
+    # @rbs (Symbol, String) -> Check
+    def pass: (Symbol, String) -> Check
+
+    # @rbs (Symbol, String) -> Check
+    def info: (Symbol, String) -> Check
+
+    # @rbs (Symbol, String) -> Check
+    def warn_check: (Symbol, String) -> Check
+
+    # @rbs (Symbol, String) -> Check
+    def fail_check: (Symbol, String) -> Check
+
+    # @rbs (Symbol, String) -> Check
+    def skip: (Symbol, String) -> Check
+  end
+end

data/sig/generated/lib/solid_objects/errors.rbs

@@ -40,7 +40,24 @@ module SolidObjects
   class ActorDestroyed < LostActivation
   end
 
-  class AskTimeout < Error
+  class SyncTimeout < Error
+  end
+
+  class Rejected < Error
+    @code: String
+
+    @details: Hash[String, untyped]
+
+    @message_id: Integer?
+
+    attr_reader code: untyped
+
+    attr_reader details: untyped
+
+    attr_reader message_id: untyped
+
+    # @rbs (code: String | Symbol, message: String, ?details: Hash[String | Symbol, untyped], ?message_id: Integer?) -> void
+    def initialize: (code: String | Symbol, message: String, ?details: Hash[String | Symbol, untyped], ?message_id: Integer?) -> void
   end
 
   class MessageFailed < Error

data/sig/generated/lib/solid_objects/executor.rbs

@@ -45,6 +45,9 @@ module SolidObjects
     # @rbs (Exception) -> void
     def fail_message: (Exception) -> void
 
+    # @rbs (Rejected) -> void
+    def reject_message: (Rejected) -> void
+
     # @rbs () -> ClaimedMessage
     def matching_claim!: () -> ClaimedMessage
 

data/sig/generated/lib/solid_objects/lease.rbs

@@ -2,35 +2,39 @@
 
 module SolidObjects
   class Lease
-    # @rbs (instance: Instance, owner_id: String, now: Time, ?duration: Numeric, database_adapter: DatabaseAdapter) -> Lease?
-    def self.claim: (instance: Instance, owner_id: String, now: Time, database_adapter: DatabaseAdapter, ?duration: Numeric) -> Lease?
+    # @rbs (instance: Instance, owner_id: String, activation_token: String, now: Time, ?duration: Numeric, database_adapter: DatabaseAdapter) -> Lease?
+    def self.claim: (instance: Instance, owner_id: String, activation_token: String, now: Time, database_adapter: DatabaseAdapter, ?duration: Numeric) -> Lease?
 
-    # @rbs (instance_id: Integer, owner_id: String, ?duration: Numeric, ?database_adapter: DatabaseAdapter) -> Lease?
-    def self.acquire: (instance_id: Integer, owner_id: String, ?duration: Numeric, ?database_adapter: DatabaseAdapter) -> Lease?
+    # @rbs (instance_id: Integer, owner_id: String, ?activation_token: String, ?duration: Numeric, ?database_adapter: DatabaseAdapter) -> Lease?
+    def self.acquire: (instance_id: Integer, owner_id: String, ?activation_token: String, ?duration: Numeric, ?database_adapter: DatabaseAdapter) -> Lease?
 
     # @rbs (Instance, String, Time) -> bool
     private def self.held_by_another_live_owner?: (Instance, String, Time) -> bool
 
-    @instance_id: Integer
+    @database_adapter: DatabaseAdapter
 
-    @owner_id: String
+    @expires_at: Time
 
     @generation: Integer
 
-    @expires_at: Time
+    @activation_token: String
 
-    @database_adapter: DatabaseAdapter
+    @owner_id: String
+
+    @instance_id: Integer
 
     attr_reader instance_id: untyped
 
     attr_reader owner_id: untyped
 
+    attr_reader activation_token: untyped
+
     attr_reader generation: untyped
 
     attr_reader expires_at: untyped
 
-    # @rbs (instance_id: Integer, owner_id: String, generation: Integer, expires_at: Time, database_adapter: DatabaseAdapter) -> void
-    def initialize: (instance_id: Integer, owner_id: String, generation: Integer, expires_at: Time, database_adapter: DatabaseAdapter) -> void
+    # @rbs (instance_id: Integer, owner_id: String, activation_token: String, generation: Integer, expires_at: Time, database_adapter: DatabaseAdapter) -> void
+    def initialize: (instance_id: Integer, owner_id: String, activation_token: String, generation: Integer, expires_at: Time, database_adapter: DatabaseAdapter) -> void
 
     # @rbs (?duration: Numeric) -> Lease
     def renew: (?duration: Numeric) -> Lease

data/sig/generated/lib/solid_objects/reference.rbs

@@ -13,11 +13,11 @@ module SolidObjects
     # @rbs (actor_type: String, actor_id: String) -> void
     def initialize: (actor_type: String, actor_id: String) -> void
 
-    # @rbs (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> (MessageReference | Actor::OutboundMessageIntent)
-    def tell: (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> (MessageReference | Actor::OutboundMessageIntent)
+    # @rbs (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> MessageReference?
+    def async: (Symbol | String, ?available_at: Time?, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> MessageReference?
 
     # @rbs (Symbol | String, ?timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> untyped
-    def ask: (Symbol | String, ?timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> untyped
+    def sync: (Symbol | String, ?timeout: Numeric, ?idempotency_key: String?, ?authorization_context: untyped, **untyped) -> untyped
 
     # @rbs (?authorization_context: untyped) -> bool
     def destroy: (?authorization_context: untyped) -> bool

data/sig/generated/lib/solid_objects/synchronous_invocation.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/solid_objects/synchronous_invocation.rb with RBS::Inline
+
+module SolidObjects
+  class SynchronousInvocation
+    # @rbs (MessageReference, timeout: Numeric) -> untyped
+    def call: (MessageReference, timeout: Numeric) -> untyped
+
+    private
+
+    # @rbs (MessageReference) -> Message
+    def load_message: (MessageReference) -> Message
+
+    # @rbs (Message) -> untyped
+    def completed_result: (Message) -> untyped
+
+    # @rbs (Message) -> bot
+    def raise_rejection: (Message) -> bot
+
+    # @rbs (Message, deadline: Float) -> Integer
+    def assist: (Message, deadline: Float) -> Integer
+
+    # @rbs (Numeric) -> void
+    def wait: (Numeric) -> void
+
+    # @rbs () -> Float
+    def monotonic_now: () -> Float
+  end
+end

data/sig/generated/lib/solid_objects.rbs

@@ -21,6 +21,9 @@ module SolidObjects
   # @rbs () -> Client
   def self.client: () -> Client
 
+  # @rbs () -> CallerProcess
+  def self.caller_process: () -> CallerProcess
+
   # @rbs () -> DeadLetterManager
   def self.dead_letters: () -> DeadLetterManager
 

data/sig/generated/models/solid_objects/message.rbs

@@ -11,6 +11,9 @@ module SolidObjects
     # @rbs () -> bool
     def completed?: () -> bool
 
+    # @rbs () -> bool
+    def rejected?: () -> bool
+
     # @rbs () -> bool
     def dead?: () -> bool