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: Mateusz U. <mat...@gm...> - 2008-08-02 12:20:52
|
Hi,
I've a problem with understanding what is the difference between
UNBLOCKED and RUNNING thread state. From my investigation it seems that
thread is in UNBLOCKED state when it has been notified but waits to
acquire a monitor in where wait() has been called, after that it moves
to RUNNING state. Am I right ?
Yours sincerely
Mateusz Ujma
|
|
From: Vika F. <ru...@cs...> - 2008-07-23 17:48:31
|
Hi everybody! I have a question about using the pinDown() method in the ElementInfo class. According to the method's documentation, this method allows to keep an object in the heap and not be garbage collected "no matter what". However, I ran into a problem that some of the objects that I pinned down using this method were still garbage collected after the heap was restored using CollapsingRestorer. As far as I can tell, the problem is the following. If an object was created on the heap as an ordinary object (not an internal one) and then later it was pinned down using pinDown() method, this fact can go unnoticed by CollapsingRestorer, which keeps the cache of seen objects and updates it only if an object has been changed. One of the methods that marks an object as changed is analyzeHeap() in DynamicArea. This method marks an object as changed if the object's attributes lastAttrs are not equal to the current value of attributes. However, lastAttrs are set at the beginning of analyzeHeap() to the current value of objects attributes. Thus, for the objects which were pinned down recently, the comparison of lastAttrs to current attributes will always result in equality and these objects will not be marked as changed. In this case, CollapsingRestorer will not update its cache if the value of the pinned down object didn't change (only its attributes) and, when the object is restored later, it will not be pinned down in heap anymore. As a temporary fix, I put a call to markChanged() in analyzeHeap() for all objects whose ATTR_PINDOWN is set and it looks like it solved the problem for me. My question is, is it a bug in JPF or did I use the pinDown() method in unintended way? If it's a bug, what would be a good fix for it? If the method shouldn't be used like that, what would be a good way to force JPF to temporarily keep some objects in memory even when there are no references to these objects left? Thank you in advance! -- Vika |
|
From: Cato P. <ca...@if...> - 2008-07-22 23:45:28
|
Hey, I got this figured out now. Thanks. Best regards, Cato Cato Pakusch wrote: > Hey, > > Can I use env.setReferenceField() from a NativePeer class to set a new > field on an object? That is, I'm trying to set a "next" field on an > object that does not already have such a field, and give it the int > value to the next object that it should point at. JPF is throwing > exceptions at me when I try to do this. > > Anyone know how to do this? > > I can show some code if necessary. > > Best regards, > Cato > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: Cato P. <ca...@if...> - 2008-07-22 21:57:51
|
Hey, Can I use env.setReferenceField() from a NativePeer class to set a new field on an object? That is, I'm trying to set a "next" field on an object that does not already have such a field, and give it the int value to the next object that it should point at. JPF is throwing exceptions at me when I try to do this. Anyone know how to do this? I can show some code if necessary. Best regards, Cato |
|
From: Peter C. M. <Pet...@na...> - 2008-07-17 19:27:02
|
Indeed SourceForge just migrated the SVN server and is experiencing performance trouble. I'd suggest you stay off SVN for a day to let them work it out. You can monitor the site status on https://sourceforge.net/sitestatus -- Peter |
|
From: Peter C. M. <Pet...@na...> - 2008-07-17 18:27:39
|
I'm still experiencing spurious SVN errors, and was wondering how other machines/networks/users do. The most common effect is a MKACTIVITY 403 (forbidden) error when trying to commit from inside Eclipse/Subclipse, but it occasionally worked inside and outside Eclipse since yesterday. I'm also noticing the server is *very* slow, which leads me to the conclusion it's SourceForge's problem. I recall they have a move going on, so maybe they are migrating servers, but I have no reply yet. Let me know if you have more insight Thanks -- Peter |
|
From: Cato P. <ca...@if...> - 2008-07-11 19:35:31
|
Aha. Thank you kindly sir. :-) Best regards, Cato Peter C. Mehlitz wrote: > we don't do any modeling of java.util collections, i.e. use the plain > library classes, so you have to use 'javap -p' to get the field names. > There is nothing special about setting their field values, which is > done with PUTFIELD insns from the library code. > > Apart from being a bit tedious, the problem with your approach is that > you only have an interface (java.util.List), whereas you need a > concrete implementor to know about the field names. From an MJI > perspective, it's much easier to deal with simple arrays, at least > until we have an MJI utility that allows us to iterate over JPF-object > collections. > > -- Peter > > > > On Jul 11, 2008, at 11:41 AM, Cato Pakusch wrote: > > >> Hey guys >> >> I need to use MJI to traverse a couple collections. Basically, my >> model class declares the method with this: >> >> >> static native void PrintList(List<Integer> l); >> >> >> and I'll implement it in a native peer class. In my native peer >> class, I'll get access to the elements / objects of the collection >> by using methods such as getReferenceField and getIntField. >> >> Now to the problem. Getting these fields, require a call made with a >> couple arguments as int and String, where the String is the field >> name of the value that I'm getting. So I need to know how JPF sets >> all the field names for its collections, in order to get out the >> correct fields. I've been searching up and down in the source code >> to find the code that sets the fields, but I cannot find it. Any >> pointers please? >> >> Best regards, >> Cato >> > > ------------------------------------------------------------------------- > Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! > Studies have shown that voting for your favorite open source project, > along with a healthy diet, reduces your potential for chronic lameness > and boredom. Vote Now at http://www.sourceforge.net/community/cca08 > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: Peter C. M. <Pet...@na...> - 2008-07-11 18:55:23
|
we don't do any modeling of java.util collections, i.e. use the plain library classes, so you have to use 'javap -p' to get the field names. There is nothing special about setting their field values, which is done with PUTFIELD insns from the library code. Apart from being a bit tedious, the problem with your approach is that you only have an interface (java.util.List), whereas you need a concrete implementor to know about the field names. From an MJI perspective, it's much easier to deal with simple arrays, at least until we have an MJI utility that allows us to iterate over JPF-object collections. -- Peter On Jul 11, 2008, at 11:41 AM, Cato Pakusch wrote: > Hey guys > > I need to use MJI to traverse a couple collections. Basically, my > model class declares the method with this: > > > static native void PrintList(List<Integer> l); > > > and I'll implement it in a native peer class. In my native peer > class, I'll get access to the elements / objects of the collection > by using methods such as getReferenceField and getIntField. > > Now to the problem. Getting these fields, require a call made with a > couple arguments as int and String, where the String is the field > name of the value that I'm getting. So I need to know how JPF sets > all the field names for its collections, in order to get out the > correct fields. I've been searching up and down in the source code > to find the code that sets the fields, but I cannot find it. Any > pointers please? > > Best regards, > Cato |
|
From: Cato P. <ca...@if...> - 2008-07-11 18:41:38
|
Hey guys I need to use MJI to traverse a couple collections. Basically, my model class declares the method with this: / static native void PrintList(List<Integer> l); / and I'll implement it in a native peer class. In my native peer class, I'll get access to the elements / objects of the collection by using methods such as getReferenceField and getIntField. Now to the problem. Getting these fields, require a call made with a couple arguments as int and String, where the String is the /field name /of the value that I'm getting. So I need to know how JPF sets all the field names for its collections, in order to get out the correct fields. I've been searching up and down in the source code to find the code that sets the fields, but I cannot find it. Any pointers please? Best regards, Cato |
|
From: Peter C. M. <Pet...@na...> - 2008-05-15 21:04:30
|
for some reason, it seems the Sourceforge mailing list bulk subscription doesn't work anymore - I don't see the other committers in the javapathfinder-svn mailing list yet, even after re-adding them. if you are interested in commit messages, please subscribe yourself manually by visiting https://lists.sourceforge.net/lists/listinfo/javapathfinder-svn otherwise you go blind, and I get lots of mailing list authorization requests for your commits. Thanks -- Peter |
|
From: Peter C. M. <Pet...@na...> - 2008-05-13 00:30:29
|
I finally gave in and created a branches/v5, since the DynamicArea replacement is much bigger than originally expected. At least initially, I'm probably going to drop a number of things that directly use the DynamicArea implementation (e.g. Serializer/Restorer). Since this is such a big change anyways, I will also change the Instruction interface to execute(ThreadInfo), modify the ElementInfo structure, and therefore call this "version 5" (we have a milestone for this by end of August) PLEASE NOTE - the current v5 only has the direct DynamicArea references replaced by a new "Heap" interface wherever possible, i.e. there are a lot more changes to come, and this should NOT YET be the version to use in GSoC. However, you should refrain from using DynamicArea internals (esp. Area.elements) in your GSoC code. Please let me know if that's a problem, so that I have an idea who is working off branches/v5 instead of trunk. Please also note that I don't want to kick off a flood of branches with this. We don't have enough time & resources to work on lots of different branches simultaneously, and branches eventually have to get merged back. If nothing else, be advised that branching with the current Eclipse/Subclipse has it's pitfalls. -- Peter |
|
From: Peter C. M. <Pet...@na...> - 2008-05-09 19:17:00
|
Correction: Of course your subscription email only matters if you might post to this list, which means if you are a committer (who should have a Sourceforge accounts anyways). All others can subscribe with whatever email address they want Sorry, I should read my messages before posting -- Peter On May 9, 2008, at 12:08 PM, Peter C. Mehlitz wrote: > Since I expect the traffic on javapathfinder-devel to increase during > the Summer-of-Code, I have created a new > > jav...@li... > > mailing list that is reserved for messages that are related to the > repository, most notably the commit messages that annoy so many > people. All the current committers should have received subscription > notifications. All others have to add themselves if they are > interested. > >>>>>> PLEASE NOTE: <<<<<< > > (1) this list is not intended for explicit posts, i.e. it should only > contain messages that are automatically generated by SVN > > (2) because of this, subscribe with your @users.sourceforge.net > address, or otherwise the admins get tons of approval requests > > > let me know if you have problems or questions reg. this > > -- Peter > |
|
From: Peter C. M. <Pet...@na...> - 2008-05-09 19:08:46
|
Since I expect the traffic on javapathfinder-devel to increase during the Summer-of-Code, I have created a new jav...@li... mailing list that is reserved for messages that are related to the repository, most notably the commit messages that annoy so many people. All the current committers should have received subscription notifications. All others have to add themselves if they are interested. >>>>> PLEASE NOTE: <<<<<< (1) this list is not intended for explicit posts, i.e. it should only contain messages that are automatically generated by SVN (2) because of this, subscribe with your @users.sourceforge.net address, or otherwise the admins get tons of approval requests let me know if you have problems or questions reg. this -- Peter |
|
From: <pcm...@us...> - 2008-05-09 17:16:54
|
Revision: 842
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=842&view=rev
Author: pcmehlitz
Date: 2008-05-09 10:16:51 -0700 (Fri, 09 May 2008)
Log Message:
-----------
* missed a check for unbounded loops in the RepetitionIterator
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/util/script/Repetition.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.
|
|
From: <ar...@us...> - 2008-05-09 00:57:49
|
Revision: 841
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=841&view=rev
Author: artimid
Date: 2008-05-08 17:57:47 -0700 (Thu, 08 May 2008)
Log Message:
-----------
final set of configurations for tutorial
Modified Paths:
--------------
trunk/examples/ICSETutorial/Output.java
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-1.launch
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-2.launch
Added Paths:
-----------
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-UseAssumption.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 23:46:43
|
Revision: 840
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=840&view=rev
Author: artimid
Date: 2008-05-08 16:46:41 -0700 (Thu, 08 May 2008)
Log Message:
-----------
adding new launch configurations for icse tutorial
Added Paths:
-----------
trunk/examples/ICSETutorial/launch/Tutorial-CEV-scriptless-bt.launch
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-1.launch
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-2.launch
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-generateAssumption.launch
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-scriptless.launch
trunk/examples/ICSETutorial/launch/Tutorial-Output-dischargeAssumption.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 23:45:37
|
Revision: 839
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=839&view=rev
Author: artimid
Date: 2008-05-08 16:45:35 -0700 (Thu, 08 May 2008)
Log Message:
-----------
cleaned up examples for icse tutorial
Removed Paths:
-------------
trunk/examples/ICSETutorial/InputOutputScript.es
trunk/examples/ICSETutorial/InputOutputSendEvents.java
trunk/examples/ICSETutorial/Order
trunk/examples/ICSETutorial/dischargeAssumption
trunk/examples/ICSETutorial/generatedAssumption
trunk/examples/ICSETutorial/launch/InputWithProperty-generateAssumption.launch
trunk/examples/ICSETutorial/launch/InputWithProperty-scriptless.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 23:45:12
|
Revision: 838
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=838&view=rev
Author: artimid
Date: 2008-05-08 16:45:08 -0700 (Thu, 08 May 2008)
Log Message:
-----------
A number of fixes to assumption generation code
Modified Paths:
--------------
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCConformanceListener.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCConverter.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCModularTeacher.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyAutomaton.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyListener.java
trunk/extensions/cv/src/gov/nasa/jpf/cv/SafetyAutomaton.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 22:54:21
|
Revision: 837
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=837&view=rev
Author: artimid
Date: 2008-05-08 15:54:19 -0700 (Thu, 08 May 2008)
Log Message:
-----------
launch configurations for tutorial
Added Paths:
-----------
trunk/examples/ICSETutorial/launch/
trunk/examples/ICSETutorial/launch/InputWithProperty-generateAssumption.launch
trunk/examples/ICSETutorial/launch/InputWithProperty-scriptless.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 22:51:50
|
Revision: 836
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=836&view=rev
Author: artimid
Date: 2008-05-08 15:51:47 -0700 (Thu, 08 May 2008)
Log Message:
-----------
Added CVState to store listener state in program state
Added Paths:
-----------
trunk/extensions/cv/env/jpf/gov/nasa/jpf/cv/CVState.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 22:41:03
|
Revision: 835
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=835&view=rev
Author: artimid
Date: 2008-05-08 15:40:59 -0700 (Thu, 08 May 2008)
Log Message:
-----------
Removed orphan native peer methods
Modified Paths:
--------------
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 22:39:34
|
Revision: 834
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=834&view=rev
Author: artimid
Date: 2008-05-08 15:39:31 -0700 (Thu, 08 May 2008)
Log Message:
-----------
Spring cleaning
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/AbstractSerializer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-05-08 21:58:23
|
Revision: 833
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=833&view=rev
Author: artimid
Date: 2008-05-08 14:58:10 -0700 (Thu, 08 May 2008)
Log Message:
-----------
Added examples for ICSE 2008 tutorial
Added Paths:
-----------
trunk/examples/ICSETutorial/
trunk/examples/ICSETutorial/CEV_15EOR_LOR.java
trunk/examples/ICSETutorial/Input.java
trunk/examples/ICSETutorial/InputOrder.java
trunk/examples/ICSETutorial/InputOutputScript.es
trunk/examples/ICSETutorial/InputOutputSendEvents.java
trunk/examples/ICSETutorial/InputWithProperty.java
trunk/examples/ICSETutorial/InputWithPropertyComplete.java
trunk/examples/ICSETutorial/Order
trunk/examples/ICSETutorial/Output.java
trunk/examples/ICSETutorial/Output2.java
trunk/examples/ICSETutorial/dischargeAssumption
trunk/examples/ICSETutorial/generatedAssumption
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Corina P. <Cor...@na...> - 2008-05-08 21:09:17
|
Maybe Japan? Corina Peter C. Mehlitz wrote: > Before it's old news - thanks everybody for attending the JPF > workshop and for making it such a great event! Special thanks to our > hosts from Fujitsu, without whom this would not have been possible. > > I have started to put the slides up on the events schedule page > > http://javapathfinder.sourceforge.net/events/JPF-workshop-050108/ > workshop-0508-schedule.html > > which has a "Downloadable presentation material" section at the end > of each talk. There are still a few presentations missing, which I > will upload as soon as I get them. > > Time to start working on next years workshop? You bet. Maybe we > should start looking for exotic locations. > > -- Peter > > > --------------------------------------------------------------------- > Peter C. Mehlitz Robust Software Engineering Group > PSGS/NASA Ames Research Center Pet...@na... > M/S 269-3 http://ti.arc.nasa.gov/people/mehlitz > Moffett Field, CA 94035 (650) 604-1682 > > > > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > 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: Peter C. M. <Pet...@na...> - 2008-05-07 21:01:13
|
Before it's old news - thanks everybody for attending the JPF workshop and for making it such a great event! Special thanks to our hosts from Fujitsu, without whom this would not have been possible. I have started to put the slides up on the events schedule page http://javapathfinder.sourceforge.net/events/JPF-workshop-050108/ workshop-0508-schedule.html which has a "Downloadable presentation material" section at the end of each talk. There are still a few presentations missing, which I will upload as soon as I get them. Time to start working on next years workshop? You bet. Maybe we should start looking for exotic locations. -- Peter --------------------------------------------------------------------- Peter C. Mehlitz Robust Software Engineering Group PSGS/NASA Ames Research Center Pet...@na... M/S 269-3 http://ti.arc.nasa.gov/people/mehlitz Moffett Field, CA 94035 (650) 604-1682 |
