c++ runtime - dtor (1) 實作篇

在原理篇之後, 我們來實作如何喚起 global object dtor。

cpp_abi.h

 __asm__(".code16gcc\n");
 
 #ifndef CPP_ABI_H
 #define CPP_ABI_H
 
 #define DOBJS_SIZE 3
 
 struct DObjs
 {
   void (*dtor_) (void *);
   void *arg_;
   void *dso_handle_;
 };
 
 extern "C"
 {
   int __cxa_atexit(void (*destructor) (void *), void *arg, void *__dso_handle);
   void g_dtors(void);
 }
 
 #endif

cpp_abi.h 補上需要的資訊, struct DObjs, 用來紀錄要調用呼叫的 dtor。

 #define DOBJS_SIZE 3

我宣告 size 為 3 的 DObjs array, 目前要用到的只有 io, ab 這兩個 globle object, 正確實作的話, 應該要去知道有幾個 global objects, 不過這裡我們就偷懶一下, 寫死就好。

int __cxa_atexit(void (*destructor) (void *), void *arg, void *__dso_handle);

則是要資訊紀錄在 DObjs 裡頭, 把每一個 dtor, this pointer, 紀錄下來,  __dso_handle 沒有用到, 我目前還搞不定 share objects。

void g_dtors(void);
呼叫每一個 global object dtor (依照建構時相反的順序)

參考以下 cpp_abi.cpp 實作。

cpp_abi.cpp

 #include "cpp_abi.h"
 
 void *__dso_handle;
 
 static DObjs dobjs[DOBJS_SIZE];
 int obj_count=0;
 
 void print_str(const char   *s);
 void s16_print_int(int i, int radix);
 
 extern "C"
 {
 
   int __cxa_atexit(void (*destructor) (void *), void *arg, void *__dso_handle)
   {
     __asm__ __volatile__("xchg %bx, %bx");
     print_str("atexit\r\n");
     s16_print_int(obj_count, 10);
     print_str("\r\n");
 
     dobjs[obj_count].dtor_ = destructor;
     dobjs[obj_count].arg_ = arg;
     dobjs[obj_count].dso_handle_ = __dso_handle;
     ++obj_count;
     return 0;
   }
   void g_dtors(void)
   {
     for (int i=obj_count-1 ; i >= 0 ; --i)
     {
       dobjs[i].dtor_(dobjs[i].arg_);
     }
   }
 }

再來的程式就簡單了,  L84 就是呼叫 g_dtors, 直接把之前紀錄的 dtor 一個一個執行, 就完成在退出 cpp_main 時執行 global object 的解構。

整個 global objects ctor/dtor 的實作就是這樣, 沒有那麼神祕了吧！

cpp_init.S

 # init c++ runtime
 
 #define DOS
 
 .code16
 .extern __bss_start__
 .extern __bss_end__
 .extern __start_ctors
 .extern __end_ctors
 .extern cpp_main
 .extern obj_count
 
 
 .text
   jmp _start
 .global _start
 _start:
   xchg %bx, %bx
 #if 1
   mov %cs, %ax
   mov %ax, %ds
   mov %ax, %ss
 
 #endif

 
   call init_bss_asm # in dos need not init bss by myself
 

   # call _GLOBAL__I_XX invoke global object ctor, 
   # in dos environment use 16 or 32 bit address? look like 32 bit
   calll init_cpp_global_asm
   calll cpp_main
   calll g_dtors
 #  call disp_str2
   mov     $0x4c00, %ax
   int     $0x21   # 回到 DOS
 


 
 # call global object ctor
 init_cpp_global_asm:
 #if __GNUC__ >= 4 && __GNUC_MINOR__ >= 7
   mov $__end_global_ctor__, %edi    /* Destination */
   mov $__start_global_ctor__, %esi   /* Source */
 #else
   mov $__end_ctors, %edi    /* Destination */
   mov $__start_ctors, %esi   /* Source */
 #endif
   jmp 2f
 1:
   mov %esi, %ebx 
   calll *(%ebx)
   add $4, %esi
 2:
   cmp %edi, %esi
   jne 1b
   ret
 
 # init bss
 init_bss_asm:
   movw $__bss_end__, %di    /* Destination */
   movw $__bss_start__, %si   /* Source */
   movw %ds, %bx
   movw %bx, %es
   jmp 2f
 1:
   mov $0, %eax
   movw %si, %ax
   movb $0x0, %es:(%eax)
   add $1, %si
 
 
   # wait key
 #  xor %eax,%eax
 #  int $0x16
 
   
 2:
   cmpw %di, %si
   jne 1b
 
   ret
 

再來要聊聊 local static object。

完整程式碼:
simple os: git clone git@github.com:descent/simple_os.git
git branch: cpp_runtime
git commit: 92e0183c722166c84da8b28aa11fd8afeff0ff6c
directory: simple_os/cpp_runtime/global_object/dos_cpp