public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
@ 2003-05-25 13:47 ` pinskia@physics.uc.edu
  2003-10-21 16:10 ` charlet at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  5 siblings, 0 replies; 6+ messages in thread
From: pinskia@physics.uc.edu @ 2003-05-25 13:47 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-05-25 13:46:12
               date|                            |





------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
  2003-05-25 13:47 ` [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector pinskia@physics.uc.edu
@ 2003-10-21 16:10 ` charlet at gcc dot gnu dot org
  2003-10-21 16:53 ` fw at deneb dot enyo dot de
                   ` (3 subsequent siblings)
  5 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2003-10-21 16:10 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717


charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


------- Additional Comments From charlet at gcc dot gnu dot org  2003-10-21 16:07 -------
Please check whether this is still the case on the minaline and if
so, please file a test case exposing the problem, or give more
details as to what code precisely is wrong, thanks.

Arno


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
  2003-05-25 13:47 ` [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector pinskia@physics.uc.edu
  2003-10-21 16:10 ` charlet at gcc dot gnu dot org
@ 2003-10-21 16:53 ` fw at deneb dot enyo dot de
  2003-10-23 12:27 ` charlet at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  5 siblings, 0 replies; 6+ messages in thread
From: fw at deneb dot enyo dot de @ 2003-10-21 16:53 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717



------- Additional Comments From fw at deneb dot enyo dot de  2003-10-21 16:51 -------
Subject: Re:  Race condition in GNAT.Sockets.Create_Selector

In Create_Selector, the call to C_Accept might accept a connection that
is not the one that was started a couple of lines above.  The code does
not deal with that situation in any way.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
                   ` (2 preceding siblings ...)
  2003-10-21 16:53 ` fw at deneb dot enyo dot de
@ 2003-10-23 12:27 ` charlet at gcc dot gnu dot org
  2005-06-16  8:42 ` cvs-commit at gcc dot gnu dot org
  2005-06-16  9:09 ` charlet at gcc dot gnu dot org
  5 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2003-10-23 12:27 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717


charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
   Last reconfirmed|2003-05-25 13:46:12         |2003-10-23 12:07:41
               date|                            |


------- Additional Comments From charlet at gcc dot gnu dot org  2003-10-23 12:07 -------
Reopening for investigation.

Arno


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
                   ` (3 preceding siblings ...)
  2003-10-23 12:27 ` charlet at gcc dot gnu dot org
@ 2005-06-16  8:42 ` cvs-commit at gcc dot gnu dot org
  2005-06-16  9:09 ` charlet at gcc dot gnu dot org
  5 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-06-16  8:42 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-16 08:42 -------
Subject: Bug 6717

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2005-06-16 08:41:50

Modified files:
	gcc/ada        : g-socket.ads g-socket.adb 

Log message:
	2005-06-14  Thomas Quinot  <quinot@adacore.com>
	
	PR ada/6717
	
	* g-socket.ads, g-socket.adb (Inet_Addr): Special case the all-ones
	broadcast address.
	(Create_Selector): Bind listening socket used to create the signalling
	socket pair to 127.0.0.1 to limit the scope for 'theft' of connection.
	Set listen backlog to 1 to ensure that we detect socket theft by a
	failure of our own connect(2) call.
	(Check_Selector): Improve documentation of the selector mechanism.
	(Broadcast_Inet_Addr): New constant.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-socket.ads.diff?cvsroot=gcc&r1=1.12&r2=1.13
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-socket.adb.diff?cvsroot=gcc&r1=1.13&r2=1.14



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector
       [not found] <20020518052602.6717.fw@deneb.enyo.de>
                   ` (4 preceding siblings ...)
  2005-06-16  8:42 ` cvs-commit at gcc dot gnu dot org
@ 2005-06-16  9:09 ` charlet at gcc dot gnu dot org
  5 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-06-16  9:09 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From charlet at gcc dot gnu dot org  2005-06-16 09:08 -------
Fixed on mainline.

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6717


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2005-06-16  9:09 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <20020518052602.6717.fw@deneb.enyo.de>
2003-05-25 13:47 ` [Bug ada/6717] Race condition in GNAT.Sockets.Create_Selector pinskia@physics.uc.edu
2003-10-21 16:10 ` charlet at gcc dot gnu dot org
2003-10-21 16:53 ` fw at deneb dot enyo dot de
2003-10-23 12:27 ` charlet at gcc dot gnu dot org
2005-06-16  8:42 ` cvs-commit at gcc dot gnu dot org
2005-06-16  9:09 ` charlet at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).