diff options
| author | Sergio Lopez <sergio.lopez@sinrega.org> | 2010-08-27 00:24:01 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2010-08-27 00:24:01 +0200 |
| commit | a6eab640cacccec9b6ca18915c2bc6e4746df1e6 (patch) | |
| tree | 80d0e9721fc31caefaa405d981ec96c2caee35cc /libpthread/sysdeps/generic/bits/rwlock.h | |
| parent | 2a16fe6746b96aff3b54c36e02ad1628ecf0dd8e (diff) | |
make unblocked reads from external objects return a zeroed page.
* serverboot/default_pager.c (struct dstruct): Add boolean_t external field.
(default_pager_add): Set ds->external to TRUE or FALSE depending whether the
object is external.
(default_read): Add external parameter. If no_block(block) returns 1, if
external is TRUE, zero fill the page and return PAGER_SUCCESS instead of
PAGER_ABSENT.
(seqnos_memory_object_data_request): Pass ds->external as additional
parameter to default_read.
Diffstat (limited to 'libpthread/sysdeps/generic/bits/rwlock.h')
0 files changed, 0 insertions, 0 deletions