mirror of
https://github.com/Atmosphere-NX/Atmosphere
synced 2024-09-19 22:59:00 +00:00
tipc: tentative core serialization logic (missing imports, won't compile)
This commit is contained in:
Michael Scire
SciresM
parent
dc6a0d7562
commit
e93d71d932
|
|
@ -84,6 +84,7 @@
|
|||
#include <stratosphere/socket.hpp>
|
||||
#include <stratosphere/spl.hpp>
|
||||
#include <stratosphere/time.hpp>
|
||||
#include <stratosphere/tipc.hpp>
|
||||
#include <stratosphere/tma.hpp>
|
||||
#include <stratosphere/updater.hpp>
|
||||
#include <stratosphere/usb.hpp>
|
||||
|
|
|
|||
19
libraries/libstratosphere/include/stratosphere/tipc.hpp
Normal file
19
libraries/libstratosphere/include/stratosphere/tipc.hpp
Normal file
|
|
@ -0,0 +1,19 @@
|
|||
/*
|
||||
* Copyright (c) 2018-2020 Atmosphère-NX
|
||||
*
|
||||
* This program is free software; you can redistribute it and/or modify it
|
||||
* under the terms and conditions of the GNU General Public License,
|
||||
* version 2, as published by the Free Software Foundation.
|
||||
*
|
||||
* This program is distributed in the hope it will be useful, but WITHOUT
|
||||
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
||||
* more details.
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License
|
||||
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/
|
||||
|
||||
#pragma once
|
||||
|
||||
#include <stratosphere/tipc/impl/tipc_impl_command_serialization.hpp>
|
||||
|
|
@ -0,0 +1,618 @@
|
|||
/*
|
||||
* Copyright (c) 2018-2020 Atmosphère-NX
|
||||
*
|
||||
* This program is free software; you can redistribute it and/or modify it
|
||||
* under the terms and conditions of the GNU General Public License,
|
||||
* version 2, as published by the Free Software Foundation.
|
||||
*
|
||||
* This program is distributed in the hope it will be useful, but WITHOUT
|
||||
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
||||
* more details.
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License
|
||||
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/
|
||||
#pragma once
|
||||
#include <vapours.hpp>
|
||||
|
||||
namespace ams::tipc {
|
||||
|
||||
struct ClientProcessId {
|
||||
os::ProcessId value;
|
||||
};
|
||||
static_assert(std::is_trivial<ClientProcessId>::value && sizeof(ClientProcessId) == sizeof(os::ProcessId), "ClientProcessId");
|
||||
|
||||
}
|
||||
|
||||
namespace ams::tipc::impl {
|
||||
|
||||
/* Machinery for filtering type lists. */
|
||||
template<class, class>
|
||||
struct TupleCat;
|
||||
|
||||
template<class... First, class... Second>
|
||||
struct TupleCat<std::tuple<First...>, std::tuple<Second...>> {
|
||||
using type = std::tuple<First..., Second...>;
|
||||
};
|
||||
|
||||
template<template <typename> typename Cond>
|
||||
struct TupleFilter {
|
||||
private:
|
||||
template<typename, typename>
|
||||
struct ImplType;
|
||||
|
||||
template<typename Res>
|
||||
struct ImplType<Res, std::tuple<>> {
|
||||
using type = Res;
|
||||
};
|
||||
|
||||
template<typename Res, typename T, typename... Ts>
|
||||
struct ImplType<Res, std::tuple<T, Ts...>> {
|
||||
using type = typename std::conditional<Cond<T>::value,
|
||||
typename ImplType<typename TupleCat<Res, std::tuple<T>>::type, std::tuple<Ts...>>::type,
|
||||
typename ImplType<Res, std::tuple<Ts...>>::type
|
||||
>::type;
|
||||
};
|
||||
public:
|
||||
template<typename T>
|
||||
using FilteredType = typename ImplType<std::tuple<>, T>::type;
|
||||
};
|
||||
|
||||
enum class ArgumentType {
|
||||
InData,
|
||||
OutData,
|
||||
Buffer,
|
||||
InHandle,
|
||||
OutHandle,
|
||||
ProcessId,
|
||||
};
|
||||
|
||||
template<typename T>
|
||||
constexpr inline ArgumentType GetArgumentType = [] {
|
||||
if constexpr (tipc::IsBuffer<T>) {
|
||||
return ArgumentType::Buffer;
|
||||
} else if constexpr (std::is_base_of<sf::impl::InHandleTag, T>::value) {
|
||||
return ArgumentType::InHandle;
|
||||
} else if constexpr (std::is_base_of<sf::impl::OutHandleTag, T>::value) {
|
||||
return ArgumentType::OutHandle;
|
||||
} else if constexpr (std::is_base_of<sf::impl::OutBaseTag, T>::value) {
|
||||
return ArgumentType::OutData;
|
||||
} else if constexpr (std::same_as<tipc::ClientProcessId>) {
|
||||
return ArgumentType::ProcessId;
|
||||
} else if constexpr (std::is_trivial<T>::value && !std::is_pointer<T>::value) {
|
||||
return ArgumentType::InData;
|
||||
} else if constexpr (std::is_same<T, ::ams::Result>::value) {
|
||||
return ArgumentType::InData;
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid ArgumentType<T>");
|
||||
}
|
||||
}();
|
||||
|
||||
template<typename T, ArgumentType ArgT>
|
||||
struct ArgumentTypeFilter : public std::bool_constant<GetArgumentType<T> == ArgT>{};
|
||||
|
||||
template<typename T, typename U>
|
||||
struct TypeEqualityFilter : public std::bool_constant<std::is_same<T, U>::value>{};
|
||||
|
||||
/* Argument type filters. */
|
||||
template<typename T>
|
||||
using InDataFilter = ArgumentTypeFilter<T, ArgumentType::InData>;
|
||||
|
||||
template<typename T>
|
||||
using OutDataFilter = ArgumentTypeFilter<T, ArgumentType::OutData>;
|
||||
|
||||
template<typename T>
|
||||
using BufferFilter = ArgumentTypeFilter<T, ArgumentType::Buffer>;
|
||||
|
||||
template<typename T>
|
||||
using InHandleFilter = ArgumentTypeFilter<T, ArgumentType::InHandle>;
|
||||
|
||||
template<typename T>
|
||||
using OutHandleFilter = ArgumentTypeFilter<T, ArgumentType::OutHandle>;
|
||||
|
||||
/* Handle kind filters. */
|
||||
template<typename T>
|
||||
using InMoveHandleFilter = TypeEqualityFilter<T, sf::MoveHandle>;
|
||||
|
||||
template<typename T>
|
||||
using InCopyHandleFilter = TypeEqualityFilter<T, sf::CopyHandle>;
|
||||
|
||||
template<typename T>
|
||||
using OutMoveHandleFilter = TypeEqualityFilter<T, sf::Out<sf::MoveHandle>>;
|
||||
|
||||
template<typename T>
|
||||
using OutCopyHandleFilter = TypeEqualityFilter<T, sf::Out<sf::CopyHandle>>;
|
||||
|
||||
template<typename T>
|
||||
struct ProcessIdFilter = ArgumentTypeFilter<T, ArgumentType::ProcessId>;
|
||||
|
||||
template<typename>
|
||||
struct BufferAttributeArrayGetter;
|
||||
|
||||
template<typename ...Ts>
|
||||
struct BufferAttributeArrayGetter<std::tuple<Ts...>> {
|
||||
static constexpr std::array<u32, sizeof...(Ts)> value = { BufferAttributes<Ts>..., };
|
||||
};
|
||||
|
||||
template<>
|
||||
struct BufferAttributeArrayGetter<std::tuple<>> {
|
||||
static constexpr std::array<u32, 0> value{};
|
||||
};
|
||||
|
||||
template<auto Predicate>
|
||||
struct BufferAttributeCounter {
|
||||
|
||||
template<size_t Size>
|
||||
static constexpr size_t GetCount(const std::array<u32, Size> &attributes_array) {
|
||||
size_t count = 0;
|
||||
for (size_t i = 0; i < Size; i++) {
|
||||
if (Predicate(attributes_array[i])) {
|
||||
count++;
|
||||
}
|
||||
}
|
||||
return count;
|
||||
}
|
||||
|
||||
};
|
||||
|
||||
static constexpr size_t InBufferPredicate(const u32 attribute) {
|
||||
return (attribute & SfBufferAttr_In) && !(attribute & SfBufferAttr_Out);
|
||||
}
|
||||
|
||||
static constexpr size_t OutBufferPredicate(const u32 attribute) {
|
||||
return !(attribute & SfBufferAttr_In) && (attribute & SfBufferAttr_Out);
|
||||
}
|
||||
|
||||
template<typename>
|
||||
struct RawDataOffsetCalculator;
|
||||
|
||||
template<typename... Ts>
|
||||
struct RawDataOffsetCalculator<std::tuple<Ts...>> {
|
||||
private:
|
||||
template<typename T>
|
||||
struct LayoutHelper {
|
||||
static_assert(GetArgumentType<T> == ArgumentType::InData, "LayoutHelper InData");
|
||||
static constexpr size_t Alignment = alignof(T);
|
||||
static constexpr size_t Size = sizeof(T);
|
||||
};
|
||||
template<typename T>
|
||||
struct LayoutHelper<Out<T>> {
|
||||
static_assert(GetArgumentType<T> == ArgumentType::InData, "LayoutHelper OutData");
|
||||
static constexpr size_t Alignment = alignof(T);
|
||||
static constexpr size_t Size = sizeof(T);
|
||||
};
|
||||
public:
|
||||
static constexpr std::array<size_t, sizeof...(Ts)+1> Offsets = [] {
|
||||
std::array<size_t, sizeof...(Ts)+1> offsets{};
|
||||
offsets[0] = 0;
|
||||
if constexpr (sizeof...(Ts) > 0) {
|
||||
/* Get size, alignment for each type. */
|
||||
const std::array<size_t, sizeof...(Ts)> sizes = { LayoutHelper<Ts>::Size... };
|
||||
const std::array<size_t, sizeof...(Ts)> aligns = { LayoutHelper<Ts>::Alignment... };
|
||||
|
||||
/* We want to sort...by alignment. */
|
||||
std::array<size_t, sizeof...(Ts)> map = {};
|
||||
for (size_t i = 0; i < sizeof...(Ts); i++) { map[i] = i; }
|
||||
|
||||
/* TODO: Is sorting done on parameters? */
|
||||
/* Sort?(map, aligns); */
|
||||
|
||||
/* Iterate over sorted sizes. */
|
||||
size_t cur_offset = 0;
|
||||
for (size_t i : map) {
|
||||
cur_offset = util::AlignUp(cur_offset, aligns[i]);
|
||||
offsets[i] = cur_offset;
|
||||
cur_offset += sizes[i];
|
||||
}
|
||||
offsets[sizeof...(Ts)] = cur_offset;
|
||||
}
|
||||
return offsets;
|
||||
}();
|
||||
|
||||
};
|
||||
|
||||
struct ArgumentSerializationInfo {
|
||||
/* Type used to select from below fields. */
|
||||
ArgumentType arg_type;
|
||||
|
||||
/* Raw data indexing. */
|
||||
size_t in_raw_data_index;
|
||||
size_t out_raw_data_index;
|
||||
|
||||
/* Buffer indexing. */
|
||||
size_t buffer_index;
|
||||
bool is_send_buffer;
|
||||
size_t send_map_alias_index;
|
||||
size_t recv_map_alias_index;
|
||||
|
||||
/* Handle indexing. */
|
||||
size_t in_move_handle_index;
|
||||
size_t in_copy_handle_index;
|
||||
size_t out_move_handle_index;
|
||||
size_t out_copy_handle_index;
|
||||
};
|
||||
|
||||
template<u16 _CommandId, typename... Arguments>
|
||||
struct CommandMetaInfo {
|
||||
public:
|
||||
using CommandId = _CommandId;
|
||||
using ArgsType = std::tuple<typename std::decay<Arguments>::type...>;
|
||||
|
||||
using InDatas = TupleFilter<InDataFilter>::FilteredType<ArgsType>;
|
||||
using OutDatas = TupleFilter<OutDataFilter>::FilteredType<ArgsType>;
|
||||
using Buffers = TupleFilter<BufferFilter>::FilteredType<ArgsType>;
|
||||
using InHandles = TupleFilter<InHandleFilter>::FilteredType<ArgsType>;
|
||||
using OutHandles = TupleFilter<OutHandleFilter>::FilteredType<ArgsType>;
|
||||
using ProcessIds = TupleFilter<ProcessIdFilter>::FilteredType<ArgsType>;
|
||||
|
||||
static constexpr size_t NumInDatas = std::tuple_size<InDatas>::value;
|
||||
static constexpr size_t NumOutDatas = std::tuple_size<OutDatas>::value;
|
||||
static constexpr size_t NumBuffers = std::tuple_size<Buffers>::value;
|
||||
static constexpr size_t NumInHandles = std::tuple_size<InHandles>::value;
|
||||
static constexpr size_t NumOutHandles = std::tuple_size<OutHandles>::value;
|
||||
|
||||
static constexpr size_t NumProcessIds = std::tuple_size<ProcessIds>::value;
|
||||
static constexpr bool HasProcessId = NumProcessIds >= 1;
|
||||
|
||||
static_assert(NumBuffers <= 8, "Methods must take in <= 8 Buffers");
|
||||
static_assert(NumInHandles <= 8, "Methods must take in <= 8 Handles");
|
||||
static_assert(NumOutHandles + NumOutObjects <= 8, "Methods must output <= 8 Handles");
|
||||
|
||||
/* Buffer marshalling. */
|
||||
static constexpr std::array<u32, NumBuffers> BufferAttributes = BufferAttributeArrayGetter<Buffers>::value;
|
||||
static constexpr size_t NumInBuffers = BufferAttributeCounter<InBufferPredicate>::GetCount(BufferAttributes);
|
||||
static constexpr size_t NumOutBuffers = BufferAttributeCounter<OutBufferPredicate>::GetCount(BufferAttributes);
|
||||
|
||||
/* In/Out data marshalling. */
|
||||
static constexpr std::array<size_t, NumInDatas+1> InDataOffsets = RawDataOffsetCalculator<InDatas>::Offsets;
|
||||
static constexpr size_t InDataSize = util::AlignUp(InDataOffsets[NumInDatas], alignof(u32));
|
||||
|
||||
static constexpr std::array<size_t, NumOutDatas+1> OutDataOffsets = RawDataOffsetCalculator<OutDatas>::Offsets;
|
||||
static constexpr size_t OutDataSize = util::AlignUp(OutDataOffsets[NumOutDatas], alignof(u32));
|
||||
|
||||
/* Useful because reasons. */
|
||||
static constexpr size_t OutDataAlign = [] {
|
||||
if constexpr (std::tuple_size<OutDatas>::value) {
|
||||
return alignof(typename std::tuple_element<0, OutDatas>::type);
|
||||
}
|
||||
return 0;
|
||||
}();
|
||||
|
||||
/* Handle marshalling. */
|
||||
static constexpr size_t NumInMoveHandles = std::tuple_size<TupleFilter<InMoveHandleFilter>::FilteredType<InHandles>>::value;
|
||||
static constexpr size_t NumInCopyHandles = std::tuple_size<TupleFilter<InCopyHandleFilter>::FilteredType<InHandles>>::value;
|
||||
|
||||
static constexpr size_t NumOutMoveHandles = std::tuple_size<TupleFilter<OutMoveHandleFilter>::FilteredType<OutHandles>>::value;
|
||||
static constexpr size_t NumOutCopyHandles = std::tuple_size<TupleFilter<OutCopyHandleFilter>::FilteredType<OutHandles>>::value;
|
||||
|
||||
static_assert(NumInMoveHandles + NumInCopyHandles == NumInHandles, "NumInMoveHandles + NumInCopyHandles == NumInHandles");
|
||||
static_assert(NumOutMoveHandles + NumOutCopyHandles == NumOutHandles, "NumOutMoveHandles + NumOutCopyHandles == NumOutHandles");
|
||||
|
||||
/* tipc-specific accessors. */
|
||||
static constexpr bool HasInSpecialHeader = HasProcessId || NumInHandles > 0;
|
||||
|
||||
static constexpr svc::ipc::MessageBuffer::MessageHeader InMessageHeader(CommandId, HasInSpecialHeader, 0, NumInBuffers, NumOutBuffers, 0, InDataSize / sizeof(u32), 0);
|
||||
static constexpr svc::ipc::MessageBuffer::SpecialHeader InSpecialHeader(HasProcessId, NumInMoveHandles, NumInCopyHandles);
|
||||
|
||||
static constexpr auto InMessageProcessIdIndex = svc::ipc::MessageBuffer::GetSpecialDataIndex(InMessageHeader, InSpecialHeader);
|
||||
static constexpr auto InMessageHandleIndex = svc::ipc::MessageBuffer::GetSpecialDataIndex(InMessageHeader, InSpecialHeader) + (HasProcessId ? sizeof(u64) / sizeof(u32) : 0);
|
||||
static constexpr auto InMessageBufferIndex = svc::ipc::MessageBuffer::GetMapAliasDescriptorIndex(InMessageHeader, InSpecialHeader);
|
||||
static constexpr auto InMessageRawDataIndex = svc::ipc::MessageBuffer::GetRawDataIndex(InMessageHeader, InSpecialHeader);
|
||||
|
||||
static constexpr bool HasOutSpecialHeader = NumOutHandles > 0;
|
||||
|
||||
static constexpr svc::ipc::MessageBuffer::MessageHeader OutMessageHeader(CommandId, HasOutSpecialHeader, 0, 0, 0, 0, (OutDataSize / sizeof(u32)) + 1, 0);
|
||||
static constexpr svc::ipc::MessageBuffer::SpecialHeader OutSpecialHeader(false, NumOutMoveHandles, NumOutCopyHandles);
|
||||
|
||||
static constexpr auto OutMessageHandleIndex = svc::ipc::MessageBuffer::GetSpecialDataIndex(OutMessageHeader, OutSpecialHeader);
|
||||
static constexpr auto OutMessageRawDataIndex = svc::ipc::MessageBuffer::GetRawDataIndex(OutMessageHeader, OutSpecialHeader);
|
||||
static constexpr auto OutMessageResultIndex = OutMessageRawDataIndex + OutDataSize / sizeof(u32);
|
||||
|
||||
/* Construction of argument serialization structs. */
|
||||
private:
|
||||
template<typename>
|
||||
struct ArgumentSerializationInfoConstructor;
|
||||
|
||||
template<typename ...Ts>
|
||||
struct ArgumentSerializationInfoConstructor<std::tuple<Ts...>> {
|
||||
|
||||
template<typename T>
|
||||
static constexpr ArgumentSerializationInfo ProcessUpdate(ArgumentSerializationInfo ¤t_info) {
|
||||
/* Save a copy of the current state to return. */
|
||||
ArgumentSerializationInfo returned_info = current_info;
|
||||
|
||||
/* Clear previous iteration's fixed size. */
|
||||
returned_info.fixed_size = 0;
|
||||
current_info.fixed_size = 0;
|
||||
|
||||
constexpr auto arg_type = GetArgumentType<T>;
|
||||
returned_info.arg_type = arg_type;
|
||||
if constexpr (arg_type == ArgumentType::InData) {
|
||||
/* New rawdata, so increment index. */
|
||||
current_info.in_raw_data_index++;
|
||||
} else if constexpr (arg_type == ArgumentType::OutData) {
|
||||
/* New rawdata, so increment index. */
|
||||
current_info.out_raw_data_index++;
|
||||
} else if constexpr (arg_type == ArgumentType::InHandle) {
|
||||
/* New InHandle, increment the appropriate index. */
|
||||
if constexpr (std::is_same<T, sf::MoveHandle>::value) {
|
||||
current_info.in_move_handle_index++;
|
||||
} else if constexpr (std::is_same<T, sf::CopyHandle>::value) {
|
||||
current_info.in_copy_handle_index++;
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid InHandle kind");
|
||||
}
|
||||
} else if constexpr (arg_type == ArgumentType::OutHandle) {
|
||||
/* New OutHandle, increment the appropriate index. */
|
||||
if constexpr (std::is_same<T, sf::Out<sf::MoveHandle>>::value) {
|
||||
current_info.out_move_handle_index++;
|
||||
} else if constexpr (std::is_same<T, sf::Out<sf::CopyHandle>>::value) {
|
||||
current_info.out_copy_handle_index++;
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid OutHandle kind");
|
||||
}
|
||||
} else if constexpr (arg_type == ArgumentType::Buffer) {
|
||||
/* New Buffer, increment the appropriate index. */
|
||||
const auto attributes = BufferAttributes[current_info.buffer_index];
|
||||
current_info.buffer_index++;
|
||||
|
||||
if (attributes & SfBufferAttr_In) {
|
||||
current_info.is_send_buffer = true;
|
||||
current_info.send_map_alias_index++;
|
||||
} else if (attributes & SfBufferAttr_Out) {
|
||||
current_info.is_send_buffer = false;
|
||||
current_info.recv_map_alias_index++;
|
||||
}
|
||||
} else if constexpr (arg_type == ArgumentType::ProcessId) {
|
||||
/* Nothing needs to be done to track process ids. */
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid ArgumentType<T>");
|
||||
}
|
||||
|
||||
return returned_info;
|
||||
}
|
||||
|
||||
static constexpr std::array<ArgumentSerializationInfo, sizeof...(Ts)> ArgumentSerializationInfos = [] {
|
||||
ArgumentSerializationInfo current_info = {};
|
||||
|
||||
return std::array<ArgumentSerializationInfo, sizeof...(Ts)>{ ProcessUpdate<Ts>(current_info)... };
|
||||
}();
|
||||
|
||||
};
|
||||
public:
|
||||
static constexpr std::array<ArgumentSerializationInfo, std::tuple_size<ArgsType>::value> ArgumentSerializationInfos = ArgumentSerializationInfoConstructor<ArgsType>::ArgumentSerializationInfos;
|
||||
};
|
||||
|
||||
template<size_t _Size, size_t _Align, size_t OutIndex>
|
||||
class OutRawHolder {
|
||||
public:
|
||||
static constexpr size_t Size = _Size;
|
||||
static constexpr size_t Align = _Align ? _Align : alignof(u8);
|
||||
private:
|
||||
alignas(Align) u8 data[Size];
|
||||
public:
|
||||
constexpr ALWAYS_INLINE OutRawHolder() : data() { /* ... */ }
|
||||
|
||||
template<size_t Offset, size_t TypeSize>
|
||||
constexpr ALWAYS_INLINE uintptr_t GetAddress() const {
|
||||
static_assert(Offset <= Size, "Offset <= Size");
|
||||
static_assert(TypeSize <= Size, "TypeSize <= Size");
|
||||
static_assert(Offset + TypeSize <= Size, "Offset + TypeSize <= Size");
|
||||
return reinterpret_cast<uintptr_t>(data + Offset);
|
||||
}
|
||||
|
||||
constexpr ALWAYS_INLINE void CopyTo(const svc::ipc::MessageBuffer &buffer) const {
|
||||
if constexpr (Size > 0) {
|
||||
buffer.SetRawArray(OutIndex, data, Size);
|
||||
}
|
||||
}
|
||||
};
|
||||
|
||||
template<size_t _NumMove, size_t _NumCopy, size_t OutIndex>
|
||||
class OutHandleHolder {
|
||||
public:
|
||||
static constexpr size_t NumMove = _NumMove;
|
||||
static constexpr size_t NumCopy = _NumCopy;
|
||||
private:
|
||||
MoveHandle move_handles[NumMove];
|
||||
CopyHandle copy_handles[NumCopy];
|
||||
public:
|
||||
constexpr ALWAYS_INLINE OutHandleHolder() : move_handles(), copy_handles() { /* ... */ }
|
||||
|
||||
template<size_t Index>
|
||||
constexpr ALWAYS_INLINE MoveHandle *GetMoveHandlePointer() {
|
||||
static_assert(Index < NumMove, "Index < NumMove");
|
||||
return move_handles + Index;
|
||||
}
|
||||
|
||||
template<size_t Index>
|
||||
constexpr ALWAYS_INLINE CopyHandle *GetCopyHandlePointer() {
|
||||
static_assert(Index < NumCopy, "Index < NumCopy");
|
||||
return copy_handles + Index;
|
||||
}
|
||||
|
||||
ALWAYS_INLINE void CopyTo(const svc::ipc::MessageBuffer &buffer) const {
|
||||
#define _TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(n) do { if constexpr (NumCopy > n) { buffer.SetHandle(OutIndex + n, copy_handles[n].GetValue()); } } while (0)
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(0);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(1);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(2);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(3);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(4);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(5);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(6);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE(7);
|
||||
#undef _TIPC_OUT_HANDLE_HOLDER_WRITE_COPY_HANDLE
|
||||
#define _TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(n) do { if constexpr (NumMove > n) { buffer.SetHandle(OutIndex + NumCopy + n, move_handles[n].GetValue()); } } while (0)
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(0);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(1);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(2);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(3);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(4);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(5);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(6);
|
||||
_TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE(7);
|
||||
#undef _TIPC_OUT_HANDLE_HOLDER_WRITE_MOVE_HANDLE
|
||||
}
|
||||
};
|
||||
|
||||
template<typename CommandMeta>
|
||||
class CommandProcessor {
|
||||
public:
|
||||
/* Useful defines. */
|
||||
using ArgsType = typename CommandMeta::ArgsType;
|
||||
using OutRawHolderType = OutRawHolder<CommandMeta::OutDataSize, CommandMeta::OutDataAlign, CommandMeta::OutMessageRawDataIndex>;
|
||||
using OutHandleHolderType = OutHandleHolder<CommandMeta::NumOutMoveHandles, CommandMeta::NumOutCopyHandles, CommandMeta::OutMessageHandleIndex>;
|
||||
private:
|
||||
static consteval u64 GetMessageHeaderForCheck(const svc::ipc::MessageBuffer::MessageHeader &header) {
|
||||
using Value = util::BitPack32::Field<0, BITSIZEOF(util::BitPack32)>;
|
||||
|
||||
const util::BitPack32 *data = header.GetData();
|
||||
const u32 lower = data[0].Get<Value>();
|
||||
const u32 upper = data[1].Get<Value>();
|
||||
|
||||
return static_cast<u64>(lower) | (static_cast<u64>(upper) << BITSIZEOF(u32));
|
||||
}
|
||||
|
||||
static consteval u32 GetSpecialHeaderForCheck(const svc::ipc::MessageBuffer::SpecialHeader &header) {
|
||||
using Value = util::BitPack32::Field<0, BITSIZEOF(util::BitPack32)>;
|
||||
|
||||
return header->GetHeader()->Get<Value>();
|
||||
}
|
||||
|
||||
/* Argument deserialization. */
|
||||
template<size_t Index, typename T = typename std::tuple_element<Index, ArgsType>::type>
|
||||
static ALWAYS_INLINE typename std::tuple_element<Index, ArgsTypeForInvoke>::type DeserializeArgumentImpl(const svc::ipc::MessageBuffer &message_buffer, const OutRawHolderType &out_raw_holder, OutHandleHolderType &out_handles_holder) {
|
||||
constexpr auto Info = CommandMeta::ArgumentSerializationInfos[Index];
|
||||
if constexpr (Info.arg_type == ArgumentType::InData) {
|
||||
/* New in rawdata. */
|
||||
constexpr size_t Offset = CommandMeta::InDataOffsets[Info.in_raw_data_index];
|
||||
constexpr size_t RawIndex = Offset / sizeof(u32);
|
||||
static_assert(Offset == RawIndex * sizeof(u32)); /* TODO: Do unaligned data exist? */
|
||||
|
||||
return message_buffer.GetRaw(InMessageRawDataIndex + RawIndex);
|
||||
} else if constexpr (Info.arg_type == ArgumentType::OutData) {
|
||||
/* New out rawdata. */
|
||||
constexpr size_t Offset = CommandMeta::OutDataOffsets[Info.out_raw_data_index];
|
||||
return T(out_raw_holder.template GetAddress<Offset, T::TypeSize>());
|
||||
} else if constexpr (Info.arg_type == ArgumentType::InHandle) {
|
||||
/* New InHandle. */
|
||||
if constexpr (std::is_same<T, sf::MoveHandle>::value) {
|
||||
constexpr auto HandleIndex = CommandMeta::InMessageHandleIndex + CommandMeta::NumInCopyHandles + Info.in_move_handle_index;
|
||||
return T(message_buffer.GetHandle(HandleIndex));
|
||||
} else if constexpr (std::is_same<T, sf::CopyHandle>::value) {
|
||||
constexpr auto HandleIndex = CommandMeta::InMessageHandleIndex + Info.in_copy_handle_index;
|
||||
return T(message_buffer.GetHandle(HandleIndex));
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid InHandle kind");
|
||||
}
|
||||
} else if constexpr (Info.arg_type == ArgumentType::OutHandle) {
|
||||
/* New OutHandle. */
|
||||
if constexpr (std::is_same<T, sf::Out<sf::MoveHandle>>::value) {
|
||||
return T(out_handles_holder.template GetMoveHandlePointer<Info.out_move_handle_index>());
|
||||
} else if constexpr (std::is_same<T, sf::Out<sf::CopyHandle>>::value) {
|
||||
return T(out_handles_holder.template GetCopyHandlePointer<Info.out_copy_handle_index>());
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid OutHandle kind");
|
||||
}
|
||||
} else if constexpr (Info.arg_type == ArgumentType::Buffer) {
|
||||
/* NOTE: There are currently no tipc commands which use buffers-with-attributes */
|
||||
/* If these are added (e.g., NonSecure buffers), implement checking here? */
|
||||
|
||||
if constexpr (Info.is_send_buffer) {
|
||||
/* Input send buffer. */
|
||||
constexpr auto BufferIndex = CommandMeta::InMessageBufferIndex + (Info.send_map_alias_index * MapAliasDescriptor::GetDataSize() / sizeof(util::BitPack32));
|
||||
|
||||
const svc::ipc::MessageBuffer::MapAliasDescriptor descriptor(message_buffer, BufferIndex);
|
||||
return T(tipc::PointerAndSize(descriptor.GetAddress(), descriptor.GetSize()));
|
||||
} else {
|
||||
/* Input receive buffer. */
|
||||
constexpr auto BufferIndex = CommandMeta::InMessageBufferIndex + ((CommandMeta::NumInBuffers + Info.recv_map_alias_index) * MapAliasDescriptor::GetDataSize() / sizeof(util::BitPack32));
|
||||
|
||||
const svc::ipc::MessageBuffer::MapAliasDescriptor descriptor(message_buffer, BufferIndex);
|
||||
return T(tipc::PointerAndSize(descriptor.GetAddress(), descriptor.GetSize()));
|
||||
}
|
||||
} else if constexpr (Info.arg_type == ArgumentType::ProcessId) {
|
||||
return T{ os::ProcessId{ message_buffer.GetProcessId(CommandMeta::InMessageProcessIdIndex) } };
|
||||
} else {
|
||||
static_assert(!std::is_same<T, T>::value, "Invalid ArgumentType<T>");
|
||||
}
|
||||
}
|
||||
|
||||
template<size_t... Is>
|
||||
static ALWAYS_INLINE ArgsTypeForInvoke DeserializeArgumentsImpl(const svc::ipc::MessageBuffer &message_buffer, const OutRawHolderType &out_raw_holder, OutHandleHolderType &out_handles_holder, std::index_sequence<Is...>) {
|
||||
return ArgsTypeForInvoke { DeserializeArgumentImpl<Is>(message_buffer, out_raw_holder, out_handles_holder, in_out_objects_holder)..., };
|
||||
}
|
||||
public:
|
||||
static ALWAYS_INLINE Result ValidateCommandFormat(const svc::ipc::MessageBuffer &message_buffer) {
|
||||
/* Validate the message header. */
|
||||
constexpr auto ExpectedMessageHeader = GetMessageHeaderForCheck(CommandMeta::InMessageHeader);
|
||||
R_UNLESS(message_buffer.Get64(0) == ExpectedMessageHeader, tipc::ResultInvalidMessageFormat());
|
||||
|
||||
/* Validate the special header. */
|
||||
if constexpr (CommandMeta::HasInSpecialHeader) {
|
||||
constexpr auto ExpectedSpecialHeader = GetSpecialHeaderForCheck(CommandMeta::InSpecialHeader);
|
||||
constexpr auto SpecialHeaderIndex = svc::ipc::MessageBuffer::MessageHeader::GetDataSize() / sizeof(util::BitPack32);
|
||||
R_UNLESS(message_buffer.Get32(SpecialHeaderIndex) == ExpectedSpecialHeader, tipc::ResultInvalidMessageFormat());
|
||||
}
|
||||
}
|
||||
|
||||
static ALWAYS_INLINE ArgsType DeserializeArguments(const svc::ipc::MessageBuffer &message_buffer, const OutRawHolderType &out_raw_holder, OutHandleHolderType &out_handles_holder) {
|
||||
return DeserializeArgumentsImpl(message_buffer, out_raw_holder, out_handles_holder, std::make_index_sequence<std::tuple_size<ArgsType>::value>{});
|
||||
}
|
||||
};
|
||||
|
||||
template<auto ServiceCommandImpl, typename Return, typename ClassType, typename... Arguments>
|
||||
constexpr ALWAYS_INLINE Result InvokeServiceCommandImpl(ClassType *object) {
|
||||
using CommandMeta = CommandMetaInfo<Arguments...>;
|
||||
using Processor = CommandProcessor<CommandMeta>;
|
||||
/* TODO: ValidateClassType is valid? */
|
||||
|
||||
constexpr bool ReturnsResult = std::is_same<Return, Result>::value;
|
||||
constexpr bool ReturnsVoid = std::is_same<Return, void>::value;
|
||||
static_assert(ReturnsResult || ReturnsVoid, "Service Commands must return Result or void.");
|
||||
|
||||
/* Create accessor to the message buffer. */
|
||||
svc::ipc::MessageBuffer message_buffer(svc::ipc::GetMessageBuffer());
|
||||
|
||||
/* Validate that the command is valid. */
|
||||
R_TRY(Processor::ValidateCommandFormat(message_buffer));
|
||||
|
||||
/* Deserialize arguments. */
|
||||
Processor::OutRawHolderType out_raw_holder;
|
||||
Processor::OutHandleHolderType out_handles_holder;
|
||||
const Result command_result = [object]<size_t... Ix>(std::index_sequence<Ix...>) ALWAYS_INLINE_LAMBDA {
|
||||
auto args_tuple = Processor::DeserializeArguments(message_buffer, out_raw_holder, out_handles_holder);
|
||||
|
||||
using TrueArgumentsTuple = std::tuple<Arguments...>;
|
||||
|
||||
if constexpr (ReturnsResult) {
|
||||
return (object->*ServiceCommandImpl)(std::forward<typename std::tuple_element<Ix, TrueArgumentsTuple>::type>(std::get<Ix>(args_tuple))...);
|
||||
} else {
|
||||
(object->*ServiceCommandImpl)(std::forward<typename std::tuple_element<Ix, TrueArgumentsTuple>::type>(std::get<Ix>(args_tuple))...);
|
||||
return ResultSuccess();
|
||||
}
|
||||
}(std::make_index_sequence<std::tuple_size<typename CommandMeta::ArgsType>::value>());
|
||||
|
||||
/* Serialize output. */
|
||||
{
|
||||
/* Set output headers. */
|
||||
message_buffer.Set(CommandMeta::OutMessageHeader);
|
||||
if constexpr (CommandMeta::HasOutSpecialHeader) {
|
||||
message_buffer.Set(CommandMeta::OutSpecialHeader);
|
||||
}
|
||||
|
||||
/* Set output handles. */
|
||||
out_handles_holder.CopyTo(message_buffer);
|
||||
|
||||
/* Set output data. */
|
||||
out_raw_holder.CopyTo(message_buffer);
|
||||
|
||||
/* Set output result. */
|
||||
message_buffer.Set(CommandMeta::OutMessageResultIndex, command_result.GetValue());
|
||||
}
|
||||
|
||||
return ResultSuccess();
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -65,6 +65,7 @@
|
|||
#include <vapours/results/spl_results.hpp>
|
||||
#include <vapours/results/svc_results.hpp>
|
||||
#include <vapours/results/time_results.hpp>
|
||||
#include <vapours/results/tipc_results.hpp>
|
||||
#include <vapours/results/tma_results.hpp>
|
||||
#include <vapours/results/updater_results.hpp>
|
||||
#include <vapours/results/usb_results.hpp>
|
||||
|
|
|
|||
|
|
@ -0,0 +1,30 @@
|
|||
/*
|
||||
* Copyright (c) 2018-2020 Atmosphère-NX
|
||||
*
|
||||
* This program is free software; you can redistribute it and/or modify it
|
||||
* under the terms and conditions of the GNU General Public License,
|
||||
* version 2, as published by the Free Software Foundation.
|
||||
*
|
||||
* This program is distributed in the hope it will be useful, but WITHOUT
|
||||
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
||||
* more details.
|
||||
*
|
||||
* You should have received a copy of the GNU General Public License
|
||||
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||
*/
|
||||
|
||||
#pragma once
|
||||
#include <vapours/results/results_common.hpp>
|
||||
|
||||
namespace ams::tipc {
|
||||
|
||||
R_DEFINE_NAMESPACE_RESULT_MODULE(35);
|
||||
|
||||
R_DEFINE_ERROR_RESULT(InvalidMethod, 10);
|
||||
R_DEFINE_ERROR_RESULT(InvalidMessageFormat, 15);
|
||||
|
||||
R_DEFINE_ERROR_RESULT(RequestDeferred, 100);
|
||||
R_DEFINE_ERROR_RESULT(SessionClosed, 101);
|
||||
|
||||
}
|
||||
|
|
@ -410,20 +410,24 @@ namespace ams::svc::ipc {
|
|||
|
||||
template<typename T>
|
||||
ALWAYS_INLINE const T &GetRaw(s32 index) const {
|
||||
return *reinterpret_cast<const T *>(this->buffer + index);
|
||||
if constexpr (!std::same_as<T, bool>) {
|
||||
return *reinterpret_cast<const T *>(this->buffer + index);
|
||||
} else {
|
||||
return *reinterpret_cast<const u8 *>(this->buffer + index) & 1;
|
||||
}
|
||||
}
|
||||
|
||||
template<typename T>
|
||||
ALWAYS_INLINE s32 SetRaw(s32 index, const T &val) {
|
||||
ALWAYS_INLINE s32 SetRaw(s32 index, const T &val) const {
|
||||
*reinterpret_cast<const T *>(this->buffer + index) = val;
|
||||
return index + (util::AlignUp(sizeof(val), sizeof(*this->buffer)) / sizeof(*this->buffer));
|
||||
}
|
||||
|
||||
ALWAYS_INLINE void GetRawArray(s32 index, void *dst, size_t len) {
|
||||
ALWAYS_INLINE void GetRawArray(s32 index, void *dst, size_t len) const {
|
||||
__builtin_memcpy(dst, this->buffer + index, len);
|
||||
}
|
||||
|
||||
ALWAYS_INLINE void SetRawArray(s32 index, const void *src, size_t len) {
|
||||
ALWAYS_INLINE void SetRawArray(s32 index, const void *src, size_t len) const {
|
||||
__builtin_memcpy(this->buffer + index, src, len);
|
||||
}
|
||||
|
||||
|
|
@ -489,10 +493,18 @@ namespace ams::svc::ipc {
|
|||
__builtin_memcpy(this->buffer + index, std::addressof(value), sizeof(value));
|
||||
}
|
||||
|
||||
ALWAYS_INLINE u32 Get32(s32 index) const {
|
||||
return this->buffer[index];
|
||||
}
|
||||
|
||||
ALWAYS_INLINE u64 Get64(s32 index) const {
|
||||
u64 value;
|
||||
__builtin_memcpy(std::addressof(value), this->buffer + index, sizeof(value));
|
||||
return value;
|
||||
}
|
||||
|
||||
ALWAYS_INLINE u64 GetProcessId(s32 index) const {
|
||||
u64 pid;
|
||||
__builtin_memcpy(std::addressof(pid), this->buffer + index, sizeof(pid));
|
||||
return pid;
|
||||
return this->Get64(index);
|
||||
}
|
||||
|
||||
ALWAYS_INLINE ams::svc::Handle GetHandle(s32 index) const {
|
||||
|
|
|
|||
Loading…
Reference in a new issue