149 lines
3.3 KiB
C
149 lines
3.3 KiB
C
/** @file
|
|
* @brief Solution to the dining philosophers problem using fibers.
|
|
*/
|
|
|
|
/*
|
|
* Copyright (c) 2012-2014 Wind River Systems, Inc.
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#ifdef CONFIG_NANOKERNEL
|
|
/* For the nanokernel. */
|
|
#include <nanokernel.h>
|
|
#include "phil.h"
|
|
#else
|
|
/* For the microkernel. */
|
|
#include <zephyr.h>
|
|
#include "phil.h"
|
|
#endif
|
|
|
|
#include <nanokernel/cpu.h> //!< Used to be know as: irq_lock/irq_unlock
|
|
|
|
#ifdef CONFIG_NANOKERNEL
|
|
/* For the nanokernel. */
|
|
#define FORK(x) &forks[x]
|
|
#define TAKE(x) nano_fiber_sem_take_wait(x)
|
|
#define GIVE(x) nano_fiber_sem_give(x)
|
|
#define RANDDELAY(x) myDelay(((sys_tick_get_32() * ((x) + 1)) & 0x1f) + 1)
|
|
#else
|
|
/* For the microkernel. */
|
|
#define FORK(x) forks[x]
|
|
#define TAKE(x) task_mutex_lock(x, TICKS_UNLIMITED)
|
|
#define GIVE(x) task_mutex_unlock(x)
|
|
#define RANDDELAY(x) myDelay(((task_tick_get_32() * ((x) + 1)) & 0x1f) + 1)
|
|
#endif
|
|
|
|
#define PRINT(x,y) myPrint(x,y)
|
|
|
|
#ifdef CONFIG_NANOKERNEL
|
|
/* For the nanokernel. */
|
|
extern struct nano_sem forks[N_PHILOSOPHERS];
|
|
#else
|
|
/* For the microkernel. */
|
|
kmutex_t forks[] = { forkMutex0, forkMutex1, forkMutex2, forkMutex3, forkMutex4,
|
|
forkMutex5 };
|
|
#endif
|
|
|
|
/**
|
|
* @brief Prints a philosopher's state.
|
|
*
|
|
* @param id A philosopher's ID.
|
|
* @param str A string, either EATING or THINKING.
|
|
*
|
|
* @return N/A
|
|
*/
|
|
static void myPrint(int id,
|
|
char *str
|
|
) {
|
|
PRINTF("\x1b[%d;%dHPhilosopher %d %s\n", id + 1, 1, id, str);
|
|
}
|
|
|
|
/**
|
|
* @brief Waits for a number of ticks to elapse.
|
|
*
|
|
* @param ticks Number of ticks to delay.
|
|
*
|
|
* @return N/A
|
|
*/
|
|
static void myDelay(int ticks
|
|
) {
|
|
#ifdef CONFIG_MICROKERNEL
|
|
task_sleep (ticks);
|
|
#else
|
|
struct nano_timer timer;
|
|
|
|
nano_timer_init(&timer, (void *) 0);
|
|
nano_fiber_timer_start(&timer, ticks);
|
|
nano_fiber_timer_wait(&timer);
|
|
#endif
|
|
}
|
|
|
|
/**
|
|
* @brief Entry point to a philosopher's thread.
|
|
*
|
|
* @details This routine runs as a task in the microkernel environment
|
|
* and as a fiber in the nanokernel environment.
|
|
*
|
|
* Actions:
|
|
* -# Always takes the lowest fork first.
|
|
* -# Prints out either Eating or Thinking.
|
|
*
|
|
* @return Not applicable.
|
|
*/
|
|
void philEntry(void) {
|
|
#ifdef CONFIG_NANOKERNEL
|
|
/** Declares a fork for the nanokernel. */
|
|
struct nano_sem *f1;
|
|
|
|
/** Declares a second fork for the nanokernel. */
|
|
struct nano_sem *f2;
|
|
#else
|
|
/** Declares a fork for the microkernel. */
|
|
kmutex_t f1;
|
|
kmutex_t f2;
|
|
#endif
|
|
/** Declares the current philosopher's ID. */
|
|
static int myId;
|
|
|
|
/** Declares an interrupt lock level.*/
|
|
int pri = irq_lock();
|
|
|
|
/** Declares the next philosopher's ID. */
|
|
int id = myId++;
|
|
|
|
irq_unlock(pri);
|
|
|
|
if ((id + 1) != N_PHILOSOPHERS) { /* A1 */
|
|
f1 = FORK(id);
|
|
f2 = FORK(id + 1);
|
|
} else {
|
|
f1 = FORK(0);
|
|
f2 = FORK(id);
|
|
}
|
|
|
|
while (1) { /* A2 */
|
|
TAKE(f1);
|
|
TAKE(f2);
|
|
|
|
PRINT(id, "EATING ");
|
|
RANDDELAY(id);
|
|
|
|
GIVE(f2);
|
|
GIVE(f1);
|
|
|
|
PRINT(id, "THINKING");
|
|
RANDDELAY(id);
|
|
}
|
|
}
|