Eclipse Che中TLS边缘终止支持HTTP端点暴露的问题分析
问题背景
在Eclipse Che 7.89版本中,当开发者配置HTTP服务端点并启用TLS安全连接时,遇到了端点无法通过UI正常访问的问题。具体表现为:虽然OpenShift路由被正确创建且能通过控制台直接访问,但通过Che的VSCode界面端点部分访问时却返回404错误。
问题现象
开发者配置的端点示例如下:
- exposure: public
targetPort: 5050
name: web
protocol: http
secure: true
attributes:
discoverable: true
这种情况下:
- 路由URL被正确生成
- 通过OpenShift控制台直接访问路由URL可以正常工作
- 通过Che UI端点部分访问时出现404错误
- 尝试添加urlRewriteSupported属性会导致路由创建失败
技术分析
经过深入调查,发现问题根源在于Che Router的路由服务关联逻辑存在缺陷。具体表现为:
-
服务关联错误:Che Router将所有路由/入口(ingress)都关联到了工作区的通用服务(common service)上,而没有检查特定路由是否应该关联到端点专属服务。
-
discoverable属性的影响:当端点上设置了discoverable属性时,系统会为该端点创建专属服务,这个服务本应关联到对应端点的路由/入口,但当前逻辑没有正确处理这种关联关系。
-
路由类差异:当使用DevWorkspace Operator的"basic"路由类时,问题不会出现,这进一步验证了问题与Che Router特定实现相关。
解决方案
修复方案的核心是修改Che Router的服务关联逻辑:
-
端点服务检查:在处理路由/入口时,首先检查端点是否配置了discoverable属性。
-
正确服务关联:对于配置了discoverable属性的端点,将其路由/入口关联到专属服务而非通用服务。
-
向后兼容:保持对未配置discoverable属性端点的现有处理逻辑不变。
技术实现细节
在Che Router的代码实现中,主要修改点包括:
-
服务选择逻辑:在创建路由时,根据端点属性选择合适的服务进行关联。
-
路由规则生成:确保生成的边缘终止TLS配置与后端服务正确匹配。
-
路径处理:正确处理URL重写规则,避免因路径处理不当导致的404错误。
影响范围
该问题影响所有使用以下配置组合的场景:
- 使用HTTP协议端点
- 启用了TLS安全连接(secure: true)
- 设置了discoverable属性
- 使用Che默认路由类(非basic路由类)
验证方法
开发者可以通过以下步骤验证问题是否修复:
-
创建一个包含HTTP端点的工作区,端点配置secure: true和discoverable: true属性。
-
通过Che UI端点部分访问服务。
-
确认可以正常访问而不再出现404错误。
-
同时验证通过OpenShift控制台直接访问路由URL仍然正常工作。
总结
这个问题揭示了Che Router在处理TLS边缘终止和HTTP端点暴露时的服务关联逻辑缺陷。通过修正服务关联策略,确保了discoverable端点能够正确暴露并通过UI访问。这一修复不仅解决了当前的404错误问题,也为未来类似功能的扩展奠定了更健壮的基础。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C042
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00