ubinos
signaltest03.c
/*
Copyright (C) 2009 Sung Ho Park
Contact: ubinos.org@gmail.com
This file is part of the lib_ubik_test component of the Ubinos.
GNU General Public License Usage
This file may be used under the terms of the GNU
General Public License version 3.0 as published by the Free Software
Foundation and appearing in the file license_gpl3.txt included in the
packaging of this file. Please review the following information to
ensure the GNU General Public License version 3.0 requirements will be
met: http://www.gnu.org/copyleft/gpl.html.
GNU Lesser General Public License Usage
Alternatively, this file may be used under the terms of the GNU Lesser
General Public License version 2.1 as published by the Free Software
Foundation and appearing in the file license_lgpl.txt included in the
packaging of this file. Please review the following information to
ensure the GNU Lesser General Public License version 2.1 requirements
will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
Commercial Usage
Alternatively, licensees holding valid commercial licenses may
use this file in accordance with the commercial license agreement
provided with the software or, alternatively, in accordance with the
terms contained in a written agreement between you and rightful owner.
*/
#if !(UBINOS__UBIK_TEST__EXCLUDE_SIGNALTESTSET == 1)
#include <stdio.h>
#include <stdlib.h>
static void signaltest03_task1func(void * arg) {
int r;
int i;
unsigned int waitvalue = UBINOS__UBIK_TEST__TASKWAITTIMEMS * bsp_getbusywaitcountperms();
for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
printf("1");
bsp_busywait(waitvalue);
}
printf("\r\n");
printf("Task 1 waits signal\r\n");
printf("Task 1: fail at signal_wait(), err=%d\r\n", r);
goto end0;
}
printf("Task 1 receives signal\r\n");
for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
printf("1");
bsp_busywait(waitvalue);
}
printf("\r\n");
end0:
printf("Task 1 ends\r\n");
}
static void signaltest03_task2func(void * arg) {
int i;
unsigned int waitvalue = UBINOS__UBIK_TEST__TASKWAITTIMEMS * bsp_getbusywaitcountperms();
for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
printf("2");
bsp_busywait(waitvalue);
}
printf("\r\n");
printf("Task 2 ends\r\n");
}
static void signaltest03_task3func(void * arg) {
int r;
int i;
unsigned int waitvalue = UBINOS__UBIK_TEST__TASKWAITTIMEMS * bsp_getbusywaitcountperms();
for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 3); i++) {
printf("3");
bsp_busywait(waitvalue);
}
printf("\r\n");
printf("Task 3 sends signal\r\n");
if (0 != r) {
printf("Task 3: fail at signal_send(), err=%d\r\n", r);
goto end0;
}
for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
printf("3");
bsp_busywait(waitvalue);
}
printf("\r\n");
printf("Cancels sender setting\r\n");
if (0 != r) {
printf("Task 3: fail at signal_setsender(), err=%d\r\n", r);
goto end0;
}
end0:
printf("Task 3 ends\r\n");
}
int r;
int r2;
unsigned int count1;
unsigned int count2;
unsigned int count3;
unsigned int sleepvalue = ubik_timemstotick(UBINOS__UBIK_TEST__TASKWAITTIMEMS) * UBINOS__UBIK_TEST__TASKLOOPCOUNT / 3;
int pri;
printf("\r\n");
printf("<test>\r\n");
printf("<name>ubik_test_signaltest03</name>\r\n");
printf("<description>Priority inheritance test of signal</description>\n\r");
printf("<message>\n\r");
if (0 != r) {
printf("fail at signal_create(), err=%d\r\n", r);
r = -1;
goto end0;
}
printf("Task 3 begins\r\n");
r = task_create(&_g_ubik_test_task_a[3-1], signaltest03_task3func, NULL, task_getpriority(NULL)-3, 0, "signaltest03 task 3");
if (0 != r) {
printf("fail at task_create(), err=%d\r\n", r);
r = -1;
goto end1;
}
printf("Set task 3 as a sender\r\n");
if (0 != r) {
printf("fail at signal_setsender(), err=%d\r\n", r);
r = -1;
goto end2;
}
task_sleep(sleepvalue);
printf("\r\n");
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 01: ");
if (count1 != _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 == _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Task 1 begins\r\n");
r = task_create(&_g_ubik_test_task_a[1-1], signaltest03_task1func, NULL, task_getpriority(NULL)-1, 0, "signaltest03 task 1");
if (0 != r) {
printf("fail at task_create(), err=%d\r\n", r);
r = -1;
goto end2;
}
task_sleep(sleepvalue);
printf("\r\n");
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 02: ");
if (count1 == _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 != _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
printf("Priority of task 1 is %d\r\n", pri);
printf("Priority of task 3 is %d\r\n", pri);
task_sleep(sleepvalue * 2);
printf("\r\n");
printf("Priority of task 3 is %d\r\n", pri);
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 03: ");
if (count1 != _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 == _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Task 2 begins\r\n");
r = task_create(&_g_ubik_test_task_a[2-1], signaltest03_task2func, NULL, task_getpriority(NULL)-2, 0, "signaltest03 task 2");
if (0 != r) {
printf("fail at task_create(), err=%d\r\n", r);
r = -1;
goto end2;
}
task_sleep(sleepvalue);
printf("\r\n");
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 04: ");
if (count1 != _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 == _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
task_sleep(sleepvalue * 2);
printf("\r\n");
printf("Priority of task 3 is %d\r\n", pri);
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 05: ");
if (count1 == _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 != _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
task_sleep(sleepvalue * 2);
printf("\r\n");
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 06: ");
if (count1 != _g_ubik_test_count1 || count2 == _g_ubik_test_count2 || count3 != _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
task_sleep(sleepvalue * 2);
printf("\r\n");
printf("Checking\r\n");
task_sleep(sleepvalue);
printf("\r\n");
printf("Check point 07: ");
if (count1 != _g_ubik_test_count1 || count2 != _g_ubik_test_count2 || count3 == _g_ubik_test_count3) {
printf("fail\r\n");
r = -1;
goto end2;
}
printf("pass\r\n");
r = 0;
end2:
if (0 != r2) {
printf("fail at task_join(), err=%d\r\n", r2);
r = -1;
}
end1:
if (0 != r2) {
printf("fail at signal_delete(), err=%d\r\n", r2);
r = -1;
}
end0:
if (0 != r || 0 > _g_ubik_test_result) {
r = -1;
}
else {
r = 0;
}
printf("</message>\n\r");
printf("<result>");
if (0 == r) {
printf("pass");
}
else {
printf("fail");
}
printf("</result>\r\n");
printf("</test>\r\n");
printf("\r\n");
return r;
}
#endif /* !(UBINOS__UBIK_TEST__EXCLUDE_SIGNALTESTSET == 1) */
_g_ubik_test_task_a
task_pt _g_ubik_test_task_a[4]
시험 용 태스크 배열
task_join
int task_join(task_pt *task_p, int *result_p, int count)
UBINOS__UBIK_TEST__SIGTYPE
#define UBINOS__UBIK_TEST__SIGTYPE
Definition: ubik_test.h:46
signal_create
int signal_create(signal_pt *signal_p)
_g_ubik_test_count2
volatile unsigned int _g_ubik_test_count2
태스크 별 시험 진행 상황을 저장하는 전역 변수 2
ubik_timemstotick
unsigned int ubik_timemstotick(unsigned int timems)
ubik_test.h
ubik test API
bsp_getbusywaitcountperms
unsigned int bsp_getbusywaitcountperms(void)
signal_send
int signal_send(signal_pt signal, int sigtype)
bsp_busywait
void bsp_busywait(unsigned int count)
_g_ubik_test_count1
volatile unsigned int _g_ubik_test_count1
태스크 별 시험 진행 상황을 저장하는 전역 변수 1
_g_ubik_test_result
volatile unsigned int _g_ubik_test_result
시험 결과를 저장하는 전역 변수
task_create
int task_create(task_pt *task_p, taskfunc_ft func, void *arg, int priority, unsigned int stackdepth, const char *name)
_g_ubik_test_count3
volatile unsigned int _g_ubik_test_count3
태스크 별 시험 진행 상황을 저장하는 전역 변수 3
signal_delete
int signal_delete(signal_pt *signal_p)
task_getpriority
int task_getpriority(task_pt task)
signal_setsender
int signal_setsender(signal_pt signal, task_pt task)
NULL
#define NULL
Definition: type.h:65
ubik_test_signaltest03
int ubik_test_signaltest03(void)
Test on priority inheritance feature of signal preventing priority inversion situation.
_g_ubik_test_signal
signal_pt _g_ubik_test_signal
시험 용 시그널
stdlib.h
stdlib (Standard Library) API
task_sleep
int task_sleep(unsigned int tick)
signal_wait
int signal_wait(signal_pt signal)