甚至可以编写加强的方面来确保读操作的控制流中不会调用对同一对象的写操作!

• You could even write enforcement aspects to ensure that a write operation on the same object would not be invoked while in the control-flow of a read operation!