
术语解释
文章平均质量分 90
SUKI547
从放弃到入门
展开
-
【并发理论】事件、执行轨迹、可行性公理、最大因果模型
文章目录事件执行轨迹内容来自— 背景 —任意线程都能通过执行一组原子操作来访问并发对象;若对某些并发对象进行访问的原子操作序列能由并发程序的执行产生,则表明这些原子操作序列满足了规定的顺序要求。这些顺序要求被称为并发对象的序列化规范(serial specification) 序列化规范是顺序要求,是并发程序对并发对象访问产生的原子操作序列顺序。并发对象多为两种:共享内存地址:对共享...原创 2020-02-19 23:07:03 · 545 阅读 · 0 评论 -
线程状态对应汇总(BASH ps命令、Linux内核 、Java jdk线程状态)
ps 命令ps -lUID/PID/PPID:代表『此进程被该 UID 所拥有/进程的 PID 号/此进程的父进程 PID 』F:代表这个进程旗标 (process flags),说明这个进程的权限,常见有:若4 表示此进程的权限 root ;若1 則表示此子进程仅能fork。S:代表这个进程的状态 (STAT),主要的状态有:R (Running):该进程正在运行;S (Sl...原创 2019-12-05 20:37:06 · 549 阅读 · 0 评论 -
并发与并行的区别
来自《操作系统教程》(第五版)第一章 操作系统概论并发并发性(concurrency) 是指两个或两个以上的活动或事件在同一时间间隔内发生。并行并行性(parallelism) 是指两个或两个以上的活动或事件在同一时刻发生。区别在单CPU系统中,多个程序并发执行是宏观上的概念,微观上,它们是顺序执行的。在多CPU系统中,并发性不仅体现在宏观上,而且体现在微观上,这称为并行...原创 2019-11-06 16:57:17 · 357 阅读 · 0 评论 -
Happens-before、Sequentially consistent
Happens-before粗暴的来说,data race发生在冲突访问没有happens-before 的地方When a program contains two conflicting accesses (§17.4.1) that are not ordered by a happens-before relationship, it is said to contain a dat...原创 2019-10-30 16:58:54 · 259 阅读 · 0 评论 -
【并发缺陷】data race数据竞争、atomicity violation原子违背、order violation顺序违背
三类均是跟共享变量的内存访问有关的缺陷。对于并发缺陷的分类目前国内许多是分死锁、数据竞争、原子违背、顺序违背。或者在并发缺陷中又细分 concurrency vulnerability :死锁和数据竞争。感觉各个作者有自己的分类方法????以下引用的中文解释来自<并发缺陷暴露、检测与规避研究综述>哈工大的苏小红老师实验室发表在2015年计算机学报上目前找到外文文献分为7类。其他四类...原创 2019-10-25 15:52:32 · 1494 阅读 · 0 评论 -
Mutation Testing/Analysis 突变测试
突变(mutation),即基因突变。在遗传学(genetics)上,指的是器官、病毒或者染色体外的其他遗传成分基因的核酸(nucleotide)序列发生改变。基因突变多发生在DNA复制期间。可能的诱发因素是辐射,外伤,病毒,或者空气污染、危险食物带来的有害化学物质的影响,也可能是无从索迹的任何其它原因。突变测试(mutation testing) , 或称作突变分析、程序突变,它是用于衡量软件...原创 2019-10-24 09:52:07 · 3324 阅读 · 0 评论