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

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

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

Functions list Output Scope Content Outputting Other Interactions Layout and Style pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other pywebio Start multiple applications with start_server() Integration with web framework Coroutine-based session Libraries support Build stand-alone App Data visualization Cookbook Release notes What’s new 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 to