factbase 0.5.2 → 0.7.0

data/test/factbase/test_to_xml.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'minitest/autorun'
 require 'loog'

data/test/factbase/test_to_yaml.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'minitest/autorun'
 require 'loog'

data/test/test__helper.rb

@@ -1,28 +1,12 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 $stdout.sync = true
 
 require 'simplecov'
+SimpleCov.external_at_exit = true
 SimpleCov.start
 
 require 'simplecov-cobertura'

data/test/test_factbase.rb

@@ -1,24 +1,7 @@
 # frozen_string_literal: true
 
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
 
 require 'minitest/autorun'
 require 'loog'
@@ -119,24 +102,19 @@ class TestFactbase < Minitest::Test
     assert_equal(1, fb.size)
   end
 
-  def test_makes_duplicate
-    fb1 = Factbase.new
-    fb1.insert
-    assert_equal(1, fb1.size)
-    fb2 = fb1.dup
-    fb2.insert
-    assert_equal(1, fb1.size)
-    assert_equal(2, fb2.size)
+  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 })
   end
 
-  def test_txn_returns_boolean
+  def test_appends_in_txn
     fb = Factbase.new
-    assert_kind_of(FalseClass, fb.txn { true })
-    assert_kind_of(TrueClass, fb.txn(&:insert))
-    assert(fb.txn { |fbt| fbt.insert.bar = 42 })
-    refute(fb.txn { |fbt| fbt.query('(always)').each.to_a })
+    fb.insert.foo = 443
     assert(fb.txn { |fbt| fbt.query('(always)').each { |f| f.hello = 33 } })
-    assert(fb.txn { |fbt| fbt.query('(always)').each.to_a[0].zzz = 33 })
   end
 
   def test_run_txn
@@ -157,6 +135,16 @@ class TestFactbase < Minitest::Test
     assert_equal(2, fb.size)
   end
 
+  def test_deals_with_arrays_in_txn
+    fb = Factbase.new
+    f = fb.insert
+    f.foo = 1
+    f.foo = 2
+    fb.txn do |fbt|
+      assert_equal(1, fbt.query('(gt foo 0)').each.to_a.size)
+    end
+  end
+
   def test_run_txn_via_query
     fb = Factbase.new
     fb.insert.foo = 1
@@ -226,31 +214,75 @@ class TestFactbase < Minitest::Test
         fbt.insert.bar = 33
         raise Factbase::Rollback
       end
-    refute(modified)
+    assert_equal(0, modified)
     assert_equal(0, fb.query('(always)').each.to_a.size)
   end
 
+  def test_simple_concurrent_inserts
+    fb = Factbase.new
+    t = Concurrent.processor_count * 20
+    Threads.new(t).assert do
+      fb.insert
+    end
+    assert_equal(t, fb.size)
+  end
+
+  def test_simple_concurrent_inserts_in_txns
+    fb = Factbase.new
+    t = Concurrent.processor_count * 7
+    mul = 23
+    Threads.new(t).assert do
+      assert(
+        fb.txn do |fbt|
+          mul.times do |m|
+            fbt.insert.foo = m
+          end
+        end
+      )
+    end
+    assert_equal(t * mul, fb.size)
+  end
+
+  def test_simple_concurrent_inserts_in_txns_with_sleep
+    fb = Factbase.new
+    t = Concurrent.processor_count * 13
+    mul = 53
+    Threads.new(t).assert do
+      assert(
+        fb.txn do |fbt|
+          sleep(0.01)
+          mul.times do |m|
+            fbt.insert.foo = m
+          end
+        end
+      )
+    end
+    assert_equal(t * mul, fb.size)
+  end
+
   def test_concurrent_inserts
     fb = Factbase.new
-    Threads.new(100).assert do
+    t = Concurrent.processor_count * 20
+    Threads.new(t).assert do
       fact = fb.insert
       fact.foo = 42
       fact.bar = 49
       fact.value = fact.foo * fact.bar
     end
-    assert_equal(100, fb.size)
-    assert_equal(100, fb.query('(eq foo 42)').each.to_a.size)
-    assert_equal(100, fb.query('(eq bar 49)').each.to_a.size)
-    assert_equal(100, fb.query("(eq value #{42 * 49})").each.to_a.size)
+    assert_equal(t, fb.size)
+    assert_equal(t, fb.query('(eq foo 42)').each.to_a.size)
+    assert_equal(t, fb.query('(eq bar 49)').each.to_a.size)
+    assert_equal(t, fb.query("(eq value #{42 * 49})").each.to_a.size)
   end
 
   def test_different_values_when_concurrent_inserts
     fb = Factbase.new
-    Threads.new(100).assert do |i|
+    t = Concurrent.processor_count * 16
+    Threads.new(t).assert do |i|
       fb.insert.foo = i
     end
-    assert_equal(100, fb.size)
-    Threads.new(100) do |i|
+    assert_equal(t, fb.size)
+    Threads.new(t) do |i|
       f = fb.query("(eq foo #{i})").each.to_a
       assert_equal(1, f.count)
       assert_equal(i, f.first.foo)
@@ -294,16 +326,16 @@ class TestFactbase < Minitest::Test
   # See details here https://github.com/yegor256/factbase/actions/runs/10492255419/job/29068637032
   def test_concurrent_transactions_inserts
     skip('Does not work')
-    total = 100
+    t = Concurrent.processor_count * 19
     fb = Factbase.new
-    Threads.new(total).assert do |i|
+    Threads.new(t).assert do |i|
       fb.txn do |fbt|
         fact = fbt.insert
         fact.thread_id = i
       end
     end
-    assert_equal(total, fb.size)
-    assert_equal(total, fb.query('(exists thread_id)').each.to_a.size)
+    assert_equal(t, fb.size)
+    assert_equal(t, fb.query('(exists thread_id)').each.to_a.size)
   end
 
   def test_concurrent_transactions_with_rollbacks
@@ -320,8 +352,8 @@ class TestFactbase < Minitest::Test
 
   def test_concurrent_transactions_successful
     fb = Factbase.new
-    total = 100
-    Threads.new(total).assert do |i|
+    t = Concurrent.processor_count * 17
+    Threads.new(t).assert do |i|
       fb.txn do |fbt|
         fact = fbt.insert
         fact.thread_id = i
@@ -329,7 +361,7 @@ class TestFactbase < Minitest::Test
       end
     end
     facts = fb.query('(exists thread_id)').each.to_a
-    assert_equal(total, facts.size)
+    assert_equal(t, facts.size)
     facts.each do |fact|
       assert_equal(fact.value, fact.thread_id * 10)
     end
@@ -358,7 +390,6 @@ class TestFactbase < Minitest::Test
     Threads.new(2).assert do
       results = fb.query('(exists thread_id)').each.to_a
       assert_equal(2, results.size)
-
       thread_ids = results.map(&:thread_id)
       assert_equal((0..1).to_a, thread_ids.sort)
     end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.5.2
+  version: 0.7.0
 platform: ruby
 authors:
 - Yegor Bugayenko
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2025-01-28 00:00:00.000000000 Z
+date: 2025-02-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: backtrace
@@ -143,6 +143,7 @@ files:
 - ".github/workflows/markdown-lint.yml"
 - ".github/workflows/pdd.yml"
 - ".github/workflows/rake.yml"
+- ".github/workflows/reuse.yml"
 - ".github/workflows/xcop.yml"
 - ".github/workflows/yamllint.yml"
 - ".gitignore"
@@ -150,25 +151,30 @@ files:
 - ".rubocop.yml"
 - ".rultor.yml"
 - ".simplecov"
-- ".yamllint.yml"
 - Gemfile
 - Gemfile.lock
 - LICENSE.txt
+- LICENSES/MIT.txt
 - README.md
+- REUSE.toml
 - Rakefile
 - benchmarks/simple.rb
 - factbase.gemspec
 - lib/factbase.rb
 - lib/factbase/accum.rb
+- lib/factbase/churn.rb
 - lib/factbase/fact.rb
 - lib/factbase/flatten.rb
 - lib/factbase/inv.rb
+- lib/factbase/light.rb
 - lib/factbase/looged.rb
 - lib/factbase/pre.rb
 - lib/factbase/query.rb
 - lib/factbase/query_once.rb
 - lib/factbase/rules.rb
 - lib/factbase/syntax.rb
+- lib/factbase/tallied.rb
+- lib/factbase/taped.rb
 - lib/factbase/tee.rb
 - lib/factbase/term.rb
 - lib/factbase/term_once.rb
@@ -199,6 +205,7 @@ files:
 - test/factbase/terms/test_strings.rb
 - test/factbase/terms/test_system.rb
 - test/factbase/test_accum.rb
+- test/factbase/test_churn.rb
 - test/factbase/test_fact.rb
 - test/factbase/test_flatten.rb
 - test/factbase/test_inv.rb
@@ -207,6 +214,8 @@ files:
 - test/factbase/test_query.rb
 - test/factbase/test_rules.rb
 - test/factbase/test_syntax.rb
+- test/factbase/test_tallied.rb
+- test/factbase/test_taped.rb
 - test/factbase/test_tee.rb
 - test/factbase/test_term.rb
 - test/factbase/test_to_json.rb

data/.yamllint.yml

@@ -1,29 +0,0 @@
-# Copyright (c) 2024-2025 Yegor Bugayenko
-#
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the 'Software'), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-#
-# The above copyright notice and this permission notice shall be included in all
-# copies or substantial portions of the Software.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-# SOFTWARE.
----
-extends: default
-rules:
-  line-length: disable
-  brackets:
-    min-spaces-inside: 0
-    max-spaces-inside: 2
-  truthy:
-    level: warning
-    allowed-values: [ 'on', 'true', 'false', 'yes', 'no' ]