Subversion Repositories HelenOS-historic

Rev

Rev 594 | Rev 727 | Go to most recent revision | 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. #include <mm/tlb.h>
  30. #include <arch/mm/tlb.h>
  31. #include <smp/ipi.h>
  32. #include <synch/spinlock.h>
  33. #include <typedefs.h>
  34. #include <arch/atomic.h>
  35. #include <arch/interrupt.h>
  36. #include <config.h>
  37. #include <arch.h>
  38. #include <panic.h>
  39.  
  40. SPINLOCK_INITIALIZE(tlblock);
  41.  
  42. void tlb_init(void)
  43. {
  44.     tlb_arch_init();
  45. }
  46.  
  47. #ifdef CONFIG_SMP
  48. /* must be called with interrupts disabled */
  49. void tlb_shootdown_start(void)
  50. {
  51.     int i;
  52.  
  53.     CPU->tlb_active = 0;
  54.     spinlock_lock(&tlblock);
  55.     tlb_shootdown_ipi_send();
  56.     tlb_invalidate(0); /* TODO: use valid ASID */
  57.    
  58. busy_wait: 
  59.     for (i = 0; i<config.cpu_count; i++)
  60.         if (cpus[i].tlb_active)
  61.             goto busy_wait;
  62. }
  63.  
  64. void tlb_shootdown_finalize(void)
  65. {
  66.     spinlock_unlock(&tlblock);
  67.     CPU->tlb_active = 1;
  68. }
  69.  
  70. void tlb_shootdown_ipi_send(void)
  71. {
  72.     ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
  73. }
  74.  
  75. void tlb_shootdown_ipi_recv(void)
  76. {
  77.     CPU->tlb_active = 0;
  78.     spinlock_lock(&tlblock);
  79.     spinlock_unlock(&tlblock);
  80.     tlb_invalidate(0);  /* TODO: use valid ASID */
  81.     CPU->tlb_active = 1;
  82. }
  83. #endif /* CONFIG_SMP */
  84.