lkml.org 
[lkml]   [2018]   [Feb]   [26]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [PATCH 1/7] genalloc: track beginning of allocations
From
Date
Hello,
and thanks for the reviews, my replies inlined below.

On 24/02/18 00:28, J Freyensee wrote:
> some code snipping
> .
> .
> .
>> +/**
>> + * get_bitmap_entry() - extracts the specified entry from the bitmap
>> + * @map: pointer to a bitmap
>> + * @entry_index: the index of the desired entry in the bitmap
>> + *
>> + * Return: The requested bitmap.
>> + */
>> +static inline unsigned long get_bitmap_entry(unsigned long *map,
>> + int entry_index)
>> +{
>
> Apologies if this has been mentioned before, but since this function is
> expecting map to not be NULL, shouldn't something like:
>
> WARN_ON(map == NULL);
>
> be used to check the parameters for bad values?

TBH I do not know.
Actually I'd rather ask back: when is it preferred to do (and not do)
parameter sanitation?

I was thinking that doing it at API level is the right balance.
This function, for example, is not part of the API, it's used only
internally in this file.

Is it assuming too much that the function will be used correctly, inside
the module it belongs to?

And even at API level, I'd tend to say that if there are chances that
the data received is corrupted, then it should be sanitized, but otherwise,
why adding overhead?

Unless you expect some form of memory corruption. Is that what you have
in mind?

[...]

>> static inline size_t chunk_size(const struct gen_pool_chunk *chunk)
>> {
> Same problem here, always expecting chunk to not but NULL.

What would be the case that makes it not NULL?
There are already tests in place when the memory is allocated.

If I really have to pick a place where to do the test, it's at API
level, where the user of the API might fail to notice that the creation
of a pool failed and try to get memory from a non-existing pool.
That is the only scenario I can think of, where bogus data would be
received.

>
>> return chunk->end_addr - chunk->start_addr + 1;
>> }
>>
>> -static int set_bits_ll(unsigned long *addr, unsigned long mask_to_set)
>> +
>> +/**
>> + * set_bits_ll() - based on value and mask, sets bits at address
>> + * @addr: where to write
>> + * @mask: filter to apply for the bits to alter
>> + * @value: actual configuration of bits to store
>> + *
>> + * Return:
>> + * * 0 - success
>> + * * -EBUSY - otherwise
>> + */
>> +static int set_bits_ll(unsigned long *addr,
>> + unsigned long mask, unsigned long value)
>> {
>> - unsigned long val, nval;
>> + unsigned long nval;
>> + unsigned long present;
>> + unsigned long target;
>>
>> nval = *addr;
>
> Same issue here with addr.

Again, I am more leaning toward believing that the user of the API might
forget to check for errors, and pass a NULL pointer as pool, than to
believe something like this would happen.

This is an address obtained from data managed automatically by the library.

Can you please explain why you think it would be NULL?
I'll skip further similar comment.

[...]

>> + /*
>> + * Prepare for writing the initial part of the allocation, from
>> + * starting entry, to the end of the UL bitmap element which
>> + * contains it. It might be larger than the actual allocation.
>> + */
>> + start_bit = ENTRIES_TO_BITS(start_entry);
>> + end_bit = ENTRIES_TO_BITS(start_entry + nentries);
>> + nbits = ENTRIES_TO_BITS(nentries);
>
> these statements won't make any sense if start_entry and nentries are
> negative values, which is possible based on the function definition
> alter_bitmap_ll().  Am I missing something that it's ok for these
> parameters to be negative?

This patch is extending the handling of the bitmap, it's not trying to
rewrite genalloc, thus it tries to not alter parts which are unrelated.
Like the type of parameters passed.

What you are suggesting is a further cleanup of genalloc.
I'm not against it, but it's unrelated to this patchset.

Incidentally, nobody really seems to be maintaining genalloc, so I'm
hesitant in adding more changes, when there isn't a dedicated maintainer
to say Yes/No.

>> + bits_to_write = BITS_PER_LONG - start_bit % BITS_PER_LONG;
>> + mask = BITMAP_FIRST_WORD_MASK(start_bit);
>> + /* Mark the beginning of the allocation. */
>> + value = MASK | (1UL << (start_bit % BITS_PER_LONG));
>> + index = BITS_DIV_LONGS(start_bit);
>> +
>> + /*
>> + * Writes entries to the bitmap, as long as the reminder is
>> + * positive or zero.
>> + * Might be skipped if the entries to write do not reach the end
>> + * of a bitmap UL unit.
>> + */
>> + while (nbits >= bits_to_write) {
>> + if (action(map + index, mask, value & mask))
>> + return BITS_DIV_ENTRIES(nbits);
>> + nbits -= bits_to_write;
>> + bits_to_write = BITS_PER_LONG;
>> + mask = ~0UL;
>> + value = MASK;
>> + index++;
>> }
>>
>> + /* Takes care of the ending part of the entries to mark. */
>> + if (nbits > 0) {
>> + mask ^= BITMAP_FIRST_WORD_MASK((end_bit) % BITS_PER_LONG);
>> + bits_to_write = nbits;
>> + if (action(map + index, mask, value & mask))
>> + return BITS_DIV_ENTRIES(nbits);
>> + }
>> return 0;
>> }
>>
>> +
>> /**
>> - * gen_pool_create - create a new special memory pool
>> - * @min_alloc_order: log base 2 of number of bytes each bitmap bit represents
>> - * @nid: node id of the node the pool structure should be allocated on, or -1
>> + * gen_pool_create() - create a new special memory pool
>> + * @min_alloc_order: log base 2 of number of bytes each bitmap entry
>> + * represents
>> + * @nid: node id of the node the pool structure should be allocated on,
>> + * or -1
>> *
>> - * Create a new special memory pool that can be used to manage special purpose
>> - * memory not managed by the regular kmalloc/kfree interface.
>> + * Create a new special memory pool that can be used to manage special
>> + * purpose memory not managed by the regular kmalloc/kfree interface.
>> + *
>> + * Return:
>> + * * pointer to the pool - success
>> + * * NULL - otherwise
>> */
>> struct gen_pool *gen_pool_create(int min_alloc_order, int nid)
>> {
>> @@ -167,7 +364,7 @@ struct gen_pool *gen_pool_create(int min_alloc_order, int nid)
>> EXPORT_SYMBOL(gen_pool_create);
>>
>> /**
>> - * gen_pool_add_virt - add a new chunk of special memory to the pool
>> + * gen_pool_add_virt() - add a new chunk of special memory to the pool
>> * @pool: pool to add new memory chunk to
>> * @virt: virtual starting address of memory chunk to add to pool
>> * @phys: physical starting address of memory chunk to add to pool
>> @@ -177,16 +374,20 @@ EXPORT_SYMBOL(gen_pool_create);
>> *
>> * Add a new chunk of special memory to the specified pool.
>> *
>> - * Returns 0 on success or a -ve errno on failure.
>> + * Return:
>> + * * 0 - success
>> + * * -ve errno - failure
>> */
>> -int gen_pool_add_virt(struct gen_pool *pool, unsigned long virt, phys_addr_t phys,
>> - size_t size, int nid)
>> +int gen_pool_add_virt(struct gen_pool *pool, unsigned long virt,
>> + phys_addr_t phys, size_t size, int nid)
>> {
> WARN_ON(pool == NULL);
> ?
>> struct gen_pool_chunk *chunk;
>> - int nbits = size >> pool->min_alloc_order;
>> - int nbytes = sizeof(struct gen_pool_chunk) +
>> - BITS_TO_LONGS(nbits) * sizeof(long);
>> + int nentries;
>> + int nbytes;
>>
>> + nentries = size >> pool->min_alloc_order;
>> + nbytes = sizeof(struct gen_pool_chunk) +
>> + ENTRIES_DIV_LONGS(nentries) * sizeof(long);
>> chunk = kzalloc_node(nbytes, GFP_KERNEL, nid);
>> if (unlikely(chunk == NULL))
>> return -ENOMEM;
>> @@ -205,11 +406,13 @@ int gen_pool_add_virt(struct gen_pool *pool, unsigned long virt, phys_addr_t phy
>> EXPORT_SYMBOL(gen_pool_add_virt);
>>
>> /**
>> - * gen_pool_virt_to_phys - return the physical address of memory
>> + * gen_pool_virt_to_phys() - return the physical address of memory
>> * @pool: pool to allocate from
>> * @addr: starting address of memory
>> *
>> - * Returns the physical address on success, or -1 on error.
>> + * Return:
>> + * * the physical address - success
>> + * * \-1 - error
>> */
>> phys_addr_t gen_pool_virt_to_phys(struct gen_pool *pool, unsigned long addr)
>> {
>> @@ -230,7 +433,7 @@ phys_addr_t gen_pool_virt_to_phys(struct gen_pool *pool, unsigned long addr)
>> EXPORT_SYMBOL(gen_pool_virt_to_phys);
>>
>> /**
>> - * gen_pool_destroy - destroy a special memory pool
>> + * gen_pool_destroy() - destroy a special memory pool
>> * @pool: pool to destroy
>> *
>> * Destroy the specified special memory pool. Verifies that there are no
>> @@ -248,7 +451,7 @@ void gen_pool_destroy(struct gen_pool *pool)
>> list_del(&chunk->next_chunk);
>>
>> end_bit = chunk_size(chunk) >> order;
>> - bit = find_next_bit(chunk->bits, end_bit, 0);
>> + bit = find_next_bit(chunk->entries, end_bit, 0);
>> BUG_ON(bit < end_bit);
>>
>> kfree(chunk);
>> @@ -259,7 +462,7 @@ void gen_pool_destroy(struct gen_pool *pool)
>> EXPORT_SYMBOL(gen_pool_destroy);
>>
>> /**
>> - * gen_pool_alloc - allocate special memory from the pool
>> + * gen_pool_alloc() - allocate special memory from the pool
>> * @pool: pool to allocate from
>> * @size: number of bytes to allocate from the pool
>> *
>> @@ -267,6 +470,10 @@ EXPORT_SYMBOL(gen_pool_destroy);
>> * Uses the pool allocation function (with first-fit algorithm by default).
>> * Can not be used in NMI handler on architectures without
>> * NMI-safe cmpxchg implementation.
>> + *
>> + * Return:
>> + * * address of the memory allocated - success
>> + * * NULL - error
>> */
>> unsigned long gen_pool_alloc(struct gen_pool *pool, size_t size)
>> {
>> @@ -275,7 +482,7 @@ unsigned long gen_pool_alloc(struct gen_pool *pool, size_t size)
>> EXPORT_SYMBOL(gen_pool_alloc);
>>
>> /**
>> - * gen_pool_alloc_algo - allocate special memory from the pool
>> + * gen_pool_alloc_algo() - allocate special memory from the pool
>> * @pool: pool to allocate from
>> * @size: number of bytes to allocate from the pool
>> * @algo: algorithm passed from caller
>> @@ -285,6 +492,10 @@ EXPORT_SYMBOL(gen_pool_alloc);
>> * Uses the pool allocation function (with first-fit algorithm by default).
>> * Can not be used in NMI handler on architectures without
>> * NMI-safe cmpxchg implementation.
>> + *
>> + * Return:
>> + * * address of the memory allocated - success
>> + * * NULL - error
>> */
>> unsigned long gen_pool_alloc_algo(struct gen_pool *pool, size_t size,
>> genpool_algo_t algo, void *data)
>> @@ -292,7 +503,7 @@ unsigned long gen_pool_alloc_algo(struct gen_pool *pool, size_t size,
>> struct gen_pool_chunk *chunk;
>> unsigned long addr = 0;
>> int order = pool->min_alloc_order;
>> - int nbits, start_bit, end_bit, remain;
>> + int nentries, start_entry, end_entry, remain;
> Be nicer to use "unsigned int", but it's not clear from this diff that
> this could work with other existing code.
>
>>
>> #ifndef CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG
>> BUG_ON(in_nmi());
>> @@ -301,29 +512,32 @@ unsigned long gen_pool_alloc_algo(struct gen_pool *pool, size_t size,
>> if (size == 0)
>> return 0;
>>
>> - nbits = (size + (1UL << order) - 1) >> order;
>> + nentries = mem_to_units(size, order);
>> rcu_read_lock();
>> list_for_each_entry_rcu(chunk, &pool->chunks, next_chunk) {
>> if (size > atomic_long_read(&chunk->avail))
>> continue;
>>
>> - start_bit = 0;
>> - end_bit = chunk_size(chunk) >> order;
>> + start_entry = 0;
>> + end_entry = chunk_size(chunk) >> order;
>> retry:
>> - start_bit = algo(chunk->bits, end_bit, start_bit,
>> - nbits, data, pool);
>> - if (start_bit >= end_bit)
>> + start_entry = algo(chunk->entries, end_entry, start_entry,
>> + nentries, data, pool);
>> + if (start_entry >= end_entry)
>> continue;
>> - remain = bitmap_set_ll(chunk->bits, start_bit, nbits);
>> + remain = alter_bitmap_ll(SET_BITS, chunk->entries,
>> + start_entry, nentries);
>> if (remain) {
>> - remain = bitmap_clear_ll(chunk->bits, start_bit,
>> - nbits - remain);
>> - BUG_ON(remain);
>> + remain = alter_bitmap_ll(CLEAR_BITS,
>> + chunk->entries,
>> + start_entry,
>> + nentries - remain);
>> goto retry;
>> }
>>
>> - addr = chunk->start_addr + ((unsigned long)start_bit << order);
>> - size = nbits << order;
>> + addr = chunk->start_addr +
>> + ((unsigned long)start_entry << order);
>> + size = nentries << order;
>> atomic_long_sub(size, &chunk->avail);
>> break;
>> }
>> @@ -333,7 +547,7 @@ unsigned long gen_pool_alloc_algo(struct gen_pool *pool, size_t size,
>> EXPORT_SYMBOL(gen_pool_alloc_algo);
>>
>> /**
>> - * gen_pool_dma_alloc - allocate special memory from the pool for DMA usage
>> + * gen_pool_dma_alloc() - allocate special memory from the pool for DMA usage
>> * @pool: pool to allocate from
>> * @size: number of bytes to allocate from the pool
>> * @dma: dma-view physical address return value. Use NULL if unneeded.
>> @@ -342,6 +556,10 @@ EXPORT_SYMBOL(gen_pool_alloc_algo);
>> * Uses the pool allocation function (with first-fit algorithm by default).
>> * Can not be used in NMI handler on architectures without
>> * NMI-safe cmpxchg implementation.
>> + *
>> + * Return:
>> + * * address of the memory allocated - success
>> + * * NULL - error
>> */
>> void *gen_pool_dma_alloc(struct gen_pool *pool, size_t size, dma_addr_t *dma)
>> {
>> @@ -362,10 +580,10 @@ void *gen_pool_dma_alloc(struct gen_pool *pool, size_t size, dma_addr_t *dma)
>> EXPORT_SYMBOL(gen_pool_dma_alloc);
>>
>> /**
>> - * gen_pool_free - free allocated special memory back to the pool
>> + * gen_pool_free() - free allocated special memory back to the pool
>> * @pool: pool to free to
>> * @addr: starting address of memory to free back to pool
>> - * @size: size in bytes of memory to free
>> + * @size: size in bytes of memory to free or 0, for auto-detection
>> *
>> * Free previously allocated special memory back to the specified
>> * pool. Can not be used in NMI handler on architectures without
>> @@ -375,22 +593,29 @@ void gen_pool_free(struct gen_pool *pool, unsigned long addr, size_t size)
>> {
>> struct gen_pool_chunk *chunk;
>> int order = pool->min_alloc_order;
>> - int start_bit, nbits, remain;
>> + int start_entry, remaining_entries, nentries, remain;
>> + int boundary;
>>
>> #ifndef CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG
>> BUG_ON(in_nmi());
>> #endif
>>
>> - nbits = (size + (1UL << order) - 1) >> order;
>> rcu_read_lock();
>> list_for_each_entry_rcu(chunk, &pool->chunks, next_chunk) {
>> if (addr >= chunk->start_addr && addr <= chunk->end_addr) {
>> BUG_ON(addr + size - 1 > chunk->end_addr);
>> - start_bit = (addr - chunk->start_addr) >> order;
>> - remain = bitmap_clear_ll(chunk->bits, start_bit, nbits);
>> + start_entry = (addr - chunk->start_addr) >> order;
>> + remaining_entries = (chunk->end_addr - addr) >> order;
>> + boundary = get_boundary(chunk->entries, start_entry,
>> + remaining_entries);
>> + BUG_ON(boundary < 0);
>
> Do you really want to use BUG_ON()?  I've thought twice about using
> BUG_ON() based on Linus's wrath with BUG_ON() code causing an issue with
> the 4.8 release:
>
> https://lkml.org/lkml/2016/10/4/1
>
> Hence why I've been giving WARN_ON() suggestions throughout this review.

Oh, I thought I had added explanations here too, but I did it only for
pmalloc :-(

Thanks for spotting this.

To answer the question, do I really want to do it?
Maybe not here, I wrote this before introducing the self test.
But in the self test probably yes. The self test is optional and the
idea is to prevent cases where there could be corruption of permanent
storage.

I have read Linus' comments, but what is still not clear to me is:
is there _any_ case where BUG_ON() is acceptable?

I'd think that avoiding potential data corruption would be ok, but if
the answer is that, no, there is no acceptable case for using it, then
why is it still available?


--
igor

\
 
 \ /
  Last update: 2018-02-26 13:10    [W:0.069 / U:1.168 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site