## +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 entities

## 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

## Cookie, Session 与HTTP请求 杨亮  ## Web基本流程 请求页面 对应文件 获取数据 PC Mobile HTTP 请求 html css javascript 服务器 (Apache) [Image](/uploads/documents/3/6/c/e/36ce07e9f002f9754c19fef0732209aa/p5_2.jpg) 无状态 头部 内容 (html) Session  ## Cookie 保存在浏览器端的用户数据，用以进行会话控制 name="password"/> Session 保存在服务器端的用户数据，用以进行会话控制 每个会话有一个session id存在Cookie中，用以标示session Session由于是存在服务器端，只能由服务器端脚本(PHP)设置 ![Image](/uploads/documents/3/6/c

UnknownMessage ## • 回复 o TextReply. o ArticlesReply. o MusicReply. • Session 开启 Session 修改 Handler 以使用 Session - 可用的 Session Storage WeRoBot.Client —— 微信 API 操作类 • 部署 在独立服务器上部署 在SAE上部署 ## 小工具 1. ## Session WeRoBot 0.4.0 中增加了功能强大的 Session 系统，你可以通过 Session 轻松实现用户状态的记录，享受如同 Web 开发般的便捷。 一个简单的使用 Session 的 Demo robot = werobot.WeRoBot(token=werobot.utils.generate_token(), enable_session=True) first(message, session): if 'last' in session: return session['last'] = message.content return message.content robot.run() ## 开启 Session 想要开启 Session，在实例化 WeRoBot 的时候需要传入

GITHUB DOCS ## Session ### app.py ## ☐ ☐ ☐ from flask import Flask, session app = Flask(__name__) app.secret_key = 'secret' @app.route('/') def hello(): session['msg'] = Server: Werkzeug/0.15.5 Python/3.7.4 Set-Cookie: session=eyJtc2ci0iJIaSJ9.XXs2mA.GAZzFxyv_RCuX-zyR6oXPB0PRXI; HttpOnly; Path=/ Vary: Cookie ## session payload eyJtc2ciOiJIaSJ9 XXs2mA timestamp G itsdangerous to dependencies ## WHAT IS itsdangerous e.g. session koajs expressjs Cookie: session=xxx Cookie: session.sig=xxx session.sig = Sign(session, secret) ## self-made ## 4 Json Web Signature ## JWS

empty, an operating system specific source of the seed. - --timeout (or -t): This specifies the session timeout, in seconds, and defaults to 300 (five minutes). A web service client that has logged on the web service. Logon is necessary for the web service to be stateful; internally, it maintains a session for each client that connects to it. ## 1 Introduction The IWebsessionManager::logon() API introduces a session manager (by way of the IWebsessionManager interface), which manages object references. Any client wishing to interact with the web service must first log on to the session manager and

operating system specific source of the seed. ## 1 Introduction - -timeout (or -t): This specifies the session timeout, in seconds, and defaults to 300 (five minutes). A web service client that has logged on the web service. Logon is necessary for the web service to be stateful; internally, it maintains a session for each client that connects to it. The IWebsessionManager::logon() API takes a user name and a introduces a session manager (by way of the IWebsessionManager interface), which manages object references. Any client wishing to interact with the web service must first log on to the session manager and

消息处理 - 使用 Session 记录用户状态 - 创建自定义菜单 - 消息加解密 - 部署 - 在独立服务器上部署 - 在 SAE 上部署 - Handler - 类型过滤 - robot.key_click —— 回应自定义菜单 - robot.filter —— 回应有指定文本的消息 - Session - 开启/关闭 开启/关闭 Session - 修改 Handler 以使用 Session - WeRoBot.Client —— 微信 API 操作类 - 开始开发 - 自定义菜单 - 消息管理 - 用户管理 - 账户管理 - 素材管理 - 返回码都是什么意思？ - 48001 – API Unauthorized - Message - 定制错误页面 - 小工具 - Token 生成器 - 贡献指南 - 贡献代码 - API - 应用对象 - 配置对象 - Session 对象 - log - Changelog - Version 1.2.0 - Version 1.1.1 © 版权所有 2016, whtsky. 由 Sphinx

消息处理 - 使用 Session 记录用户状态 - 创建自定义菜单 - 消息加解密 - 部署 - 在独立服务器上部署 - 在 SAE 上部署 - Handler - 类型过滤 - robot.key_click —— 回应自定义菜单 - robot.filter —— 回应有指定文本的消息 - Session - 开启/关闭 开启/关闭 Session - 修改 Handler 以使用 Session - WeRoBot.Client —— 微信 API 操作类 - 开始开发 - 自定义菜单 - 消息管理 - 用户管理 - 账户管理 - 素材管理 - 用户标签管理 - 模板消息 - 返回码都是什么意思？ - 48001 – API Unauthorized Flask Bottle Tornado 错误页面 定制错误页面 小工具 Token 生成器 贡献指南 贡献代码 API 应用对象 配置对象 Session 对象 log Changelog Version 1.13.1 Version 1.13.0 Version 1.12.0 Version 1.11.0 Version

Trash机制是实现1个(类似chubaofs)，还是2个（类似moosefs）？ 2. Trash 放在哪里? 3. 是否需要做 session 机制（在 metaserver 打开），来维护 inode 的打开情况？ • 方案设计 • Trash机制： • Session机制： • 遗留问题 • 工作量评估 ## 背景 目前curvefs client版本对删除unlink和 写操作，当所有客户端都关闭该文件后，该文件节点才会从reserve被清除。 使用了session机制，记录client端的open状态 通过META文件系统访问reserve 使用CUTOMA_FUSE_RESERVED_INodes消息保持和释放inode 实现了Timer，定期判断是否还有session，如果没有client打开，则进行清理。 ## 优点： 1. 通 ■chubaofs也实现了查询机制，来查询处于freelist当中的inode的情况，以便与运维，这一部分没有细看。 ## 优点： 1. 实现简单，开发代价小，且后续可以增加metaserver端打开(session)等机制，向着moosefs的演进也是可以的。 2. 我们的整个架构设计本身就类似chubao方式，这个方案本身是chubaofs的成熟方案，说明是已经被验证过是可行的方案。 ## 缺点：