SubsumableLock

rescala.fullmv.sgt.synchronization.SubsumableLock

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

protected def dumped(): Unit
def tryLock0(hopCount: Int): Future[TryLockResult0]
def trySubsume0(hopCount: Int, lockedNewParent: SubsumableLock): Future[TrySubsumeResult0]

Concrete methods

override def asyncRemoteRefDropped(): Unit

Attributes

Definition Classes
def asyncUnlock(): Unit
final def localAddRefs(refs: Int): Unit
def localSubRefs(refs: Int): Unit
final def tryLocalAddRefs(refs: Int): Boolean
final def tryLock0NoTail(hopCount: Int): Future[TryLockResult0]
def trySubsume0NoTail(hopCount: Int, lockedNewParent: SubsumableLock): Future[TrySubsumeResult0]

Inherited methods

override def hashCode(): Int

Calculate a hash code value for the object.

Calculate a hash code value for the object.

The default hashing algorithm is platform dependent.

Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.

Attributes

Returns

the hash code value for this object.

Definition Classes
Hosted -> Any
Inherited from:
Hosted

Attributes

Inherited from:
SubsumableLockProxy

Attributes

Inherited from:
SubsumableLockProxy

Attributes

Inherited from:
SubsumableLockProxy

Attributes

Inherited from:
SubsumableLockProxy

Attributes

Inherited from:
SubsumableLockProxy

Attributes

Inherited from:
Hosted

Abstract fields

override val host: SubsumableLockHost

Concrete fields

val refCount: AtomicInteger

Inherited fields

val guid: GUID

Attributes

Inherited from:
Hosted
val hc: Int

Attributes

Inherited from:
Hosted