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-verificat
ormal-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
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
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 be
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 be
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 su
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 contra
