Login | Register
My pages Projects Community openCollabNet

Discussions > users > runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger.

charles
Discussion topic

Back to topic list

runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger.

Reply

Author anisimkov
Full name Dmitriy Anisimkov
Date 2005-07-06 02:37:16 PDT
Message AI302 cursors proposal.

Make a simple runtime check for detect invalid cursors.

Each cursor and container should have an
internal biggest modular number - modification tag (MT).
When cursor gotten from container, MT is copied from container into the
cursor.
Each modification on container would increment MT in container and in cursor
used to modify container. Any operation (read/write) under container by
the cursor
should be checked for equal MT on cursor and modified container.
Raise exception if MT is not equal in cursor and container.

Each modification under container would cause invalidation with runtime
check
for each cursor on this container, except modifying one.

« Previous message in topic | 1 of 15 | Next message in topic »

Messages

Show all messages in topic

runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 02:37:16 PDT
     RE: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. matthewjheaney Matthew Heaney 2005-07-06 06:01:18 PDT
         Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Duncan Sands <baldrick at free dot fr> Duncan Sands <baldrick at free dot fr> 2005-07-06 06:44:16 PDT
             Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Georg Bauhaus <bauhaus at arcor dot de> Georg Bauhaus <bauhaus at arcor dot de> 2005-07-06 07:39:23 PDT
                 Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Matthew Heaney <mheaney at on2 dot com> Matthew Heaney <mheaney at on2 dot com> 2005-07-06 14:41:46 PDT
         Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Georg Bauhaus <bauhaus at arcor dot de> Georg Bauhaus <bauhaus at arcor dot de> 2005-07-06 07:40:12 PDT
         Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 09:55:45 PDT
             Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Matthew Heaney <mheaney at on2 dot com> Matthew Heaney <mheaney at on2 dot com> 2005-07-06 10:03:12 PDT
                 Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 20:19:10 PDT
                     RE: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. matthewjheaney Matthew Heaney 2005-07-06 22:19:03 PDT
             Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. Matthew Heaney <mheaney at on2 dot com> Matthew Heaney <mheaney at on2 dot com> 2005-07-06 11:05:37 PDT
                 Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 20:24:15 PDT
                     Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 21:06:43 PDT
                         RE: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. matthewjheaney Matthew Heaney 2005-07-06 22:23:35 PDT
                             Re: runtime check proposal. Was: GCC 4.0 Ada.Containers Cursor danger. anisimkov Dmitriy Anisimkov 2005-07-06 22:30:22 PDT
Messages per page: