Added upstream from http://ftp.icm.edu.pl/pub/loglan/
[loglan.git] / sources / new-s5r4 / memory.c
1 #include        "depend.h"
2 #include        "genint.h"
3 #include        "int.h"
4 #include        "process.h"
5 #include        "intproto.h"
6
7 /* Memory management routines */
8
9 #ifndef NO_PROTOTYPES
10 static void compandtake(word, word *, word *, word *, bool);
11 static void sinsert(word);
12 #else
13 static void compandtake();
14 static void sinsert();
15 #endif
16
17
18 int compactify_allowed=1;
19 #define space 400 /* words */
20
21
22 void request(app, ah, am)
23 word app, *ah, *am;
24 {
25     word t2, t4, t5;
26     bool wascompactified, found;
27
28     if (app >= MAXAPPT) errsignal(RTEMEMOV);
29     wascompactified = FALSE;
30
31     if( compactify_allowed && thisp->force_compactification ){
32          compactify();
33          thisp->force_compactification=FALSE;
34          wascompactified=TRUE;
35     }
36
37     if (thisp->freeitem != 0)           /* reserve dictionary item */
38     {
39         *ah = thisp->freeitem;
40         thisp->freeitem = M[ *ah ];
41     }
42     else
43     {
44         *ah = thisp->lastitem-2;
45         if (*ah <= thisp->lastused + space)     /* cannot take free item */
46         {
47             if( compactify_allowed )
48                 if( !wascompactified ) compactify(),wascompactified=TRUE;
49                 else ;
50             else
51                 thisp->force_compactification=TRUE;
52             *ah = thisp->lastitem-2;
53             if (*ah <= thisp->lastused) errsignal(RTEMEMOV);
54         }
55
56         thisp->lastitem = *ah;
57         M[ *ah+1 ] = 0;                 /* clear mark */
58     }                                   /* now we have a free dict. item */
59
60
61     if (app == 2 && thisp->headk2 != 0)    /* special case app=2 */
62     {
63         *am = thisp->headk2;
64         thisp->headk2 = M[ *am+SHORTLINK ];
65     }
66     else
67     {
68         word t1 = thisp->headk;
69         found = FALSE;
70         t4 = 0;
71         while (t1 != thisp->lower && !found)
72         {
73             t2 = M[ t1 ];
74             if (t2 == app) found = TRUE;
75             else
76                 if (t2-app >= 2) found = TRUE;
77                 else
78                 {
79                     t4 = t1;
80                     t1 = M[ t1+LONGLINK ];
81                 }
82         }
83         if( found ) {
84             t5 = M[ t1+SHORTLINK ];
85             if (t5 != 0) M[ t5+LONGLINK ] = M[ t1+LONGLINK ];
86             else t5 = M[ t1+LONGLINK ];
87             if (t4 == 0) thisp->headk = t5;  else M[ t4+LONGLINK ] = t5;
88             *am = t1;
89             if (t2 > app)           /* at least two extra words */
90             {
91                 t5 = t1+app;
92                 M[ t5 ] = t2-app;
93                 sinsert(t5);
94             }
95         }
96         else
97         if ( thisp->lastitem - thisp->lastused > app + space )
98         {
99             *am = thisp->lastused+1;
100             thisp->lastused += app;
101         }
102         else
103         {
104             M[ *ah ] = thisp->freeitem;        /* return dictionary item */
105             thisp->freeitem = *ah;
106             if( compactify_allowed )
107                 if( !wascompactified ) compactify();
108                 else ;
109             else
110                 thisp->force_compactification=TRUE;
111             *ah = thisp->lastitem-2;           /* reserve dictionary item */
112             thisp->lastitem = *ah;
113             M[ *ah+1 ] = 0;                    /* clear mark */
114             if ( thisp->lastitem - thisp->lastused > app ) {
115                 *am = thisp->lastused+1;
116                 thisp->lastused += app;
117             }
118             else
119                 errsignal(RTEMEMOV);
120         }
121     }
122
123     M[ *am ] = app;
124     for (t2 = *am+1;  t2 < *am+app;  t2++ ) M[ t2 ] = 0;
125     M[ *ah ] = *am;
126
127 }
128
129
130 static void sinsert(am)                        /* Dispose of a memory item. */
131 word am;
132 {
133     word t1, t2, t3, t4;
134
135     t1 = M[ am ];                       /* appetite */
136     if (t1 == 2)                        /* a special list should be used */
137     {
138         M[ am+SHORTLINK ] = thisp->headk2;
139         thisp->headk2 = am;
140     }
141     else
142     {
143         t2 = thisp->headk;
144         t4 = 0;
145         while (TRUE)                    /* look for a proper place */
146         {
147             t3 = M[ t2 ];               /* appetite */
148             if (t1 == t3)               /* an entry with matching appetite */
149             {
150                 M[ am+SHORTLINK ] = M[ t2+SHORTLINK ];
151                 M[ t2+SHORTLINK ] = am;
152                 break;
153             }
154             else
155                 if (t1 < t3)
156                 {
157                     M[ am+LONGLINK ] = t2;
158                     M[ am+SHORTLINK ] = 0;
159                     if (t4 == 0) thisp->headk = am;
160                     else M[ t4+LONGLINK ] = am;
161                     break;
162                 }
163                 else
164                 {
165                     t4 = t2;
166                     t2 = M[ t2+LONGLINK ];
167                 }
168         }
169     }
170 }
171
172
173 void disp(virt)                         /* Simple kill. */
174 virtaddr *virt;
175 {
176     word t1, t2;
177
178     t1 = M[ virt->addr+1 ];
179     if (t1 == virt->mark)               /* not none */
180     {
181         t1++;                           /* advance mark */
182         t2 = M[ virt->addr ];           /* am */
183         M[ virt->addr+1 ] = t1;
184         if (t1 != MAXMARKER)            /* mark still usable */
185         {
186             M[ virt->addr ] = thisp->freeitem;
187             thisp->freeitem = virt->addr;
188         }                               /* now dictionary item is released */
189         if (t2+M[ t2 ]-1 == thisp->lastused)   /* on the boundary */
190             thisp->lastused = t2-1;
191         else sinsert(t2);
192     }
193 } /* end disp */
194
195
196 word memavail()                         /* Compute available memory size */
197 {
198     word t1, t2, avail;
199
200     avail = thisp->lastitem-thisp->lastused-1;  /* contiguos memory */
201     t1 = thisp->headk2;                 /* go through killed 2 list */
202     while (t1 != 0)
203     {
204         avail += 2;
205         t1 = M[ t1+SHORTLINK ];
206     }
207     t1 = thisp->headk;
208     while (t1 != thisp->lower)          /* go through killed object list */
209     {
210         t2 = t1;
211         while (t2 != 0)
212         {
213             avail += M[ t2 ];
214             t2 = M[ t2+SHORTLINK ];
215         }
216         t1 = M[ t1+LONGLINK ];
217     }
218     t1 = thisp->freeitem;               /* go through free item list */
219     while (t1 != 0)
220     {
221         avail += 2;
222         t1 = M[ t1 ];
223     }
224     return(avail);
225 } /* end memavail */