接上文 MIT XV6 - 1.1 Lab: Xv6 and Unix utilities - user/_sleep 是什么？做什么？

pingpong

不務正業了那么久(然而并沒有，雖然還在探索sleep，但是教材我已經看完了前三章了)，讓我們趕緊繼續下去

在進行本實驗之前請務必閱讀完教材 Chapter 1，尤其是1.3對于PIPE的介紹，實驗具體要求如下:

Write a user-level program that uses xv6 system calls to ‘‘ping-pong’’ a byte between two processes over a pair of pipes, one for each direction. The parent should send a byte to the child; the child should print “pid: received ping”, where pid is its process ID, write the byte on the pipe to the parent, and exit; the parent should read the byte from the child, print “pid: received pong”, and exit. Your solution should be in the file user/pingpong.c.

Some hints:

• Add the program to UPROGS in Makefile.
• Use pipe to create a pipe.
• Use fork to create a child.
• Use read to read from a pipe, and write to write to a pipe.
• Use getpid to find the process ID of the calling process.
• User programs on xv6 have a limited set of library functions available to them. You can see the list in user/user.h; the source (other than for system calls) is in user/ulib.c, user/printf.c, and user/umalloc.c.

Run the program from the xv6 shell and it should produce the following output:

make qemu
...
init: start sh
$ pingpong
4: received ping
3: received pong
$

整體還是比較簡單的，主要你得理解fork和pipe的用法，以及一些要點，比如fork的返回值如果是子進程，那么會返回0；read會一直等到有足夠的輸入或者文件描述符被關閉啊。這些都在課本中有描述。

以下是實驗源碼（這注釋，不用想，一定是AI寫的…) GitHub已經同步

/** pingpong.c - A simple program demonstrating inter-process communication using pipes* * This program creates a parent-child process pair that communicate through a pipe.* The parent sends a "ping" message to the child, and the child responds with a "pong".* * Communication Flow:* 1. Parent creates a pipe* 2. Parent forks a child process* 3. Both processes have access to the pipe's read and write ends* 4. Parent writes "p" to pipe and waits for response* 5. Child reads "p" from pipe, prints "received ping", and writes "p" back* 6. Parent reads "p" from pipe and prints "received pong"* * Timing Diagram:* * Parent Process          Child Process*     |                       |*     |--pipe creation------>|*     |                       |*     |--fork()------------->|*     |                       |*     |--write("p")--------->|*     |                       |*     |<--read("p")----------|*     |                       |*     |<--write("p")---------|*     |                       |*     |--read("p")---------->|*     |                       |*     |--wait()------------->|*     |                       |*     |<--exit()-------------|*     |                       |*/#include "kernel/types.h"  // Include kernel type definitions
#include "user/user.h"     // Include user-level system call definitionsint main(int argc, char *argv[]) {int p[2];                // Array to store pipe file descriptorspipe(p);                 // Create a pipe, p[0] for reading, p[1] for writingchar buf[1];            // Buffer to store single character messagesif (fork() == 0) {      // Child processread(p[0], buf, 1);   // Read "p" from parentprintf("%d: received ping\n", getpid());  // Print child's PID and messagewrite(p[1], "p", 1);  // Send "p" back to parentclose(p[0]);          // Close read endclose(p[1]);          // Close write endexit(0);              // Exit child process} else {                // Parent processwrite(p[1], "p", 1);  // Send "p" to childread(p[0], buf, 1);   // Wait for child's responseprintf("%d: received pong\n", getpid());  // Print parent's PID and messagewait(0);              // Wait for child to exitclose(p[0]);          // Close read endclose(p[1]);          // Close write endexit(0);              // Exit parent process}return 0;
}

實驗結果

make qemu
qemu-system-riscv64 -machine virt -bios none -kernel kernel/kernel -m 128M -smp 3 -nographic -global virtio-mmio.force-legacy=false -drive file=fs.img,if=none,format=raw,id=x0 -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0xv6 kernel is bootinghart 1 starting
hart 2 starting
init: starting sh
$ pingpong
4: received ping
3: received pong
$ QEMU: Terminated

ut結果

./grade-lab-util pingpong
make: `kernel/kernel' is up to date.
== Test pingpong == pingpong: OK (1.1s) 

我覺得得找時間看看他ut都做了什么。