RDP Wrapper项目对Windows 11 23H2 10.0.22621.4974版本的支持分析
背景介绍
远程桌面协议(RDP)是微软Windows操作系统内置的一项重要功能,允许用户通过网络远程访问和控制计算机。然而,微软对RDP功能的使用设置了限制,特别是在Windows专业版和家庭版中,默认只允许一个并发会话。RDP Wrapper项目通过修改系统文件的方式,绕过了这些限制,使非服务器版本的Windows也能支持多用户同时远程连接。
技术实现原理
RDP Wrapper的工作原理是通过动态链接库(DLL)注入技术,拦截并修改远程桌面服务(termsrv.dll)的关键函数调用。项目提供的配置文件(rdpwrap.ini)包含了针对不同Windows版本的具体修改参数,这些参数指定了需要修改的内存偏移地址和对应的机器码补丁。
Windows 11 23H2 10.0.22621.4974版本的支持情况
根据最新提交的配置文件内容,RDP Wrapper已经添加了对Windows 11 23H2 10.0.22621.4974版本的支持。该配置文件定义了多个关键补丁点:
- LocalOnlyPatch:修改本地连接限制
- SingleUserPatch:解除单用户限制
- DefPolicyPatch:修改默认策略检查
- SLInitHook:拦截服务初始化过程
每个补丁点都精确指定了在termsrv.dll文件中的偏移地址和需要应用的机器码修改。例如,LocalOnlyPatch在偏移A3131处应用了一个短跳转指令(jmpshort),而SingleUserPatch在偏移C893处将相关检查代码替换为直接返回成功的指令(mov_eax_1_nop_2)。
系统参数配置
配置文件还包含了系统级参数的初始化设置,这些参数控制着远程桌面服务的各种功能特性:
- bServerSku:标识是否为服务器版本
- lMaxUserSessions:最大用户会话数
- bAppServerAllowed:是否允许应用程序服务器模式
- bRemoteConnAllowed:是否允许远程连接
- bMultimonAllowed:是否支持多显示器
- ulMaxDebugSessions:最大调试会话数
- bFUSEnabled:快速用户切换是否启用
这些参数的地址偏移也针对10.0.22621.4974版本进行了更新,确保RDP Wrapper能够正确修改系统行为。
使用注意事项
虽然RDP Wrapper提供了强大的功能扩展,但用户在使用时需要注意以下几点:
- 系统更新可能导致补丁失效,需要等待项目更新配置文件
- 修改系统文件可能带来安全风险,建议在可信环境中使用
- 某些企业环境可能检测并阻止此类修改
- 性能和多用户稳定性不如原生服务器版本
结论
RDP Wrapper项目持续跟进Windows更新,为最新版本的Windows 11 23H2提供了多用户远程桌面支持。通过精确的内存补丁和系统参数修改,该项目成功绕过了微软的限制,为非服务器版本的Windows用户提供了类似服务器版的功能体验。用户在使用时应充分了解技术原理和潜在风险,确保系统安全和稳定运行。
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