1. 12 Jan, 2007 4 commits
    • marko's avatar
      e7d8e537
    • marko's avatar
      branches/zip: Add the buf_pool->zip_free[] accessor functions · 8420d4b6
      marko authored
      buf_buddy_add_to_free() and buf_buddy_remove_from_free().
      Remove some bogus Valgrind warnings.  Improve Valgrind instrumentation.
      8420d4b6
    • marko's avatar
      branches/zip: Improve Valgrind instrumentation of allocated memory. · 5637695a
      marko authored
      UNIV_MEM_FREE(): Declare a memory area free.
      UNIV_MEM_ALLOC(): Declare a memory area allocated (but uninitialized).
      UNIV_MEM_DESC(): Associate a memory area with a control block.
      UNIV_MEM_UNDESC(): Unassociate a control block.
      
      trx_sys_create_doublewrite_buf(): Clear the buffer with memset().
      
      buf_page_init(): Add a bogus UNIV_MEM_VALID(block->frame) to silence
      valid warnings about InnoDB data pages containing uninitialized data.
      
      buf_LRU_get_free_only(): Add UNIV_MEM_ALLOC(block->frame).
      
      buf_LRU_get_free_block(): Add UNIV_MEM_DESC(block->page.zip.data, block).
      
      buf_LRU_free_block(): Add UNIV_MEM_DESC(b->zip.data, b) when allocating
      a compressed-only control block for a compressed page.
      
      buf_LRU_block_free_non_file_page(): Replace UNIV_MEM_INVALID() with
      UNIV_MEM_FREE().
      
      buf_LRU_block_remove_hashed_page(): Add UNIV_MEM_UNDESC(bpage) when
      deallocating a compressed-only control block.  Add
      UNIV_MEM_INVALID(block->frame).  (The frame should be flagged free
      by buf_LRU_block_free_non_file_page() moments later.)
      
      buf0buddy.c: Disable some extra checks in Valgrind-instrumented builds.
      Add UNIV_MEM_VALID(), UNIV_MEM_INVALID(), UNIV_MEM_FREE(), UNIV_MEM_ALLOC()
      as necessary.
      5637695a
    • marko's avatar
      branches/zip: buf_relocate(): Copy the block. Invalidate the source block. · 069514de
      marko authored
      buf_buddy_block_free(), buf_buddy_free_low(): Flag the freed bytes
      uninitialized.
      
      buf_page_init_for_read(), buf_buddy_relocate(): Do not refer to bpage
      after invoking buf_relocate().
      
      buf_buddy_relocate(): Flag src uninitialized.
      069514de
  2. 10 Jan, 2007 4 commits
  3. 09 Jan, 2007 6 commits
  4. 08 Jan, 2007 3 commits
  5. 05 Jan, 2007 7 commits
  6. 04 Jan, 2007 2 commits
    • marko's avatar
      branches/zip: Allow dirty blocks to be relocated. Allow a transition · 14b99876
      marko authored
      to BUF_BLOCK_ZIP_DIRTY (discarding the uncompressed page corresponding
      to a modified compressed page that has not been flushed to disk).
      
      buf_page_can_relocate(): New function, modelled after
      buf_flush_ready_for_replace().
      
      buf_LRU_free_block(): Allow the transition to BUF_BLOCK_ZIP_DIRTY.
      
      buf_flush_insert_into_flush_list(): Make the prototype public.
      
      buf_buddy_relocate(): Remove an unnecessary switch statement.
      Use buf_page_can_relocate() instead of buf_flush_ready_for_replace().
      
      buf_page_peek(): Made UNIV_INLINE.
      
      Document UNIV_ZIP_DEBUG.
      14b99876
    • marko's avatar
      branches/zip: Fix two bugs in the relocation of block descriptors. · 4861c59c
      marko authored
      Improve diagnostics.
      
      buf_buddy_relocate(): Do not assume all small blocks to contain only one
      buf_page_t object.  Require an exact size match, as in the case of
      compressed pages.
      
      buf_relocate(): Relocate buf_pool->LRU_old if needed.
      Validate the LRU list in debug builds.
      
      buf_LRU_block_remove_hashed_page(): Do not overwrite FIL_PAGE_OFFSET
      or FIL_PAGE_ARCH_LOG_NO_OR_SPACE_ID.  The memory will be invalidated
      in debug builds of buf_buddy_free().
      
      buf0buddy.c: Add assertions for not holding buf_pool->zip_mutex.
      The calling thread should not be holding any block->mutex, but it might
      be too time-consuming to assert against that, even #ifdef UNIV_SYNC_DEBUG.
      4861c59c
  7. 03 Jan, 2007 5 commits
    • marko's avatar
      buf_flush_validate_low(): Minor cleanup. · 903ecf37
      marko authored
      903ecf37
    • marko's avatar
      branches/zip: Before calling buf_buddy_alloc() or buf_buddy_free(), · 4b903959
      marko authored
      release any block mutexes but hold the buf_pool->mutex.
      4b903959
    • marko's avatar
      branches/zip: Use the buddy allocator for managing compressed pages. · 39e30c0b
      marko authored
      There is something wrong with the management of compressed-only blocks
      (BUF_BLOCK_ZIP_PAGE).  To disable the creation of such blocks, set zip=TRUE
      in buf_LRU_block_remove_hashed_page().
      
      buf_LRU_block_remove_hashed_page(): Release buf_pool->zip_mutex when
      freeing a compressed-only page and its control block, with buf_buddy_free().
      Adapt callers.
      
      buf_LRU_block_free_hashed_page(): Change the parameter type from buf_page_t*
      to buf_block_t*.
      
      buf_LRU_free_block(): Move below the definition of buf_LRU_add_block_low().
      Allocate block descriptor for compressed-only blocks.
      
      buf_LRU_block_free_non_file_page(): Replace ut_free() with buf_buddy_free().
      
      buf_zip_decompress(): New function, split from buf_page_io_complete().
      
      buf_page_init_for_read(): Do not allocate the compressed page until it is
      really needed, to avoid the overhead of the buddy allocator.  Decompress
      compressed-only blocks that are needed again.
      
      buf_page_create(): Do not allocate the compressed page until it is
      really needed, to avoid the overhead of the buddy allocator.
      
      buf_validate(): Replace some equality tests on the lengths of the LRU
      list and the flush lists with greater-or-equal tests, since the counted
      numbers do not include control blocks for compressed-only pages.
      39e30c0b
    • marko's avatar
      branches/zip: Add __attribute__((const)) or __attribute__((pure)) · 90b7b8ab
      marko authored
      to all fold functions.
      90b7b8ab
    • marko's avatar
      branches/zip: trx_prepare_off_kernel(): Eliminate the local variable · 2e8631ff
      marko authored
      must_flush_log, and remove warning about lsn being possibly uninitialized.
      2e8631ff
  8. 02 Jan, 2007 2 commits
  9. 29 Dec, 2006 2 commits
    • marko's avatar
      branches/zip: Minor cleanup. · 0792d705
      marko authored
      buf_buddy_get(): New function in buf0buddy.c, to replace the macro
      in buf0buddy.h.
      
      buf_buddy_get_offset(): Remove.
      
      buf_buddy_get_slot(): Remove the prototype from buf0buddy.h.  This function
      is for internal use in buf0buddy.ic.
      0792d705
    • marko's avatar
      branches/zip: Minor cleanup. · 7c94b19f
      marko authored
      buf_page_get_gen(): Cache the result of fil_space_get_zip_size().
      
      trx_commit_off_kernel(): Eliminate the flag must_flush_log.  Initialize lsn = 0
      to signify must_flush_log == FALSE.
      
      log_flush_margin(): Eliminate the flag do_flush.  Initialize lsn = 0
      to signify do_flush == FALSE.
      7c94b19f
  10. 21 Dec, 2006 1 commit
    • marko's avatar
      branches/zip: Fix two bugs in the buddy allocator. · a9f0595a
      marko authored
      buf_buddy_block_free(): Remove the block from buf_pool->zip_hash.
      
      buf_buddy_alloc_clean(): Test for buf_page_in_file() before
      invoking buf_LRU_free_block().  The LRU list also contains "half-freed"
      blocks (state == BUF_BLOCK_REMOVE_HASH).
      a9f0595a
  11. 20 Dec, 2006 4 commits
    • marko's avatar
      branches/zip: Allow the buddy allocator to work for 16-kilobyte pages, · 13049a9e
      marko authored
      twice the maximum block size of the buddy system.
      
      buf_page_t: Note that state may change from BUF_BLOCK_READY_FOR_USE
      to BUF_BLOCK_MEMORY without buf_page_get_mutex() protection
      [only buf_pool->mutex].
      
      buf_buddy_get_slot(): Extend the output to BUF_BUDDY_SIZES.
      
      buf_buddy_alloc(), buf_buddy_free(): Allow sizes up to UNIV_PAGE_SIZE.
      
      buf_buddy_alloc_low(), buf_buddy_free_low(), buf_buddy_alloc_clean():
      Allow i==BUF_BUDDY_SIZES.
      13049a9e
    • marko's avatar
      branches/zip: buf_page_get_gen(): Restore the "break" statement to a · c20a0d95
      marko authored
      "for (;;)" loop that was accidentally removed in r1090.
      c20a0d95
    • marko's avatar
      branches/zip: buf_buddy_free_low(): When trying to relocate to a block on · a03c082c
      marko authored
      the free list, remove the free block from the free list, so that the list
      item pointers will not be overwritten.
      a03c082c
    • marko's avatar
      branches/zip: Fix bugs in the buddy allocator and add assertions. · 2c668570
      marko authored
      buf_buddy_free(), buf_buddy_free_low(): Document that the data must
      not be pointed to by the buffer pool.  Add ut_ad(!buf_pool_contains_zip())
      assertions to catch pointers to freed blocks.
      
      Validate the zip_free[] lists #ifdef UNIV_DEBUG.
      
      buf_buddy_relocate(): Ensure that the size of the compressed page
      matches.  The buddy block can be split, and the control block can be
      pointing to a smaller compressed page than the one whose relocation
      is being attempted.
      2c668570