Free iodevice memory when observer exit

src/share/ob_device_manager.cpp

@@ -62,18 +62,23 @@ int ObDeviceManager::init_devices_env()
 
 void ObDeviceManager::destroy()
 {
-
   int ret_dev = OB_SUCCESS;
   int ret_handle = OB_SUCCESS;
   /*destroy fun wil release all the node*/
   if (is_init_) {
     ret_dev = device_map_.destroy();
     ret_handle = handle_map_.destroy();
-    allocator_.~ObFIFOAllocator();
     if (OB_SUCCESS != ret_dev || OB_SUCCESS != ret_handle) {
       OB_LOG_RET(WARN, ret_dev, "fail to destroy device map", K(ret_dev), K(ret_handle));
     }
-    //free the arena
+    for (int i = 0; i < MAX_DEVICE_INSTANCE; i++ ) {
+      ObIODevice* del_device = device_ins_[i].device_;
+      if (OB_NOT_NULL(del_device)) {
+        del_device->destroy();
+        allocator_.free(del_device);
+      }
+      device_ins_[i].device_ = NULL;
+    }
     allocator_.reset();
     fin_oss_env();
     is_init_ = false;

src/share/ob_device_manager.h

@@ -41,7 +41,7 @@ public:
 
 private:
   ObDeviceManager();
-  ~ObDeviceManager() {}
+  ~ObDeviceManager() { destroy(); }
 
   struct ObDeviceInsInfo {
     ObIODevice* device_;