kernel_policy.hpp

00001 /*
00002  *  TOPPERS/FDMP Kernel
00003  *      Toyohashi Open Platform for Embedded Real-Time Systems/
00004  *      Function Distributed Multiprocessor Kernel
00005  *
00006  *  Copyright (C) 2005 by Takagi Nobuhisa
00007  * 
00008  *  上記著作権者は，以下の (1)〜(4) の条件か，Free Software Foundation 
00009  *  によって公表されている GNU General Public License の Version 2 に記
00010  *  述されている条件を満たす場合に限り，本ソフトウェア（本ソフトウェア
00011  *  を改変したものを含む．以下同じ）を使用・複製・改変・再配布（以下，
00012  *  利用と呼ぶ）することを無償で許諾する．
00013  *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
00014  *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
00015  *      スコード中に含まれていること．
00016  *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
00017  *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
00018  *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
00019  *      の無保証規定を掲載すること．
00020  *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
00021  *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
00022  *      と．
00023  *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
00024  *        作権表示，この利用条件および下記の無保証規定を掲載すること．
00025  *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
00026  *        報告すること．
00027  *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
00028  *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
00029  * 
00030  *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
00031  *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，その適用可能性も
00032  *  含めて，いかなる保証も行わない．また，本ソフトウェアの利用により直
00033  *  接的または間接的に生じたいかなる損害に関しても，その責任を負わない．
00034  * 
00035  */
00036 
00046 #ifndef TOPPERS_ITRON_JSP_KERNEL_POLICY_HPP_
00047 #define TOPPERS_ITRON_JSP_KERNEL_POLICY_HPP_
00048 
00049 #include "toppers/config.hpp"
00050 #include <iosfwd>
00051 #include <string>
00052 #include <boost/mpl/list.hpp>
00053 
00054 namespace toppers
00055 {
00056 
00057   class kernel_cfg;
00058 
00059   namespace itron
00060   {
00061 
00062     struct include_policy;
00063 
00064     namespace jsp
00065     {
00066 
00067       struct task_policy;
00068       struct semaphore_policy;
00069       struct eventflag_policy;
00070       struct dataqueue_policy;
00071       struct mailbox_policy;
00072       struct mempfix_policy;
00073       struct cyclic_policy;
00074       struct interrupt_policy;
00075       struct exception_policy;
00076       struct initialization_policy;
00077       struct termination_policy;
00078 
00079       class kernel_chk;
00080 
00086       struct kernel_policy
00087       {
00093         typedef boost::mpl::list<include_policy, task_policy, semaphore_policy, eventflag_policy,
00094                                  dataqueue_policy, mailbox_policy, mempfix_policy, cyclic_policy,
00095                                  interrupt_policy, exception_policy, initialization_policy,
00096                                  termination_policy> sequence;
00097         enum { prid_ = 0x0001 };
00098         typedef jsp::kernel_chk kernel_chk;
00099 
00100         static bool match_version( const std::string& ver );
00101         static void extra_init( const kernel_cfg& cfg, std::ostream& ostr );
00102       };
00103 
00104     }
00105   }
00106 }
00107 
00108 #endif  // ! TOPPERS_ITRON_JSP_KERNEL_POLICY_HPP_
00109