热门标签【tla】- 幻海软件

2013年图灵奖得主 Leslie Lamport 专访：程序员需要更多的数学知识
LeslieLamport可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和「拜占庭将军问题」等等。LeslieLamport彻底改变了现代计算机之间的对话方式。2013年，他被授

推荐阅读

架构方法论：如何自底向上推导应用逻辑？

  点击阅读上篇：从方法到思维：什么是应用逻辑架构的正确姿势?五架构的基本约束架构约束分成了基本约束和业务约束：逻辑架构基本约束：是软件工程领域常见的各种软件设计原则。逻辑架构的职责约束：是模块，子模块，模型的职责相关约束，尤其是核心的模型和核心主模块是在一定时间内是比较稳定的，

面试突击：线程安全问题的解决方案有哪些？

线程安全是指某个方法或某段代码，在多线程中能够正确的执行，不会出现数据不一致或数据污染的情况，我们把这样的程序称之为线程安全的，反之则为非线程安全的。在Java中，解决线程安全问题有以下3种手段：使用线程安全类，比如AtomicInteger。加锁排队执行使用synchronized加锁。使用Ree

前端性能优化实战

Youcan'tmanagewhatyoucan'tmeasure.——PeterDrucker。度量引语中提到了彼得·德鲁克的一句话，“一件事如果你无法衡量它、你就无法管理它”，性能同样如此。如果没有一个准确的方案来对性能进行度量，那优化就无从谈起。那么对于我们来说，哪些指标是可以用来对页面性能、

手摸手教你定制 Spring Security 表单登录

在本专栏前篇文章中介绍了HttpBasic模式，该模式比较简单，只是进行了通过携带Http的Header进行简单的登录验证，而且没有可以定制的登录页面，所以使用场景比较窄。对于一个完整的应用系统，与登录验证相关的页面都是高度定制化的，非常美观而且提供多种登录方式。这就需要SpringSecurity

各大厂商纷纷入局！折叠屏手机为何来势汹汹？

从OPPOFindN到华为P50Pocket再到荣耀MagicV，短短一个月之内就有三台折叠屏手机面世，除此之外，vivo等一些大厂的折叠屏手机也正在路上。从一开始只有三星华为等大厂投入量产，到现在小米、OPPO跟荣耀纷纷入局，为何大家都开始在折叠屏手机发力了呢?也许大多数用户并不看好折叠屏手机的前

C/C++的八进制表示

C/C++规定，一个数如果要指明它采用八进制，必须在它前面加上一个0，如：123是十进制，但0123则表示采用八进制。这就是八进制数在C、C++中的表达方法。文章知识点与官方知识档案匹配，可进一步学习相关知识C技能树首页概览134665人正在系统学习中

深圳幻海软件技术有限公司