blob: 2e2a55ebe648b07740cd4503de5ba41d12a098de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
# Weak Reference class that does not bother GCing.
#
# Usage:
# foo = Object.new
# foo = Object.new
# p foo.to_s # original's class
# foo = WeakRef.new(foo)
# p foo.to_s # should be same class
# ObjectSpace.garbage_collect
# p foo.to_s # should raise exception (recycled)
require "delegate"
class WeakRef<Delegator
class RefError<StandardError
end
ID_MAP = {} # obj -> [ref,...]
ID_REV_MAP = {} # ref -> obj
@@final = lambda{|id|
__old_status = Thread.critical
Thread.critical = true
begin
rids = ID_MAP[id]
if rids
for rid in rids
ID_REV_MAP.delete(rid)
end
ID_MAP.delete(id)
end
rid = ID_REV_MAP[id]
if rid
ID_REV_MAP.delete(id)
ID_MAP[rid].delete(id)
ID_MAP.delete(rid) if ID_MAP[rid].empty?
end
ensure
Thread.critical = __old_status
end
}
def initialize(orig)
super
@__id = orig.__id__
ObjectSpace.define_finalizer orig, @@final
ObjectSpace.define_finalizer self, @@final
__old_status = Thread.critical
begin
Thread.critical = true
ID_MAP[@__id] = [] unless ID_MAP[@__id]
ensure
Thread.critical = __old_status
end
ID_MAP[@__id].push self.__id__
ID_REV_MAP[self.__id__] = @__id
end
def __getobj__
unless ID_REV_MAP[self.__id__] == @__id
raise RefError, "Illegal Reference - probably recycled", caller(2)
end
begin
ObjectSpace._id2ref(@__id)
rescue RangeError
raise RefError, "Illegal Reference - probably recycled", caller(2)
end
end
def weakref_alive?
ID_REV_MAP[self.__id__] == @__id
end
end
if __FILE__ == $0
require 'thread'
foo = Object.new
p foo.to_s # original's class
foo = WeakRef.new(foo)
p foo.to_s # should be same class
ObjectSpace.garbage_collect
p foo.to_s # should raise exception (recycled)
end
|
