object
MoveSemantics
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
val
failIfExists: Prism[MoveSemantics, Unit]
-
val
failIfMissing: Prism[MoveSemantics, Unit]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
overwrite: Prism[MoveSemantics, Unit]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
NB: Certain write operations' consistency is affected by faithful support of these semantics, thus their consistency/atomicity is as good as the support of these semantics by the interpreter.
Currently, this allows us to implement all the write scenarios in terms of append and move, however if this proves too difficult to support by backends, we may want to relax the move semantics and instead add additional primitive operations for the conditional write operations.