mindstudio-probe 1.0.4__py3-none-any.whl → 1.1.1__py3-none-any.whl

msprobe/mindspore/dym_loader/hook_dynamic_loader.cc

@@ -0,0 +1,140 @@
+/**
+ * Copyright 2024 Huawei Technologies Co., Ltd
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include "hook_dynamic_loader.h"
+#include <sys/stat.h>
+#include <cstdlib>
+#include <cstring>
+#include "utils/log_adapter.h"
+
+namespace {
+
+// Utility function to check if a file path is valid
+bool IsValidPath(const std::string &path) {
+  struct stat fileStat;
+  if (stat(path.c_str(), &fileStat) != 0) {
+    MS_LOG(ERROR) << "File does not exist or cannot be accessed: " << path;
+    return false;
+  }
+
+  if (S_ISLNK(fileStat.st_mode)) {
+    MS_LOG(ERROR) << "File is a symbolic link, which is not allowed: " << path;
+    return false;
+  }
+
+  if (!S_ISREG(fileStat.st_mode)) {
+    MS_LOG(ERROR) << "File is not a regular file: " << path;
+    return false;
+  }
+
+  if (path.substr(path.find_last_of(".")) != ".so") {
+    MS_LOG(ERROR) << "File is not a .so file: " << path;
+    return false;
+  }
+
+  return true;
+}
+
+}  // namespace
+
+HookDynamicLoader &HookDynamicLoader::GetInstance() {
+  static HookDynamicLoader instance;
+  return instance;
+}
+
+bool HookDynamicLoader::loadFunction(void *handle, const std::string &functionName) {
+  void *func = dlsym(handle, functionName.c_str());
+  if (!func) {
+    MS_LOG(WARNING) << "Could not load function: " << functionName << ", error: " << dlerror();
+    return false;
+  }
+  funcMap_[functionName] = func;
+  return true;
+}
+
+bool HookDynamicLoader::validateLibraryPath(const std::string &libPath) {
+  char *realPath = realpath(libPath.c_str(), nullptr);
+  if (!realPath) {
+    MS_LOG(WARNING) << "Failed to resolve realpath for the library: " << libPath;
+    return false;
+  }
+
+  bool isValid = IsValidPath(realPath);
+  free(realPath);  // Free memory allocated by realpath
+  return isValid;
+}
+
+bool HookDynamicLoader::LoadLibrary() {
+  const char *libPath = std::getenv("HOOK_TOOL_PATH");
+  if (!libPath) {
+    MS_LOG(WARNING) << "HOOK_TOOL_PATH is not set!";
+    return false;
+  }
+
+  std::string resolvedLibPath(libPath);
+  if (!validateLibraryPath(resolvedLibPath)) {
+    MS_LOG(WARNING) << "Library path validation failed.";
+    return false;
+  }
+
+  std::lock_guard<std::mutex> lock(mutex_);
+  if (handle_) {
+    MS_LOG(WARNING) << "Hook library already loaded!";
+    return false;
+  }
+
+  handle_ = dlopen(resolvedLibPath.c_str(), RTLD_LAZY | RTLD_LOCAL);
+  if (!handle_) {
+    MS_LOG(WARNING) << "Failed to load Hook library: " << dlerror();
+    return false;
+  }
+
+  for (const auto &functionName : functionList_) {
+    if (!loadFunction(handle_, functionName)) {
+      MS_LOG(WARNING) << "Failed to load function: " << functionName;
+      dlclose(handle_);
+      handle_ = nullptr;
+      return false;
+    }
+  }
+
+  MS_LOG(INFO) << "Hook library loaded successfully.";
+  return true;
+}
+
+bool HookDynamicLoader::UnloadLibrary() {
+  std::lock_guard<std::mutex> lock(mutex_);
+  if (!handle_) {
+    MS_LOG(WARNING) << "Hook library hasn't been loaded.";
+    return false;
+  }
+
+  dlclose(handle_);
+  handle_ = nullptr;
+  funcMap_.clear();
+  MS_LOG(INFO) << "Library unloaded successfully.";
+  return true;
+}
+
+void *HookDynamicLoader::GetHooker(const std::string &funcName) {
+  std::lock_guard<std::mutex> lock(mutex_);
+  auto iter = funcMap_.find(funcName);
+  if (iter == funcMap_.end()) {
+    MS_LOG(WARNING) << "Function not found: " << funcName;
+    return nullptr;
+  }
+  return iter->second;
+}

msprobe/mindspore/dym_loader/hook_dynamic_loader.h

@@ -0,0 +1,53 @@
+/**
+ * Copyright 2024 Huawei Technologies Co., Ltd
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#ifndef HOOK_DYNAMIC_LOADER_H
+#define HOOK_DYNAMIC_LOADER_H
+
+#include <dlfcn.h>
+#include <string>
+#include <vector>
+#include <map>
+#include <mutex>
+
+constexpr auto kHookBegin = "MS_DbgOnStepBegin";
+constexpr auto kHookEnd = "MS_DbgOnStepEnd";
+
+class HookDynamicLoader {
+ public:
+  static HookDynamicLoader &GetInstance();
+
+  HookDynamicLoader(const HookDynamicLoader &) = delete;
+  HookDynamicLoader &operator=(const HookDynamicLoader &) = delete;
+
+  bool LoadLibrary();
+  bool UnloadLibrary();
+  void *GetHooker(const std::string &funcName);
+
+ private:
+  // Helper functions
+  bool loadFunction(void *handle, const std::string &functionName);
+  bool validateLibraryPath(const std::string &libPath);
+
+  HookDynamicLoader() = default;
+
+  void *handle_ = nullptr;
+  std::vector<std::string> functionList_ = {kHookBegin, kHookEnd};
+  std::map<std::string, void *> funcMap_;
+  std::mutex mutex_;
+};
+
+#endif  // HOOK_DYNAMIC_LOADER_H

msprobe/mindspore/free_benchmark/api_pynative_self_check.py

@@ -1,21 +1,43 @@
-import os
-import inspect
+# Copyright (c) 2024-2024, Huawei Technologies Co., Ltd.
+# All rights reserved.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import functools
 import importlib
+import os
+import traceback
 
 import mindspore as ms
-from mindspore.communication import comm_func
 
-from msprobe.core.common.file_utils import load_yaml, check_path_length
 from msprobe.core.common.const import Const
+from msprobe.core.common.exceptions import DistributedNotInitializedError
+from msprobe.core.common.file_utils import check_path_length, load_yaml
 from msprobe.mindspore.common.const import Const as MsConst
 from msprobe.mindspore.common.const import FreeBenchmarkConst
-from msprobe.mindspore.free_benchmark.common.config import Config
 from msprobe.mindspore.common.log import logger
+from msprobe.mindspore.common.utils import get_rank_if_initialized
 from msprobe.mindspore.debugger.debugger_config import DebuggerConfig
-from msprobe.mindspore.free_benchmark.decorator.decorator_factory import decorate_forward_function
+from msprobe.mindspore.dump.hook_cell.api_registry import api_register
+from msprobe.mindspore.free_benchmark.common.config import Config
+from msprobe.mindspore.free_benchmark.common.handler_params import HandlerParams
+from msprobe.mindspore.free_benchmark.common.utils import Tools
+from msprobe.mindspore.free_benchmark.handler.handler_factory import HandlerFactory
+from msprobe.mindspore.free_benchmark.perturbation.perturbation_factory import PerturbationFactory
+from msprobe.mindspore.runtime import Runtime
 
 
-class ApiPyNativeSelFCheck:
+class ApiPyNativeSelfCheck:
     def __init__(self, config: DebuggerConfig):
         Config.is_enable = True
         Config.handler_type = config.handler_type
@@ -24,29 +46,68 @@ class ApiPyNativeSelFCheck:
         Config.dump_level = config.dump_level
         Config.steps = config.step
         Config.ranks = config.rank
-        Config.dump_path = os.path.join(config.dump_path, "free_benchmark.csv")
+        Config.dump_path = os.path.join(config.dump_path, FreeBenchmarkConst.CHECK_RESULT_FILE)
         check_path_length(Config.dump_path)
 
+        self.ori_func = {}
+
         self.api_list = config.list
         all_api = get_supported_ops()
         if not self.api_list:
             self.api_list = all_api
         else:
             self.api_list = set(self.api_list) & all_api
+        self.store_original_func()
 
     def handle(self):
+        api_register.initialize_hook(self.build_hook)
+        api_register.api_set_hook_func()
+
+    def build_hook(self, api_name_with_id):
+        def forward_hook(api_name_with_id, cell, input_data, output_data):
+            ret = None
+
+            if not need_wrapper_func():
+                del cell.input_kwargs
+                return ret
+
+            api_name_with_id = api_name_with_id[:-1]
+            hook_prefix = api_name_with_id[:api_name_with_id.find(Const.SEP) + 1]
+            api_name = (MsConst.HOOK_MS_PREFIX_DICT.get(hook_prefix, "") +
+                        api_name_with_id[api_name_with_id.find(Const.SEP) + 1:api_name_with_id.rfind(Const.SEP)])
+            if api_name in self.api_list:
+                ret = check_self(api_name_with_id, output_data, self.ori_func.get(api_name),
+                                 *input_data, **cell.input_kwargs)
+
+            del cell.input_kwargs
+            return ret
+
+        def backward_hook(cell, grad_input, grad_output):
+            pass
+
+        forward_hook = functools.partial(forward_hook, api_name_with_id)
+
+        def wrap_forward_hook(cell, input_data, output_data):
+            return forward_hook(cell, input_data, output_data)
+
+        def wrap_backward_hook(cell, grad_input, grad_output):
+            return backward_hook(cell, grad_input, grad_output)
+
+        return wrap_forward_hook, wrap_backward_hook
+
+    def store_original_func(self):
         for api_name in self.api_list:
-            hijack(api_name)
+            self.ori_func[api_name] = get_module(api_name)[1]
 
 
 def get_supported_ops():
     supported_ops = []
     cur_path = os.path.dirname(os.path.realpath(__file__))
-    yaml_path = os.path.join(cur_path, "data", "support_wrap_ops.yaml")
+    yaml_path = os.path.join(cur_path, "data", FreeBenchmarkConst.SUPPORTED_CHECK_API_FILE)
 
-    yaml_data = load_yaml(yaml_path)
+    supported_ops_list = load_yaml(yaml_path)
     for k, v in FreeBenchmarkConst.API_PREFIX_DICT.items():
-        ops = yaml_data.get(k)
+        ops = supported_ops_list.get(k)
         if ops:
             ops = [v + i for i in ops]
             supported_ops += ops
@@ -57,7 +118,7 @@ def get_supported_ops():
     _all_functional_ops += ms_ops
 
     ms_tensor = dir(ms.Tensor)
-    ms_tensor = [MsConst.Tensor_PREFIX + i for i in ms_tensor]
+    ms_tensor = [MsConst.TENSOR_PREFIX + i for i in ms_tensor]
     _all_functional_ops += ms_tensor
 
     ms_mint = dir(ms.mint)
@@ -68,29 +129,9 @@ def get_supported_ops():
     ms_mint_nn_func = [MsConst.MINT_NN_FUNC_PREFIX + i for i in ms_mint_nn_func]
     _all_functional_ops += ms_mint_nn_func
 
-    ms_communication = dir(comm_func)
-    ms_communication = [MsConst.COMM_PREFIX + i for i in ms_communication]
-    _all_functional_ops += ms_communication
-
     return set(supported_ops) & set(_all_functional_ops)
 
 
-def get_decorate_func():
-    return decorate_forward_function
-
-
-def is_func_support_decorate(orig_func):
-    return not inspect.isclass(orig_func) and callable(orig_func)
-
-
-def get_wrapper_obj(orig_func, api_name):
-    if is_func_support_decorate(orig_func):
-        wrapped_obj = get_decorate_func()(orig_func, api_name)
-    else:
-        wrapped_obj = orig_func
-    return wrapped_obj
-
-
 def get_module(api_name):
     func_name_list = api_name.split(Const.SEP)
     func_name = func_name_list[-1]
@@ -104,13 +145,93 @@ def get_module(api_name):
     return module_obj, orig_func
 
 
-def hijack(api_name):
-    if not api_name.strip():
-        return
+def check_self(api_name_with_id, output, ori_func, *args, **kwargs):
+    ret = None
+
+    if Config.stage == Const.BACKWARD and not (check_all_tensor(args) and check_all_tensor(output)):
+        logger.warning(f"{api_name_with_id} has non-tensor input or output.")
+        return ret
+
+    params = data_pre_deal(api_name_with_id, ori_func, *args, **kwargs)
+    if params.index == -1:
+        return ret
+
+    logger.info(f"[{api_name_with_id}] is {Config.handler_type}ing.")
+    api_register.api_set_ori_func()
+
     try:
-        func_name = api_name.split(Const.SEP)[-1]
-        module_obj, origin_func = get_module(api_name)
-        wrapped_obj = get_wrapper_obj(origin_func, api_name)
-        setattr(module_obj, func_name, wrapped_obj)
+        perturbation = PerturbationFactory.create(api_name_with_id)
+        params.fuzzed_result = perturbation.handle(params)
+        if params.fuzzed_result is False:
+            api_register.api_set_hook_func()
+            return ret
+        if Config.stage == Const.BACKWARD:
+            params.original_result = Tools.get_grad(params.original_func, *params.args, **params.kwargs)
+        else:
+            params.original_result = output
+        ret = deal_fuzzed_and_original_result(api_name_with_id, params)
     except Exception as e:
-        logger.error(f"Failed decorator {api_name}: {e}")
+        logger.error(f"[{api_name_with_id}] Error: {str(e)}")
+        logger.error(f"[{api_name_with_id}] Error detail: {traceback.format_exc()}")
+
+    api_register.api_set_hook_func()
+    return ret
+
+
+def check_all_tensor(input_output):
+    if isinstance(input_output, ms.Tensor):
+        return True
+    if isinstance(input_output, (tuple, list)):
+        return all([check_all_tensor(v) for v in input_output])
+    return False
+
+
+def get_target_arg_index(args) -> int:
+    """
+    类型校验
+
+    """
+    for i, arg in enumerate(args):
+        if ms.ops.is_tensor(arg):
+            if not ms.ops.is_floating_point(arg):
+                continue
+            return i
+        if isinstance(arg, (list, tuple, dict)):
+            return i
+    return -1
+
+
+def data_pre_deal(api_name_with_id, func, *args, **kwargs):
+    params = HandlerParams()
+    params.args = args
+    params.kwargs = kwargs
+    params.original_func = func
+    index = get_target_arg_index(args)
+    if index == -1:
+        logger.warning(f"{api_name_with_id} has no supported input type.")
+    params.index = index
+    return params
+
+
+def need_wrapper_func():
+    if not (Runtime.is_running and Config.is_enable):
+        return False
+
+    if Config.steps and Runtime.step_count not in Config.steps:
+        return False
+
+    if Runtime.rank_id == -1:
+        try:
+            Runtime.rank_id = get_rank_if_initialized()
+        except DistributedNotInitializedError:
+            Runtime.rank_id = -1
+    if Config.ranks and Runtime.rank_id != -1 and Runtime.rank_id not in Config.ranks:
+        return False
+
+    return True
+
+
+def deal_fuzzed_and_original_result(api_name_with_id, params: HandlerParams):
+    handler = HandlerFactory.create(api_name_with_id)
+    result = handler.handle(params)
+    return result

msprobe/mindspore/free_benchmark/common/config.py

@@ -1,3 +1,18 @@
+# Copyright (c) 2024-2024, Huawei Technologies Co., Ltd.
+# All rights reserved.
+#
+# Licensed under the Apache License, Version 2.0  (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 from msprobe.mindspore.common.const import FreeBenchmarkConst
 
 

msprobe/mindspore/free_benchmark/common/handler_params.py

@@ -1,3 +1,18 @@
+# Copyright (c) 2024-2024, Huawei Technologies Co., Ltd.
+# All rights reserved.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 from typing import Optional, Any, Tuple, Dict, Callable
 
 
@@ -12,6 +27,5 @@ class HandlerParams:
     original_result: Optional[Any] = None
     fuzzed_result: Optional[Any] = None
     is_consistent: Optional[bool] = True
-    save_flag: Optional[bool] = True
     fuzzed_value: Optional[Any] = None
     original_func: Optional[Callable] = None

msprobe/mindspore/free_benchmark/common/utils.py

@@ -1,14 +1,28 @@
-from typing import Any
-from typing import Optional
+# Copyright (c) 2024-2024, Huawei Technologies Co., Ltd.
+# All rights reserved.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 from dataclasses import dataclass
+from typing import Any, Optional
 
 import mindspore as ms
-from mindspore import Tensor
+from mindspore import Tensor, ops
 
-from msprobe.mindspore.runtime import Runtime
 from msprobe.mindspore.common.const import FreeBenchmarkConst
-from .config import Config
-from .handler_params import HandlerParams
+from msprobe.mindspore.free_benchmark.common.config import Config
+from msprobe.mindspore.free_benchmark.common.handler_params import HandlerParams
+from msprobe.mindspore.runtime import Runtime
 
 
 class Tools:
@@ -29,6 +43,23 @@ class Tools:
             return FreeBenchmarkConst.NO_CHANGE_ERROR_THRESHOLD
         return FreeBenchmarkConst.ERROR_THRESHOLD.get(dtype, FreeBenchmarkConst.ERROR_THRESHOLD.get(ms.float32))
 
+    @staticmethod
+    def get_grad_out(outputs):
+        if isinstance(outputs, Tensor):
+            return ops.ones_like(outputs)
+        if isinstance(outputs, (tuple, list)):
+            return type(outputs)([Tools.get_grad_out(v) for v in outputs])
+        return outputs
+
+    @staticmethod
+    def get_grad(func, *args, **kwargs):
+        def target_func(*inputs):
+            return func(*inputs, **kwargs)
+
+        outputs, vjp_fn = ms.vjp(target_func, *args)
+        values = Tools.get_grad_out(outputs)
+        return vjp_fn(values)
+
 
 @dataclass
 class UnequalRow:
@@ -59,10 +90,8 @@ def make_unequal_row(
     if isinstance(ratio, float):
         row.max_rel = ratio - 1
     original_tensor = params.original_result
-    fuzzed_tensor = params.fuzzed_result
     if index is not None:
         original_tensor = original_tensor[index]
-        fuzzed_tensor = fuzzed_tensor[index]
         row.output_index = index
     if isinstance(original_tensor, Tensor):
         row.dtype = original_tensor.dtype