From 91ccd867f6facf81e43bccf364062f7f436ff8cc Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 4 Jan 2006 21:27:52 +0000 Subject: [PATCH] Clarifying comments. Via "Amit Nagpal" . --- src/devices/disk.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/devices/disk.c b/src/devices/disk.c index 2bae057..14fc631 100644 --- a/src/devices/disk.c +++ b/src/devices/disk.c @@ -183,7 +183,7 @@ disk_print_stats (void) slave, respectively--within the channel numbered CHAN_NO. Pintos uses disks this way: - 0:0 - operating system kernel + 0:0 - boot loader, command line args, and operating system kernel 0:1 - file system 1:0 - scratch 1:1 - swap @@ -213,7 +213,9 @@ disk_size (struct disk *d) } /* Reads sector SEC_NO from disk D into BUFFER, which must have - room for DISK_SECTOR_SIZE bytes. */ + room for DISK_SECTOR_SIZE bytes. + Internally synchronizes accesses to disks, so external + per-disk locking is unneeded. */ void disk_read (struct disk *d, disk_sector_t sec_no, void *buffer) { @@ -236,7 +238,9 @@ disk_read (struct disk *d, disk_sector_t sec_no, void *buffer) /* Write sector SEC_NO to disk D from BUFFER, which must contain DISK_SECTOR_SIZE bytes. Returns after the disk has - acknowledged receiving the data. */ + acknowledged receiving the data. + Internally synchronizes accesses to disks, so external + per-disk locking is unneeded. */ void disk_write (struct disk *d, disk_sector_t sec_no, const void *buffer) { -- 2.30.2