Subversion Repositories shark

Rev

Rev 961 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
961 pj 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *   Paolo Gai           <pj@gandalf.sssup.it>
10
 *   Massimiliano Giorgi <massy@gandalf.sssup.it>
11
 *   Luca Abeni          <luca@gandalf.sssup.it>
12
 *   (see the web pages for full authors list)
13
 *
14
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
15
 *
16
 * http://www.sssup.it
17
 * http://retis.sssup.it
18
 * http://shark.sssup.it
19
 */
20
 
21
/**
22
 ------------
23
 CVS :        $Id: npp.c,v 1.1 2005-02-25 10:45:36 pj Exp $
24
 
25
 File:        $File$
26
 Revision:    $Revision: 1.1 $
27
 Last update: $Date: 2005-02-25 10:45:36 $
28
 ------------
29
 
30
 Non Preemptive Protocol. see npp.h for more details...
31
 
32
**/
33
 
34
/*
35
 * Copyright (C) 2000 Paolo Gai
36
 *
37
 * This program is free software; you can redistribute it and/or modify
38
 * it under the terms of the GNU General Public License as published by
39
 * the Free Software Foundation; either version 2 of the License, or
40
 * (at your option) any later version.
41
 *
42
 * This program is distributed in the hope that it will be useful,
43
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
44
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
45
 * GNU General Public License for more details.
46
 *
47
 * You should have received a copy of the GNU General Public License
48
 * along with this program; if not, write to the Free Software
49
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
50
 *
51
 */
52
 
53
 
54
#include <npp/npp/npp.h>
55
 
56
#include <ll/ll.h>
1689 fabio 57
#include <arch/string.h>
58
#include <arch/stdio.h>
961 pj 59
#include <kernel/const.h>
60
#include <sys/types.h>
61
#include <kernel/descr.h>
62
#include <kernel/var.h>
63
#include <kernel/func.h>
64
 
65
/* The NPP resource level descriptor */
66
typedef struct {
67
  mutex_resource_des m;   /*+ the mutex interface +*/
68
 
69
  int nlocked;  /*+ how many mutex a task currently locks +*/
70
} NPP_mutex_resource_des;
71
 
72
 
73
#if 0
74
/*+ print resource protocol statistics...+*/
75
static void NPP_resource_status(RLEVEL r)
76
{
77
  NPP_mutex_resource_des *m = (NPP_mutex_resource_des *)(resource_table[r]);
78
 
79
  kern_printf("%d Resources owned by the tasks %d\n", m->nlocked, exec_shadow);
80
}
81
#endif
82
 
83
static int NPP_res_register(RLEVEL l, PID p, RES_MODEL *r)
84
{
85
  /* NPP works with all tasks without Resource parameters */
86
  return -1;
87
}
88
 
89
static void NPP_res_detach(RLEVEL l, PID p)
90
{
91
  NPP_mutex_resource_des *m = (NPP_mutex_resource_des *)(resource_table[l]);
92
 
93
  if (m->nlocked)
94
    kern_raise(XMUTEX_OWNER_KILLED, p);
95
}
96
 
97
static int NPP_init(RLEVEL l, mutex_t *m, const mutexattr_t *a)
98
{
99
  if (a->mclass != NPP_MCLASS)
100
    return -1;
101
 
102
  m->mutexlevel = l;
103
  m->opt = (void *)NIL;
104
 
105
  return 0;
106
}
107
 
108
 
109
static int NPP_destroy(RLEVEL l, mutex_t *m)
110
{
111
//  NPP_mutex_resource_des *lev = (NPP_mutex_resource_des *)(resource_table[l]);
112
 
113
  if ( ((PID) m->opt) != NIL)
114
    return (EBUSY);
115
 
116
  return 0;
117
}
118
 
119
static int NPP_lock(RLEVEL l, mutex_t *m)
120
{
121
  NPP_mutex_resource_des *lev;
122
  SYS_FLAGS f;
123
 
124
  f = kern_fsave();
125
 
126
  if (((PID)m->opt) == exec_shadow) {
127
    /* the task already owns the mutex */
128
    kern_frestore(f);
129
    return (EDEADLK);
130
  }
131
 
132
  /* p->opt == NIL (It can't be the case of p->opt != NIL and != exec_shadow
133
     because when a task lock a mutex it become unpreemptable */
134
 
135
  /* the mutex is free, We can lock it! */
136
  lev = (NPP_mutex_resource_des *)(resource_table[l]);
137
 
138
  if (!lev->nlocked) task_nopreempt();
139
  lev->nlocked++;
140
 
141
  m->opt = (void *)exec_shadow;
142
 
143
  kern_frestore(f);
144
 
145
  return 0;
146
}
147
 
148
// static int NPP_trylock(RLEVEL l, mutex_t *m) is a non-sense!
149
 
150
static int NPP_unlock(RLEVEL l, mutex_t *m)
151
{
152
  NPP_mutex_resource_des *lev;
153
 
154
  /* the mutex is mine */
155
  lev = (NPP_mutex_resource_des *)(resource_table[l]);
156
  lev->nlocked--;
157
 
158
  m->opt = (void *)NIL;
159
 
160
  if (!lev->nlocked) task_preempt();
161
 
162
  return 0;
163
}
164
 
165
void NPP_register_module(void)
166
{
167
  RLEVEL l;                  /* the level that we register */
168
  NPP_mutex_resource_des *m;  /* for readableness only */
169
 
170
  printk("NPP_register_module\n");
171
 
172
  /* request an entry in the level_table */
173
  l = resource_alloc_descriptor();
174
 
175
  /* alloc the space needed for the EDF_level_des */
176
  m = (NPP_mutex_resource_des *)kern_alloc(sizeof(NPP_mutex_resource_des));
177
 
178
  /* update the level_table with the new entry */
179
  resource_table[l] = (resource_des *)m;
180
 
181
  /* fill the resource_des descriptor */
182
  m->m.r.rtype                       = MUTEX_RTYPE;
183
  m->m.r.res_register                = NPP_res_register;
184
  m->m.r.res_detach                  = NPP_res_detach;
185
 
186
  /* fill the mutex_resource_des descriptor */
187
  m->m.init                          = NPP_init;
188
  m->m.destroy                       = NPP_destroy;
189
  m->m.lock                          = NPP_lock;
190
  m->m.trylock                       = NPP_lock;   // !!!!!!!!!!!!
191
  m->m.unlock                        = NPP_unlock;
192
 
193
  /* fill the NPP_mutex_resource_des descriptor */
194
  m->nlocked = 0;
195
}
196