Как я могу получить блокировку без происшествий? - PullRequest
Новая
       66

Как я могу получить блокировку без происшествий?

1 голос
/ 19 марта 2020

Я хочу заблокировать java без , что происходит до , чтобы проверить другие правила видимости памяти. И я пробовал Unsafe#compareAndswapInteger, AtomicInteger#weakCompareAndSet, они, кажется, все еще гарантируют, что произойдет до правила ?

Вот мой тестовый код: 

    @Test
    public void testUnsafeMutex_case2() throws InterruptedException {
        class A {
            String name;
            A(String name) {this.name = name;}
        }
        class B{A a;}
        UnsafeMutex unsafeMutex = new UnsafeMutex();
        final B b = new B();
        Thread thread = new Thread(() -> {
            unsafeMutex.lock();
            System.out.println(b.a.name); // **I wanna NPE here**
            unsafeMutex.unlock();
        });
        unsafeMutex.lock(); // put it before Thread#start, and by happens-before rule, it should run first
        thread.start();
        b.a = new A("name"); // after Thread#start, to avoid happens-before
        unsafeMutex.unlock();
        thread.join();
    }

    static class UnsafeMutex {

        /**
         * no adding key word volatile for avoiding happens before piggy backing
         */
        private AtomicInteger state = new AtomicInteger(0);

        public void lock() {
            while(!state.weakCompareAndSet(0, 1));
        }

        public void unlock() {
            while(!state.weakCompareAndSet(1, 0));
        }
    }
...