Skip to content

Latest commit

 

History

History
127 lines (88 loc) · 15.3 KB

edmm_config_guide.md

File metadata and controls

127 lines (88 loc) · 15.3 KB
Raw

OCCLUM EDMM Configuration Guide

EDMM Environment Requirements

  1. Hardware Platform: SGX-2 support is required.
  2. OS: Linux Kernel v6.0 or above is needed. And v6.2 is primarily used for development and testing.

EDMM Enabling

EDMM feature is not enabled by default. To enable it, set ENABLE_EDMM during the Occlum build phase like below:

ENABLE_EDMM=Y occlum build
occlum run /xxx/xxx

If not enabled, Occlum will be built as running on the non-EDMM platform by default.

Occlum.json Configuration

Design Philosophy

A single Occlum.json file can be built for both EDMM and non-EDMM platforms while maximizing the EDMM functionality on the EDMM platform.

EDMM Principle

To leverage EDMM, the Enclave.xml file offers two types of configuration options, namely Init and Max, for memory-related settings including TCS, heap, and stack (some may include a third option, Min). These options enable the Enclave to load a smaller memory footprint during the initialization phase, thereby enhancing the startup speed of the Enclave application. The remaining memory is loaded progressively at runtime in an on-demand manner. The Enclave.xml file is generated from the Occlum.json file using Occlum's internal configuration tool and serves as the definitive configuration file for the Enclave. To fully harness the capabilities of EDMM, additional configuration options are provided in the Occlum.json file.

The configuration strategy is as follows: to achieve a faster Occlum startup speed, configure a smaller value for the Init memory. In cases of insufficient memory availability, the size of the Max memory should be increased. The Init memory is loaded during Occlum's startup irrespective of its actual usage, while the Max memory determines the maximum memory requirement of the application and is dynamically loaded during runtime to avoid memory wastage.

Occlum.json EDMM Configuration Introduction

In general, three optional fields have been added to the existing Occlum.json configuration: kernel_space_heap_max_size, user_space_max_size, and init_num_of_threads. An example of the memory section configuration in Occlum.json when all the EDMM-related configurations are enabled:

{
  "resource_limits": {
    "kernel_space_stack_size": "1MB",       // (Legacy, Required)
    "kernel_space_heap_size": "4MB",        // (Legacy, Required)
    "kernel_space_heap_max_size": "40MB",   // !!! (Newly-Introduced，Optional)
    "user_space_size": "1MB",               // (Legacy, Required)
    "user_space_max_size": "600MB",         // !!! (Newly-Introduced，Optional)
    "init_num_of_threads": 2,               // !!! (Newly-Introduced，Optional)
    "max_num_of_threads": 64                // (Legacy, Required)
  },
  "process": {
    "default_stack_size": "4MB",            // (Legacy, Required)
    "default_heap_size": "8MB",             // (Legacy, Required)
    "default_mmap_size": "100MB"            // (Legacy, Required, but inoperative)
  },
}

occlum build will fail if any of the Required field is not provided.

Detail Explanation

Kernel Stack

corresponds to the Occlum kernel space stack memory and maintain consistency with the existing configuration method

  • corresponds to StackMaxSize, StackMinSize of Enclave.xml file
  • Due to the fact that this stack is only intended for Occlum kernel threads, the memory requirement is not substantial. Typically, it ranges from 1 to 4MB, and in the majority of cases, no modifications are necessary. Consequently, no additional configuration options are provided
  • The recommended configuration approach is to keep it consistent with the previous settings without any modifications

Kernel Heap

corresponds to the Occlum kernel space heap memory

  • If only is configured

    • On the EDMM platform, the default provided by the Occlum configuration tool serves as the maximum value for the heap allocated on-demand, while represents the initial kernel heap size during LibOS initialization
    • On non-EDMM platforms, remains consistent with its previous usage, corresponding to the static size of the kernel space heap

  • If is newly added

    • On the EDMM platform, the maximum value provided by is compared with the default from the Occlum configuration tool to determine the maximum value for the kernel heap. Meanwhile, represents the initial kernel heap size during LibOS initialization
    • On non-EDMM platforms, is used as the static size of the kernel space heap, and no longer takes effect

  • Recommended configuration approach:

    • On the EDMM platform: Add configuration field and can increase the amount a little bit compared to the original . The can be reduced appropriately based on the desired startup time. In theory, a smaller configuration leads to faster LibOS startup speed.
    • On non-EDMM platforms: Keep the configuration consistent with the previous settings, i.e., no modifications to . Alternatively, adding configuration field can provide future scalability.

User Space

corresponds to Occlum's user space memory

  • If only is configured

    • On the EDMM platform, the default provided by the Occlum configuration tool serves as the maximum value for the user space allocated on-demand, while represents the initial user space size during LibOS initialization
    • On non-EDMM platforms, remains consistent with its previous usage, corresponding to the static size of the user space

  • If is newly added

    • On the EDMM platform, the maximum value provided by is compared with the default from the Occlum configuration tool to determine the maximum value for the user space. Meanwhile, represents the initial user space size during LibOS initialization
    • On non-EDMM platforms, is used as the static size of the user space, and no longer takes effect

  • Recommended configuration approach:

    • On the EDMM platform: since we only pay for what we use, user space memory becomes more affordable. can be configured to be relatively large, such as multiplying the previous value by 2, to prevent the application OOM (out of memory) issues. The original can be reduced appropriately based on the desired startup time. In theory, a smaller configuration leads to faster LibOS startup speed
    • On non-EDMM platforms: Keep the configuration consistent with the previous settings, i.e., no modifications to . Alternatively, consider adding configuration for future scalability

TCS Number

corresponds to the total amount of threads used by LibOS kernel and user space

  • Unlike the configuration of kernel heap and user space, the configuration for the TCS number introduces a separate configuration for the Init value, while retaining the original configuration for the Max number of threads

  • If only is configured

    • On the EDMM platform, the Occlum configuration tool provides a default value of for the number of Init threads, while is compared with the default value of from the Occlum configuration tool to determine the maximum number of threads
    • On non-EDMM platforms, remains consistent with its previous usage, corresponding to the static number of threads

  • If is newly added

    • On the EDMM platform, the minimum value of compared with the default value of provided by the Occlum configuration tool is used as the number of Init threads during initialization, while is compared with the default value of from the Occlum configuration tool to determine the maximum number of threads
    • On non-EDMM platforms, does not take effect, and only is effective, remaining consistent with its previous usage, corresponding to the static number of threads

  • Recommended configuration approach

    • On the EDMM platform: Add the configuration field and set a smaller value based on the desired startup time. In theory, a smaller configuration leads to faster LibOS startup speed. can remain the same as the previous configuration
    • On non-EDMM platforms: Keep the configuration consistent with the previous settings, i.e., no modifications to .

Notes

  1. When running Occlum on the EDMM platform, it will automatically make maximum use of the EDMM functionality. In the current implementation, even if the user manually configures or , it may still exceed this limit and use the default system-provided . Therefore, limiting the Max setting cannot effectively restrict the maximum physical memory usage of the application. However, these physical memory will not be wasted if they are not used, since the memory is allocated on-demand.

  2. If compatibility needs to be considered, i.e., an Occlum.json file needs to run on both EDMM and non-EDMM platforms, it is advisable not to set the max-related values (including ) too large. On the EDMM platform, due to memory being committed on demand, setting a large Max value does not affect normal program execution or cause wastage. However, on non-EDMM platforms, where memory is fully committed, a large Max value may result in slower LibOS startup speed and could even cause Enclave loading failures.

  3. The environment variable SGX_MODE takes precedence over ENABLE_EDMM. This means EDMM cannot be enabled in the SGX Simulation mode. If both ENABLE_EDMM=Y and SGX_MODE=SIM are configured, only the SGX_MODE environment variable takes effect.

  4. Users should try to avoid conflicts between the EDMM configuration during occlum build and the actual execution environment during occlum run. If occlum build and occlum run are performed in different environments:

    • If EDMM is not enabled during occlum build but the environment supports EDMM during occlum run: Occlum will not enable EDMM capabilities and will run with the non-EDMM configuration
    • If EDMM is enabled during occlum build but the environment does not support EDMM during occlum run: The Enclave can still start, but since the memory usage of the configuration file is targeted for the EDMM environment, undefined errors may occur in the non-EDMM environment. This includes explicit errors or panics due to insufficient memory