Ejemplos de SharedObject en Java

Ejemplo n.º 1

Archivo: RaceTest.java Proyecto: NikolaVeber/nikola-dipl

  @Test
  public void testSameObjectOtherField() {
    if (verifyNoPropertyViolation(LISTENER)) {
      final SharedObject o = new SharedObject();

      Runnable r =
          new Runnable() {

            public void run() {
              o.instanceField = 42;
            }
          };

      Thread t = new Thread(r);

      o.whatEver = -42; // different field, no race
    }
  }

Ejemplo n.º 2

Archivo: RaceTest.java Proyecto: NikolaVeber/nikola-dipl

 public void run() {
   o.instanceField = 42; // same insn, different 'o', no race
 }