PostgreSQL Source Code git master
Loading...
Searching...
No Matches
buffile.h File Reference
#include "storage/fileset.h"
Include dependency graph for buffile.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef struct BufFile BufFile
 

Functions

BufFileBufFileCreateTemp (bool interXact)
 
void BufFileClose (BufFile *file)
 
pg_nodiscard size_t BufFileRead (BufFile *file, void *ptr, size_t size)
 
void BufFileReadExact (BufFile *file, void *ptr, size_t size)
 
size_t BufFileReadMaybeEOF (BufFile *file, void *ptr, size_t size, bool eofOK)
 
void BufFileWrite (BufFile *file, const void *ptr, size_t size)
 
int BufFileSeek (BufFile *file, int fileno, pgoff_t offset, int whence)
 
void BufFileTell (BufFile *file, int *fileno, pgoff_t *offset)
 
int BufFileSeekBlock (BufFile *file, int64 blknum)
 
int64 BufFileSize (BufFile *file)
 
int64 BufFileAppend (BufFile *target, BufFile *source)
 
BufFileBufFileCreateFileSet (FileSet *fileset, const char *name)
 
void BufFileExportFileSet (BufFile *file)
 
BufFileBufFileOpenFileSet (FileSet *fileset, const char *name, int mode, bool missing_ok)
 
void BufFileDeleteFileSet (FileSet *fileset, const char *name, bool missing_ok)
 
void BufFileTruncateFileSet (BufFile *file, int fileno, pgoff_t offset)
 

Typedef Documentation

◆ BufFile

Definition at line 33 of file buffile.h.

Function Documentation

◆ BufFileAppend()

int64 BufFileAppend ( BufFile target,
BufFile source 
)
extern

Definition at line 906 of file buffile.c.

907{
909 int newNumFiles = target->numFiles + source->numFiles;
910 int i;
911
912 Assert(source->readOnly);
913 Assert(!source->dirty);
914
915 if (target->resowner != source->resowner)
916 elog(ERROR, "could not append BufFile with non-matching resource owner");
917
918 target->files = (File *)
919 repalloc(target->files, sizeof(File) * newNumFiles);
920 for (i = target->numFiles; i < newNumFiles; i++)
921 target->files[i] = source->files[i - target->numFiles];
922 target->numFiles = newNumFiles;
923
924 return startBlock;
925}
#define BUFFILE_SEG_SIZE
Definition buffile.c:64
#define Assert(condition)
Definition c.h:1002
int64_t int64
Definition c.h:680
#define ERROR
Definition elog.h:40
#define elog(elevel,...)
Definition elog.h:228
int File
Definition fd.h:51
int i
Definition isn.c:77
void * repalloc(void *pointer, Size size)
Definition mcxt.c:1635
static rewind_source * source
Definition pg_rewind.c:89
static int fb(int x)
int numFiles
Definition buffile.c:73
File * files
Definition buffile.c:75
ResourceOwner resowner
Definition buffile.c:89

References Assert, BUFFILE_SEG_SIZE, elog, ERROR, fb(), BufFile::files, i, BufFile::numFiles, repalloc(), BufFile::resowner, and source.

Referenced by LogicalTapeImport().

◆ BufFileClose()

void BufFileClose ( BufFile file)
extern

Definition at line 413 of file buffile.c.

414{
415 int i;
416
417 /* flush any unwritten data */
418 BufFileFlush(file);
419 /* close and delete the underlying file(s) */
420 for (i = 0; i < file->numFiles; i++)
421 FileClose(file->files[i]);
422 /* release the buffer space */
423 pfree(file->files);
424 pfree(file);
425}
static void BufFileFlush(BufFile *file)
Definition buffile.c:725
void FileClose(File file)
Definition fd.c:1966
void pfree(void *pointer)
Definition mcxt.c:1619

References BufFileFlush(), FileClose(), BufFile::files, i, BufFile::numFiles, and pfree().

Referenced by decode_concurrent_changes(), ensure_last_message(), ExecHashJoinNewBatch(), ExecHashTableDestroy(), export_initial_snapshot(), get_initial_snapshot(), gistFreeBuildBuffers(), LogicalTapeSetClose(), process_concurrent_changes(), SendBackupManifest(), stream_abort_internal(), stream_close_file(), sts_end_parallel_scan(), sts_end_write(), sts_parallel_scan_next(), subxact_info_read(), subxact_info_write(), tuplestore_clear(), and tuplestore_end().

◆ BufFileCreateFileSet()

BufFile * BufFileCreateFileSet ( FileSet fileset,
const char name 
)
extern

Definition at line 268 of file buffile.c.

269{
270 BufFile *file;
271
272 file = makeBufFileCommon(1);
273 file->fileset = fileset;
274 file->name = pstrdup(name);
275 file->files = palloc_object(File);
276 file->files[0] = MakeNewFileSetSegment(file, 0);
277 file->readOnly = false;
278
279 return file;
280}
static BufFile * makeBufFileCommon(int nfiles)
Definition buffile.c:119
static File MakeNewFileSetSegment(BufFile *buffile, int segment)
Definition buffile.c:232
#define palloc_object(type)
Definition fe_memutils.h:89
char * pstrdup(const char *in)
Definition mcxt.c:1910
FileSet * fileset
Definition buffile.c:81
bool readOnly
Definition buffile.c:79
const char * name
Definition buffile.c:82
const char * name

References BufFile::files, BufFile::fileset, makeBufFileCommon(), MakeNewFileSetSegment(), BufFile::name, name, palloc_object, pstrdup(), and BufFile::readOnly.

Referenced by decode_concurrent_changes(), export_initial_snapshot(), LogicalTapeSetCreate(), stream_open_file(), sts_puttuple(), and subxact_info_write().

◆ BufFileCreateTemp()

BufFile * BufFileCreateTemp ( bool  interXact)
extern

Definition at line 194 of file buffile.c.

195{
196 BufFile *file;
197 File pfile;
198
199 /*
200 * Ensure that temp tablespaces are set up for OpenTemporaryFile to use.
201 * Possibly the caller will have done this already, but it seems useful to
202 * double-check here. Failure to do this at all would result in the temp
203 * files always getting placed in the default tablespace, which is a
204 * pretty hard-to-detect bug. Callers may prefer to do it earlier if they
205 * want to be sure that any required catalog access is done in some other
206 * resource context.
207 */
209
210 pfile = OpenTemporaryFile(interXact);
211 Assert(pfile >= 0);
212
213 file = makeBufFile(pfile);
214 file->isInterXact = interXact;
215
216 return file;
217}
void PrepareTempTablespaces(void)
static BufFile * makeBufFile(File firstfile)
Definition buffile.c:140
File OpenTemporaryFile(bool interXact)
Definition fd.c:1712
bool isInterXact
Definition buffile.c:77

References Assert, BufFile::isInterXact, makeBufFile(), OpenTemporaryFile(), and PrepareTempTablespaces().

Referenced by ExecHashJoinSaveTuple(), gistInitBuildBuffers(), InitializeBackupManifest(), LogicalTapeSetCreate(), and tuplestore_puttuple_common().

◆ BufFileDeleteFileSet()

void BufFileDeleteFileSet ( FileSet fileset,
const char name,
bool  missing_ok 
)
extern

Definition at line 365 of file buffile.c.

366{
368 int segment = 0;
369 bool found = false;
370
371 /*
372 * We don't know how many segments the file has. We'll keep deleting
373 * until we run out. If we don't manage to find even an initial segment,
374 * raise an error.
375 */
376 for (;;)
377 {
379 if (!FileSetDelete(fileset, segment_name, true))
380 break;
381 found = true;
382 ++segment;
383
385 }
386
387 if (!found && !missing_ok)
388 elog(ERROR, "could not delete unknown BufFile \"%s\"", name);
389}
static void FileSetSegmentName(char *name, const char *buffile_name, int segment)
Definition buffile.c:223
bool FileSetDelete(FileSet *fileset, const char *name, bool error_on_failure)
Definition fileset.c:137
#define CHECK_FOR_INTERRUPTS()
Definition miscadmin.h:125
#define MAXPGPATH

References CHECK_FOR_INTERRUPTS, elog, ERROR, fb(), FileSetDelete(), FileSetSegmentName(), MAXPGPATH, and name.

Referenced by stream_cleanup_files(), and subxact_info_write().

◆ BufFileExportFileSet()

void BufFileExportFileSet ( BufFile file)
extern

Definition at line 395 of file buffile.c.

396{
397 /* Must be a file belonging to a FileSet. */
398 Assert(file->fileset != NULL);
399
400 /* It's probably a bug if someone calls this twice. */
401 Assert(!file->readOnly);
402
403 BufFileFlush(file);
404 file->readOnly = true;
405}

References Assert, BufFileFlush(), fb(), BufFile::fileset, and BufFile::readOnly.

Referenced by LogicalTapeFreeze().

◆ BufFileOpenFileSet()

BufFile * BufFileOpenFileSet ( FileSet fileset,
const char name,
int  mode,
bool  missing_ok 
)
extern

Definition at line 292 of file buffile.c.

294{
295 BufFile *file;
297 Size capacity = 16;
298 File *files;
299 int nfiles = 0;
300
301 files = palloc_array(File, capacity);
302
303 /*
304 * We don't know how many segments there are, so we'll probe the
305 * filesystem to find out.
306 */
307 for (;;)
308 {
309 /* See if we need to expand our file segment array. */
310 if (nfiles + 1 > capacity)
311 {
312 capacity *= 2;
313 files = repalloc_array(files, File, capacity);
314 }
315 /* Try to load a segment. */
317 files[nfiles] = FileSetOpen(fileset, segment_name, mode);
318 if (files[nfiles] <= 0)
319 break;
320 ++nfiles;
321
323 }
324
325 /*
326 * If we didn't find any files at all, then no BufFile exists with this
327 * name.
328 */
329 if (nfiles == 0)
330 {
331 /* free the memory */
332 pfree(files);
333
334 if (missing_ok)
335 return NULL;
336
339 errmsg("could not open temporary file \"%s\" from BufFile \"%s\": %m",
340 segment_name, name)));
341 }
342
344 file->files = files;
345 file->readOnly = (mode == O_RDONLY);
346 file->fileset = fileset;
347 file->name = pstrdup(name);
348
349 return file;
350}
size_t Size
Definition c.h:748
int errcode_for_file_access(void)
Definition elog.c:898
#define ereport(elevel,...)
Definition elog.h:152
#define repalloc_array(pointer, type, count)
Definition fe_memutils.h:94
#define palloc_array(type, count)
Definition fe_memutils.h:91
File FileSetOpen(FileSet *fileset, const char *name, int mode)
Definition fileset.c:120
static char * errmsg
static PgChecksumMode mode

References CHECK_FOR_INTERRUPTS, ereport, errcode_for_file_access(), errmsg, ERROR, fb(), BufFile::files, BufFile::fileset, FileSetOpen(), FileSetSegmentName(), makeBufFileCommon(), MAXPGPATH, mode, BufFile::name, name, palloc_array, pfree(), pstrdup(), BufFile::readOnly, and repalloc_array.

Referenced by apply_spooled_messages(), ensure_last_message(), get_initial_snapshot(), LogicalTapeImport(), process_concurrent_changes(), stream_abort_internal(), stream_open_file(), sts_parallel_scan_next(), subxact_info_read(), and subxact_info_write().

◆ BufFileRead()

pg_nodiscard size_t BufFileRead ( BufFile file,
void ptr,
size_t  size 
)
extern

Definition at line 650 of file buffile.c.

651{
652 return BufFileReadCommon(file, ptr, size, false, false);
653}
static size_t BufFileReadCommon(BufFile *file, void *ptr, size_t size, bool exact, bool eofOK)
Definition buffile.c:598

References BufFileReadCommon().

◆ BufFileReadExact()

void BufFileReadExact ( BufFile file,
void ptr,
size_t  size 
)
extern

◆ BufFileReadMaybeEOF()

size_t BufFileReadMaybeEOF ( BufFile file,
void ptr,
size_t  size,
bool  eofOK 
)
extern

Definition at line 669 of file buffile.c.

670{
671 return BufFileReadCommon(file, ptr, size, true, eofOK);
672}

References BufFileReadCommon(), and fb().

Referenced by apply_concurrent_changes(), apply_spooled_messages(), ExecHashJoinGetSavedTuple(), and getlen().

◆ BufFileSeek()

int BufFileSeek ( BufFile file,
int  fileno,
pgoff_t  offset,
int  whence 
)
extern

Definition at line 745 of file buffile.c.

746{
747 int newFile;
749
750 switch (whence)
751 {
752 case SEEK_SET:
753 if (fileno < 0)
754 return EOF;
755 newFile = fileno;
756 newOffset = offset;
757 break;
758 case SEEK_CUR:
759
760 /*
761 * Relative seek considers only the signed offset, ignoring
762 * fileno.
763 */
764 newFile = file->curFile;
765 newOffset = (file->curOffset + file->pos) + offset;
766 break;
767 case SEEK_END:
768
769 /*
770 * The file size of the last file gives us the end offset of that
771 * file.
772 */
773 newFile = file->numFiles - 1;
774 newOffset = FileSize(file->files[file->numFiles - 1]);
775 if (newOffset < 0)
778 errmsg("could not determine size of temporary file \"%s\" from BufFile \"%s\": %m",
779 FilePathName(file->files[file->numFiles - 1]),
780 file->name)));
781 break;
782 default:
783 elog(ERROR, "invalid whence: %d", whence);
784 return EOF;
785 }
786 while (newOffset < 0)
787 {
788 if (--newFile < 0)
789 return EOF;
791 }
792 if (newFile == file->curFile &&
793 newOffset >= file->curOffset &&
794 newOffset <= file->curOffset + file->nbytes)
795 {
796 /*
797 * Seek is to a point within existing buffer; we can just adjust
798 * pos-within-buffer, without flushing buffer. Note this is OK
799 * whether reading or writing, but buffer remains dirty if we were
800 * writing.
801 */
802 file->pos = (int64) (newOffset - file->curOffset);
803 return 0;
804 }
805 /* Otherwise, must reposition buffer, so flush any dirty data */
806 BufFileFlush(file);
807
808 /*
809 * At this point and no sooner, check for seek past last segment. The
810 * above flush could have created a new segment, so checking sooner would
811 * not work (at least not with this code).
812 */
813
814 /* convert seek to "start of next seg" to "end of last seg" */
815 if (newFile == file->numFiles && newOffset == 0)
816 {
817 newFile--;
819 }
821 {
822 if (++newFile >= file->numFiles)
823 return EOF;
825 }
826 if (newFile >= file->numFiles)
827 return EOF;
828 /* Seek is OK! */
829 file->curFile = newFile;
830 file->curOffset = newOffset;
831 file->pos = 0;
832 file->nbytes = 0;
833 return 0;
834}
#define MAX_PHYSICAL_FILESIZE
Definition buffile.c:63
char * FilePathName(File file)
Definition fd.c:2500
pgoff_t FileSize(File file)
Definition fd.c:2448
off_t pgoff_t
Definition port.h:422
int64 nbytes
Definition buffile.c:98
pgoff_t curOffset
Definition buffile.c:96
int curFile
Definition buffile.c:95
int64 pos
Definition buffile.c:97

References BufFileFlush(), BufFile::curFile, BufFile::curOffset, elog, ereport, errcode_for_file_access(), errmsg, ERROR, fb(), FilePathName(), BufFile::files, FileSize(), MAX_PHYSICAL_FILESIZE, BufFile::name, BufFile::nbytes, BufFile::numFiles, and BufFile::pos.

Referenced by BufFileSeekBlock(), ensure_last_message(), ExecHashJoinNewBatch(), SendBackupManifest(), stream_open_file(), tuplestore_copy_read_pointer(), tuplestore_gettuple(), tuplestore_puttuple_common(), tuplestore_rescan(), and tuplestore_select_read_pointer().

◆ BufFileSeekBlock()

int BufFileSeekBlock ( BufFile file,
int64  blknum 
)
extern

Definition at line 855 of file buffile.c.

856{
857 return BufFileSeek(file,
858 (int) (blknum / BUFFILE_SEG_SIZE),
860 SEEK_SET);
861}
int BufFileSeek(BufFile *file, int fileno, pgoff_t offset, int whence)
Definition buffile.c:745

References BUFFILE_SEG_SIZE, BufFileSeek(), and fb().

Referenced by ltsReadBlock(), ltsWriteBlock(), ReadTempFileBlock(), sts_parallel_scan_next(), and WriteTempFileBlock().

◆ BufFileSize()

int64 BufFileSize ( BufFile file)
extern

Definition at line 870 of file buffile.c.

871{
873
874 /* Get the size of the last physical file. */
875 lastFileSize = FileSize(file->files[file->numFiles - 1]);
876 if (lastFileSize < 0)
879 errmsg("could not determine size of temporary file \"%s\" from BufFile \"%s\": %m",
880 FilePathName(file->files[file->numFiles - 1]),
881 file->name)));
882
883 return ((file->numFiles - 1) * (int64) MAX_PHYSICAL_FILESIZE) +
885}

References ereport, errcode_for_file_access(), errmsg, ERROR, fb(), FilePathName(), BufFile::files, FileSize(), MAX_PHYSICAL_FILESIZE, BufFile::name, and BufFile::numFiles.

Referenced by LogicalTapeImport(), and tuplestore_updatemax().

◆ BufFileTell()

void BufFileTell ( BufFile file,
int fileno,
pgoff_t offset 
)
extern

◆ BufFileTruncateFileSet()

void BufFileTruncateFileSet ( BufFile file,
int  fileno,
pgoff_t  offset 
)
extern

Definition at line 932 of file buffile.c.

933{
934 int numFiles = file->numFiles;
935 int newFile = fileno;
938 int i;
939
940 /*
941 * Loop over all the files up to the given fileno and remove the files
942 * that are greater than the fileno and truncate the given file up to the
943 * offset. Note that we also remove the given fileno if the offset is 0
944 * provided it is not the first file in which we truncate it.
945 */
946 for (i = file->numFiles - 1; i >= fileno; i--)
947 {
948 if ((i != fileno || offset == 0) && i != 0)
949 {
951 FileClose(file->files[i]);
952 if (!FileSetDelete(file->fileset, segment_name, true))
955 errmsg("could not delete fileset \"%s\": %m",
956 segment_name)));
957 numFiles--;
959
960 /*
961 * This is required to indicate that we have deleted the given
962 * fileno.
963 */
964 if (i == fileno)
965 newFile--;
966 }
967 else
968 {
969 if (FileTruncate(file->files[i], offset,
973 errmsg("could not truncate file \"%s\": %m",
974 FilePathName(file->files[i]))));
975 newOffset = offset;
976 }
977 }
978
979 file->numFiles = numFiles;
980
981 /*
982 * If the truncate point is within existing buffer then we can just adjust
983 * pos within buffer.
984 */
985 if (newFile == file->curFile &&
986 newOffset >= file->curOffset &&
987 newOffset <= file->curOffset + file->nbytes)
988 {
989 /* No need to reset the current pos if the new pos is greater. */
990 if (newOffset <= file->curOffset + file->pos)
991 file->pos = (int64) newOffset - file->curOffset;
992
993 /* Adjust the nbytes for the current buffer. */
994 file->nbytes = (int64) newOffset - file->curOffset;
995 }
996 else if (newFile == file->curFile &&
997 newOffset < file->curOffset)
998 {
999 /*
1000 * The truncate point is within the existing file but prior to the
1001 * current position, so we can forget the current buffer and reset the
1002 * current position.
1003 */
1004 file->curOffset = newOffset;
1005 file->pos = 0;
1006 file->nbytes = 0;
1007 }
1008 else if (newFile < file->curFile)
1009 {
1010 /*
1011 * The truncate point is prior to the current file, so need to reset
1012 * the current position accordingly.
1013 */
1014 file->curFile = newFile;
1015 file->curOffset = newOffset;
1016 file->pos = 0;
1017 file->nbytes = 0;
1018 }
1019 /* Nothing to do, if the truncate point is beyond current file. */
1020}
int FileTruncate(File file, pgoff_t offset, uint32 wait_event_info)
Definition fd.c:2465

References BufFile::curFile, BufFile::curOffset, ereport, errcode_for_file_access(), errmsg, ERROR, fb(), FileClose(), FilePathName(), BufFile::files, BufFile::fileset, FileSetDelete(), FileSetSegmentName(), FileTruncate(), i, MAX_PHYSICAL_FILESIZE, MAXPGPATH, BufFile::name, BufFile::nbytes, BufFile::numFiles, and BufFile::pos.

Referenced by stream_abort_internal().

◆ BufFileWrite()

void BufFileWrite ( BufFile file,
const void ptr,
size_t  size 
)
extern

Definition at line 681 of file buffile.c.

682{
683 size_t nthistime;
684
685 Assert(!file->readOnly);
686
687 while (size > 0)
688 {
689 if (file->pos >= BLCKSZ)
690 {
691 /* Buffer full, dump it out */
692 if (file->dirty)
693 BufFileDumpBuffer(file);
694 else
695 {
696 /* Hmm, went directly from reading to writing? */
697 file->curOffset += file->pos;
698 file->pos = 0;
699 file->nbytes = 0;
700 }
701 }
702
703 nthistime = BLCKSZ - file->pos;
704 if (nthistime > size)
705 nthistime = size;
706 Assert(nthistime > 0);
707
708 memcpy(file->buffer.data + file->pos, ptr, nthistime);
709
710 file->dirty = true;
711 file->pos += nthistime;
712 if (file->nbytes < file->pos)
713 file->nbytes = file->pos;
714 ptr = (const char *) ptr + nthistime;
715 size -= nthistime;
716 }
717}
static void BufFileDumpBuffer(BufFile *file)
Definition buffile.c:498
memcpy(sums, checksumBaseOffsets, sizeof(checksumBaseOffsets))
PGAlignedBlock buffer
Definition buffile.c:104
bool dirty
Definition buffile.c:78
char data[BLCKSZ]
Definition c.h:1244

References Assert, BufFile::buffer, BufFileDumpBuffer(), BufFile::curOffset, PGAlignedBlock::data, BufFile::dirty, fb(), memcpy(), BufFile::nbytes, BufFile::pos, and BufFile::readOnly.

Referenced by AppendStringToManifest(), ExecHashJoinSaveTuple(), export_initial_snapshot(), ltsWriteBlock(), repack_store_change(), stream_write_change(), sts_flush_chunk(), subxact_info_write(), WriteTempFileBlock(), and writetup_heap().