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-07 15:30:32
|
Hi Mingxin, I saw your application last night. We have over 50 applications, to it just isn't possible to read and respond to every one yet. Today they should turn on the feature in the web app that lets us rank and organize them, so we will be better able to respond. John On Mon, Apr 7, 2008 at 6:07 AM, 明欣李 <li...@gm...> wrote: > Dear Mr./Mrs.: > > I am really interest in JPF and want to participate in the > summer of code of google. My application is sumitted and my profiles > are listed as follows. > > Name: Mingxin Li > > Project Title (or brief description): Reducing State Storage Costs by > Using Network Interface to Store and Retrieve Program States Data from > an External Server. > > Education and Software Development Experience: I'm a doctor candidates > of Beijing University of Posts and Telecommunications (BUPT) and my > major is computer science. I have almost six years software > development experience in java including three years software > development experience as a full time developer when I graduated and > got the master degree from BUPT in 2004. In addition, I was awarded in > 2006 BEA software innovation and development competition. And I have > been the main developer of Extrem Blue Porject of IBM in the summer of > 2007. I got the topmost quality of national certification systems > analyst in 2006. > > Why I'm interested in working on Java PathFinder: When I learn some > information about JPF through its website I think it is an amazing > project and it has good ideas to resolve the problems in the process > of software test.Therefore I decided to do some contribution to the > project. > > Have you contacted anyone on the JPF Team about this proposal (if yes, > who): I didn't contacted anyone at present. > > Experience with Java and object-oriented design patterns: I have > almost six years software development experience in java. And I have > good experience of object-oriented design. > > Experience or knowledge of software testing and verification tools: I > am familiar with junit and have the experience of using test tools > such as loadrunner. > > Project Details: In order to resolve the issue of storing and > retrieving huge program states. The application proposes several > possible methods to deal with the hidden trouble. In my opinion, the > resolving methods are described as follows. Firstly, a large number > object of program states is serialized by java serialization > interface. Object serialization is the process of saving an object's > state to a sequence of bytes, as well as the process of rebuilding > those bytes into a live object at some future time. The Java > Serialization API provides a standard mechanism for developers to > handle object serialization. Secondly, the store formate should be > considered, for example we can refer to the design ideas of index > files in lucene. Finally, the objects of program states serialized is > stored and retrieved on/from external server by network > communications. The methods of communications can be classified as > follows. The first one is the C/S mode based on socket connections. > The communications built on the RMI technology of java is the second > method. The third method is to refer to the good design ideas of > distributed file system such as the open source project hadoop which > is a part of lucene. The last one is that setting up the C/S by jetty > which is an open source web server and designed to be a good > component. Furthermore, it can easily be embedded in an application > and set up the connection of C/S. > > Deliverables: I think deliverables should at least contain analysis > documents, detailed design documents, test reports, user manuals and > codes. The new JPF version can store and retrieve program states > on/from a server, which is more easy to use JPF on huge state spaces. > > > Yours Sincerely, > > Mingxin Li > > 2008-4-7 > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Register now and save $200. Hurry, offer ends at 11:59 p.m., > Monday, April 7! Use priority code J8TLD2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: 明. <li...@gm...> - 2008-04-07 13:09:43
|
Dear Mr./Mrs.:
I am really interest in JPF and want to participate in the
summer of code of google. My application is sumitted and my profiles
are listed as follows.
Name: Mingxin Li
Project Title (or brief description): Reducing State Storage Costs by
Using Network Interface to Store and Retrieve Program States Data from
an External Server.
Education and Software Development Experience: I'm a doctor candidates
of Beijing University of Posts and Telecommunications (BUPT) and my
major is computer science. I have almost six years software
development experience in java including three years software
development experience as a full time developer when I graduated and
got the master degree from BUPT in 2004. In addition, I was awarded in
2006 BEA software innovation and development competition. And I have
been the main developer of Extrem Blue Porject of IBM in the summer of
2007. I got the topmost quality of national certification systems
analyst in 2006.
Why I'm interested in working on Java PathFinder: When I learn some
information about JPF through its website I think it is an amazing
project and it has good ideas to resolve the problems in the process
of software test.Therefore I decided to do some contribution to the
project.
Have you contacted anyone on the JPF Team about this proposal (if yes,
who): I didn't contacted anyone at present.
Experience with Java and object-oriented design patterns: I have
almost six years software development experience in java. And I have
good experience of object-oriented design.
Experience or knowledge of software testing and verification tools: I
am familiar with junit and have the experience of using test tools
such as loadrunner.
Project Details: In order to resolve the issue of storing and
retrieving huge program states. The application proposes several
possible methods to deal with the hidden trouble. In my opinion, the
resolving methods are described as follows. Firstly, a large number
object of program states is serialized by java serialization
interface. Object serialization is the process of saving an object's
state to a sequence of bytes, as well as the process of rebuilding
those bytes into a live object at some future time. The Java
Serialization API provides a standard mechanism for developers to
handle object serialization. Secondly, the store formate should be
considered, for example we can refer to the design ideas of index
files in lucene. Finally, the objects of program states serialized is
stored and retrieved on/from external server by network
communications. The methods of communications can be classified as
follows. The first one is the C/S mode based on socket connections.
The communications built on the RMI technology of java is the second
method. The third method is to refer to the good design ideas of
distributed file system such as the open source project hadoop which
is a part of lucene. The last one is that setting up the C/S by jetty
which is an open source web server and designed to be a good
component. Furthermore, it can easily be embedded in an application
and set up the connection of C/S.
Deliverables: I think deliverables should at least contain analysis
documents, detailed design documents, test reports, user manuals and
codes. The new JPF version can store and retrieve program states
on/from a server, which is more easy to use JPF on huge state spaces.
Yours Sincerely,
Mingxin Li
2008-4-7
|
|
From: Mateusz U. <mat...@gm...> - 2008-04-06 23:36:51
|
Hi,
As I have written in my previous post I submitting two new patches.
First one is for StateSpaceDot.java(for dot format) previous solutions
based on adding width to graph elements
which is not ideal, current solution uses monospaced font in labels
which is better solution. Patch for search package adds template method
pattern to *Search classes. Basically
we have search() method in Search.java which calls abstract method
startSearch(*) which is implemented in inheriting classes, we save few
lines in each class and code is more modular.
Regards
Mateusz Ujma
|
|
From: Peter C. M. <Pet...@na...> - 2008-04-05 20:58:54
|
Hi Carl, if you look into extensions/statechart, and esp. the examples/jpfESAS directory, you see that JPF models UML statecharts as a hierarchy of nested classes, where each class represents a state in the diagram. Triggers are just normal instance methods of these classes, and transitions correspond to setNextState(<tgt-state>) calls. The only overhead is that states need to be instantiated, i.e. the whole structure corresponds almost 1:1 to the diagram. Since there is this close correspondence, it's possible to (re-) create the diagram out of the JPF classes, display it in it's own window, and use that display to animate traces found by the model checker (i.e. step through a sequence of events that cause a property violation). This consists of two steps: (1) create a diagram out of the JPF internal state model (stored as a hierarchy of States, and accessible from within StateMachine). This is mostly a layout problem (2) use SimStateMachine and Listeners to animate the execution of a sequence of events within this diagram/view (please look at the JPF website docu under "Search and VMListeners" for more details about listeners). It actually might be more easy just to write a derived SimStateMachine (say "VisualStateMachine") and use that for driving your animation w/o using a listener -- Peter On Apr 5, 2008, at 1:27 PM, <ca...@um...> <ca...@um...> wrote: > Hi this is Carl Albach. I wrote previously asking a few > questions. I've already > submitted my application for the visualization of JPF's statechart > model checking > extension idea. I'm very interested in the idea. I just wanted to > maybe refine the > description on the application and find out a little more about the > project. If there > is anything more you could tell me about it, that would be great. > Also, the project > idea page mentions that it would rely on the JPF Listener API. If > you could point > me in the direction of that API that would also be helpful. Thanks > a lot. > > Carl Albach > > ---------------------------------------------------------------------- > --- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Register now and save $200. Hurry, offer ends at 11:59 p.m., > Monday, April 7! Use priority code J8TLD2. > http://ad.doubleclick.net/clk;198757673;13503038;p?http:// > java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel |
|
From: <ca...@um...> - 2008-04-05 20:27:21
|
Hi this is Carl Albach. I wrote previously asking a few questions. I've already submitted my application for the visualization of JPF's statechart model checking extension idea. I'm very interested in the idea. I just wanted to maybe refine the description on the application and find out a little more about the project. If there is anything more you could tell me about it, that would be great. Also, the project idea page mentions that it would rely on the JPF Listener API. If you could point me in the direction of that API that would also be helpful. Thanks a lot. Carl Albach |
|
From: <pcm...@us...> - 2008-04-05 05:15:46
|
Revision: 806
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=806&view=rev
Author: pcmehlitz
Date: 2008-04-04 22:15:43 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
* added deep copy for SparseClusterArray, which is an exercise in working around erasure limitations. The Cloner
interface therefore is of general use. Our deep copy also does compaction on the fly - we want minimal memory
footprint in case we use this in the Restorer
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/util/SparseClusterArray.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/util/Cloner.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 22:52:10
|
Revision: 805
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=805&view=rev
Author: pcorina
Date: 2008-04-04 15:52:08 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_Math.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 22:51:45
|
Revision: 804
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=804&view=rev
Author: pcorina
Date: 2008-04-04 15:51:43 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathFunction.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
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/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 22:50:27
|
Revision: 803
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=803&view=rev
Author: pcorina
Date: 2008-04-04 15:50:23 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 22:46:37
|
Revision: 802
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=802&view=rev
Author: pcorina
Date: 2008-04-04 15:46:33 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
-added support for new decision procedure (dp) -- ia solver-- see class ProblemIAsolver;
-solver not yet implemented;
-added support for more functions from Math library
-user can specify which dp to use (e.g. +symbolic.dp=choco)
-default is choco dp
Modified Paths:
--------------
trunk/extensions/symbolic/src/gov/nasa/jpf/symbolic/integer/SymbolicConstraints.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Ritesh M. <rit...@gm...> - 2008-04-04 19:03:42
|
Hi, My name is Ritesh Mehta, second year undergraduate student from India. I am currently doing Data Structures with JAVA and have just started learning GUI implementation using NetBeans using Swing. I'm interested in the project: "Creating JPF interface" and i'd like to know more about what is the actual goal. If i could get an example, it would make easy for me to analyze and exercise my options. Thanx in advance. Regards Ritesh Mehta http://riteshmehta.741.com/Resume.pdf |
|
From: <pc...@us...> - 2008-04-04 00:24:34
|
Revision: 801
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=801&view=rev
Author: pcorina
Date: 2008-04-03 17:24:30 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
implemented Choco solve.
mixed integer/real constraints still need testing.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 00:23:52
|
Revision: 800
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=800&view=rev
Author: pcorina
Date: 2008-04-03 17:23:50 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 00:23:38
|
Revision: 799
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=799&view=rev
Author: pcorina
Date: 2008-04-03 17:23:34 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
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: Mateusz U. <mat...@gm...> - 2008-04-03 23:44:25
|
Hi,
I looked on JPF bug track and made few trivial patches:
1889589 - RandomSearch.java.patch
1863583 - fixed in r725
1861529 - Config.java.patch(taken from bug description)
1727279 - Works for me
I've also fixed StateSpaceDot(StateSpaceDot.java.patch), label no
longer overflows from it's container.
I was thinking about another improvement: all classes that inherits
from gov.nasa.jpf.search.Search implement search() method in similar
way(difference is within while loop).
For me it's a good candidate for Template method pattern. I will
look tomorrow is it possible to apply it there.
Regards
Mateusz Ujma
|
|
From: <pcm...@us...> - 2008-04-03 21:29:47
|
Revision: 798
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=798&view=rev
Author: pcmehlitz
Date: 2008-04-03 14:29:45 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
* small patch for Verify.getInt(), avoiding CG creation if the boundaries are identical - thanks to Gliga
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
trunk/src/gov/nasa/jpf/util/DynamicObjectArray.java
trunk/test/gov/nasa/jpf/mc/TestUntrackedField.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: John P. <jp...@go...> - 2008-04-03 20:43:50
|
Hi Taehoon, Do you have a test case that demonstrates the failure? John I saw your JPF GSoC application. We have only started to review them... John On Wed, Apr 2, 2008 at 2:13 AM, Taehoon Lee <ta...@kg...> wrote: > > 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... > ------------------------------------------------------- > > > ------------------------------------------------------------------------- > 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: <pcm...@us...> - 2008-04-03 18:50:33
|
Revision: 797
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=797&view=rev
Author: pcmehlitz
Date: 2008-04-03 11:50:28 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
* forgot to commit the IndexIterator. Bad me
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/util/SparseClusterArray.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/util/IndexIterator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: John P. <jp...@go...> - 2008-04-03 06:50:50
|
Hi Dhany, We have 2 or 3 applications for the java.util.concurrent project by students with experience in this area, so I would consider those taken. I don't think we have an application for the state chart monitoring, but, in total, we may already have more good proposals than we have mentors. If you are familiar with state charts and have experience with anything that might help with the "animate traces of event sequences" part, then please consider submitting a proposal. John On Wed, Apr 2, 2008 at 5:07 PM, Dhany <dd...@gm...> wrote: > Hi, > > I'm interested with your project posted for Google Summer of Code 2008. > I'd like to ask if any of the following 2 projects are still available: > > 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. > > 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 > > > If so, what is the requirements from students ? > I know how to code in java. I also know the basic concept about > multi-threading, semaphore, deadlock, etc. But, I've never used > java.util.concurrent package or JPF before. > > Thanks in advance. > > > Regards, > > Dhany > > ------------------------------------------------------------------------- > 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-04-03 06:45:33
|
Hi Carl, This is the right place to ask questions. The 'text book example' project has a lot of applicants already, probably because it is pretty straight-forward. So, if you are going to apply to JPF, please include at least on other project that looks interesting. Regarding your question on experience, you should have some experience with Java - class projects at least. This should include experience with the Java Thread class, because JPF is most interesting when programs are multi-threaded. Beyond that, some of the projects involve other java libraries, or Eclipse, or familiarity with some of the more technical algorithms inside JPF. In these cases, relevant experience with these things will be important to us when evaluating the applications. John On Wed, Apr 2, 2008 at 5:09 PM, <ca...@um...> wrote: > Hi my name is Carl Albach. I have some questions about the JPF text book > examples idea. Also I wanted to know some more information on how much > experience the Java Pathfinder group is looking for in the student. I'm not > sure if this the right address to ask these questions. If not could you > please direct me to someone involved in this area. > > Thanks, > > Carl Albach > > P.S. Is there an irc channel for this group? > > ------------------------------------------------------------------------- > 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: aa <jac...@ho...> - 2008-04-03 06:06:16
|
Dear Sir. AAA quality of newest and hottest nike,Adidas,Branded clothing as well as many other brand products are supplied with competitive price. www.alibabaunion.com Price list in the file attached.3--5 days shipping/accept sample/Accept paypal Please feel free to contact us. msn ali...@ho... Telp: 86-594-2282990 Thanks for your time. jack ********************************************************************************************** Putian Chengxiang Pacific Ocean Trade Co.Ltd. Nanyuan, Chengxiang District, Putian City, Fujian Province, China 351100 Telp: 86-594-2282990 Email: ali...@gm... MSN: ali...@ho... Website: http:\\www.alibabaunion.com _________________________________________________________________ 多个邮箱同步管理，live mail客户端万人抢用中 http://get.live.cn/product/mail.html |
|
From: <pcm...@us...> - 2008-04-03 02:33:19
|
Revision: 796
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=796&view=rev
Author: pcmehlitz
Date: 2008-04-02 19:33:14 -0700 (Wed, 02 Apr 2008)
Log Message:
-----------
* added a SparseClusterArray ADT as the nucleus of the upcoming DynamicArea replacement. This is a wild mix between a trie for integer ranges, a BitSet for efficient entry lookup inside a cluster, and a linked list of clusters for complete enumeration.
read/write is about twice as fast as HashMap with Integer keys, and uses about half as much memory. iteration is about as fast as BitSet. This should be a good base for per-thread allocation clusters
Added Paths:
-----------
trunk/src/gov/nasa/jpf/util/SparseClusterArray.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ca...@um...> - 2008-04-03 00:19:55
|
Hi my name is Carl Albach. I have some questions about the JPF text book examples idea. Also I wanted to know some more information on how much experience the Java Pathfinder group is looking for in the student. I'm not sure if this the right address to ask these questions. If not could you please direct me to someone involved in this area. Thanks, Carl Albach P.S. Is there an irc channel for this group? |
|
From: Dhany <dd...@gm...> - 2008-04-03 00:07:51
|
Hi, I'm interested with your project posted for Google Summer of Code 2008. I'd like to ask if any of the following 2 projects are still available: 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. 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 If so, what is the requirements from students ? I know how to code in java. I also know the basic concept about multi-threading, semaphore, deadlock, etc. But, I've never used java.util.concurrent package or JPF before. Thanks in advance. Regards, Dhany |
|
From: John P. <jp...@go...> - 2008-04-02 23:09:03
|
Hi JPF team, This is a general update on the Google Summer of Code applications for Java PathFinder for any students and mentors subscribed to the devel list. Right now we have about 33 non-spam applications. 14 of these are for the text book examples project and 8 for IDE integration. The rest are scatterd over the other projects. We have several nice proposals from PhD students for some of the "difficult" projects. We have 7 mentors signed up. I'm not sure how many projects we will be allocated. But we may want more than one mentor. Once the application deadline has passed, the mentor team will be able to use the GSoC web app to rank the proposals. If any mentors see a good proposal for a favorite project, please let me know. We will also have the chance to interact with the students and negotiate details of the projects. For example, if we have two excellent proposals for the same project, we can re-arrange the project to be two projects so we get the best students on the best projects. If I have a chance, I may update the ideas list with the number of students we have interested in the projects. If anyone has more mentor ideas, please let me know. Or remind me of any that got lost in my email. Thanks! John |
