Formal verification of thread correctness in maven core

2015-01-05 Thread Kristian Rosenvold
I'd be interested in using cglib to generate a full set of subclasses for the entire maven model. These subclasses could assert stuff about proper thread correctness wrt the current correct threading model for maven. This would be capable of blowing up /immediately/ a plugin violates the contract

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread David Jencks
I wonder that too. I don't think cglib is maintained, AFAIK most people use asm nowadays. I believe it is fairly easy to use asm to add byte code to the beginning and end of every method for e.g. logging method entry/exit. Apache Aries has an asm based thing to enable adding some kind of

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread Igor Fedorenko
What kind of changes to the model do you expect? Can you give some pointers that explain verification logic you have in mind? -- Regards, Igor On 2015-01-05 9:11, Kristian Rosenvold wrote: I'd be interested in using cglib to generate a full set of subclasses for the entire maven model. These

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread Stuart McCulloch
On Monday, 5 January 2015 at 15:00, David Jencks wrote: I wonder that too. I don't think cglib is maintained FYI cglib is still maintained and moved recently to https://github.com/cglib/cglib … that said, for simple cases asm is often enough. , AFAIK most people use asm nowadays. I

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread Kristian Rosenvold
Sorry for being short on the good details :) First of all I really dont care about the technology for the actual byte code manipulation. I'd really not even like to get into that stuff; I have too much other cool stuff to do. While working on the initial parallel solution in maven I used a lot of

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread Tibor Digana
-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

Re: Formal verification of thread correctness in maven core

2015-01-05 Thread Kristian Rosenvold
-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