Background in compilers and embedded systems... 2Motive? 3Motive: Can it be done in C++? 4Session type 5Session type ? 6"A normal adult programmer never gives a thought about types. That is something C++, we can settle with this explanation: But that is not what “type” in “Session type” means. 28Session type ? 29Session? • Interaction of two or more entities. • It has a beginning and (usually) interactions is happening. 30Session? • Can we describe a valid sequence of interactions? • Interaction diagram Client Server int int ADD DIV int double end Branching 31Session? • Can we describe a

Secrets Management at Scale with Vault & Rancher 24. June Robert de Bock Senior DevOps Engineer Adfinis robert.debock@adfinis.com Kapil Arora Senior Solution Engineer HashiCorp kapil@hashicorp.com Infrastructure Management (Run & Manage) GitOps Continuous Delivery Cluster Templates & Config Enforcement K8s Version Management Node Pool Management Cluster Provisioning & Lifecycle Management Platform Amazon EKS Azure AKS Google GKE Cloud Datacenter Edge Branch Dev Secret Management in Kubernetes 16 17 18 Secret Management Challenges ● Secrets sprawl ● Secrets rotation ● X.509 certificates, SSH

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: Predictable • Result: manage K8S clusters running in remote edge locations. KubeEdge A Kubernetes Native Edge Computing Management Framework. Mission: Let Cloud manages edge nodes and devices EASILY. • Built on K8S, 100% Compatible Intelligent Video Analytics KubeEdge （Cloud Part） KubeEdge (Edge Part) SWR Algorithms Management Job Management DIS Face Recognition System Face Extraction Face Recognition face picture, metadata…

Node Operator: Kubernetes Node Management Made Simple 陈俊(Joe), Ant Financial Agenda • Background and Motivation • Introduction of Operators • Node-Operator • Advanced Topic: • Upgrade Master & Node Components reliably • Canary Rollout • Master & Node Component Versions Management Motivation: Work Order Deployment Worker Order • Upgrade Nodes Versions • Upgrade Node 10.10 Complicated architecture Work order deployment system can not meet the requirements of resource management. Operator Observe Action Analyze • Observe: watch desired resource and actual resource

1October 3, 2023 2 Libraries: A First Step Toward Standard C++ Dependency Management Bret Brown, C++ Infrastructure Lead, Bloomberg Bill Hoffman, CTO, KitwareHello! Welcome! Bret Brown C++ Infrastructure portable as the code they contain! ● ✓ Projects should be “cattle,” not “pets”! 7Why dependency management? 8Consensus: Managing dependencies == way too hard Q: Which of these do you find frustrating names: jsonlogConfig.cmake Jsonlog-config.cmake # ... CMake gives you some dependency management tips here ... 13 Aside: Coloring and bolding added for emphasisMotivation: What would we design

Cookie, Session 与HTTP请求 杨亮 Web基本流程 PC Mobile 服务器 （Apache） (IIS) 后端脚本 （PHP） （JSP） （ASP） 数据库 （MySQL） （Oracle） （Access） HTTP 请求 对应⽂文件 获取数据 返回数据 返回⻚页⾯面 返回⻚页⾯面 请求⻚页⾯面 服务器端 客户端 html css 公交卡 银⾏行卡 如果⼀一家咖啡店，买五杯送⼀一杯 信息存在哪⾥里？ 超⽂文本传输协议 HTTP HyperText Transfer Protocol ⽆无状态 Cookie Session 头部 内容 （html） Cookie 保存在浏览器端的⽤用户数据，⽤用以进⾏行会话控制 浏览器端脚本(JavaScript)设定Cookie 服务器端程序(PHP)通过HTTP请求命令浏览器设定Cookie login.htm Session 保存在服务器端的⽤用户数据，⽤用以进⾏行会话控制 每个会话有⼀一个session id存在Cookie中，⽤用以标⽰示session Session由于是存在服务器端，只能由服务器端脚本(PHP)设置 Session启动 session_start() 是否有 session存在 启动对应的 session 创建新的 session N Y Session注销

Processing and Analytics Vasiliki (Vasia) Kalavri
 vkalavri@bu.edu Spring 2020 2/25: State Management Vasiliki Kalavri | Boston University 2020 Logic State <#Brexit, 520> <#WorldCup, 480> key of the current record so that all records with the same key access the same state State management in Apache Flink 5 Vasiliki Kalavri | Boston University 2020 Operator state Keyed state State state is stored, accessed, and maintained. State backends are responsible for: • local state management • checkpointing state to remote and persistent storage, e.g. a distributed filesystem or a database

Ov Over erview view Casdoor is a UI-first Identity Access Management (IAM) / Single-Sign-On (SSO) platform based on OAuth 2.0, OIDC, SAML, and CAS. Casdoor serves both the web UI and the login requests separate architecture, developed by Golang. It supports high concurrency, provides a web-based UI for management, and supports localization in 10+ languages. 2. Casdoor supports third-party application login and it supports extending third-party login with plugins. 3. Casdoor supports authorization management based on Casbin. It supports ACL, RBAC, ABAC, and RESTful access control models. 4. Casdoor provides

议之上采用额外的技术协同的结果。 2. 掌握常用的会话跟踪技术，了解采用 URL 重写维持会话跟 踪的方法；理解 Cookie 和 Session 的协同机制，掌握使用 Cookie 和 Session 实现会话跟踪的技术。 3. 能够使用 Cookie 和 Session 编写会话跟踪代码。 大纲 会话基本概念 会话跟踪技术 本节习题 大纲 会话基本概念 会话跟踪技术 URL 重写 Cookie 会话基本概念 会话跟踪技术 本节习题 什么是会话 ▶ 在 Web 应用中把客户端浏览器开始请求 Web 服务器，访问 不同 Web 文档进行请求/响应，到结束访问的一系列过程称 为会话，即一次会话（Session）。 ▶ 当用户访问第一个 Java Web 组件时，Java EE Web 服务器 自动为用户创建一个会话对象。 例如，当当网进行图书浏览、购买、完成结算的全过程可能是一 次会话；登录 126 会话跟踪技术 本节习题 Java EE 会话对象 什么是会话对象 ▶ Java EE 规范提出了一种服务器实现会话跟踪的机制，即 HttpSession 接口，实现该接口的对象称为 Session 对象。 ▶ Session 对象保存在 Web 服务器上，每次会话过程创建一 个，为用户保存各自的会话信息提供全面支持。 ▶ 注意不要将过多的数据存放在会话对象内，如只在一个请求 期间内需要传递的数据，就不要存储在会话对象中，而应该