mutextest03.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.
*/
 
#include <ubinos/ubik_test.h>
 
#if !(UBINOS__UBIK_TEST__EXCLUDE_MUTEXTESTSET == 1)
 
#include <stdio.h>
#include <stdlib.h>
 
extern volatile unsigned int    _g_ubik_test_result;
extern volatile unsigned int    _g_ubik_test_count1;
extern volatile unsigned int    _g_ubik_test_count2;
extern volatile unsigned int    _g_ubik_test_count3;
extern mutex_pt                 _g_ubik_test_mutex;
extern task_pt                  _g_ubik_test_task_a[4];
 
static void mutextest03_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++) {
        _g_ubik_test_count1++;
        printf("1");
        bsp_busywait(waitvalue);
    }
    printf("\r\n");
 
    printf("task 1 tries to lock mutex\r\n");
    r = mutex_lock(_g_ubik_test_mutex);
    if (0 != r) {
        printf("task 1: fail at mutex_lock(), err=%d\r\n", r);
        _g_ubik_test_result = -1;
        goto end0;
    }
    printf("task 1 locks mutex\r\n");
 
    for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
        _g_ubik_test_count1++;
        printf("1");
        bsp_busywait(waitvalue);
    }
    printf("\r\n");
 
    r = mutex_unlock(_g_ubik_test_mutex);
    if (0 != r) {
        printf("task 1: fail at mutex_unlock(), err=%d\r\n", r);
        _g_ubik_test_result = -1;
        goto end0;
    }
    printf("task 1 unlocks mutex\r\n");
 
end0:
    printf("task 1 ends\r\n");
}
 
static void mutextest03_task2func(void * arg) {
    int i;
    unsigned int waitvalue = UBINOS__UBIK_TEST__TASKWAITTIMEMS * bsp_getbusywaitcountperms();
 
    for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
        _g_ubik_test_count2++;
        printf("2");
        bsp_busywait(waitvalue);
    }
    printf("\r\n");
 
    printf("task 2 ends\r\n");
}
 
static void mutextest03_task3func(void * arg) {
    int r;
    int i;
    unsigned int waitvalue = UBINOS__UBIK_TEST__TASKWAITTIMEMS * bsp_getbusywaitcountperms();
 
    r = mutex_lock(_g_ubik_test_mutex);
    if (0 != r) {
        printf("task 3: fail at mutex_lock(), err=%d\r\n", r);
        _g_ubik_test_result = -1;
        goto end0;
    }
    printf("task 3 locks mutex\r\n");
 
    for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 3); i++) {
        _g_ubik_test_count3++;
        printf("3");
        bsp_busywait(waitvalue);
    }
    printf("\r\n");
 
    printf("task 3 unlocks mutex\r\n");
    r = mutex_unlock(_g_ubik_test_mutex);
    if (0 != r) {
        printf("task 3: fail at mutex_unlock(), err=%d\r\n", r);
        _g_ubik_test_result = -1;
        goto end0;
    }
 
    for (i=0; i<(UBINOS__UBIK_TEST__TASKLOOPCOUNT * 1); i++) {
        _g_ubik_test_count3++;
        printf("3");
        bsp_busywait(waitvalue);
    }
    printf("\r\n");
 
end0:
    printf("task 3 ends\r\n");
}
 
int ubik_test_mutextest03(void) {
    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_mutextest03</name>\r\n");
    printf("<description>Test on priority inheritance feature of mutex preventing priority inversion situation</description>\n\r");
 
    printf("<message>\n\r");
 
    _g_ubik_test_result = 0;
 
    _g_ubik_test_count1 = 0;
    _g_ubik_test_count2 = 0;
    _g_ubik_test_count3 = 0;
 
    _g_ubik_test_task_a[0] = NULL;
    _g_ubik_test_task_a[1] = NULL;
    _g_ubik_test_task_a[2] = NULL;
 
    r = mutex_create(&_g_ubik_test_mutex);
    if (0 != r) {
        printf("fail at mutex_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], mutextest03_task3func, NULL, task_getpriority(NULL)-3, 0, "mutextest03 task 3");
    if (0 != r) {
        printf("fail at task_create(), err=%d\r\n", r);
        r = -1;
        goto end1;
    }
 
    task_sleep(sleepvalue);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    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], mutextest03_task1func, NULL, task_getpriority(NULL)-1, 0, "mutextest03 task 1");
    if (0 != r) {
        printf("fail at task_create(), err=%d\r\n", r);
        r = -1;
        goto end2;
    }
 
    task_sleep(sleepvalue);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    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");
 
    pri = task_getpriority(_g_ubik_test_task_a[0]);
    printf("priority of task 1 is %d\r\n", pri);
    pri = task_getpriority(_g_ubik_test_task_a[2]);
    printf("priority of task 3 is %d\r\n", pri);
 
    task_sleep(sleepvalue * 2);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    printf("\r\n");
    pri = task_getpriority(_g_ubik_test_task_a[2]);
    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], mutextest03_task2func, NULL, task_getpriority(NULL)-2, 0, "mutextest03 task 2");
    if (0 != r) {
        printf("fail at task_create(), err=%d\r\n", r);
        r = -1;
        goto end2;
    }
 
    task_sleep(sleepvalue);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    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);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    printf("\r\n");
    pri = task_getpriority(_g_ubik_test_task_a[2]);
    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);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    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);
 
    count1 = _g_ubik_test_count1;
    count2 = _g_ubik_test_count2;
    count3 = _g_ubik_test_count3;
    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:
    r2 = task_join(_g_ubik_test_task_a, NULL, 3);
    if (0 != r2) {
        printf("fail at task_join(), err=%d\r\n", r2);
        r = -1;
    }
 
end1:
    r2 = mutex_delete(&_g_ubik_test_mutex);
    if (0 != r2) {
        printf("fail at mutex_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_MUTEXTESTSET == 1) */