JVM 内存模型## JVM 内存模型 0 码力 | 1 页 | 48.42 KB | 2 年前3
基于静态分析的Rust内存安全缺陷检测研究基于静态分析的Rust内存安全缺陷检测研究 报告人:徐辉 复旦大学 报告日期:2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 ■ 内存安全 ■ 4_5.jpg) AWS, Huawei, Google, Microsoft, Mozilla... ## Rust如何保障内存安全? ☐ 内存安全问题产生的主要原因之一是指针别名导致悬空指针 ■ 手动释放内存或调用析构函数 函数返回时发生的自动析构或内存释放 ☐ Rust设计的目标之一是编译时检查指针别名(共享可变引用) 但一般意义上的指针分析是NP-hard问题 智能指针可行,但作为运行时方案,效率低 保留只读权 ## 如果需要违背XOR Mutability怎么办? ☐ 以双向链表为例,中间节点被前后两个节点访用 ☐ Rust为了提升可用性所做的妥协 智能指针(性能损失) ☑ 允许使用裸指针(unsafe模式) next prev next prev next prev • 逃逸编译器的借用检查 => 指针别名 struct List{ val: u64,0 码力 | 28 页 | 1.55 MB | 2 年前3
2.1.1 Golang主动式内存缓存的优化探索之路Golang主动式内存缓存的优化探索之路 安晏伯 学而思网校 技术专家  问题引入 01 难点攻克 02 主动式内存缓存框架 03 总结 04 ## 第一部分 ## 问题引入 ## 为什么能有极致的性能? 主动式内存缓存 如何优化? - 支持灵活的信息过滤条件  ## 内存不够用怎么办? 存储扩展,冷热数据交换  同样的性能,需要更少的硬件资源,降低成本 02 核心数据在本地,依赖少,更稳定 ## “ 通过本次分享,可以带来哪些收获? • 千万级内存对象,GC严重耗时,如何解决? - 复杂的查询场景,内存数据如何高效组织? • 主动式内存缓存,如何保证数据实时性? - 数据太多,内存不够用,如何进行存储扩展? ## 第二部分 难点攻克 ## “ ## 数据一致性如何保证? ## 一 致性 同步、更新 !0 码力 | 48 页 | 6.06 MB | 2 年前3
Java 应用与开发 - Java 内存模型与分配机制Java 内存模型与分配机制 王晓东 wangxiaodongQouc.edu.cn 中国海洋大学 September 30, 2018 Java 内 学习目标 1. 理解 JVM 内存模型,掌握 JVM 内存构成 2. 理解 Java 程序的运行过程,学会通过调 HH 变化 3. 了解 Java 内存管理,认识垃圾回收 4. 建立编程时高效利用内存、避免内存溢上 D 的理 的理 试模式观察内存的 大网 Java 内存模型 Java 程序内存运行分析 Java 内存管理建议 大纲 Java 内存模型 Java 程序内存运行分析 Java 内存管理建议 大网 Java 内存模型 Java 程序内存运行分析 Java 内存管理建议 接下来… Java 内存模型 大网 Java 内存模型 Java 内存管理建议 Java 虚拟机 (Java Virtual Machine, JVM )0 码力 | 44 页 | 818.30 KB | 2 年前3
为JVM提供基于 REDIS的高性能驻内存数据网格(IMDG)为JVM提供基于 REDIS的高性能驻内存数据网格(IMDG) ULTRA-FAST REDIS BASED IN-MEMORY DATA GRID FOR JAVA ’ alt=‘OCR图片’/> Redis客户端 ’ alt=‘OCR图片’/> Redis缓存 业务逻辑代码与数据源关联紧密 业务逻辑可能会有多个数据源 缓存属于附加产物 ’ alt=‘OCR图片’/>0 码力 | 19 页 | 1004.16 KB | 1 月前3
What's Eating my RAM?0 码力 | 88 页 | 3.49 MB | 1 年前3
使用 TEX 写文档王晓东 大纲 What's TEX 历史 扩展 系统 Why TeX 优点 比较 HowTo IATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 # 使用 TEX 写文档 王晓东 wxd2870@163.com 中国海洋大学 September 4, 2012  $ ,极少崩溃,无论内存多少, 文件大小,都能正常处理; 高度的灵活性 自定义新命令和宏包等扩展系统,排版俄文、德文、中文等多种语言,排版数学公式、方程式、棋谱、乐谱、程序、算法、日历、试卷、化学分子式、各种图形等; KevinWGOUC Prefer to IATEX"; 超常的稳定性 几乎没有任何错误,内核很少改动 $ \left(\1.28 \Rightarrow \327.68\right) $ ,极少崩溃,无论内存多少, 文件大小,都能正常处理; 高度的灵活性 自定义新命令和宏包等扩展系统,排版俄文、德文、中文等多种语言,排版数学公式、方程式、棋谱、乐谱、程序、算法、日历、试卷、化学分子式、各种图形等; KevinWGOUC0 码力 | 65 页 | 1.07 MB | 2 年前3
Dataease使用指南## Dataease使用指南 文章最后有3分钟的简易上手视频教学链接 ## 4G 4:45 Get in touch! Name Email address Message ## 01 概括 PART 01 ## 数据源 在dataease中,数据源就是指数据的来源,用来获取原始数据。这里我们主要使用的是 1. mysql数据库 2. api指令作为数据源。 Mysql直接对接我们的云 jpg) ### 2. 使用仪表盘 1. 新建仪表盘,完成了数据集的构建,就需要将图表绘制出了。  2.作为简单的演示,选择自定义一个新模板作为仪表盘。(也可以使用已有的模板,仪表盘相当于ppt的模板使用方式) 3. 空仪表盘相当于空的ppt页面,我们需要 520194371541336 ### 2. 使用仪表盘 5.选择图表类型,这里选择折线图。 2022-07-30 11:00:00 预览前100条记录 0 码力 | 18 页 | 1.50 MB | 1 年前3
使用 Graphviz 绘画 UML 图# 使用 Graphviz 绘画 UML 图 Milo Yip 2019/10/28 ## 目录 1 简介 1.1 使用 Graphviz dot 2 类图 2.1 继承 2.2 关联 2.3 聚合 2.4 组成 2.5 依赖 2.6 类成员 2.7 包 2.8 排布技巧 2.9 颜色 3 状态图 4 参考 18 ## Chapter 1 phviz生成类图的。不过,我们在软件设计中,经常以类图表示系统中某个部分,并且按需展示某些重点,而不是简单地全部列出,所以还是需要手工去描述我们想要画什么,表示我们的软件设计。 ### 1.1 使用 Graphviz dot 首先,下载 Graphviz 安装包。macOS 用户可以 brew install graphviz。 建立一个测试源文件 hello.dot(DOT 语言为 Graphviz [Image](/uploads/documents/e/b/1/0/eb10f88b8494a3afdee43d5cc50767f5/p10_1.jpg) ### 2.5 依赖 依赖(dependency)关系说明一个类会使用到另一个类,例如表示以一个类作为成员方法的参数或返回值。UML 中采用线形箭头和虚线表示。以下的例子表示工厂创建产品,常见于各种工厂模式,工厂不拥有产品。 digraph { node [shape=box0 码力 | 20 页 | 331.51 KB | 2 年前3
SQLite概述、安装和使用 ## SQLite概述、安装和使用 北京理工大学计算机学院金旭亮 ## SQLite概述 ·一种单用户单文件的关系数据库 · 占用资源少,适合于嵌入式产品 - 无需安装,可以直接嵌入到应用程序中,Java应用只需引用一个jar包即可 org/download.html 访问官网,可以直接下载相关平台的SQLite开发工具 下载这个压缩包,可以在 Windows上创建和管理Sqlite数据库,适合于学习 ## Windows环境下使用SQLite  sqlite-tools-win 2017-08-24 16:21:36 Enter ".help" for usage hints. sqlite> 在SQLite数据库中,每个数据库保存在一个独立的文件中,使用“sqlite3”后加文件名的方式打开数据库文件,如果指定文件不存在,sqlite3在合适的时候(比如创建一个表时)自动创建一个新文件。 ## 创建表 create table test (id integer0 码力 | 17 页 | 717.73 KB | 2 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100













