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 | 1 年前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
Greenplum资源管理器## Greenplum资源管理器 姚珂男/Pivotal kyao@pivotal.io ## Agenda • Greenplum数据库 • Resource Queue • Resource Group ## Greenplum数据库 • 基于PostgreSQL • 分布式 • OLAP • MPP(Massively Parallel Processing) ## Greenplum数据库 table corruption => PANIC ## Resource Queue ## • Cost is tricky – 没有明确的定义 – 不同优化器不一致 – 优化器不能被纳入资源管理器 ## Resource Queue ## • Priority is rough – 不能精确控制CPU - CHECK FOR INTERRUPTS – BackoffBackendTick shares按比例配置 – 空闲group配额会被抢占 - 精确控制 ## Resource Group ## • Memory – Not using CGroups – 重构resource queue内存管理 - 严格资源隔离 – statement_mem控制spill – 每个group内做redzone和runaway detection ## Resource Group ## • What's0 码力 | 21 页 | 756.29 KB | 2 年前3
Greenplum Database 管理员指南 6.2.1# Greenplum Database 管理员指南 版本 V6.2.1 2020年09月27日 欢迎关注 Greenplum 官方微信公众号和加入官方社区技术讨论群:  












