Update comments for read synchronisation

tiif · RalfJung · tiif · commit 94dd17166781 · 2024-06-09T18:15:02.000+08:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/shims/unix/linux/eventfd.rs b/src/shims/unix/linux/eventfd.rs
@@ -64,7 +64,7 @@ impl FileDescription for Event {
                 throw_unsup_format!("eventfd: blocking is unsupported");
             }
         } else {
-            // Future `read` calls will synchronize with this write, so update the FD clock.
+            // Synchronize with all prior `write` calls to this FD.
             ecx.acquire_clock(&self.clock);
             // Return the counter in the host endianness using the buffer provided by caller.
             *bytes = match ecx.tcx.sess.target.endian {

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ impl FileDescription for Event {`
`64`	`64`	`throw_unsup_format!("eventfd: blocking is unsupported");`
`65`	`65`	`}`
`66`	`66`	`} else {`
`67`		- // Future `read` calls will synchronize with this write, so update the FD clock.
	`67`	+ // Synchronize with all prior `write` calls to this FD.
`68`	`68`	`ecx.acquire_clock(&self.clock);`
`69`	`69`	`// Return the counter in the host endianness using the buffer provided by caller.`
`70`	`70`	`*bytes = match ecx.tcx.sess.target.endian {`