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

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:

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注销

议之上采用额外的技术协同的结果。 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 服务器上，每次会话过程创建一 个，为用户保存各自的会话信息提供全面支持。 ▶ 注意不要将过多的数据存放在会话对象内，如只在一个请求 期间内需要传递的数据，就不要存储在会话对象中，而应该

. . . . . . . . . . . 9 4.2 pywebio.input —输入模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 4.3 pywebio.output —输出模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.4 pywebio.session —会话相关 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 4.5 pywebio.platform —应用部署 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 5 Indices and tables 103 6 Discussion and support 105 Python 模块索引 107 索引 109 i ii PyWebIO, 发布 1.4.0 PyWebIO 提供了一系列命令式的交互函数来在浏览器上获取用户输入和进行输出，将浏览器变成了一个“富 文本终端”，可以用于构建简单的

. . . . . . . . . . . 9 4.2 pywebio.input —输入模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 4.3 pywebio.output —输出模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.4 pywebio.session —会话相关 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.5 pywebio.platform —应用部署 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 5 Indices and tables 115 6 Discussion and support 117 Python 模块索引 119 索引 121 i ii PyWebIO, 发布 1.7.1 PyWebIO 提供了一系列命令式的交互函数来在浏览器上获取用户输入和进行输出，将浏览器变成了一个“富 文本终端”，可以用于构建简单的

. . . . . . . . . . . 9 4.2 pywebio.input —输入模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 4.3 pywebio.output —输出模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.4 pywebio.session —会话相关 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.5 pywebio.platform —应用部署 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 5 Indices and tables 113 6 Discussion and support 115 Python 模块索引 117 索引 119 i ii PyWebIO, 发布 1.7.0 PyWebIO 提供了一系列命令式的交互函数来在浏览器上获取用户输入和进行输出，将浏览器变成了一个“富 文本终端”，可以用于构建简单的

. . . . . . . . . . . 9 4.2 pywebio.input —输入模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 4.3 pywebio.output —输出模块 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.4 pywebio.session —会话相关 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 4.5 pywebio.platform —应用部署 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5 Indices and tables 125 6 Discussion and support 127 Python 模块索引 129 索引 131 i ii PyWebIO, 发布 1.8.2 PyWebIO 提供了一系列命令式的交互函数来在浏览器上获取用户输入和进行输出，将浏览器变成了一个“富 文本终端”，可以用于构建简单的