多进程 之前使用的例子都是单进程的，现在用多进程来描述多个逻辑同时发生，TLA+中的多进程可以理解为其他高级语言中的多线程。为了方便理解，使用Pluscal语言来描述，TLA+ Toolbox可以将pluscal语言转化为TLA+，基本格式如下： ---- MODULE module_name ---- \* TLA+ code (* --algorithm algorithm_name \* 固…
redis反序列化异常 报错信息： org.springframework.data.redis.serializer.SerializationException: Could not read JSON: Unexpected character ('J' (code 74)): Expected space separating root-level values 由此可知Redis序列化异…
------本文转载自 Android插件化原理解析——Hook机制之动态代理 这一系列的文章实在是写的好! 1, 概述 使用代理机制进行API Hook进而达到方法增强是框架的常用手段，比如J2EE框架Spring通过动态代理优雅地实现了AOP编程， 极大地提升了Web开发效率；同样，插件框架也广泛使用了代理机制来增强系统API从而达到插件化的目的。本文将带你了解基于动态代理的Hook机制。 阅…
【stm32c8t6多个串口使用】 最近做的一个小项目会同时用到多个串口，不同串口连接不同外设根据不同控制指令来执行相应的功能（wifi、语音等）如何同时进行不同串口之间的配置原理和配置单个串口相同，下面就以三个串口中断分别来进行LED的控制，后面根据自己的需求将串口接在不同的外设上面就好了。 stm32c8t6上面可以使用很多串口，通常没有经过重映射的引脚有三组串口 USART1 ------&…
如果你的英语水平不太高，不妨试试ECTranslation这个翻译插件，它可以对代码单词进行翻译。 ECTranslation安装与使用 1、GitHub下载jar包 2、打开Android Studio进入Settings 3、ECTranslation的安装 4、重启、更新 5、ECTranslation的使用 6、ECTranslation快捷键更改 1、GitHub下载jar包 https…
HTML代码 ： <div id="barChart" style="height: 400px;width:600px;background:white;margin:20px 0 0;"></div> JavaScript代码 ： var barChart = { title: { text: '折柱混合图' }, dataZoom: { type:'inside',/…
我们知道，安卓工程都有一个AndroidManifest.xml，里面指定了启动Activity等信息。u3d里我们并没有给出这个文件，可见，一定是它在编译的时候，自动为我们添加了这些文件。 如何知道unity还为我们添加了什么文件，每个文件中有什么内容呢？.apk文件其实就是一个压缩包，在win上用win rar就能打开这个包。下图是apk包的内容。若要知道每个文件的具体内容，就必须解析出apk…
来自 我的Twitter （可以直接访问，无需翻墙）收藏，经绿坝过滤的一颗红心版，哈哈。下面每个条目第一行是消息传递者的账号，要访问他的Twitter页面，请按如下模式： http://dabr.co.uk/user/<账号> 【IT】 hackernewsbot Dijkstra interview (24 mins, 300MB) [mpg video]... http://bit…
文章目录 链表基础操作 1、什么是链表 2、链表的基本操作 2.1、创建单链表 2.1.1、头插法 步骤： 2.1.2、尾插法 步骤： 2.2、查找链表 2.3、删除链表 2.3.1、全部删除 2.3.2、删除一个 2.4、插入元素 2.5、遍历输出 3、链表排序 3.1、冒泡排序 3.2、插入排序 4、完整运行代码： 代码编译器 : VS2019 链表基础操作 1、什么是链表 链表是一种在物理上…
1. 多线程死锁的调试方法： 方法一： kill -11 得到 coredump 然后分析： 在出现死锁时，kill -11 + 进程ID，得到 coredump 然后分析； 方法二： 打印日志 ： 把日志写的详细一些，可以反映出程序运行时的真实情况； 方法三： gdb单步调试： gdb法有个致命的缺陷，就是它打乱了多线程的真实调度顺序。 多线程特定的错误往往是由于缺乏对共享数据的保护而导致的竞争…