数据的强弱一致性介绍与总结
说到一致性,其实在系统的很多地方都存在数据一致性的相关问题。除了在并发编程中保证共享变量数据的一致性之外,还有数据库的 ACID 中的 C(Consistency 一致性)、分布式系统的 CAP 理论中的 C(Consistency 一致性)。下面我们主要讨论的就是“并发编程中共享变量的一致性”。
深入JVM即时编译器JIT,优化Java编译
说到编译,我猜你一定会想到 .java 文件被编译成 .class 文件的过程,这个编译我们一般称为前端编译。Java 的编译和运行过程非常复杂,除了前端编译,还有运行时编译。由于机器无法直接运行 Java 生成的字节码,所以在运行时,JIT 或解释器会将字节码转换成机器码,这个过程就叫运行时编译。
电商系统的分布式事务调优
本文从案例开始,我们团队曾经遇到过一个非常严重的线上事故,在一次 DBA 完成单台数据库线上补丁后,系统偶尔会出现异常报警,我们的开发工程师很快就定位到了数据库异常问题。
具体情况是这样的,当玩家购买道具之后,扣除通宝时出现了异常。这种异常在正常情况下发生之后,应该是整个购买操作都需要撤销,然而这次异常的严重性就是在于玩家购买道具成功后,没有扣除通宝。
究其原因是由于购买的道具更新的是游戏数据库,而通宝是在用户账户中心数据库,在一次购买道具时,存在同时操作两个数据库的情况,属于一种分布式事务。而我们的工程师在完成玩家获得道具和扣除余额的操作时,没有做到事务的一致性,即在扣除通宝失败时,应该回滚已经购买的游戏道具。
从这个案例中,我想你应该意识到了分布式事务的重要性。
JVM性能监测及调优实战
我想你肯定遇到过内存溢出,或是内存使用率过高的问题。碰到内存持续上升的情况,其实我们很难从业务日志中查看到具体的问题,那么面对多个进程以及大量业务线程,我们该如何精准地找到背后的原因呢?
分布式事务简介和解决思路
从本地事务介绍开始,介绍分布式事务、理论及解决方案。使读者了解分布式事务产生的原因,了解几种分布式事务解决方案:XA、TCC、消息事务、TA、SAGA,了解分布式事务各种解决方案的优缺点和使用场景,以及学会使用Seata来解决分布式事务
基于BS架构的设计方案
从瓶颈分析、设计思路、系统结构、性能测算、性能测试等方面从0到1讲解BS架构设计方案
应用系统缓存设计思路与方案
本文主要讨论这么几个问题:
(1)“缓存与数据库”需求缘起
(2)“淘汰缓存”还是“更新缓存”
(3)缓存和数据库的操作时序
(4)缓存和数据库架构简析
JVM中编译Class、内存回收、多线程原理和使用
JVM负责装载class文件并执行,因此,首先是JDK如何将Java代码编译为class文件、如何装载class文件及如何执行class,将源码编译为class文件的实现取决于各个JVM实现或各种源码编译器。class文件通常由类加载器(ClassLoader)来完成加载;class的执行在Sun JDK中有解释执行和编译为机器码执行两种方式,其中编译为机器码又分为client和server两种模式。Sun JDK为了提升class的执行效率,对于解释执行和编译为机器码执行都设置了很多的优化策略。
Java程序无须显式分配和回收内存,因此JVM如何进行内存的分配和回收也是要关注的问题。
JVM提供了多线程支持,对于分布式Java应用而言,通常要借助线程来实现高并发,JVM中线程资源如何同步的机制及线程之间交互的机制。
提高ChatGPT可靠性的技术
本文介绍了一些提高大型语言模型的一些技巧以提升可靠性
深度学习的形式化方法和软件工程 深度学习系统开发的安全性、安全性和生产力
深度学习 (DL) 技术现在很普遍,并被集成到许多重要系统中。 它们的分类和识别能力确保了它们与多个应用领域的相关性。 作为依赖于训练而不是算法编程的机器学习,它们提供了高度的生产力。 但它们可能容易受到攻击,并且验证它们的正确性才刚刚成为一种科学和工程可能性。 本文是对先前发布的调查的重大更新,试图涵盖该领域的所有最新出版物。 它还涵盖了最近的趋势,即用于生成和训练神经网络的特定领域语言的设计。
SOFL形式化规范中流程输入输出自动可视化的设计与实现
虽然正式规范被认为是获取准确需求和设计的有效方式,但规范的验证仍然是一个挑战。 已提出规范动画来应对这一挑战,但缺乏动画中输入/输出数据的有效表示会大大限制客户对动画的理解。 在本文中,我们提出了一种工具支持的技术,用于在 SOFL 形式规范中可视化过程的输入/输出数据。 在讨论了我们工作的动机之后,我们描述了如何将 SOFL 语言中可用的各种数据类型的数据可视化,以促进输入/输出数据的表示和理解。 我们还提供了该技术的支持工具和案例研究,以证明我们提出的技术的可用性和有效性。 最后,我们总结了论文并指出了未来的研究方向。
软件工程众包系统文献综述
众包通过公开呼叫格式将任务外包给大量人员,最近对软件从业者起着重要作用。本研究的目的是对软件工程 (CSE) 中的众包进行全面概述,涉及商业模式、工具、 平台、软件开发过程和软件经济学。
将软件工程实践映射到 Essence Full 的形式化方法
Essence Framework (EF) 旨在解决软件工程 (SE) 及其实践的核心问题。 作为一个相对较新的框架,EF 的一个重要问题是将软件实践映射到其概念域。 虽然有几部作品描述了系统的程序,但文献回顾并不能表明使用正式方法进行研究。 该研究是根据设计科学研究 (DSR) 方法的指导方针进行的。 研究贡献被归类为“将新解决方案(形式化方法)应用于新问题(将软件实践映射到 EF)”。 形式化方法采用基于概念代数的算法,并应用于 Scrum 案例研究。 结果很有希望,它们不同于当前 EF 相关文献中存在的结果。
软件工程中的形式化方法研究综述
软件工程中形式化方法是以数学理论为基础建立的一种用来解决软件工程领域问题系统性分析方法。
管理系统后台前端各种组件模板
可直接使用的管理后台前端模板,响应式界面,组件丰富,美观大方,上手简单,可以用于快速搭建管理后台系统,或者官网
基于SOFL规范的语义分析
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景, 使其举步维艰。 于是作为形式化方法与面向对象的联姻的 SOFL(StructuredObject-OrientedFormalLanguage)便应运而生。在给出语义分析的整体算法后, 逐步分析各个阶段遇到的
关键问题并给出解决方法, 同时在参考其他语言的基础上, 定义了 SOFL中一些语义规则。
基于Websocket的在线聊天源码
本人不擅长前端,jsp页面可能不适合所有分辨率,但是核心功能都在后台代码上,希望大家可以弄懂源码,写出性能更强的聊天功能!