Annotation Interface Nemesis


@Retention(RUNTIME) @Target({FIELD,METHOD}) public @interface Nemesis
Annotate fields, particularly important volatile fields, where the system should adversarially schedule thread events around memory accesses (read or write). This can introduce significant simulation overhead, so should be used sparingly. TODO: Support @Nemesis on methods, to insert nemesis points either before or after invocations of the method
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static enum 
     
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description