Microsoft GDK 2024年6月更新深度解析
项目概述
Microsoft Game Development Kit(微软游戏开发工具包,简称GDK)是微软为游戏开发者提供的一套综合性开发工具,支持开发者创建能够在Windows 11/10 PC平台上运行并通过认证的游戏产品。GDK采用双轨制发布策略:每年两次的重大更新(功能导向)和不定期的修复更新(问题导向)。
2024年6月第五次更新亮点
本次更新主要针对Xbox服务的多玩家管理功能进行了重要优化。修复了当调用XblCleanupAsync进行异步清理时,如果存在未完成的多玩家请求,MultiplayerManager相关资源无法被正确释放的问题。这一改进显著提升了多玩家场景下的资源管理可靠性。
媒体子系统关键修复
在媒体处理方面,开发团队解决了多个影响稳定性的核心问题:
-
视频解码内存泄漏:修复了H264/HEVC解码器初始化过程中存在的小规模内存泄漏问题,优化了内存使用效率。
-
视频播放稳定性:
- 修正了在释放解码器或Source Reader时,未完成的栅栏等待可能引发的内存损坏问题
- 解决了HEVC视频播放期间因栅栏等待错误导致的程序无响应问题
- 修复了H264解码器中线程对象释放不彻底导致的内存泄漏
-
源读取器终止问题:优化了媒体基础转换(MFT)样本的释放机制,确保在终止源读取器时正确等待所有挂起的栅栏操作,避免了程序挂起。
网络与多玩家体验增强
网络子系统获得了多项改进:
-
TCP接收优化:修复了临时队列缓冲区分配策略,现在会优先使用标题分区内存而非系统分区内存,显著提升了默认网络配置下的下载性能。
-
PlayFab Party升级:集成了v1.10.5版本,特别修复了在三台及以上设备组网时建立直接对等连接可能导致的崩溃问题。
-
游戏存档优化:将
XGameSave的RPC传输缓冲区最大尺寸固定为500KB,减少了内存碎片化问题。
开发工具链改进
工具链方面的重要更新包括:
-
环境配置:GDK安装程序现在能智能检测已安装的.NET 8运行时,避免重复安装旧版本。
-
Visual Studio集成:修复了从Xbox Gaming Explorer等工具窗口打开GDK文档时可能导致VS2019无响应的问题。
-
商店关联向导:解决了工作账户用户无法登录Microsoft Game配置编辑器中商店关联向导的问题。
输入系统与音频增强
-
输入引用检测:
GameInputAPI新增调试功能,当检测到可能的引用泄漏时会主动中断调试会话,帮助开发者及时发现可能导致输入死锁的问题。 -
游戏语音聊天:修复了Game Chat 2在用户更改控制台语言设置后可能发生的崩溃问题。
性能分析与调试
PIX for Windows工具获得重要修复:解决了在非英语文化环境下调整字体大小后可能导致的崩溃问题,提升了国际化开发体验。
开发者建议
对于使用XSAPI扩展库的开发者需要注意:现在新增了对libHttpClient.dll的依赖,该文件必须包含在游戏发布包中。使用Visual Studio的开发者可自动获得支持,而自定义引擎开发者需参考相关集成指南进行配置。
结语
2024年6月GDK系列更新体现了微软对游戏开发体验的持续优化,从底层媒体处理到高层网络服务,从开发工具到运行时环境,全方位提升了稳定性、性能和开发效率。建议开发者及时更新到最新版本,以获得最佳开发体验和运行时性能。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C081
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00