Hard to understand what combination of multiple threads + bytecode manipulation is interesting for you. It looks like you want to make a Proxy over interfaces and throw an exception if some other Thread is trying to make harmful operation, or so.
You know the core much better than me; Is it possible to create object model in main Thread in maven-core, and the execution of parallel modules done in new Threads, but access to the model would be controlled by a center point (service) and guardian lock ReentrantReadWriteLock? Sharing the collection objects wouldn't be possible anymore and thus no need for soecial collections. At most of the time, there should be read operations on the model in the center point - no blocker happens with reads however semi-ordering is awailable between writes and reads|writes. -- View this message in context: http://maven.40175.n5.nabble.com/Formal-verification-of-thread-correctness-in-maven-core-tp5822508p5822560.html Sent from the Maven Developers mailing list archive at Nabble.com. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
