Menu
▾
▴
javapathfinder-devel — development related topics (your place if you work with the sources)
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
(9) |
May
(38) |
Jun
(13) |
Jul
(3) |
Aug
(14) |
Sep
(25) |
Oct
(44) |
Nov
(6) |
Dec
(2) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(4) |
Feb
(14) |
Mar
(16) |
Apr
(2) |
May
(1) |
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
(3) |
Dec
(1) |
| 2007 |
Jan
(3) |
Feb
(39) |
Mar
(30) |
Apr
(31) |
May
(20) |
Jun
(72) |
Jul
(41) |
Aug
(78) |
Sep
(48) |
Oct
(59) |
Nov
(31) |
Dec
(47) |
| 2008 |
Jan
(18) |
Feb
(37) |
Mar
(45) |
Apr
(78) |
May
(16) |
Jun
|
Jul
(8) |
Aug
(10) |
Sep
(23) |
Oct
(10) |
Nov
(12) |
Dec
(1) |
| 2009 |
Jan
(4) |
Feb
|
Mar
(3) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
(2) |
Dec
|
| 2010 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
|
From: John P. <jp...@go...> - 2008-04-02 16:14:28
|
Hi Ezgi, We have not generally commented on proposals. We were waiting to see what would come in. We will be starting to go through the proposals and rank them this week. John On Wed, Apr 2, 2008 at 12:33 AM, Ezgi Çiçek <ezg...@gm...> wrote: > Dear mentors, > > I am Ezgi Çiçek. I have applied to creating a set of JPF examples > project.As the application deadline has postponed to 7 April, I have > some time to improve my proposal. If you can give some advice on the > unclear and insufficient points of my proposal, it would help me to > focus on these points. > > I have add a comment to my application about these issue, but I > couldn't get any answer yet. It would be better if you can inform me > whether you comment on submitted proposals or not. > > Thank you very much > Ezgi > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: Taehoon L. <ta...@kg...> - 2008-04-02 09:13:54
|
As you can see at subject, While revision 795 does not generate test input correctly, Revision 794 does generate test input correctly. I want to modify JPF to implement additional functionality in extension/Symbc. Could you tell me whether I work on revision 795 or work on revision 794 or wait until revision 796? My research interesting is software model checking & automatic test case generation In JavaPathFinder Summer of Code projects "Extend symbolic execution framework (symbc) to handling input arrays and data structures (by using "generalized symbolic execution"" is very interesting. I would like to try this. I'm very appreciate if you give a some comment -- ------------------------------------------------------ Taehoon Lee Ph.D candidate Department of Computer Science Kyonggi University San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea TEL: +82-11-9932-2732 EMAIL: ta...@kg... ------------------------------------------------------- |
|
From: E. Ç. <ezg...@gm...> - 2008-04-02 07:33:35
|
Dear mentors, I am Ezgi Çiçek. I have applied to creating a set of JPF examples project.As the application deadline has postponed to 7 April, I have some time to improve my proposal. If you can give some advice on the unclear and insufficient points of my proposal, it would help me to focus on these points. I have add a comment to my application about these issue, but I couldn't get any answer yet. It would be better if you can inform me whether you comment on submitted proposals or not. Thank you very much Ezgi |
|
From: John P. <jp...@go...> - 2008-03-31 07:16:27
|
Hi Sumit, I will probably be the mentor for this project. The reason for picking a "text book" is so that people learning Java in a class might find JPF immediately helpful in understanding and exploring all the behaviors of a multi-threaded programs. Any book, or high-quality website that teaches Java, or teaches multi-threaded programming with Java would be a good source. Unfortunately, just making up examples will probably not be as generally useful. If you go ahead and put in an application, we can have a more specific discussion via comments on the proposal. John On Sun, Mar 30, 2008 at 11:37 PM, sumit shrestha <rh...@gm...> wrote: > hi, > I am interested in project for adding the examples in JPF example sets > that I found from JPF idea list. The comment about it says to mention text > book name. should the example be originated from text book only or it can > be taken from any legal source like web. can i develop my own example if i > like. Also, i would like to get full name of the mentor TBD. > > thanks, > sumit > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: sumit s. <rh...@gm...> - 2008-03-31 06:37:30
|
hi,
I am interested in project for adding the examples in JPF example sets
that I found from JPF idea list. The comment about it says to mention text
book name. should the example be originated from text book only or it can
be taken from any legal source like web. can i develop my own example if i
like. Also, i would like to get full name of the mentor TBD.
thanks,
sumit
|
|
From: John P. <jp...@go...> - 2008-03-31 06:17:37
|
Hi Sanjay, Those are good questions. The actual deadlines are set by the GSoC schedule. Thttp://code.google.com/opensource/gsoc/2008/faqs.html#0.1_timeline For your specific project you are proposing, I think we would identify 1-3 specific windows you would develop that would support some kind of interaction with JPF or display of JPF results. We would then expect a few source code deliverables that show increasing levels of functionality or features. Go ahead and put in your application and we will interact with you to add these details. John On Sun, Mar 30, 2008 at 10:39 PM, sanjay ck <4c...@gm...> wrote: > hi .. > > I 'm really interested to join in Google Summer of Code 2008. Among a list > of open source project enlisted in GSoc, I have choosed a project of " > Creating interface of Java PathFinder for Eclipse IDE". I have visited > http://javapathfinder.sourceforge.net/ and learned a lot about JPF. My > enthusiasm got a peak to work on this open source project this summer. I am > clear about the problem domain to work on. But I am facing problem writing > the proposal regarding these issues : - > > 1) The project schedule :- I 'm not sure about the deadlines regarding > this project > > 2) The project details that are to be included in this schedule > > > Thanks > > Sanjay CK > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: John P. <jp...@go...> - 2008-03-31 06:02:15
|
Hi Emir, That could be difficult, depending on your Java experience. If you go ahead and put in an application, we can get a better idea of your background and we can follow up with you on the technical details of the project. John On Sat, Mar 29, 2008 at 5:51 PM, Emir Zaimovich <emi...@gm...> wrote: > this sounds cool, > Create a JPF user interface in an IDE like Eclipse or NetBeans. JPF runs > could be controlled by using JPF property files, the IDE would display both > progress information and structured reports, using a customized JPF > Publisher implementation................ > i would like to try this, any help?! :-) > > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: John P. <jp...@go...> - 2008-03-31 05:58:45
|
oops - I forgot to CC the list... -jp On Sun, Mar 30, 2008 at 10:57 PM, John Penix <jp...@go...> wrote: > Hi Deepti, > > We have other people interested in that specific project, but there may be > similar projects to model file, network and database libraries that JPF does > not handle well by default. > > Please go ahead and fill out an application to give use a little more info > on your background and interests. > > Thanks! > > John > > On Sat, Mar 29, 2008 at 11:55 AM, Deepti Bhujbal <dee...@gm...> > wrote: > > > Hi, > > > > How do I sign-up for this ? > > > > I am interested in working on the Project mentored by John Penix. > > > > The exact description is : > > Develop models of java.util.concurrent implementation to allow more > > efficient model checking of programs that use these consructs. The > > underlying mechanisms for this package use undocumented, platform dependent > > classes that could be bypassed if the library modeling would take place at > > the level of public constructs like Semaphore etc. > > > > Thanks > > Deepti B > > > > > > > > > > > > ------------------------------------------------------------------------- > > Check out the new SourceForge.net Marketplace. > > It's the best place to buy or sell services for > > just about anything Open Source. > > > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > > _______________________________________________ > > Javapathfinder-devel mailing list > > Jav...@li... > > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > > > > |
|
From: John P. <jp...@go...> - 2008-03-31 05:55:14
|
Hi Ozturk, Please go ahead and fill out an application - that will give use a little more information on your background and interests. Thanks! John On Sat, Mar 29, 2008 at 11:49 AM, Ozturk_GOKAL <og...@gm...> wrote: > Hi, my name is Öztürk Gökal, I am studying teaching physics at Bogazici > University > I am interested in the task: > Create a visualization for JPF's statechart model checking extension. This > would create UML state machine diagrams out of JPF state machine models, and > animate traces of event sequences produced by the model checker > > Those generated UML diagrams could be shown in a standalone application or > could it be a plug for eclipse. For instance, as you know we can generate > those graphics objects by using GEF capabilities of eclipse. > > -- > Isaac Asimov - "I do not fear computers. I fear the lack of them." > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: sanjay c. <4c...@gm...> - 2008-03-31 05:39:07
|
hi .. I 'm really interested to join in Google Summer of Code 2008. Among a list of open source project enlisted in GSoc, I have choosed a project of " Creating interface of Java PathFinder for Eclipse IDE". I have visited http://javapathfinder.sourceforge.net/ and learned a lot about JPF. My enthusiasm got a peak to work on this open source project this summer. I am clear about the problem domain to work on. But I am facing problem writing the proposal regarding these issues : - 1) The project schedule :- I 'm not sure about the deadlines regarding this project 2) The project details that are to be included in this schedule Thanks Sanjay CK |
|
From: Rodrigo T. <rtr...@gm...> - 2008-03-30 23:27:59
|
Hello everybody, I know it's a little bit late, but I'm really excited to submit a google summer of code proposal for the Java PathFinder project. I've graduated college last december and I worked on multi-core parallel programing tools, implemented a parallel version of the k-means algorithm and studied some parallel programming supporting tools and OS. I've just started my mastering course at the State University of Campinas (São Paulo, Brazil), mainly focused on content-based image retrieval and relevance feedback. I really like parallel programing and I've some experience with MPI, OpenMP and pThreads. Well, I have some java development skills but I've no experience with the JPF platform. Actually I understand the objetive and function of the system yet I have never used. So, I think I'm gonna proposed to gather that java pathfinder text book examples. What do you think about it? I do appreciate any comment and help. best, -- Rodrigo Tripodi skype id: rtripodi |
|
From: <oil...@16...> - 2008-03-30 08:08:44
|
Welcome to the Oil Painting Studio. We have been successfully working with fine art galleries and artists internationally for over a decade. Our museum quality realism is created by 25 of Chinese most skilled artists. Each artist has been formally trained and has received their degree from many of the finest art universities in China and abroad. Our artists have afforded our numerous clients, including art galleries, established artists, private parties and other interested individuals, the ability to increase their customer base, realize a much higher profit margin and acquire perfectly executed fine art oil paintings. We are presently working with galleries, fine artists, photographers, digital designers and private parties who are interested in realizing a faster way to create a highly lucrative environment by offering extremely high quality oil paintings at the most competitive pricing in the industry. We have worked successfully with many noted artists world-wide and offer our clients an unconditional binding contract in regard to their privacy and source of their oil paintings. We have always and will continue to respect international copyright laws. Your order of original art whether created from digital, photographic or any other form will never be recreated for another client. Each of our artists works inside the framework of their own specialty whether portraiture, landscape, marine, floral, still life or what ever your personal need may be. Our extensive community of fine artists is capable of creating exactly the fine art oil painting that you order. We offer an unconditional money back guarantee to all of our clients if you are dissatisfied with your shipment. We look forward to a mutually beneficial relationship. Please contact us by e-mail with your requirements. Individual orders by private parties are gladly accepted. Deeper discounts are available on larger orders. Please contact us for details. Sincerely, The Oil Painting Studio. Email:oil...@16... If this e-mail has reached you in error, we apologize for the inconvenience. You may be removed from our client list by contacting us with your request. |
|
From: Emir Z. <emi...@gm...> - 2008-03-30 00:51:44
|
this sounds cool, Create a JPF user interface in an IDE like Eclipse or NetBeans. JPF runs could be controlled by using JPF property files, the IDE would display both progress information and structured reports, using a customized JPF Publisher implementation................ i would like to try this, any help?! :-) |
|
From: Emir Z. <emi...@gm...> - 2008-03-30 00:05:05
|
Sorry for my bad English. :-) My name is Emir. I'm student of IT (information technology). i' from Priijepolje (Serbia) , but I'm studding in Podgorica (Montenegro). we have learning JAVA about a year. i would like to upgrade my knowlage in programing Java, and ger payed for it (2 good things at same time :-) ). for begening i would like to do easu, easu/medium projest, becauuse this is my first time to do somthing like this. but i need start line............. so any help?! |
|
From: Deepti B. <dee...@gm...> - 2008-03-29 18:55:49
|
Hi, How do I sign-up for this ? I am interested in working on the Project mentored by John Penix. The exact description is : Develop models of java.util.concurrent implementation to allow more efficient model checking of programs that use these consructs. The underlying mechanisms for this package use undocumented, platform dependent classes that could be bypassed if the library modeling would take place at the level of public constructs like Semaphore etc. Thanks Deepti B |
|
From: Ozturk_GOKAL <og...@gm...> - 2008-03-29 18:49:24
|
Hi, my name is Öztürk Gökal, I am studying teaching physics at Bogazici University I am interested in the task: Create a visualization for JPF's statechart model checking extension. This would create UML state machine diagrams out of JPF state machine models, and animate traces of event sequences produced by the model checker Those generated UML diagrams could be shown in a standalone application or could it be a plug for eclipse. For instance, as you know we can generate those graphics objects by using GEF capabilities of eclipse. -- Isaac Asimov - "I do not fear computers. I fear the lack of them." |
|
From: Peter C. M. <Pet...@na...> - 2008-03-28 17:08:47
|
> I think you are the first person to inquire about the object > interface layer - this could be an interesting one. I believe this > would be making extension to the interface into the VM that is used > by listeners. the topic already has applicants, but competition is good :) > I believe Peter Mehlitz suggested that project, although he would > not necessarily be the mentor. Peter, what/where is the interface > for interacting with the standard/built-in types that Shyam could > look at? I can't find it again. the major goal is to make it more easy to query and set elements in collection objects living on the JPF side. This would be used from within listeners and NativePeers, i.e. code that is executed by the host VM (not JPF). So far, it's quite tedious to traverse things like HashMaps from listeners/peers, which results in either using primitive arrays in models, or in putting the traversal into the model itself. Both is suboptimal. Another suggestion would be to look into OQL and see if/how we could make use of such a thing from listeners/peers to implement high level properties depending on heap shape. -- Peter |
|
From: John P. <jp...@go...> - 2008-03-28 05:57:02
|
Hi Ezgi, That sounds good - I'll see if I can find a copy and have a look, or if anyone has better suggestions. John On Thu, Mar 27, 2008 at 1:03 PM, Ezgi Çiçek <ezg...@gm...> wrote: > Hi John, > Thank you for your interest too. I have decided to study on creating a > set of examples from Java textbooks. Your recommendation is helpful, > but I want to ask a simple question. What kind of a book should I > select to take example programs? Actually, I probably guess your > answer, but I want to be sure. I plan to use Absolute Java ( Pearson > International Edition) which is an intermediate Java text book or any > same level book. Should I use a more sophisticated or advanced book ? > > Thanks > Ezgi > > http://vig.pearsoned.co.uk/catalog/academic/product/0,1144,0321505042,00.html > > 2008/3/27, John Penix <jp...@go...>: > > Hi Ezgi, > > > > Many of the projects we have proposed are very technical, but a couple > > mostly about Java. One project is simply to write tests to show that > the > > JPF virtual machine acts the same as the Sun virtual machine. Another > > project is to take example programs from a text book and show how they > run > > in JPF (including adding bugs, to show how the bugs are found.) > > > > Either of these might be a good match for what you are interesting in > > learning and would be beneficial to our project. > > > > John > > > > > > On Thu, Mar 27, 2008 at 10:05 AM, Ezgi Çiçek <ezg...@gm...> > wrote: > > > > > > > > Dear developer/s, > > > > > > I am Ezgi Çiçek, a computer engineering student from Bilkent > > > University, Turkey. I have been studying on Java for a year. I am > > > interested in JPF project, specifically, with creating a JPF user > > > interface in an IDE like Eclipse. I have send e-mails to > > > Peter Mehlitz and Dimitra Giannakopoulou , but I could not get an > > > answer yet. I am posting my concerns to you. > > > > > > I have searched on the internet about JPF and software modeling > > > checkers. It looks a bit confusing to understand all bits and pieces, > > > but I try to get more information about this project. Actually, the > > > interesting thing for me is to understand the cores of Java language > > > and how it handles with programs. Generally, students ( me too) are > > > faced with how to write code and make GUIs and etc. It can be better > > > to work on these kind of projects to gain wider perspective. The thing > > > that I want to ask you is what are the prerequisites of this project. > > > Although you give an explanation about this specific project, I am > > > curious about the details. I am not experienced with JPF, so can it be > > > a problem to design and implement the user interface of it. Of course, > > > I can study on it and learn how it works( I started a bit ) but it can > > > be better to know what really I am suppose to do throughout the > > > project. I will be happy if you can give detailed information about > > > this project. > > > > > > I don't know whether is this time late or not to ask but I have been > > > just searching about JPF since I have find out it. > > > > > > Thank you very much > > > Sincerely > > > > > > > > > ------------------------------------------------------------------------- > > > Check out the new SourceForge.net Marketplace. > > > It's the best place to buy or sell services for > > > just about anything Open Source. > > > > > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > > > _______________________________________________ > > > Javapathfinder-devel mailing list > > > Jav...@li... > > > > > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > > > > > > > |
|
From: John P. <jp...@go...> - 2008-03-28 05:49:17
|
Hi Shyam, You are already consulting the mentors. :) I would expect the commitment to be 20-30 hours per week, depending on the complexity of the project and how efficient and productive you are. We have one student who has a good start at an application for the java.util.concurrent project. For the distributed application project, it would be helpful to have experience or familiarity with Java network programming. I think you are the first person to inquire about the object interface layer - this could be an interesting one. I believe this would be making extension to the interface into the VM that is used by listeners. I believe Peter Mehlitz suggested that project, although he would not necessarily be the mentor. Peter, what/where is the interface for interacting with the standard/built-in types that Shyam could look at? I can't find it again. John On Thu, Mar 27, 2008 at 12:31 PM, Shyam Sunder Santoshi Visamsetty < vs...@cs...> wrote: > Hello guys, > > > > I am Shyam Sunder, a Master's student at Virginia Tech. I knew about the > google summer of code very recently. I am interested in participating in > your Java path finder project. My research interests include Object oriented > Languages, Software Engineering. My technical skills include good > programming knowledge in Java. Please may I know how much time should we be > allocating per week on an average for the duration of the project and should > I also consult the mentor of the projects before I apply? > > > > The projects I am interested in are: > > > > 1. Develop models of java.util.concurrent implementation to allow > more efficient model checking of programs that use these constructs. > > 2. Build a JPF extension for model checking distributed > applications. > > 3. Create a JPF user interface in an IDE like Eclipse or NetBeans. > > 4. Develop an object interface layer that more easily supports > lookup and storage of objects from standard Java collections. > > 5. Develop an object interface layer that more easily supports > lookup and storage of objects from standard Java collections (like > HashMaps). (mentor?) > > > > Look forward to hear from you, > > > > Regards, > > Shyam Sunder Santoshi Visamsetty, > > Graduate Student, > > Department of Computer Science, > > Virginia Tech. > > > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: <pc...@us...> - 2008-03-28 01:03:15
|
Revision: 795
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=795&view=rev
Author: pcorina
Date: 2008-03-27 18:02:55 -0700 (Thu, 27 Mar 2008)
Log Message:
-----------
Added generic interface to multiple decision procedures (dp)/
constraint solvers (cs) (SymbolicConstraintGeneral replaces
SymbolicConstraintChoco). ProblemChoco implements ProblemGeneral
for the choco constraint solver. Other constraint solvers
(e.g. IAsolver) should just provide different implementations
for ProblemGeneral. I still need to play with config to allow
the user to pick the dp/cs.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Shyam S. S. V. <vs...@cs...> - 2008-03-27 19:31:58
|
Hello guys, I am Shyam Sunder, a Master's student at Virginia Tech. I knew about the google summer of code very recently. I am interested in participating in your Java path finder project. My research interests include Object oriented Languages, Software Engineering. My technical skills include good programming knowledge in Java. Please may I know how much time should we be allocating per week on an average for the duration of the project and should I also consult the mentor of the projects before I apply? The projects I am interested in are: 1. Develop models of java.util.concurrent implementation to allow more efficient model checking of programs that use these constructs. 2. Build a JPF extension for model checking distributed applications. 3. Create a JPF user interface in an IDE like Eclipse or NetBeans. 4. Develop an object interface layer that more easily supports lookup and storage of objects from standard Java collections. 5. Develop an object interface layer that more easily supports lookup and storage of objects from standard Java collections (like HashMaps). (mentor?) Look forward to hear from you, Regards, Shyam Sunder Santoshi Visamsetty, Graduate Student, Department of Computer Science, Virginia Tech. |
|
From: John P. <jp...@go...> - 2008-03-27 18:22:28
|
Hi Ezgi, Many of the projects we have proposed are very technical, but a couple mostly about Java. One project is simply to write tests to show that the JPF virtual machine acts the same as the Sun virtual machine. Another project is to take example programs from a text book and show how they run in JPF (including adding bugs, to show how the bugs are found.) Either of these might be a good match for what you are interesting in learning and would be beneficial to our project. John On Thu, Mar 27, 2008 at 10:05 AM, Ezgi Çiçek <ezg...@gm...> wrote: > Dear developer/s, > > I am Ezgi Çiçek, a computer engineering student from Bilkent > University, Turkey. I have been studying on Java for a year. I am > interested in JPF project, specifically, with creating a JPF user > interface in an IDE like Eclipse. I have send e-mails to > Peter Mehlitz and Dimitra Giannakopoulou , but I could not get an > answer yet. I am posting my concerns to you. > > I have searched on the internet about JPF and software modeling > checkers. It looks a bit confusing to understand all bits and pieces, > but I try to get more information about this project. Actually, the > interesting thing for me is to understand the cores of Java language > and how it handles with programs. Generally, students ( me too) are > faced with how to write code and make GUIs and etc. It can be better > to work on these kind of projects to gain wider perspective. The thing > that I want to ask you is what are the prerequisites of this project. > Although you give an explanation about this specific project, I am > curious about the details. I am not experienced with JPF, so can it be > a problem to design and implement the user interface of it. Of course, > I can study on it and learn how it works( I started a bit ) but it can > be better to know what really I am suppose to do throughout the > project. I will be happy if you can give detailed information about > this project. > > I don't know whether is this time late or not to ask but I have been > just searching about JPF since I have find out it. > > Thank you very much > Sincerely > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: E. Ç. <ezg...@gm...> - 2008-03-27 17:05:22
|
Dear developer/s, I am Ezgi Çiçek, a computer engineering student from Bilkent University, Turkey. I have been studying on Java for a year. I am interested in JPF project, specifically, with creating a JPF user interface in an IDE like Eclipse. I have send e-mails to Peter Mehlitz and Dimitra Giannakopoulou , but I could not get an answer yet. I am posting my concerns to you. I have searched on the internet about JPF and software modeling checkers. It looks a bit confusing to understand all bits and pieces, but I try to get more information about this project. Actually, the interesting thing for me is to understand the cores of Java language and how it handles with programs. Generally, students ( me too) are faced with how to write code and make GUIs and etc. It can be better to work on these kind of projects to gain wider perspective. The thing that I want to ask you is what are the prerequisites of this project. Although you give an explanation about this specific project, I am curious about the details. I am not experienced with JPF, so can it be a problem to design and implement the user interface of it. Of course, I can study on it and learn how it works( I started a bit ) but it can be better to know what really I am suppose to do throughout the project. I will be happy if you can give detailed information about this project. I don't know whether is this time late or not to ask but I have been just searching about JPF since I have find out it. Thank you very much Sincerely |
|
From: Mateusz U. <mat...@gm...> - 2008-03-27 01:36:55
|
> 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.
I've reimplemented DeadLock example using ReentrantLock and
everything worked perfectly, it even required less transitions than
version based on monitors. Some number of native methods is already
implemented in JPF_sun_misc_Unsafe so ReentrantLock worked without any
coding inside JPF.
> 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've searched through java.util.concurrent and basic primitives are
CAS methods in sun.misc.Unsafe. As far as I understand JPF it's far to
deep in invocation chain to JMI this class.
It will be a good idea to work on higher level of abstraction.. I
understand that big numbers of states causes problems but I don't
understand what can cause time performance problems, assuming that big
number of states it's not slowing us down ?
> 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.
These classes seems to be the most popular in java.util.concurrent:
ReentrantLock, concurrent collections, Semaphore,
java.util.concurrent.atomic.*(+/-), ThreadPoolExecutor, FutureTask.
> 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.concurrent that you could use as a test, that would a be
> fantastic proposal.
By "locating example code" you mean locating particular performance
bottleneck and writing MJI replacements ?
I've noticed that compareAndSwap* methods in JPF_sun_misc_Unsafe don't
have any synchronization, I don't understand
why you have omitted synchronization. The odd thing is that deadlock
example with ReentrantLock worked ! ?
Yours sincerely
Mateusz Ujma
John Penix pisze:
> 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.concurrent that 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...
> <mailto: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
>
>
|
|
From: <pcm...@us...> - 2008-03-26 20:26:37
|
Revision: 794
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=794&view=rev
Author: pcmehlitz
Date: 2008-03-26 13:26:34 -0700 (Wed, 26 Mar 2008)
Log Message:
-----------
* added pattern matching for receiver constraints in event scripts. This is never going to end <SIGH>.
We have to push the filtering down into the alphabet inspection, since we have to add the receiver to the list of candidates
in case there is a receiverConstraint. Otherwise we might just add the event id, even though there is a constraint
in the script, and then get surprised during executeTrigger() because there is another active state that has this
trigger method. If there already is an rc-event with the same event name in the set, add the active state field name
to the rc. If there is the same event name but no rc, then it's pointless to add a constraint
this also unveiled a little bug with a forgotten matcher for SCEventSingleChoice
Modified Paths:
--------------
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEvent.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEventFromSet.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEventGenerator.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEventSingleChoice.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SCInspector.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
trunk/src/gov/nasa/jpf/util/script/ScriptEnvironment.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
