cardgame.oil

《OSEK/VDX汽车电子嵌入式软件编程技术》中光盘的资料

//
//OIL file: cardgame.oil
//

OIL_VERSION = "2.0";


CPU cardgame {
   
   /**************************************************************************/
   /*             Tasks                                                      */
   /**************************************************************************/

   TASK IOSampleKeypad {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 8;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK IOSampleShuffleSwitch {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 7;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK InitAlarms {
           /*@****************************************************************/
           /* Must be highest priority in the system.                        */
           /*@****************************************************************/

           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 16;
           ACTIVATION = 1;
           AUTOSTART = TRUE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK OutputDisplay {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 12;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK ProcessKeyPress {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 2;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK ShuffleCards {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 4;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };

   TASK ShufflingComplete {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 5;
           ACTIVATION = 1;
           AUTOSTART = FALSE;
           STACKSIZE = 32;
           SCHEDULE_CALL = FALSE;
   };

   TASK background {
           TYPE = BASIC;
           SCHEDULE = FULL;
           PRIORITY = 1;
           ACTIVATION = 1;
           AUTOSTART = TRUE;
           STACKSIZE = 64;
           SCHEDULE_CALL = FALSE;
   };


   /**************************************************************************/
   /*             Alarms                                                     */
   /**************************************************************************/

   ALARM SampleKeypad {
           COUNTER = SYSTEM_COUNTER;
           TASK = IOSampleKeypad;
           ACTION = ACTIVATETASK;
   };

   ALARM SampleShuffleSwitchAlarm {
           COUNTER = SYSTEM_COUNTER;
           TASK = IOSampleShuffleSwitch;
           ACTION = ACTIVATETASK;
   };

   ALARM ShuffleAlarm {
           COUNTER = SHUFFLE_COUNTER;
           TASK = ShuffleCards;
           ACTION = ACTIVATETASK;
   };


   /**************************************************************************/
   /*             Resources                                                  */
   /**************************************************************************/

   RESOURCE RES_SCHEDULER {
           /* No attributes defined */
   };


   /**************************************************************************/
   /*             Counters                                                   */
   /**************************************************************************/

   COUNTER SHUFFLE_COUNTER {
           /*@****************************************************************/
           /* Shuffling Counter                                              */
           /*@****************************************************************/

           MAXALLOWEDVALUE = 9;
           TICKSPERBASE = 1;
           MINCYCLE = 3;
   };

   COUNTER SYSTEM_COUNTER {
           MAXALLOWEDVALUE = 65535;
           TICKSPERBASE = 1000000;
           MINCYCLE = 1;
   };


   /**************************************************************************/
   /*             Application Modes                                          */
   /**************************************************************************/

   APPMODE HEAD_TO_HEAD {
           VALUE = AUTO;
   };

   APPMODE SINGLE_PLAYER {
           VALUE = AUTO;
   };

   APPMODE TEST {
           VALUE = AUTO;
   };


   /**************************************************************************/
   /*             O/S                                                        */
   /**************************************************************************/

   OS OSEKWorks_os {
           CC = AUTO;
           STATUS = EXTENDED;
           SCHEDULE = AUTO;
           SYSTEMSTACKSIZE = 1024;
           StartupHook = TRUE;
           ErrorHook = TRUE;
           ShutdownHook = TRUE;
           PreTaskHook = TRUE;
           PostTaskHook = TRUE;
   };

};
/*#***************************************************************************/
/* IOSampleKeypad:2; IOSampleShuffleSwitch:9; InitAlarms:16;                 */
/* OutputDisplay:4; ProcessKeyPress:3; ShuffleCards:7;                       */
/* ShufflingComplete:23; background:1; SampleKeypad:14;                      */
/* SampleShuffleSwitchAlarm:10; ShuffleAlarm:5; RES_SCHEDULER:0; 1; 100 0;   */
/* 300 0; 100 64; 300 64; 100 128; 300 128; 330 48; 100 192; 164 176; 300    */
/* 192; 32 0; 124 48; 124 48; 164 176; 32 0; 83 48; 32 0; 83 48; 124 48;     */
/* 164 176; 83 48; 124 48; 164 176; 32 0; 83 48; 124 48; 164 176; 32 0; 32   */
/* 0; 59 48; 59 48; 83 48; 124 48; 164 176;                                  */
/*#***************************************************************************/