#并发编程

      更多分类

分布式事务有自己的架构语言吗?TLA +简介

19-04-15 1213 1 banq

TLA +是一种正式的规范语言。它是设计系统和算法的工具,然后以编程方式验证这些系统没有严重错误。它是相当于蓝图的软件。通常用于设计分布式事务系统,亚马逊等公司普遍使用该语言规范设计他们的分布式事务... 详细

生产中的Vertx - Teemo Tech Blog

19-02-20 1494 banq

Vert.x 是一个非常高性能的库,用于实现低延迟服务。它的 多反应堆模式 使得在几毫秒内每秒处理许多请求成为可能。 使用 . 详细

如何避免死锁和活锁? - simar

19-04-03 1348 banq

死锁只能在并发(多线程)程序中发生,其中同步(使用锁)线程访问一个或多个共享资源(变量和对象)或指令集(临界区)。 活锁时当我们试图避免死锁时会使用异步锁定时发生的,其中多个线程对同一组锁的竞争写操... 详细

使用LMAX/Disruptor构建高扩展性的交易引擎的经验分享

19-02-06 799 1 banq

Koinex的贸易引擎使用LMAX架构的许多原则设计。这使我们能够在高峰时段承受大量负荷。 在快速增长的财务系统中,清洁和可扩展架构的重要性对于更好的可扩展性和更快的执行非常重要。LMAX架构帮助我... 详细

使用TLA +进行分布式系统的建模与调试设计

18-12-26 629 banq

这篇文章讲述了为什么要对系统进行建模,并使用TLA +框架详尽地测试这些模型/设计。在第一部分中,我将讨论为什么建模您的设计是重要和有益的,在第二部分我将解释为什么TLA +是一个非常合适的建模框架... 详细

Java多线程傻瓜入门介绍

19-03-12 235 banq

现代计算机能够同时执行多个操作。在硬件改进和更智能的操作系统的支持下,多个操作的功能使您的程序在执行速度和响应速度方面运行得更快。 编写利用这种功能的软件既迷人又棘手:它要求您了解计算机引擎盖下发生... 详细

在Java中本地进行线程间数据传输的三种方式和源码展示

19-02-20 258 banq

在线程之间进行通信或发信号时首先想到的是java.lang.Object类方法:wait,notify和notifyAll。这是最基本和最广泛认可的概念,但本博客并非讲这些。 JVM实例上运行的线程... 详细

代码审查清单:Java并发 - Roman Leventov

19-02-03 221 banq

在 Apache Druid 社区,我们目前正在准备一份详细的清单,以便在代码审查期间使用。我决定将清单的一部分作为媒体上的帖子发布,以收集更多关于清单项目的想法。希望有人会发现它在实践中很有用。 ... 详细

共有 112 上一页 1 2 3 4 5 6 7 ... 14 下一页