diff --git a/examples/kernel/event_simple.c b/examples/kernel/event_simple.c
index 927ed928b836dfddad72c6da7e4b431a658b156b..e377e721bb22831a08b37f687409d6843ca99ad9 100644
--- a/examples/kernel/event_simple.c
+++ b/examples/kernel/event_simple.c
@@ -7,6 +7,7 @@
  * 一个线程定时发送事件 (事件5)
  */
 #include <rtthread.h>
+#include <time.h>
 #include "tc_comm.h"
 
 /* 指向线程控制块的指针 */
diff --git a/examples/kernel/mutex_simple.c b/examples/kernel/mutex_simple.c
index b84cef12bfbcdb5744d1b41a3c89cfc16d0561cc..afbab3a3e12131c0e55460bb715a3f5c6d902593 100644
--- a/examples/kernel/mutex_simple.c
+++ b/examples/kernel/mutex_simple.c
@@ -60,6 +60,10 @@ static void thread3_entry(void* parameter)
     while (1)
     {
         result = rt_mutex_take(mutex, RT_WAITING_FOREVER);
+        if (result != RT_EOK)
+        {
+            tc_stat(TC_STAT_END | TC_STAT_FAILED);
+        }
         result = rt_mutex_take(mutex, RT_WAITING_FOREVER);
         if (result != RT_EOK)
         {
diff --git a/examples/kernel/semaphore_buffer_worker.c b/examples/kernel/semaphore_buffer_worker.c
index de4647576940bc93970c2c6d2551a4705d008459..db3285c74bff6458ccfae1104fdc31dccd3fdbbc 100644
--- a/examples/kernel/semaphore_buffer_worker.c
+++ b/examples/kernel/semaphore_buffer_worker.c
@@ -178,8 +178,14 @@ static void worker_entry(void* parameter)
 
         /* 持有信号量 */
         rt_sem_take(sem, RT_WAITING_FOREVER);
+
         /* 把数据放到环形buffer中 */
         result = rb_put(&working_rb, &data_buffer[0], BUFFER_ITEM);
+        if (result == RT_FALSE)
+        {
+            rt_kprintf("put error\n");
+        }
+
         /* 释放信号量 */
         rt_sem_release(sem);
 
diff --git a/examples/kernel/semaphore_producer_consumer.c b/examples/kernel/semaphore_producer_consumer.c
index 48da71430656c37701da612597c09c952c00f309..a240cfa8b2a369f2883b7f36d9c13bd3283cbec3 100644
--- a/examples/kernel/semaphore_producer_consumer.c
+++ b/examples/kernel/semaphore_producer_consumer.c
@@ -59,6 +59,7 @@ void consumer_thread_entry(void* parameter)
     /* 第n个线程，由入口参数传进来 */
     no = (rt_uint32_t)parameter;
 
+    sum = 0;
     while(1)
     {
         /* 获取一个满位 */