source: branches/minix3-book/servers/pm/break.c@ 9

Last change on this file since 9 was 4, checked in by Mattia Monga, 14 years ago

Importazione sorgenti libro

File size: 5.1 KB
RevLine 
[4]1/* The MINIX model of memory allocation reserves a fixed amount of memory for
2 * the combined text, data, and stack segments. The amount used for a child
3 * process created by FORK is the same as the parent had. If the child does
4 * an EXEC later, the new size is taken from the header of the file EXEC'ed.
5 *
6 * The layout in memory consists of the text segment, followed by the data
7 * segment, followed by a gap (unused memory), followed by the stack segment.
8 * The data segment grows upward and the stack grows downward, so each can
9 * take memory from the gap. If they meet, the process must be killed. The
10 * procedures in this file deal with the growth of the data and stack segments.
11 *
12 * The entry points into this file are:
13 * do_brk: BRK/SBRK system calls to grow or shrink the data segment
14 * adjust: see if a proposed segment adjustment is allowed
15 * size_ok: see if the segment sizes are feasible
16 */
17
18#include "pm.h"
19#include <signal.h>
20#include "mproc.h"
21#include "param.h"
22
23#define DATA_CHANGED 1 /* flag value when data segment size changed */
24#define STACK_CHANGED 2 /* flag value when stack size changed */
25
26/*===========================================================================*
27 * do_brk *
28 *===========================================================================*/
29PUBLIC int do_brk()
30{
31/* Perform the brk(addr) system call.
32 *
33 * The call is complicated by the fact that on some machines (e.g., 8088),
34 * the stack pointer can grow beyond the base of the stack segment without
35 * anybody noticing it.
36 * The parameter, 'addr' is the new virtual address in D space.
37 */
38
39 register struct mproc *rmp;
40 int r;
41 vir_bytes v, new_sp;
42 vir_clicks new_clicks;
43
44 rmp = mp;
45 v = (vir_bytes) m_in.addr;
46 new_clicks = (vir_clicks) ( ((long) v + CLICK_SIZE - 1) >> CLICK_SHIFT);
47 if (new_clicks < rmp->mp_seg[D].mem_vir) {
48 rmp->mp_reply.reply_ptr = (char *) -1;
49 return(ENOMEM);
50 }
51 new_clicks -= rmp->mp_seg[D].mem_vir;
52 if ((r=get_stack_ptr(who, &new_sp)) != OK) /* ask kernel for sp value */
53 panic(__FILE__,"couldn't get stack pointer", r);
54 r = adjust(rmp, new_clicks, new_sp);
55 rmp->mp_reply.reply_ptr = (r == OK ? m_in.addr : (char *) -1);
56 return(r); /* return new address or -1 */
57}
58
59/*===========================================================================*
60 * adjust *
61 *===========================================================================*/
62PUBLIC int adjust(rmp, data_clicks, sp)
63register struct mproc *rmp; /* whose memory is being adjusted? */
64vir_clicks data_clicks; /* how big is data segment to become? */
65vir_bytes sp; /* new value of sp */
66{
67/* See if data and stack segments can coexist, adjusting them if need be.
68 * Memory is never allocated or freed. Instead it is added or removed from the
69 * gap between data segment and stack segment. If the gap size becomes
70 * negative, the adjustment of data or stack fails and ENOMEM is returned.
71 */
72
73 register struct mem_map *mem_sp, *mem_dp;
74 vir_clicks sp_click, gap_base, lower, old_clicks;
75 int changed, r, ft;
76 long base_of_stack, delta; /* longs avoid certain problems */
77
78 mem_dp = &rmp->mp_seg[D]; /* pointer to data segment map */
79 mem_sp = &rmp->mp_seg[S]; /* pointer to stack segment map */
80 changed = 0; /* set when either segment changed */
81
82 if (mem_sp->mem_len == 0) return(OK); /* don't bother init */
83
84 /* See if stack size has gone negative (i.e., sp too close to 0xFFFF...) */
85 base_of_stack = (long) mem_sp->mem_vir + (long) mem_sp->mem_len;
86 sp_click = sp >> CLICK_SHIFT; /* click containing sp */
87 if (sp_click >= base_of_stack) return(ENOMEM); /* sp too high */
88
89 /* Compute size of gap between stack and data segments. */
90 delta = (long) mem_sp->mem_vir - (long) sp_click;
91 lower = (delta > 0 ? sp_click : mem_sp->mem_vir);
92
93 /* Add a safety margin for future stack growth. Impossible to do right. */
94#define SAFETY_BYTES (384 * sizeof(char *))
95#define SAFETY_CLICKS ((SAFETY_BYTES + CLICK_SIZE - 1) / CLICK_SIZE)
96 gap_base = mem_dp->mem_vir + data_clicks + SAFETY_CLICKS;
97 if (lower < gap_base) return(ENOMEM); /* data and stack collided */
98
99 /* Update data length (but not data orgin) on behalf of brk() system call. */
100 old_clicks = mem_dp->mem_len;
101 if (data_clicks != mem_dp->mem_len) {
102 mem_dp->mem_len = data_clicks;
103 changed |= DATA_CHANGED;
104 }
105
106 /* Update stack length and origin due to change in stack pointer. */
107 if (delta > 0) {
108 mem_sp->mem_vir -= delta;
109 mem_sp->mem_phys -= delta;
110 mem_sp->mem_len += delta;
111 changed |= STACK_CHANGED;
112 }
113
114 /* Do the new data and stack segment sizes fit in the address space? */
115 ft = (rmp->mp_flags & SEPARATE);
116 r = (rmp->mp_seg[D].mem_vir + rmp->mp_seg[D].mem_len >
117 rmp->mp_seg[S].mem_vir) ? ENOMEM : OK;
118 if (r == OK) {
119 if (changed) sys_newmap((int)(rmp - mproc), rmp->mp_seg);
120 return(OK);
121 }
122
123 /* New sizes don't fit or require too many page/segment registers. Restore.*/
124 if (changed & DATA_CHANGED) mem_dp->mem_len = old_clicks;
125 if (changed & STACK_CHANGED) {
126 mem_sp->mem_vir += delta;
127 mem_sp->mem_phys += delta;
128 mem_sp->mem_len -= delta;
129 }
130 return(ENOMEM);
131}
Note: See TracBrowser for help on using the repository browser.