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

- Content Outputting - Other Interactions - Layout and Style - pywebio.session — More control to session - pywebio.platform — Deploy applications - Directory Deploy - Application multiple applications with start_server(). - Integration with web framework - Coroutine-based session - Libraries support - Build stand-alone App - Data visualization - Cookbook - Release continuously provide services. When the user accesses the service address, PyWebIO will open a new session and run PyWebIO application in it. start server(). is the most common way to start a web server

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