Subversion Repositories shark

Rev

Rev 2 | Rev 29 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 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
 ------------
24
 CVS :        $Id: func.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $
25
 
26
 File:        $File$
27
 Revision:    $Revision: 1.1.1.1 $
28
 Last update: $Date: 2002-03-29 14:12:51 $
29
 ------------
30
 
31
Kernel functions:
32
 
33
- Debug stuff
34
 
35
- Primitives called at initialization time
36
 
37
- Kernel global functions (scheduler, queues)
38
 
39
- Kernel VM hooks
40
 
41
- IRQ, errors & exception handling
42
 
43
- System management primitives
44
 
45
- Jet management primitives
46
 
47
- Task management primitives
48
 
49
- Mutex primitives
50
 
51
**/
52
 
53
/*
54
 * Copyright (C) 2000 Paolo Gai
55
 *
56
 * This program is free software; you can redistribute it and/or modify
57
 * it under the terms of the GNU General Public License as published by
58
 * the Free Software Foundation; either version 2 of the License, or
59
 * (at your option) any later version.
60
 *
61
 * This program is distributed in the hope that it will be useful,
62
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
63
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
64
 * GNU General Public License for more details.
65
 *
66
 * You should have received a copy of the GNU General Public License
67
 * along with this program; if not, write to the Free Software
68
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
69
 *
70
 */
71
 
72
#ifndef __KERNEL_FUNC_H__
73
#define __KERNEL_FUNC_H__
74
 
75
#include <ll/ll.h>
76
#include <ll/stdio.h>
77
#include <kernel/types.h>
78
#include <kernel/model.h>
79
#include <kernel/mem.h>
80
#include <signal.h>
81
#include <kernel/var.h>
82
#include <errno.h>
83
 
84
 
85
/*---------------------------------------------------------------------*/
86
/* Debug stuff                                                         */
87
/*---------------------------------------------------------------------*/
88
 
89
/* if a source use printk() it should include log.h not func.h */
90
#include <kernel/log.h>
91
 
92
#if 0
93
#ifdef __DEBUG_ON__
94
#define printk(fmt,args...)    \
95
        VM_printf(fmt,##args)
96
#else
97
#define printk(fmt,args...)
98
#endif
99
#endif
100
 
101
/*---------------------------------------------------------------------*/
102
/* Kernel global functions: initialization & termination...            */
103
/*---------------------------------------------------------------------*/
104
 
105
/*+ this function is called by __kernel_init__.
106
    It register the modules in the system at init time +*/
107
TIME __kernel_register_levels__(void *arg);
108
 
109
/*+ This function returns a level_des **. the value returned shall be
110
    used to register a level module. The function shall be called only at
111
    module registration time. It assume that the system is not yet
112
    initialized, so we shall not call sys_abort...                     +*/
113
LEVEL level_alloc_descriptor();
114
 
115
/*+ This function returns a resource_des **. the value returned shall be
116
    used to register a resource module. The function shall be called only at
117
    module registration time. It assume that the system is not yet
118
    initialized, so we shall not call sys_abort...                     +*/
119
RLEVEL resource_alloc_descriptor();
120
 
121
/*+ This function compute the command line parameters from the multiboot_info
122
    NOTE: this function modify the multiboot struct, so this function and
123
    __call_main__ are mutually exclusives!!! +*/
124
void __compute_args__(struct multiboot_info *mbi, int *_argc, char **_argv);
125
 
126
/*+ This function calls the standard C main() function, with a
127
    parameter list up to 100 parameters                        +*/
128
int __call_main__(struct multiboot_info *mb);
129
 
130
/*+ This task initialize the system and calls the main() with
131
    __call_mail__ .
132
    It should be created by a level registered in the system by
133
    __kernel_register_levels__ +*/
134
TASK __init__(void *arg);
135
 
136
/*+ Use this function to post your own exit operations
137
    (when uses some defines contained in const.h) +*/
138
int sys_atrunlevel(void (*func_code)(void *),void *parm, BYTE when);
139
 
140
/*+ These functions can be used to set a nice (I hope) default
141
    signal handler. If not used, they are not linked.
142
    They returns -1 if an error occurred, as done by the
143
    sigaction primitive. +*/
144
int set_exchandler_grx();
145
int set_exchandler_text();
146
 
147
/*---------------------------------------------------------------------*/
148
/* Kernel global functions: scheduler, queues                          */
149
/*---------------------------------------------------------------------*/
150
 
151
/*+ This is the generic scheduler.
152
    The scheduler calls the appropriates level schedulers and then
153
    dispatch the task chosen. +*/
154
void scheduler(void);
155
 
156
/*+ called in the events to force the system to execute the scheduler at
157
    the end of an event list +*/
158
void event_need_reschedule();
159
 
160
/* Simple QUEUE management functions */
161
void q_insert           (PID p, QUEUE *q);
162
void q_timespec_insert  (PID p, QUEUE *q);
163
void q_extract          (PID p, QUEUE *q);
164
PID  q_getfirst         (       QUEUE *q);
165
void q_insertfirst      (PID p, QUEUE *q);
166
 
167
 
168
/* QQUEUE management functions */
169
void qq_init            (       QQUEUE *q);
170
void qq_insert          (PID p, QQUEUE *q);
171
void qq_timespec_insert (PID p, QQUEUE *q);
172
void qq_extract         (PID p, QQUEUE *q);
173
PID  qq_getfirst        (       QQUEUE *q);
174
void qq_insertfirst     (PID p, QQUEUE *q);
175
void qq_insertlast      (PID p, QQUEUE *q);
176
PID  qq_queryfirst      (       QQUEUE *q);
177
PID  qq_querylast       (       QQUEUE *q);
178
 
179
 
180
void task_makefree(void *ret);
181
void check_killed_async(void);
182
 
183
int guarantee();
184
 
185
void runlevel_init();
186
void call_runlevel_func(int runlevel, int aborting);
187
 
188
// in kill.c
189
void kill_user_tasks();
190
 
191
void event_resetepilogue();
192
 
193
 
194
void call_task_specific_data_destructors();
195
void task_specific_data_init();
196
 
197
// in kill.c
198
void register_cancellation_point(int (*func)(PID p, void *arg), void *arg);
199
 
200
// in signal.c
201
void register_interruptable_point(int (*func)(PID p, void *arg), void *arg);
202
 
203
 
204
/*---------------------------------------------------------------------*/
205
/* Kernel VM hooks                                                     */
206
/*---------------------------------------------------------------------*/
207
 
208
/* this hooks redefines the VM functions to use them into the kernel...
209
 
210
   the only VM functions called directly from the kernel are VM_init and
211
   VM_end
212
*/
213
 
214
/* Context management routines */
215
#define kern_context_create    ll_context_create
216
#define kern_context_delete    ll_context_delete
217
 
218
extern __inline__ CONTEXT kern_context_save()
219
{
220
  cli();
221
  return ll_context_from();
222
}
223
 
224
 
225
 
226
#ifdef __TEST1__
227
extern int useds;
228
extern int testactive;
229
extern struct timespec s_send[];
230
#endif
231
 
232
 
233
/*+ this functions are called every time a context is changed +*/
234
void kern_after_dispatch(void);
235
 
236
/* Warning: if modified, modify also:
237
   - task_join
238
   - cond_wait
239
   - cond_timedwait
240
   - internal_sem_wait
241
*/
242
extern __inline__ void kern_context_load(c)
243
{
244
  ll_context_to(c);
245
  kern_after_dispatch();
246
 
247
  #ifdef __TEST1__
248
  if (testactive) ll_gettime(TIME_EXACT,&s_send[useds-1] );
249
  #endif
250
  sti();
251
}
252
 
253
 
254
/* Interrupt enabling/disabling */
255
#define kern_cli          cli
256
#define kern_sti          sti
257
 
258
/* Interrupt enabling/disabling with flag save */
259
#define kern_fsave        ll_fsave
260
#define kern_frestore     ll_frestore
261
 
262
/* interrupt handling */
263
#define kern_irq_unmask   VM_irq_unmask
264
#define kern_irq_mask     VM_irq_mask
265
 
266
extern __inline__ int kern_event_post(const struct timespec *time,
267
                                      void (*handler)(void *p),
268
                                      void *par)
269
{
270
  int e;
271
  e = event_post(*time,handler,par);
272
 
273
  if (e == -1)
274
    kern_raise(XNOMORE_EVENTS,exec_shadow);
275
 
276
  return e;
277
}
278
 
279
/*+ the default capacity timer used by the kernel... +*/
280
void capacity_timer(void *arg);
281
 
282
 
283
#define kern_printf message
284
 
285
/*---------------------------------------------------------------------*/
286
/* Kernel global functions: IRQ, errors and exception handling         */
287
/*---------------------------------------------------------------------*/
288
 
289
/*+ Generic exception trapping routine +*/
290
void act_exc(int code);
291
 
292
/*
293
 * User level interrupt/exception primitives
294
 */
295
 
296
/*+ Interrupt handler installation +*/
297
int handler_set(int no, void (*fast)(int), PID pi);
298
 
299
/*+ Interrupt handler removal      +*/
300
int handler_remove(int no);
301
 
302
 
303
/*---------------------------------------------------------------------*/
304
/* System management primitives                                        */
305
/*---------------------------------------------------------------------*/
306
 
307
/*+ Close the system & return to HOST OS.
308
    Can be called from all the tasks...
309
    The first time it is called it jumps to the global context
310
    The second time it jumps only if there are no system task remaining
311
    The error code passed is 0... (it is saved on the first call!!!) +*/
312
void sys_end(void);
313
 
314
/*+ Close the system & return to HOST OS.
315
    Can be called from all the tasks...
316
    The first time it is called it works as the sys_end
317
    The second time it jumps every time
318
    The error code passed is 0... +*/
319
void sys_abort(int err);
320
 
321
/* The system implements also exit and _exit as a redefinition of sys_end
322
   This is not the correct behaviour, and should be fixed.
323
   The definitions for these functions are in kernel/kern.c
324
*/
325
 
326
/*+ Print a message then call sys_abort(333).
327
    Can be called from all the tasks...  +*/
328
void sys_panic(const char * fmt, ...) __attribute__ ((format (printf, 1, 2)));
329
 
330
/*+ prints an error message (see perror.c) +*/
331
void perror (const char *s);
332
 
333
/*+ Convert a status in a string. Useful for sys_status and level_status +*/
334
char *status_to_a(WORD status);
335
 
336
/*+ this primitive prints the status of the system. cw contains a set of
337
    the statuses to be prompted... see const.h +*/
338
void sys_status(DWORD cw);
339
 
340
/*+ sys_status flags +*/
341
#define CLOCK_STATUS    1
342
#define SCHED_STATUS    2
343
#define MEM_STATUS      4
344
 
345
/*+ this primitive returns the time read from the system timer +*/
346
TIME sys_gettime(struct timespec *t);
347
 
348
/*---------------------------------------------------------------------*/
349
/* Jet management primitives                                           */
350
/*---------------------------------------------------------------------*/
351
 
352
/*+ This primitive returns the maximum execution time and the total
353
    execution time from the task_create or the last jet_delstat
354
    It returns also the number of instances to use to calculate the mean
355
    time and the current job execution time.
356
    The value returned is 0 if all ok, -1 if the PID is not correct or
357
    the task doesn't have the JET_ENABLE bit set.
358
+*/
359
int jet_getstat(PID p, TIME *sum, TIME *max, int *n, TIME *curr);
360
 
361
/*+ This primitive reset to 0 the maximum execution time and the mean
362
    execution time of the task p, and reset to 0 all the entries in
363
    jet_table.
364
    The value returned is 0 if all ok, -1 if the PID is not correct or
365
    the task doesn't have the JET_ENABLE bit set.                     +*/
366
int jet_delstat(PID p);
367
 
368
/*+ This primitive returns the last n values of the task execution time
369
    recorded after the last call to jet_gettable or jet_delstat.
370
    If n is
371
    <0 it will be set only the last values inserted in the table
372
       since the last call of jet_gettable.
373
    >0 it will be set up to JET_TABLE_DIM datas.
374
 
375
    The value returned is -1 if the PID is not correct or
376
    the task doesn't have the JET_ENABLE bit set, otherwise it returns the
377
    number of values set in the parameter table.
378
    (can be from 0 to JET_TABLE_DIM-1)
379
+*/
380
int jet_gettable(PID p, TIME *table, int n);
381
 
382
/*+ This function updates the jet information. +*/
383
void jet_update_slice(TIME t);
384
 
385
/*+ This function updates the jet information at the task end period
386
    it is called in task_endcycle and task_sleep +*/
387
void jet_update_endcycle();
388
 
389
/*---------------------------------------------------------------------*/
390
/* Task management primitives                                          */
391
/*---------------------------------------------------------------------*/
392
 
393
 
394
/*+ This primitive:
395
    - Reserve a task descriptor
396
    - Create the task based on the task model passed
397
    - Initialize the resources used by the task
398
    - Guarantees the task set
399
+*/
400
PID task_createn(char *name,      /*+ the symbolic name of the task +*/
401
                 TASK (*body)(),  /*+ a pointer to the task body    +*/
402
                 TASK_MODEL *m,   /*+ the task model                +*/
403
                                  /*+ the resources models, a list  +*/
404
                 ...);            /*+ of models terminated by NULL  +*/
405
 
406
 
407
/*+ a redefinition of task_createn +*/
408
extern __inline PID task_create(char *name, TASK (*body)(),
409
                                void *m, void *r)
410
{
411
   return task_createn(name, body, (TASK_MODEL *)m, (RES_MODEL *)r, NULL);
412
}
413
 
414
 
415
/* This function allow to create a set of tasks without guarantee.
416
   It must be called with interrupts disabled and it must be used with
417
   group_create_accept and group_create_reject.
418
 
419
   This function allocates a task descriptor and fills it.
420
   After that, the guarantee() function should be called to check for task(s)
421
   admission.
422
   Next, each task created with group_create must be accepted with a call to
423
   group_create_accept() or rejected with a call to group_create_reject.
424
 
425
   The function returns the PID of the allocated descriptor, or NIL(-1)
426
   if the descriptor cannot be allocated or some problems arises the creation.
427
   If -1 is returned, errno is set to a value that represent the error:
428
      ENO_AVAIL_TASK       -> no free descriptors available
429
      ENO_AVAIL_SCHEDLEVEL -> there were no scheduling modules that can handle
430
                              the TASK_MODEL *m passed as parameter
431
      ETASK_CREATE         -> there was an error during the creation of the
432
                              task into the scheduling module
433
      ENO_AVAIL_RESLEVEL   -> there were no resource modules that can handle
434
                              one of the RES_MODEL * passed as parameter
435
*/
436
PID group_create(char *name,
437
                 TASK (*body)(),
438
                 TASK_MODEL *m,
439
                 ...);
440
 
441
 
442
/*
443
  This function should be called when a task created with group_create
444
  is successfully guaranteed and accepted in the system.
445
  This function finish the creation process allocating the last resources
446
  for the task (i.e., the stack and the context).
447
  it returns:
448
 
449
  -1 if something goes wrong. In this case, THE TASK IS AUTOMATICALLY REJECTED
450
     AND THE GROUP_CREATE_REJECT MUST NOT BE CALLED.
451
     errno is set to a value that explains the problem occurred:
452
 
453
     ENO_AVAIL_STACK_MEM -> No stack memory available for the task
454
     ENO_AVAIL_TSS       -> No context available for the task (This is a
455
                            CRITICAL error, and usually never happens...)
456
*/
457
int group_create_accept(PID i, TASK_MODEL *m);
458
 
459
/*
460
  This function should be called when a task created with group_create
461
  can not be successfully guaranteed.
462
  This function reject the task from the system.
463
  You cannot use the PID of a rejected task after this call.
464
*/
465
void group_create_reject(PID i);
466
 
467
/*+
468
  It blocks all explicit activation of a task made with task_activate and
469
  group_activate. These activations are registered in an internal counter,
470
  returned by task_unblock_activation.
471
  it returns 0 if all ok, or -1 otherwise. errno is set accordingly.
472
+*/
473
int task_block_activation(PID p);
474
 
475
/*+
476
  It unblocks all explicit activations of a task, and returns the number of
477
  "frozen" activations. It not call the task_activate!!!!
478
  it returns -1 if an error occurs. errno is set accordingly.
479
+*/
480
int task_unblock_activation(PID p);
481
 
482
 
483
/*+ Activate a task specified via pid returned from task_create +*/
484
int task_activate(PID pid);
485
 
486
/*+ Kill a task specified via pid returned from task_create +*/
487
int task_kill(PID pid);
488
 
489
/*+
490
  This primitive autokills the excuting task; it was used to avoid
491
  that returning from a task cause a jmp to an unpredictable location.
492
 
493
  Now it is obsolete, the task_create_stub do all the works.
494
 
495
  It is used by the Posix layer to implement pthread_exit
496
+*/
497
void task_abort(void *returnvalue);
498
 
499
/*+ Creates a cancellation point in the calling task +*/
500
void task_testcancel(void);
501
 
502
/*+ Set the cancellation state of the task +*/
503
int task_setcancelstate(int state, int *oldstate);
504
 
505
/*+ Set the cancellation type of the task +*/
506
int task_setcanceltype(int type, int *oldtype);
507
 
508
/*+ this function suspends execution of the calling task until the target
509
    task terminates, unless the target task has already terminated.
510
    It works like the pthread_join +*/
511
int task_join(PID p, void **value);
512
 
513
/*+ this function set the detach state of a task to joinable. This function
514
    is not present in Posix standard...
515
    returns ESRCH if p is non correct +*/
516
int task_joinable(PID p);
517
 
518
/*+ this function set the detach state of a task to detached. This function
519
    works as the posix's pthread_detach
520
    returns EINVAL if p can't be joined (or currently a task has done a
521
    join on it (condition not provided in posix)
522
    ESRCH if p is not correct +*/
523
int task_unjoinable(PID p);
524
 
525
/*+ Disable the preemption mechanism on the task.
526
    This primitive is very dangerous!!!!         +*/
527
void task_nopreempt(void);
528
 
529
/*+ Enable the preemption mechanism on the task. +*/
530
void task_preempt(void);
531
 
532
/*+ This function signals to the kernel that the current istance of
533
    the task (periodic or aperiodic) is ended; so the task can be
534
    suspended until it is activated again. Pending activations may be saved
535
    depending on the task model +*/
536
void task_endcycle(void);
537
 
538
/*+ This function suspend the actual task until an explicit activation
539
    Pending activations are discarded +*/
540
void task_sleep(void);
541
 
542
/*+ This function suspend the actual task for a minimum delay time +*/
543
void task_delay(DWORD delay);
544
 
545
/*+ This primitives refers the group id which is supplied
546
    by the application, not by the kernel                 +*/
547
int group_activate(WORD g);
548
int group_kill(WORD g);
549
 
550
 
551
/*---------------------------------------------------------------------*/
552
/* Mutex primitives                                                    */
553
/*---------------------------------------------------------------------*/
554
 
555
/* This primitives manages a mutex in the system.
556
   The behavior of the functions is similar to the POSIX ones. */
557
 
558
 
559
/*+ Alloc a mutex descriptor +*/
560
int mutex_init(mutex_t *mutex, const mutexattr_t *attr);
561
 
562
/*+ Free a mutex descriptor  +*/
563
int mutex_destroy(mutex_t *mutex);
564
 
565
/*+ Block wait               +*/
566
int mutex_lock(mutex_t *mutex);
567
 
568
/*+ Non-block wait           +*/
569
int mutex_trylock(mutex_t *mutex);
570
 
571
/*+ unlock primitive +*/
572
int mutex_unlock(mutex_t *mutex);
573
 
574
/*---------------------------------------------------------------------*/
575
/* Condition variables                                                 */
576
/*---------------------------------------------------------------------*/
577
 
578
/*+ Initialization of the condition variable +*/
579
int cond_init(cond_t *cond);
580
 
581
/*+ free a condition variable descriptor +*/
582
int cond_destroy(cond_t *cond);
583
 
584
/*+ signal on a condition variable, it unlocks only one task +*/
585
int cond_signal(cond_t *cond);
586
 
587
/*+ broadcast on a condition variable, it unlocks all the blocked tasks +*/
588
int cond_broadcast(cond_t *cond);
589
 
590
/*+ wait on a condition variable +*/
591
int cond_wait(cond_t *cond, mutex_t *mutex);
592
 
593
/*+ wait on a condition variable (with timer) +*/
594
int cond_timedwait(cond_t *cond, mutex_t *mutex,
595
                   const struct timespec *abstime);
596
 
597
/*---------------------------------------------------------------------*/
598
/* Task specific data primitives                                       */
599
/*---------------------------------------------------------------------*/
600
 
601
/* they are similar to the POSIX standard */
602
 
603
int task_key_create(task_key_t *key, void (*destructor)(void *));
604
void *task_getspecific(task_key_t key);
605
int task_setspecific(task_key_t key, const void *value);
606
int task_key_delete(task_key_t key);
607
 
608
/*---------------------------------------------------------------------*/
609
/* Task cancellation handlers                                          */
610
/*---------------------------------------------------------------------*/
611
 
612
/*+ push the specified cancellation cleanup handler routine onto
613
    the cancellation cleanup stack
614
void task_cleanup_push(void (*routine)(void *), void *arg); +*/
615
#define task_cleanup_push(rtn,arg) { \
616
        struct _task_handler_rec __cleanup_handler, **__head; \
617
        __cleanup_handler.f = rtn; \
618
        __cleanup_handler.a = arg; \
619
        __head = task_getspecific(0); \
620
        __cleanup_handler.next = *__head; \
621
        *__head = &__cleanup_handler;
622
 
623
/*+
624
    removes the routine at the top of the cancellation cleanup stack
625
    of the calling thread
626
void task_cleanup_pop(int execute); +*/
627
#define task_cleanup_pop(ex) \
628
        *__head = __cleanup_handler.next; \
629
        if (ex) (*__cleanup_handler.f) (__cleanup_handler.a); \
630
}
631
 
632
#endif /* __FUNC_H__ */