aboutsummaryrefslogtreecommitdiff
path: root/gcc/m2/gm2-libs-iso/Preemptive.mod
blob: 44aa62ba48aee2e596ab1cfc334638040595537b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
(* Premptive.mod provides the Processes module with a premptive scheduler.

Copyright (C) 2020-2023 Free Software Foundation, Inc.
Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.

This file is part of GNU Modula-2.

GNU Modula-2 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 3, or (at your option)
any later version.

GNU Modula-2 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.

Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.

You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
<http://www.gnu.org/licenses/>.  *)

IMPLEMENTATION MODULE Preemptive ;

FROM COROUTINES IMPORT TurnInterrupts, PROTECTION ;
FROM Processes IMPORT Wait, Attach, Detach, Create, ProcessId, Urgency, Activate, SuspendMe ;
FROM RTint IMPORT InitTimeVector, ReArmTimeVector, IncludeVector, ExcludeVector ;
FROM libc IMPORT printf ;

CONST
   debugging = FALSE ;
   (* The space we request becomes part of a stack request, which generally
      has constraints on size and alignment.  *)
   extraWorkSpace = 10 * 1024 * 1024 ;

(*
   timer - the timer process which runs at maximum scheduling priority with
           interrupts off.  It sleeps for a time quantum, performs a Wait
           which will rotate the ready queue and then Waits again.
*)

PROCEDURE timer ;
VAR
   vec,
   currentUsec,
   currentSec : CARDINAL ;
   old        : PROTECTION ;
BEGIN
   IF debugging
   THEN
      printf ("timer\n");
   END ;
   old := TurnInterrupts (MAX (PROTECTION)) ;
   vec := InitTimeVector (timeSliceUsec, timeSliceSec, MAX (PROTECTION)) ;
   IF debugging
   THEN
      printf ("attach\n");
   END ;
   Attach (vec) ;  (* attach vector to this process.  *)
   IF debugging
   THEN
      printf ("include vec\n");
   END ;
   IncludeVector (vec) ;
   LOOP
      currentSec := timeSliceSec ;
      currentUsec := timeSliceUsec ;
      IF debugging
      THEN
         printf ("timer process about to Wait\n");
      END ;
      Wait ;
      (*
      printf ("yes 2 seconds elapsed, suspending\n");
      SuspendMe ;
      *)
      IF debugging
      THEN
         printf ("timer process wakes up, now calling ReArmTimeVector\n");
      END ;
      ReArmTimeVector (vec, timeSliceUsec, timeSliceSec) ;
      IF debugging
      THEN
         printf ("ReArmTimeVector complete\n");
         printf ("attach\n");
      END ;
      Attach (vec) ;  (* attach vector to this process.  *)
      IF debugging
      THEN
         printf ("finished attach, now include vec\n");
      END ;
      IncludeVector (vec) ;
   END
END timer ;


(*
   initPreemptive - if millisecs > 0 then turn on preemptive scheduling.
                    if millisecs = 0 then preemptive scheduling is turned off.
*)

PROCEDURE initPreemptive (seconds, microsecs: CARDINAL) ;
BEGIN
   timeSliceUsec := microsecs ;
   timeSliceSec := seconds ;
   IF NOT init
   THEN
      init := TRUE ;
      Create (timer, extraWorkSpace, MAX (Urgency), NIL, timerId) ;
      Activate (timerId)
   END
END initPreemptive ;


VAR
   init        : BOOLEAN ;
   timerId     : ProcessId ;
   timeSliceSec,
   timeSliceUsec: CARDINAL ;
BEGIN
   init := FALSE ;
   timeSliceSec := 0 ;
   timeSliceUsec := 0
END Preemptive.