2020-09-29 14:42:48 +02:00
|
|
|
#ifndef FSFW_STORAGEMANAGER_LOCALPOOL_H_
|
|
|
|
#define FSFW_STORAGEMANAGER_LOCALPOOL_H_
|
2016-06-15 23:48:41 +02:00
|
|
|
|
2020-08-13 20:53:35 +02:00
|
|
|
#include "StorageManagerIF.h"
|
2020-08-25 13:58:58 +02:00
|
|
|
#include "../objectmanager/SystemObject.h"
|
2020-08-13 20:53:35 +02:00
|
|
|
#include "../objectmanager/ObjectManagerIF.h"
|
2020-08-25 13:58:58 +02:00
|
|
|
#include "../serviceinterface/ServiceInterfaceStream.h"
|
2020-08-13 20:53:35 +02:00
|
|
|
#include "../internalError/InternalErrorReporterIF.h"
|
2020-08-25 13:58:58 +02:00
|
|
|
#include "../storagemanager/StorageAccessor.h"
|
2020-10-15 13:43:23 +02:00
|
|
|
|
|
|
|
#include <vector>
|
|
|
|
#include <set>
|
|
|
|
#include <utility>
|
|
|
|
#include <limits>
|
2016-06-15 23:48:41 +02:00
|
|
|
|
|
|
|
|
|
|
|
/**
|
2020-10-15 13:43:23 +02:00
|
|
|
* @brief The LocalPool class provides an intermediate data storage with
|
|
|
|
* a fixed pool size policy.
|
|
|
|
* @details
|
|
|
|
* The class implements the StorageManagerIF interface. While the total number
|
|
|
|
* of pools is fixed, the element sizes in one pool and the number of pool
|
|
|
|
* elements per pool are set on construction. The full amount of memory is
|
|
|
|
* allocated on construction.
|
|
|
|
* The overhead is 4 byte per pool element to store the size information of
|
|
|
|
* each stored element. To maintain an "empty" information, the pool size is
|
|
|
|
* limited to 0xFFFF-1 bytes.
|
|
|
|
* It is possible to store empty packets in the pool.
|
|
|
|
* The local pool is NOT thread-safe.
|
2016-06-15 23:48:41 +02:00
|
|
|
*/
|
|
|
|
class LocalPool: public SystemObject, public StorageManagerIF {
|
|
|
|
public:
|
2020-10-15 13:43:23 +02:00
|
|
|
using pool_elem_size_t = size_type;
|
|
|
|
using n_pool_elem_t = uint16_t;
|
|
|
|
using LocalPoolCfgPair = std::pair<n_pool_elem_t, pool_elem_size_t>;
|
|
|
|
|
|
|
|
// The configuration needs to be provided with the pool sizes ascending
|
|
|
|
// but the number of pool elements as the first value is more intuitive.
|
|
|
|
// Therefore, a custom comparator was provided.
|
|
|
|
struct LocalPoolConfigCmp
|
|
|
|
{
|
|
|
|
bool operator ()(const LocalPoolCfgPair &a,
|
|
|
|
const LocalPoolCfgPair &b) const
|
|
|
|
{
|
|
|
|
if(a.second < b.second) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
else if(a.second > b.second) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
if(a.first < b.first) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
using LocalPoolConfig = std::multiset<LocalPoolCfgPair, LocalPoolConfigCmp>;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief This is the default constructor for a pool manager instance.
|
|
|
|
* @details
|
|
|
|
* The pool is configured by passing a set of pairs into the constructor.
|
|
|
|
* The first value of that pair determines the number of one elements on
|
|
|
|
* the respective page of the pool while the second value determines how
|
|
|
|
* many elements with that size are created on that page.
|
|
|
|
* All regions are to zero on start up.
|
|
|
|
* @param setObjectId The object identifier to be set. This allows for
|
|
|
|
* multiple instances of LocalPool in the system.
|
|
|
|
* @param poolConfig
|
|
|
|
* This is a set of pairs to configure the number of pages in the pool,
|
|
|
|
* the size of an element on a page, the number of elements on a page
|
|
|
|
* and the total size of the pool at once while also implicitely
|
|
|
|
* sorting the pairs in the right order.
|
|
|
|
* @param registered
|
|
|
|
* Determines whether the pool is registered in the object manager or not.
|
|
|
|
* @param spillsToHigherPools A variable to determine whether
|
|
|
|
* higher n pools are used if the store is full.
|
|
|
|
*/
|
|
|
|
LocalPool(object_id_t setObjectId, const LocalPoolConfig& poolConfig,
|
|
|
|
bool registered = false, bool spillsToHigherPools = false);
|
|
|
|
|
|
|
|
void setToSpillToHigherPools(bool enable);
|
|
|
|
|
2020-05-29 16:37:46 +02:00
|
|
|
/**
|
|
|
|
* @brief In the LocalPool's destructor all allocated memory is freed.
|
|
|
|
*/
|
|
|
|
virtual ~LocalPool(void);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Documentation: See StorageManagerIF.h
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
ReturnValue_t addData(store_address_t* storeId, const uint8_t * data,
|
2020-05-29 16:37:46 +02:00
|
|
|
size_t size, bool ignoreFault = false) override;
|
2020-10-15 13:43:23 +02:00
|
|
|
ReturnValue_t getFreeElement(store_address_t* storeId,const size_t size,
|
|
|
|
uint8_t** pData, bool ignoreFault = false) override;
|
2020-05-29 16:37:46 +02:00
|
|
|
|
2020-10-15 13:43:23 +02:00
|
|
|
ConstAccessorPair getData(store_address_t storeId) override;
|
|
|
|
ReturnValue_t getData(store_address_t storeId,
|
|
|
|
ConstStorageAccessor& constAccessor) override;
|
|
|
|
ReturnValue_t getData(store_address_t storeId,
|
|
|
|
const uint8_t** packet_ptr, size_t * size) override;
|
2020-05-29 16:37:46 +02:00
|
|
|
|
2020-10-15 13:43:23 +02:00
|
|
|
AccessorPair modifyData(store_address_t storeId) override;
|
|
|
|
ReturnValue_t modifyData(store_address_t storeId,
|
|
|
|
StorageAccessor& storeAccessor) override;
|
|
|
|
ReturnValue_t modifyData(store_address_t storeId, uint8_t** packet_ptr,
|
2020-05-29 16:37:46 +02:00
|
|
|
size_t * size) override;
|
|
|
|
|
2020-10-15 13:43:23 +02:00
|
|
|
virtual ReturnValue_t deleteData(store_address_t storeId) override;
|
2020-05-29 16:37:46 +02:00
|
|
|
virtual ReturnValue_t deleteData(uint8_t* ptr, size_t size,
|
2020-10-15 13:43:23 +02:00
|
|
|
store_address_t* storeId = nullptr) override;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Get the total size of allocated memory for pool data.
|
|
|
|
* There is an additional overhead of the sizes of elements which will
|
|
|
|
* be assigned to additionalSize
|
|
|
|
* @return
|
|
|
|
*/
|
|
|
|
size_t getTotalSize(size_t* additionalSize) override;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Get the fill count of the pool. Each character inside the provided
|
|
|
|
* buffer will be assigned to a rounded percentage fill count for each
|
|
|
|
* page. The last written byte (at the index bytesWritten - 1)
|
|
|
|
* will contain the total fill count of the pool as a mean of the
|
|
|
|
* percentages of single pages.
|
|
|
|
* @param buffer
|
|
|
|
* @param maxSize
|
|
|
|
*/
|
|
|
|
void getFillCount(uint8_t* buffer, uint8_t* bytesWritten) override;
|
|
|
|
|
2020-05-29 16:37:46 +02:00
|
|
|
void clearStore() override;
|
2021-01-19 15:04:47 +01:00
|
|
|
void clearSubPool(max_subpools_t poolIndex) override;
|
2020-10-15 13:43:23 +02:00
|
|
|
|
2020-05-29 16:37:46 +02:00
|
|
|
ReturnValue_t initialize() override;
|
2021-01-18 20:03:03 +01:00
|
|
|
|
|
|
|
/**
|
2021-01-19 15:04:47 +01:00
|
|
|
* Get number sub pools. Each pool has pages with a specific bucket size.
|
2021-01-18 20:03:03 +01:00
|
|
|
* @return
|
|
|
|
*/
|
2021-01-19 15:04:47 +01:00
|
|
|
max_subpools_t getNumberOfSubPools() const override;
|
2020-05-29 16:37:46 +02:00
|
|
|
protected:
|
|
|
|
/**
|
2020-06-04 15:02:14 +02:00
|
|
|
* With this helper method, a free element of @c size is reserved.
|
2020-05-29 16:37:46 +02:00
|
|
|
* @param size The minimum packet size that shall be reserved.
|
|
|
|
* @param[out] address Storage ID of the reserved data.
|
|
|
|
* @return - #RETURN_OK on success,
|
|
|
|
* - the return codes of #getPoolIndex or #findEmpty otherwise.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
virtual ReturnValue_t reserveSpace(const size_t size,
|
2020-05-29 16:37:46 +02:00
|
|
|
store_address_t* address, bool ignoreFault);
|
|
|
|
|
2016-06-15 23:48:41 +02:00
|
|
|
private:
|
2021-01-18 20:03:03 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief This definition generally sets the number of
|
|
|
|
* different sized pools. It is derived from the number of pairs
|
|
|
|
* inside the LocalPoolConfig set on object creation.
|
|
|
|
* @details
|
|
|
|
* This must be less than the maximum number of pools (currently 0xff).
|
|
|
|
*/
|
2021-01-19 15:04:47 +01:00
|
|
|
const max_subpools_t NUMBER_OF_SUBPOOLS;
|
2021-01-18 20:03:03 +01:00
|
|
|
|
2020-10-15 13:43:23 +02:00
|
|
|
/**
|
|
|
|
* Indicates that this element is free.
|
|
|
|
* This value limits the maximum size of a pool.
|
|
|
|
* Change to larger data type if increase is required.
|
2021-03-07 01:35:55 +01:00
|
|
|
* Brackets required for MSVC (nameclashes with min and max)
|
2020-10-15 13:43:23 +02:00
|
|
|
*/
|
|
|
|
static const size_type STORAGE_FREE = std::numeric_limits<size_type>::max();
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief In this array, the element sizes of each pool is stored.
|
|
|
|
* @details The sizes are maintained for internal pool management. The sizes
|
|
|
|
* must be set in ascending order on construction.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
std::vector<size_type> elementSizes =
|
2021-01-19 15:04:47 +01:00
|
|
|
std::vector<size_type>(NUMBER_OF_SUBPOOLS);
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief n_elements stores the number of elements per pool.
|
|
|
|
* @details These numbers are maintained for internal pool management.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
std::vector<uint16_t> numberOfElements =
|
2021-01-19 15:04:47 +01:00
|
|
|
std::vector<uint16_t>(NUMBER_OF_SUBPOOLS);
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief store represents the actual memory pool.
|
|
|
|
* @details It is an array of pointers to memory, which was allocated with
|
2020-05-07 23:00:09 +02:00
|
|
|
* a @c new call on construction.
|
2016-06-15 23:48:41 +02:00
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
std::vector<std::vector<uint8_t>> store =
|
2021-01-19 15:04:47 +01:00
|
|
|
std::vector<std::vector<uint8_t>>(NUMBER_OF_SUBPOOLS);
|
2020-10-15 13:43:23 +02:00
|
|
|
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief The size_list attribute stores the size values of every pool element.
|
|
|
|
* @details As the number of elements is determined on construction, the size list
|
|
|
|
* is also dynamically allocated there.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
std::vector<std::vector<size_type>> sizeLists =
|
2021-01-19 15:04:47 +01:00
|
|
|
std::vector<std::vector<size_type>>(NUMBER_OF_SUBPOOLS);
|
2020-10-15 13:43:23 +02:00
|
|
|
|
2020-06-04 15:02:14 +02:00
|
|
|
//! A variable to determine whether higher n pools are used if
|
|
|
|
//! the store is full.
|
2020-10-15 13:43:23 +02:00
|
|
|
bool spillsToHigherPools = false;
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief This method safely stores the given data in the given packet_id.
|
|
|
|
* @details It also sets the size in size_list. The method does not perform
|
|
|
|
* any range checks, these are done in advance.
|
|
|
|
* @param packet_id The storage identifier in which the data shall be stored.
|
|
|
|
* @param data The data to be stored.
|
|
|
|
* @param size The size of the data to be stored.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
void write(store_address_t packetId, const uint8_t* data, size_t size);
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief A helper method to read the element size of a certain pool.
|
|
|
|
* @param pool_index The pool in which to look.
|
|
|
|
* @return Returns the size of an element or 0.
|
|
|
|
*/
|
2021-01-19 15:06:21 +01:00
|
|
|
size_type getSubpoolElementSize(max_subpools_t subpoolIndex);
|
2020-10-15 13:43:23 +02:00
|
|
|
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief This helper method looks up a fitting pool for a given size.
|
|
|
|
* @details The pools are looked up in ascending order, so the first that
|
|
|
|
* fits is used.
|
|
|
|
* @param packet_size The size of the data to be stored.
|
|
|
|
* @param[out] poolIndex The fitting pool index found.
|
2020-10-15 13:43:23 +02:00
|
|
|
* @return - @c RETURN_OK on success,
|
|
|
|
* - @c DATA_TOO_LARGE otherwise.
|
2016-06-15 23:48:41 +02:00
|
|
|
*/
|
2021-01-19 15:06:21 +01:00
|
|
|
ReturnValue_t getSubPoolIndex(size_t packetSize, uint16_t* subpoolIndex,
|
2020-05-29 16:37:46 +02:00
|
|
|
uint16_t startAtIndex = 0);
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief This helper method calculates the true array position in store
|
|
|
|
* of a given packet id.
|
|
|
|
* @details The method does not perform any range checks, these are done in
|
|
|
|
* advance.
|
|
|
|
* @param packet_id The packet id to look up.
|
|
|
|
* @return Returns the position of the data in store.
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
size_type getRawPosition(store_address_t storeId);
|
2016-06-15 23:48:41 +02:00
|
|
|
/**
|
|
|
|
* @brief This is a helper method to find an empty element in a given pool.
|
|
|
|
* @details The method searches size_list for the first empty element, so
|
|
|
|
* duration grows with the fill level of the pool.
|
|
|
|
* @param pool_index The pool in which the search is performed.
|
|
|
|
* @param[out] element The first found element in the pool.
|
|
|
|
* @return - #RETURN_OK on success,
|
|
|
|
* - #DATA_STORAGE_FULL if the store is full
|
|
|
|
*/
|
2020-10-15 13:43:23 +02:00
|
|
|
ReturnValue_t findEmpty(n_pool_elem_t poolIndex, uint16_t* element);
|
2016-06-15 23:48:41 +02:00
|
|
|
|
2020-10-15 13:43:23 +02:00
|
|
|
InternalErrorReporterIF *internalErrorReporter = nullptr;
|
|
|
|
};
|
2016-06-15 23:48:41 +02:00
|
|
|
|
2020-09-29 14:42:48 +02:00
|
|
|
#endif /* FSFW_STORAGEMANAGER_LOCALPOOL_H_ */
|