2013-07-11 03:04:55 +04:00
/*
* zbud . c
*
* Copyright ( C ) 2013 , Seth Jennings , IBM
*
* Concepts based on zcache internal zbud allocator by Dan Magenheimer .
*
* zbud is an special purpose allocator for storing compressed pages . Contrary
* to what its name may suggest , zbud is not a buddy allocator , but rather an
* allocator that " buddies " two compressed pages together in a single memory
* page .
*
* While this design limits storage density , it has simple and deterministic
* reclaim properties that make it preferable to a higher density approach when
* reclaim will be used .
*
* zbud works by storing compressed pages , or " zpages " , together in pairs in a
* single memory page called a " zbud page " . The first buddy is " left
2013-09-12 01:21:42 +04:00
* justified " at the beginning of the zbud page, and the last buddy is " right
2013-07-11 03:04:55 +04:00
* justified " at the end of the zbud page. The benefit is that if either
* buddy is freed , the freed buddy space , coalesced with whatever slack space
* that existed between the buddies , results in the largest possible free region
* within the zbud page .
*
* zbud also provides an attractive lower bound on density . The ratio of zpages
* to zbud pages can not be less than 1. This ensures that zbud can never " do
* harm " by using more pages to store zpages than the uncompressed zpages would
* have used on their own .
*
* zbud pages are divided into " chunks " . The size of the chunks is fixed at
* compile time and determined by NCHUNKS_ORDER below . Dividing zbud pages
* into chunks allows organizing unbuddied zbud pages into a manageable number
* of unbuddied lists according to the number of free chunks available in the
* zbud page .
*
* The zbud API differs from that of conventional allocators in that the
* allocation function , zbud_alloc ( ) , returns an opaque handle to the user ,
* not a dereferenceable pointer . The user must map the handle using
* zbud_map ( ) in order to get a usable pointer by which to access the
* allocation data and unmap the handle with zbud_unmap ( ) when operations
* on the allocation data are complete .
*/
# define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
# include <linux/atomic.h>
# include <linux/list.h>
# include <linux/mm.h>
# include <linux/module.h>
# include <linux/preempt.h>
# include <linux/slab.h>
# include <linux/spinlock.h>
# include <linux/zbud.h>
2014-08-07 03:08:38 +04:00
# include <linux/zpool.h>
2013-07-11 03:04:55 +04:00
/*****************
* Structures
* * * * * * * * * * * * * * * * */
/*
* NCHUNKS_ORDER determines the internal allocation granularity , effectively
* adjusting internal fragmentation . It also determines the number of
* freelists maintained in each pool . NCHUNKS_ORDER of 6 means that the
2014-10-10 02:30:04 +04:00
* allocation granularity will be in chunks of size PAGE_SIZE / 64. As one chunk
* in allocated page is occupied by zbud header , NCHUNKS will be calculated to
* 63 which shows the max number of free chunks in zbud page , also there will be
* 63 freelists per pool .
2013-07-11 03:04:55 +04:00
*/
# define NCHUNKS_ORDER 6
# define CHUNK_SHIFT (PAGE_SHIFT - NCHUNKS_ORDER)
# define CHUNK_SIZE (1 << CHUNK_SHIFT)
# define ZHDR_SIZE_ALIGNED CHUNK_SIZE
2014-10-10 02:30:04 +04:00
# define NCHUNKS ((PAGE_SIZE - ZHDR_SIZE_ALIGNED) >> CHUNK_SHIFT)
2013-07-11 03:04:55 +04:00
/**
* struct zbud_pool - stores metadata for each zbud pool
* @ lock : protects all pool fields and first | last_chunk fields of any
* zbud page in the pool
* @ unbuddied : array of lists tracking zbud pages that only contain one buddy ;
* the lists each zbud page is added to depends on the size of
* its free region .
* @ buddied : list tracking the zbud pages that contain two buddies ;
* these zbud pages are full
* @ lru : list tracking the zbud pages in LRU order by most recently
* added buddy .
* @ pages_nr : number of zbud pages in the pool .
* @ ops : pointer to a structure of user defined operations specified at
* pool creation time .
*
* This structure is allocated at pool creation time and maintains metadata
* pertaining to a particular zbud pool .
*/
struct zbud_pool {
spinlock_t lock ;
struct list_head unbuddied [ NCHUNKS ] ;
struct list_head buddied ;
struct list_head lru ;
u64 pages_nr ;
struct zbud_ops * ops ;
} ;
/*
* struct zbud_header - zbud page metadata occupying the first chunk of each
* zbud page .
* @ buddy : links the zbud page into the unbuddied / buddied lists in the pool
* @ lru : links the zbud page into the lru list in the pool
* @ first_chunks : the size of the first buddy in chunks , 0 if free
* @ last_chunks : the size of the last buddy in chunks , 0 if free
*/
struct zbud_header {
struct list_head buddy ;
struct list_head lru ;
unsigned int first_chunks ;
unsigned int last_chunks ;
bool under_reclaim ;
} ;
2014-08-07 03:08:38 +04:00
/*****************
* zpool
* * * * * * * * * * * * * * * */
# ifdef CONFIG_ZPOOL
static int zbud_zpool_evict ( struct zbud_pool * pool , unsigned long handle )
{
return zpool_evict ( pool , handle ) ;
}
static struct zbud_ops zbud_zpool_ops = {
. evict = zbud_zpool_evict
} ;
static void * zbud_zpool_create ( gfp_t gfp , struct zpool_ops * zpool_ops )
{
2014-12-13 03:57:21 +03:00
return zbud_create_pool ( gfp , zpool_ops ? & zbud_zpool_ops : NULL ) ;
2014-08-07 03:08:38 +04:00
}
static void zbud_zpool_destroy ( void * pool )
{
zbud_destroy_pool ( pool ) ;
}
static int zbud_zpool_malloc ( void * pool , size_t size , gfp_t gfp ,
unsigned long * handle )
{
return zbud_alloc ( pool , size , gfp , handle ) ;
}
static void zbud_zpool_free ( void * pool , unsigned long handle )
{
zbud_free ( pool , handle ) ;
}
static int zbud_zpool_shrink ( void * pool , unsigned int pages ,
unsigned int * reclaimed )
{
unsigned int total = 0 ;
int ret = - EINVAL ;
while ( total < pages ) {
ret = zbud_reclaim_page ( pool , 8 ) ;
if ( ret < 0 )
break ;
total + + ;
}
if ( reclaimed )
* reclaimed = total ;
return ret ;
}
static void * zbud_zpool_map ( void * pool , unsigned long handle ,
enum zpool_mapmode mm )
{
return zbud_map ( pool , handle ) ;
}
static void zbud_zpool_unmap ( void * pool , unsigned long handle )
{
zbud_unmap ( pool , handle ) ;
}
static u64 zbud_zpool_total_size ( void * pool )
{
return zbud_get_pool_size ( pool ) * PAGE_SIZE ;
}
static struct zpool_driver zbud_zpool_driver = {
. type = " zbud " ,
. owner = THIS_MODULE ,
. create = zbud_zpool_create ,
. destroy = zbud_zpool_destroy ,
. malloc = zbud_zpool_malloc ,
. free = zbud_zpool_free ,
. shrink = zbud_zpool_shrink ,
. map = zbud_zpool_map ,
. unmap = zbud_zpool_unmap ,
. total_size = zbud_zpool_total_size ,
} ;
2014-08-30 02:18:40 +04:00
MODULE_ALIAS ( " zpool-zbud " ) ;
2014-08-07 03:08:38 +04:00
# endif /* CONFIG_ZPOOL */
2013-07-11 03:04:55 +04:00
/*****************
* Helpers
* * * * * * * * * * * * * * * * */
/* Just to make the code easier to read */
enum buddy {
FIRST ,
LAST
} ;
/* Converts an allocation size in bytes to size in zbud chunks */
2014-08-07 03:08:33 +04:00
static int size_to_chunks ( size_t size )
2013-07-11 03:04:55 +04:00
{
return ( size + CHUNK_SIZE - 1 ) > > CHUNK_SHIFT ;
}
# define for_each_unbuddied_list(_iter, _begin) \
for ( ( _iter ) = ( _begin ) ; ( _iter ) < NCHUNKS ; ( _iter ) + + )
/* Initializes the zbud header of a newly allocated zbud page */
static struct zbud_header * init_zbud_page ( struct page * page )
{
struct zbud_header * zhdr = page_address ( page ) ;
zhdr - > first_chunks = 0 ;
zhdr - > last_chunks = 0 ;
INIT_LIST_HEAD ( & zhdr - > buddy ) ;
INIT_LIST_HEAD ( & zhdr - > lru ) ;
zhdr - > under_reclaim = 0 ;
return zhdr ;
}
/* Resets the struct page fields and frees the page */
static void free_zbud_page ( struct zbud_header * zhdr )
{
__free_page ( virt_to_page ( zhdr ) ) ;
}
/*
* Encodes the handle of a particular buddy within a zbud page
* Pool lock should be held as this function accesses first | last_chunks
*/
static unsigned long encode_handle ( struct zbud_header * zhdr , enum buddy bud )
{
unsigned long handle ;
/*
* For now , the encoded handle is actually just the pointer to the data
* but this might not always be the case . A little information hiding .
* Add CHUNK_SIZE to the handle if it is the first allocation to jump
* over the zbud header in the first chunk .
*/
handle = ( unsigned long ) zhdr ;
if ( bud = = FIRST )
/* skip over zbud header */
handle + = ZHDR_SIZE_ALIGNED ;
else /* bud == LAST */
handle + = PAGE_SIZE - ( zhdr - > last_chunks < < CHUNK_SHIFT ) ;
return handle ;
}
/* Returns the zbud page where a given handle is stored */
static struct zbud_header * handle_to_zbud_header ( unsigned long handle )
{
return ( struct zbud_header * ) ( handle & PAGE_MASK ) ;
}
/* Returns the number of free chunks in a zbud page */
static int num_free_chunks ( struct zbud_header * zhdr )
{
/*
* Rather than branch for different situations , just use the fact that
2014-10-10 02:30:04 +04:00
* free buddies have a length of zero to simplify everything .
2013-07-11 03:04:55 +04:00
*/
2014-10-10 02:30:04 +04:00
return NCHUNKS - zhdr - > first_chunks - zhdr - > last_chunks ;
2013-07-11 03:04:55 +04:00
}
/*****************
* API Functions
* * * * * * * * * * * * * * * * */
/**
* zbud_create_pool ( ) - create a new zbud pool
* @ gfp : gfp flags when allocating the zbud pool structure
* @ ops : user - defined operations for the zbud pool
*
* Return : pointer to the new zbud pool or NULL if the metadata allocation
* failed .
*/
struct zbud_pool * zbud_create_pool ( gfp_t gfp , struct zbud_ops * ops )
{
struct zbud_pool * pool ;
int i ;
pool = kmalloc ( sizeof ( struct zbud_pool ) , gfp ) ;
if ( ! pool )
return NULL ;
spin_lock_init ( & pool - > lock ) ;
for_each_unbuddied_list ( i , 0 )
INIT_LIST_HEAD ( & pool - > unbuddied [ i ] ) ;
INIT_LIST_HEAD ( & pool - > buddied ) ;
INIT_LIST_HEAD ( & pool - > lru ) ;
pool - > pages_nr = 0 ;
pool - > ops = ops ;
return pool ;
}
/**
* zbud_destroy_pool ( ) - destroys an existing zbud pool
* @ pool : the zbud pool to be destroyed
*
* The pool should be emptied before this function is called .
*/
void zbud_destroy_pool ( struct zbud_pool * pool )
{
kfree ( pool ) ;
}
/**
* zbud_alloc ( ) - allocates a region of a given size
* @ pool : zbud pool from which to allocate
* @ size : size in bytes of the desired allocation
* @ gfp : gfp flags used if the pool needs to grow
* @ handle : handle of the new allocation
*
* This function will attempt to find a free region in the pool large enough to
* satisfy the allocation request . A search of the unbuddied lists is
* performed first . If no suitable free region is found , then a new page is
* allocated and added to the pool to satisfy the request .
*
* gfp should not set __GFP_HIGHMEM as highmem pages cannot be used
* as zbud pool pages .
*
2013-09-12 01:21:42 +04:00
* Return : 0 if success and handle is set , otherwise - EINVAL if the size or
2013-07-11 03:04:55 +04:00
* gfp arguments are invalid or - ENOMEM if the pool was unable to allocate
* a new page .
*/
2014-08-07 03:08:33 +04:00
int zbud_alloc ( struct zbud_pool * pool , size_t size , gfp_t gfp ,
2013-07-11 03:04:55 +04:00
unsigned long * handle )
{
int chunks , i , freechunks ;
struct zbud_header * zhdr = NULL ;
enum buddy bud ;
struct page * page ;
2014-06-05 03:11:07 +04:00
if ( ! size | | ( gfp & __GFP_HIGHMEM ) )
2013-07-11 03:04:55 +04:00
return - EINVAL ;
2013-08-01 00:53:40 +04:00
if ( size > PAGE_SIZE - ZHDR_SIZE_ALIGNED - CHUNK_SIZE )
2013-07-11 03:04:55 +04:00
return - ENOSPC ;
chunks = size_to_chunks ( size ) ;
spin_lock ( & pool - > lock ) ;
/* First, try to find an unbuddied zbud page. */
zhdr = NULL ;
for_each_unbuddied_list ( i , chunks ) {
if ( ! list_empty ( & pool - > unbuddied [ i ] ) ) {
zhdr = list_first_entry ( & pool - > unbuddied [ i ] ,
struct zbud_header , buddy ) ;
list_del ( & zhdr - > buddy ) ;
if ( zhdr - > first_chunks = = 0 )
bud = FIRST ;
else
bud = LAST ;
goto found ;
}
}
/* Couldn't find unbuddied zbud page, create new one */
spin_unlock ( & pool - > lock ) ;
page = alloc_page ( gfp ) ;
if ( ! page )
return - ENOMEM ;
spin_lock ( & pool - > lock ) ;
pool - > pages_nr + + ;
zhdr = init_zbud_page ( page ) ;
bud = FIRST ;
found :
if ( bud = = FIRST )
zhdr - > first_chunks = chunks ;
else
zhdr - > last_chunks = chunks ;
if ( zhdr - > first_chunks = = 0 | | zhdr - > last_chunks = = 0 ) {
/* Add to unbuddied list */
freechunks = num_free_chunks ( zhdr ) ;
list_add ( & zhdr - > buddy , & pool - > unbuddied [ freechunks ] ) ;
} else {
/* Add to buddied list */
list_add ( & zhdr - > buddy , & pool - > buddied ) ;
}
/* Add/move zbud page to beginning of LRU */
if ( ! list_empty ( & zhdr - > lru ) )
list_del ( & zhdr - > lru ) ;
list_add ( & zhdr - > lru , & pool - > lru ) ;
* handle = encode_handle ( zhdr , bud ) ;
spin_unlock ( & pool - > lock ) ;
return 0 ;
}
/**
* zbud_free ( ) - frees the allocation associated with the given handle
* @ pool : pool in which the allocation resided
* @ handle : handle associated with the allocation returned by zbud_alloc ( )
*
* In the case that the zbud page in which the allocation resides is under
* reclaim , as indicated by the PG_reclaim flag being set , this function
* only sets the first | last_chunks to 0. The page is actually freed
* once both buddies are evicted ( see zbud_reclaim_page ( ) below ) .
*/
void zbud_free ( struct zbud_pool * pool , unsigned long handle )
{
struct zbud_header * zhdr ;
int freechunks ;
spin_lock ( & pool - > lock ) ;
zhdr = handle_to_zbud_header ( handle ) ;
/* If first buddy, handle will be page aligned */
if ( ( handle - ZHDR_SIZE_ALIGNED ) & ~ PAGE_MASK )
zhdr - > last_chunks = 0 ;
else
zhdr - > first_chunks = 0 ;
if ( zhdr - > under_reclaim ) {
/* zbud page is under reclaim, reclaim will free */
spin_unlock ( & pool - > lock ) ;
return ;
}
/* Remove from existing buddy list */
list_del ( & zhdr - > buddy ) ;
if ( zhdr - > first_chunks = = 0 & & zhdr - > last_chunks = = 0 ) {
/* zbud page is empty, free */
list_del ( & zhdr - > lru ) ;
free_zbud_page ( zhdr ) ;
pool - > pages_nr - - ;
} else {
/* Add to unbuddied list */
freechunks = num_free_chunks ( zhdr ) ;
list_add ( & zhdr - > buddy , & pool - > unbuddied [ freechunks ] ) ;
}
spin_unlock ( & pool - > lock ) ;
}
# define list_tail_entry(ptr, type, member) \
list_entry ( ( ptr ) - > prev , type , member )
/**
* zbud_reclaim_page ( ) - evicts allocations from a pool page and frees it
* @ pool : pool from which a page will attempt to be evicted
* @ retires : number of pages on the LRU list for which eviction will
* be attempted before failing
*
* zbud reclaim is different from normal system reclaim in that the reclaim is
* done from the bottom , up . This is because only the bottom layer , zbud , has
* information on how the allocations are organized within each zbud page . This
* has the potential to create interesting locking situations between zbud and
* the user , however .
*
* To avoid these , this is how zbud_reclaim_page ( ) should be called :
* The user detects a page should be reclaimed and calls zbud_reclaim_page ( ) .
* zbud_reclaim_page ( ) will remove a zbud page from the pool LRU list and call
* the user - defined eviction handler with the pool and handle as arguments .
*
* If the handle can not be evicted , the eviction handler should return
* non - zero . zbud_reclaim_page ( ) will add the zbud page back to the
* appropriate list and try the next zbud page on the LRU up to
* a user defined number of retries .
*
* If the handle is successfully evicted , the eviction handler should
* return 0 _and_ should have called zbud_free ( ) on the handle . zbud_free ( )
* contains logic to delay freeing the page if the page is under reclaim ,
* as indicated by the setting of the PG_reclaim flag on the underlying page .
*
* If all buddies in the zbud page are successfully evicted , then the
* zbud page can be freed .
*
* Returns : 0 if page is successfully freed , otherwise - EINVAL if there are
* no pages to evict or an eviction handler is not registered , - EAGAIN if
* the retry limit was hit .
*/
int zbud_reclaim_page ( struct zbud_pool * pool , unsigned int retries )
{
int i , ret , freechunks ;
struct zbud_header * zhdr ;
unsigned long first_handle = 0 , last_handle = 0 ;
spin_lock ( & pool - > lock ) ;
if ( ! pool - > ops | | ! pool - > ops - > evict | | list_empty ( & pool - > lru ) | |
retries = = 0 ) {
spin_unlock ( & pool - > lock ) ;
return - EINVAL ;
}
for ( i = 0 ; i < retries ; i + + ) {
zhdr = list_tail_entry ( & pool - > lru , struct zbud_header , lru ) ;
list_del ( & zhdr - > lru ) ;
list_del ( & zhdr - > buddy ) ;
/* Protect zbud page against free */
zhdr - > under_reclaim = true ;
/*
* We need encode the handles before unlocking , since we can
* race with free that will set ( first | last ) _chunks to 0
*/
first_handle = 0 ;
last_handle = 0 ;
if ( zhdr - > first_chunks )
first_handle = encode_handle ( zhdr , FIRST ) ;
if ( zhdr - > last_chunks )
last_handle = encode_handle ( zhdr , LAST ) ;
spin_unlock ( & pool - > lock ) ;
/* Issue the eviction callback(s) */
if ( first_handle ) {
ret = pool - > ops - > evict ( pool , first_handle ) ;
if ( ret )
goto next ;
}
if ( last_handle ) {
ret = pool - > ops - > evict ( pool , last_handle ) ;
if ( ret )
goto next ;
}
next :
spin_lock ( & pool - > lock ) ;
zhdr - > under_reclaim = false ;
if ( zhdr - > first_chunks = = 0 & & zhdr - > last_chunks = = 0 ) {
/*
* Both buddies are now free , free the zbud page and
* return success .
*/
free_zbud_page ( zhdr ) ;
pool - > pages_nr - - ;
spin_unlock ( & pool - > lock ) ;
return 0 ;
} else if ( zhdr - > first_chunks = = 0 | |
zhdr - > last_chunks = = 0 ) {
/* add to unbuddied list */
freechunks = num_free_chunks ( zhdr ) ;
list_add ( & zhdr - > buddy , & pool - > unbuddied [ freechunks ] ) ;
} else {
/* add to buddied list */
list_add ( & zhdr - > buddy , & pool - > buddied ) ;
}
/* add to beginning of LRU */
list_add ( & zhdr - > lru , & pool - > lru ) ;
}
spin_unlock ( & pool - > lock ) ;
return - EAGAIN ;
}
/**
* zbud_map ( ) - maps the allocation associated with the given handle
* @ pool : pool in which the allocation resides
* @ handle : handle associated with the allocation to be mapped
*
* While trivial for zbud , the mapping functions for others allocators
* implementing this allocation API could have more complex information encoded
* in the handle and could create temporary mappings to make the data
* accessible to the user .
*
* Returns : a pointer to the mapped allocation
*/
void * zbud_map ( struct zbud_pool * pool , unsigned long handle )
{
return ( void * ) ( handle ) ;
}
/**
* zbud_unmap ( ) - maps the allocation associated with the given handle
* @ pool : pool in which the allocation resides
* @ handle : handle associated with the allocation to be unmapped
*/
void zbud_unmap ( struct zbud_pool * pool , unsigned long handle )
{
}
/**
* zbud_get_pool_size ( ) - gets the zbud pool size in pages
* @ pool : pool whose size is being queried
*
* Returns : size in pages of the given pool . The pool lock need not be
* taken to access pages_nr .
*/
u64 zbud_get_pool_size ( struct zbud_pool * pool )
{
return pool - > pages_nr ;
}
static int __init init_zbud ( void )
{
/* Make sure the zbud header will fit in one chunk */
BUILD_BUG_ON ( sizeof ( struct zbud_header ) > ZHDR_SIZE_ALIGNED ) ;
pr_info ( " loaded \n " ) ;
2014-08-07 03:08:38 +04:00
# ifdef CONFIG_ZPOOL
zpool_register_driver ( & zbud_zpool_driver ) ;
# endif
2013-07-11 03:04:55 +04:00
return 0 ;
}
static void __exit exit_zbud ( void )
{
2014-08-07 03:08:38 +04:00
# ifdef CONFIG_ZPOOL
zpool_unregister_driver ( & zbud_zpool_driver ) ;
# endif
2013-07-11 03:04:55 +04:00
pr_info ( " unloaded \n " ) ;
}
module_init ( init_zbud ) ;
module_exit ( exit_zbud ) ;
MODULE_LICENSE ( " GPL " ) ;
2014-11-13 06:08:46 +03:00
MODULE_AUTHOR ( " Seth Jennings <sjennings@variantweb.net> " ) ;
2013-07-11 03:04:55 +04:00
MODULE_DESCRIPTION ( " Buddy Allocator for Compressed Pages " ) ;