weixin_45838115的博客

原创 关于pid=fork()指令返回的pid值的记录

在调用pid = fork()时子程序的pid返回为零而父程序返回的pid值为生成子程序在系统中的真实pid值而非父程序本身在系统中的真实pid值

原创 一元函数的不定积分之第二类换元法

原创 元祖关系演算ALPHA——如何使用量词与蕴含？

https://www.jianshu.com/p/6955b62f39e3

原创 一些可用的变形公式

三角函数

原创 2021-04-19

比例的性质若A/B = C/D ,则A/B = C/D = (A+C)/(B+D) ;

原创 常数和基本初等函数的导数

原创 第二章导数与微分

对于一元函数而言可导必定连续，而连续却不一定可导。

原创 操作系统第二章进程同步问题相关学习记录

Hansen和Hoare的进程管理方式管程条件变量的实现用管程解决生产者消费者问题读写者问题信号量定义读写者优先策略读者写者问题管程实现之读者读者写者问题管程实现之写者

原创 高数第一章 -＞等价无穷小

原创 条件概率之贝叶斯公式

注意A与B的颠倒

原创 第一章函数与极限

周期函数不一定存在最小正周期，如常数函数。比较两个函数是否相同首先看函数体是否相同再看定义域。奇函数和偶函数相乘其结果为奇函数，这一点也可以用来证明。

原创 信号量机制实现生产者-消费者问题

class BoundedBuffer{ mutex = new Semaphore(1) ; fullBuffers = new Semaphore(0); emptyBuffers = new Semaphore(n);}//以下为生产者代码片段BoundedBuffer::Deposit(c){ emptyBuffers->P(); mutex->P(); Add c to the buffer ; mutex->V()