headers
Ivan Maidanski | 1 Aug 2011 13:55
Picon

Re[2]: [Gc] Cmake and contribution model (Git)

Hi Hans and Nicola,

I wrote:
> Nicola Brisotto wrote:
> > So my real question is: why don't you move to git?
> > A lot of open-source project are using git, it enable an easier contribution model. Give a look at
gitorious.org, people can branch and then send you a merge request and you don't need patch anymore.
> > There are script that help to import a cvs repository. I'm not an expert of cvs but I could help you to move to git.
> IMHO, git is a tool not an aim, so while there is a small group of people contributing to the project, it's
not, probably, forth moving to git. (At the mean time, recently we have a problem with a CVS folder renaming
which we wouldn't have if the project had already been git'ed.)

Hans wrote:
> I'd probably favor sticking with cvs for now, since I think that's what most of us are familiar with. (Svn
seems close enough for experience to mostly carry over.) If we did want to switch to a git-like model, I've
also heard arguments for Mercurial recently, but don't have any experience with it.

I finally created a git clone of our cvs. Git, as a distributed CRM system, looked to me to be a bit convenient
to operate with branches and process 3rd-party patches. I've chosen github (vs gitorious) server as more
popular. (It shouldn't be difficult to move the repo to some other eg. back to sourceforge in the future.)

I haven't compared Git with Hg.

Besides, cloning the repo with the full history, I've:
1. split it into 2 projects - libatomic_ops and bdwgc itself (the latter lacks libatomic_ops folder);
2. added gc6x-branch (comprised of official pre-v7 releases);
2. added major downstream forks - mono_libgc and gcc_boehmgc branches originated from gc6x-branch (to
simplify comparison and merging into upstream). (Although, I don't know how I'll update these branches
from their origins.)
(Continue reading)

Permalink | Reply | 4 comments |
headers
Andrew Pennebaker | 1 Aug 2011 21:17
Picon
Gravatar

Boehm GC and Splint

Splint (http://www.splint.org/) is a static code analyzer for C. Perhaps its chief feature is its ability to track down sources of memory leaks.


Splint knows every malloc() should have a matching free(). Obviously, it has trouble reasoning about GC_MALLOC().

Does anyone know how to properly annotate code for Splint so that it ignores apparent memory leaks caused by Boehm GC code?

In particular, could someone offer an annotated version of the Wikipedia Boehm GC example that does this?

_______________________________________________
Gc mailing list
Gc@...
http://www.hpl.hp.com/hosted/linux/mail-archives/gc/
Permalink | Reply | 1 comment |
headers
Ivan Maidanski | 2 Aug 2011 11:19
Picon

Re: [Gc] Boehm GC and Splint

Hi Andrew,

It's unclear to me what are you going to do? If you are using GC_malloc then it shouldn't cause memory leaks
(unless you hide pointers).
And, what annotations do you expect from GC_malloc? GC_malloc already has some annotations informing GCC
that result is non-aliased and that result's size is as specified by the argument.

Regards.

01 08 2011, 23:23 Andrew Pennebaker <andrew.pennebaker@...>:
> Splint (http://www.splint.org/) is a static code analyzer for C. Perhaps its
> chief feature is its ability to track down sources of memory leaks.
> 
> Splint knows every malloc() should have a matching free(). Obviously, it has
> trouble reasoning about GC_MALLOC().
> 
> Does anyone know how to properly annotate code for Splint so that it ignores
> apparent memory leaks caused by Boehm GC code?
> 
> In particular, could someone offer an annotated version of the Wikipedia
> Boehm GC example that does this?
> 
> http://en.wikipedia.org/wiki/Boehmgc#Example
> 
> Cheers,
> 
> Andrew Pennebaker
> www.yellosoft.us
> 
>
Permalink | Reply | 0 comments |
headers
Ivan Maidanski | 4 Aug 2011 08:18
Picon

Re: Boehm for iOS

Hi Arno,

I haven't tried configure & make (although, it might require too few changes to work for iPhone).
I assume you have gc72alpha6 (or newer).

I tried the build command something like this:
gcc -I include -I libatomic_ops/src -O2 -s -DALL_INTERIOR_POINTERS -DGC_THREADS
-DTHREAD_LOCAL_ALLOC -DPARALLEL_MARK -DUSE_MMAP -DUSE_MUNMAP -DNO_DYLD_BIND_FULLY_IMAGE
tests/test.c extra/gc.c

Regards.

PS. Feel free to send me a patch for configure if you fix it to work on iphone.

03 08 2011, 02:16 Arno Puder <arno@...>:
> 
> Ivan,
> 
> back in May you posted a message that you got the GC working on an 
> iPhone 3GS. Could you please tell me which ./configure options you used 
> and which source folders from Boehm you included in the Xcode project? 
> I'm trying to re-create a "Hello World" Xcode project for iOS that 
> integrates the GC.
> 
> TIA,
> Arno
>
Permalink | Reply | 0 comments |
headers
Andrew Pennebaker | 4 Aug 2011 09:19
Picon
Gravatar

Re: Boehm GC and Splint

Guillermo on StackOverflow believes that the Boehm GC API, and any code that uses it, can pass Splint with no warnings if the API is annotated as follows:


extern void GC_INIT(void);

extern /* <at> shared <at> */ /* <at> null <at> */ static void * GC_MALLOC(size_t size) /* <at> */
/* <at> ensures MaxRead(result) == (size - 1) /\ MaxSet(result) == (size - 1) <at> */;

extern /* <at> shared <at> */ /* <at> null <at> */ static void * GC_MALLOC_ATOMIC(size_t size) /* <at> */
/* <at> ensures MaxRead(result) == (size - 1) /\ MaxSet(result) == (size - 1) <at> */;

extern /* <at> shared <at> */ /* <at> null <at> */ static void * GC_REALLOC(/* <at> out <at> */ void *ptr, size_t size) /* <at> */;

extern size_t GC_get_heap_size(void) /* <at> */;

Cheers,

Andrew Pennebaker

On Mon, Aug 1, 2011 at 3:17 PM, Andrew Pennebaker <andrew.pennebaker-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
Splint (http://www.splint.org/) is a static code analyzer for C. Perhaps its chief feature is its ability to track down sources of memory leaks.

Splint knows every malloc() should have a matching free(). Obviously, it has trouble reasoning about GC_MALLOC().

Does anyone know how to properly annotate code for Splint so that it ignores apparent memory leaks caused by Boehm GC code?

In particular, could someone offer an annotated version of the Wikipedia Boehm GC example that does this?


_______________________________________________
Gc mailing list
Gc@...
http://www.hpl.hp.com/hosted/linux/mail-archives/gc/
Permalink | Reply | 0 comments |
headers
Bo Thorsen | 4 Aug 2011 10:14
Picon
Favicon

Symbian port

Hi all,

I'm working on a project on Symbian and later MeeGo where we need a 
garbage collector.

I searched the archives for this and found some mails about a Symbian 
port from November 2010. Is this port still active, or do we have to 
revive it? Is the port even part of the main gc package already?

Thanks,

Bo Thorsen,
Fionia Software.

--

-- 

Expert Qt and C++ developer for hire
Contact me if you need expert Qt help
http://www.fioniasoftware.dk
Permalink | Reply | 2 comments |
headers
Ivan Maidanski | 5 Aug 2011 08:32
Picon

Re: [Gc] Symbian port

Hi Bo,

No patch has been sent to me for Symbian. Please contact Djamel Magri. Probably, he hasn't finished the port.
As usual, patches are welcomed.

Regards.

04 08 2011, 12:20 Bo Thorsen <bo@...>:
> Hi all,
> 
> I'm working on a project on Symbian and later MeeGo where we need a 
> garbage collector.
> 
> I searched the archives for this and found some mails about a Symbian 
> port from November 2010. Is this port still active, or do we have to 
> revive it? Is the port even part of the main gc package already?
> 
> Thanks,
> 
> Bo Thorsen,
> Fionia Software.
> 
> -- 
> 
> Expert Qt and C++ developer for hire
> Contact me if you need expert Qt help
> http://www.fioniasoftware.dk
Permalink | Reply | 1 comment |
headers
Bo Thorsen | 5 Aug 2011 08:41
Picon
Favicon

Re: Symbian port

Hi Djamel Magri,

Last year you were working on a Symbian port of the garbage collector. 
May I ask about the status of the port?

If you still have the ported code or a diff for the main tree, would it 
be possible to send this to me?

Cheers,

Bo Thorsen.

Den 05-08-2011 08:32, Ivan Maidanski skrev:
> Hi Bo,
>
> No patch has been sent to me for Symbian. Please contact Djamel Magri. Probably, he hasn't finished the port.
> As usual, patches are welcomed.
>
> Regards.
>
> 04 08 2011, 12:20 Bo Thorsen<bo@...>:
>> Hi all,
>>
>> I'm working on a project on Symbian and later MeeGo where we need a
>> garbage collector.
>>
>> I searched the archives for this and found some mails about a Symbian
>> port from November 2010. Is this port still active, or do we have to
>> revive it? Is the port even part of the main gc package already?
>>
>> Thanks,
>>
>> Bo Thorsen,
>> Fionia Software.
>>
>> --
>>
>> Expert Qt and C++ developer for hire
>> Contact me if you need expert Qt help
>> http://www.fioniasoftware.dk

Bo Thorsen,
Fionia Software.

--

-- 

Expert Qt and C++ developer for hire
Contact me if you need expert Qt help
http://www.fioniasoftware.dk
Permalink | Reply | 0 comments |
headers
Ivan Maidanski | 5 Aug 2011 12:28
Picon

About "Disclaim" patch for BDWGC

Hi Petter,

I've found your patches for GC in culibs adding "alternative finalization interface" (ENABLE_DISCLAIM).

1. Do you have a repo containing your branch? (I'd like to import it as a separate branch in bdwgc repo)
2. Have you talked to Hans about merging it with the head BDWGC branch?

Regards.
Permalink | Reply | 39 comments |
headers
Jie Liu | 5 Aug 2011 17:53
Picon

Re: Porting boehm-gc to RTEMS for GCJ

Hi,


I am porting boehm-gc to rtems, in the "thread support" section, I find an strange phenomenon. 

When the program need to stop the world, it uses pthread_kill to tell other pthread, pthread_kill return 0 which means successful, but the target pthread's signal processing got skipped.

I am hanging on this for several days, is there anyone who encountered this problem?
Could you give me a guess if you know this phenomenon?

Thanks a lot,
Jie

_______________________________________________
Gc mailing list
Gc@...
http://www.hpl.hp.com/hosted/linux/mail-archives/gc/
Permalink | Reply | 0 comments |

Gmane