0. 总览
- Dekker:历史上第一个仅靠读/写实现两线程互斥;特色是“撤销意向(withdraw intent)”避免活锁。
- Peterson:对 Dekker 的精炼版;仍是两线程,结构更简,证明更清晰。
- Lamport Bakery:面向 N 线程 的“取号排队”算法,提供 FCFS(先来先服务) 公平性。
当今社会中,我们经常低估了语言的力量,也很少将日常对话与“暴力”联系在一起。然而,如果我们稍加留意,就会发现有些言语确实如隐形的刀刃,能深深伤人。指责、嘲讽、否定、说教,甚至随意的评价和结论,这些语言暴力往往带来比身体伤害更持久的精神创痛。人与人因此变得冷漠、隔膜,彼此筑起厚厚的城墙。在这种对话的错位中,我们渴望的其实是一种温柔而有效的沟通方式——既能忠实表达自己,又不伤害对方,还能真正听见彼此内心的声音。这正是马歇尔·卢森堡所创立的**非暴力沟通(NVC)**所追求的目标。
《非暴力沟通》一书带给读者的不只是沟通技巧,更是一种沟通理念:在人际互动中怀着共情的心,诚实而清晰地道出自身感受,同时努力去理解他人深层的需要,让信息的传递不扭曲、不失真。这本书反复强调,非暴力沟通的本质在于——在共情的前提下,清晰表达自己并理解他人的真实需求,让信息传递无损耗、无扭曲。换言之,当沟通建立在同理心之上,我们既尊重自己内心的真实体验,也尊重对方内心的真实需要,彼此才能走出指责和防御的怪圈,回归到心与心的联结。
这是一篇面向实操的可转债套利综述,结构化给出“指标—条款—策略—风控—清单”,并用**闻泰转债(110081)**做完整示例。
转股价值(CV):CV = 正股价 ÷ 转股价 × 100
转股溢价率(Prem):Prem = (转债价 ÷ CV) − 1(越低越“贴权”,越高越贵)
条款“三条线”:
130% × 转股价(触发后会进入强赎倒计时)85% × 转股价(触发≠必下修,需董事会/股东大会流程)70% × 转股价(最后两计息年度常见,满足“15/30”可回售)一文搞定两件事:用 TRACE32 生成 C 语言函数调用树,以及找出“某个全局变量被哪些函数读/写”。
在车规项目(AUTOSAR Classic / S32G 多核)中,日常调试常见两类诉求:
ROS 2(Robot Operating System 2)是为机器人系统设计的全新框架,其通信架构以 DDS(Data Distribution Service)标准为基础。与 ROS 1 不同,ROS 2 摒弃了集中式的 ROS Master,转而采用数据分发服务(DDS)提供的分布式发布-订阅模型,实现节点之间高效的去中心化通信。这一变革带来了更高的实时性、可靠性和可扩展性。简言之,ROS 2 可以总结为“以 DDS 为底座的机器人通信中间件”。DDS 内建的自动发现机制、省去了 ROS 1 中手工配置主节点的烦恼,使任意两个 ROS 2 程序节点能够在网络中自动发现彼此并交换数据。同时,DDS 丰富的 QoS(Quality of Service,服务质量)策略为 ROS 2 提供了对通信行为的精细控制,使其既能像 TCP 一样可靠传输,也能像 UDP 一样尽力而为,在无线网络等复杂环境中保持稳定。
聚焦 AUTOSAR Classic 平台,涵盖通信堆栈、诊断、网络管理与工具链。