ch2-04: 完善内存模型部分内容

SUMMARY.md

@@ -13,7 +13,7 @@
    * [2.1. 你好, CGO!](ch2-cgo/ch2-01-hello-cgo.md)
    * [2.2. 基础类型转换](ch2-cgo/ch2-02-cgo-types.md)
    * [2.3. CGO编程基础](ch2-cgo/ch2-03-basic.md)
-   * [2.4. CGO内存模型(TODO)](ch2-cgo/ch2-04-memory.md)
+   * [2.4. CGO内存模型(Doing)](ch2-cgo/ch2-04-memory.md)
    * [2.5. C++类包装(TODO)](ch2-cgo/ch2-05-class.md)
    * [2.6. 命令行工具和构建参数(TODO)](ch2-cgo/ch2-06-build.md)
    * [2.7. 静态库和动态库(TODO)](ch2-cgo/ch2-07-dll.md)

ch2-cgo/ch2-04-memory.md

@@ -1,3 +1,50 @@
-# 2.4. CGO内存模型(TODO)
+# 2.4. CGO内存模型(Doing)
+
+CGO是架接Go语言和C语言的桥梁，它不仅仅在二进制接口层面实现互通，同时要考虑两种语言的内存模型的差异。如果在CGO处理的跨语言函数调用时涉及指针的传递，则可能会出现Go语言和C语言共享某一段内存的场景。我们知道C语言的内存在分配之后就是稳定的，但是Go语言因为函数栈的动态伸缩可能导致栈中内存地址的移动。如果C语言持有的是移动之前的Go指针，那么以旧指针访问Go对象时会导致程序崩溃。这是Go和C内存模型的最大差异。
+
+## Go访问C内存
+
+在Go语言访问C语言内存是最简单的情形，我们在之前的例子中已经见过多次。因此C语言空间的内存是稳定的，只要不是被人为提前释放，那么在Go语言空间可以放心大胆地使用。
+
+因为Go语言实现的现在，我们无法在Go语言中创建大于2GB内存的切片（具体请参考makeslice实现代码）。不过借助cgo技术，我们可以在C语言环境创建大于2GB的内存，然后转为Go语言的切片使用：
+
+```go
+package main
+
+/*
+#include <stdlib.h>
+
+void* makeslice(size_t memsize) {
+	return malloc(memsize);
+}
+*/
+import "C"
+import "unsafe"
+
+func makeByteSlize(n int) []byte {
+	p := C.makeslice(C.size_t(n))
+	return ((*[1 << 31]byte)(p))[0:n:n]
+}
+
+func freeByteSlice(p []byte) {
+	C.free(unsafe.Pointer(&p[0]))
+}
+
+func main() {
+	s := makeByteSlize(1<<32+1)
+	s[len[s]-1] = 1234
+	print(s[len[s]-1])
+	freeByteSlice(p)
+}
+```
+
+例子中我们通过makeByteSlize来创建大于4G内存大小的切片，从而绕过了Go语言实现的限制（需要代码验证）。而freeByteSlice辅助函数用于释放从C语言函数创建的切片。
+
+因为C语言内存空间是稳定的，基于C语言内存构造的切片也是绝对稳定的，不会因为Go语言栈的变化而被移动。
+
+
+## C临时访问传入的Go内存
+
+## C长期持有Go指针对象
 
 TODO