- 博客(9)
- 收藏
- 关注
RSS订阅原创 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
239
原创 【并发缺陷】data race数据竞争、atomicity violation原子违背、order violation顺序违背
三类均是跟共享变量的内存访问有关的缺陷。对于并发缺陷的分类目前国内许多是分死锁、数据竞争、原子违背、顺序违背。或者在并发缺陷中又细分 concurrency vulnerability ：死锁和数据竞争。感觉各个作者有自己的分类方法????以下引用的中文解释来自<并发缺陷暴露、检测与规避研究综述>哈工大的苏小红老师实验室发表在2015年计算机学报上目前找到外文文献分为7类。其他四类...
2019-10-25 15:52:32
1388
原创 【Java 并发】线程join() 和 yield()
看了一遍thinking in java 没懂，看了中文版Java高并发的书才了解。我跪着来学习了joinThread 的join和sleep一样是一个可中断的方法，如果有其他线程执行了对当前线程的interrupt操作，也会捕获到中断信号，并擦除线程的interrupt标识，Thread的API提供了3种不同的join方法。1. public final void join() throw...
2019-10-24 22:06:54
271
原创 Mutation Testing/Analysis 突变测试
突变(mutation)，即基因突变。在遗传学(genetics)上，指的是器官、病毒或者染色体外的其他遗传成分基因的核酸(nucleotide)序列发生改变。基因突变多发生在DNA复制期间。可能的诱发因素是辐射，外伤，病毒，或者空气污染、危险食物带来的有害化学物质的影响，也可能是无从索迹的任何其它原因。突变测试(mutation testing) , 或称作突变分析、程序突变，它是用于衡量软件...
2019-10-24 09:52:07
3194
2原创 死锁(Deadlock)、活锁(LiveLock)、饥饿(Starvation)、挂起(Suspension)
最近在做并发缺陷的分类，发现不同学者对缺陷分类粒度不同，现对其中几个概念重述，欢迎交流！本文以书面文字为准，附上说明来源。若希望简单易懂的举例，请移步死锁，活锁和饥饿死锁1971年，Coffman总结系统产生死锁必定同时保持如下4个必要条件。互斥条件（mutual exclusion）：临界资源是独占资源，进程应互斥且排他地使用这些资源。占有和等待条件（hold and wait）:...
2019-10-22 16:11:21
3699
原创 Python 从文件读数据，固定行数截取数据，画箱型图
问题描述：实验数据以log形式导出，之前用Java写了一个简单的分析处理，Java IO：读取文件特定行，将结果输出控制台以及以追加形式写到文件中但是为了能够直接画图，决定用Python重写一个。Talk is cheap , show me the codeimport numpy as npimport matplotlib.pyplot as plt#load datalog...
2019-10-21 10:50:12
729
原创 Java IO：读取文件特定行，将结果输出控制台以及以追加形式写到文件中
问题描述：近期写bug的时候需要对实验的数据从XXX.log 输入到程序，进行简单的操作后输出到YYY.log文件。要求输入文件，读取/截取特定行，进行计算，输出到控制台以及文件。import java.io.*;import java.util.ArrayList;import java.util.List;public class logInput {//输入文件 publ...
2019-10-10 16:09:04
472
原创 【Java 笔记】Iterator迭代器、Vector容器与ArrayList
jdk8 documentIterator迭代器迭代器是一种模式，使数据结构的遍历行为与被遍历的对象分离，即无需关心该序列的底层结构是什么样子的。只要拿到这个对象,使用迭代器就可以遍历这个对象的内部。注意：迭代出来的元素都是原来集合元素的拷贝。 Java集合中保存的元素实质是对象的引用，而非对象本身。迭代出的对象也是引用的拷贝，结果还是引用。那么如果集合中保存的元素是可变类型的...
2019-10-08 17:21:29
611
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人