本单元是基于JML规格来实现对社交关系的模拟和查询,整体架构与设计都是官方给出。在实现过程中,我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发,用JML可以清晰规定每一部分的代码要求,程序员在实现时仅需思考在此基础上如何提升性能,而不用为架构设计发愁,体验极佳。 设计策略 由于 ...
分类:
其他好文 时间:
2021-06-02 15:07:31
阅读次数:
0
1.必须能落地 第二条的一种表现 虽然写在这里比较多余,但是还是需要着重提一下 2.合理 基于现有情况去做最好的设计 重点是基于现状也就是团队的上下文。几个关键点 资源(人) 时间 业务(复杂度与业务发展,比如一个一次性开发的业务还是长期维护的业务,1+1=2的业务还是非常复杂的业务,1个人使用的系 ...
分类:
其他好文 时间:
2021-05-24 13:24:51
阅读次数:
0
公司的项目数据量有限,获取行业线上线下消费数据也困难,没有足够的数据量,如何应用大数据?如何在公司现有情况下接触实际的高并发大数据项目? 就是想实操一下高并发的架构设计或者参与互联网级别项目的开发,但又不想舍弃现在的工作? 中小企业如何想办法破局 大数据本身就特别容易形成技术垄断,让长尾的中小企业无 ...
分类:
其他好文 时间:
2021-05-24 09:54:03
阅读次数:
0
前言 鉴于套装核心应用软件产品的实施复杂性,以及无法很好地满足企业深度定制化与无法快速应对不断变化的业务需求带来的挑战,越来越多的企业希望能够利用低代码技术来实施自主/合作开发其企业级应用。那么企业如何选择合适的低代码技术平台,以及如何利用低代码平台来开发企业级应用呢?以下将分三个方面进行阐述: 企 ...
分类:
其他好文 时间:
2021-04-19 14:45:17
阅读次数:
0
比如说这个消息队列系统,我们来从以下几个角度来考虑一下 (1)首先这个mq得支持可伸缩性吧,就是需要的时候快速扩容,就可以增加吞吐量和容量,那怎么搞?设计个分布式的系统呗,参照一下kafka的设计理念,broker → topic → partition,每个partition放一个机器,就存一部分 ...
分类:
其他好文 时间:
2021-04-13 12:22:01
阅读次数:
0
关于 Apache Pulsar Apache Pulsar 是 Apache 软件基金会顶级项目,是下一代云原生分布式消息流平台,集消息、存储、轻量化函数式计算为一体,采用计算与存储分离架构设计,支持多租户、持久化存储、多机房跨区域数据复制,具有强一致性、高吞吐、低延时及高可扩展性等流数据存储特性 ...
分类:
Web程序 时间:
2021-03-17 14:57:32
阅读次数:
0
1、位运算的优点 位运算有着节省时间和空间的优点。 因为位运算的操作对象是二进制位,对计算机而言是非常简单直接,友好高效的。在简单的低成本处理器上,通常位运算比除法快得多,比乘法快几倍,有时比加法快得多。虽然由于较长的指令流水线和其他架构设计选择,现代处理器通常执行加法和乘法的速度与位运算一样快,但 ...
分类:
编程语言 时间:
2021-03-16 11:47:46
阅读次数:
0
什么是Restful Restful是一种架构设计风格,提供了设计原则和约束条件,而不是架构,而满足这些约束条件和原则的应用程序或设计就是 Restful架构或服务。 主要的设计原则: 资源与URI 统一资源接口(HTTP方法如GET,PUT和POST) 资源的表述 资源的链接 状态的转移 总之,R ...
分类:
其他好文 时间:
2021-03-09 13:35:53
阅读次数:
0
摘抄于《C++ API设计》 4.5 创建架构的过程步骤: 1.分析影响架构的功能性需求 2.识别架构的约束 并 说明 3.创造 系统的主要对象,并确定之间的关系 4.架构交流 与 文档 架构的约束,影响架构的因素: 1.组织因素: 预算、时间、团队大小、专业知识等等 2.环境因素:硬件、平台(wi ...
分类:
编程语言 时间:
2021-03-09 13:09:33
阅读次数:
0
部分主要阐述 Thread 的基础知识,详细介绍线程的 API 使用、线程安全、线程间数据通信,以及如何保护共享资源等内容,它是深入学习多线程内容的基础。 第二部分引入了 ClassLoader,这是因为 ClassLoader 与线程不无关系,我们可以通过 synchronized 关键字,或者 ...
分类:
编程语言 时间:
2021-03-01 13:34:44
阅读次数:
0