Subversion Repositories HelenOS

Rev

Rev 4638 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright (c) 2001-2004 Jakub Jermar
  3.  * All rights reserved.
  4.  *
  5.  * Redistribution and use in source and binary forms, with or without
  6.  * modification, are permitted provided that the following conditions
  7.  * are met:
  8.  *
  9.  * - Redistributions of source code must retain the above copyright
  10.  *   notice, this list of conditions and the following disclaimer.
  11.  * - Redistributions in binary form must reproduce the above copyright
  12.  *   notice, this list of conditions and the following disclaimer in the
  13.  *   documentation and/or other materials provided with the distribution.
  14.  * - The name of the author may not be used to endorse or promote products
  15.  *   derived from this software without specific prior written permission.
  16.  *
  17.  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18.  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20.  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21.  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22.  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23.  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24.  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25.  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26.  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27.  */
  28.  
  29. /** @addtogroup genericmm
  30.  * @{
  31.  */
  32.  
  33. /**
  34.  * @file
  35.  * @brief   Generic TLB shootdown algorithm.
  36.  *
  37.  * The algorithm implemented here is based on the CMU TLB shootdown
  38.  * algorithm and is further simplified (e.g. all CPUs receive all TLB
  39.  * shootdown messages).
  40.  */
  41.  
  42. #include <mm/tlb.h>
  43. #include <mm/asid.h>
  44. #include <smp/ipi.h>
  45. #include <synch/spinlock.h>
  46. #include <atomic.h>
  47. #include <arch/asm.h>
  48. #include <arch/interrupt.h>
  49. #include <config.h>
  50. #include <arch.h>
  51. #include <panic.h>
  52. #include <debug.h>
  53. #include <cpu.h>
  54.  
  55. /**
  56.  * This lock is used for synchronisation between sender and
  57.  * recipients of TLB shootdown message. It must be acquired
  58.  * before CPU structure lock.
  59.  */
  60. SPINLOCK_INITIALIZE(tlblock);
  61.  
  62. void tlb_init(void)
  63. {
  64.     tlb_arch_init();
  65. }
  66.  
  67. #ifdef CONFIG_SMP
  68.  
  69. /** Send TLB shootdown message.
  70.  *
  71.  * This function attempts to deliver TLB shootdown message
  72.  * to all other processors.
  73.  *
  74.  * This function must be called with interrupts disabled.
  75.  *
  76.  * @param type Type describing scope of shootdown.
  77.  * @param asid Address space, if required by type.
  78.  * @param page Virtual page address, if required by type.
  79.  * @param count Number of pages, if required by type.
  80.  */
  81. void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid,
  82.     uintptr_t page, count_t count)
  83. {
  84.     unsigned int i;
  85.  
  86.     CPU->tlb_active = 0;
  87.  
  88.     spinlock_lock(&tlblock);
  89.    
  90.     for (i = 0; i < config.cpu_count; i++) {
  91.         cpu_t *cpu;
  92.        
  93.         if (i == CPU->id)
  94.             continue;
  95.  
  96.         cpu = &cpus[i];
  97.         spinlock_lock(&cpu->lock);
  98.         if (cpu->tlb_messages_count == TLB_MESSAGE_QUEUE_LEN) {
  99.             /*
  100.              * The message queue is full.
  101.              * Erase the queue and store one TLB_INVL_ALL message.
  102.              */
  103.             cpu->tlb_messages_count = 1;
  104.             cpu->tlb_messages[0].type = TLB_INVL_ALL;
  105.             cpu->tlb_messages[0].asid = ASID_INVALID;
  106.             cpu->tlb_messages[0].page = 0;
  107.             cpu->tlb_messages[0].count = 0;
  108.         } else {
  109.             /*
  110.              * Enqueue the message.
  111.              */
  112.             index_t idx = cpu->tlb_messages_count++;
  113.             cpu->tlb_messages[idx].type = type;
  114.             cpu->tlb_messages[idx].asid = asid;
  115.             cpu->tlb_messages[idx].page = page;
  116.             cpu->tlb_messages[idx].count = count;
  117.         }
  118.         spinlock_unlock(&cpu->lock);
  119.     }
  120.    
  121.     tlb_shootdown_ipi_send();
  122. busy_wait: 
  123.     for (i = 0; i < config.cpu_count; i++) {
  124.         if (cpus[i].tlb_active)
  125.             goto busy_wait;
  126.     }
  127. }
  128.  
  129. /** Finish TLB shootdown sequence. */
  130. void tlb_shootdown_finalize(void)
  131. {
  132.     spinlock_unlock(&tlblock);
  133.     CPU->tlb_active = 1;
  134. }
  135.  
  136. void tlb_shootdown_ipi_send(void)
  137. {
  138.     ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
  139. }
  140.  
  141. /** Receive TLB shootdown message. */
  142. void tlb_shootdown_ipi_recv(void)
  143. {
  144.     tlb_invalidate_type_t type;
  145.     asid_t asid;
  146.     uintptr_t page;
  147.     count_t count;
  148.     unsigned int i;
  149.    
  150.     ASSERT(CPU);
  151.    
  152.     CPU->tlb_active = 0;
  153.     spinlock_lock(&tlblock);
  154.     spinlock_unlock(&tlblock);
  155.  
  156.     spinlock_lock(&CPU->lock);
  157.     ASSERT(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);
  158.  
  159.     for (i = 0; i < CPU->tlb_messages_count; CPU->tlb_messages_count--) {
  160.         type = CPU->tlb_messages[i].type;
  161.         asid = CPU->tlb_messages[i].asid;
  162.         page = CPU->tlb_messages[i].page;
  163.         count = CPU->tlb_messages[i].count;
  164.  
  165.         switch (type) {
  166.         case TLB_INVL_ALL:
  167.             tlb_invalidate_all();
  168.             break;
  169.         case TLB_INVL_ASID:
  170.             tlb_invalidate_asid(asid);
  171.             break;
  172.         case TLB_INVL_PAGES:
  173.                 ASSERT(count);
  174.             tlb_invalidate_pages(asid, page, count);
  175.             break;
  176.         default:
  177.             panic("unknown type (%d)\n", type);
  178.             break;
  179.         }
  180.         if (type == TLB_INVL_ALL)
  181.             break;
  182.     }
  183.    
  184.     spinlock_unlock(&CPU->lock);
  185.     CPU->tlb_active = 1;
  186. }
  187.  
  188. #endif /* CONFIG_SMP */
  189.  
  190. /** @}
  191.  */
  192.