日期：2016年1月15日

shmmax和shmall

Linux kernel中针对shared memory有两个重要的配置项：shmmax和shmall：

shmmax定义了一次分配shared memory的最大长度，单位是byte：

# cat /proc/sys/kernel/shmmax
18446744073692774399

shmall定义了一共能分配shared memory的最大长度，单位是page：

最大“shared memory” = shmall（cat /proc/sys/kernel/shmall） * pagesize（getconf PAGE_SIZE）

以shmmax为例，介绍一下修改值的方法：

（1）现在系统shmmax的值：

# sysctl -a | grep shmmax
kernel.shmmax = 18446744073692774399

（2）修改shmmax的值：

# echo "536870912" > /proc/sys/kernel/shmmax
# sysctl -a | grep shmmax
kernel.shmmax = 536870912

可以看到值发生了变化。但是重启系统以后，shmmax又变回之前的值。如果要让值永久生效，可以使用下列方法：

# echo "kernel.shmmax = 536870912" >>  /etc/sysctl.conf
# sysctl -a | grep shmmax
kernel.shmmax = 18446744073692774399
# sysctl -p
kernel.shmmax = 536870912
# sysctl -a | grep shmmax
kernel.shmmax = 536870912

另外，关于如何设置shmall和shmmax的值，也可以参考这个脚本。

参考资料：
The Mysterious World of Shmmax and Shmall；
Configuring SHMMAX and SHMALL for Oracle in Linux；
What is shmmax, shmall, shmmni? Shared Memory Max。

 

Haskell笔记 （12）—— 定义新的数据类型（data type）

使用data关键字来定义一种新的数据类型（data type）：

data StudentInfo = Student Int String
                    deriving (Show)

StudentInfo是type constructor，也是这种新type的名字，所以首字母必须大写。

Student是value constructor（有时也称之为data constructor）的名字，它的首字母也必须大写（可以把它看做是首字母大写的函数），作用是用来创建StudentInfo这种type的值。在Student后面的Int和String是StudentInfo这种type的component（有时也称作field或parameter），其作用类似于其它编程语言中结构体成员。

type constructor只用在type declaration和type signature中，而value constructor只用在实际的代码中。因此二者的使用是相互独立的，可以让type constructor和value constructor拥有相同的名字，实际编码中基本也是这样做的：

data Student = Student Int String
                        deriving (Show)

也可以使用type关键字为已有的类型定义一个同义词（type synonym）：

type SI = StudentInfo

type synonym也可以为一个冗长的类型取一个短名字，举例如下：

type SI = (Int, String)