diff --git a/include/wjr/generic/math/bignum-config.hpp b/include/wjr/arch/generic/math/bignum-config.hpp
similarity index 100%
rename from include/wjr/generic/math/bignum-config.hpp
rename to include/wjr/arch/generic/math/bignum-config.hpp
diff --git a/include/wjr/x86/container/generic/bplus_tree.hpp b/include/wjr/arch/x86/container/generic/bplus_tree.hpp
similarity index 99%
rename from include/wjr/x86/container/generic/bplus_tree.hpp
rename to include/wjr/arch/x86/container/generic/bplus_tree.hpp
index 01a434b3..bbfd1064 100644
--- a/include/wjr/x86/container/generic/bplus_tree.hpp
+++ b/include/wjr/arch/x86/container/generic/bplus_tree.hpp
@@ -3,7 +3,7 @@
 
 #include <algorithm>
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/format/charconv.hpp b/include/wjr/arch/x86/format/charconv.hpp
similarity index 99%
rename from include/wjr/x86/format/charconv.hpp
rename to include/wjr/arch/x86/format/charconv.hpp
index a2081424..c503babe 100644
--- a/include/wjr/x86/format/charconv.hpp
+++ b/include/wjr/arch/x86/format/charconv.hpp
@@ -2,7 +2,7 @@
 #define WJR_X86_FORMAT_CHARCONV_HPP__
 
 #include <wjr/format/charconv-impl.hpp>
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/format/utf8/utf8.hpp b/include/wjr/arch/x86/format/utf8/utf8.hpp
similarity index 81%
rename from include/wjr/x86/format/utf8/utf8.hpp
rename to include/wjr/arch/x86/format/utf8/utf8.hpp
index fab73cbb..31fd3bd7 100644
--- a/include/wjr/x86/format/utf8/utf8.hpp
+++ b/include/wjr/arch/x86/format/utf8/utf8.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_FORMAT_UTF8_HPP__
 #define WJR_X86_FORMAT_UTF8_HPP__
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 namespace wjr::utf8 {} // namespace wjr::utf8
 
diff --git a/include/wjr/x86/json/lexer.hpp b/include/wjr/arch/x86/json/lexer.hpp
similarity index 86%
rename from include/wjr/x86/json/lexer.hpp
rename to include/wjr/arch/x86/json/lexer.hpp
index 192200f1..459bffc1 100644
--- a/include/wjr/x86/json/lexer.hpp
+++ b/include/wjr/arch/x86/json/lexer.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_JSON_LEXER_HPP__
 #define WJR_X86_JSON_LEXER_HPP__
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #if WJR_HAS_SIMD(SSSE3)
 #define WJR_HAS_BUILTIN_JSON_LEXER_READER_READ_BUF WJR_HAS_DEF
diff --git a/include/wjr/x86/json/string.hpp b/include/wjr/arch/x86/json/string.hpp
similarity index 86%
rename from include/wjr/x86/json/string.hpp
rename to include/wjr/arch/x86/json/string.hpp
index 60c71956..0c734328 100644
--- a/include/wjr/x86/json/string.hpp
+++ b/include/wjr/arch/x86/json/string.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_JSON_STRING_HPP__
 #define WJR_X86_JSON_STRING_HPP__
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #if WJR_HAS_SIMD(SSE2)
 #define WJR_HAS_BUILTIN_JSON_PARSE_STRING WJR_HAS_DEF
diff --git a/include/wjr/x86/math/add.hpp b/include/wjr/arch/x86/math/add.hpp
similarity index 99%
rename from include/wjr/x86/math/add.hpp
rename to include/wjr/arch/x86/math/add.hpp
index 8160946a..aa99b692 100644
--- a/include/wjr/x86/math/add.hpp
+++ b/include/wjr/arch/x86/math/add.hpp
@@ -30,7 +30,7 @@
 #endif
 
 #if WJR_HAS_BUILTIN(ASM_ADDC) == 2
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
@@ -190,7 +190,7 @@ WJR_INTRINSIC_INLINE uint64_t asm_addc_cc(uint64_t a, uint64_t b, uint8_t c_in,
 
 #if WJR_HAS_BUILTIN(ASM_ADDC_N)
 #define WJR_ADDSUB_I 1
-#include <wjr/x86/math/gen_addsub.hpp>
+#include <wjr/arch/x86/math/gen_addsub.hpp>
 #endif
 
 #if WJR_HAS_BUILTIN(__ASM_ADD_128)
diff --git a/include/wjr/x86/math/compare.hpp b/include/wjr/arch/x86/math/compare.hpp
similarity index 98%
rename from include/wjr/x86/math/compare.hpp
rename to include/wjr/arch/x86/math/compare.hpp
index 94ebb023..bfd2bb00 100644
--- a/include/wjr/x86/math/compare.hpp
+++ b/include/wjr/arch/x86/math/compare.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_MATH_COMPARE_HPP__
 #define WJR_X86_MATH_COMPARE_HPP__
 
-#include <wjr/x86/math/large-compare-impl.hpp>
+#include <wjr/arch/x86/math/large-compare-impl.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/math/div.hpp b/include/wjr/arch/x86/math/div.hpp
similarity index 100%
rename from include/wjr/x86/math/div.hpp
rename to include/wjr/arch/x86/math/div.hpp
diff --git a/include/wjr/x86/math/divider.hpp b/include/wjr/arch/x86/math/divider.hpp
similarity index 100%
rename from include/wjr/x86/math/divider.hpp
rename to include/wjr/arch/x86/math/divider.hpp
diff --git a/include/wjr/x86/math/find.hpp b/include/wjr/arch/x86/math/find.hpp
similarity index 99%
rename from include/wjr/x86/math/find.hpp
rename to include/wjr/arch/x86/math/find.hpp
index deb23164..e26b8056 100644
--- a/include/wjr/x86/math/find.hpp
+++ b/include/wjr/arch/x86/math/find.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_MATH_FIND_HPP__
 #define WJR_X86_MATH_FIND_HPP__
 
-#include <wjr/x86/math/large-find-impl.hpp>
+#include <wjr/arch/x86/math/large-find-impl.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/math/gen_addrsblsh_n.hpp b/include/wjr/arch/x86/math/gen_addrsblsh_n.hpp
similarity index 100%
rename from include/wjr/x86/math/gen_addrsblsh_n.hpp
rename to include/wjr/arch/x86/math/gen_addrsblsh_n.hpp
diff --git a/include/wjr/x86/math/gen_addsub.hpp b/include/wjr/arch/x86/math/gen_addsub.hpp
similarity index 100%
rename from include/wjr/x86/math/gen_addsub.hpp
rename to include/wjr/arch/x86/math/gen_addsub.hpp
diff --git a/include/wjr/x86/math/large-compare-impl.hpp b/include/wjr/arch/x86/math/large-compare-impl.hpp
similarity index 99%
rename from include/wjr/x86/math/large-compare-impl.hpp
rename to include/wjr/arch/x86/math/large-compare-impl.hpp
index 86e42bee..1d4e7803 100644
--- a/include/wjr/x86/math/large-compare-impl.hpp
+++ b/include/wjr/arch/x86/math/large-compare-impl.hpp
@@ -3,7 +3,7 @@
 
 #include <wjr/math/clz.hpp>
 #include <wjr/math/ctz.hpp>
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/math/large-find-impl.hpp b/include/wjr/arch/x86/math/large-find-impl.hpp
similarity index 99%
rename from include/wjr/x86/math/large-find-impl.hpp
rename to include/wjr/arch/x86/math/large-find-impl.hpp
index 803f0e2a..d32d7b3a 100644
--- a/include/wjr/x86/math/large-find-impl.hpp
+++ b/include/wjr/arch/x86/math/large-find-impl.hpp
@@ -3,7 +3,7 @@
 
 #include <wjr/math/clz.hpp>
 #include <wjr/math/ctz.hpp>
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/math/mul-impl.hpp b/include/wjr/arch/x86/math/mul-impl.hpp
similarity index 100%
rename from include/wjr/x86/math/mul-impl.hpp
rename to include/wjr/arch/x86/math/mul-impl.hpp
diff --git a/include/wjr/x86/math/mul.hpp b/include/wjr/arch/x86/math/mul.hpp
similarity index 95%
rename from include/wjr/x86/math/mul.hpp
rename to include/wjr/arch/x86/math/mul.hpp
index e15e244d..33ad8e64 100644
--- a/include/wjr/x86/math/mul.hpp
+++ b/include/wjr/arch/x86/math/mul.hpp
@@ -2,10 +2,10 @@
 #define WJR_X86_MATH_MUL_HPP__
 
 #include <wjr/assert.hpp>
-#include <wjr/x86/math/mul-impl.hpp>
+#include <wjr/arch/x86/math/mul-impl.hpp>
 
 #if WJR_HAS_BUILTIN(MSVC_UMUL128)
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
@@ -83,12 +83,12 @@ WJR_INTRINSIC_INLINE uint64_t asm_submul_1(uint64_t *dst, const uint64_t *src, s
 
 #if WJR_HAS_BUILTIN(ASM_ADDLSH_N)
 #define WJR_ADDSUB_I 1
-#include <wjr/x86/math/gen_addrsblsh_n.hpp>
+#include <wjr/arch/x86/math/gen_addrsblsh_n.hpp>
 #endif
 
 #if WJR_HAS_BUILTIN(ASM_RSBLSH_N)
 #define WJR_ADDSUB_I 0
-#include <wjr/x86/math/gen_addrsblsh_n.hpp>
+#include <wjr/arch/x86/math/gen_addrsblsh_n.hpp>
 #endif
 
 #if WJR_HAS_BUILTIN(ASM_BASECASE_MUL_S)
diff --git a/include/wjr/x86/math/not.hpp b/include/wjr/arch/x86/math/not.hpp
similarity index 99%
rename from include/wjr/x86/math/not.hpp
rename to include/wjr/arch/x86/math/not.hpp
index 647a0c6e..3253afad 100644
--- a/include/wjr/x86/math/not.hpp
+++ b/include/wjr/arch/x86/math/not.hpp
@@ -2,7 +2,7 @@
 #define WJR_X86_MATH_NOT_HPP__
 
 #include <wjr/math/detail.hpp>
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/math/prefix_xor.hpp b/include/wjr/arch/x86/math/prefix_xor.hpp
similarity index 95%
rename from include/wjr/x86/math/prefix_xor.hpp
rename to include/wjr/arch/x86/math/prefix_xor.hpp
index b93c21ce..91119c7a 100644
--- a/include/wjr/x86/math/prefix_xor.hpp
+++ b/include/wjr/arch/x86/math/prefix_xor.hpp
@@ -2,7 +2,7 @@
 #define WJR_X86_MATH_PREFIX_XOR_HPP__
 
 #include <wjr/preprocessor.hpp>
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/math/set.hpp b/include/wjr/arch/x86/math/set.hpp
similarity index 99%
rename from include/wjr/x86/math/set.hpp
rename to include/wjr/arch/x86/math/set.hpp
index 9e9db144..924dfbf0 100644
--- a/include/wjr/x86/math/set.hpp
+++ b/include/wjr/arch/x86/math/set.hpp
@@ -3,7 +3,7 @@
 
 #include <cstring>
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/math/shift.hpp b/include/wjr/arch/x86/math/shift.hpp
similarity index 99%
rename from include/wjr/x86/math/shift.hpp
rename to include/wjr/arch/x86/math/shift.hpp
index f609b8de..c585c717 100644
--- a/include/wjr/x86/math/shift.hpp
+++ b/include/wjr/arch/x86/math/shift.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_MATH_SHIFT_HPP__
 #define WJR_X86_MATH_SHIFT_HPP__
 
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 
 #ifndef WJR_X86
 #error "x86 required"
diff --git a/include/wjr/x86/math/sub.hpp b/include/wjr/arch/x86/math/sub.hpp
similarity index 98%
rename from include/wjr/x86/math/sub.hpp
rename to include/wjr/arch/x86/math/sub.hpp
index 8a34d324..f7bd5cdd 100644
--- a/include/wjr/x86/math/sub.hpp
+++ b/include/wjr/arch/x86/math/sub.hpp
@@ -30,7 +30,7 @@
 #endif
 
 #if WJR_HAS_BUILTIN(ASM_SUBC) == 2
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
@@ -128,7 +128,7 @@ WJR_INTRINSIC_INLINE uint64_t asm_subc_cc(uint64_t a, uint64_t b, uint8_t c_in,
 
 #if WJR_HAS_BUILTIN(ASM_SUBC_N)
 #define WJR_ADDSUB_I 0
-#include <wjr/x86/math/gen_addsub.hpp>
+#include <wjr/arch/x86/math/gen_addsub.hpp>
 #endif
 
 #if WJR_HAS_BUILTIN(__ASM_SUB_128)
diff --git a/include/wjr/x86/simd/avx.hpp b/include/wjr/arch/x86/simd/avx.hpp
similarity index 99%
rename from include/wjr/x86/simd/avx.hpp
rename to include/wjr/arch/x86/simd/avx.hpp
index 0c392fcd..1571d41b 100644
--- a/include/wjr/x86/simd/avx.hpp
+++ b/include/wjr/arch/x86/simd/avx.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_SIMD_AVX_HPP__
 #define WJR_X86_SIMD_AVX_HPP__
 
-#include <wjr/x86/simd/sse.hpp>
+#include <wjr/arch/x86/simd/sse.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/simd/intrin.hpp b/include/wjr/arch/x86/simd/intrin.hpp
similarity index 100%
rename from include/wjr/x86/simd/intrin.hpp
rename to include/wjr/arch/x86/simd/intrin.hpp
diff --git a/include/wjr/x86/simd/simd.hpp b/include/wjr/arch/x86/simd/simd.hpp
similarity index 99%
rename from include/wjr/x86/simd/simd.hpp
rename to include/wjr/arch/x86/simd/simd.hpp
index 64df7d10..91356e8a 100644
--- a/include/wjr/x86/simd/simd.hpp
+++ b/include/wjr/arch/x86/simd/simd.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_SIMD_SIMD_HPP__
 #define WJR_X86_SIMD_SIMD_HPP__
 
-#include <wjr/x86/simd/avx.hpp>
+#include <wjr/arch/x86/simd/avx.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/simd/simd_cast.hpp b/include/wjr/arch/x86/simd/simd_cast.hpp
similarity index 99%
rename from include/wjr/x86/simd/simd_cast.hpp
rename to include/wjr/arch/x86/simd/simd_cast.hpp
index fb277802..4cee65cb 100644
--- a/include/wjr/x86/simd/simd_cast.hpp
+++ b/include/wjr/arch/x86/simd/simd_cast.hpp
@@ -4,7 +4,7 @@
 #include <cstdint>
 
 #include <wjr/simd/detail.hpp>
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 
 namespace wjr {
 
diff --git a/include/wjr/x86/simd/sse.hpp b/include/wjr/arch/x86/simd/sse.hpp
similarity index 99%
rename from include/wjr/x86/simd/sse.hpp
rename to include/wjr/arch/x86/simd/sse.hpp
index c9d82881..dbcf6003 100644
--- a/include/wjr/x86/simd/sse.hpp
+++ b/include/wjr/arch/x86/simd/sse.hpp
@@ -1,7 +1,7 @@
 #ifndef WJR_X86_SIMD_SSE_HPP__
 #define WJR_X86_SIMD_SSE_HPP__
 
-#include <wjr/x86/simd/simd_cast.hpp>
+#include <wjr/arch/x86/simd/simd_cast.hpp>
 
 #include <cstring>
 
diff --git a/include/wjr/container/generic/bplus_tree.hpp b/include/wjr/container/generic/bplus_tree.hpp
index e0221611..e1517eca 100644
--- a/include/wjr/container/generic/bplus_tree.hpp
+++ b/include/wjr/container/generic/bplus_tree.hpp
@@ -30,7 +30,7 @@
 #include <wjr/memory/uninitialized.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/container/generic/bplus_tree.hpp>
+#include <wjr/arch/x86/container/generic/bplus_tree.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/format/charconv.hpp b/include/wjr/format/charconv.hpp
index 73c3e158..11c035b4 100644
--- a/include/wjr/format/charconv.hpp
+++ b/include/wjr/format/charconv.hpp
@@ -13,7 +13,7 @@
 #include <wjr/string.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/format/charconv.hpp>
+#include <wjr/arch/x86/format/charconv.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/format/utf8/utf8.hpp b/include/wjr/format/utf8/utf8.hpp
index 58f734d4..225bce46 100644
--- a/include/wjr/format/utf8/utf8.hpp
+++ b/include/wjr/format/utf8/utf8.hpp
@@ -6,7 +6,7 @@
 #include <wjr/expected.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/format/utf8/utf8.hpp>
+#include <wjr/arch/x86/format/utf8/utf8.hpp>
 #endif
 
 namespace wjr::utf8 {
diff --git a/include/wjr/json/json.hpp b/include/wjr/json/json.hpp
index 5e3fd9ba..46c13d5d 100644
--- a/include/wjr/json/json.hpp
+++ b/include/wjr/json/json.hpp
@@ -20,6 +20,15 @@ WJR_INTRINSIC_INLINE result<void> check(const reader &rd) noexcept {
 template <typename Traits>
 class basic_json;
 
+template <typename T>
+struct is_json : std::false_type {};
+
+template <typename Traits>
+struct is_json<basic_json<Traits>> : std::true_type {};
+
+template <typename T>
+inline constexpr bool is_json_v = is_json<T>::value;
+
 namespace detail {
 
 template <template <typename Char, typename Traits, typename Alloc> typename String,
@@ -237,8 +246,9 @@ WJR_REGISTER_HAS_TYPE(construct_to_json,
                   ::wjr::json::__in_place_json_serializer_object_t)                      \
         : WJR_PP_QUEUE_EXPAND(WJR_PP_QUEUE_TRANSFORM(                                    \
               (__VA_ARGS__), __WJR_REGISTER_JSON_SERIALIZER_COPY_CONSTRUCTOR_CALLER)) {} \
-    template <typename Json>                                                             \
-    explicit Type(const Json &__wjr_json, ::wjr::json::in_place_json_serializer_t)       \
+    template <typename Traits>                                                           \
+    explicit Type(const ::wjr::json::basic_json<Traits> &__wjr_json,                     \
+                  ::wjr::json::in_place_json_serializer_t)                               \
         : Type(__wjr_json.template get<::wjr::json::object_t>(),                         \
                ::wjr::json::__in_place_json_serializer_object) {}
 
@@ -247,8 +257,9 @@ WJR_REGISTER_HAS_TYPE(construct_to_json,
     explicit Type(Object &&__wjr_obj, ::wjr::json::__in_place_json_serializer_object_t)  \
         : WJR_PP_QUEUE_EXPAND(WJR_PP_QUEUE_TRANSFORM(                                    \
               (__VA_ARGS__), __WJR_REGISTER_JSON_SERIALIZER_MOVE_CONSTRUCTOR_CALLER)) {} \
-    template <typename Json, WJR_REQUIRES(!std::is_lvalue_reference_v<Json>)>            \
-    explicit Type(Json &&__wjr_json, ::wjr::json::in_place_json_serializer_t)            \
+    template <typename Traits>                                                           \
+    explicit Type(::wjr::json::basic_json<Traits> &&__wjr_json,                          \
+                  ::wjr::json::in_place_json_serializer_t)                               \
         : Type(std::move(__wjr_json.template get<::wjr::json::object_t>()),              \
                ::wjr::json::__in_place_json_serializer_object) {}
 
@@ -265,8 +276,8 @@ WJR_REGISTER_HAS_TYPE(construct_to_json,
             (__VA_ARGS__), __WJR_REGISTER_JSON_SERIALIZER_COPY_ASSIGN_CALLER));          \
         return *this;                                                                    \
     }                                                                                    \
-    template <typename Json>                                                             \
-    Type &operator=(const Json &__wjr_json) {                                            \
+    template <typename Traits>                                                           \
+    Type &operator=(const ::wjr::json::basic_json<Traits> &__wjr_json) {                 \
         return __assign(__wjr_json.template get<::wjr::json::object_t>(),                \
                         ::wjr::json::in_place_json_serializer);                          \
     }
@@ -279,8 +290,8 @@ WJR_REGISTER_HAS_TYPE(construct_to_json,
             (__VA_ARGS__), __WJR_REGISTER_JSON_SERIALIZER_MOVE_ASSIGN_CALLER));          \
         return *this;                                                                    \
     }                                                                                    \
-    template <typename Json>                                                             \
-    Type &operator=(Json &&__wjr_json) {                                                 \
+    template <typename Traits>                                                           \
+    Type &operator=(::wjr::json::basic_json<Traits> &&__wjr_json) {                      \
         return __assign(std::move(__wjr_json.template get<::wjr::json::object_t>()),     \
                         ::wjr::json::in_place_json_serializer);                          \
     }
@@ -310,12 +321,12 @@ void __json_destroy(T *ptr) noexcept(std::is_nothrow_destructible_v<T> && noexce
 }
 
 namespace detail {
-template <typename Formatter, typename Json>
-void format_impl(Formatter fmt, const Json &j, unsigned int depth);
+template <typename Formatter, typename Traits>
+void format_impl(Formatter fmt, const basic_json<Traits> &j, unsigned int depth) noexcept;
 }
 
-template <typename Formatter, typename Json>
-void format(Formatter fmt, const Json &j) {
+template <typename Formatter, typename Traits>
+void format(Formatter fmt, const basic_json<Traits> &j) noexcept {
     detail::format_impl(fmt, j, 0);
 }
 
@@ -616,7 +627,7 @@ class basic_json {
     static result<basic_json> parse(const reader &rd) noexcept;
 
     template <typename Container>
-    void dump_impl(Container &cont, unsigned indents = -1) const {
+    void dump_impl(Container &cont, unsigned indents = -1) const noexcept {
         if (indents == -1u) {
             format(minify_formatter(std::back_inserter(cont)), *this);
         } else {
@@ -624,15 +635,17 @@ class basic_json {
         }
     }
 
-    /**
-     * @brief Use minify formatter as default.
-     */
-    std::string to_string() const {
+    WJR_PURE std::string dump(unsigned indents = -1) const noexcept {
         std::string str;
-        dump_impl(str);
+        dump_impl(str, indents);
         return str;
     }
 
+    /**
+     * @brief Use minify formatter as default.
+     */
+    WJR_PURE std::string to_string() const noexcept { return dump(); }
+
     reference at(size_type idx) { return get<array_t>().at(idx); }
     const_reference at(size_type idx) const { return get<array_t>().at(idx); }
 
@@ -935,7 +948,7 @@ struct json_serializer_impl<std::nullptr_t, void> {
     }
 
     template <typename Json>
-    static value_type construct(const Json &j) {
+    WJR_PURE static value_type construct(const Json &j) {
         value_type val;
         assign(j, val);
         return val;
@@ -967,7 +980,7 @@ struct json_serializer_impl<bool, void> {
     }
 
     template <typename Json>
-    static value_type construct(const Json &j) {
+    WJR_PURE static value_type construct(const Json &j) {
         value_type val;
         assign(j, val);
         return val;
@@ -1017,7 +1030,7 @@ struct __json_serializer_arithmetic {
     }
 
     template <typename Json>
-    static value_type construct(const Json &j) {
+    WJR_PURE static value_type construct(const Json &j) {
         value_type val;
         assign(j, val);
         return val;
@@ -1089,7 +1102,7 @@ struct json_serializer_impl<std::string_view, void> {
     }
 
     template <typename Json>
-    constexpr static Json construct(const value_type &val) {
+    WJR_PURE constexpr static Json construct(const value_type &val) {
         return Json(string_t(), __json_create<typename Json::string_type>(val));
     }
 };
@@ -1730,8 +1743,8 @@ result<basic_json<Traits>> basic_json<Traits>::parse(const reader &rd) noexcept
 
 namespace detail {
 
-template <typename Formatter, typename Json>
-void format_impl(Formatter fmt, const Json &j, unsigned depth) {
+template <typename Formatter, typename Traits>
+void format_impl(Formatter fmt, const basic_json<Traits> &j, unsigned depth) noexcept {
     switch (j.type()) {
     case value_t::null: {
         fmt.format_null();
@@ -1837,7 +1850,6 @@ std::basic_ostream<char, Traits> &operator<<(std::basic_ostream<char, Traits> &o
         vector<char, math_detail::weak_stack_alloc<char>> buffer(stkal);
         buffer.clear_if_reserved(256);
 
-        const std::ios_base::fmtflags flags = os.flags();
         const std::streamsize indents = os.width();
 
         j.dump_impl(buffer, indents);
@@ -1850,6 +1862,44 @@ std::basic_ostream<char, Traits> &operator<<(std::basic_ostream<char, Traits> &o
     return os;
 }
 
+template <typename Traits>
+bool operator==(const basic_json<Traits> &lhs, const basic_json<Traits> &rhs) {
+    switch (lhs.type()) {
+    case value_t::null: {
+        return rhs.is_null();
+    }
+    case value_t::boolean: {
+        return rhs.is_boolean();
+    }
+    case value_t::number_unsigned:
+    case value_t::number_signed:
+    case value_t::number_float: {
+        return rhs.is_number() && (static_cast<double>(lhs) == static_cast<double>(rhs));
+    }
+    case value_t::string: {
+        return rhs.is_string() &&
+               lhs.template get_unsafe<string_t>() == rhs.template get_unsafe<string_t>();
+    }
+    case value_t::object: {
+        return rhs.is_object() &&
+               lhs.template get_unsafe<object_t>() == rhs.template get_unsafe<object_t>();
+    }
+    case value_t::array: {
+        return rhs.is_array() &&
+               lhs.template get_unsafe<array_t>() == rhs.template get_unsafe<array_t>();
+    }
+    default: {
+        WJR_UNREACHABLE();
+        return false;
+    }
+    }
+}
+
+template <typename Traits>
+bool operator!=(const basic_json<Traits> &lhs, const basic_json<Traits> &rhs) {
+    return !(lhs == rhs);
+}
+
 } // namespace wjr::json
 
 namespace wjr {
diff --git a/include/wjr/json/lexer.hpp b/include/wjr/json/lexer.hpp
index e3c74325..cb2cc295 100644
--- a/include/wjr/json/lexer.hpp
+++ b/include/wjr/json/lexer.hpp
@@ -4,7 +4,7 @@
 #include <wjr/json/lexer-impl.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/json/lexer.hpp>
+#include <wjr/arch/x86/json/lexer.hpp>
 #endif
 
 #endif // WJR_JSON_LEXER_HPP__
\ No newline at end of file
diff --git a/include/wjr/json/string.hpp b/include/wjr/json/string.hpp
index 31a764a9..097f0235 100644
--- a/include/wjr/json/string.hpp
+++ b/include/wjr/json/string.hpp
@@ -7,11 +7,10 @@
 #include <wjr/json/detail.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/json/string.hpp>
+#include <wjr/arch/x86/json/string.hpp>
 #endif
 
 namespace wjr::json {
-
 namespace string_detail {
 
 inline constexpr std::array<uint8_t, 256> escape_table = {
diff --git a/include/wjr/math/add.hpp b/include/wjr/math/add.hpp
index d4f2daa4..3e0e4bc8 100644
--- a/include/wjr/math/add.hpp
+++ b/include/wjr/math/add.hpp
@@ -6,7 +6,7 @@
 #include <wjr/math/replace.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/add.hpp>
+#include <wjr/arch/x86/math/add.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/bignum-config.hpp b/include/wjr/math/bignum-config.hpp
index cdf95a1a..5081e358 100644
--- a/include/wjr/math/bignum-config.hpp
+++ b/include/wjr/math/bignum-config.hpp
@@ -1,6 +1,6 @@
 #ifndef WJR_MATH_BIGNUM_CONFIG_HPP__
 #define WJR_MATH_BIGNUM_CONFIG_HPP__
 
-#include <wjr/generic/math/bignum-config.hpp>
+#include <wjr/arch/generic/math/bignum-config.hpp>
 
 #endif // WJR_MATH_BIGNUM_CONFIG_HPP__
\ No newline at end of file
diff --git a/include/wjr/math/bit.hpp b/include/wjr/math/bit.hpp
index ab3480d1..4cadf8ca 100644
--- a/include/wjr/math/bit.hpp
+++ b/include/wjr/math/bit.hpp
@@ -16,7 +16,7 @@ WJR_CONST WJR_INTRINSIC_CONSTEXPR bool has_single_bit(T n) noexcept {
 template <typename T, WJR_REQUIRES(is_nonbool_unsigned_integral_v<T>)>
 WJR_CONST WJR_INTRINSIC_CONSTEXPR20 int countl_zero(T x) noexcept {
     // If not use __builtin_clz and use popcount, then don't need to handle zero.
-#if WJR_HAS_BUILTIN(CLZ) || !WJR_HAS_BUILTIN(POPCOUNT) 
+#if WJR_HAS_BUILTIN(CLZ) || !WJR_HAS_BUILTIN(POPCOUNT)
     if (WJR_UNLIKELY(x == 0)) {
         return std::numeric_limits<T>::digits;
     }
@@ -28,7 +28,7 @@ WJR_CONST WJR_INTRINSIC_CONSTEXPR20 int countl_zero(T x) noexcept {
 template <typename T, WJR_REQUIRES(is_nonbool_unsigned_integral_v<T>)>
 WJR_CONST WJR_INTRINSIC_CONSTEXPR20 int countr_zero(T x) noexcept {
     // If not use __builtin_ctz and use popcount, then don't need to handle zero.
-#if WJR_HAS_BUILTIN(CTZ) || !WJR_HAS_BUILTIN(POPCOUNT) 
+#if WJR_HAS_BUILTIN(CTZ) || !WJR_HAS_BUILTIN(POPCOUNT)
     if (WJR_UNLIKELY(x == 0)) {
         return std::numeric_limits<T>::digits;
     }
@@ -74,16 +74,72 @@ WJR_CONST WJR_INTRINSIC_CONSTEXPR20 T bit_floor(T x) noexcept {
     return 0;
 }
 
+#if WJR_HAS_BUILTIN(__builtin_bit_cast) || WJR_HAS_MSVC(19, 27)
+#define WJR_HAS_BUILTIN_BIT_CAST WJR_HAS_DEF
+#endif
+
 template <typename To, typename From,
           WJR_REQUIRES(sizeof(To) == sizeof(From) && std::is_trivially_copyable_v<From> &&
                        std::is_trivially_copyable_v<To>)>
 WJR_PURE WJR_INTRINSIC_INLINE To bit_cast(const From &src) noexcept {
     static_assert(std::is_trivially_constructible_v<To>, "");
+#if WJR_HAS_BUILTIN(BIT_CAST)
+    return __builtin_bit_cast(To, src);
+#else
+    To dst;
+    std::memcpy(std::addressof(dst), std::addressof(src), sizeof(To));
+    return dst;
+#endif
+}
+
+namespace bit_detail {
+
+template <size_t ValueSize, typename To>
+WJR_INTRINSIC_INLINE void clear_tail_padding_bits(To &to, std::true_type) noexcept {
+    std::memset(reinterpret_cast<unsigned char *>(std::addressof(to)) + ValueSize, 0,
+                sizeof(To) - ValueSize);
+}
+
+template <size_t ValueSize, typename To>
+WJR_INTRINSIC_INLINE void clear_tail_padding_bits(To &, std::false_type) noexcept {}
+
+template <size_t ValueSize, typename To>
+WJR_INTRINSIC_INLINE void clear_tail_padding_bits(To &to) noexcept {
+    clear_tail_padding_bits<ValueSize>(to,
+                                       std::bool_constant<(ValueSize < sizeof(To))>());
+}
+
+template <typename To, typename From>
+WJR_INTRINSIC_INLINE To bitwise_cast_memcpy(From const &from) noexcept {
+    constexpr auto copy_size = sizeof(From) < sizeof(To) ? sizeof(From) : sizeof(To);
     To dst;
-    std::memcpy(&dst, &src, sizeof(To));
+    std::memcpy(std::addressof(dst), std::addressof(from), copy_size);
+    clear_tail_padding_bits<sizeof(From)>(dst);
     return dst;
 }
 
+template <typename To, typename From>
+WJR_INTRINSIC_INLINE To bitwise_cast_impl(From const &from, std::true_type) noexcept {
+    // This implementation is only called when the From type has no padding and From and
+    // To have the same size
+    return bit_cast<To>(from);
+}
+
+template <typename To, typename From>
+WJR_INTRINSIC_INLINE To bitwise_cast_impl(From const &from, std::false_type) noexcept {
+    return bitwise_cast_memcpy<To>(from);
+}
+
+} // namespace bit_detail
+
+template <typename To, typename From>
+WJR_INTRINSIC_INLINE To bitwise_cast(From const &from) noexcept {
+    return bit_detail::bitwise_cast_impl<To>(
+        from, std::bool_constant<(
+                  sizeof(From) == sizeof(To) &&
+                  atomics::detail::has_unique_object_representations<From>::value)>());
+}
+
 } // namespace wjr
 
 #endif // WJR_MATH_BIT_HPP__
\ No newline at end of file
diff --git a/include/wjr/math/clz.hpp b/include/wjr/math/clz.hpp
index 7d52b3d8..307863fd 100644
--- a/include/wjr/math/clz.hpp
+++ b/include/wjr/math/clz.hpp
@@ -11,7 +11,7 @@
 #endif
 
 #if WJR_HAS_BUILTIN(CLZ) == 2
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/compare.hpp b/include/wjr/math/compare.hpp
index 1e652c98..f30d4d68 100644
--- a/include/wjr/math/compare.hpp
+++ b/include/wjr/math/compare.hpp
@@ -5,7 +5,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/compare.hpp>
+#include <wjr/arch/x86/math/compare.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/ctz.hpp b/include/wjr/math/ctz.hpp
index b91b96d1..a09bfba4 100644
--- a/include/wjr/math/ctz.hpp
+++ b/include/wjr/math/ctz.hpp
@@ -11,7 +11,7 @@
 #endif
 
 #if WJR_HAS_BUILTIN(CTZ) == 2
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/div.hpp b/include/wjr/math/div.hpp
index ec49402d..4008d488 100644
--- a/include/wjr/math/div.hpp
+++ b/include/wjr/math/div.hpp
@@ -4,7 +4,7 @@
 #include <wjr/math/uint128_t.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/div.hpp>
+#include <wjr/arch/x86/math/div.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/divider.hpp b/include/wjr/math/divider.hpp
index 4f36d2bb..80b1a852 100644
--- a/include/wjr/math/divider.hpp
+++ b/include/wjr/math/divider.hpp
@@ -7,7 +7,7 @@
 #include <wjr/math/mul.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/divider.hpp>
+#include <wjr/arch/x86/math/divider.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/find.hpp b/include/wjr/math/find.hpp
index 292d3b59..24860d89 100644
--- a/include/wjr/math/find.hpp
+++ b/include/wjr/math/find.hpp
@@ -4,7 +4,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/find.hpp>
+#include <wjr/arch/x86/math/find.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/mul.hpp b/include/wjr/math/mul.hpp
index 96406be5..b5d0fae6 100644
--- a/include/wjr/math/mul.hpp
+++ b/include/wjr/math/mul.hpp
@@ -18,11 +18,11 @@
 #endif
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/mul.hpp>
+#include <wjr/arch/x86/math/mul.hpp>
 #endif
 
 #if WJR_HAS_BUILTIN(MSVC_MULH64)
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/not.hpp b/include/wjr/math/not.hpp
index 2f58131f..c4518bc4 100644
--- a/include/wjr/math/not.hpp
+++ b/include/wjr/math/not.hpp
@@ -4,7 +4,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/not.hpp>
+#include <wjr/arch/x86/math/not.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/popcount.hpp b/include/wjr/math/popcount.hpp
index eb1d8ea5..2319e6d3 100644
--- a/include/wjr/math/popcount.hpp
+++ b/include/wjr/math/popcount.hpp
@@ -7,12 +7,12 @@
 
 #if WJR_HAS_BUILTIN(__builtin_popcount)
 #define WJR_HAS_BUILTIN_POPCOUNT WJR_HAS_DEF
-#elif defined(WJR_COMPILER_MSVC)
+#elif defined(WJR_MSVC)
 #define WJR_HAS_BUILTIN_POPCOUNT WJR_HAS_DEF_VAR(2)
 #endif
 
 #if WJR_HAS_BUILTIN(POPCOUNT) == 2
-#include <wjr/x86/simd/intrin.hpp>
+#include <wjr/arch/x86/simd/intrin.hpp>
 #endif
 
 #endif
diff --git a/include/wjr/math/prefix_xor.hpp b/include/wjr/math/prefix_xor.hpp
index c6147be3..dd72a21f 100644
--- a/include/wjr/math/prefix_xor.hpp
+++ b/include/wjr/math/prefix_xor.hpp
@@ -4,7 +4,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/prefix_xor.hpp>
+#include <wjr/arch/x86/math/prefix_xor.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/set.hpp b/include/wjr/math/set.hpp
index 58b0bc56..f2dcc5b9 100644
--- a/include/wjr/math/set.hpp
+++ b/include/wjr/math/set.hpp
@@ -7,7 +7,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/set.hpp>
+#include <wjr/arch/x86/math/set.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/shift.hpp b/include/wjr/math/shift.hpp
index ea1f4c16..a1f830b8 100644
--- a/include/wjr/math/shift.hpp
+++ b/include/wjr/math/shift.hpp
@@ -5,7 +5,7 @@
 #include <wjr/type_traits.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/shift.hpp>
+#include <wjr/arch/x86/math/shift.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/math/sub.hpp b/include/wjr/math/sub.hpp
index 407baff9..5d764199 100644
--- a/include/wjr/math/sub.hpp
+++ b/include/wjr/math/sub.hpp
@@ -7,7 +7,7 @@
 #include <wjr/math/sub-impl.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/math/sub.hpp>
+#include <wjr/arch/x86/math/sub.hpp>
 #endif
 
 namespace wjr {
diff --git a/include/wjr/network/pause.hpp b/include/wjr/network/pause.hpp
new file mode 100644
index 00000000..41571728
--- /dev/null
+++ b/include/wjr/network/pause.hpp
@@ -0,0 +1,50 @@
+#ifndef WJR_NETWORK_PAUSE_HPP__
+#define WJR_NETWORK_PAUSE_HPP__
+
+#include <wjr/preprocessor.hpp>
+
+namespace wjr {
+
+#if defined(_MSC_VER)
+#if defined(_M_AMD64) || defined(_M_IX86)
+extern "C" void _mm_pause(void);
+#if defined(WJR_COMPILER_MSVC)
+#pragma intrinsic(_mm_pause)
+#endif
+#elif defined(_M_ARM64) || defined(_M_ARM)
+extern "C" void __yield(void);
+#if defined(WJR_COMPILER_MSVC)
+#pragma intrinsic(__yield)
+#endif
+#endif
+#endif
+
+WJR_INTRINSIC_INLINE void pause() noexcept {
+#if defined(_MSC_VER)
+#if defined(_M_AMD64) || defined(_M_IX86)
+    _mm_pause();
+#elif defined(_M_ARM64) || defined(_M_ARM)
+    __yield();
+#endif
+#elif defined(__GNUC__)
+#if defined(__i386__) || defined(__x86_64__)
+    asm volatile("pause\n\t" : : : "memory");
+#elif (defined(__ARM_ARCH) && __ARM_ARCH >= 8) || defined(__ARM_ARCH_8A__) ||            \
+    defined(__aarch64__)
+    asm volatile("yield\n\t" : : : "memory");
+#elif defined(__riscv) && __riscv_xlen == 64
+#if defined(__riscv_zihintpause)
+    asm volatile("pause\n\t" : : : "memory");
+#else
+    /* Encoding of the pause instruction */
+    asm volatile(".4byte 0x100000F\n\t");
+#endif
+#endif
+#endif
+}
+
+} // namespace wjr
+
+#include <wjr/atomic/detail/footer.hpp>
+
+#endif // WJR_NETWORK_PAUSE_HPP__
diff --git a/include/wjr/preprocessor/compiler/attribute.hpp b/include/wjr/preprocessor/compiler/attribute.hpp
index 4a227b8b..40a859b0 100644
--- a/include/wjr/preprocessor/compiler/attribute.hpp
+++ b/include/wjr/preprocessor/compiler/attribute.hpp
@@ -267,6 +267,12 @@
 #define WJR_NONNULL(...)
 #endif
 
+#if WJR_HAS_ATTRIBUTE(__may_alias__)
+#define WJR_MAY_ALIAS __attribute__((__may_alias__))
+#else
+#define WJR_MAY_ALIAS
+#endif
+
 #define WJR_INLINE inline
 #define WJR_CONSTEXPR constexpr
 
diff --git a/include/wjr/preprocessor/compiler/has.hpp b/include/wjr/preprocessor/compiler/has.hpp
index 187d7173..b921ce82 100644
--- a/include/wjr/preprocessor/compiler/has.hpp
+++ b/include/wjr/preprocessor/compiler/has.hpp
@@ -99,12 +99,9 @@
 #define WJR_HAS_FEATURE_PRAGMA_UNROLL WJR_HAS_DEF
 #endif
 
-#if defined(WJR_COMPILER_GCC) || defined(WJR_COMPILER_CLANG) || defined(WJR_COMPILER_MSVC)
-#define WJR_HAS_FEATURE_INLINE_ASM WJR_HAS_DEF
-#ifndef WJR_COMPILER_MSVC
+#if defined(WJR_COMPILER_GCC) || defined(WJR_COMPILER_CLANG)
 #define WJR_HAS_FEATURE_GCC_STYLE_INLINE_ASM WJR_HAS_DEF
 #endif
-#endif
 
 #if WJR_HAS_FEATURE(GCC_STYLE_INLINE_ASM)
 
diff --git a/include/wjr/simd/simd.hpp b/include/wjr/simd/simd.hpp
index 11ed8ab7..1186720b 100644
--- a/include/wjr/simd/simd.hpp
+++ b/include/wjr/simd/simd.hpp
@@ -7,7 +7,7 @@
 #include <wjr/simd/simd_mask.hpp>
 
 #if defined(WJR_X86)
-#include <wjr/x86/simd/simd.hpp>
+#include <wjr/arch/x86/simd/simd.hpp>
 #endif
 
 namespace wjr {
diff --git a/src/wjr/x86/math/mul.cpp b/src/wjr/x86/math/mul.cpp
index 093a37eb..84c9cae3 100644
--- a/src/wjr/x86/math/mul.cpp
+++ b/src/wjr/x86/math/mul.cpp
@@ -1,4 +1,4 @@
-#include <wjr/x86/math/mul-impl.hpp>
+#include <wjr/arch/x86/math/mul-impl.hpp>
 
 namespace wjr {
 
diff --git a/src/wjr/x86/math/simd.cpp b/src/wjr/x86/math/simd.cpp
index bf3204b9..bc23dc8d 100644
--- a/src/wjr/x86/math/simd.cpp
+++ b/src/wjr/x86/math/simd.cpp
@@ -1,6 +1,6 @@
 #include <wjr/math/shift.hpp>
-#include <wjr/x86/math/large-compare-impl.hpp>
-#include <wjr/x86/math/large-find-impl.hpp>
+#include <wjr/arch/x86/math/large-compare-impl.hpp>
+#include <wjr/arch/x86/math/large-find-impl.hpp>
 
 namespace wjr {