即使使用线程安全实现,如何修复异步Java代码失败?

时间:2019-05-01 17:40:09

标签: java concurrency thread-safety

我正在开发实现类似于此的代码库。我们遇到的问题是,当count的值增加时,其中一个线程无法与其他线程同步,从而陷入无限循环。

问题似乎来自于后增量运算符的非原子行为。

您可以找到代码Repl here注意:您可能需要运行该代码至少3次才能观察它。

我需要支持,以线程安全的方式实现尽可能多的线程增加计数。

class Main {

    static volatile Integer count = new Integer(0); //boxed integer is intentional to demonstrate mutable instance

    static final void Log(Object o) {
        System.out.println(o);
    }

    static synchronized void increaseCount(){
        count++;
    }

    static synchronized Integer getCount(){
        return count;
    }

    public static void main(String[] arg) throws InterruptedException {

        new Thread(() -> {
            while (getCount() != 60) {
                increaseCount();
                Log(count +" thread A");
            }
        }).start();

        new Thread(() -> {
            while (getCount() != 20) {
                increaseCount();
                Log(count +" thread B");
            }
        }).start();

        new Thread(() -> {
            while (getCount() != 50) {
                increaseCount();
                Log(count+" thread C");
            }
        }).start();
    }
}

1 个答案:

答案 0 :(得分:0)

如果许多线程正在递增共享计数器,则不能保证哪个线程将看到该计数器的特定值。为了确保特定线程看到特定值,该线程必须查看计数器的每个值。然后,您最好也只有一个线程,因为它们彼此都在同步进行。

如果您想为计数器的每个值做一些工作,并对特定值进行特殊处理,您想并行化该工作负载,则每个线程都需要准备执行特殊处理。这是您如何执行此操作的示例:

class Main {

    private static class Worker implements Runnable {

        private final AtomicInteger counter;
        private final Set<Integer> triggers;

        Worker(AtomicInteger counter, Set<Integer> triggers) {
            this.counter = counter;
            this.triggers = triggers;
        }

        public void run() {
            String name = Thread.currentThread().getName();
            while (!triggers.isEmpty()) {
                int value = counter.getAndIncrement();
                try { /* Simulate actually doing some work by sleeping a bit. */
                    long delay = (long) (-100 * Math.log(1 - ThreadLocalRandom.current().nextDouble()));
                    TimeUnit.MILLISECONDS.sleep(delay);
                } catch (InterruptedException ex) {
                    break;
                }
                boolean triggered = triggers.remove(value);
                if (triggered) {
                    System.out.println(name + " handled " + value);
                } else {
                    System.out.println(name + " skipped " + value);
                }
            }
        }
    }

    public static void main(String[] arg) throws InterruptedException {
        AtomicInteger counter = new AtomicInteger();
        Set<Integer> triggers = new ConcurrentSkipListSet<>();
        triggers.add(60);
        triggers.add(20);
        triggers.add(50);
        int concurrency = 4;
        ExecutorService workers = Executors.newFixedThreadPool(concurrency);
        for (int i = 0; i < concurrency; ++i) {
            workers.execute(new Worker(counter, triggers));
        }
        workers.shutdown();
    }

}

可以调整工作线程的数量,这样就可以根据计算机上的内核数量和实际的工作量(任务对CPU或I / O的密集程度)来确定。

在这种方法中,计数器的每个值仅由一个线程处理,并且哪个线程获得“前哨”值并不重要。但是,在处理完所有标记值后,所有线程都将关闭。线程通过counter以及它们需要处理的一组“触发器”或哨兵值相互协调。