WSF操作系统抽象层学习笔记 (一) ---简介和内存管理

最新推荐文章于 2024-09-06 23:30:00 发布
最新推荐文章于 2024-09-06 23:30:00 发布
阅读量1.8k 收藏 14
点赞数 3
分类专栏： BLE学习笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/u011685416/article/details/107188962
版权

一、简介

WSF(wireless software foundation)是对操作系统的一个简单的封装，提供对操作系统的简单编程，提供简单的系统服务

功能简介：

  1. 事件、消息传递和处理。
  2. 定时器功能。
  3. 队列和缓存管理功能。
  4. 可编程的数据类型。
  5. 关键部分和任务锁定。
  6. 调试输出和断言诊断。
  7. 用于加密和随机数生成的安全接口

WSF不定义任何任务，仅定义了一些给任务的接口。依赖于目标OS去实现任务和事件管理，定时器管理等。也可以在裸机环境中充当一个简单的独立操作系统。

 

二、组成介绍

数据类型

wsf_types.h

定义了后续软件系统使用的常用数据类型。

/* 嵌入式常用数据类型 */
typedef signed char int8_t;
typedef unsigned char uint8_t;
typedef signed short int16_t;
typedef unsigned short uint16_t;
typedef signed long int32_t;
typedef unsigned long uint32_t;
typedef unsigned long long uint64_t;

内存管理

WSF的内存管理是一个基于内存池的缓存管理方法。

//内存池缓存描述结构
typedef struct
{
  uint16_t   len;                  //内存池中单个缓存长度
  uint8_t    num;                 //内存池中缓存个数
} wsfBufPoolDesc_t;

//内存池管理结构
typedef struct
{
  wsfBufPoolDesc_t  desc;           //内存池
  wsfBufMem_t       *pStart;        //内存池开始的指针
  wsfBufMem_t       *pFree;        //指向第一个可用的内存位置
#if WSF_BUF_STATS == TRUE		  //用于控制buf状态信息的输出和调试
  uint8_t           numAlloc;       //当前被申请的内存个数
  uint8_t           maxAlloc;       //使用最大个数
  uint16_t          maxReqLen;     //使用的最长的长度
#endif
} wsfBufPool_t;

//一个内存单位的描述结构，同时作为每个内存块的头部结构，属于复用型结构
//这个地方定义为一个指针的大小，目的可能是为了做内存对齐。
typedef struct wsfBufMem_tag
{
  struct wsfBufMem_tag  *pNext;     //指向下一个内存块的位置
#if WSF_BUF_FREE_CHECK == TRUE
  uint32_t              free;       //表示该内存块单元是否被使用
#endif
} wsfBufMem_t;

内存池分配的结构

 

内存的初始化

       内存的初始化是将传递进来的整块内存，按照上图所示，依次在头部填充N个内存池的管理结构，然后将剩下的内存划分为N个内存池，并根据内存池描述结构将每个内存池划分为M块实际内存。

       因此，传递内存的大小应该额外添加N个内存管理结构的大小。否则内存池将厨师胡失败。产生断言。

/*
 *bufMemLen：传入的缓冲区大小。
 *pBufMem：指向缓冲区的指针。
 *numPools：需要创建的内存池个数。
 *pDesc：每个内存池的描述结构。
*/
uint16_t WsfBufInit(uint16_t bufMemLen, uint8_t *pBufMem, uint8_t numPools, wsfBufPoolDesc_t *pDesc)
{
  wsfBufPool_t  *pPool;
  wsfBufMem_t   *pStart;
  uint16_t      len;
  uint8_t       i;

  wsfBufMem = (wsfBufMem_t *) pBufMem;
  pPool = (wsfBufPool_t *) wsfBufMem;

  /* 内存的头部存放内存池管理结构 */
  pStart = (wsfBufMem_t *) (pPool + numPools);

  wsfBufNumPools = numPools;

  /* 循环创建内存池 */
  while (TRUE)
  {
    /* 这里时检测内存是否越限 */
    /* 这个位置最好在函数的入口进行总长度的计算，边创建边计算的方式稍微有点不合适 */
    if (pStart > &wsfBufMem[bufMemLen / sizeof(wsfBufMem_t)])
    {
      WSF_ASSERT(FALSE);
      return 0;
    }

    /* 创建完毕退出循环 */
    if (numPools-- == 0)
    {
      break;
    }

    /* 对内存池进行对齐，这里是以一个指针的大小进行对齐 */
    if (pDesc->len < sizeof(wsfBufMem_t))
    {
      pPool->desc.len = sizeof(wsfBufMem_t);
    }
    else if ((pDesc->len % sizeof(wsfBufMem_t)) != 0)
    {
      pPool->desc.len = pDesc->len + sizeof(wsfBufMem_t) - (pDesc->len % sizeof(wsfBufMem_t));
    }
    else
    {
      pPool->desc.len = pDesc->len;
    }

    pPool->desc.num = pDesc->num;    //记录内存池中内存块的个数。
    pDesc++;

    pPool->pStart = pStart;       //记录内存其实位置
    pPool->pFree = pStart;        //记录下一个可用的位置
#if WSF_BUF_STATS == TRUE
    pPool->numAlloc = 0;
    pPool->maxAlloc = 0;
    pPool->maxReqLen = 0;
#endif

    WSF_TRACE_INFO2("Creating pool len=%u num=%u", pPool->desc.len, pPool->desc.num);
    WSF_TRACE_INFO1("              pStart=0x%x", (uint32_t)pPool->pStart);

    /* 循环创建内存块，设置可用链表 */
    len = pPool->desc.len / sizeof(wsfBufMem_t);
    for (i = pPool->desc.num; i > 1; i--)
    {
      /* 越界检测，若开始做了检查则此处不在需要检查 */
      if (pStart > &wsfBufMem[bufMemLen / sizeof(wsfBufMem_t)])
      {
        WSF_ASSERT(FALSE);
        return 0;
      }

      /* 记录下一个空闲的位置 */
      pStart->pNext = pStart + len;
      pStart += len;
    }

    /* 越界检测，同上 */
    if (pStart > &wsfBufMem[bufMemLen / sizeof(wsfBufMem_t)])
    {
      WSF_ASSERT(FALSE);
      return 0;
    }

    /* 最后一个内存块的下一个指向空 */
    pStart->pNext = NULL;
    pStart += len;

    /* 进行下一个内存池的创建 */
    pPool++;
  }

  wsfBufMemLen = (uint8_t *) pStart - (uint8_t *) wsfBufMem;
  WSF_TRACE_INFO1("Created buffer pools; using %u bytes", wsfBufMemLen);

  return wsfBufMemLen;
}

 

内存申请

       使用轮询的方式依次检查每个内存池支持的长度以及，是否有剩余空间，然后取其中一个将内存起始地址返回，并重新设置free指针。

/*
 *len:申请内存的长度
 */
void *WsfBufAlloc(uint16_t len)
{
  wsfBufPool_t  *pPool;
  wsfBufMem_t   *pBuf;
  uint8_t       i;

  WSF_CS_INIT(cs);

  WSF_ASSERT(len > 0);

  pPool = (wsfBufPool_t *) wsfBufMem;

  /* 轮询每个mempool，找到空闲和合适大小的内存池 */
  for (i = wsfBufNumPools; i > 0; i--, pPool++)
  {
    /* 判断当前内存池块大小是否满足需求 */
    if (len <= pPool->desc.len)
    {
      /* enter critical section */
      WSF_CS_ENTER(cs);

      /* 判断当前内存池是都有空余内存块 */
      if (pPool->pFree != NULL)
      {
        /* pbuf指向可用内存 */
        pBuf = pPool->pFree;

        /* 将FREE指针指向下一个内存块的位置 */
        pPool->pFree = pBuf->pNext;

#if WSF_BUF_FREE_CHECK == TRUE
        pBuf->free = 0;
#endif
#if WSF_BUF_STATS_HIST == TRUE
        /* increment count for buffers of this length */
        if (len < WSF_BUF_STATS_MAX_LEN)
        {
          wsfBufAllocCount[len]++;
        }
          else
        {
          wsfBufAllocCount[0]++;
        }
#endif
#if WSF_BUF_STATS == TRUE
        if (++pPool->numAlloc > pPool->maxAlloc)
        {
          pPool->maxAlloc = pPool->numAlloc;
        }
        pPool->maxReqLen = WSF_MAX(pPool->maxReqLen, len);
#endif
        /* exit critical section */
        WSF_CS_EXIT(cs);

        WSF_TRACE_ALLOC2("WsfBufAlloc len:%u pBuf:%08x", pPool->desc.len, pBuf);

        return pBuf;
      }

      /* exit critical section */
      WSF_CS_EXIT(cs);

#if WSF_BUF_ALLOC_BEST_FIT_FAIL_ASSERT == TRUE
      WSF_ASSERT(FALSE);
#endif
    }
  }

  /* 申请失败，若使能了回调函数，调用回调通知 */
#if WSF_OS_DIAG == TRUE
  if (wsfBufDiagCback != NULL)
  {
    WsfBufDiag_t info;

    info.type = WSF_BUF_ALLOC_FAILED;
    info.param.alloc.taskId = WSF_OS_GET_ACTIVE_HANDLER_ID();
    info.param.alloc.len = len;

    wsfBufDiagCback(&info);
  }
  else
  {
    WSF_TRACE_WARN2("WsfBufAlloc failed len:%u - task:%u", len, WSF_OS_GET_ACTIVE_HANDLER_ID());
  }
#else
  WSF_TRACE_WARN1("WsfBufAlloc failed len:%u", len);
#endif

#if WSF_BUF_ALLOC_FAIL_ASSERT == TRUE
  WSF_ASSERT(FALSE);
#endif

  return NULL;
}

内存释放

        从缓冲区的尾部开始查询，根据每个mempool的起始地址找到被释放内存在内存池中的位置，将内存重新释放到内存池中，并重新定义内存头部信息。

void WsfBufFree(void *pBuf)
{
  wsfBufPool_t  *pPool;
  wsfBufMem_t   *p = pBuf;

  WSF_CS_INIT(cs);

  /* 判断指针范围 */
#if WSF_BUF_FREE_CHECK == TRUE
  WSF_ASSERT(p >= ((wsfBufPool_t *) wsfBufMem)->pStart);
  WSF_ASSERT(p < (wsfBufMem_t *)(((uint8_t *) wsfBufMem) + wsfBufMemLen));
#endif

  /* 从最后一个内存池开始查找 */
  pPool = (wsfBufPool_t *) wsfBufMem + (wsfBufNumPools - 1);
  while (pPool >= (wsfBufPool_t *) wsfBufMem)
  {
    /* 如果在当前内存池的范围内 */
    if (p >= pPool->pStart)
    {
      /* enter critical section */
      WSF_CS_ENTER(cs);

#if WSF_BUF_FREE_CHECK == TRUE
      WSF_ASSERT(p->free != WSF_BUF_FREE_NUM);
      p->free = WSF_BUF_FREE_NUM;
#endif
#if WSF_BUF_STATS == TRUE
      pPool->numAlloc--;
#endif

      /* 重新将内存块放入内存池中，并将free指针指向当前的内存位置 */
      p->pNext = pPool->pFree;
      pPool->pFree = p;

      /* exit critical section */
      WSF_CS_EXIT(cs);

      WSF_TRACE_FREE2("WsfBufFree len:%u pBuf:%08x", pPool->desc.len, pBuf);

      return;
    }

    /* 不在当前内存池，查找下一个 */
    pPool--;
  }

  /* should never get here */
  WSF_ASSERT(FALSE);

  return;
}
懒猪必备啊
关注
专栏目录
hvremote.wsf
12-19
在实际操作中，尤其是在工作组环境中配置Hyper-V服务器的远程管理，往往是一项挑战。本文将详细解析hvremote.wsf脚本的作用和使用方法，帮助你更好地理解和应用这一工具。 hvremote.wsf是一个Windows脚本宿主...
wso2-wsf-cpp-gg:WSO2 WSFC ++，带有其他修复程序
05-21
C ++的WSO2 Web服务框架是可用于C ++世界的最全面的Web服务框架之一，它提供用于实现Web服务和Web服务客户端的简单API。 该存储库包含各种错误修复程序，尽管其中一些已提交，但未在上游集成。 作为原始软件，此...
ARM Cordio WSF（四）——应用示例
UWB技术博客
04-11 526
本文介绍了ARM Cordio WSF相关的应用的使用示例，包括定时器、事件的应用，后续有时间可以介绍WSF在蓝牙协议栈实现中的应用。
WSF操作系统抽象层学习笔记 (五)---事件处理及运行方式
u011685416的专栏
07-07 1081
事件处理 事件管理会创建一个OS的事件，用于进行WSF无运行需求时任务的阻塞。 事件管理结构 typedef struct { uint16_t param; //参数 uint8_t event; //事件值 uint8_t status; //状态值 } wsfMsgHdr_t; 设置事件 void WsfSetEvent(wsfHandlerId_t handl...
AFSim 仿真系统----向导用户指南（Wizard User’s Guide）
最新发布
小道士写程序
09-06 1003
要使用此功能，请将光标放置在您感兴趣的上下文中（这可以是全局的，或在平台块、传感器块等内部），然后使用 Ctrl+Space 键组合。将弹出一个窗口，显示找到该类型引用的所有位置的列表（如果只有一个引用，将立即跳转到该位置）。如果您有使用 Microsoft Notepad、Textpad 或 Notepad++ 等工具的经验，场景文本编辑器应该会让您感到熟悉，并支持标准功能，如复制、剪切、粘贴、撤销和重做。为此，您必须首先使用可通过工具菜单访问的模拟管理器将您的应用程序注册到向导（这是一次性配置）。
WSF操作系统基本概念
小白变大白之路
03-30 1063
该操作系统是为物联网应用而涉及的，主要用于控制和管理无线传感器设备，实现对传感器的数据采集、传输、处理和控制等功能。WSF操作系统是专门为无线传感器和执行器网络应用设计的，它提供了一些特殊的功能，例如支持无线传感器网络协议、低功耗设备管理、网络安全、远程管理等，同时还提供了一些应用层协议和API，方便开发人员快速构建无线传感器网络应用。（5）开放共享：WSF操作系统是开源的，任何人都可以获取源代码、文档、工具等，并且可以自由地使用、修改、分享，促进了WSF操作系统的快速发展和创新。事件、消息传递和处理。
WSF操作系统抽象层学习笔记（三）---消息列队
u011685416的专栏
07-07 502
消息 WSF的消息服务用于传递消息到对应的事件处理句柄。 消息基于列队实现，此处不再进行细节记录。 //消息队列的管理结构。 typedef struct wsfMsg_tag { struct wsfMsg_tag *pNext; //指向下一个消息的指针 wsfHandlerId_t handlerId; //消息对应的处理句柄 } wsfMsg_t; 实现机制和使用方法 基于内存管理，从内存中申请sizeof(w...
WSF操作系统抽象层学习笔记（四）---定时器
u011685416的专栏
07-07 780
定时器 定时器的实现方式：使用OS自带的定时器模块，建立一个定时器，定时间隔为自定义TICKS，定时器的回调函数中设置定时器到时的事件。 定时器模块定义了一个定时器的链表，用于定时器的管理。 操作定时器管理链表的过程需要关闭任务调度。 注意：OS本身定时器存在一定的误差，通过OS来实现的定时器也是有误差的。误差的大小跟WSF自定义的ticks大小有关。 定时器的管理结构 //定时器对象管理结构 typedef struct wsfTimer_tag { struct wsfTim..
使用 Windows 脚本文件 (.wsf)
leyvan的专栏
01-10 7016
使用 Windows 脚本文件 (.wsf)Windows 脚本文件 (*.wsf) 是含有可扩展标记语言 (XML) 代码的文本文档。它综合了几个可增强脚本灵活性的功能。由于 Windows 脚本文件不是特定于引擎的，因此它们可包含与 Windows 脚本兼容的任何脚本引擎中的脚本。它们充当容器。使用 .wsf 文件，可以在创建脚本时使用以下功能：
wso2-wsf-cpp-src-2.1.0.zip_accordingjl6_wso2
09-22
【标题】"wso2-wsf-cpp-src-2.1.0.zip_accordingjl6_wso2" 提供的是WSO2 Web Services Framework C++的源代码包，版本为2.1.0，由用户accordingjl6分享。这个框架是WSO2公司开发的一个用于C++开发者的开源工具，它...
WSF-Demos：为世界科学节制作的教育演示
02-17
《WSF-Demos：Mathematica在世界科学节中的教育应用探索》 WSF-Demos是一个专门为世界科学节设计的教育演示项目，旨在...在WSF-Demos-master这个压缩包中，蕴藏着无尽的科学发现和学习机会，等待着我们去挖掘和探索。
ARM Cordio WSF（二）——API接口
UWB技术博客
04-05 980
本文介绍了WSF中相关API接口：Buffer、队列、消息、定时器、事件处理程序等，为WSF中最为核心的服务。
ARM Cordio WSF（一）——架构简介
UWB技术博客
04-05 1018
本文介绍了一个开源的RTOS抽象层架构WSF（wireless Software Foundation API），示例项目应用中BLE 5.2之中。
AFSim 仿真系统----脚本
小道士写程序
08-14 1990
脚本为用户提供了一种在模拟中基于发生的事件执行复杂指令集的方式。该语言类似于 C# 和 Java，对于具备基本编程技能的人来说应该会很熟悉。它采用块结构，包含熟悉的声明、赋值和控制流语句，允许用户检查和操作模拟环境。脚本本质上是由脚本编译器生成的一系列指令，脚本编译器理解脚本语言的语法并能够将其翻译成相应的指令。一旦编译完成，脚本可以在脚本上下文（执行上下文）中执行，该上下文负责解释脚本的指令并提供脚本与应用程序（即模拟）层之间的接口。
开源GIS之WFS一：WFS介绍
热门推荐
不睡觉的怪叔叔的博客
08-22 2万+
目录   一、WFS的简单介绍 二、WFS请求与响应的格式 三、WFS服务器与客户端 一、WFS的简单介绍     WebGIS服务器除了能返回一张地图图像之外，也可以返回绘制该地图图像所使用的真实地理数据。用户利用这些数据可以创建他们自己的地图与应用、数据格式转换以及底层的地理操作。这类返回地理要素数据的规范称为WFS（Web Feature Service——Web要素服务）。 ...
Swf Trace信息用swf文件来查看！
09-24 151
转自：Danger's blog1,右键点击我的电脑,添加环境变量->用户变量 变量名:HOMEDRIVE值"C:\"(无引号)变量名:HOMEPATH值"DocumentsandSettings\登录用户名"(也无引号) 2,在"C:\DocumentsandSettings\登录用户名"目录下创建一个文件命名为"mm.cfg"内容为:ErrorRep...
AFSim 仿真系统---- 通信、传感器与干扰系统方程
小道士写程序
08-09 1291
本文档旨在描述在WSF中对象之间交互所使用的方程和算法。传感器交互通信交互干扰（干扰）交互。
WSF-MAC：提升水下传感器网络空间公平性的MAC协议
"WSF-MAC：一种用于水下传感器网络的基于权重的空间公平介质访问控制协议" 在水下传感器网络（UWSN）中，由于高传播延迟带来的时空不确定性，实现空间公平是一个极具挑战性的问题。传统的MAC协议可能无法有效地处理...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值