def __init__(self, state, meta=None):
super(Ref, self).__init__(meta)
self._id = refids.next()
self._faults = AtomicInteger(0)
self._tinfo = None
self._maxHistory = 10
self._minHistory = 0
# NOTE SharedLock is also re-entrant.
self._lock = SharedLock(None, False)
self._tvals = TVal(state, 0, time() * 1000)
def __init__(self, state, meta=None):
super(Ref, self).__init__(meta)
self._id = refids.next()
self._faults = AtomicInteger(0)
self._tinfo = None
self._maxHistory = 10
self._minHistory = 0
# NOTE SharedLock is also re-entrant.
self._lock = SharedLock(None, False)
self._tvals = TVal(state, 0, time() * 1000)
class Ref(ARef):
def __init__(self, state, meta=None):
super(Ref, self).__init__(meta)
self._id = refids.next()
self._faults = AtomicInteger(0)
self._tinfo = None
self._maxHistory = 10
self._minHistory = 0
# NOTE SharedLock is also re-entrant.
self._lock = SharedLock(None, False)
self._tvals = TVal(state, 0, time() * 1000)
def _currentVal(self):
"""Returns the current value of the ref. Safe to be called
from outside an active transaction"""
self._lock.acquire_shared()
try:
if self._tvals:
return self._tvals.val
raise IllegalStateException("Accessing unbound ref in currentVal!")
finally:
self._lock.release_shared()
def deref(self):
"""Returns either the in-transaction-value of this ref if
there is an active transaction, or returns the last committed
value of ref"""
transaction = LockingTransaction.get()
if transaction:
return transaction.getRef(self)
return self._currentVal()
def refSet(self, state):
"""Sets the value of this ref to the desired state, regardless
of the current value. Returns the newly set state"""
return LockingTransaction.ensureGet().doSet(self, state)
def alter(self, fn, args):
"Alters the value of this ref, and returns the new state"
current = LockingTransaction.ensureGet().getRef(self)
return self.refSet(fn(*RT.cons(current, args)))
def commute(self, fn, args):
"""Commutes the value of this ref, allowing for it to be
updated by other transactions before the commuting function is
called"""
return LockingTransaction.ensureGet().doCommute(self, fn, args)
def touch(self):
"""Ensures that this ref cannot be given a new
in-transaction-value by any other transactions for the
duration of this transaction"""
LockingTransaction.ensureGet().doEnsure(self)
def isBound(self):
"""Returns whether or not this reference has had at least one
TVal in the history chain set"""
try:
self._lock.acquire_shared()
return self._tvals != None
finally:
self._lock.release_shared()
def trimHistory(self):
"Shortens the tvals history chain to the newest-item only"
try:
self._lock.acquire()
if self._tvals != None:
self._tvals.next = self._tvals
self._tvals.prev = self._tvals
finally:
self._lock.release()
def _historyCount(self):
"Internal history length counter. Read lock must be acquired"
if self._tvals == None:
return 0
count = 1
tval = self._tvals.next
while tval != self._tvals:
count += 1
tval = tval.next
return count
def historyCount(self):
"""Return the length of the tvals history chain. Requires a
traversal and a read lock"""
try:
self._lock.acquire_shared()
return self._historyCount()
finally:
self._lock.release_shared()
def minHistory(self):
"Returns the minimum history length for this ref"
return self._minHistory
def setMinHistory(self, minHistory):
"Sets the minimum history chain length for this reference"
self._minHistory = minHistory
def maxHistory(self):
"Returns the maximum history length for this ref"
return self._maxHistory
def setMaxHistory(self, maxhistory):
"Sets the maximum history chain length for this reference"
self._maxHistory = maxHistory
def __init__(self, v=0):
self._v = v
self._lock = SharedLock()
class Ref(ARef):
def __init__(self, state, meta=None):
super(Ref, self).__init__(meta)
self._id = refids.next()
self._faults = AtomicInteger(0)
self._tinfo = None
self._maxHistory = 10
self._minHistory = 0
# NOTE SharedLock is also re-entrant.
self._lock = SharedLock(None, False)
self._tvals = TVal(state, 0, time() * 1000)
def _currentVal(self):
"""Returns the current value of the ref. Safe to be called
from outside an active transaction"""
self._lock.acquire_shared()
try:
if self._tvals:
return self._tvals.val
raise IllegalStateException("Accessing unbound ref in currentVal!")
finally:
self._lock.release_shared()
def deref(self):
"""Returns either the in-transaction-value of this ref if
there is an active transaction, or returns the last committed
value of ref"""
transaction = LockingTransaction.get()
if transaction:
return transaction.getRef(self)
return self._currentVal()
def refSet(self, state):
"""Sets the value of this ref to the desired state, regardless
of the current value. Returns the newly set state"""
return LockingTransaction.ensureGet().doSet(self, state)
def alter(self, fn, args):
"Alters the value of this ref, and returns the new state"
current = LockingTransaction.ensureGet().getRef(self)
return self.refSet(fn(*RT.cons(current, args)))
def commute(self, fn, args):
"""Commutes the value of this ref, allowing for it to be
updated by other transactions before the commuting function is
called"""
return LockingTransaction.ensureGet().doCommute(self, fn, args)
def touch(self):
"""Ensures that this ref cannot be given a new
in-transaction-value by any other transactions for the
duration of this transaction"""
LockingTransaction.ensureGet().doEnsure(self)
def isBound(self):
"""Returns whether or not this reference has had at least one
TVal in the history chain set"""
try:
self._lock.acquire_shared()
return self._tvals != None
finally:
self._lock.release_shared()
def trimHistory(self):
"Shortens the tvals history chain to the newest-item only"
try:
self._lock.acquire()
if self._tvals != None:
self._tvals.next = self._tvals
self._tvals.prev = self._tvals
finally:
self._lock.release()
def _historyCount(self):
"Internal history length counter. Read lock must be acquired"
if self._tvals == None:
return 0
count = 1
tval = self._tvals.next
while tval != self._tvals:
count += 1
tval = tval.next
return count
def historyCount(self):
"""Return the length of the tvals history chain. Requires a
traversal and a read lock"""
try:
self._lock.acquire_shared()
return self._historyCount()
finally:
self._lock.release_shared()
def minHistory(self):
"Returns the minimum history length for this ref"
return self._minHistory
def setMinHistory(self, minHistory):
"Sets the minimum history chain length for this reference"
self._minHistory = minHistory
def maxHistory(self):
"Returns the maximum history length for this ref"
return self._maxHistory
def setMaxHistory(self, maxhistory):
"Sets the maximum history chain length for this reference"
self._maxHistory = maxHistory
