flexible array implementation
RFC PATCH 1/1 flexible array implementation
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like vmalloc() that will let them keep array-like access to such a large structures. But, vmalloc() has plenty of downsides.
Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518
I call it a flexible array. It does all of its work in PAGE_SIZE bits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.
The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_put()
flex_array_get()
put() appends an item into the array while get() takes indexes and does array-style access.
One thought is that we should perhaps make the base structure half the size on 32-bit arches. That will ensure that someone testing on 32-bit will not get bitten by the size shrinking by half when moving to 64-bit.
We could also potentially just pass the "element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.
The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
---
linux-2.6.git-dave/include/linux/flex_array.h | 39 ++++++ linux-2.6.git-dave/lib/Makefile | 2 linux-2.6.git-dave/lib/flex_array.c | 163 ++++++++++++++++++++++++++ 3 files changed, 203 insertions(+), 1 deletion(-)
include/linux/flex_array.h new file +39 -0
@@ -0,0 +1,39 @@ +#ifndef _FLEX_ARRAY_H +#define _FLEX_ARRAY_H + +#include <linux/types.h> +#include <asm/page.h> + +#define FLEX_ARRAY_PART_SIZE PAGE_SIZE +#define FLEX_ARRAY_BASE_SIZE PAGE_SIZE + +struct flex_array_part ; + +/* +* This is meant to replace cases where an array-like +* structure has gotten to big to fit into kmalloc() +* and the developer is getting tempted to use +* vmalloc(). +*/ + +struct flex_array { +union { +struct { +int nr_elements; +int element_size; +struct flex_array_part *parts[0 ]; + }; +/* +* This little trick makes sure that +* sizeof(flex_array) == PAGE_SIZE +*/ +char padding[FLEX_ARRAY_BASE_SIZE ]; + }; +}; + +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags); +void free_flex_array (struct flex_array *fa); +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags); +void *flex_array_get (struct flex_array *fa,int element_nr); + +#endif /* _FLEX_ARRAY_H */
lib/flex_array.c new file +163 -0
163 lines not on this page · raw message
lib/Makefile renamed from lib/Makefile~fa +1 -1
@@ -12,7 +12,7 @@ lib-y := ctype.o string.o vsprintf.o cmd idr.o int_sqrt.o extable.o prio_tree.o \ sha1.o irq_regs.o reciprocal_div.o argv_split.o \ proportions.o prio_heap.o ratelimit.o show_mem.o \ - is_single_threaded.o plist.o decompress.o + is_single_threaded.o plist.o decompress.o flex_array.o lib-$(CONFIG_MMU) += ioremap.o lib-$(CONFIG_SMP) += cpumask.o
_
Quoted 63 lines · Dave Hansen
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_put()
flex_array_get()
put()appends an item into the array whileget()takes indexes and does array-style access.One thought is that we should perhaps make the base structure half the size on 32-bit arches. That will ensure that someone testing on 32-bit will not get bitten by the size shrinking by half when moving to 64-bit.
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
Signed-off-by Dave Hansen <[email protected]>---
linux-2.6.git-dave/include/linux/flex_array.h | 39 ++++++ linux-2.6.git-dave/lib/Makefile | 2 linux-2.6.git-dave/lib/flex_array.c | 163 ++++++++++++++++++++++++++ 3 files changed, 203 insertions(+), 1 deletion(-)diff -puN
/dev/nullinclude/linux/flex_array.hinclude/linux/flex_array.h new file +4
-0@@ -0,0 +1,39 @@ +#ifndef _FLEX_ARRAY_H +#define _FLEX_ARRAY_H + +#include <linux/types.h>
include/linux/flex_array.h line 14
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+#include <asm/page.h> + +#define FLEX_ARRAY_PART_SIZE PAGE_SIZE +#define FLEX_ARRAY_BASE_SIZE PAGE_SIZE + +struct flex_array_part ; + +/* +* This is meant to replace cases where an array-like +* structure has gotten to big to fit into kmalloc()
s/to/too/g
Quoted 13 lines
include/linux/flex_array.h new file +13
-0+* and the developer is getting tempted to use +* vmalloc(). +*/ + +struct flex_array { +union { +struct { +int nr_elements; +int element_size; +struct flex_array_part *parts[0 ]; + }; +/* +* This little trick makes sure that
include/linux/flex_array.h line 37
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+* sizeof(flex_array) == PAGE_SIZE +*/ +char padding[FLEX_ARRAY_BASE_SIZE ]; + }; +}; + +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags); +void free_flex_array (struct flex_array *fa); +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags); +void *flex_array_get (struct flex_array *fa,int element_nr);
Would a single routine that acted like an lvalue be a bit clearer? Here it looks like the interface is a push to write, but random access to read. Something like:
void **__flex_array_idx(struct flex_rray *fa, int element_nr); #define flex_array_idx(fa, element_nr) (*__flex_array_idx(fa, element_nr))
may be a bit easier to read so users of the interface could just do:
flex_array_idx(fa, n) = pointer;
pointer = flex_array_idx(fa, n);
I guess this would require that flex_array only store actual pointers though, instead of objects. Hmm.
Is there any reason you defer allocation of parts to flex_array_put() given that alloc_flex_array() is told the total number of elements?
Quoted 29 lines
include/linux/flex_array.h new file +2
-0+ +#endif /* _FLEX_ARRAY_H */ diff -puN
/dev/nulllib/flex_array.clib/flex_array.c new file +23
-0@@ -0,0 +1,163 @@ +/* +* Flexible array managed in PAGE_SIZE parts +* +* 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 IBM Corporation, 2009 +* +* Author: Dave Hansen <[email protected]> +*/ + +#include <linux/flex_array.h>
lib/flex_array.c line 33
Quoted 10 lines
lib/flex_array.c new file +10
-0+#include <linux/slab.h> +#include <linux/stddef.h> + +struct flex_array_part { +char elements[FLEX_ARRAY_PART_SIZE ]; +}; + +static inline int __elements_per_part (int element_size) +{ +return FLEX_ARRAY_PART_SIZE / element_size;
Micro-optimization, but perhaps the general case could use a bit shift stored inside the flex_array? That way we could avoid excessive divide operations.
Quoted 112 lines
lib/flex_array.c new file +112
-0+} + +static inline int __nr_part_ptrs (void ) +{ +int element_offset = offsetof(struct flex_array , parts); +int bytes_left =FLEX_ARRAY_BASE_SIZE - element_offset; +return bytes_left /sizeof (struct flex_array_part *); +} + +/** +* alloc_flex_array - allocate a new flexible array +* @element_size: the size of individual elements in the array +* @total: total number of elements that this should hold +* +* We do not actually use @total to size the allocation at this +* point. It is just used to ensure that the user does not try +* to use this structure for something larger than it can handle +* later on. +*/ +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size); + +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +} + +static int fa_element_to_part_nr (struct flex_array *fa,int element_nr) +{ +return element_nr /__elements_per_part (fa->element_size); +} + +void free_flex_array (struct flex_array *fa) +{ +int part_nr; +int max_part; + +/* keeps us from getting the index of -1 below */ +if (!fa->nr_elements) + goto free_base; + +/* we really want the *index* of the last element, thus the -1 */ + max_part =fa_element_to_part_nr (fa, fa->nr_elements-1 ); +for (part_nr =0 ; part_nr <= max_part; part_nr++) +kfree (fa->parts[part_nr]); +free_base: +kfree (fa); +} + +static int fa_index_inside_part (struct flex_array *fa,int element_nr) +{ +return (element_nr %__elements_per_part (fa->element_size)); +} + +static int offset_inside_part (struct flex_array *fa,int element_nr) +{ +int part_offset =fa_index_inside_part (fa, element_nr); +return part_offset * fa->element_size; +} + +static inline struct flex_array_part * +__fa_get_part (struct flex_array *fa,int part_nr,gfp_t flags) +{ +struct flex_array_part *part =NULL ; +if (part_nr >__nr_part_ptrs ()) +return NULL ; + part = fa->parts[part_nr]; +if (!part) { + part =kmalloc (FLEX_ARRAY_PART_SIZE , flags); +if (!part) +return NULL ; + fa->parts[part_nr] = part; + } +return part; +} + +/** +* flex_array_put - append a new member into the array +* @src: address of data to copy into the array +* +* Note that this *copies* the contents of @src into +* the array. If you are trying to store an array of +* pointers, make sure to pass in &ptr instead of ptr. +*/ +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags) +{ +int element_nr = fa->nr_elements; +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +void *dst; + + part =__fa_get_part (fa, part_nr, flags); +if (!part) +return -ENOMEM ; + dst = &part->elements[offset_inside_part (fa, element_nr)]; + fa->nr_elements++; +memcpy (dst, src, fa->element_size); +return 0 ; +} + +/** +* flex_array_get - pull data back out of the array +* @element_nr: index of the element to fetch from the array +* +* Returns a pointer to the data at index @element_nr. Note
lib/flex_array.c line 155
Quoted 10 lines
lib/flex_array.c new file +10
-0+* that this is a copy of the data that was passed in. If you +* are using this to store pointers, you'll get back &ptr. +*/ +void *flex_array_get (struct flex_array *fa,int element_nr) +{ +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +int offset; + +if (part_nr >__nr_part_ptrs ())
if (part_nr >= __nr_part_ptrs())
lib/flex_array.c line 156
Quoted 1 line
lib/flex_array.c new file +1
-0+return NULL ;
ERR_PTR(-EINVAL) ?
Would it make sense to WARN here? A more precise test could be to compare element_nr vs fa->nr_elements?
Quoted 24 lines
lib/flex_array.c new file +7
-0+if (!fa->parts[part_nr]) +return NULL ; + + part = fa->parts[part_nr]; + offset =offset_inside_part (fa, element_nr); +return &part->elements[offset_inside_part (fa, element_nr)]; +}diff -puN lib/Makefile~fa lib/Makefile
lib/Makefile renamed from lib/Makefile~fa +1
-1@@ -12,7 +12,7 @@ lib-y := ctype.o string.o vsprintf.o cmd idr.o int_sqrt.o extable.o prio_tree.o \ sha1.o irq_regs.o reciprocal_div.o argv_split.o \ proportions.o prio_heap.o ratelimit.o show_mem.o \ - is_single_threaded.o plist.o decompress.o + is_single_threaded.o plist.o decompress.o flex_array.o lib-$(CONFIG_MMU) += ioremap.o lib-$(CONFIG_SMP) += cpumask.o_
_______________________________________________
Containers mailing list Containers-cunTk1MwBs9QetFLy7KEm3xJsTq8ys+cHZ5vskTnxNA@public.gmane.org
https://lists.linux-foundation.org/mailman/listinfo/containers
Quoted 63 lines · Dave Hansen
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_put()
flex_array_get()
put()appends an item into the array whileget()takes indexes and does array-style access.One thought is that we should perhaps make the base structure half the size on 32-bit arches. That will ensure that someone testing on 32-bit will not get bitten by the size shrinking by half when moving to 64-bit.
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
Signed-off-by Dave Hansen <[email protected]>---
linux-2.6.git-dave/include/linux/flex_array.h | 39 ++++++ linux-2.6.git-dave/lib/Makefile | 2 linux-2.6.git-dave/lib/flex_array.c | 163 ++++++++++++++++++++++++++ 3 files changed, 203 insertions(+), 1 deletion(-)diff -puN
/dev/nullinclude/linux/flex_array.hinclude/linux/flex_array.h new file +4
-0@@ -0,0 +1,39 @@ +#ifndef _FLEX_ARRAY_H +#define _FLEX_ARRAY_H + +#include <linux/types.h>
include/linux/flex_array.h line 14
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+#include <asm/page.h> + +#define FLEX_ARRAY_PART_SIZE PAGE_SIZE +#define FLEX_ARRAY_BASE_SIZE PAGE_SIZE + +struct flex_array_part ; + +/* +* This is meant to replace cases where an array-like +* structure has gotten to big to fit into kmalloc()
s/to/too/g
Quoted 13 lines
include/linux/flex_array.h new file +13
-0+* and the developer is getting tempted to use +* vmalloc(). +*/ + +struct flex_array { +union { +struct { +int nr_elements; +int element_size; +struct flex_array_part *parts[0 ]; + }; +/* +* This little trick makes sure that
include/linux/flex_array.h line 37
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+* sizeof(flex_array) == PAGE_SIZE +*/ +char padding[FLEX_ARRAY_BASE_SIZE ]; + }; +}; + +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags); +void free_flex_array (struct flex_array *fa); +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags); +void *flex_array_get (struct flex_array *fa,int element_nr);
Would a single routine that acted like an lvalue be a bit clearer? Here it looks like the interface is a push to write, but random access to read. Something like:
void **__flex_array_idx(struct flex_rray *fa, int element_nr); #define flex_array_idx(fa, element_nr) (*__flex_array_idx(fa, element_nr))
may be a bit easier to read so users of the interface could just do:
flex_array_idx(fa, n) = pointer;
pointer = flex_array_idx(fa, n);
I guess this would require that flex_array only store actual pointers though, instead of objects. Hmm.
Is there any reason you defer allocation of parts to flex_array_put() given that alloc_flex_array() is told the total number of elements?
Quoted 29 lines
include/linux/flex_array.h new file +2
-0+ +#endif /* _FLEX_ARRAY_H */ diff -puN
/dev/nulllib/flex_array.clib/flex_array.c new file +23
-0@@ -0,0 +1,163 @@ +/* +* Flexible array managed in PAGE_SIZE parts +* +* 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 IBM Corporation, 2009 +* +* Author: Dave Hansen <[email protected]> +*/ + +#include <linux/flex_array.h>
lib/flex_array.c line 33
Quoted 10 lines
lib/flex_array.c new file +10
-0+#include <linux/slab.h> +#include <linux/stddef.h> + +struct flex_array_part { +char elements[FLEX_ARRAY_PART_SIZE ]; +}; + +static inline int __elements_per_part (int element_size) +{ +return FLEX_ARRAY_PART_SIZE / element_size;
Micro-optimization, but perhaps the general case could use a bit shift stored inside the flex_array? That way we could avoid excessive divide operations.
Quoted 112 lines
lib/flex_array.c new file +112
-0+} + +static inline int __nr_part_ptrs (void ) +{ +int element_offset = offsetof(struct flex_array , parts); +int bytes_left =FLEX_ARRAY_BASE_SIZE - element_offset; +return bytes_left /sizeof (struct flex_array_part *); +} + +/** +* alloc_flex_array - allocate a new flexible array +* @element_size: the size of individual elements in the array +* @total: total number of elements that this should hold +* +* We do not actually use @total to size the allocation at this +* point. It is just used to ensure that the user does not try +* to use this structure for something larger than it can handle +* later on. +*/ +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size); + +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +} + +static int fa_element_to_part_nr (struct flex_array *fa,int element_nr) +{ +return element_nr /__elements_per_part (fa->element_size); +} + +void free_flex_array (struct flex_array *fa) +{ +int part_nr; +int max_part; + +/* keeps us from getting the index of -1 below */ +if (!fa->nr_elements) + goto free_base; + +/* we really want the *index* of the last element, thus the -1 */ + max_part =fa_element_to_part_nr (fa, fa->nr_elements-1 ); +for (part_nr =0 ; part_nr <= max_part; part_nr++) +kfree (fa->parts[part_nr]); +free_base: +kfree (fa); +} + +static int fa_index_inside_part (struct flex_array *fa,int element_nr) +{ +return (element_nr %__elements_per_part (fa->element_size)); +} + +static int offset_inside_part (struct flex_array *fa,int element_nr) +{ +int part_offset =fa_index_inside_part (fa, element_nr); +return part_offset * fa->element_size; +} + +static inline struct flex_array_part * +__fa_get_part (struct flex_array *fa,int part_nr,gfp_t flags) +{ +struct flex_array_part *part =NULL ; +if (part_nr >__nr_part_ptrs ()) +return NULL ; + part = fa->parts[part_nr]; +if (!part) { + part =kmalloc (FLEX_ARRAY_PART_SIZE , flags); +if (!part) +return NULL ; + fa->parts[part_nr] = part; + } +return part; +} + +/** +* flex_array_put - append a new member into the array +* @src: address of data to copy into the array +* +* Note that this *copies* the contents of @src into +* the array. If you are trying to store an array of +* pointers, make sure to pass in &ptr instead of ptr. +*/ +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags) +{ +int element_nr = fa->nr_elements; +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +void *dst; + + part =__fa_get_part (fa, part_nr, flags); +if (!part) +return -ENOMEM ; + dst = &part->elements[offset_inside_part (fa, element_nr)]; + fa->nr_elements++; +memcpy (dst, src, fa->element_size); +return 0 ; +} + +/** +* flex_array_get - pull data back out of the array +* @element_nr: index of the element to fetch from the array +* +* Returns a pointer to the data at index @element_nr. Note
lib/flex_array.c line 155
Quoted 10 lines
lib/flex_array.c new file +10
-0+* that this is a copy of the data that was passed in. If you +* are using this to store pointers, you'll get back &ptr. +*/ +void *flex_array_get (struct flex_array *fa,int element_nr) +{ +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +int offset; + +if (part_nr >__nr_part_ptrs ())
if (part_nr >= __nr_part_ptrs())
lib/flex_array.c line 156
Quoted 1 line
lib/flex_array.c new file +1
-0+return NULL ;
ERR_PTR(-EINVAL) ?
Would it make sense to WARN here? A more precise test could be to compare element_nr vs fa->nr_elements?
Quoted 24 lines
lib/flex_array.c new file +7
-0+if (!fa->parts[part_nr]) +return NULL ; + + part = fa->parts[part_nr]; + offset =offset_inside_part (fa, element_nr); +return &part->elements[offset_inside_part (fa, element_nr)]; +}diff -puN lib/Makefile~fa lib/Makefile
lib/Makefile renamed from lib/Makefile~fa +1
-1@@ -12,7 +12,7 @@ lib-y := ctype.o string.o vsprintf.o cmd idr.o int_sqrt.o extable.o prio_tree.o \ sha1.o irq_regs.o reciprocal_div.o argv_split.o \ proportions.o prio_heap.o ratelimit.o show_mem.o \ - is_single_threaded.o plist.o decompress.o + is_single_threaded.o plist.o decompress.o flex_array.o lib-$(CONFIG_MMU) += ioremap.o lib-$(CONFIG_SMP) += cpumask.o_
_______________________________________________
Containers mailing list
[email protected]
https://lists.linux-foundation.org/mailman/listinfo/containers
A message that is not in the archive (sent off-list or not yet received): [email protected]
Quoted 5 lines · Mike Waychison
Quoted 3 lines
+/*
+ * This is meant to replace cases where an array-like
+ * structure has gotten to big to fit intokmalloc()s/to/too/g
Gah, thanks.
Quoted 31 lines
Quoted 13 lines
+ * and the developer is getting tempted to use
+ *vmalloc().
+ */include/linux/flex_array.h new file +10
-0+ +struct flex_array { +union { +struct { +int nr_elements; +int element_size; +struct flex_array_part *parts[0 ]; + }; +/* +* This little trick makes sure that include/linux/flex_array.h line 37
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+* sizeof(flex_array) == PAGE_SIZE +*/ +char padding[FLEX_ARRAY_BASE_SIZE ]; + }; +}; + +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags); +void free_flex_array (struct flex_array *fa); +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags); +void *flex_array_get (struct flex_array *fa,int element_nr);Would a single routine that acted like an lvalue be a bit clearer? Here it looks like the interface is a push to write, but random access to read. Something like:
void **__flex_array_idx(struct
flex_rray*fa, intelement_nr); #defineflex_array_idx(fa, element_nr)(*__flex_array_idx(fa,element_nr))
Quoted 7 lines
may be a bit easier to read so users of the interface could just do:
flex_array_idx(fa, n)= pointer;
pointer =flex_array_idx(fa, n);I guess this would require that
flex_arrayonly store actual pointers though, instead of objects. Hmm.
Yeah, possibly.
I was hoping I'd get some suggestions for places in the kernel that could use this. I'll see if another interface looks better once I get some users. :)
Quoted 2 lines
Is there any reason you defer allocation of parts to
flex_array_put()given thatalloc_flex_array()is told the total number of elements?
Yeah, I guess it's just in the hope that it won't all get filled. I think I also started with it not being passed the total size. But, I figured later on that it was better to fail as early as possible rather than screwing the user later on when we fill up.
Quoted 11 lines
lib/flex_array.c line 33
Quoted 7 lines
lib/flex_array.c new file +7
-0+struct flex_array_part { +char elements[FLEX_ARRAY_PART_SIZE ]; +}; + +static inline int __elements_per_part (int element_size) +{ +return FLEX_ARRAY_PART_SIZE / element_size;Micro-optimization, but perhaps the general case could use a bit shift stored inside the
flex_array? That way we could avoid excessive divide operations.
Possibly, but that of course precludes having objects with non-power-of-two sizes being packed very well. It's certainly worth thinking about.
Quoted 9 lines
lib/flex_array.c line 155
Quoted 7 lines
lib/flex_array.c new file +7
-0+void *flex_array_get (struct flex_array *fa,int element_nr) +{ +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +int offset; + +if (part_nr >__nr_part_ptrs ())if (
part_nr>=__nr_part_ptrs())
Yep. Good catch.
Quoted 3 lines
Review
Quoted 1 line
(quoted diff) +1
-0+ return NULL;
ERR_PTR(-EINVAL)?
I guess this helps users differentiate bad arguments from memory allocation failures. But, I'd rather not make users check ERR_PTR() just because I want to keep it simple.
Quoted 2 lines
Would it make sense to WARN here? A more precise test could be to compare
element_nrvsfa->nr_elements?
My immediate goal here was just to avoid oopses and overflows. You're right that fa->nr_elements would be more precise. But, I guess if you overflow an array you get an oops, so why should this be any different? A WARN() is potentially noisy, but way less noisy than an oops.
Thanks for the feedback!
-- Dave
Quoted 5 lines · Mike Waychison
Quoted 3 lines
+/*
+ * This is meant to replace cases where an array-like
+ * structure has gotten to big to fit intokmalloc()s/to/too/g
Gah, thanks.
Quoted 31 lines
Quoted 13 lines
+ * and the developer is getting tempted to use
+ *vmalloc().
+ */include/linux/flex_array.h new file +10
-0+ +struct flex_array { +union { +struct { +int nr_elements; +int element_size; +struct flex_array_part *parts[0 ]; + }; +/* +* This little trick makes sure that include/linux/flex_array.h line 37
Quoted 10 lines
include/linux/flex_array.h new file +10
-0+* sizeof(flex_array) == PAGE_SIZE +*/ +char padding[FLEX_ARRAY_BASE_SIZE ]; + }; +}; + +struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags); +void free_flex_array (struct flex_array *fa); +int flex_array_put (struct flex_array *fa,void *src,gfp_t flags); +void *flex_array_get (struct flex_array *fa,int element_nr);Would a single routine that acted like an lvalue be a bit clearer? Here it looks like the interface is a push to write, but random access to read. Something like:
void **__flex_array_idx(struct
flex_rray*fa, intelement_nr); #defineflex_array_idx(fa, element_nr)(*__flex_array_idx(fa,element_nr))
Quoted 7 lines
may be a bit easier to read so users of the interface could just do:
flex_array_idx(fa, n)= pointer;
pointer =flex_array_idx(fa, n);I guess this would require that
flex_arrayonly store actual pointers though, instead of objects. Hmm.
Yeah, possibly.
I was hoping I'd get some suggestions for places in the kernel that could use this. I'll see if another interface looks better once I get some users. :)
Quoted 2 lines
Is there any reason you defer allocation of parts to
flex_array_put()given thatalloc_flex_array()is told the total number of elements?
Yeah, I guess it's just in the hope that it won't all get filled. I think I also started with it not being passed the total size. But, I figured later on that it was better to fail as early as possible rather than screwing the user later on when we fill up.
Quoted 11 lines
lib/flex_array.c line 33
Quoted 7 lines
lib/flex_array.c new file +7
-0+struct flex_array_part { +char elements[FLEX_ARRAY_PART_SIZE ]; +}; + +static inline int __elements_per_part (int element_size) +{ +return FLEX_ARRAY_PART_SIZE / element_size;Micro-optimization, but perhaps the general case could use a bit shift stored inside the
flex_array? That way we could avoid excessive divide operations.
Possibly, but that of course precludes having objects with non-power-of-two sizes being packed very well. It's certainly worth thinking about.
Quoted 9 lines
lib/flex_array.c line 155
Quoted 7 lines
lib/flex_array.c new file +7
-0+void *flex_array_get (struct flex_array *fa,int element_nr) +{ +int part_nr =fa_element_to_part_nr (fa, element_nr); +struct flex_array_part *part; +int offset; + +if (part_nr >__nr_part_ptrs ())if (
part_nr>=__nr_part_ptrs())
Yep. Good catch.
Quoted 3 lines
Review
Quoted 1 line
(quoted diff) +1
-0+ return NULL;
ERR_PTR(-EINVAL)?
I guess this helps users differentiate bad arguments from memory allocation failures. But, I'd rather not make users check ERR_PTR() just because I want to keep it simple.
Quoted 2 lines
Would it make sense to WARN here? A more precise test could be to compare
element_nrvsfa->nr_elements?
My immediate goal here was just to avoid oopses and overflows. You're right that fa->nr_elements would be more precise. But, I guess if you overflow an array you get an oops, so why should this be any different? A WARN() is potentially noisy, but way less noisy than an oops.
Thanks for the feedback!
-- Dave
Quoted 5 lines · Dave Hansen
lib/flex_array.c new file +5
-0+static inline struct flex_array_part * +__fa_get_part (struct flex_array *fa,int part_nr,gfp_t flags) +{ + struct flex_array_part *part = NULL; + if (part_nr > __nr_part_ptrs())
lib/flex_array.c line 115
Quoted 10 lines
lib/flex_array.c new file +10
-0+ return NULL; + part = fa->parts[part_nr]; + if (!part) { + part = kmalloc(FLEX_ARRAY_PART_SIZE, flags); + if (!part) + return NULL; + fa->parts[part_nr] = part; + } + return part; +}
This is far too big to be an inline.
--
vda
Quoted 5 lines · Dave Hansen
lib/flex_array.c new file +5
-0+static inline struct flex_array_part * +__fa_get_part (struct flex_array *fa,int part_nr,gfp_t flags) +{ + struct flex_array_part *part = NULL; + if (part_nr > __nr_part_ptrs())
lib/flex_array.c line 115
Quoted 10 lines
lib/flex_array.c new file +10
-0+ return NULL; + part = fa->parts[part_nr]; + if (!part) { + part = kmalloc(FLEX_ARRAY_PART_SIZE, flags); + if (!part) + return NULL; + fa->parts[part_nr] = part; + } + return part; +}
This is far too big to be an inline.
--
vda
Quoted 10 lines · Denys Vlasenko
Quoted 9 lines · Dave Hansen
lib/flex_array.c new file +9
-0+static inline struct flex_array_part * +__fa_get_part (struct flex_array *fa,int part_nr,gfp_t flags) +{ +struct flex_array_part *part =NULL ; +if (part_nr >__nr_part_ptrs ()) +return NULL ; + part = fa->parts[part_nr]; +if (!part) { + part =kmalloc (FLEX_ARRAY_PART_SIZE , flags);
Quoted 8 lines
lib/flex_array.c line 115
Quoted 6 lines
lib/flex_array.c new file +6
-0+if (!part) +return NULL ; + fa->parts[part_nr] = part; + } +return part; +}This is far too big to be an inline.
Yeah, I guess I should just leave it to the compiler to inline it since it's only used in one place.
-- Dave
Quoted 6 lines · On Tue, 21 Jul 2009 09:03:33 -0700 Dave Hansen…
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.
Thanks for looking into this.
Quoted 14 lines
Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.
Quoted 3 lines
The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_alloc() and flex_array_free(), please.
Quoted 2 lines
flex_array_put()
flex_array_get()
It's important to document the arguments too! The lack of an `index' arg to flex_array_put() was important info.
Quoted 2 lines
put()appends an item into the array whileget()takes indexes and does array-style access.
The interface is rather unexpected. Some callers will want random-access writes and will have sparse data sets. Can we make it more array-like?
What are the constraints of this implementation? Maximum index, maximum number of elements, etc?
What are the locking rules? Caller-provided, obviously (and correctly). If the caller wants to use a spinlock the caller must use GFP_ATOMIC and handle the fallout when that fails. (But they'd need to handle the fallout with mutex/GFP_KERNEL too).
Quoted 5 lines
One thought is that we should perhaps make the base structure half the size on 32-bit arches. That will ensure that someone testing on 32-bit will not get bitten by the size shrinking by half when moving to 64-bit.
{scratches head}
If you say so ;)
Quoted 11 lines
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
I expect the majority of callers will be storing plain old pointers in here.
In fact the facility would be quite useful if it explicitly stored and returned void*'s, like radix-tree and IDR.
Do we know of any potential callers which would want flex_array to store elements by value in this manner?
Quoted 6 lines
...
lib/flex_array.c new file +4
-0+struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size);
lib/flex_array.c line 66
Quoted 10 lines
lib/flex_array.c new file +10
-0+ +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +}
I expect that a decent proportion of users of this facility will only ever want a single flex_array. So they'll want to be able to define and initialise their flex_array at compile-time.
That looks pretty easy to do?
Andrew Morton
maintainerQuoted 6 lines · On Tue, 21 Jul 2009 09:03:33 -0700 Dave Hansen <[email protected]> wrote:
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.
Thanks for looking into this.
Quoted 14 lines
Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.
Quoted 3 lines
The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_alloc() and flex_array_free(), please.
Quoted 2 lines
flex_array_put()
flex_array_get()
It's important to document the arguments too! The lack of an `index' arg to flex_array_put() was important info.
Quoted 2 lines
put()appends an item into the array whileget()takes indexes and does array-style access.
The interface is rather unexpected. Some callers will want random-access writes and will have sparse data sets. Can we make it more array-like?
What are the constraints of this implementation? Maximum index, maximum number of elements, etc?
What are the locking rules? Caller-provided, obviously (and correctly). If the caller wants to use a spinlock the caller must use GFP_ATOMIC and handle the fallout when that fails. (But they'd need to handle the fallout with mutex/GFP_KERNEL too).
Quoted 5 lines
One thought is that we should perhaps make the base structure half the size on 32-bit arches. That will ensure that someone testing on 32-bit will not get bitten by the size shrinking by half when moving to 64-bit.
{scratches head}
If you say so ;)
Quoted 11 lines
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
I expect the majority of callers will be storing plain old pointers in here.
In fact the facility would be quite useful if it explicitly stored and returned void*'s, like radix-tree and IDR.
Do we know of any potential callers which would want flex_array to store elements by value in this manner?
Quoted 6 lines
...
lib/flex_array.c new file +4
-0+struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size);
lib/flex_array.c line 66
Quoted 10 lines
lib/flex_array.c new file +10
-0+ +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +}
I expect that a decent proportion of users of this facility will only ever want a single flex_array. So they'll want to be able to define and initialise their flex_array at compile-time.
That looks pretty easy to do?
A message that is not in the archive (sent off-list or not yet received): 20090721131839.27f3a5aa.akpm-de/[email protected]
Quoted 24 lines · Andrew Morton
Quoted 5 lines · On Tue, 21 Jul 2009 09:03:33 -0700 Dave Hansen…
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Thanks for looking into this.
Quoted 14 lines
Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.
Quoted 5 lines
Quoted 3 lines
The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_alloc()andflex_array_free(), please.
Will do.
Quoted 3 lines
The interface is rather unexpected. Some callers will want random-access writes and will have sparse data sets. Can we make it more array-like?
I changed the flex_array_put() function to take an index and added a flex_array_append() that just calls flex_array_put() along with the ->nr_elements variable manipulations.
Quoted 7 lines
What are the constraints of this implementation? Maximum index, maximum number of elements, etc?
What are the locking rules? Caller-provided, obviously (and correctly). If the caller wants to use a spinlock the caller must use
GFP_ATOMICand handle the fallout when that fails. (But they'd need to handle the fallout with mutex/GFP_KERNEL too).
I've added some comments in the kerneldoc for the (newly renamed) alloc function:
* The maximum number of elements is currently the number of elements
* that can be stored in a page times the number of page pointers
* that we can fit in the base structure or (using integer math):
*
* (PAGE_SIZE/element_size) * (PAGE_SIZE-8)/sizeof(void *)
*
* Here's a table showing example capacities. Note that the maximum
* index that the get/put() functions is just nr_objects-1. *
* Element size | Objects | Objects | * PAGE_SIZE=4k | 32-bit | 64-bit | * ----------------------------------| * 1 byte | 4186112 | 2093056 | * 2 bytes | 2093056 | 1046528 | * 3 bytes | 1395030 | 697515 | * 4 bytes | 1046528 | 523264 | * 32 bytes | 130816 | 65408 | * 33 bytes | 126728 | 63364 | * 2048 bytes | 2044 | 10228 | * 2049 bytes | 1022 | 511 | * void * | 1046528 | 261632 |
*
* Since 64-bit pointers are twice the size, we lose half the
* capacity in the base structure. Also note that no effort is made
* to efficiently pack objects across page boundaries.
I figure it's less likely to get lost there than in the patch description.
Quoted 12 lines
Quoted 11 lines
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
Quoted 4 lines
I expect the majority of callers will be storing plain old pointers in here.
In fact the facility would be quite useful if it explicitly stored and returned void*'s, like radix-tree and IDR.
I think that would be just as easy as sticking some helpers around it
int flex_array_put_ptr(struct flex_array *fa, int element_nr,
void *ptr, gfp_t flags)
{
return flex_array_put(fa, element_nr, &ptr, flags);
}
void *flex_array_get_ptr(struct flex_array *fa, int element_nr)
{
return *(void **)flex_array_get(fa, element_nr);
}Or, as you say, we may not want the store-by-value semantics at all. In that case, we can just do this by default.
Quoted 2 lines
Do we know of any potential callers which would want
flex_arrayto store elements by value in this manner?
The original user I was thinking of was the one that spawned this idea, the pid_t:
Review
Quoted 9 lines
if (PIDLIST_REALLOC_DIFFERENCE(length, dest)) {(quoted diff) +2
-2- newlist = kmalloc(dest * sizeof(pid_t), GFP_KERNEL); + newlist = pidlist_allocate(dest); if (newlist) { memcpy(newlist, list, dest * sizeof(pid_t)); - kfree(list); + pidlist_free(list); *p = newlist; }
I think they wanted elements by value.
Quoted 19 lines
Quoted 4 lines
lib/flex_array.c new file +4
-0+struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size);lib/flex_array.c line 66
Quoted 10 lines
lib/flex_array.c new file +10
-0+ +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +}I expect that a decent proportion of users of this facility will only ever want a single
flex_array. So they'll want to be able to define and initialise theirflex_arrayat compile-time.
Quoted 1 line
That looks pretty easy to do?
Initializing the base structure should be pretty easy. I've included a FLEX_ARRAY_INIT() function to do it.
New patch on the way...
-- Dave
Quoted 24 lines · Andrew Morton
Quoted 5 lines · On Tue, 21 Jul 2009 09:03:33 -0700 Dave Hansen <[email protected]> wrote:
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Thanks for looking into this.
Quoted 14 lines
Here's an alternative. I think it's what Andrew was suggesting here:
http://lkml.org/lkml/2009/7/2/518I call it a flexible array. It does all of its work in
PAGE_SIZEbits, so never does an order>0 allocation. The base level has PAGE_SIZE-2*sizeof(int) bytes of storage for pointers to the second level. So, with a 32-bit arch, you get about 4MB (4183112 bytes) of total storage when the objects pack nicely into a page. It is half that on 64-bit because the pointers are twice the size.
Quoted 5 lines
Quoted 3 lines
The interface is dirt simple. 4 functions:
alloc_flex_array()
free_flex_array()
flex_array_alloc()andflex_array_free(), please.
Will do.
Quoted 3 lines
The interface is rather unexpected. Some callers will want random-access writes and will have sparse data sets. Can we make it more array-like?
I changed the flex_array_put() function to take an index and added a flex_array_append() that just calls flex_array_put() along with the ->nr_elements variable manipulations.
Quoted 7 lines
What are the constraints of this implementation? Maximum index, maximum number of elements, etc?
What are the locking rules? Caller-provided, obviously (and correctly). If the caller wants to use a spinlock the caller must use
GFP_ATOMICand handle the fallout when that fails. (But they'd need to handle the fallout with mutex/GFP_KERNEL too).
I've added some comments in the kerneldoc for the (newly renamed) alloc function:
* The maximum number of elements is currently the number of elements
* that can be stored in a page times the number of page pointers
* that we can fit in the base structure or (using integer math):
*
* (PAGE_SIZE/element_size) * (PAGE_SIZE-8)/sizeof(void *)
*
* Here's a table showing example capacities. Note that the maximum
* index that the get/put() functions is just nr_objects-1. *
* Element size | Objects | Objects | * PAGE_SIZE=4k | 32-bit | 64-bit | * ----------------------------------| * 1 byte | 4186112 | 2093056 | * 2 bytes | 2093056 | 1046528 | * 3 bytes | 1395030 | 697515 | * 4 bytes | 1046528 | 523264 | * 32 bytes | 130816 | 65408 | * 33 bytes | 126728 | 63364 | * 2048 bytes | 2044 | 10228 | * 2049 bytes | 1022 | 511 | * void * | 1046528 | 261632 |
*
* Since 64-bit pointers are twice the size, we lose half the
* capacity in the base structure. Also note that no effort is made
* to efficiently pack objects across page boundaries.
I figure it's less likely to get lost there than in the patch description.
Quoted 12 lines
Quoted 11 lines
We could also potentially just pass the "
element_size" into each of the API functions instead of storing it internally. That would get us one more base pointer on 32-bit.The last improvement that I thought about was letting the individual array members span pages. In this implementation, if you have a 2049-byte object, it will only pack one of them into each "part" with no attempt to pack them. At this point, I don't think the added complexity would be worth it.
Quoted 4 lines
I expect the majority of callers will be storing plain old pointers in here.
In fact the facility would be quite useful if it explicitly stored and returned void*'s, like radix-tree and IDR.
I think that would be just as easy as sticking some helpers around it
int flex_array_put_ptr(struct flex_array *fa, int element_nr,
void *ptr, gfp_t flags)
{
return flex_array_put(fa, element_nr, &ptr, flags);
}
void *flex_array_get_ptr(struct flex_array *fa, int element_nr)
{
return *(void **)flex_array_get(fa, element_nr);
}Or, as you say, we may not want the store-by-value semantics at all. In that case, we can just do this by default.
Quoted 2 lines
Do we know of any potential callers which would want
flex_arrayto store elements by value in this manner?
The original user I was thinking of was the one that spawned this idea, the pid_t:
Review
Quoted 9 lines
if (PIDLIST_REALLOC_DIFFERENCE(length, dest)) {(quoted diff) +2
-2- newlist = kmalloc(dest * sizeof(pid_t), GFP_KERNEL); + newlist = pidlist_allocate(dest); if (newlist) { memcpy(newlist, list, dest * sizeof(pid_t)); - kfree(list); + pidlist_free(list); *p = newlist; }
I think they wanted elements by value.
Quoted 19 lines
Quoted 4 lines
lib/flex_array.c new file +4
-0+struct flex_array *alloc_flex_array (int element_size,int total,gfp_t flags) +{ +struct flex_array *ret; +int max_size =__nr_part_ptrs () *__elements_per_part (element_size);lib/flex_array.c line 66
Quoted 10 lines
lib/flex_array.c new file +10
-0+ +/* max_size will end up 0 if element_size > PAGE_SIZE */ +if (total > max_size) +return NULL ; + ret =kzalloc (sizeof (struct flex_array ), flags); +if (!ret) +return NULL ; + ret->element_size = element_size; +return ret; +}I expect that a decent proportion of users of this facility will only ever want a single
flex_array. So they'll want to be able to define and initialise theirflex_arrayat compile-time.
Quoted 1 line
That looks pretty easy to do?
Initializing the base structure should be pretty easy. I've included a FLEX_ARRAY_INIT() function to do it.
New patch on the way...
-- Dave
Quoted 12 lines · On Tue, 21 Jul 2009 14:56:51 -0700 Dave Hansen…
I've added some comments in the kerneldoc for the (newly renamed) alloc function:
* The maximum number of elements is currently the number of elements
* that can be stored in a page times the number of page pointers
* that we can fit in the base structure or (using integer math):
*
* (PAGE_SIZE/element_size) * (PAGE_SIZE-8)/sizeof(void *)
*
* Here's a table showing example capacities. Note that the maximum
* index that the get/put() functions is just nr_objects-1. *
Quoted 12 lines
* Element size | Objects | Objects | * PAGE_SIZE=4k | 32-bit | 64-bit | * ----------------------------------| * 1 byte | 4186112 | 2093056 | * 2 bytes | 2093056 | 1046528 | * 3 bytes | 1395030 | 697515 | * 4 bytes | 1046528 | 523264 | * 32 bytes | 130816 | 65408 | * 33 bytes | 126728 | 63364 | * 2048 bytes | 2044 | 10228 | * 2049 bytes | 1022 | 511 | * void * | 1046528 | 261632 |
4-bytes on 32-bit and 8-bytes on 64-bit are the most interesting ones (IMO). So what we're basically saying is "2MB on 64-bit".
I wonder if that's enough for known likely callers. Hopefully it is.
Andrew Morton
maintainerQuoted 12 lines · On Tue, 21 Jul 2009 14:56:51 -0700 Dave Hansen <[email protected]> wrote:
I've added some comments in the kerneldoc for the (newly renamed) alloc function:
* The maximum number of elements is currently the number of elements
* that can be stored in a page times the number of page pointers
* that we can fit in the base structure or (using integer math):
*
* (PAGE_SIZE/element_size) * (PAGE_SIZE-8)/sizeof(void *)
*
* Here's a table showing example capacities. Note that the maximum
* index that the get/put() functions is just nr_objects-1. *
Quoted 12 lines
* Element size | Objects | Objects | * PAGE_SIZE=4k | 32-bit | 64-bit | * ----------------------------------| * 1 byte | 4186112 | 2093056 | * 2 bytes | 2093056 | 1046528 | * 3 bytes | 1395030 | 697515 | * 4 bytes | 1046528 | 523264 | * 32 bytes | 130816 | 65408 | * 33 bytes | 126728 | 63364 | * 2048 bytes | 2044 | 10228 | * 2049 bytes | 1022 | 511 | * void * | 1046528 | 261632 |
4-bytes on 32-bit and 8-bytes on 64-bit are the most interesting ones (IMO). So what we're basically saying is "2MB on 64-bit".
I wonder if that's enough for known likely callers. Hopefully it is.
Quoted 11 lines · Dave Hansen
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Here's an alternative. I think it's what Andrew was suggesting here:
Looks like a useful library abstraction.
As far as using it for the cgroups tasks files, it would be possible, although I was leaning towards an approach that I expressed in the thread on Ben's patch to add the "procs" file:
- make css_set and its various linked lists RCU-safe
- make it possible for the cgroup iterator to pause/resume scanning by leaving a cursor at the relevant point in the css_set lists.
Then we can avoid any memory allocations at all.
The downside is that we lose the current sorted output for the tasks file; http://www.google.com/codesearch?q=cpuset+tasks suggests that current users of the tasks file don't expect it to be sorted (and in fact libcpuset explicitly sorts it after reading) so it's not clear if this would be a problem. I don't think I can see a plausible scenario where userspace would be relying on sorted output, but maybe others can.
Paul
Quoted 11 lines · Dave Hansen
Once a structure goes over PAGE_SIZE*2, we see occasional allocation failures. Some people have chosen to switch over to things like
vmalloc()that will let them keep array-like access to such a large structures. But,vmalloc()has plenty of downsides.Here's an alternative. I think it's what Andrew was suggesting here:
Looks like a useful library abstraction.
As far as using it for the cgroups tasks files, it would be possible, although I was leaning towards an approach that I expressed in the thread on Ben's patch to add the "procs" file:
- make css_set and its various linked lists RCU-safe
- make it possible for the cgroup iterator to pause/resume scanning by leaving a cursor at the relevant point in the css_set lists.
Then we can avoid any memory allocations at all.
The downside is that we lose the current sorted output for the tasks file; http://www.google.com/codesearch?q=cpuset+tasks suggests that current users of the tasks file don't expect it to be sorted (and in fact libcpuset explicitly sorts it after reading) so it's not clear if this would be a problem. I don't think I can see a plausible scenario where userspace would be relying on sorted output, but maybe others can.
Paul