|
|
task.cpp00001 /* 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 00037 /* 00038 * toppers/itron/jsp/task.cpp 00039 */ 00040 #include "toppers/itron/jsp/task.hpp" 00041 #include "toppers/itron/jsp/kernel_chk.hpp" 00042 #include "toppers/reporter.hpp" 00043 #include "toppers/misc.hpp" 00044 #include "toppers/s_record.hpp" 00045 #include "toppers/nm_symbol.hpp" 00046 00047 namespace toppers 00048 { 00049 namespace itron 00050 { 00051 namespace jsp 00052 { 00053 00054 namespace 00055 { 00056 00057 long get_id( boost::shared_ptr<kernel_cfg::initial_block> pinib ) 00058 { 00059 return pinib->id(); 00060 } 00061 00062 } 00063 00069 void task_policy::generate_constants( const kernel_cfg& cfg, std::ostream& ostr ) 00070 { 00071 ostr << "const ID _kernel_torder_table[TNUM_TSKID] = {"; 00072 const kernel_cfg::inib_array* pinibs = cfg.get_inib_array( name_ ); 00073 output_list( pinibs->begin(), pinibs->end(), ostr, get_id, ", " ); 00074 ostr << "};\n\n"; 00075 } 00076 00082 void task_policy::generate_assertions( const kernel_cfg& cfg, std::ostream& ostr ) 00083 { 00084 const kernel_cfg::inib_array* pinibs = cfg.get_inib_array( name_ ); 00085 static const char pattern[] = 00086 "#if ((@#tskatr) & (TA_HLNG|TA_ASM)) != TA_HLNG\n" 00087 "#error \"`tskatr\' of task `@name\' is not TA_HLNG\"\n" 00088 "#endif\n" 00089 "__CFG_ASSERT(((@#tskatr) & (TA_HLNG|TA_ASM)) == TA_HLNG);\n" 00090 "__CFG_ASSERT(TMIN_TPRI <= (@itskpri) && (@itskpri) <= TMAX_TPRI);\n" 00091 "__CFG_ASSERT((@stksz) > 0);\n" 00092 "\n" 00093 "#if ((@#texatr) & (TA_HLNG|TA_ASM)) != TA_HLNG\n" 00094 "#error \"`texatr\' of task `@name\' is not TA_HLNG\"\n" 00095 "#endif\n" 00096 "__CFG_ASSERT(((@#texatr) & (TA_HLNG|TA_ASM)) == TA_HLNG);\n" 00097 "\n"; 00098 std::transform( pinibs->begin(), pinibs->end(), std::ostream_iterator<std::string>( ostr ), generator( pattern ) ); 00099 } 00100 00105 void task_policy::generate_extra_empty_labels( std::ostream& ostr ) 00106 { 00107 ostr << "__EMPTY_LABEL(const ID, _kernel_torder_table);\n"; 00108 } 00109 00116 bool task_policy::verify( const static_api& api, kernel_object& obj ) 00117 { 00118 if ( obj.get( "stk" ) != "NULL" ) 00119 { 00120 error( _( "parameter `%1%\' must be `NULL\'" ) % "stk" ); 00121 return false; 00122 } 00123 if ( obj.get( "#texatr" ).empty() ) 00124 { 00125 obj.set( "#texatr", "0" ); 00126 } 00127 if ( obj.get( "texrtn" ).empty() ) 00128 { 00129 obj.set( "texrtn", "0" ); 00130 } 00131 return true; 00132 } 00133 00140 bool task_policy::check( const itron::kernel_chk& chk, const s_record& srec, const nm_symbol& syms ) 00141 { 00142 nm_symbol::entry entry = syms.find( "_kernel_tinib_table" ); 00143 if ( entry.type < 0 ) 00144 { 00145 return false; 00146 } 00147 long tnum_tskid = chk.get( kernel_chk::countof_TSKID ); 00148 long sizeof_FP = chk.get( kernel_chk::sizeof_FP ); 00149 long sizeof_TINIB = chk.get( kernel_chk::sizeof_TINIB ); 00150 long offsetof_TINIB_task = chk.get( kernel_chk::offsetof_TINIB_task ); 00151 00152 for ( int i = 0; i < tnum_tskid; i++ ) 00153 { 00154 unsigned long value = 0; 00155 for ( int j = 0; j < sizeof_FP; j++ ) 00156 { 00157 int t = srec[entry.address + sizeof_TINIB*i + offsetof_TINIB_task + j]; 00158 if ( t < 0 ) 00159 { 00160 return false; 00161 } 00162 value = ( value << 8 ) | ( t & 0xff ); 00163 } 00164 if ( value == 0 ) 00165 { 00166 error( _( "start address of task %1% is null" ) % ( i + 1 ) ); 00167 } 00168 } 00169 return true; 00170 } 00171 00172 const char task_policy::name_[] = "task"; 00173 const char task_policy::symbol_[] = "tsk"; 00174 const char* const task_policy::apis_[] = { "CRE_TSK", 0 }; 00175 const char* const task_policy::params_[] = { "$tskid { #tskatr exinf task itskpri stksz stk }", 0 }; 00176 const char* const task_policy::apis2_[] = { "DEF_TEX", 0 }; 00177 const char* const task_policy::params2_[] = { "%tskid { #texatr texrtn }", 0 }; 00178 const char* const task_policy::prefix_ = "t"; 00179 const char task_policy::region_format_[] = "static __STK_UNIT __stack_@name[__TCOUNT_STK_UNIT(@stksz)];\n"; 00180 const char task_policy::init_format_[] = "\t{ @#tskatr, (VP_INT)(@exinf), (FP)(@task), INT_PRIORITY(@itskpri), __TROUND_STK_UNIT(@stksz), __stack_@name, @#texatr, (FP)(@texrtn) }"; 00181 00182 } 00183 } 00184 } Copyright © 2006 by TAKAGI Nobuhisa. このページは Wed Apr 12 16:31:56 2006 に Doxygen によって生成されました。 |