同步可以被视为AOP中的一个方面吗

Question

我知道在 AOP 中，任何横切关注点（例如日志记录、事务等）都可以被视为一个方面，并且大多数 AOP 框架都很好地支持这些类型的横切关注点。

我的问题是，

• 同步可以被视为横切关注点吗？
• 如果是，是否有任何现有的库（包括 AspectJ 和 Spring AOP）支持此功能？

我搜索过但找不到很多例子。我遇到了一些受限制的研究论文（1，2）。

Answer 1

只是理论上的“答案”。 :)

据我了解 AOP，您可以向某些“切入点”/“联合点”添加独立行为/“建议”。但同步的目的是与其管理的代码紧密相关。

我想使用同步的方法是，如果它将作为建议附加，并将其自身提供为“联合点”，其他“方面”将定义一些“建议”。

或者，当您尝试调用一些“联合点”时，您可能会在“建议”中获得某种同步。

Answer 2

理论上，可以有一个 AOP 框架来向一组方法/类添加同步。实施起来并不困难。但这通常不是您想要的。太多的同步与太少的同步一样糟糕，因为您要么遇到死锁，要么对线程进行过多的排序，以至于无法有效地使用多个内核。

恐怕多线程编程没有不费脑子的捷径。

Answer 3

是的，同步可以被视为一个方面。 AOP 背后的想法不是为了处理横切问题吗？然后，可以通过 AOP 处理将同步视为横切问题，而无需定义和使用外部库。

考虑以下有关读写锁定的示例。每当一个对象需要读/写时，您就可以捕获该方法并为并发控制提供足够的功能。

public abstract aspect ReadWriteLockSynchronizationAspect 
    perthis(readOperations() || writeOperations()) {

    public abstract pointcut readOperations();

    public abstract pointcut writeOperations();

    private ReadWriteLock _lock = new SomeReadWriteLock();

    before() : readOperations() {
        _lock.readLock().acquire();
    }

    after() : readOperations() {
        _lock.readLock().release();
    }

    before() : writeOperations() {
        _lock.writeLock().acquire();
    }

    after() : writeOperations() {
        _lock.writeLock().release();
    }
}

perthis 为每个读/写操作创建一个新的方面。否则，只会创建一个方面，并且它的工作方式类似于单例对象。有关更多信息，请查看AspectJ 实际操作。