| /shark/trunk/kernel/init/makefile |
|---|
| 0,0 → 1,25 |
| # Initialization files |
| ifndef BASE |
| BASE=../.. |
| endif |
| include $(BASE)/config/config.mk |
| OBJS_PATH = $(BASE)/kernel/init |
| OBJS = \ |
| init4.o \ |
| init5.o \ |
| init6.o \ |
| initblk.o \ |
| initfs.o \ |
| initg.o \ |
| hartik3.o \ |
| h3pips.o \ |
| rm1.o \ |
| h3pi.o \ |
| pinit.o \ |
| h3piss.o |
| include $(BASE)/config/objs.mk |
| /shark/trunk/kernel/init/rm1.c |
|---|
| 0,0 → 1,143 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: rm1.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register a set of scheduling modules, in a fixed or |
| dynamic priority way... |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| SOFT_TASK_MODEL (periodicity=APERIODIC) at level 1 |
| NRT_TASK_MODEL at level 2 |
| SOFT_TASK_MODEL (periodicity=APERIODIC, wcet (only if TBS) ) at level 3,4 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/tbs.h" |
| #include "modules/rm.h" |
| #include "modules/rr.h" |
| #include "modules/ps.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "drivers/keyb.h" |
| #include <ll/stdio.h> |
| /*+ sysyem tick in us +*/ |
| #define TICK 300 |
| #define RRTICK 5000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| // EDF_register_level(EDF_ENABLE_ALL); |
| // PS_register_level(2 /*PS_ENABLE_ALL_EDF*/,0,1000,100000); |
| // RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| // TBS_register_level(TBS_ENABLE_ALL, 0, 1, 10); |
| // PS_register_level(2,0,3000,10000); |
| // TBS_register_level(TBS_ENABLE_ALL, 0, 3, 10); |
| RM_register_level(RM_ENABLE_ALL); |
| PS_register_level(4/*PS_ENABLE_ALL_RM*/,0,1000,100000); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| PS_register_level(4,0,1000,10000); |
| PS_register_level(4,0,3000,10000); |
| dummy_register_level(); |
| SEM_register_module(); |
| return TICK; |
| } |
| SOFT_TASK_MODEL m; |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| KEYB_PARMS k = BASE_KEYB; |
| soft_task_default_model(m); |
| soft_task_def_wcet(m,2000); |
| soft_task_def_met(m,800); |
| soft_task_def_period(m,25000); |
| soft_task_def_system(m); |
| soft_task_def_aperiodic(m); |
| soft_task_def_level(m,4); |
| keyb_def_task(k,&m); |
| HARTPORT_init(); |
| if (KEYB_init(&k) < 0) |
| kern_printf("Error during the init of the Keyboard!!!"); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/h3pi.c |
|---|
| 0,0 → 1,119 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: h3pi.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| h3pi.c |
| This file is equal to hartik3.c plus the resources module... |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/srp.h" |
| #include "modules/npp.h" |
| #include "modules/nop.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| //#define TICK 1000 |
| #define TICK 0 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PI_register_module(); |
| PC_register_module(); |
| NPP_register_module(); |
| SRP_register_module(); |
| NOP_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| kern_printf("TIME=%ld\n",sys_gettime(NULL)); |
| KEYB_init(NULL); |
| kern_printf("TIME=%ld\n",sys_gettime(NULL)); |
| // KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/hartik3.c |
|---|
| 0,0 → 1,119 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: hartik3.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a RR (Round Robin) level |
| a CBS (Costant Bandwidth Server) level |
| a Dummy level |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (met, period) at level 2 |
| This file is similar to the configuration of Hartik 3.3.1 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/h3pips.c |
|---|
| 0,0 → 1,130 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: h3pips.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| h3pips.c |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a RR (Round Robin) level |
| a CBS (Costant Bandwidth Server) level |
| a PS (Polling Server) level |
| a Dummy level |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (met, period) at level 2 |
| SOFT_TASK_MODEL (periodicity=APERIODIC) at level 3 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/ps.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/srp.h" |
| #include "modules/npp.h" |
| #include "modules/nop.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| PS_register_level(2 /*PS_ENABLE_ALL_EDF*/,0,500,100000); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PI_register_module(); |
| PC_register_module(); |
| NPP_register_module(); |
| SRP_register_module(); |
| NOP_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/h3piss.c |
|---|
| 0,0 → 1,128 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: h3piss.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| h3piss.c |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a CBS (Costant Bandwidth Server) level |
| a SS (Sporadic Server) level |
| a RR (Round Robin) level |
| a Dummy level |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| SOFT_TASK_MODEL (met, period) at level 1 |
| SOFT_TASK_MODEL (periodicity=APERIODIC) at level 2 |
| NRT_TASK_MODEL at level 3 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/rm.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/ss.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/srp.h" |
| #include "modules/npp.h" |
| #include "modules/nop.h" |
| #include "drivers/keyb.h" |
| /*+ system tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| SS_register_level(SS_ENABLE_GUARANTEE_EDF,0,5000,20000); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PC_register_module(); |
| PI_register_module(); |
| NPP_register_module(); |
| SRP_register_module(); |
| NOP_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/initg.c |
|---|
| 0,0 → 1,207 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: initg.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a RR (Round Robin) level |
| a CBS (Costant Bandwidth Server) level |
| a Dummy level |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (met, period) at level 2 |
| This file is similar to the configuration of Hartik 3.3.1 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/rm.h" |
| #include "modules/cbs.h" |
| #include "modules/tbs.h" |
| #include "modules/ps.h" |
| #include "modules/ds.h" |
| #include "modules/rr.h" |
| #include "modules/rr2.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 300 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| /* the mouse task use 160 us approx on my Celeron 366 */ |
| #define NUM 200 |
| #define DEN 64000 |
| //#define DEN 8000 |
| //#undef XXX |
| //#define XXX |
| int argc; |
| char *argv[100]; |
| extern char *title; |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| int conf; |
| __compute_args__(mb,&argc, argv); |
| if (argc < 2) |
| conf = '0'; // default |
| else |
| conf = *argv[1]; |
| switch (conf) { |
| case '1': |
| RM_register_level(0); // NO GUARANTEE!!! |
| PS_register_level(PS_ENABLE_BACKGROUND, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "1 - RM + PS ( bkg, U=1/16) + RR, no check Ulub < 0.69"; |
| break; |
| case '2': |
| RM_register_level(0); // NO GUARANTEE!!! |
| PS_register_level(0, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "2 - RM + PS (nobkg, U=1/16) + RR, no check Ulub < 0.69\n"; |
| break; |
| case '3': |
| EDF_register_level(2); |
| PS_register_level(PS_ENABLE_ALL_EDF, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "3 - EDF + PS ( bkg, U=1/16) + RR"; |
| break; |
| case '4': |
| EDF_register_level(2); |
| PS_register_level(PS_ENABLE_GUARANTEE_EDF, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "4 - EDF + PS (nobkg, U=1/16) + RR"; |
| break; |
| case '5': |
| EDF_register_level(2); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| TBS_register_level(TBS_ENABLE_ALL, 0, NUM, DEN); |
| title = "5 - EDF + TBS( U=1/16) + RR"; |
| break; |
| case '6': |
| RM_register_level(0); // NO GUARANTEE!!! |
| DS_register_level(DS_ENABLE_BACKGROUND, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "6 - RM + DS ( bkg, U=1/16) + RR, no check Ulub < 0.69"; |
| break; |
| case '7': |
| RM_register_level(0); // NO GUARANTEE!!! |
| DS_register_level(0, 0, NUM, DEN); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| title = "7 - RM + DS (nobkg, U=1/16) + RR, no check Ulub < 0.69\n"; |
| break; |
| default: // '0' |
| EDF_register_level(2); |
| RR2_register_level(RRTICK, RR2_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| title = "0 - EDF + CBS + RR"; |
| } |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| return TICK; |
| } |
| int main(int argc, char **argv); |
| TASK __init__(void *arg) |
| { |
| // struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| KEYB_init(NULL); |
| main(argc,argv); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/pinit.c |
|---|
| 0,0 → 1,132 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: pinit.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a POSIX (32 levels RR/FIFO) level |
| a CBS (Costant Bandwidth Server) level |
| a Dummy level |
| It can accept these task models: |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (met, period) at level 2 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/cbs.h" |
| #include "modules/posix.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "drivers/keyb.h" |
| #include "pthread.h" |
| #include "time.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| // RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| POSIX_register_level(RRTICK, POSIX_MAIN_YES, mb, 32); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| PI_register_module(); |
| PC_register_module(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PTHREAD_register_module(1, 0, 1); |
| TIMER_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/init4.c |
|---|
| 0,0 → 1,106 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: init4.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a RR (Round Robin) level |
| a CBS (Constant Bandwidth Server) level |
| a Dummy level |
| the system can accept (into () the mandatory fields): |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (met, period) at level 2 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/rr.h" |
| #include "modules/cbs.h" |
| #include "modules/dummy.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 300 |
| #define RRTICK 5000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/init5.c |
|---|
| 0,0 → 1,133 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: init5.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| an EDF (Earliest Deadline First) level |
| a RR (Round Robin) level |
| a TBS (Total Bandwidth Server) level 0.1 Us |
| a TBS (Total Bandwidth Server) level 0.3 Us |
| a CBS (Constant Bandwidth Server) level |
| a Dummy level |
| The TBS bandwidth is TBS_NUM/TBS_DEN |
| It can accept these task models (into () the mandatory fields): |
| HARD_TASK_MODEL (wcet+mit) at level 0 |
| NRT_TASK_MODEL at level 1 |
| SOFT_TASK_MODEL (wcet, periodicity=APERIODIC) at level 2,3 |
| SOFT_TASK_MODEL (met,period) at level 4 |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/rr.h" |
| #include "modules/tbs.h" |
| #include "modules/cbs.h" |
| #include "modules/rrsoft.h" |
| #include "modules/dummy.h" |
| #include "drivers/keyb.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| /*+ sysyem tick in us +*/ |
| //#define TICK 300 |
| #define TICK 0 |
| #define RRTICK 5000 |
| #define TBS_NUM 1 |
| #define TBS_DEN 10 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| TBS_register_level(TBS_ENABLE_ALL, 0, TBS_NUM, TBS_DEN); |
| TBS_register_level(TBS_ENABLE_ALL, 0, TBS_NUM*3, TBS_DEN); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| /* RRSOFT_register_level(RRTICK, RR_MAIN_NO, mb, RRSOFT_ONLY_HARD); |
| RR_register_level(RRTICK, RR_MAIN_NO, mb); |
| RRSOFT_register_level(RRTICK, RR_MAIN_NO, mb, RRSOFT_ONLY_SOFT); //cbs |
| RRSOFT_register_level(RRTICK, RR_MAIN_NO, mb, RRSOFT_ONLY_SOFT); //tbs |
| RRSOFT_register_level(RRTICK, RR_MAIN_NO, mb, RRSOFT_ONLY_SOFT); //tbs |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| */ |
| dummy_register_level(); |
| SEM_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| HARTPORT_init(); |
| // KEYB_init(NULL); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/init6.c |
|---|
| 0,0 → 1,101 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /** |
| ------------ |
| CVS : $Id: init6.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:52 $ |
| ------------ |
| System initialization file |
| The tick is set to TICK ms. |
| This file contains the 2 functions needed to initialize the system. |
| These functions register the following levels: |
| a RR (Round Robin) level |
| a Dummy level |
| It can accept these task models: |
| NRT_TASK_MODEL at level 0,1 |
| This file is equal to init1.c but it links the semaphore library |
| **/ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| #include "kernel/kern.h" |
| #include "modules/rr.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 300 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| RR_register_level(RRTICK/4, RR_MAIN_NO, mb); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| dummy_register_level(); |
| SEM_register_module(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/initfs.c |
|---|
| 0,0 → 1,119 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| /* |
| * CVS : $Id: initfs.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| * |
| * File: $File$ |
| * Revision: $Revision: 1.1.1.1 $ |
| * Last update: $Date: 2002-03-29 14:12:52 $ |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/rr.h" |
| #include "modules/cbs.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/srp.h" |
| #include "modules/npp.h" |
| #include "modules/nop.h" |
| #include "modules/nopm.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| extern int __register_sub_init_prologue(void); |
| extern int __register_sub_init(void); |
| __register_sub_init_prologue(); |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PI_register_module(); |
| PC_register_module(); |
| NPP_register_module(); |
| SRP_register_module(); |
| NOP_register_module(); |
| NOPM_register_module(); |
| __register_sub_init(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| KEYB_PARMS keyb = BASE_KEYB; |
| extern int __bdev_sub_init(void); |
| extern int __fs_sub_init(void); |
| extern void ctrlc_exit(KEY_EVT *k); |
| HARTPORT_init(); |
| keyb_def_ctrlC(keyb, ctrlc_exit); |
| KEYB_init(&keyb); |
| __bdev_sub_init(); |
| __fs_sub_init(); |
| __call_main__(mb); |
| return (void *)0; |
| } |
| /shark/trunk/kernel/init/initblk.c |
|---|
| 0,0 → 1,113 |
| /* |
| * Project: S.Ha.R.K. |
| * |
| * Coordinators: |
| * Giorgio Buttazzo <giorgio@sssup.it> |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * |
| * Authors : |
| * Paolo Gai <pj@gandalf.sssup.it> |
| * (see the web pages for full authors list) |
| * |
| * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
| * |
| * http://www.sssup.it |
| * http://retis.sssup.it |
| * http://shark.sssup.it |
| */ |
| /* |
| * Copyright (C) 2000 Paolo Gai |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| * |
| * You should have received a copy of the GNU General Public License |
| * along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| * |
| */ |
| /* |
| * CVS : $Id: initblk.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $ |
| * |
| * File: $File$ |
| * Revision: $Revision: 1.1.1.1 $ |
| * Last update: $Date: 2002-03-29 14:12:52 $ |
| */ |
| #include "kernel/kern.h" |
| #include "modules/edf.h" |
| #include "modules/rr.h" |
| #include "modules/cbs.h" |
| #include "modules/dummy.h" |
| #include "modules/sem.h" |
| #include "modules/hartport.h" |
| #include "modules/cabs.h" |
| #include "modules/pi.h" |
| #include "modules/pc.h" |
| #include "modules/srp.h" |
| #include "modules/npp.h" |
| #include "modules/nop.h" |
| #include "modules/nopm.h" |
| #include "drivers/keyb.h" |
| /*+ sysyem tick in us +*/ |
| #define TICK 1000 |
| /*+ RR tick in us +*/ |
| #define RRTICK 10000 |
| TIME __kernel_register_levels__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| extern int __register_sub_init(void); |
| EDF_register_level(EDF_ENABLE_ALL); |
| RR_register_level(RRTICK, RR_MAIN_YES, mb); |
| CBS_register_level(CBS_ENABLE_ALL, 0); |
| dummy_register_level(); |
| SEM_register_module(); |
| CABS_register_module(); |
| PI_register_module(); |
| PC_register_module(); |
| NPP_register_module(); |
| SRP_register_module(); |
| NOP_register_module(); |
| NOPM_register_module(); |
| __register_sub_init(); |
| return TICK; |
| } |
| TASK __init__(void *arg) |
| { |
| struct multiboot_info *mb = (struct multiboot_info *)arg; |
| KEYB_PARMS keyb = BASE_KEYB; |
| extern int __bdev_sub_init(void); |
| extern void ctrlc_exit(KEY_EVT *k); |
| HARTPORT_init(); |
| keyb_def_ctrlC(keyb, ctrlc_exit); |
| KEYB_init(&keyb); |
| __bdev_sub_init(); |
| __call_main__(mb); |
| return (void *)0; |
| } |