Wird write (2) immer kleiner oder gleich SSIZE_MAX schreiben?

Question

Die Funktionssignatur für write(2) ist ssize_t write(int fd, const void *buf, size_t count). Im Allgemeinen ist der Maximalwert von size_t größer als der von ssize_t. Bedeutet dies, dass die Datenmenge, die write tatsächlich schreiben kann, tatsächlich SSIZE_MAX statt SIZE_MAX ist? Wenn das nicht der Fall ist, was passiert, wenn die Anzahl der geschriebenen Bytes größer als SSIZE_MAX in Bezug auf Überläufe ist?

Ich wundere mich im Wesentlichen, ob diese Datenmenge von write durch SSIZE_MAX oder SIZE_MAX begrenzt geschrieben wird.

Answer 1

Der Typ ssize_t wird von POSIX als signierter Typ definiert, der ohne weitere Garantien mindestens 32767 (_POSIX_SSIZE_MAX) speichern kann. Daher kann der Maximalwert kleiner als der Maximalwert size_t sein.

ssize_t ‚s POSIX Definition:

ssize_t 

Verwendet für eine Anzahl von Bytes oder einer Fehleranzeige.

So ist es möglich, dass die Anzahl der Bytes, die Sie geschrieben haben, größer sein kann als was ssize_t halten kann. In diesem Fall überlässt POSIX es der Implementierung.

Von write() ‚s POSIX-Spezifikation:

ssize_t write(int fildes, const void *buf, size_t nbyte); 

Wenn der Wert von nbyte größer als {SSIZE_MAX}, das Ergebnis ist die Implementierung definiert.

Answer 2

Ja, die Datenmenge, die in einen einzelnen Schreibaufruf geschrieben werden kann, ist auf das beschränkt, was in einem ssize_t gespeichert werden kann. Zur Verdeutlichung siehe the relevant glibc documentation page. Um diese Seite zu zitieren, "Ihr Programm sollte immer Aufruf schreiben in einer Schleife, Iterieren, bis alle Daten geschrieben werden." (Hervorhebung hinzugefügt) Diese Seite stellt auch klar, dass ssize_t verwendet wird, um die Größe von Blöcken darzustellen, die in einer einzigen Operation gelesen oder geschrieben werden können.

Answer 3

Die POSIX-Spezifikation für write() sagt:

Wenn der Wert von nbyte größer als {SSIZE_MAX}, das Ergebnis Implementierung definiert ist.

Also jeder Versuch, mehr als SSIZE_MAX Bytes zu schreiben, um Verhalten führt, die nicht von POSIX vorgeschrieben ist, aber das muss vom System dokumentiert werden (es ist die Implementierung definiert, nicht undefiniert, Verhalten). Verschiedene Systeme können jedoch anders damit umgehen, und es gibt nichts zu stoppen ein System einen Fehler melden (vielleicht auf EINVAL gesetzt) ​​und eine andere schreiben SSIZE_MAX Bytes und Berichterstattung, so dass es an die Anwendung erneut auf den Rest versuchen, und andere Systeme könnten erfinderisch sein und die Dinge noch anders machen.

Wenn Sie ein 64-Bit-System haben, ist SSIZE_MAX wahrscheinlich größer als die Menge an Speicherplatz im größten einzelnen Datenzentrum der Welt (möglicherweise um eine Größenordnung oder mehr, sogar unter Berücksichtigung der NSA und Google), so dass Sie wahrscheinlich keine echten Probleme damit haben werden, aber auf 32-Bit-Systemen könnten Sie leicht mehr als 2 GiB Speicherplatz haben und wenn ssize_t 32-Bit ist, müssen Sie mit allen umgehen Dies. (Unter Mac OS X 10.10.3 hat ein 32-Bit-Build mindestens standardmäßig 4 Byte size_t und ssize_t.)