一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 ...
分类：
其他好文 时间：
2020-05-23 00:39:52
阅读次数：
55
1 概述 1.1 MHA 简介 是由 实现的一款高可用程序，出现故障时，MHA 以最小的停机时间(通常10 30秒)执行 master 的故障转移以及 slave 的升级。MHA 可防止复制一致性问题，并且易于安装，不需要改变现有部署。 MHA 由 和`MHA node MHA manager My ...
分类：
数据库 时间：
2020-05-22 16:58:33
阅读次数：
63
分布式一致性分布式场景下，多个服务同时对服务一个流程，比如电商下单场景，需要支付服务进行支付、库存服务扣减库存、订单服务进行订单生成、物流服务更新物流信息等。如果某一个服务执行失败，或者网络不通引起的请求丢失，那么整个系统可能出现数据不一致的原因。上述场景就是分布式一致性问题，追根到底，分布式一致性的根本原因在于数据的分布式操作，引起的本地事务无法保障数据的原子性引起。分布式一致性问题的解决思路有
分类：
其他好文 时间：
2020-05-21 09:40:01
阅读次数：
54
redis 数据库主从不一致问题解决方案 在聊数据库与缓存一致性问题之前，先聊聊数据库主库与从库的一致性问题。 问：常见的数据库集群架构如何？ 答：一主多从，主从同步，读写分离。 如上图： （1）一个主库提供写服务 （2）多个从库提供读服务，可以增加从库提升读性能 （3）主从之间同步数据 画外音：任 ...
分类：
数据库 时间：
2020-05-19 22:29:34
阅读次数：
102
为什么每个面试官都和数据一致性过不去？因为他们都被一致性问题所坑过！ 最近学习了总结了一些微服务下数据一致性的特点，涵盖了目前的保障微服务下数据一致性的几种实现方式如下，以备后查。 1\. 传统应用的事务管理 1.1 本地事务 再介绍微服务下的数据一致性之前，先简单地介绍一下事务的背景。传统单机应用 ...
分类：
其他好文 时间：
2020-05-18 18:33:56
阅读次数：
70
数据库四大特性和事务隔离级别 数据库中经常被问到四大特性和隔离级别，一般都是涉及到概念性问题，在此做一些整理总结，方便理解。 1、事务的隔离级别 由低到高依次为Read uncommitted(未授权读取、读未提交)、Read committed（授权读取、读提交）、Repeatable read（ ...
分类：
数据库 时间：
2020-05-18 16:16:05
阅读次数：
66
java最新面试题及答案2020 面试题汇总之 并发锁 并发，锁 1.volatile关键字， Lock 并发编程中：原子性问题，可见性问题，有序性问题。 volatile关键字能保证可见性，字能禁止指令重排序，但是不能保证原子性。可见性只能保证每次读取的是最新的值，但是volatile没办法保证对 ...
分类：
编程语言 时间：
2020-05-17 21:58:38
阅读次数：
153
用Ubuntu两年多了,习惯了Ubuntu的操作感觉比WIN用起来还爽,就一点不爽,生态应用很少,好多WIN上好用的软件在Ubuntu找不到的,希望以后的软件可以做到一次编译全平台通用. 即使用上Wine有的软件应用也存在兼容性问题.比如QQ,Photoshop,微信,旺旺. 所以,在Ubuntu使 ...
分类：
Web程序 时间：
2020-05-17 01:31:02
阅读次数：
113
说一下 atomic 的原理？ 答： JDK Atomic开头的类，是通过 CAS 原理解决并发情况下原子性问题。 CAS 包含 3 个参数，CAS(V, E, N)。V 表示需要更新的变量，E 表示变量当前期望值，N 表示更新为的值。只有当变量 V 的值等于 E 时，变量 V 的值才会被更新为 N ...
分类：
其他好文 时间：
2020-05-16 22:21:30
阅读次数：
143
编写高质量可维护的代码既是程序员的基本修养，也是能决定项目成败的关键因素，本文试图总结出问题项目普遍存在的共性问题，并给出相应的解决方案。 程序员的宿命？ 程序员的职业生涯中难免遇到烂项目，有些项目是你加入时已经烂了，有些是自己从头开始亲手做成了烂项目，有些是从里到外的烂，有些是表面光鲜等你深入进去 ...
分类：
其他好文 时间：
2020-05-16 15:12:25
阅读次数：
75
