Re: [Javapathfinder-devel] Google Summer of Code - Project 4

[John P. <jp...@go...>]

Hi Mateusz,

(Sorry for the delayed reply.)  I've cc'ed the jpf-devel list and Peter
Mehlitz.

Excellent - this could be a very helpful project and you look like a good
match for it.

I think the way to do this would be to start with some sample programs from
Doug Lea's book (or other sources) and first see if they even run on JPF.
There could be problems with native methods that JPF doesn't support.
Supporting those native methods via the JMI would be a good start.  Then,
you would look for inefficiencies in terms of the number of states that JPF
is storing or poor time performance to identify places were a JMI
implementation of a util.concurrent method or class would make a significant
different in how JPF ran on the program.

I signed up as the mentor for this because I think it's important - I'm not
actually very familiar with the util.concurrent library.  But I'm guessing
we might want to pick one or two of the synchronization primitives to
support as the main goal, and expand from there is things go well.  It's
usually hard to guess ahead of time exactly where JPF might have problems
with a library - but Peter might have a good guess.

In terms of your application, I think with your background knowledge, you
are half-way there.   If you have ideas on specific constructs that you
would like to focus on first and an locate example code that would be
great.  If we could track down a real program that uses
java.util.concurrentthat you could use as a test, that would a be
fantastic proposal.

John



On Sun, Mar 23, 2008 at 6:23 PM, Mateusz Ujma <mat...@gm...>
wrote:

> Hi,
>
>    My name is Mateusz Ujma and I'm really interested in project #4.
> I've read
> http://javapathfinder.sourceforge.net/The_Model_Java_Interface.html
> so I've really rough idea how it can be done. Could you give me some
> more information about this project. What are the main steps, what
> websites I should visit to write good proposal
> etc ? If  project #4 is considered by many students I would appreciate
> that information so I will be able to focus on some less overcrowded
> ideas.
>
> Few words about myself:
>
>   Currently I'm on fourth year of Computer Science MS.c studies at
> Cracow University of  Technology. I was part of Motorola scholarship
> that covered topics
> about distributed and real time systems(i.e. Petri nets). Last year I
> took part in GSoC with SilverStripe organization(successfully). After
> GSoC I was able to
> focus my university project on SilverStripe so I remained active
> developer. Since october I'm working as
> R&D consultant at Onet.pl(biggest polish portal) developing Java
> applications for embedded systems(STB). Considering concurrency in Java
> I've used
> java.utils.concurrent and it backports to java 1.3. I'm also after
> extensive reading of  Java Concurrency in Practice by Brian Goetz, Doug
> Lea.
>
> Best regards
>
>    Mateusz Ujma
>