本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
一、项目 1、明确你的项目到底是做什么的，有哪些功能 2、明确你的项目的整体架构，在面试的时候能够清楚地画给面试官看并且清楚地指出从哪里调用到哪里、使用什么方式调用 3、明确你的模块在整个项目中所处的位置及作用 4、明确你的模块用到了哪些技术，更好一些的可以再了解一下整个项目用到了哪些技术 在你无法 ...
分类：
编程语言 时间：
2021-05-24 05:49:28
阅读次数：
0
内容来自官方文档，基于此图我们可以了解airbyte 的整体运行&&方便问题解决&&环境部署 参考图 简单说明 ui 进行配置，以及通过界面查看同步&&日志 config store 关于认证&&同步次信息存储 scheduler 存储关于调度执行情况 config api 方便ui 进行连接配置 ...
分类：
其他好文 时间：
2021-02-20 12:15:36
阅读次数：
0
目录 目录LSMTree基本特性LevelDB基于LSMTree整体架构MemTable和Immutable MemTableSSTable和压实（compaction）SSTable的读Manifest文件current 文件参考文献toc LSMTree基本特性 LSM Tree（Log-Str ...
分类：
数据库 时间：
2021-02-17 14:19:17
阅读次数：
0
这个 Kafka 的专题，我会从系统整体架构，设计到代码落地。和大家一起杠源码，学技巧，涨知识。希望大家持续关注一起见证成长！ 我相信：技术的道路，十年如一日！十年磨一剑！ 往期文章 Kafka 探险 - 架构简介 Kafka 探险 - 源码环境搭建 前言 我们说 Kafka 是一个消息队列，其实更 ...
分类：
其他好文 时间：
2021-01-20 12:07:05
阅读次数：
0
画了张图，包含了netty的大部分组件，一些说明在图中标出便于理解 在我的理解看来可以将netty大体分为左右两部分 左半部分可以理解为线程池系列 用来执行具体任务，右半部分可以理解为核心组件系列 包括selector,channel,pipeline及handel,后面会逐个介绍 根据Netty官 ...
分类：
Web程序 时间：
2020-12-31 12:00:12
阅读次数：
0
一、Scrapy的简介 Scrapy 是基于twisted框架开发而来，twisted是一个流行的事件驱动的python网络框架。因此Scrapy使用了一种非阻塞（又名异步）的代码来实现并发。整体架构大致如下 它主要由五大组件和两中间件组成： 五大组件： 1、引擎（ENGINE)：用来处理整个系统的 ...
分类：
其他好文 时间：
2020-12-29 11:11:00
阅读次数：
0
前言最近准备将公司的一个核心业务系统用Java进行重构，大半年没写Java，JDK都更新到14了，考虑到稳定性等问题最终还是选择的JDK11。在整体架构选型时，由于是一个全新的系统，所以没有历史包袱，同时团队中也有多位大牛坐镇，因此我们的选项便大胆起来。最终结果就是直接一把梭，直接上未来的大趋势：ServiceMesh，直接把什么SpringCloud、Dubbo这类分布式框架全部干掉。本次的重点
分类：
其他好文 时间：
2020-12-16 12:50:42
阅读次数：
2
核心容器（Core Containe） 核心容器提供了Spring框架的基本功能，是其它模块建立的基础，有 spring-core、spring-beans、spring-context、spring-context-support和spring-expression（Expression Lang ...
分类：
编程语言 时间：
2020-12-03 11:34:23
阅读次数：
5
该系列文档是本人在学习 Mybatis 的源码过程中总结下来的，可能对读者不太友好，请结合我的源码注释（Mybatis源码分析 GitHub 地址、Mybatis-Spring 源码分析 GitHub 地址、Spring-Boot-Starter 源码分析 GitHub 地址）进行阅读 MyBati ...
分类：
其他好文 时间：
2020-11-25 12:55:43
阅读次数：
5
