高级驾驶辅助系统(ADAS)是汽车电子创新的关键领域,但是只有在它们像其他安全关键型软件一样经历了同样程度的严苛测试时,其在安全方面的提升和积极影响才能得以实现。ISO 26262定义了汽车功能安全的设计和构建准则,其中包含ADAS系统。按照标准,静态分析在软件开发中起着重要作用。本文讨论了静态分析 ...
分类:
其他好文 时间:
2020-12-11 12:24:44
阅读次数:
5
近些年来,区块链一词频繁出现在人们的眼前。从央行数字货币到 Facebook的libra 项目,各大跨国银行、互联网巨头也在区块链赛道频频发力。区块链正快速走进大众视野以及政策层面,引起了全球范围内的广泛讨论。 简单说,区块链本质是一种开源分布式账本,它是比特币和其他虚拟货币的核心技术,能高效记录买 ...
分类:
其他好文 时间:
2020-12-11 12:09:44
阅读次数:
3
前言微笑挖坑,努力填坑。————已经拥有黑眼圈,但还没学会小猪老师时间管理学的蛮三刀同学。本文是秒杀系统的第四篇,我们来讨论秒杀系统中「缓存热点数据」的问题,进一步延伸到数据库和缓存的双写一致性问题,并且给出了实现代码。前文回顾和文章规划零基础上手秒杀系统(一):防止超卖零基础上手秒杀系统(二):令牌桶限流+再谈超卖零基础上手秒杀系统(三):抢购接口隐藏+单用户限制频率零基础上手秒杀系统(四):缓
分类:
数据库 时间:
2020-12-11 12:05:12
阅读次数:
5
在 CUDA C/C++ kernel中使用内存 如何在主机和设备之间高效地移动数据。本文将讨论如何有效地从内核中访问设备存储器,特别是 全局内存 。 在 CUDA 设备上有几种内存,每种内存的作用域、生存期和缓存行为都不同。到目前为止,已经使用了驻留在设备 DRAM 中的 全局内存 ,用于主机和设 ...
分类:
编程语言 时间:
2020-12-10 11:00:10
阅读次数:
5
我们先从一组 用例说起. 看代码: null > 0 // false null == 0 // false null >= 0 //true 我们今天讨论的主要内容,并不是这个结果可能看起来多么奇怪. 而是为什么会这样. 之所以特别记一篇随笔在这里,主要是因为,我在得到了 Brendan Eich ...
分类:
其他好文 时间:
2020-12-09 11:43:55
阅读次数:
7
Windows Socket 学习编程 最近需要调试socket程序,记录一下socket的demo。由于socket有多种情况,一下分开讨论。 阻塞式单Client模式 这种是最基本的模式,Server只等待一个Client连接,这种可用于两个进程或者线程之间的通信。 Server Code vo ...
原创吴章金Linux阅码场2019-11-26license:"cc-by-nc-nd-4.0""本文从编译、二进制程序文件和运行角度逐级解析了LinuxC语言程序中几种变量类型"背景说明前几天,有同学在“泰晓原创团队”讨论群问道:请教下,谭C,8.9.3,用static声明静态局部变量,在实际中可有案例。看到这个问题,立即浮现的概念是RUNONCE,内核源
分类:
编程语言 时间:
2020-12-02 12:18:24
阅读次数:
7
为什么 Java 中“10001000”为false,而”100100“为true? 这是一个挺有意思的讨论话题。 如果你运行下面的代码: Integer a = 1000, b = 1000; System.out.println(a == b);//1 Integer c = 100, d = ...
分类:
编程语言 时间:
2020-12-01 12:01:09
阅读次数:
5
import numpy as np import matplotlib.pyplot as plt from sklearn import datasets # 获取数据 boston = datasets.load_boston() X = boston.data y = boston.targ ...
分类:
其他好文 时间:
2020-12-01 11:49:58
阅读次数:
2
在上一篇文章《内存数据库解析与主流产品对比(二)》中,我们从数据组织和索引的角度介绍了内存数据库的特点和几款产品的技术实现。本文将继续解析内存数据库,从并发控制、持久化和查询处理的角度介绍几款技术,带来更多维度、更细致的内存数据库技术讨论。
分类:
数据库 时间:
2020-12-01 11:46:52
阅读次数:
7