SlideShare a Scribd company logo
SMP Implementation
 for OpenBSD/sgi
  Takuya ASADA<syuu@openbsd.org>
Introduction
•   I was working to add SMP & 64bit support to
    a BSD-based embedded OS at
    The target device was MIPS64
•   There’s no complete *BSD/MIPS SMP
    implementation at that time, so I implemented it
•   The implementation was proprietary, but I wanted
    to contribute something to BSD community
•   I decided to implement SMP from scratch, tried to
    find a suitable MIPS SMP machine
Finding MIPS/SMP
       Machine(1)
• Broadcom SiByte BCM1250 looks nice -
  2core 1GHz MIPS64, DDR DRAM, GbE,
  PCI, HT
• Cisco 3845 integrated this processor
• How much is it?
Finding MIPS/SMP
       Machine(1)
• Broadcom SiByte BCM1250 looks nice -
  2core 1GHz MIPS64, DDR DRAM, GbE,
  PCI, HT
• Cisco 3845 integrated this processor
• How much is it?
        from $14,200!
     Totally unacceptable!!!
Finding MIPS/SMP
       Machine(2)
• Some antique SGI machines are available on
  eBay
• These are basically very cheap
• I realized SGI Octane 2 has 2 cores, already
  supported by OpenBSD
Finding MIPS/SMP
          Machine(2)
   • Some antique SGI machines are available on
     eBay
   • These are basically very cheap
   • I realized SGI Octane 2 has 2 cores, already
     supported by OpenBSD
           Just $33!
Do you remember how much was it?
This is my Octane2
Processors MIPS R12000 400MHz x2


 Memory         1GB SDRAM

Graphics     3D Graphics Card

 Sound     Integrated Digital Audio

 Storage      35GB SCSI HDD

Ethernet         100BASE-T
SMP implementation for OpenBSD/sgi
SMP implementation for OpenBSD/sgi
SMP implementation for OpenBSD/sgi
SMP implementation for OpenBSD/sgi
Become an OpenBSD
    developer
• I started working on Octane2 since Apr
  2009, wrote about on my blog
• Miod Vallat discovered it, suggested my
  code be merged into OpenBSD main tree
• I become an OpenBSD developer in Sep
  2009, started merging the code, joined
  hackathon, worked with Miod and Joel Sing
NOW IT WORKS!!!!

• Merged into OpenBSD main tree
• You can try it now!
• It seems stable -
  I tried “make build” again and again over a
  day, it keeps working
Demo
Performance -
 kernel build benchmark
 '(&!!"   4% overhead
 '(%!!"
 '($!!"
 '(#!!"                     46% speed up
 '(!!!"
                                           ,-.-/01)02+!"
  &!!"
                                           ,-.-/01)02+!342"
  %!!"
  $!!"
  #!!"
     !"
(sec)        ")*'"      ")*#"      ")*+"
Performance -
 OpenBSD/amd64 for comparison
 &!!"

 %#!"
        2% overhead

 %!!"
                              44% speed up
 $#!"                                        )*+*,-."
                                             )*+*,-./01"
 $!!"

  #!"

   !"
           "'($"      "'(%"          "'(&"
(sec)
What did we need to
    do for the SMP work
There were lots of works...
•   Support multiple cpu_info      •   Secondary processor entry
    and processor related              point
    macros
                                   •   IPI: Inter-Processor Interrupt
•   Move per-processor data into
    cpu_info                       •   Per-processor ASID
                                       management
•   Implement lock primitives
                                   •   TLB shootdown
•   Acquiring giant lock
                                   •   Lazy FPU handling
•   Implement atomic operations
                                   •   Per-processor clock
•   Spin up secondary
    processors
Describe it more
        simply
We can classify tasks into three kind of
problems:
• Restructuring per-processor informations
• Implement and use lock/atomic primitives
• Hardware related problems
Restructuring per-
processor informations
•   In the original sgi port, some informations which
    related the processor are allocated only one
•   Simple case:
    Information is stored into global variable
    Move it into “cpu_info”, per-processor structure
•   Complex case:
    In pmap, we need to maintain some information
    per-processor * per-process
Simple case -
       clock.c: original code
// defined as global variables
       u_int32_t cpu_counter_last;
       u_int32_t cpu_counter_interval;
       u_int32_t pendingticks;

uint32_t clock_int5(uint32_t mask, struct trap_frame *tf)
...
       clkdiff = cp0_get_count() - cpu_counter_last;
       while (clkdiff >= cpu_counter_interval) {
               cpu_counter_last += cpu_counter_interval;
               clkdiff = cp0_get_count() - cpu_counter_last;
               pendingticks++;
Simple case -
      clock.c: modified code

uint32_t clock_int5(uint32_t mask, struct trap_frame *tf)
...
       struct cpu_info *ci = curcpu();
       clkdiff = cp0_get_count() - ci->ci_cpu_counter_last;
       while (clkdiff >= ci->ci_cpu_counter_interval) {
               ci->ci_cpu_counter_last +=
                   ci->ci_cpu_counter_interval;
               clkdiff =
                  cp0_get_count() - ci->ci_cpu_counter_last;
               ci->ci_pendingticks++;
Complex case: pmap
•   MIPS TLB entries are tagged with 8bit process id called ASID,
    used for improve performance
    MMU skips different process TLB entries on lookup
    We won’t need to flush TLB every context switches
•   Need to maintain process:ASID assign information
    because it’s smaller than PID, we need to rotate it
•   The information should keep beyond context switch
•   We maintain ASID individually per-processor


•   What we need is:
    ASID information per-processor * per-process
Complex case - pmap.c:
     original and modified code
uint pmap_alloc_tlbpid(struct proc *p)
...
               tlbpid_cnt = id + 1;
               pmap->pm_tlbpid = id;




uint pmap_alloc_tlbpid(struct proc *p)
...
               tlbpid_cnt[cpuid] = id + 1;
               pmap->pm_tlbpid[cpuid] = id;
Implement and use
lock/atomic primitives
•   Needed to implement
    •   lock primitives: mutex, mp_lock
    •   atomic primitives: CAS, 64bit add, etc..
•   Acquiring giant lock prior to entering the kernel
    context
    •   hardware interrupts
    •   software interrupts
    •   trap()
Acquiring giant lock on
    clock interrupt handler
uint32_t clock_int5(uint32_t mask, struct trap_frame *tf)
...
       if (tf->ipl < IPL_CLOCK) {
#ifdef MULTIPROCESSOR
                __mp_lock(&kernel_lock);
#endif
                while (ci->ci_pendingticks) {
                        clk_count.ec_count++;
                        hardclock(tf);
                        ci->ci_pendingticks--;
                }
#ifdef MULTIPROCESSOR
                __mp_unlock(&kernel_lock);
#endif
Acquiring giant lock on
    clock interrupt handler
uint32_t clock_int5(uint32_t mask, struct trap_frame *tf)
...
       if (tf->ipl < IPL_CLOCK) {
#ifdef MULTIPROCESSOR
                __mp_lock(&kernel_lock);
#endif
                while (ci->ci_pendingticks) {
                        clk_count.ec_count++;
                        hardclock(tf);
                        ci->ci_pendingticks--;
                }
#ifdef MULTIPROCESSOR
                __mp_unlock(&kernel_lock);
#endif

       Actually, it causes a bug... described later
Hardware related
       problems

• Spin up secondary processor
• Keeping TLB consistency by software
• Cache coherency
Spin up secondary
            processor
•   We need to launch secondary processor
    •   Access hardware register on controller device
        to power on the processor
•   Secondary processor needs own bootstrap code
    •   Has to be similar to primary processor’s one
    •   But we won’t need kernel, memory, and device
        initialization
    •   Because primary processor already did it
Keeping TLB consistency
      by software
• MIPS TLB doesn’t have mechanism to keep
  consistency, we need to do it by software
  Just like the other typical architectures
• Invalidate/update other processor’s TLB
  using TLB shootdown
 • It implemented by IPI
    (Inter-Processor Interrupt)
Cache coherency

• MIPS R10000/R12000 processors have full
  cache coherency
• We don’t have to care about it on Octane
• But, some other processors haven’t full
  cache coherency
Ideas implementing
           SMP
• We have faced a number of issues while
  implementing SMP
 • Fighting against deadlock
 • Dynamic memory allocation without
    using virtual address
 • Reduce frequency of TLB shootdown
Fighting against
          deadlock
• It’s hard to find the cause of deadlocks
  because both processors runs concurrently
• It causes timing bugs -
  conditions are depend on timing
• Need to be able to determine what
  happened on both processors at that time
• There are tools for debugging it
JTAG ICE
• Very useful for debugging
• We can get any data for debugging on
  desired timing, even after kernel hangs
• I used it when I was implementing SMP for
  the embedded OS
• Not for Octane, there’s no way to connect
ddb
•   OpenBSD kernel has in-kernel debugger, named ddb
•   We can get similar data for JTAG ICE, but kernel
    need to alive - because it’s part of the kernel
•   Missing features:
    We hadn’t implemented “machine ddbcpu<#>” -
    which is processor switching function on ddb
    Without this, we can only debug one processor
    which invoked ddb on a breakpoint
•   Not always useful
printf()
•   Most popular kernel debugging tool
•   Just write printf(message) on your code, Easy to use ;)
•   Unfortunately, it has some problems
    •   printf() wastes lot of cycles, changes timing between
        processors
        We may miss timing bug because of it
    •   Some point of the code are printf() unsafe
        causes kernel hang
•   We use it anyway
Divide printf output for
    two serial port
•   There’s two serial port and two processors
•   If we have lots of debug print, it’s hard to
    understand which lines belongs to what processor
•   I implemented dirty hack code which output
    strings directly to secondary serial port, named
    combprintf()
•   Rewrite debug print to
    primary processor outputs primary serial port,
    secondary processor outputs secondary serial port
What do we need to
 print for debugging?
• To know where the kernel running roughly
 • put debug print everywhere the point
    kernel may running through
 • dump all system call using
    SYSCALL_DEBUG
• How can we determine a deadlock point?
Determine a deadlock
       point
• Deadlocks are occurring on spinlocks
• It loops permanently until a condition
  become available, but that condition never
  comes up
• At least to know which lock primitives we
  stuck on, we need to stop permanent loop
  by implementing timeout counter and print
  debug message
Adding timeout
        counter into mutex
void mtx_enter(struct mutex *mtx)
...
        for (;;) {
                if (mtx->mtx_wantipl != IPL_NONE)
                        s = splraise(mtx->mtx_wantipl);
                if (try_lock(mtx)) {
                        if (mtx->mtx_wantipl != IPL_NONE)
                                mtx->mtx_oldipl = s;
                        mtx->mtx_owner = curcpu();
                        return;
                }
                if (mtx->mtx_wantipl != IPL_NONE)
                        splx(s);
                if (++i > MTX_TIMEOUT)
                        panic("mtx deadlockedn”);
        }
Adding timeout
        counter into mutex
void mtx_enter(struct mutex *mtx)
...
        for (;;) {
                if (mtx->mtx_wantipl != IPL_NONE)
                        s = splraise(mtx->mtx_wantipl);
                if (try_lock(mtx)) {
                        if (mtx->mtx_wantipl != IPL_NONE)
                                mtx->mtx_oldipl = s;
                        mtx->mtx_owner = curcpu();
                        return;
                }
                if (mtx->mtx_wantipl != IPL_NONE)
                        splx(s);
                if (++i > MTX_TIMEOUT)
                        panic("mtx deadlockedn”);
        }
                 But, this is not enough
Why it’s not enough
                 CPU A                 CPU B

     Acquires lock                        Acquires lock

                         Lock   Lock
                          A      B




Spins until released                     Spins until released
Why it’s not enough
               CPU A                 CPU B

     Acquires lock                      Acquires lock

                       Lock   Lock
                        A      B




Spins until released                   Spins until released
   We can break here
Why it’s not enough
               CPU A                 CPU B

     Acquires lock                      Acquires lock
                                       We wanna know which
                       Lock   Lock      function acquired it
                        A      B




Spins until released                    Spins until released
   We can break here
Remember who
               acquired it
void mtx_enter(struct mutex *mtx)
...
        for (;;) {
                if (mtx->mtx_wantipl != IPL_NONE)
                        s = splraise(mtx->mtx_wantipl);
                if (try_lock(mtx)) {
                        if (mtx->mtx_wantipl != IPL_NONE)
                                mtx->mtx_oldipl = s;
                        mtx->mtx_owner = curcpu();
                        mtx->mtx_ra =
                            __builtin_return_address(0);
                        return;
                }
                if (mtx->mtx_wantipl != IPL_NONE)
                        splx(s);
                if (++i > MTX_TIMEOUT)
                        panic("mtx deadlocked ra:%pn",
                                mtx->mtx_ra);
        }
Interrupt blocks IPI
           CPU A          CPU B
                                  Interrupt
       Fault
                             Disable interrupt
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown                 Blocked
                   IPI
    Wait ACK
Interrupt blocks IPI
           CPU A          CPU B
                                  Interrupt
       Fault
                             Disable interrupt
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown
                   IPI
    Wait ACK
Interrupt blocks IPI
           CPU A          CPU B
                                  Interrupt
       Fault
                             Disable interrupt
  Acquire lock               Re-enable interrupt
                   Lock
                             Wait until released
TLB shootdown                Accept Interrupt
                   IPI
    Wait ACK
Interrupt blocks IPI
           CPU A          CPU B
                                  Interrupt
       Fault
                             Disable interrupt
  Acquire lock               Re-enable interrupt
                   Lock
                             Wait until released
TLB shootdown                Accept Interrupt
                   IPI
    Wait ACK                 ACK for rendezvous
Interrupt blocks IPI
             CPU A          CPU B
                                    Interrupt
        Fault
         Solution: Enable IPI interrupt on
                                  Disable interrupt
   Acquire lock interrupt handlers
                                  Re-enable interrupt
                      Lock
                                  Wait until released
TLB shootdown                     Accept Interrupt
                      IPI
     Wait ACK                    ACK for rendezvous
Fixing clock interrupt
                handler
uint32_t clock_int5(uint32_t mask, struct trap_frame *tf)
...
       if (tf->ipl < IPL_CLOCK) {
#ifdef MULTIPROCESSOR
                u_int32_t sr;

                sr = getsr();
                ENABLEIPI();
                __mp_lock(&kernel_lock);
#endif
                while (ci->ci_pendingticks) {
                        clk_count.ec_count++;
                        hardclock(tf);
                        ci->ci_pendingticks--;
                }
#ifdef MULTIPROCESSOR
                __mp_unlock(&kernel_lock);
                setsr(sr);
#endif
splhigh() blocks IPI
           CPU A          CPU B
                                  splhigh()
       Fault
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown                 Blocked
                   IPI
    Wait ACK
splhigh() blocks IPI
           CPU A          CPU B
                                  splhigh()
       Fault
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown
                   IPI
    Wait ACK
splhigh() blocks IPI
           CPU A          CPU B
                                  splhigh()
       Fault
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown                Accept Interrupt
                   IPI
    Wait ACK
splhigh() blocks IPI
           CPU A          CPU B
                                  splhigh()
       Fault
  Acquire lock
                   Lock
                             Wait until released
TLB shootdown                Accept Interrupt
                   IPI
    Wait ACK                 ACK for rendezvous
splhigh() blocks IPI
           CPU A            CPU B
                                  splhigh()
    Solution: defined new interrupt priority
       Fault
     level named IPL_IPI to be higher than
  Acquire lock    IPL_HIGH
                     Lock
                               Wait until released
TLB shootdown                  Accept Interrupt
                     IPI
    Wait ACK                   ACK for rendezvous
Adding new interrupt
            priority level
 #define          IPL_TTY           4         /*   terminal */
 #define          IPL_VM            5         /*   memory allocation */
 #define          IPL_CLOCK         6         /*   clock */
 #define          IPL_HIGH          7         /*   everything */
 #define          NIPLS             8         /*   Number of levels */



 #define          IPL_TTY           4         /*   terminal */
 #define          IPL_VM            5         /*   memory allocation */
 #define          IPL_CLOCK         6         /*   clock */
 #define          IPL_HIGH          7         /*   everything */
 #define          IPL_IPI           8         /*   ipi */
 #define          NIPLS             9         /*   Number of levels */
Dynamic memory allocation
without using virtual address
•   To support N(>2) processors, the cpu_info structure and the
    bootstrap kernel stack for secondary processors should be
    allocated dynamically
•   But we can’t use virtual address for them
    •   stack may used before TLB initialization, thus causing the
        processor fault
    •   MIPS has Software TLB, need to maintain TLB by software
        TLB miss handler is the code to handle it
        This handler refers cpu_info, it cause TLB miss loop
•   To avoid these problems, we implemented wrapper function to
    allocate memory dynamically, then get the physical address and
    return it
The wrapper function
vaddr_t smp_malloc(size_t size)
...
       if (size < PAGE_SIZE) {
                va = (vaddr_t)malloc(size, M_DEVBUF, M_NOWAIT);
                if (va == NULL)
                        return NULL;
                error = pmap_extract(pmap_kernel(), va, &pa);
                if (error == FALSE)
                        return NULL;
       } else {
                TAILQ_INIT(&mlist);
                error = uvm_pglistalloc(size, 0, -1L, 0, 0,
                    &mlist, 1, UVM_PLA_NOWAIT);
                if (error)
                        return NULL;
                m = TAILQ_FIRST(&mlist);
                pa = VM_PAGE_TO_PHYS(m);
       }

       return PHYS_TO_XKPHYS(pa, CCA_CACHED);
Reduce frequency of
      TLB shootdown
•   There’s a condition we can skip TLB shootdown in invalidate/
    update:
                         using the pagetable    not using
          kernel mode           need              need
           user mode            need           don’t need

•   In user mode, if shootee processor doesn’t using the pagetable,
    we won’t need shootdown; just changing ASID assign is enough
•   In reference pmap implementation, a TLB shootdown
    performed non-conditionally, even in case it isn’t really needed
•   We added the condition to reduce frequency of it
void pmap_invalidate_page(pmap_t pmap, vm_offset_t va)
...
   arg.pmap = pmap;
   arg.va = va;
   smp_rendezvous(0, pmap_invalidate_page_action, 0,
    (void *)&arg);

void pmap_invalidate_page_action(void *arg)
...
   pmap_t pmap = ((struct pmap_invalidate_page_arg *)arg)->pmap;
   vm_offset_t va = ((struct pmap_invalidate_page_arg *)arg)->va;
   if (is_kernel_pmap(pmap)) {
      pmap_TLB_invalidate_kernel(va);
      return;
   }
   if (pmap->pm_asid[PCPU_GET(cpuid)].gen
       != PCPU_GET(asid_generation))
      return;
   else if (!(pmap->pm_active & PCPU_GET(cpumask))) {
      pmap->pm_asid[PCPU_GET(cpuid)].gen = 0;
      return;
   }
   va = pmap_va_asid(pmap, (va & ~PGOFSET));
   mips_TBIS(va);
CPU_INFO_FOREACH(cii, ci)
        if (cpuset_isset(&cpus_running, ci)) {
                unsigned int i = ci->ci_cpuid;
                unsigned int m = 1 << i;
                if (pmap->pm_asid[i].pma_asidgen !=
                    pmap_asid_info[i].pma_asidgen)
                        continue;
                else if (ci->ci_curpmap != pmap) {
                        pmap->pm_asid[i].pma_asidgen = 0;
                        continue;
                }
                cpumask |= m;
        }

if (cpumask == 1 << cpuid) {
        u_long asid;

        asid = pmap->pm_asid[cpuid].pma_asid << VMTLB_PID_SHIFT;
        tlb_flush_addr(va | asid);
} else if (cpumask) {
        struct pmap_invalidate_page_arg arg;
        arg.pmap = pmap;
        arg.va = va;

        smp_rendezvous_cpus(cpumask, pmap_invalidate_user_page_action,
                &arg);
}
Future works

• Commit machine ddbcpu<#>
• New port for Cavium OCTEON,
  if it’s acceptable for OpenBSD project
• Maybe SMP support for SGI Origin 350
• Also interested in MI part of SMP

More Related Content

What's hot (20)

PDF
Linux Kernel Platform Development: Challenges and Insights
GlobalLogic Ukraine
 
PDF
Kernel Recipes 2018 - KernelShark 1.0; What's new and what's coming - Steven ...
Anne Nicolas
 
PDF
Kernel Recipes 2015: Greybus
Anne Nicolas
 
PPT
Linux Kernel Debugging
GlobalLogic Ukraine
 
PDF
Bits of Advice for the VM Writer, by Cliff Click @ Curry On 2015
curryon
 
PDF
From printk to QEMU: Xen/Linux Kernel debugging
The Linux Foundation
 
KEY
Emulating With JavaScript
alexanderdickson
 
PDF
Kernel Recipes 2017 - Build farm again - Willy Tarreau
Anne Nicolas
 
PDF
Kernel Recipes 2015: Speed up your kernel development cycle with QEMU
Anne Nicolas
 
PDF
ACPI Debugging from Linux Kernel
SUSE Labs Taipei
 
PDF
NetBSD and Linux for Embedded Systems
Mahendra M
 
PDF
The Linux Block Layer - Built for Fast Storage
Kernel TLV
 
PDF
LAS16-403: GDB Linux Kernel Awareness
Linaro
 
PDF
Kernel Recipes 2015: Anatomy of an atomic KMS driver
Anne Nicolas
 
PDF
Compromising Linux Virtual Machines with Debugging Mechanisms
Russell Sanford
 
PDF
最後の楽園の開発をちょこっとだけ手伝った話
nullnilaki
 
PDF
Kernel Recipes 2015: Kernel packet capture technologies
Anne Nicolas
 
PDF
PyCon India 2011: Python Threads: Dive into GIL!
Chetan Giridhar
 
PDF
Kernel Recipes 2015 - Porting Linux to a new processor architecture
Anne Nicolas
 
PDF
Kernel Recipes 2015 - So you want to write a Linux driver framework
Anne Nicolas
 
Linux Kernel Platform Development: Challenges and Insights
GlobalLogic Ukraine
 
Kernel Recipes 2018 - KernelShark 1.0; What's new and what's coming - Steven ...
Anne Nicolas
 
Kernel Recipes 2015: Greybus
Anne Nicolas
 
Linux Kernel Debugging
GlobalLogic Ukraine
 
Bits of Advice for the VM Writer, by Cliff Click @ Curry On 2015
curryon
 
From printk to QEMU: Xen/Linux Kernel debugging
The Linux Foundation
 
Emulating With JavaScript
alexanderdickson
 
Kernel Recipes 2017 - Build farm again - Willy Tarreau
Anne Nicolas
 
Kernel Recipes 2015: Speed up your kernel development cycle with QEMU
Anne Nicolas
 
ACPI Debugging from Linux Kernel
SUSE Labs Taipei
 
NetBSD and Linux for Embedded Systems
Mahendra M
 
The Linux Block Layer - Built for Fast Storage
Kernel TLV
 
LAS16-403: GDB Linux Kernel Awareness
Linaro
 
Kernel Recipes 2015: Anatomy of an atomic KMS driver
Anne Nicolas
 
Compromising Linux Virtual Machines with Debugging Mechanisms
Russell Sanford
 
最後の楽園の開発をちょこっとだけ手伝った話
nullnilaki
 
Kernel Recipes 2015: Kernel packet capture technologies
Anne Nicolas
 
PyCon India 2011: Python Threads: Dive into GIL!
Chetan Giridhar
 
Kernel Recipes 2015 - Porting Linux to a new processor architecture
Anne Nicolas
 
Kernel Recipes 2015 - So you want to write a Linux driver framework
Anne Nicolas
 

Viewers also liked (20)

PPTX
Linux Initialization Process (1)
shimosawa
 
PPTX
Linux Initialization Process (2)
shimosawa
 
PDF
Edukacja ekologiczna w Poznaniu
Ekokonsultacje
 
PDF
Prezentare_Paylex
mihaelacostea72
 
PPS
Arapski brojevi
verka 123
 
PDF
Bridge Detailed Construction
Alan Bassett
 
PPT
R3L+ project material: Reviving Limerick CDB City of Learning Strategy, Janua...
Randolph Preisinger-Kleine
 
PDF
Hse alert 2013 35 two fatalities as a result of a failure of a bonnet-to...
Alan Bassett
 
PPT
Kelly ruggles 2
Kelly Ruggles
 
PPT
Revitalize Your Career And Job Search
KatDiDio
 
PPSX
Leon Chartarifsky
yaelsky
 
PPT
Internet Bookmobile Presentation
Goodnight Memorial Library
 
PPT
Kelly C. Ruggles
Kelly Ruggles
 
PDF
Red stripe 026a 16 lpb
Alan Bassett
 
ODP
Tastes Great, More Satisfying!
Goodnight Memorial Library
 
PPTX
Christening
thackley
 
PPS
Where god wants_me
Ramaswamy Ramakrishnan
 
PDF
La gestion del_riesgo_de_desastre_aplica
Νταϊανα Μαρσελα Μεζα
 
PPTX
Maya research program field school photo album
Maya Research Program
 
PPT
Design innovation: 10 ways to improve the learner experience
Brightwave Group
 
Linux Initialization Process (1)
shimosawa
 
Linux Initialization Process (2)
shimosawa
 
Edukacja ekologiczna w Poznaniu
Ekokonsultacje
 
Prezentare_Paylex
mihaelacostea72
 
Arapski brojevi
verka 123
 
Bridge Detailed Construction
Alan Bassett
 
R3L+ project material: Reviving Limerick CDB City of Learning Strategy, Janua...
Randolph Preisinger-Kleine
 
Hse alert 2013 35 two fatalities as a result of a failure of a bonnet-to...
Alan Bassett
 
Kelly ruggles 2
Kelly Ruggles
 
Revitalize Your Career And Job Search
KatDiDio
 
Leon Chartarifsky
yaelsky
 
Internet Bookmobile Presentation
Goodnight Memorial Library
 
Kelly C. Ruggles
Kelly Ruggles
 
Red stripe 026a 16 lpb
Alan Bassett
 
Tastes Great, More Satisfying!
Goodnight Memorial Library
 
Christening
thackley
 
Where god wants_me
Ramaswamy Ramakrishnan
 
La gestion del_riesgo_de_desastre_aplica
Νταϊανα Μαρσελα Μεζα
 
Maya research program field school photo album
Maya Research Program
 
Design innovation: 10 ways to improve the learner experience
Brightwave Group
 
Ad

Similar to SMP implementation for OpenBSD/sgi (20)

KEY
SMP Implementation for OpenBSD/sgi [Japanese Edition]
Takuya ASADA
 
PDF
Introduction to NetBSD kernel
Mahendra M
 
PDF
Lect18
Vin Voro
 
PDF
Preparation for mit ose lab4
Benux Wei
 
PDF
Pgopencl
Tim Child
 
PDF
PostgreSQL with OpenCL
Muhaza Liebenlito
 
PPTX
Lec05
siddu kadiwal
 
PDF
L4 Microkernel :: Design Overview
National Cheng Kung University
 
PDF
Lecture24 Multiprocessor
allankliu
 
PPTX
Computer Organization: Introduction to Microprocessor and Microcontroller
AmrutaMehata
 
PDF
Intel x86 Architecture
ChangWoo Min
 
ODP
Zpu
flexcore
 
PDF
C&cpu
feathertw
 
PDF
嵌入式系統 課程講義
nctusee
 
PDF
Os Madsen Block
oscon2007
 
PPTX
ARM Cortex-M3 Training
Raghav Nayak
 
PPTX
Porting NetBSD to the open source LatticeMico32 CPU
Yann Sionneau
 
PPT
parallel-processing.ppt
MohammedAbdelgader2
 
PDF
A Survey on in-a-box parallel computing and its implications on system softwa...
ChangWoo Min
 
SMP Implementation for OpenBSD/sgi [Japanese Edition]
Takuya ASADA
 
Introduction to NetBSD kernel
Mahendra M
 
Lect18
Vin Voro
 
Preparation for mit ose lab4
Benux Wei
 
Pgopencl
Tim Child
 
PostgreSQL with OpenCL
Muhaza Liebenlito
 
L4 Microkernel :: Design Overview
National Cheng Kung University
 
Lecture24 Multiprocessor
allankliu
 
Computer Organization: Introduction to Microprocessor and Microcontroller
AmrutaMehata
 
Intel x86 Architecture
ChangWoo Min
 
C&cpu
feathertw
 
嵌入式系統 課程講義
nctusee
 
Os Madsen Block
oscon2007
 
ARM Cortex-M3 Training
Raghav Nayak
 
Porting NetBSD to the open source LatticeMico32 CPU
Yann Sionneau
 
parallel-processing.ppt
MohammedAbdelgader2
 
A Survey on in-a-box parallel computing and its implications on system softwa...
ChangWoo Min
 
Ad

More from Takuya ASADA (20)

PPTX
Seastar in 歌舞伎座.tech#8「C++初心者会」
Takuya ASADA
 
PPTX
Seastar:高スループットなサーバアプリケーションの為の新しいフレームワーク
Takuya ASADA
 
PDF
高スループットなサーバアプリケーションの為の新しいフレームワーク
「Seastar」
Takuya ASADA
 
PDF
ヤマノススメ〜秋山郷 de ハッカソン〜
Takuya ASADA
 
PDF
UEFI時代のブートローダ
Takuya ASADA
 
PDF
OSvのご紹介 in 
Java 8 HotSpot meeting
Takuya ASADA
 
PDF
OSvパンフレット v3
Takuya ASADA
 
PDF
OSvのご紹介 in OSC2014 Tokyo/Fall
Takuya ASADA
 
PDF
OSv噺
Takuya ASADA
 
PDF
OSvの概要と実装
Takuya ASADA
 
PDF
Linux network stack
Takuya ASADA
 
PDF
Ethernetの受信処理
Takuya ASADA
 
PDF
Presentation on your terminal
Takuya ASADA
 
PDF
僕のIntel nucが起動しないわけがない
Takuya ASADA
 
PDF
Interrupt Affinityについて
Takuya ASADA
 
PDF
OSvパンフレット
Takuya ASADA
 
PDF
BHyVeでOSvを起動したい
〜BIOSがなくてもこの先生きのこるには〜
Takuya ASADA
 
PDF
「ハイパーバイザの作り方」読書会#2
Takuya ASADA
 
PDF
「ハイパーバイザの作り方」読書会#1
Takuya ASADA
 
PDF
10GbE時代のネットワークI/O高速化
Takuya ASADA
 
Seastar in 歌舞伎座.tech#8「C++初心者会」
Takuya ASADA
 
Seastar:高スループットなサーバアプリケーションの為の新しいフレームワーク
Takuya ASADA
 
高スループットなサーバアプリケーションの為の新しいフレームワーク
「Seastar」
Takuya ASADA
 
ヤマノススメ〜秋山郷 de ハッカソン〜
Takuya ASADA
 
UEFI時代のブートローダ
Takuya ASADA
 
OSvのご紹介 in 
Java 8 HotSpot meeting
Takuya ASADA
 
OSvパンフレット v3
Takuya ASADA
 
OSvのご紹介 in OSC2014 Tokyo/Fall
Takuya ASADA
 
OSv噺
Takuya ASADA
 
OSvの概要と実装
Takuya ASADA
 
Linux network stack
Takuya ASADA
 
Ethernetの受信処理
Takuya ASADA
 
Presentation on your terminal
Takuya ASADA
 
僕のIntel nucが起動しないわけがない
Takuya ASADA
 
Interrupt Affinityについて
Takuya ASADA
 
OSvパンフレット
Takuya ASADA
 
BHyVeでOSvを起動したい
〜BIOSがなくてもこの先生きのこるには〜
Takuya ASADA
 
「ハイパーバイザの作り方」読書会#2
Takuya ASADA
 
「ハイパーバイザの作り方」読書会#1
Takuya ASADA
 
10GbE時代のネットワークI/O高速化
Takuya ASADA
 

Recently uploaded (20)

PDF
Presentation - Vibe Coding The Future of Tech
yanuarsinggih1
 
PDF
DevBcn - Building 10x Organizations Using Modern Productivity Metrics
Justin Reock
 
PDF
"AI Transformation: Directions and Challenges", Pavlo Shaternik
Fwdays
 
PDF
NewMind AI - Journal 100 Insights After The 100th Issue
NewMind AI
 
PDF
Empower Inclusion Through Accessible Java Applications
Ana-Maria Mihalceanu
 
PDF
[Newgen] NewgenONE Marvin Brochure 1.pdf
darshakparmar
 
PDF
LLMs.txt: Easily Control How AI Crawls Your Site
Keploy
 
PDF
CIFDAQ Token Spotlight for 9th July 2025
CIFDAQ
 
PDF
Bitcoin for Millennials podcast with Bram, Power Laws of Bitcoin
Stephen Perrenod
 
PDF
Smart Trailers 2025 Update with History and Overview
Paul Menig
 
PDF
Mastering Financial Management in Direct Selling
Epixel MLM Software
 
PDF
CIFDAQ Market Insights for July 7th 2025
CIFDAQ
 
PPTX
"Autonomy of LLM Agents: Current State and Future Prospects", Oles` Petriv
Fwdays
 
PDF
Newgen Beyond Frankenstein_Build vs Buy_Digital_version.pdf
darshakparmar
 
PDF
New from BookNet Canada for 2025: BNC BiblioShare - Tech Forum 2025
BookNet Canada
 
PDF
How Startups Are Growing Faster with App Developers in Australia.pdf
India App Developer
 
PDF
What Makes Contify’s News API Stand Out: Key Features at a Glance
Contify
 
PDF
Blockchain Transactions Explained For Everyone
CIFDAQ
 
PDF
Achieving Consistent and Reliable AI Code Generation - Medusa AI
medusaaico
 
PPTX
WooCommerce Workshop: Bring Your Laptop
Laura Hartwig
 
Presentation - Vibe Coding The Future of Tech
yanuarsinggih1
 
DevBcn - Building 10x Organizations Using Modern Productivity Metrics
Justin Reock
 
"AI Transformation: Directions and Challenges", Pavlo Shaternik
Fwdays
 
NewMind AI - Journal 100 Insights After The 100th Issue
NewMind AI
 
Empower Inclusion Through Accessible Java Applications
Ana-Maria Mihalceanu
 
[Newgen] NewgenONE Marvin Brochure 1.pdf
darshakparmar
 
LLMs.txt: Easily Control How AI Crawls Your Site
Keploy
 
CIFDAQ Token Spotlight for 9th July 2025
CIFDAQ
 
Bitcoin for Millennials podcast with Bram, Power Laws of Bitcoin
Stephen Perrenod
 
Smart Trailers 2025 Update with History and Overview
Paul Menig
 
Mastering Financial Management in Direct Selling
Epixel MLM Software
 
CIFDAQ Market Insights for July 7th 2025
CIFDAQ
 
"Autonomy of LLM Agents: Current State and Future Prospects", Oles` Petriv
Fwdays
 
Newgen Beyond Frankenstein_Build vs Buy_Digital_version.pdf
darshakparmar
 
New from BookNet Canada for 2025: BNC BiblioShare - Tech Forum 2025
BookNet Canada
 
How Startups Are Growing Faster with App Developers in Australia.pdf
India App Developer
 
What Makes Contify’s News API Stand Out: Key Features at a Glance
Contify
 
Blockchain Transactions Explained For Everyone
CIFDAQ
 
Achieving Consistent and Reliable AI Code Generation - Medusa AI
medusaaico
 
WooCommerce Workshop: Bring Your Laptop
Laura Hartwig
 

SMP implementation for OpenBSD/sgi

  • 1. SMP Implementation for OpenBSD/sgi Takuya ASADA<[email protected]>
  • 2. Introduction • I was working to add SMP & 64bit support to a BSD-based embedded OS at The target device was MIPS64 • There’s no complete *BSD/MIPS SMP implementation at that time, so I implemented it • The implementation was proprietary, but I wanted to contribute something to BSD community • I decided to implement SMP from scratch, tried to find a suitable MIPS SMP machine
  • 3. Finding MIPS/SMP Machine(1) • Broadcom SiByte BCM1250 looks nice - 2core 1GHz MIPS64, DDR DRAM, GbE, PCI, HT • Cisco 3845 integrated this processor • How much is it?
  • 4. Finding MIPS/SMP Machine(1) • Broadcom SiByte BCM1250 looks nice - 2core 1GHz MIPS64, DDR DRAM, GbE, PCI, HT • Cisco 3845 integrated this processor • How much is it? from $14,200! Totally unacceptable!!!
  • 5. Finding MIPS/SMP Machine(2) • Some antique SGI machines are available on eBay • These are basically very cheap • I realized SGI Octane 2 has 2 cores, already supported by OpenBSD
  • 6. Finding MIPS/SMP Machine(2) • Some antique SGI machines are available on eBay • These are basically very cheap • I realized SGI Octane 2 has 2 cores, already supported by OpenBSD Just $33! Do you remember how much was it?
  • 7. This is my Octane2 Processors MIPS R12000 400MHz x2 Memory 1GB SDRAM Graphics 3D Graphics Card Sound Integrated Digital Audio Storage 35GB SCSI HDD Ethernet 100BASE-T
  • 12. Become an OpenBSD developer • I started working on Octane2 since Apr 2009, wrote about on my blog • Miod Vallat discovered it, suggested my code be merged into OpenBSD main tree • I become an OpenBSD developer in Sep 2009, started merging the code, joined hackathon, worked with Miod and Joel Sing
  • 13. NOW IT WORKS!!!! • Merged into OpenBSD main tree • You can try it now! • It seems stable - I tried “make build” again and again over a day, it keeps working
  • 14. Demo
  • 15. Performance - kernel build benchmark '(&!!" 4% overhead '(%!!" '($!!" '(#!!" 46% speed up '(!!!" ,-.-/01)02+!" &!!" ,-.-/01)02+!342" %!!" $!!" #!!" !" (sec) ")*'" ")*#" ")*+"
  • 16. Performance - OpenBSD/amd64 for comparison &!!" %#!" 2% overhead %!!" 44% speed up $#!" )*+*,-." )*+*,-./01" $!!" #!" !" "'($" "'(%" "'(&" (sec)
  • 17. What did we need to do for the SMP work There were lots of works... • Support multiple cpu_info • Secondary processor entry and processor related point macros • IPI: Inter-Processor Interrupt • Move per-processor data into cpu_info • Per-processor ASID management • Implement lock primitives • TLB shootdown • Acquiring giant lock • Lazy FPU handling • Implement atomic operations • Per-processor clock • Spin up secondary processors
  • 18. Describe it more simply We can classify tasks into three kind of problems: • Restructuring per-processor informations • Implement and use lock/atomic primitives • Hardware related problems
  • 19. Restructuring per- processor informations • In the original sgi port, some informations which related the processor are allocated only one • Simple case: Information is stored into global variable Move it into “cpu_info”, per-processor structure • Complex case: In pmap, we need to maintain some information per-processor * per-process
  • 20. Simple case - clock.c: original code // defined as global variables u_int32_t cpu_counter_last; u_int32_t cpu_counter_interval; u_int32_t pendingticks; uint32_t clock_int5(uint32_t mask, struct trap_frame *tf) ... clkdiff = cp0_get_count() - cpu_counter_last; while (clkdiff >= cpu_counter_interval) { cpu_counter_last += cpu_counter_interval; clkdiff = cp0_get_count() - cpu_counter_last; pendingticks++;
  • 21. Simple case - clock.c: modified code uint32_t clock_int5(uint32_t mask, struct trap_frame *tf) ... struct cpu_info *ci = curcpu(); clkdiff = cp0_get_count() - ci->ci_cpu_counter_last; while (clkdiff >= ci->ci_cpu_counter_interval) { ci->ci_cpu_counter_last += ci->ci_cpu_counter_interval; clkdiff = cp0_get_count() - ci->ci_cpu_counter_last; ci->ci_pendingticks++;
  • 22. Complex case: pmap • MIPS TLB entries are tagged with 8bit process id called ASID, used for improve performance MMU skips different process TLB entries on lookup We won’t need to flush TLB every context switches • Need to maintain process:ASID assign information because it’s smaller than PID, we need to rotate it • The information should keep beyond context switch • We maintain ASID individually per-processor • What we need is: ASID information per-processor * per-process
  • 23. Complex case - pmap.c: original and modified code uint pmap_alloc_tlbpid(struct proc *p) ... tlbpid_cnt = id + 1; pmap->pm_tlbpid = id; uint pmap_alloc_tlbpid(struct proc *p) ... tlbpid_cnt[cpuid] = id + 1; pmap->pm_tlbpid[cpuid] = id;
  • 24. Implement and use lock/atomic primitives • Needed to implement • lock primitives: mutex, mp_lock • atomic primitives: CAS, 64bit add, etc.. • Acquiring giant lock prior to entering the kernel context • hardware interrupts • software interrupts • trap()
  • 25. Acquiring giant lock on clock interrupt handler uint32_t clock_int5(uint32_t mask, struct trap_frame *tf) ... if (tf->ipl < IPL_CLOCK) { #ifdef MULTIPROCESSOR __mp_lock(&kernel_lock); #endif while (ci->ci_pendingticks) { clk_count.ec_count++; hardclock(tf); ci->ci_pendingticks--; } #ifdef MULTIPROCESSOR __mp_unlock(&kernel_lock); #endif
  • 26. Acquiring giant lock on clock interrupt handler uint32_t clock_int5(uint32_t mask, struct trap_frame *tf) ... if (tf->ipl < IPL_CLOCK) { #ifdef MULTIPROCESSOR __mp_lock(&kernel_lock); #endif while (ci->ci_pendingticks) { clk_count.ec_count++; hardclock(tf); ci->ci_pendingticks--; } #ifdef MULTIPROCESSOR __mp_unlock(&kernel_lock); #endif Actually, it causes a bug... described later
  • 27. Hardware related problems • Spin up secondary processor • Keeping TLB consistency by software • Cache coherency
  • 28. Spin up secondary processor • We need to launch secondary processor • Access hardware register on controller device to power on the processor • Secondary processor needs own bootstrap code • Has to be similar to primary processor’s one • But we won’t need kernel, memory, and device initialization • Because primary processor already did it
  • 29. Keeping TLB consistency by software • MIPS TLB doesn’t have mechanism to keep consistency, we need to do it by software Just like the other typical architectures • Invalidate/update other processor’s TLB using TLB shootdown • It implemented by IPI (Inter-Processor Interrupt)
  • 30. Cache coherency • MIPS R10000/R12000 processors have full cache coherency • We don’t have to care about it on Octane • But, some other processors haven’t full cache coherency
  • 31. Ideas implementing SMP • We have faced a number of issues while implementing SMP • Fighting against deadlock • Dynamic memory allocation without using virtual address • Reduce frequency of TLB shootdown
  • 32. Fighting against deadlock • It’s hard to find the cause of deadlocks because both processors runs concurrently • It causes timing bugs - conditions are depend on timing • Need to be able to determine what happened on both processors at that time • There are tools for debugging it
  • 33. JTAG ICE • Very useful for debugging • We can get any data for debugging on desired timing, even after kernel hangs • I used it when I was implementing SMP for the embedded OS • Not for Octane, there’s no way to connect
  • 34. ddb • OpenBSD kernel has in-kernel debugger, named ddb • We can get similar data for JTAG ICE, but kernel need to alive - because it’s part of the kernel • Missing features: We hadn’t implemented “machine ddbcpu<#>” - which is processor switching function on ddb Without this, we can only debug one processor which invoked ddb on a breakpoint • Not always useful
  • 35. printf() • Most popular kernel debugging tool • Just write printf(message) on your code, Easy to use ;) • Unfortunately, it has some problems • printf() wastes lot of cycles, changes timing between processors We may miss timing bug because of it • Some point of the code are printf() unsafe causes kernel hang • We use it anyway
  • 36. Divide printf output for two serial port • There’s two serial port and two processors • If we have lots of debug print, it’s hard to understand which lines belongs to what processor • I implemented dirty hack code which output strings directly to secondary serial port, named combprintf() • Rewrite debug print to primary processor outputs primary serial port, secondary processor outputs secondary serial port
  • 37. What do we need to print for debugging? • To know where the kernel running roughly • put debug print everywhere the point kernel may running through • dump all system call using SYSCALL_DEBUG • How can we determine a deadlock point?
  • 38. Determine a deadlock point • Deadlocks are occurring on spinlocks • It loops permanently until a condition become available, but that condition never comes up • At least to know which lock primitives we stuck on, we need to stop permanent loop by implementing timeout counter and print debug message
  • 39. Adding timeout counter into mutex void mtx_enter(struct mutex *mtx) ...         for (;;) {                 if (mtx->mtx_wantipl != IPL_NONE)                         s = splraise(mtx->mtx_wantipl);                 if (try_lock(mtx)) {                         if (mtx->mtx_wantipl != IPL_NONE)                                 mtx->mtx_oldipl = s;                         mtx->mtx_owner = curcpu();                         return;                 }                 if (mtx->mtx_wantipl != IPL_NONE)                         splx(s);                 if (++i > MTX_TIMEOUT)                         panic("mtx deadlockedn”);         }
  • 40. Adding timeout counter into mutex void mtx_enter(struct mutex *mtx) ...         for (;;) {                 if (mtx->mtx_wantipl != IPL_NONE)                         s = splraise(mtx->mtx_wantipl);                 if (try_lock(mtx)) {                         if (mtx->mtx_wantipl != IPL_NONE)                                 mtx->mtx_oldipl = s;                         mtx->mtx_owner = curcpu();                         return;                 }                 if (mtx->mtx_wantipl != IPL_NONE)                         splx(s);                 if (++i > MTX_TIMEOUT)                         panic("mtx deadlockedn”);         } But, this is not enough
  • 41. Why it’s not enough CPU A CPU B Acquires lock Acquires lock Lock Lock A B Spins until released Spins until released
  • 42. Why it’s not enough CPU A CPU B Acquires lock Acquires lock Lock Lock A B Spins until released Spins until released We can break here
  • 43. Why it’s not enough CPU A CPU B Acquires lock Acquires lock We wanna know which Lock Lock function acquired it A B Spins until released Spins until released We can break here
  • 44. Remember who acquired it void mtx_enter(struct mutex *mtx) ...         for (;;) {                 if (mtx->mtx_wantipl != IPL_NONE)                         s = splraise(mtx->mtx_wantipl);                 if (try_lock(mtx)) {                         if (mtx->mtx_wantipl != IPL_NONE)                                 mtx->mtx_oldipl = s;                         mtx->mtx_owner = curcpu();                         mtx->mtx_ra =                          __builtin_return_address(0);                         return;                 }                 if (mtx->mtx_wantipl != IPL_NONE)                         splx(s);                 if (++i > MTX_TIMEOUT)                         panic("mtx deadlocked ra:%pn",                                 mtx->mtx_ra);         }
  • 45. Interrupt blocks IPI CPU A CPU B Interrupt Fault Disable interrupt Acquire lock Lock Wait until released TLB shootdown Blocked IPI Wait ACK
  • 46. Interrupt blocks IPI CPU A CPU B Interrupt Fault Disable interrupt Acquire lock Lock Wait until released TLB shootdown IPI Wait ACK
  • 47. Interrupt blocks IPI CPU A CPU B Interrupt Fault Disable interrupt Acquire lock Re-enable interrupt Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK
  • 48. Interrupt blocks IPI CPU A CPU B Interrupt Fault Disable interrupt Acquire lock Re-enable interrupt Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK ACK for rendezvous
  • 49. Interrupt blocks IPI CPU A CPU B Interrupt Fault Solution: Enable IPI interrupt on Disable interrupt Acquire lock interrupt handlers Re-enable interrupt Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK ACK for rendezvous
  • 50. Fixing clock interrupt handler uint32_t clock_int5(uint32_t mask, struct trap_frame *tf) ... if (tf->ipl < IPL_CLOCK) { #ifdef MULTIPROCESSOR u_int32_t sr; sr = getsr(); ENABLEIPI(); __mp_lock(&kernel_lock); #endif while (ci->ci_pendingticks) { clk_count.ec_count++; hardclock(tf); ci->ci_pendingticks--; } #ifdef MULTIPROCESSOR __mp_unlock(&kernel_lock); setsr(sr); #endif
  • 51. splhigh() blocks IPI CPU A CPU B splhigh() Fault Acquire lock Lock Wait until released TLB shootdown Blocked IPI Wait ACK
  • 52. splhigh() blocks IPI CPU A CPU B splhigh() Fault Acquire lock Lock Wait until released TLB shootdown IPI Wait ACK
  • 53. splhigh() blocks IPI CPU A CPU B splhigh() Fault Acquire lock Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK
  • 54. splhigh() blocks IPI CPU A CPU B splhigh() Fault Acquire lock Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK ACK for rendezvous
  • 55. splhigh() blocks IPI CPU A CPU B splhigh() Solution: defined new interrupt priority Fault level named IPL_IPI to be higher than Acquire lock IPL_HIGH Lock Wait until released TLB shootdown Accept Interrupt IPI Wait ACK ACK for rendezvous
  • 56. Adding new interrupt priority level  #define        IPL_TTY         4       /* terminal */  #define        IPL_VM          5       /* memory allocation */  #define        IPL_CLOCK       6       /* clock */ #define        IPL_HIGH        7       /* everything */ #define        NIPLS           8       /* Number of levels */  #define        IPL_TTY         4       /* terminal */  #define        IPL_VM          5       /* memory allocation */  #define        IPL_CLOCK       6       /* clock */ #define        IPL_HIGH        7       /* everything */ #define        IPL_IPI         8       /* ipi */ #define        NIPLS           9       /* Number of levels */
  • 57. Dynamic memory allocation without using virtual address • To support N(>2) processors, the cpu_info structure and the bootstrap kernel stack for secondary processors should be allocated dynamically • But we can’t use virtual address for them • stack may used before TLB initialization, thus causing the processor fault • MIPS has Software TLB, need to maintain TLB by software TLB miss handler is the code to handle it This handler refers cpu_info, it cause TLB miss loop • To avoid these problems, we implemented wrapper function to allocate memory dynamically, then get the physical address and return it
  • 58. The wrapper function vaddr_t smp_malloc(size_t size) ... if (size < PAGE_SIZE) { va = (vaddr_t)malloc(size, M_DEVBUF, M_NOWAIT); if (va == NULL) return NULL; error = pmap_extract(pmap_kernel(), va, &pa); if (error == FALSE) return NULL; } else { TAILQ_INIT(&mlist); error = uvm_pglistalloc(size, 0, -1L, 0, 0, &mlist, 1, UVM_PLA_NOWAIT); if (error) return NULL; m = TAILQ_FIRST(&mlist); pa = VM_PAGE_TO_PHYS(m); } return PHYS_TO_XKPHYS(pa, CCA_CACHED);
  • 59. Reduce frequency of TLB shootdown • There’s a condition we can skip TLB shootdown in invalidate/ update: using the pagetable not using kernel mode need need user mode need don’t need • In user mode, if shootee processor doesn’t using the pagetable, we won’t need shootdown; just changing ASID assign is enough • In reference pmap implementation, a TLB shootdown performed non-conditionally, even in case it isn’t really needed • We added the condition to reduce frequency of it
  • 60. void pmap_invalidate_page(pmap_t pmap, vm_offset_t va) ... arg.pmap = pmap; arg.va = va; smp_rendezvous(0, pmap_invalidate_page_action, 0, (void *)&arg); void pmap_invalidate_page_action(void *arg) ... pmap_t pmap = ((struct pmap_invalidate_page_arg *)arg)->pmap; vm_offset_t va = ((struct pmap_invalidate_page_arg *)arg)->va; if (is_kernel_pmap(pmap)) { pmap_TLB_invalidate_kernel(va); return; } if (pmap->pm_asid[PCPU_GET(cpuid)].gen != PCPU_GET(asid_generation)) return; else if (!(pmap->pm_active & PCPU_GET(cpumask))) { pmap->pm_asid[PCPU_GET(cpuid)].gen = 0; return; } va = pmap_va_asid(pmap, (va & ~PGOFSET)); mips_TBIS(va);
  • 61. CPU_INFO_FOREACH(cii, ci) if (cpuset_isset(&cpus_running, ci)) { unsigned int i = ci->ci_cpuid; unsigned int m = 1 << i; if (pmap->pm_asid[i].pma_asidgen != pmap_asid_info[i].pma_asidgen) continue; else if (ci->ci_curpmap != pmap) { pmap->pm_asid[i].pma_asidgen = 0; continue; } cpumask |= m; } if (cpumask == 1 << cpuid) { u_long asid; asid = pmap->pm_asid[cpuid].pma_asid << VMTLB_PID_SHIFT; tlb_flush_addr(va | asid); } else if (cpumask) { struct pmap_invalidate_page_arg arg; arg.pmap = pmap; arg.va = va; smp_rendezvous_cpus(cpumask, pmap_invalidate_user_page_action, &arg); }
  • 62. Future works • Commit machine ddbcpu<#> • New port for Cavium OCTEON, if it’s acceptable for OpenBSD project • Maybe SMP support for SGI Origin 350 • Also interested in MI part of SMP