diff driver/critical.h @ 0:42f240cc4bc6

From: 太田 篤志 <atoc@namikilab.tuat.ac.jp>
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Sep 2009 13:44:18 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/driver/critical.h	Tue Sep 08 13:44:18 2009 +0900
@@ -0,0 +1,21 @@
+/**
+ * critical.h
+ * SPE プロセスマネージャ spe_manager
+ * クリティカルセクションに関する変数や関数など
+ */
+
+#ifndef  SPE_MANAGER__CRITICAL_H
+#define  SPE_MANAGER__CRITICAL_H
+
+#include <linux/semaphore.h>
+#include <linux/spinlock.h>
+
+
+// 外部から参照される関数
+void initialize_critical(void);
+struct semaphore *get_semaphore_for_spe_pid(void);
+struct semaphore *get_semaphore_for_process_list(void);
+spinlock_t *get_spinlock_for_process_list(void);
+
+
+#endif /*SPE_MANAGER__CRITICAL_H*/