factbase 0.7.2 → 0.7.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e04b831fdaead7a6a84de7055d9d9bb47f052f6d0c00cb16d081d0074724cea3
-  data.tar.gz: e21055583e34664893d25fdfc9e928fed079dd014dc91cd1a2e0832d36301161
+  metadata.gz: 1d14f3343341431bb4e9828abfc7f2c0bdda83d2c484cf6df1dbbc49b9b442ca
+  data.tar.gz: 48e762c8d0c94102c8e757469c177698db655714128ae315d53696421fecce04
 SHA512:
-  metadata.gz: c62a1fbc9f14bab4a66056a59e911c72b47dbc368deb29cc6e07d010b4f3c5c57d3ee9f881cc2c1292d1771202bd9da9c7a1fdfde3da79134848c14195d2f9d2
-  data.tar.gz: 657cba190035d6937a37da2446600b071c72b0f84dd468a89e1c429258c6e30ddd51bc0f086ea701afd3a8120fc857902f37a0af6e3dda36abf2b1a99ca03798
+  metadata.gz: 584de94a190d5a07693d788f9d36db7899b6535e353315d41a864184384f62825a0b6c0885a23a9f7332621bb96891362fdc090f2f6e11dac7663af9b5c35fef
+  data.tar.gz: 78b784ccb6d2800dd3aa3711dd74cd43ec801a8343f87b695d47d6d9ae195d78e9350c57900dac388304da2a91f17b0b2bbf16ba8475fb794aea000e22a4c517

data/benchmarks/simple.rb

@@ -84,7 +84,7 @@ def txn(fb, scenario, &block)
   {
     title: "txn: `#{scenario}`",
     time: time.real,
-    details: "modified #{modified} facts"
+    details: modified.to_s
   }
 end
 

data/lib/factbase/churn.rb

@@ -26,6 +26,10 @@ class Factbase::Churn
     @inserted.zero? && @deleted.zero? && @added.zero?
   end
 
+  def to_i
+    @inserted + @deleted + @added
+  end
+
   def append(ins, del, add)
     @mutex.synchronize do
       @inserted += ins

data/lib/factbase/looged.rb

@@ -50,7 +50,7 @@ class Factbase::Looged
     if rollback
       @loog.debug("Txn ##{id} rolled back in #{start.ago}")
     else
-      @loog.debug("Txn ##{id} #{r.positive? ? 'modified' : 'didn\'t touch'} the factbase in #{start.ago}")
+      @loog.debug("Txn ##{id} touched #{r} in #{start.ago}")
     end
     r
   end

data/lib/factbase/taped.rb

@@ -16,9 +16,9 @@ class Factbase::Taped
 
   def initialize(origin, lookup: {})
     @origin = origin
-    @inserted = []
-    @deleted = []
-    @added = []
+    @inserted = Set.new
+    @deleted = Set.new
+    @added = Set.new
     @lookup = lookup
   end
 
@@ -37,7 +37,7 @@ class Factbase::Taped
     # rubocop:disable Lint/HashCompareByIdentity
     @lookup[map.object_id] = map
     # rubocop:enable Lint/HashCompareByIdentity
-    @inserted.append(map.object_id)
+    @inserted.add(map.object_id)
   end
 
   def each
@@ -54,7 +54,7 @@ class Factbase::Taped
       r = yield m
       if r
         @lookup.delete(m.object_id)
-        @deleted.append(m.object_id)
+        @deleted.add(m.object_id)
       end
       r
     end
@@ -75,7 +75,7 @@ class Factbase::Taped
 
     def []=(key, value)
       @origin[key] = value
-      @added.append(@origin.object_id)
+      @added.add(@origin.object_id)
     end
   end
 
@@ -100,17 +100,16 @@ class Factbase::Taped
     end
 
     def any?(&)
-      p 1
       @origin.any?(&)
     end
 
     def <<(item)
-      @added.append(@oid)
+      @added.add(@oid)
       @origin << (item)
     end
 
     def uniq!
-      @added.append(@oid)
+      @added.add(@oid)
       @origin.uniq!
     end
   end

data/lib/factbase.rb

@@ -64,7 +64,7 @@ require 'yaml'
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.7.2'
+  VERSION = '0.7.3'
 
   # An exception that may be thrown in a transaction, to roll it back.
   class Rollback < StandardError; end
@@ -147,7 +147,7 @@ class Factbase
   # A the end of this script, the factbase will be empty. No facts will
   # inserted and all changes that happened in the block will be rolled back.
   #
-  # @return [Integer] How many facts have been changed (zero if rolled back)
+  # @return [Factbase::Churn] How many facts have been changed (zero if rolled back)
   def txn
     pairs = {}
     lookup = {}
@@ -170,13 +170,14 @@ class Factbase
     rescue Factbase::Rollback
       return 0
     end
-    modified = []
+    require_relative 'factbase/churn'
+    churn = Factbase::Churn.new
     @mutex.synchronize do
       taped.inserted.each do |oid|
         b = taped.find_by_object_id(oid)
         next if b.nil?
         @maps << b
-        modified << oid
+        churn.append(1, 0, 0)
       end
       garbage = []
       taped.added.each do |oid|
@@ -184,15 +185,15 @@ class Factbase
         next if b.nil?
         garbage << pairs[oid]
         @maps << b
-        modified << oid
+        churn.append(0, 0, 1)
       end
       taped.deleted.each do |oid|
         garbage << pairs[oid]
-        modified << oid
+        churn.append(0, 1, 0)
       end
       @maps.delete_if { |m| garbage.include?(m.object_id) }
     end
-    modified.uniq.count
+    churn
   end
 
   # Export it into a chain of bytes.

data/test/factbase/test_churn.rb

@@ -17,6 +17,7 @@ class TestChurn < Minitest::Test
     c = Factbase::Churn.new
     c.append(1, 2, 3)
     assert_equal('1i/2d/3a', c.to_s)
+    assert_equal(6, c.to_i)
   end
 
   def test_checks_for_zero

data/test/factbase/test_looged.rb

@@ -45,7 +45,7 @@ class TestLooged < Minitest::Test
       end
     )
     assert_equal(1, fb.size)
-    assert_includes(log.to_s, 'modified', log)
+    assert_includes(log.to_s, 'touched', log)
   end
 
   def test_with_txn_rollback
@@ -61,16 +61,16 @@ class TestLooged < Minitest::Test
     log = Loog::Buffer.new
     fb = Factbase::Looged.new(Factbase.new, log)
     fb.insert.foo = 1
-    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a }, log)
-    assert_equal(1, fb.txn { |fbt| fbt.query('(always)').each.to_a[0].foo = 42 })
-    assert_includes(log.to_s, 'modified', log)
+    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a }.to_i, log)
+    assert_equal(1, fb.txn { |fbt| fbt.query('(always)').each.to_a[0].foo = 42 }.to_i)
+    assert_includes(log.to_s, 'touched', log)
   end
 
   def test_with_empty_txn
     log = Loog::Buffer.new
     fb = Factbase::Looged.new(Factbase.new, log)
-    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a })
-    assert_includes(log.to_s, 'didn\'t touch', log)
+    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a }.to_i)
+    assert_includes(log.to_s, 'touched', log)
   end
 
   def test_returns_int

data/test/factbase/test_taped.rb

@@ -33,4 +33,14 @@ class TestTaped < Minitest::Test
     assert_equal(1, t.added.size)
     assert_equal(h.object_id, t.added.first)
   end
+
+  def test_tracks_addition_uniquely
+    h = { f: 5 }
+    t = Factbase::Taped.new([h])
+    t.each do |m|
+      m[:bar] = 66
+      m[:foo] = 77
+    end
+    assert_equal(1, t.added.size)
+  end
 end

data/test/test_factbase.rb

@@ -104,11 +104,11 @@ class TestFactbase < Minitest::Test
 
   def test_txn_returns_boolean
     fb = Factbase.new
-    assert_equal(1, fb.txn(&:insert))
-    assert_equal(1, fb.txn { |fbt| fbt.insert.bar = 42 })
-    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a })
-    assert_equal(2, fb.txn { |fbt| fbt.query('(always)').each { |f| f.hello = 33 } })
-    assert_equal(1, fb.txn { |fbt| fbt.query('(always)').each.to_a[0].zzz = 33 })
+    assert_equal(1, fb.txn(&:insert).to_i)
+    assert_equal(1, fb.txn { |fbt| fbt.insert.bar = 42 }.to_i)
+    assert_equal(0, fb.txn { |fbt| fbt.query('(always)').each.to_a }.to_i)
+    assert_equal(2, fb.txn { |fbt| fbt.query('(always)').each { |f| f.hello = 33 } }.to_i)
+    assert_equal(1, fb.txn { |fbt| fbt.query('(always)').each.to_a[0].zzz = 33 }.to_i)
   end
 
   def test_appends_in_txn
@@ -212,15 +212,48 @@ class TestFactbase < Minitest::Test
     assert_equal(1, fb.query('(exists xyz)').each.to_a.size)
   end
 
+  def test_evals_complex_txn
+    fb = Factbase.new
+    n = fb.insert
+    n.foo = 42
+    n.bar = 555
+    fb.txn do |fbt|
+      fbt.insert.foo = 333
+      fbt.insert.bar = 333
+      fbt.query('(eq bar 555)').delete!
+      fbt.insert.bar = 555
+      fbt.query('(eq bar 777)').delete! # nothing to be deleted
+      n1 = fbt.insert
+      n1.bar = 9
+      n1.bar = 99
+    end
+    assert_equal(4, fb.query('(always)').each.to_a.size)
+  end
+
   def test_txn_with_rollback
     fb = Factbase.new
+    n = fb.insert
+    n.bar = 55
     modified =
       fb.txn do |fbt|
         fbt.insert.bar = 33
+        fbt.query('(eq bar 55)').each.to_a.first.boom = 44
         raise Factbase::Rollback
       end
-    assert_equal(0, modified)
-    assert_equal(0, fb.query('(always)').each.to_a.size)
+    assert_equal(0, modified.to_i)
+    assert_equal(1, fb.query('(always)').each.to_a.size)
+    assert_equal(0, fb.query('(exists boom)').each.to_a.size)
+  end
+
+  def test_modifies_existing_fact_in_txn
+    fb = Factbase.new
+    n = fb.insert
+    n.foo = 1
+    fb.txn do |fbt|
+      f = fbt.query('(always)').each.to_a.first
+      f.bar = 2
+    end
+    assert_equal(1, fb.query('(eq foo 1)').each.to_a.size)
   end
 
   def test_simple_concurrent_inserts

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.7.2
+  version: 0.7.3
 platform: ruby
 authors:
 - Yegor Bugayenko