Session Types in C++## +24 ## Session Types in C++: A Programmer's Journey ## MIODRAG MISHA DJUKIC ## About me Faculty of Technical Sciences, University of Novi Sad, Serbia Teaching... a lot... Background in compilers d06048f22f2c26c8dd372dcf93bf/p2_1.jpg) ## Motive? ## Motive: Can it be done in C++? ## Session type ## Session type ? – Albert Einstein "A normal adult programmer never gives a thought about types C++ But that is not what “type” in “Session type” means.  ## ? Session type ## Session? • Interaction of two or more entities0 码力 | 89 页 | 1.55 MB | 1 年前3
华为云 KubeCon China KubeEdge Demo Session## KubeEdge Demo Session Jun Du Huawei Cloud ## Cloud To Edge ## Low Latency • AR/VR: ms level • Industrial Control: us level ## High Availability • Availability: > 99.999% • Response Time: Predictable0 码力 | 10 页 | 836.76 KB | 2 年前3
Kubernetes 管理 Docker 容器title: Kubernetes 管理 Docker 容器 date: 2020-12-18 tags: Kubernetes description: MacOS 平台 Kubernetes 管理 Docker 容器  图片来源于 图片来源于 Install Kubernetes: The Ultimate Guide ## Kubernetes 简介 Kubernetes 是容器集群管理系统,是一个开源的平台,可以实现容器集群的自动化部署、自动扩缩容、维护等功能。 快速部署应用 • 快速扩展应用 无缝对接新的应用功能 • 节省资源,优化硬件资源的使用 ## Minikube 简介 ## MacOS 系统安装依赖 ##0 码力 | 5 页 | 675.91 KB | 2 年前3
Rainbond服务日志管理## RAINBOND服务日志管理 好雨交付工程师-郭逊 ## 大纲 1. Rainbond自身的日志管理机制 2. 对接 Elasticsearch 3. 演示示例 2019-07-31T03:29:22.251Z INFO [monitoring] log/log.go:124 Non-zero metrics in the last 30s {"monitoring": "5":0.1844}}}}}} ### 1. RAINBOND自身日志管理机制 ### 1.1 日志界面  ### 1. RAINBOND自身日志管理机制 ### 1.1 日志界面  # 1.RAINBOND自身日志管理机制 ### 1.1 日志界面 首页 / 我的应用 / 服务日志对接Es示例 / NGINX NGINX 访问 关闭 管理容器 其他操作 最近1000条日志 2019-07-30T15:59:22.251Z INFO [monitoring] log/log0 码力 | 11 页 | 1.62 MB | 2 年前3
OpenShift Container Platform 4.14 机器管理ents/f/f/f/c/fffc92c80a6e0213d4050aefc88ae806/p1_1.jpg) ### OpenShift Container Platform 4.14 机器管理 添加和维护集群机器 Powered by TCPDF (www.tcpdf.org) 添加和维护集群机器 ## 法律通告 Copyright $ ^{©} $ 2024 Red Hat, Inc 本文说明如何管理构成 OpenShift Container Platform 集群的机器。某些任务利用 OpenShift Container Platform 集群的增强型自动机器管理功能,另一些任务则要手动完成。本文所述的任务并非对所有安装类型都适用。 ## 目录 第1章 机器管理概述 ..... 4 1.1. MACHINE API 概述 ..... 4 1.2. 管理计算机器 . .. 5 1.3. 管理 CONTROL PLANE 机器 ..... 6 1.4. 将自动扩展应用到 OPENSHIFT CONTAINER PLATFORM 集群 ..... 6 1.5. 在用户置备的基础架构上添加计算机器 ..... 6 1.6. 在集群中添加 RHEL 计算机器 ..... 6 第2章 使用 MACHINE API 管理计算机器 ..... 80 码力 | 277 页 | 4.37 MB | 2 年前3
副本如何用CLup管理PolarDB中启乘数科技 $ ^{®} $ ## 如何用CLup管理Polardb ## 关于我 PostgreSQL中国社区资深数据库专家,中国架数科技联合创始人撰写,PostgreSQL数据库领域经典著作升级版  Guide To Expert 专业的PostgreSQL数据库管理平台 CLup介绍 ## CLup产品介绍 ## CLup是什么? ✓ 实现PostgreSQL/PolarDB数据库的私有云RDS产品 ✓ PostgreSQL/PolarDB集群统一管理、统一运维。 ✓ PostgreSQL/PolarDB集群可以用功能(即故障自动切换) ✓ 实现对PostgreSQL/PolarDB的监控管理 ✓ 对PostgreS 对PostgreSQL/PolarDB的TopSQL的管理 ## • 架构说明 ✓ 有一台机器上部署的CLup管理节点,这个管理节点提供WEB管理界面统一管理所有的PostgreSQL/PolarDB数据库。 ✓ 每台数据库主机上部署clup-agent。CLup管理节点通过clup-agent来管理这台机器上的PostgreSQL/PolarDB数据库。 ## 数据中心1 CLup管理节点1 clup-server0 码力 | 34 页 | 3.59 MB | 1 年前3
08 Cookie, Session与HTTP请求 杨亮 《PHP语⾔程序设计》## Cookie, Session 与HTTP请求 杨亮  ## Web基本流程 请求页面 对应文件 获取数据 PC Mobile HTTP 请求 html css javascript 服务器 (Apache) javascript 后端脚本 (PHP) (JSP) (ASP) 数据库 (MySQL) (Oracle) (Access) 接受请求 获取数据 处理数据 拼接页面 组织数据 管理数据 ## 信息存在哪里? 公交卡  [Image](/uploads/documents/3/6/c/e/36ce07e9f002f9754c19fef0732209aa/p5_2.jpg) 无状态 头部 内容 (html) Session  ## Cookie 保存在浏览器端的用户数据,用以进行会话控制0 码力 | 12 页 | 1.30 MB | 2 年前3
VMware Data Recovery 管理员指南# VMware Data Recovery 管理员指南 ZH CN-000193-00 vmware $ ^{®} $ 您可以在 VMware 的网站上找到最新的技术文档,网址为 http://www.vmware.com/cn/support/ VMware 网站还提供了最新的产品更新。 如果您对本文档有任何意见和建议,请将您的反馈提交到: docfeedback@vmware 21 ## 关于本文档 《VMware Data Recovery 管理员指南》包含为中小型企业建立备份解决方案的信息。 ## 目标读者 本文档适用于需要使用 VMware Data Recovery 提供备份解决方案的用户。本书的目标读者为熟悉虚拟机技术和数据中心操作且具有丰富经验的 Windows 或 Linux 系统管理员。 ## 文档反馈 VMware 欢迎您提出宝贵建议,以便改进我们的文档。如有意见,请将反馈发送到 咨询服务可提供多种服务,协助您评估、计划、构建和管理虚拟环境。要了解有关教育课程、认证计划和咨询服务的信息,请访问 http://www.vmware.com/services。 # 了解 VMware Data Recovery VMware $ ^{\circledR} $ Data Recovery 可创建虚拟机备份,同时不会中断虚拟机的使用或虚拟机提供的数据和服务。Data Recovery 管理现有备份,并在这0 码力 | 22 页 | 663.62 KB | 2 年前3
NetBackup™ for SQLite 管理指南: Windows 和Linux# NetBackup $ ^{TM} $ for SQLite 管理指南 Windows 和 Linux 版本 10.0 # NetBackup $ ^{TM} $ for SQLite 管理指南 上次更新时间:2022-05-10 ## 法律声明 Copyright $ \copyright $ 2022 Veritas Technologies LLC. $ \copyright 支持的信息,请访问我们的网站: https://www.veritas.com/support 您可以在下列 URL 上管理 Veritas 帐户信息: https://my.veritas.com 如果您对现有支持协议有疑问,请通过以下方式联系您所在地区的支持协议管理部门: 全球(日本除外) CustomerCare@veritas.com 日本 CustomerCare Japan@veritas Readiness Tools (SORT) Veritas Services and Operations Readiness Tools (SORT) 是一个网站,提供的信息和工具有助于自动处理及简化某些耗时的管理任务。根据具体产品,SORT 会帮助您准备安装和升级、识别您数据中心的风险并提高操作效率。要了解 SORT 为您的产品提供了哪些服务和工具,请参见数据表: https://sort.veritas0 码力 | 34 页 | 777.04 KB | 2 年前3
亿图项目管理用户手册亿图项目管理 用户手册  ## 目录 亿图项目管理.....0 第一章 亿图项目管理简介.....3 第二章 亿图项目管理的配置和帮助.....4 系统要求.....4 安装... 4 反激活.....5 检查更新.....5 第三章 界面和功能区.....6 界面概览.....6 第四章 开始使用亿图项目管理软件.....9 开始一个项目.....9 甘特图选项.....10 设置项目名称.....13 第五章 对任务的基本操作.....13 里程碑.....16 设置任务基线.....17 关键路径/延迟任务.....18 第六章 资源.....23 打开资源管理窗口.....23 添加和编辑资源.....24 将资源分配到任务.....27 第七章 视图.....29 资源使用情况.....29 关键路径0 码力 | 44 页 | 7.49 MB | 2 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
Session TypesC++Binary Session TypesProtocolInteractionKubeEdgeKubernetes边缘计算低延迟高可用性MinikubeDocker容器DeploymentServiceRainbond日志管理ElasticsearchNODE服务rbd-eventlog组件Machine APICluster AutoscalerMachineSetControl Plane Machine SetMachine Health CheckCLupPolarDBPostgreSQL数据库管理CookieSessionHTTP请求PHPCookie设置VMware Data Recovery备份vSphere Client虚拟机删除重复存储NetBackup for SQLite还原快照介质服务器甘特图任务资源项目工作时间













