Rev 3 |
Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
/*
* Project: S.Ha.R.K.
*
* Coordinators:
* Giorgio Buttazzo <giorgio@sssup.it>
* Paolo Gai <pj@gandalf.sssup.it>
*
* Authors :
* Paolo Gai <pj@gandalf.sssup.it>
* (see the web pages for full authors list)
*
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
*
* http://www.sssup.it
* http://retis.sssup.it
* http://shark.sssup.it
*/
/**
------------
CVS : $Id: alloc_ge.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $
File: $File$
Revision: $Revision: 1.1.1.1 $
Last update: $Date: 2002-03-29 14:12:52 $
------------
this code is from:
List-based Memory Management, from OsKit.
**/
/*
* Copyright (C) 2000 Paolo Gai
*
* This program 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 2 of the License, or
* (at your option) any later version.
*
* This program 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.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
*/
/*
* Copyright (c) 1995-1996, 1998-1999 University of Utah and the Flux Group.
* All rights reserved.
*
* This file is part of the Flux OSKit. The OSKit is free software, also known
* as "open source;" you can redistribute it and/or modify it under the terms
* of the GNU General Public License (GPL), version 2, as published by the Free
* Software Foundation (FSF). To explore alternate licensing terms, contact
* the University of Utah at csl-dist@cs.utah.edu or +1-801-585-3271.
*
* The OSKit 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 GPL for more details. You should have
* received a copy of the GPL along with the OSKit; see the file COPYING. If
* not, write to the FSF, 59 Temple Place #330, Boston, MA 02111-1307, USA.
*/
#include <kernel/lmm.h>
#define assert(test) assertk(test)
void *lmm_alloc_gen
(lmm_t
*lmm
, size_t size
, lmm_flags_t flags
,
int align_bits
, DWORD align_ofs
,
DWORD in_min
, size_t in_size
)
{
DWORD in_max
= in_min
+ in_size
;
struct lmm_region
*reg
;
#if 0
kern_printf
("lmm_alloc_gen %08x\n", size
);
lmm_dump
(lmm
);
#endif
assert(lmm
!= 0);
assert(size
> 0);
for (reg
= lmm
->regions
; reg
; reg
= reg
->next
)
{
struct lmm_node
**nodep
, *node
;
CHECKREGPTR
(reg
);
/* First trivially reject the entire region if possible. */
if ((flags
& ~reg
->flags
)
|| (reg
->min
>= in_max
)
|| (reg
->max
<= in_min
))
continue;
for (nodep
= ®
->nodes
;
(node
= *nodep
) != 0;
nodep
= &node
->next
)
{
DWORD addr
;
struct lmm_node
*anode
;
int i
;
assert(((DWORD
)node
& ALIGN_MASK
) == 0);
assert(((DWORD
)node
->size
& ALIGN_MASK
) == 0);
assert((node
->next
== 0) || (node
->next
> node
));
assert((DWORD
)node
< reg
->max
);
/* Now make a first-cut trivial elimination check
to skip chunks that are _definitely_ too small. */
if (node
->size
< size
)
continue;
/* Now compute the address at which
the allocated chunk would have to start. */
addr
= (DWORD
)node
;
if (addr
< in_min
)
addr
= in_min
;
for (i
= 0; i
< align_bits
; i
++)
{
DWORD bit
= (DWORD
)1 << i
;
if ((addr
^ align_ofs
) & bit
)
addr
+= bit
;
}
/* See if the block at the adjusted address
is still entirely within the node. */
if ((addr
- (DWORD
)node
+ size
) > node
->size
)
continue;
/* If the block extends past the range constraint,
then all of the rest of the nodes in this region
will extend past it too, so stop here. */
if (addr
+ size
> in_max
)
break;
/* OK, we can allocate the block from this node. */
/* If the allocation leaves at least ALIGN_SIZE
space before it, then split the node. */
anode
= (struct lmm_node
*)(addr
& ~ALIGN_MASK
);
assert(anode
>= node
);
if (anode
> node
)
{
size_t split_size
= (DWORD
)anode
- (DWORD
)node
;
assert((split_size
& ALIGN_MASK
) == 0);
anode
->next
= node
->next
;
anode
->size
= node
->size
- split_size
;
node
->size
= split_size
;
nodep
= &node
->next
;
}
/* Now use the first part of the anode
to satisfy the allocation,
splitting off the tail end if necessary. */
size
= ((addr
& ALIGN_MASK
) + size
+ ALIGN_MASK
)
& ~ALIGN_MASK
;
if (anode
->size
> size
)
{
struct lmm_node
*newnode
;
/* Split the node and return its head. */
newnode
= (struct lmm_node
*)
((void*)anode
+ size
);
newnode
->next
= anode
->next
;
newnode
->size
= anode
->size
- size
;
*nodep
= newnode
;
}
else
{
/* Remove and return the entire node. */
*nodep
= anode
->next
;
}
/* Adjust the region's free memory counter. */
assert(reg
->free >= size
);
reg
->free -= size
;
#if 0
kern_printf
("lmm_alloc_gen returning %08x\n", addr
);
lmm_dump
(lmm
);
#endif
return (void*)addr
;
}
}
#if 0
kern_printf
("lmm_alloc_gen failed\n");
#endif
return 0;
}