explicit gproc:unreg() does not send unreg message for global names

[avalente]

It seems that "unreg" messages are not sent when an explicit gproc:unreg() is issued for global names, while it works fine for local names:

$ erl -pa gproc/ebin -pa gproc/deps/gen_leader/ebin/ -boot start_sasl -name n1@localhost -setcookie test -gproc gproc_dist "[{[n1@localhost], []}, {bcast_type, all}]"

(n1@localhost)1> gproc:start_link().
{ok,<0.49.0>}
(n1@localhost)2> gproc_dist:start_link().
{ok,<0.51.0>}
(n1@localhost)3> 
=PROGRESS REPORT==== 9-Dec-2013::18:47:08 ===
          supervisor: {local,kernel_safe_sup}
             started: [{pid,<0.54.0>},
                       {name,timer_server},
                       {mfargs,{timer,start_link,[]}},
                       {restart_type,permanent},
                       {shutdown,1000},
                       {child_type,worker}]

(n1@localhost)3> gproc:reg({n, l, test}).
true
(n1@localhost)4> gproc:monitor({n, l, test}).
#Ref<0.0.0.75>
(n1@localhost)5> gproc:unreg({n, l, test}).
true
(n1@localhost)6> flush().
Shell got {gproc,unreg,#Ref<0.0.0.75>,{n,l,test}}
ok

while for global names:

(n1@localhost)7> gproc:reg({n, g, test}).    
true
(n1@localhost)8> gproc:monitor({n, g, test}).
#Ref<0.0.0.93>
(n1@localhost)9> gproc:unreg({n, g, test}).  
true
(n1@localhost)10> flush().                    
ok

[uwiger]

Sorry, this was lost in the noise in my inbox. I'll look into it.

[avalente]

Thank you very much!
Il 28/dic/2013 01:05 "Ulf Wiger" notifications@github.com ha scritto:

Sorry, this was lost in the noise in my inbox. I'll look into it.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/50#issuecomment-31285892
.

[uwiger]

I have pushed some changes (both to master and to the uw-locks_leader branch), but looking at the code, I suspect that the monitoring process might sometimes get multiple notifications in the global case. I will have to see if I can provoke that.

[uwiger]

Ah, sorry, no the duplicates are filtered out in gproc_lib:notify(), by only notifying local pids.

[uwiger]

Assume this is ok?

[avalente]

Hi,
as of rev e5500cd the example above
doesn't work yet.
Thanks

2014-05-29 10:28 GMT+02:00 Ulf Wiger notifications@github.com:

Assume this is ok?

—
Reply to this email directly or view it on GitHub
#50 (comment).

Antonio Valente

[uwiger]

PR #81 should finally fix this issue.

[manuel-rubio]

if @avalente isn't complaining it's meaning it's fixed. @uwiger I think you can close the ticket.

[uwiger]

Yes. Thanks