Changeset 09ab0a9a in mainline for kernel/test/synch/rcu1.c

Timestamp:

2018-09-13T12:05:53Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

cc74cb5

Parents:

b2aaaa0

git-author:

Jiri Svoboda <jiri@…> (2018-09-13 07:09:46)

git-committer:

Jiri Svoboda <jiri@…> (2018-09-13 12:05:53)

Message:

Fix vertical spacing with new Ccheck revision.

File:

• kernel/test/synch/rcu1.c (modified) (15 diffs)

kernel/test/synch/rcu1.c

@@ -40 +40 @@
 #include <synch/rcu.h>
 
-
 #define MAX_THREADS 32
 
@@ -134 +133 @@
 }
 
-
 static void join_one(void)
 {
@@ -150 +148 @@
 /*-------------------------------------------------------------------*/
 
-
 static void nop_reader(void *arg)
 {
@@ -195 +192 @@
 /*-------------------------------------------------------------------*/
 
-
-
 static void long_reader(void *arg)
 {
@@ -236 +231 @@
 
 /*-------------------------------------------------------------------*/
-
 
 static atomic_t nop_callbacks_cnt = 0;
@@ -363 +357 @@
         size_t start_time;
 } seq_item_t;
-
 
 static errno_t seq_test_result = EOK;
@@ -460 +453 @@
         get_seq(0, total_cnt, get_thread_cnt(), read_cnt);
 
-
         for (size_t i = 0; i < get_thread_cnt(); ++i) {
                 item[i].update_cnt = total_cnt - read_cnt[i];
@@ -496 +488 @@
 
 /*-------------------------------------------------------------------*/
-
 
 static void reader_unlocked(rcu_item_t *item)
@@ -555 +546 @@
         errno_t result;
 } preempt_t;
-
 
 static void preempted_unlocked(rcu_item_t *item)
@@ -607 +597 @@
         TPRINTF("}reader_inside_cur\n");
 }
-
 
 static void preempted_reader_cur(void *arg)
@@ -683 +672 @@
 }
 
-
 static bool do_one_reader_preempt(void (*f)(void *), const char *err)
 {
@@ -772 +760 @@
 }
 
-
 static bool do_synch(void)
 {
@@ -800 +787 @@
         rcu_synchronize();
         join_one();
-
 
         if (synch->reader_done) {
@@ -857 +843 @@
 } stress_t;
 
-
 static void stress_reader(void *arg)
 {
@@ -1006 +991 @@
         const char *desc;
 };
-
 
 const char *test_rcu1(void)