farce 0.0.1.alpha2-x86-linux-gnu

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (423) hide show
  1. checksums.yaml +7 -0
  2. data/CODE_OF_CONDUCT.md +26 -0
  3. data/CONTRIBUTING.md +71 -0
  4. data/MIT-LICENSE +20 -0
  5. data/README.md +1524 -0
  6. data/SECURITY.md +10 -0
  7. data/docs/benchmarks.md +185 -0
  8. data/docs/gems/dry-types.md +290 -0
  9. data/docs/gems/msgpack.md +70 -0
  10. data/docs/gems/ractor-shim.md +63 -0
  11. data/docs/modes.md +628 -0
  12. data/docs/scopes.md +649 -0
  13. data/docs/variants.md +346 -0
  14. data/ext/ext_helper.rb +20 -0
  15. data/ext/farce/README.md +21 -0
  16. data/ext/farce/atom.c +1023 -0
  17. data/ext/farce/bounded_map.c +1683 -0
  18. data/ext/farce/containers.h +77 -0
  19. data/ext/farce/counter.c +399 -0
  20. data/ext/farce/darwin.c +100 -0
  21. data/ext/farce/depend +12 -0
  22. data/ext/farce/dict.c +1523 -0
  23. data/ext/farce/dict.h +152 -0
  24. data/ext/farce/drivers.c +237 -0
  25. data/ext/farce/exchanger.c +299 -0
  26. data/ext/farce/extconf.rb +99 -0
  27. data/ext/farce/farce.c +359 -0
  28. data/ext/farce/flag.c +288 -0
  29. data/ext/farce/io.c +338 -0
  30. data/ext/farce/lock.c +510 -0
  31. data/ext/farce/map.c +2240 -0
  32. data/ext/farce/priority_queue.c +2056 -0
  33. data/ext/farce/queue.c +1059 -0
  34. data/ext/farce/reactor.c +820 -0
  35. data/ext/farce/reactor.h +103 -0
  36. data/ext/farce/shareable.h +31 -0
  37. data/ext/farce/signal.c +350 -0
  38. data/ext/farce/transaction.c +354 -0
  39. data/ext/farce/transaction.h +40 -0
  40. data/ext/farce/tree_map.c +1953 -0
  41. data/ext/farce/trie.c +2020 -0
  42. data/ext/farce/unshareable.c +155 -0
  43. data/ext/farce/unshared_io_pool.h +234 -0
  44. data/ext/farce/unshared_signal.c +263 -0
  45. data/ext/farce/unshared_wait.h +193 -0
  46. data/ext/farce/unsupported.c +6 -0
  47. data/ext/farce/vector.c +1195 -0
  48. data/ext/farce/weak_map.c +1714 -0
  49. data/ext/java/org/farce/BoundedMap.java +394 -0
  50. data/ext/java/org/farce/FiberScheduler.java +141 -0
  51. data/ext/java/org/farce/PriorityKey.java +45 -0
  52. data/ext/java/org/farce/PriorityQueue.java +373 -0
  53. data/ext/java/org/farce/QueueSignal.java +28 -0
  54. data/ext/rebind/README.md +14 -0
  55. data/ext/rebind/extconf.rb +10 -0
  56. data/ext/rebind/rebind.c +186 -0
  57. data/lib/farce/_yard/internal.rb +13 -0
  58. data/lib/farce/_yard/macros.rb +61 -0
  59. data/lib/farce/_yard/ractor.rb +46 -0
  60. data/lib/farce/abstract/atom.rb +186 -0
  61. data/lib/farce/abstract/bounded_map.rb +232 -0
  62. data/lib/farce/abstract/collection.rb +151 -0
  63. data/lib/farce/abstract/concurrent_map.rb +381 -0
  64. data/lib/farce/abstract/counter.rb +193 -0
  65. data/lib/farce/abstract/duplicable_map.rb +229 -0
  66. data/lib/farce/abstract/exchanger.rb +26 -0
  67. data/lib/farce/abstract/flag.rb +71 -0
  68. data/lib/farce/abstract/lazy.rb +115 -0
  69. data/lib/farce/abstract/lease.rb +104 -0
  70. data/lib/farce/abstract/lease_map.rb +261 -0
  71. data/lib/farce/abstract/lease_pool.rb +91 -0
  72. data/lib/farce/abstract/lfu_map.rb +20 -0
  73. data/lib/farce/abstract/lru_map.rb +25 -0
  74. data/lib/farce/abstract/map.rb +345 -0
  75. data/lib/farce/abstract/molecule.rb +245 -0
  76. data/lib/farce/abstract/port.rb +74 -0
  77. data/lib/farce/abstract/priority_queue.rb +117 -0
  78. data/lib/farce/abstract/queue.rb +269 -0
  79. data/lib/farce/abstract/scheduler.rb +111 -0
  80. data/lib/farce/abstract/set.rb +910 -0
  81. data/lib/farce/abstract/sorted_set.rb +172 -0
  82. data/lib/farce/abstract/timer_queue.rb +136 -0
  83. data/lib/farce/abstract/tree_map.rb +269 -0
  84. data/lib/farce/abstract/value.rb +68 -0
  85. data/lib/farce/abstract/vector.rb +1126 -0
  86. data/lib/farce/abstract/weak_atom.rb +32 -0
  87. data/lib/farce/abstract/weak_key_map.rb +12 -0
  88. data/lib/farce/abstract/weak_map.rb +13 -0
  89. data/lib/farce/abstract/weak_set.rb +12 -0
  90. data/lib/farce/abstract/weak_value_map.rb +12 -0
  91. data/lib/farce/abstract.rb +17 -0
  92. data/lib/farce/atom.rb +293 -0
  93. data/lib/farce/class_mirror.rb +87 -0
  94. data/lib/farce/clock.rb +121 -0
  95. data/lib/farce/config.rb +229 -0
  96. data/lib/farce/counter.rb +71 -0
  97. data/lib/farce/deduper.rb +122 -0
  98. data/lib/farce/engine/jruby/bounded_map.rb +314 -0
  99. data/lib/farce/engine/jruby/fiber_scheduler.jar +0 -0
  100. data/lib/farce/engine/jruby/fiber_scheduler.rb +119 -0
  101. data/lib/farce/engine/jruby/lease_waiting.rb +19 -0
  102. data/lib/farce/engine/jruby/map.rb +505 -0
  103. data/lib/farce/engine/jruby/mutable_numeric_copy.rb +42 -0
  104. data/lib/farce/engine/jruby/signal.rb +147 -0
  105. data/lib/farce/engine/jruby.rb +63 -0
  106. data/lib/farce/engine/jvm/concurrent_weak_registry.rb +55 -0
  107. data/lib/farce/engine/jvm/counter.rb +102 -0
  108. data/lib/farce/engine/jvm/extension.rb +32 -0
  109. data/lib/farce/engine/jvm/farce.jar +0 -0
  110. data/lib/farce/engine/jvm/flag.rb +79 -0
  111. data/lib/farce/engine/jvm/priority_queue.rb +217 -0
  112. data/lib/farce/engine/jvm/tree_map.rb +350 -0
  113. data/lib/farce/engine/jvm/types.rb +180 -0
  114. data/lib/farce/engine/jvm.rb +19 -0
  115. data/lib/farce/engine/ruby/3.4/farce.so +0 -0
  116. data/lib/farce/engine/ruby/3.4/fiber_scheduler.rb +20 -0
  117. data/lib/farce/engine/ruby/3.4/port.rb +186 -0
  118. data/lib/farce/engine/ruby/3.4/ractor_methods.rb +26 -0
  119. data/lib/farce/engine/ruby/3.4/ractor_selector.rb +92 -0
  120. data/lib/farce/engine/ruby/3.4/rebind.so +0 -0
  121. data/lib/farce/engine/ruby/3.4/vault.rb +56 -0
  122. data/lib/farce/engine/ruby/4.0/farce.so +0 -0
  123. data/lib/farce/engine/ruby/4.0/port.rb +19 -0
  124. data/lib/farce/engine/ruby/4.0/ractor_methods.rb +20 -0
  125. data/lib/farce/engine/ruby/4.0/ractor_selector.rb +108 -0
  126. data/lib/farce/engine/ruby/4.0/rebind.so +0 -0
  127. data/lib/farce/engine/ruby/4.0/vault.rb +74 -0
  128. data/lib/farce/engine/ruby/4.1/port.rb +21 -0
  129. data/lib/farce/engine/ruby/4.1/ractor_methods.rb +22 -0
  130. data/lib/farce/engine/ruby/4.1/ractor_selector.rb +25 -0
  131. data/lib/farce/engine/ruby/4.1/vault.rb +5 -0
  132. data/lib/farce/engine/ruby/fiber_scheduler.rb +32 -0
  133. data/lib/farce/engine/ruby/key_lock_map.rb +28 -0
  134. data/lib/farce/engine/ruby/shared/lease.rb +26 -0
  135. data/lib/farce/engine/ruby/shared/lease_pool.rb +24 -0
  136. data/lib/farce/engine/ruby/shared/main_scheduler.rb +9 -0
  137. data/lib/farce/engine/ruby/shared/parallel_scheduler.rb +9 -0
  138. data/lib/farce/engine/ruby/shared/proxy_owner.rb +31 -0
  139. data/lib/farce/engine/ruby/shared/ractor_methods.rb +34 -0
  140. data/lib/farce/engine/ruby/shared/ractor_selector.rb +328 -0
  141. data/lib/farce/engine/ruby/shared/strict_map.rb +13 -0
  142. data/lib/farce/engine/ruby/shared/unshared_vector.rb +14 -0
  143. data/lib/farce/engine/ruby/shared/vault.rb +144 -0
  144. data/lib/farce/engine/ruby/shared/vault_weak_map.rb +336 -0
  145. data/lib/farce/engine/ruby/shared/weak_atom.rb +54 -0
  146. data/lib/farce/engine/ruby/shared/weak_map.rb +413 -0
  147. data/lib/farce/engine/ruby.rb +130 -0
  148. data/lib/farce/engine/shared/atom.rb +10 -0
  149. data/lib/farce/engine/shared/exchanger.rb +130 -0
  150. data/lib/farce/engine/shared/identity_key.rb +22 -0
  151. data/lib/farce/engine/shared/lease.rb +10 -0
  152. data/lib/farce/engine/shared/lease_pool.rb +10 -0
  153. data/lib/farce/engine/shared/main_scheduler.rb +20 -0
  154. data/lib/farce/engine/shared/map_key_coordination.rb +226 -0
  155. data/lib/farce/engine/shared/parallel_scheduler.rb +9 -0
  156. data/lib/farce/engine/shared/port.rb +44 -0
  157. data/lib/farce/engine/shared/portable_bounded_map.rb +619 -0
  158. data/lib/farce/engine/shared/proxy_owner.rb +43 -0
  159. data/lib/farce/engine/shared/queue.rb +233 -0
  160. data/lib/farce/engine/shared/ractor_methods.rb +73 -0
  161. data/lib/farce/engine/shared/rebindable.rb +15 -0
  162. data/lib/farce/engine/shared/strict_atom.rb +73 -0
  163. data/lib/farce/engine/shared/strict_map.rb +117 -0
  164. data/lib/farce/engine/shared/strict_queue_values.rb +27 -0
  165. data/lib/farce/engine/shared/strict_tree_map.rb +56 -0
  166. data/lib/farce/engine/shared/transaction_map_backend.rb +20 -0
  167. data/lib/farce/engine/shared/trie.rb +317 -0
  168. data/lib/farce/engine/shared/trie_builder.rb +199 -0
  169. data/lib/farce/engine/shared/unshareable.rb +14 -0
  170. data/lib/farce/engine/shared/unshared_atom.rb +256 -0
  171. data/lib/farce/engine/shared/unshared_priority_queue.rb +9 -0
  172. data/lib/farce/engine/shared/unshared_queue.rb +18 -0
  173. data/lib/farce/engine/shared/unshared_signal.rb +21 -0
  174. data/lib/farce/engine/shared/unshared_vector.rb +377 -0
  175. data/lib/farce/engine/shared/unshared_weak_atom.rb +30 -0
  176. data/lib/farce/engine/shared/unshared_weak_map.rb +445 -0
  177. data/lib/farce/engine/shared/vault.rb +31 -0
  178. data/lib/farce/engine/shared/vector.rb +83 -0
  179. data/lib/farce/engine/shared/weak_atom/base.rb +189 -0
  180. data/lib/farce/engine/shared/weak_atom.rb +20 -0
  181. data/lib/farce/engine/shared/weak_map/cell.rb +99 -0
  182. data/lib/farce/engine/shared/weak_map/index.rb +249 -0
  183. data/lib/farce/engine/shared/weak_map/lock.rb +80 -0
  184. data/lib/farce/engine/shared/weak_map/reference.rb +33 -0
  185. data/lib/farce/engine/shared.rb +63 -0
  186. data/lib/farce/engine/truffleruby/fiber_scheduler.rb +13 -0
  187. data/lib/farce/engine/truffleruby/lock.rb +121 -0
  188. data/lib/farce/engine/truffleruby/map.rb +656 -0
  189. data/lib/farce/engine/truffleruby/native/counter.rb +105 -0
  190. data/lib/farce/engine/truffleruby/native/flag.rb +77 -0
  191. data/lib/farce/engine/truffleruby/native/ordered_array_support.rb +67 -0
  192. data/lib/farce/engine/truffleruby/native/priority_queue.rb +388 -0
  193. data/lib/farce/engine/truffleruby/native/tree_map.rb +51 -0
  194. data/lib/farce/engine/truffleruby/native/unsafe_tree_map.rb +350 -0
  195. data/lib/farce/engine/truffleruby/signal.rb +77 -0
  196. data/lib/farce/engine/truffleruby.rb +148 -0
  197. data/lib/farce/envelope.rb +335 -0
  198. data/lib/farce/error.rb +35 -0
  199. data/lib/farce/exchanger.rb +41 -0
  200. data/lib/farce/flag.rb +27 -0
  201. data/lib/farce/integrations/active_support/blank.rb +68 -0
  202. data/lib/farce/integrations/active_support/clock.rb +17 -0
  203. data/lib/farce/integrations/active_support/duplicable.rb +78 -0
  204. data/lib/farce/integrations/active_support/map.rb +175 -0
  205. data/lib/farce/integrations/active_support/set.rb +60 -0
  206. data/lib/farce/integrations/active_support/value_serialization.rb +17 -0
  207. data/lib/farce/integrations/active_support/vector.rb +231 -0
  208. data/lib/farce/integrations/active_support.rb +9 -0
  209. data/lib/farce/integrations/activesupport.rb +5 -0
  210. data/lib/farce/integrations/bson.rb +108 -0
  211. data/lib/farce/integrations/cbor.rb +51 -0
  212. data/lib/farce/integrations/concurrent.rb +112 -0
  213. data/lib/farce/integrations/dry-types.rb +5 -0
  214. data/lib/farce/integrations/dry_types.rb +694 -0
  215. data/lib/farce/integrations/json.rb +7 -0
  216. data/lib/farce/integrations/msgpack.rb +112 -0
  217. data/lib/farce/integrations/oj.rb +69 -0
  218. data/lib/farce/integrations/psych.rb +191 -0
  219. data/lib/farce/integrations/ractor-sharing.rb +5 -0
  220. data/lib/farce/integrations/ractor-tmvar.rb +5 -0
  221. data/lib/farce/integrations/ractor_sharing.rb +172 -0
  222. data/lib/farce/integrations/ractor_tmvar.rb +64 -0
  223. data/lib/farce/integrations/shared/to_json.rb +42 -0
  224. data/lib/farce/integrations/sorted_set.rb +11 -0
  225. data/lib/farce/integrations/weakref.rb +38 -0
  226. data/lib/farce/integrations/yajl.rb +10 -0
  227. data/lib/farce/integrations.rb +156 -0
  228. data/lib/farce/internal/_frozen_config.rb +11 -0
  229. data/lib/farce/internal/autoloads.rb +47 -0
  230. data/lib/farce/internal/blocking_priority_queue.rb +122 -0
  231. data/lib/farce/internal/converter.rb +106 -0
  232. data/lib/farce/internal/copyable.rb +31 -0
  233. data/lib/farce/internal/delegation.rb +20 -0
  234. data/lib/farce/internal/external_transaction.rb +59 -0
  235. data/lib/farce/internal/fake_ractor.rb +179 -0
  236. data/lib/farce/internal/freeze.rb +118 -0
  237. data/lib/farce/internal/inspect.rb +157 -0
  238. data/lib/farce/internal/key_lock_map.rb +29 -0
  239. data/lib/farce/internal/key_normalizer.rb +289 -0
  240. data/lib/farce/internal/lease_initialization.rb +115 -0
  241. data/lib/farce/internal/lease_map.rb +441 -0
  242. data/lib/farce/internal/lease_pool_state.rb +228 -0
  243. data/lib/farce/internal/lease_state.rb +342 -0
  244. data/lib/farce/internal/lease_waiting.rb +13 -0
  245. data/lib/farce/internal/managed_queue.rb +26 -0
  246. data/lib/farce/internal/map_value_modes.rb +227 -0
  247. data/lib/farce/internal/marshal_support.rb +227 -0
  248. data/lib/farce/internal/mixin.rb +20 -0
  249. data/lib/farce/internal/mutable_ordered_key_lock_map.rb +63 -0
  250. data/lib/farce/internal/noncopyable.rb +17 -0
  251. data/lib/farce/internal/ordered_key_lock_map.rb +69 -0
  252. data/lib/farce/internal/pool_supervisor.rb +41 -0
  253. data/lib/farce/internal/pool_worker.rb +61 -0
  254. data/lib/farce/internal/portable_transaction/reservation_entry.rb +29 -0
  255. data/lib/farce/internal/portable_transaction/strong_map_entry.rb +137 -0
  256. data/lib/farce/internal/portable_transaction/strong_map_size_entry.rb +44 -0
  257. data/lib/farce/internal/portable_transaction/tree_entry.rb +64 -0
  258. data/lib/farce/internal/portable_transaction.rb +164 -0
  259. data/lib/farce/internal/proxy_owner_notifications.rb +29 -0
  260. data/lib/farce/internal/reservation_waiting.rb +24 -0
  261. data/lib/farce/internal/scheduled_task.rb +48 -0
  262. data/lib/farce/internal/scheduler_io.rb +171 -0
  263. data/lib/farce/internal/scheduler_lifecycle.rb +314 -0
  264. data/lib/farce/internal/select_scheduler.rb +235 -0
  265. data/lib/farce/internal/storage.rb +162 -0
  266. data/lib/farce/internal/strict_lease.rb +30 -0
  267. data/lib/farce/internal/strict_lease_map.rb +20 -0
  268. data/lib/farce/internal/strict_lease_pool.rb +29 -0
  269. data/lib/farce/internal/thread_pool.rb +166 -0
  270. data/lib/farce/internal/transaction_conflict.rb +9 -0
  271. data/lib/farce/internal/transaction_freeze_guard.rb +30 -0
  272. data/lib/farce/internal/transaction_map_snapshot.rb +123 -0
  273. data/lib/farce/internal/undefined.rb +22 -0
  274. data/lib/farce/internal/unshared_lease.rb +29 -0
  275. data/lib/farce/internal/unshared_lease_pool.rb +34 -0
  276. data/lib/farce/internal/unshared_queue_waiting.rb +28 -0
  277. data/lib/farce/internal/value_serialization.rb +13 -0
  278. data/lib/farce/internal/weak_map_value_modes.rb +58 -0
  279. data/lib/farce/internal/weak_mode_manager.rb +26 -0
  280. data/lib/farce/internal.rb +129 -0
  281. data/lib/farce/lazy.rb +100 -0
  282. data/lib/farce/lazy_ref.rb +40 -0
  283. data/lib/farce/lease.rb +28 -0
  284. data/lib/farce/lease_map.rb +34 -0
  285. data/lib/farce/lease_pool.rb +29 -0
  286. data/lib/farce/lfu_map.rb +53 -0
  287. data/lib/farce/local/atom.rb +23 -0
  288. data/lib/farce/local/counter.rb +88 -0
  289. data/lib/farce/local/flag.rb +65 -0
  290. data/lib/farce/local/lazy.rb +38 -0
  291. data/lib/farce/local/lazy_ref.rb +36 -0
  292. data/lib/farce/local/lease.rb +77 -0
  293. data/lib/farce/local/lease_map.rb +80 -0
  294. data/lib/farce/local/lease_pool.rb +38 -0
  295. data/lib/farce/local/lfu_map.rb +55 -0
  296. data/lib/farce/local/lru_map.rb +62 -0
  297. data/lib/farce/local/map.rb +47 -0
  298. data/lib/farce/local/molecule.rb +45 -0
  299. data/lib/farce/local/priority_queue.rb +53 -0
  300. data/lib/farce/local/queue.rb +32 -0
  301. data/lib/farce/local/scoped.rb +166 -0
  302. data/lib/farce/local/set.rb +18 -0
  303. data/lib/farce/local/sorted_set.rb +50 -0
  304. data/lib/farce/local/timer_queue.rb +41 -0
  305. data/lib/farce/local/tree_map.rb +47 -0
  306. data/lib/farce/local/vector.rb +30 -0
  307. data/lib/farce/local/weak_atom.rb +23 -0
  308. data/lib/farce/local/weak_key_map.rb +39 -0
  309. data/lib/farce/local/weak_map.rb +39 -0
  310. data/lib/farce/local/weak_set.rb +18 -0
  311. data/lib/farce/local/weak_value_map.rb +39 -0
  312. data/lib/farce/local.rb +35 -0
  313. data/lib/farce/lock.rb +54 -0
  314. data/lib/farce/lru_map.rb +63 -0
  315. data/lib/farce/map.rb +58 -0
  316. data/lib/farce/mode_manager.rb +142 -0
  317. data/lib/farce/molecule.rb +60 -0
  318. data/lib/farce/mutable.rb +171 -0
  319. data/lib/farce/pool.rb +332 -0
  320. data/lib/farce/port.rb +134 -0
  321. data/lib/farce/priority_queue.rb +70 -0
  322. data/lib/farce/proxy/register.rb +101 -0
  323. data/lib/farce/proxy/supervisor.rb +137 -0
  324. data/lib/farce/proxy/wrapper.rb +49 -0
  325. data/lib/farce/proxy.rb +291 -0
  326. data/lib/farce/queue.rb +60 -0
  327. data/lib/farce/ractor.rb +269 -0
  328. data/lib/farce/read_write_lock.rb +256 -0
  329. data/lib/farce/reference.rb +158 -0
  330. data/lib/farce/resolv/dns.rb +42 -0
  331. data/lib/farce/resolv.rb +85 -0
  332. data/lib/farce/scheduler.rb +536 -0
  333. data/lib/farce/set.rb +39 -0
  334. data/lib/farce/shareable.rb +150 -0
  335. data/lib/farce/signal.rb +97 -0
  336. data/lib/farce/sorted_set.rb +36 -0
  337. data/lib/farce/strict/atom.rb +34 -0
  338. data/lib/farce/strict/counter.rb +10 -0
  339. data/lib/farce/strict/exchanger.rb +25 -0
  340. data/lib/farce/strict/flag.rb +10 -0
  341. data/lib/farce/strict/lazy.rb +26 -0
  342. data/lib/farce/strict/lazy_ref.rb +26 -0
  343. data/lib/farce/strict/lease.rb +27 -0
  344. data/lib/farce/strict/lease_map.rb +33 -0
  345. data/lib/farce/strict/lease_pool.rb +28 -0
  346. data/lib/farce/strict/lfu_map.rb +27 -0
  347. data/lib/farce/strict/lru_map.rb +28 -0
  348. data/lib/farce/strict/map.rb +54 -0
  349. data/lib/farce/strict/molecule.rb +16 -0
  350. data/lib/farce/strict/port.rb +40 -0
  351. data/lib/farce/strict/priority_queue.rb +20 -0
  352. data/lib/farce/strict/queue.rb +17 -0
  353. data/lib/farce/strict/set.rb +14 -0
  354. data/lib/farce/strict/sorted_set.rb +19 -0
  355. data/lib/farce/strict/timer_queue.rb +13 -0
  356. data/lib/farce/strict/tree_map.rb +27 -0
  357. data/lib/farce/strict/vector.rb +24 -0
  358. data/lib/farce/strict/weak_atom.rb +31 -0
  359. data/lib/farce/strict/weak_key_map.rb +49 -0
  360. data/lib/farce/strict/weak_map.rb +49 -0
  361. data/lib/farce/strict/weak_set.rb +14 -0
  362. data/lib/farce/strict/weak_value_map.rb +48 -0
  363. data/lib/farce/strict.rb +28 -0
  364. data/lib/farce/system.rb +40 -0
  365. data/lib/farce/thread_scheduler.rb +70 -0
  366. data/lib/farce/timer_queue.rb +66 -0
  367. data/lib/farce/transaction/atom.rb +73 -0
  368. data/lib/farce/transaction/map.rb +25 -0
  369. data/lib/farce/transaction/map_operations.rb +143 -0
  370. data/lib/farce/transaction/molecule.rb +90 -0
  371. data/lib/farce/transaction/mutable.rb +61 -0
  372. data/lib/farce/transaction/set.rb +17 -0
  373. data/lib/farce/transaction/set_operations.rb +48 -0
  374. data/lib/farce/transaction/sorted_set.rb +18 -0
  375. data/lib/farce/transaction/tree_map.rb +78 -0
  376. data/lib/farce/transaction/vector.rb +139 -0
  377. data/lib/farce/transaction/wrapper.rb +202 -0
  378. data/lib/farce/transaction.rb +343 -0
  379. data/lib/farce/tree_map.rb +56 -0
  380. data/lib/farce/unsafe/lfu_map.rb +36 -0
  381. data/lib/farce/unsafe/lru_map.rb +36 -0
  382. data/lib/farce/unsafe/tree_map.rb +21 -0
  383. data/lib/farce/unsafe.rb +29 -0
  384. data/lib/farce/unshareable.rb +67 -0
  385. data/lib/farce/unshared/atom.rb +24 -0
  386. data/lib/farce/unshared/counter.rb +10 -0
  387. data/lib/farce/unshared/flag.rb +10 -0
  388. data/lib/farce/unshared/lazy.rb +38 -0
  389. data/lib/farce/unshared/lazy_ref.rb +26 -0
  390. data/lib/farce/unshared/lease.rb +27 -0
  391. data/lib/farce/unshared/lease_map.rb +26 -0
  392. data/lib/farce/unshared/lease_pool.rb +25 -0
  393. data/lib/farce/unshared/lfu_map.rb +20 -0
  394. data/lib/farce/unshared/lru_map.rb +20 -0
  395. data/lib/farce/unshared/map.rb +49 -0
  396. data/lib/farce/unshared/molecule.rb +16 -0
  397. data/lib/farce/unshared/priority_queue.rb +16 -0
  398. data/lib/farce/unshared/queue.rb +27 -0
  399. data/lib/farce/unshared/set.rb +14 -0
  400. data/lib/farce/unshared/sorted_set.rb +28 -0
  401. data/lib/farce/unshared/timer_queue.rb +16 -0
  402. data/lib/farce/unshared/tree_map.rb +21 -0
  403. data/lib/farce/unshared/vector.rb +19 -0
  404. data/lib/farce/unshared/weak_atom.rb +31 -0
  405. data/lib/farce/unshared/weak_key_map.rb +44 -0
  406. data/lib/farce/unshared/weak_map.rb +44 -0
  407. data/lib/farce/unshared/weak_set.rb +14 -0
  408. data/lib/farce/unshared/weak_value_map.rb +43 -0
  409. data/lib/farce/unshared.rb +28 -0
  410. data/lib/farce/vector.rb +228 -0
  411. data/lib/farce/version.rb +8 -0
  412. data/lib/farce/walker/definitions.rb +186 -0
  413. data/lib/farce/walker/modification.rb +355 -0
  414. data/lib/farce/walker.rb +319 -0
  415. data/lib/farce/weak_atom.rb +121 -0
  416. data/lib/farce/weak_key_map.rb +31 -0
  417. data/lib/farce/weak_map.rb +33 -0
  418. data/lib/farce/weak_ref.rb +67 -0
  419. data/lib/farce/weak_set.rb +82 -0
  420. data/lib/farce/weak_value.rb +195 -0
  421. data/lib/farce/weak_value_map.rb +32 -0
  422. data/lib/farce.rb +519 -0
  423. metadata +468 -0
data/ext/farce/lock.c ADDED
@@ -0,0 +1,510 @@
1
+ #include "containers.h"
2
+ #include "ruby/fiber/scheduler.h"
3
+ #include "ruby/io.h"
4
+
5
+ #include <errno.h>
6
+ #include <fcntl.h>
7
+ #include <unistd.h>
8
+
9
+ static VALUE cLock;
10
+
11
+ typedef struct containers_lock_waiter containers_lock_waiter_t;
12
+
13
+ struct containers_lock_waiter {
14
+ int read_fd;
15
+ int write_fd;
16
+ bool notified;
17
+ containers_lock_waiter_t *next;
18
+ };
19
+
20
+ typedef struct {
21
+ pthread_mutex_t guard;
22
+ VALUE owner;
23
+ VALUE owner_thread;
24
+ containers_lock_waiter_t *waiters;
25
+ containers_lock_waiter_t *last_waiter;
26
+ bool initialized;
27
+ } containers_lock_t;
28
+
29
+ typedef struct {
30
+ containers_lock_t *lock;
31
+ containers_lock_waiter_t waiter;
32
+ bool completed;
33
+ } containers_lock_wait_context_t;
34
+
35
+ typedef struct {
36
+ VALUE self;
37
+ bool acquired;
38
+ } containers_lock_synchronize_context_t;
39
+
40
+ typedef struct {
41
+ VALUE self;
42
+ int argc;
43
+ const VALUE *argv;
44
+ bool released;
45
+ } containers_lock_sleep_context_t;
46
+
47
+ typedef struct {
48
+ VALUE self;
49
+ bool acquired;
50
+ containers_lock_operation_t operation;
51
+ VALUE opaque;
52
+ } containers_lock_call_context_t;
53
+
54
+ static void
55
+ containers_lock_set_fd_flags(int fd)
56
+ {
57
+ #ifdef _WIN32
58
+ (void)fd;
59
+ #else
60
+ int flags = fcntl(fd, F_GETFL, 0);
61
+ if (flags >= 0) (void)fcntl(fd, F_SETFL, flags | O_NONBLOCK);
62
+ flags = fcntl(fd, F_GETFD, 0);
63
+ if (flags >= 0) (void)fcntl(fd, F_SETFD, flags | FD_CLOEXEC);
64
+ #endif
65
+ }
66
+
67
+ /* Called with lock->guard held. Mutex wakeups only need to make one waiter
68
+ * runnable; the selected waiter remains linked until its ensure cleanup. */
69
+ static void
70
+ containers_lock_notify_one_locked(containers_lock_t *lock)
71
+ {
72
+ unsigned char byte = 1;
73
+ for (containers_lock_waiter_t *waiter = lock->waiters; waiter; waiter = waiter->next) {
74
+ if (waiter->notified) continue;
75
+ ssize_t result;
76
+ do {
77
+ result = write(waiter->write_fd, &byte, 1);
78
+ } while (result < 0 && errno == EINTR);
79
+ if (result == 1 || (result < 0 && (errno == EAGAIN || errno == EWOULDBLOCK))) {
80
+ waiter->notified = true;
81
+ return;
82
+ }
83
+ }
84
+ }
85
+
86
+ static void
87
+ containers_lock_mark(void *pointer)
88
+ {
89
+ containers_lock_t *lock = pointer;
90
+ rb_gc_mark_movable(lock->owner);
91
+ rb_gc_mark_movable(lock->owner_thread);
92
+ }
93
+
94
+ static void
95
+ containers_lock_compact(void *pointer)
96
+ {
97
+ containers_lock_t *lock = pointer;
98
+ lock->owner = rb_gc_location(lock->owner);
99
+ lock->owner_thread = rb_gc_location(lock->owner_thread);
100
+ }
101
+
102
+ static void
103
+ containers_lock_free(void *pointer)
104
+ {
105
+ containers_lock_t *lock = pointer;
106
+ pthread_mutex_destroy(&lock->guard);
107
+ ruby_xfree(lock);
108
+ }
109
+
110
+ static size_t
111
+ containers_lock_memsize(const void *pointer)
112
+ {
113
+ return pointer ? sizeof(containers_lock_t) : 0;
114
+ }
115
+
116
+ static const rb_data_type_t containers_lock_type = {
117
+ .wrap_struct_name = "Ractor::Containers::Lock",
118
+ .function = {
119
+ .dmark = containers_lock_mark,
120
+ .dfree = containers_lock_free,
121
+ .dsize = containers_lock_memsize,
122
+ .dcompact = containers_lock_compact,
123
+ },
124
+ .flags = RUBY_TYPED_FROZEN_SHAREABLE,
125
+ };
126
+
127
+ static VALUE
128
+ containers_lock_allocate(VALUE klass)
129
+ {
130
+ containers_lock_t *lock;
131
+ VALUE object = TypedData_Make_Struct(klass, containers_lock_t, &containers_lock_type, lock);
132
+ pthread_mutex_init(&lock->guard, NULL);
133
+ lock->owner = Qnil;
134
+ lock->owner_thread = Qnil;
135
+ lock->waiters = NULL;
136
+ lock->last_waiter = NULL;
137
+ lock->initialized = false;
138
+ return object;
139
+ }
140
+
141
+ static containers_lock_t *
142
+ containers_lock_get(VALUE self)
143
+ {
144
+ containers_lock_t *lock;
145
+ TypedData_Get_Struct(self, containers_lock_t, &containers_lock_type, lock);
146
+ if (!lock->initialized) rb_raise(rb_eRuntimeError, "uninitialized Lock");
147
+ return lock;
148
+ }
149
+
150
+ static void
151
+ containers_lock_validate_references(VALUE self)
152
+ {
153
+ containers_lock_t *lock = containers_lock_get(self);
154
+
155
+ containers_check_shareable(lock->owner);
156
+ containers_check_shareable(lock->owner_thread);
157
+ }
158
+
159
+ static VALUE
160
+ containers_lock_frozen_p(VALUE self)
161
+ {
162
+ (void)self;
163
+ return Qfalse;
164
+ }
165
+
166
+ static VALUE
167
+ containers_lock_freeze(VALUE self)
168
+ {
169
+ containers_raise_unfreezable(self);
170
+ return Qnil;
171
+ }
172
+
173
+ static VALUE
174
+ containers_lock_initialize(VALUE self)
175
+ {
176
+ containers_lock_t *lock;
177
+ TypedData_Get_Struct(self, containers_lock_t, &containers_lock_type, lock);
178
+ if (lock->initialized) rb_raise(rb_eRuntimeError, "Lock is already initialized");
179
+ rb_check_frozen(self);
180
+ lock->initialized = true;
181
+ containers_publish_native_with_references(self, containers_lock_validate_references);
182
+ return self;
183
+ }
184
+
185
+ static VALUE
186
+ containers_lock_initialize_copy(VALUE self, VALUE other)
187
+ {
188
+ if (self == other) return self;
189
+ rb_check_frozen(self);
190
+ containers_lock_t *copy;
191
+ TypedData_Get_Struct(self, containers_lock_t, &containers_lock_type, copy);
192
+ if (copy->initialized) rb_raise(rb_eRuntimeError, "copy is already initialized");
193
+ copy->initialized = true;
194
+ return containers_publish_native_with_references(self, containers_lock_validate_references);
195
+ }
196
+
197
+ static bool
198
+ containers_lock_wait_for_descriptor(int fd)
199
+ {
200
+ return containers_wait_for_readable(fd, Qnil);
201
+ }
202
+
203
+ static VALUE
204
+ containers_lock_wait_body(VALUE opaque)
205
+ {
206
+ containers_lock_wait_context_t *context = (containers_lock_wait_context_t *)opaque;
207
+ bool awakened = containers_lock_wait_for_descriptor(context->waiter.read_fd);
208
+ context->completed = true;
209
+ return awakened ? Qtrue : Qfalse;
210
+ }
211
+
212
+ static VALUE
213
+ containers_lock_wait_cleanup(VALUE opaque)
214
+ {
215
+ containers_lock_wait_context_t *context = (containers_lock_wait_context_t *)opaque;
216
+ containers_lock_waiter_t *previous = NULL;
217
+ containers_lock_waiter_t **link;
218
+
219
+ pthread_mutex_lock(&context->lock->guard);
220
+ for (link = &context->lock->waiters; *link; link = &(*link)->next) {
221
+ if (*link == &context->waiter) {
222
+ *link = context->waiter.next;
223
+ if (context->lock->last_waiter == &context->waiter) {
224
+ context->lock->last_waiter = previous;
225
+ }
226
+ break;
227
+ }
228
+ previous = *link;
229
+ }
230
+ if (!context->completed && context->waiter.notified && NIL_P(context->lock->owner)) {
231
+ containers_lock_notify_one_locked(context->lock);
232
+ }
233
+ pthread_mutex_unlock(&context->lock->guard);
234
+ close(context->waiter.read_fd);
235
+ close(context->waiter.write_fd);
236
+ return Qnil;
237
+ }
238
+
239
+ /* Called with lock->guard held and always returns with it released. */
240
+ static void
241
+ containers_lock_wait_once(containers_lock_t *lock)
242
+ {
243
+ int descriptors[2];
244
+ if (pipe(descriptors) != 0) {
245
+ pthread_mutex_unlock(&lock->guard);
246
+ rb_sys_fail("pipe");
247
+ }
248
+ containers_lock_set_fd_flags(descriptors[0]);
249
+ containers_lock_set_fd_flags(descriptors[1]);
250
+
251
+ containers_lock_wait_context_t context = {
252
+ .lock = lock,
253
+ .waiter = {
254
+ .read_fd = descriptors[0],
255
+ .write_fd = descriptors[1],
256
+ .notified = false,
257
+ .next = NULL,
258
+ },
259
+ .completed = false,
260
+ };
261
+ if (lock->last_waiter) lock->last_waiter->next = &context.waiter;
262
+ else lock->waiters = &context.waiter;
263
+ lock->last_waiter = &context.waiter;
264
+ pthread_mutex_unlock(&lock->guard);
265
+ (void)rb_ensure(
266
+ containers_lock_wait_body,
267
+ (VALUE)&context,
268
+ containers_lock_wait_cleanup,
269
+ (VALUE)&context
270
+ );
271
+ }
272
+
273
+ static void
274
+ containers_lock_acquire(VALUE self)
275
+ {
276
+ containers_lock_t *lock = containers_lock_get(self);
277
+ VALUE current = rb_fiber_current();
278
+ VALUE scheduler = rb_fiber_scheduler_current();
279
+ VALUE current_thread = rb_thread_current();
280
+
281
+ for (;;) {
282
+ pthread_mutex_lock(&lock->guard);
283
+ if (lock->owner == current) {
284
+ pthread_mutex_unlock(&lock->guard);
285
+ rb_raise(rb_eThreadError, "deadlock; recursive locking");
286
+ }
287
+ if (NIL_P(lock->owner)) {
288
+ lock->owner = current;
289
+ lock->owner_thread = current_thread;
290
+ pthread_mutex_unlock(&lock->guard);
291
+ return;
292
+ }
293
+ if (lock->owner_thread == current_thread && NIL_P(scheduler)) {
294
+ pthread_mutex_unlock(&lock->guard);
295
+ rb_raise(
296
+ rb_eThreadError,
297
+ "deadlock; lock already owned by another fiber belonging to the same thread"
298
+ );
299
+ }
300
+ containers_lock_wait_once(lock);
301
+ }
302
+ }
303
+
304
+ static void
305
+ containers_lock_release(VALUE self)
306
+ {
307
+ containers_lock_t *lock = containers_lock_get(self);
308
+ VALUE current = rb_fiber_current();
309
+
310
+ pthread_mutex_lock(&lock->guard);
311
+ if (NIL_P(lock->owner)) {
312
+ pthread_mutex_unlock(&lock->guard);
313
+ rb_raise(rb_eThreadError, "Attempt to unlock a mutex which is not locked");
314
+ }
315
+ if (lock->owner != current) {
316
+ pthread_mutex_unlock(&lock->guard);
317
+ rb_raise(rb_eThreadError, "Attempt to unlock a mutex which is locked by another thread/fiber");
318
+ }
319
+ lock->owner = Qnil;
320
+ lock->owner_thread = Qnil;
321
+ containers_lock_notify_one_locked(lock);
322
+ pthread_mutex_unlock(&lock->guard);
323
+ }
324
+
325
+ static VALUE
326
+ containers_lock_lock(VALUE self)
327
+ {
328
+ containers_lock_acquire(self);
329
+ return self;
330
+ }
331
+
332
+ static VALUE
333
+ containers_lock_try_lock(VALUE self)
334
+ {
335
+ containers_lock_t *lock = containers_lock_get(self);
336
+ VALUE current = rb_fiber_current();
337
+ bool acquired = false;
338
+
339
+ pthread_mutex_lock(&lock->guard);
340
+ if (NIL_P(lock->owner)) {
341
+ lock->owner = current;
342
+ lock->owner_thread = rb_thread_current();
343
+ acquired = true;
344
+ }
345
+ pthread_mutex_unlock(&lock->guard);
346
+ return acquired ? Qtrue : Qfalse;
347
+ }
348
+
349
+ static VALUE
350
+ containers_lock_unlock(VALUE self)
351
+ {
352
+ containers_lock_release(self);
353
+ return self;
354
+ }
355
+
356
+ static VALUE
357
+ containers_lock_locked_p(VALUE self)
358
+ {
359
+ containers_lock_t *lock = containers_lock_get(self);
360
+ bool locked;
361
+ pthread_mutex_lock(&lock->guard);
362
+ locked = !NIL_P(lock->owner);
363
+ pthread_mutex_unlock(&lock->guard);
364
+ return locked ? Qtrue : Qfalse;
365
+ }
366
+
367
+ static VALUE
368
+ containers_lock_owned_p(VALUE self)
369
+ {
370
+ containers_lock_t *lock = containers_lock_get(self);
371
+ VALUE current = rb_fiber_current();
372
+ bool owned;
373
+ pthread_mutex_lock(&lock->guard);
374
+ owned = lock->owner == current;
375
+ pthread_mutex_unlock(&lock->guard);
376
+ return owned ? Qtrue : Qfalse;
377
+ }
378
+
379
+ static VALUE
380
+ containers_lock_synchronize_body(VALUE opaque)
381
+ {
382
+ containers_lock_synchronize_context_t *context =
383
+ (containers_lock_synchronize_context_t *)opaque;
384
+ containers_lock_acquire(context->self);
385
+ context->acquired = true;
386
+ return rb_yield_values(0);
387
+ }
388
+
389
+ static VALUE
390
+ containers_lock_synchronize_cleanup(VALUE opaque)
391
+ {
392
+ containers_lock_synchronize_context_t *context =
393
+ (containers_lock_synchronize_context_t *)opaque;
394
+ if (context->acquired) containers_lock_release(context->self);
395
+ return Qnil;
396
+ }
397
+
398
+ static VALUE
399
+ containers_lock_synchronize(VALUE self)
400
+ {
401
+ if (!rb_block_given_p()) rb_raise(rb_eThreadError, "must be called with a block");
402
+ containers_lock_synchronize_context_t context = {.self = self, .acquired = false};
403
+ return rb_ensure(
404
+ containers_lock_synchronize_body,
405
+ (VALUE)&context,
406
+ containers_lock_synchronize_cleanup,
407
+ (VALUE)&context
408
+ );
409
+ }
410
+
411
+ static VALUE
412
+ containers_lock_call_body(VALUE opaque)
413
+ {
414
+ containers_lock_call_context_t *context =
415
+ (containers_lock_call_context_t *)opaque;
416
+ containers_lock_acquire(context->self);
417
+ context->acquired = true;
418
+ return context->operation(context->opaque);
419
+ }
420
+
421
+ static VALUE
422
+ containers_lock_call_cleanup(VALUE opaque)
423
+ {
424
+ containers_lock_call_context_t *context =
425
+ (containers_lock_call_context_t *)opaque;
426
+ if (context->acquired) containers_lock_release(context->self);
427
+ return Qnil;
428
+ }
429
+
430
+ VALUE
431
+ containers_lock_new(void)
432
+ {
433
+ return rb_class_new_instance(0, NULL, cLock);
434
+ }
435
+
436
+ VALUE
437
+ containers_lock_synchronize_call(
438
+ VALUE lock,
439
+ containers_lock_operation_t operation,
440
+ VALUE opaque
441
+ )
442
+ {
443
+ containers_lock_call_context_t call = {
444
+ .self = lock,
445
+ .acquired = false,
446
+ .operation = operation,
447
+ .opaque = opaque,
448
+ };
449
+
450
+ return rb_ensure(
451
+ containers_lock_call_body,
452
+ (VALUE)&call,
453
+ containers_lock_call_cleanup,
454
+ (VALUE)&call
455
+ );
456
+ }
457
+
458
+ static VALUE
459
+ containers_lock_sleep_body(VALUE opaque)
460
+ {
461
+ containers_lock_sleep_context_t *context = (containers_lock_sleep_context_t *)opaque;
462
+ containers_lock_release(context->self);
463
+ context->released = true;
464
+ (void)rb_funcallv(rb_mKernel, rb_intern("sleep"), context->argc, context->argv);
465
+ return Qnil;
466
+ }
467
+
468
+ static VALUE
469
+ containers_lock_sleep_cleanup(VALUE opaque)
470
+ {
471
+ containers_lock_sleep_context_t *context = (containers_lock_sleep_context_t *)opaque;
472
+ if (context->released) containers_lock_acquire(context->self);
473
+ return Qnil;
474
+ }
475
+
476
+ static VALUE
477
+ containers_lock_sleep(int argc, VALUE *argv, VALUE self)
478
+ {
479
+ rb_check_arity(argc, 0, 1);
480
+ containers_lock_sleep_context_t context = {
481
+ .self = self,
482
+ .argc = argc,
483
+ .argv = argv,
484
+ .released = false,
485
+ };
486
+ return rb_ensure(
487
+ containers_lock_sleep_body,
488
+ (VALUE)&context,
489
+ containers_lock_sleep_cleanup,
490
+ (VALUE)&context
491
+ );
492
+ }
493
+
494
+ void
495
+ containers_init_lock(VALUE namespace)
496
+ {
497
+ cLock = rb_define_class_under(namespace, "Lock", rb_cObject);
498
+ rb_define_alloc_func(cLock, containers_lock_allocate);
499
+ rb_define_method(cLock, "initialize", containers_lock_initialize, 0);
500
+ rb_define_private_method(cLock, "initialize_copy", containers_lock_initialize_copy, 1);
501
+ rb_define_method(cLock, "lock", containers_lock_lock, 0);
502
+ rb_define_method(cLock, "locked?", containers_lock_locked_p, 0);
503
+ rb_define_method(cLock, "owned?", containers_lock_owned_p, 0);
504
+ rb_define_method(cLock, "sleep", containers_lock_sleep, -1);
505
+ rb_define_method(cLock, "synchronize", containers_lock_synchronize, 0);
506
+ rb_define_method(cLock, "try_lock", containers_lock_try_lock, 0);
507
+ rb_define_method(cLock, "unlock", containers_lock_unlock, 0);
508
+ rb_define_method(cLock, "freeze", containers_lock_freeze, 0);
509
+ rb_define_method(cLock, "frozen?", containers_lock_frozen_p, 0);
510
+ }