Mercurial > hg > rlgwebd
view tty.css @ 165:59e62710cbb5
rlgwebd.js: prevent races when reading ttyrecs.
DglSession objects read a 12-byte TTYREC header, extract therefrom the
length of the data chunk, and then read the data. In between these two
reads, the file watcher could trigger another readchunk() invocation,
which might attempt to read a header from the beginning of the data
chunk. This usually results in expecting a data chunk of several GB
and failing to create a Buffer for it.
The race is remedied by setting a flag on the DglSession object
whenever readchunk() is called, clearing it when both reads complete,
and refusing to read if it is already set.
author | John "Elwin" Edwards |
---|---|
date | Wed, 07 Jan 2015 13:18:35 -0500 |
parents | a497ecd116d9 |
children |
line wrap: on
line source
div#top { font-size: 1.2em; text-align: center; margin: 0.2em; } img#bell { visibility: hidden; margin-left: 2em; } div.keyrow { font-size: 1.2em; } div.keyrow > div:first-child { clear: left; } div.key { width: 2em; height: 2em; float: left; border: 2px solid black; margin: 0.2em; text-align: center; background-color: white; color: black; } div.rkey { width: 2em; height: 2em; float: right; border: 2px solid black; margin: 0.2em; text-align: center; background-color: white; color: black; } div.keysel { width: 2em; height: 2em; float: left; border: 2px solid black; margin: 0.2em; text-align: center; background-color: #A0EEA0; color: black; } div#shiftkey { width: 4em; } div#ctrlkey { width: 3em; } div#spacebar { width: 8em; margin-left: 12em; } div#termwrap { margin: 0.5em auto; padding: 1em; background-color: #808080; border: 0.25em solid #202020; border-radius: 1em; } div#inwrap { overflow-y: scroll; } div#term { display: table; font-size: 12px; font-family: monospace; white-space: pre; } div#term > div { display: table-row-group; } div.termrow { display: table-row; } span.termcell { display: table-cell; } div.rbutton { float: right; clear: right; border: 2px solid black; text-align: center; margin: 0.2em; font-size: 1.2em; padding: 0.1em; } div.rbutton > span { border: 1px solid black; padding: 0 0.1em; } div#debug { width: 100%; height: 10em; overflow: scroll; white-space: pre; clear: both; background-color: white; color: black; } div#debug > div { font-family: monospace; }