Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
HomeAnnouncementsWhite Papers
Discussion GroupsFirst AidDatabasesJavaBeansGUIJava 3DVirtual MachineCORBASecurityToolsGeneral
Java DirectoryOpen Source ProjectsSample Book ChaptersUser GroupsWeb Resources
Related Topics
Databases.NETMore Topics ...

Java Forum / General / October 2007

Tip: Looking for answers? Try searching our database.

Combining Java Reflection API with Java Annotation Types for Thread Safety

Thread view: 
pek - 22 Oct 2007 23:39 GMT
Hello everyone. I have a really complicated question (and I don't
really know if this is even possible).

I am currently developing a program that is multithreaded. I have a
lot of methods that start a thread and call other methods from other
classes. All the time, I have to make sure that the class's method
that I am calling is correctly synchronized (if needed) or not. So
here is what I was looking the last couple of days.

I know Java has an Annotation Type system that it can help me mark
various methods in a class for a particular purpose (such as a @Test
or @FixThis). So I was thinking, this could also work if every method
that inside the code a thread is initiated, I could Annotate it as
@ThreadCreator. Also, I could annotate a method that is being called
from a thread as @ThreadSafe (making sure of course that it is indeed
a thread-safe method). This is the first part.

The second part is to use Java Reflection API. I saw that I can use
this API to find what annotations a class uses and where. So I know I
could find out that a particular method in a class is annotated as
@ThreadCreator.

Now, combining this together, I was wondering if I could create a
"system" (I don't really know how to call it) that would take a class
that I give it, find which methods are annotated with @ThreadCreator,
invoke those methods, and see if the methods call other methods that
are not annotated as @ThreadSafe, in which case the "system" will warn
me that this should be @ThreadSafe.

Is this even possible? Is there any other solution to this? Is there
already an implementation of this?

Thank you very much for your time.
Joshua Cranmer - 23 Oct 2007 03:25 GMT
> I know Java has an Annotation Type system that it can help me mark
> various methods in a class for a particular purpose (such as a @Test
[quoted text clipped - 3 lines]
> from a thread as @ThreadSafe (making sure of course that it is indeed
> a thread-safe method). This is the first part.

Using annotations for static analysis? I would like to see how this
works out: I've been considering using some for moving some internal
precondition checks to pseudo-compile time.

> The second part is to use Java Reflection API. I saw that I can use
> this API to find what annotations a class uses and where. So I know I
[quoted text clipped - 10 lines]
> Is this even possible? Is there any other solution to this? Is there
> already an implementation of this?

I *think* the best way to proceed would be to use the annotation
processing tool. I have not used this tool at all (then again, my use of
annotations is rather limited at present), but it seems it would be far
easier than processing runtime loading components. Speaking from my
limited experience, processing annotations at runtime loading of classes
is a nightmare in terms of initial implementation.

As far other implementations, I know of none, but I would not be
surprised to see an existing implementation (soliciting help from any
resident concurrent programming gurus lurking about).

I also have reservations about your verification algorithm as stated,
but since I am not an expert in concurrent programming, and since it
appears to me that this is merely a conceptual-level design, I am sure
that you have already handled the objects of my fears, so I will not
mention them.

Signature

Beware of bugs in the above code; I have only proved it correct, not
tried it. -- Donald E. Knuth

pek - 23 Oct 2007 16:00 GMT
> > I know Java has an Annotation Type system that it can help me mark
> > various methods in a class for a particular purpose (such as a @Test
[quoted text clipped - 43 lines]
> Beware of bugs in the above code; I have only proved it correct, not
> tried it. -- Donald E. Knuth

I have found out the this is possible to a specific level using APT
(Annotation Processing Tool). I just can't find any good resource on
the internet. Just some here and there. I also have to find out not
only invoking a method that has a desired annotation, but also to
analyze what other method's it invokes. Anyway, I will be looking
around to see and try to do this. I'll send feedbacks to this post if
you are interested. There is already a proposal for a JSR-305 that
uses annotations for concurrency issues (the team contains Brian Goetz
- creator of FindBugs). I'll probably look this up to see what I can
find out.


Free Magazines

Get these publications absolutely FREE for up to 12 months. There are no hidden fees and no obligation. Simply choose a title, complete the application form and submit it. Read more ...

Oracle MagazineNetwork ComputingComputer WorldBio-IT WorldeWeekInformation WeekInfosecurity
 
Sign In
Join
My Latest Posts
My Monitored Threads
My Blog
My Photo Gallery
My Profile
My Homepage

Start New Thread
Enable EMail Alerts
Rate this Thread



©2008 Advenet LLC   Privacy Policy - Terms of Use
This website includes both content owned or controlled by Advenet as well as content owned or controlled by third parties.