Changeset 9c615b7 in rtems

Timestamp:

01/04/16 08:55:59 (7 years ago)

Author:

Sebastian Huber <sebastian.huber@…>

Branches:

4.11

Children:

cb7c6f5

Parents:

b4350d1

git-author:

Sebastian Huber <sebastian.huber@…> (01/04/16 08:55:59)

git-committer:

Sebastian Huber <sebastian.huber@…> (01/05/16 06:09:56)

Message:

score: Fix watchdog insert

Under certain conditions a new watchdog was inserted with a wrong
and very large delta interval due to a wrong iterator update.

Bug was introduced by 1ccbd052910ed16131c74b0d5595c8a94066942d.

Close #2507.

Files:

• cpukit/score/src/watchdoginsert.c (modified) (4 diffs)
• testsuites/sptests/spwatchdog/init.c (modified) (3 diffs)

cpukit/score/src/watchdoginsert.c

@@ -23 +23 @@
 static void _Watchdog_Insert_fixup(
   Watchdog_Header   *header,
+  Watchdog_Control  *the_watchdog,
+  Watchdog_Interval  delta,
   Watchdog_Control  *next_watchdog,
-  Watchdog_Interval  delta
+  Watchdog_Interval  delta_next
 )
 {
@@ -30 +32 @@
   Chain_Node       *iterator_node;
 
-  next_watchdog->delta_interval -= delta;
+  next_watchdog->delta_interval = delta_next - delta;
 
   iterator_node = _Chain_First( &header->Iterators );
@@ -41 +43 @@
 
     if ( iterator->current == &next_watchdog->Node ) {
-      iterator->delta_interval -= delta;
+      iterator->current = &the_watchdog->Node;
     }
 
@@ -77 +79 @@
 
       if ( delta < delta_next ) {
-        _Watchdog_Insert_fixup( header, next_watchdog, delta );
+        _Watchdog_Insert_fixup(
+          header,
+          the_watchdog,
+          delta,
+          next_watchdog,
+          delta_next
+        );
         break;
       }

testsuites/sptests/spwatchdog/init.c

@@ -132 +132 @@
   d->initial = 3;
   _Watchdog_Insert( &header, d );
-  rtems_test_assert( i.delta_interval == 1 );
-  rtems_test_assert( i.current == &b->Node );
+  rtems_test_assert( i.delta_interval == 2 );
+  rtems_test_assert( i.current == &d->Node );
 
   destroy_watchdogs( &header );
@@ -193 +193 @@
   rtems_test_assert( a->delta_interval == 2 );
   rtems_test_assert( c->delta_interval == 4 );
-  rtems_test_assert( i.delta_interval == 4 );
-  rtems_test_assert( i.current == &a->Node );
+  rtems_test_assert( i.delta_interval == 8 );
+  rtems_test_assert( i.current == &c->Node );
+
+  destroy_watchdogs( &header );
+}
+
+static void init_watchdogs_insert_with_iterator(
+  Watchdog_Header *header,
+  Watchdog_Control watchdogs[2]
+)
+{
+  Watchdog_Control *a = &watchdogs[0];
+  Watchdog_Control *b = &watchdogs[1];
+
+  _Watchdog_Preinitialize( a );
+  _Watchdog_Preinitialize( b );
+
+  _Watchdog_Header_initialize( header );
+
+  a->initial = 6;
+  _Watchdog_Insert( header, a );
+  rtems_test_assert( a->delta_interval == 6 );
+}
+
+static void test_watchdog_insert_with_iterator( void )
+{
+  Watchdog_Header header;
+  Watchdog_Control watchdogs[2];
+  Watchdog_Control *a = &watchdogs[0];
+  Watchdog_Control *b = &watchdogs[1];
+  Watchdog_Iterator i;
+
+  init_watchdogs_insert_with_iterator( &header, watchdogs );
+  add_iterator( &header, &i, a );
+
+  b->initial = 4;
+  _Watchdog_Insert( &header, b );
+  rtems_test_assert( a->delta_interval == 2 );
+  rtems_test_assert( b->delta_interval == 4 );
+  rtems_test_assert( i.delta_interval == 2 );
+  rtems_test_assert( i.current == &b->Node );
 
   destroy_watchdogs( &header );
@@ -237 +276 @@
   test_watchdog_insert_and_remove();
   test_watchdog_remove_second_and_insert_first();
+  test_watchdog_insert_with_iterator();
 
   build_time( &time, 12, 31, 1988, 9, 0, 0, 0 );