2023-03-06 14:42:04 +01:00
|
|
|
// SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
// author: Max Kellermann <max.kellermann@gmail.com>
|
2014-07-30 19:10:28 +02:00
|
|
|
|
2023-09-12 09:42:37 +02:00
|
|
|
#pragma once
|
2014-07-30 19:10:28 +02:00
|
|
|
|
|
|
|
#include "OutputStream.hxx"
|
|
|
|
#include "fs/AllocatedPath.hxx"
|
|
|
|
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifndef _WIN32
|
2023-09-12 09:42:37 +02:00
|
|
|
#include "FileDescriptor.hxx"
|
2015-03-03 22:18:38 +01:00
|
|
|
#endif
|
|
|
|
|
2020-03-12 23:20:59 +01:00
|
|
|
#include <cassert>
|
2020-03-13 01:08:53 +01:00
|
|
|
#include <cstdint>
|
2014-07-30 19:10:28 +02:00
|
|
|
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifdef _WIN32
|
2021-05-19 17:24:02 +02:00
|
|
|
#include <fileapi.h>
|
|
|
|
#include <windef.h> // for HWND (needed by winbase.h)
|
|
|
|
#include <handleapi.h> // for INVALID_HANDLE_VALUE
|
|
|
|
#include <winbase.h> // for FILE_END
|
2014-07-30 19:10:28 +02:00
|
|
|
#endif
|
|
|
|
|
2018-10-31 17:12:21 +01:00
|
|
|
#if defined(__linux__) && !defined(ANDROID)
|
|
|
|
/* we don't use O_TMPFILE on Android because Android's braindead
|
|
|
|
SELinux policy disallows hardlinks
|
|
|
|
(https://android.googlesource.com/platform/external/sepolicy/+/85ce2c7),
|
2018-10-31 17:18:44 +01:00
|
|
|
even hardlinks from /proc/self/fd/N, which however is required to
|
2018-10-31 17:12:21 +01:00
|
|
|
use O_TMPFILE */
|
2018-10-31 17:10:52 +01:00
|
|
|
#define HAVE_O_TMPFILE
|
|
|
|
#endif
|
|
|
|
|
2014-07-30 19:10:28 +02:00
|
|
|
class Path;
|
|
|
|
|
2022-05-12 16:47:43 +02:00
|
|
|
/**
|
|
|
|
* An #OutputStream implementation which writes to a file.
|
|
|
|
*
|
|
|
|
* The destructor will attempt to roll back the changes by calling
|
|
|
|
* Cancel(). To confirm that data shall be written and the existing
|
|
|
|
* file shall be replaced, call Commit().
|
|
|
|
*/
|
2016-09-04 12:07:36 +02:00
|
|
|
class FileOutputStream final : public OutputStream {
|
2015-03-23 22:35:56 +01:00
|
|
|
const AllocatedPath path;
|
2014-07-30 19:10:28 +02:00
|
|
|
|
2022-05-12 19:26:49 +02:00
|
|
|
/**
|
|
|
|
* If a temporary file is being written to, then this is its
|
|
|
|
* path. Commit() will rename it to the path specified in the
|
|
|
|
* constructor.
|
|
|
|
*/
|
|
|
|
AllocatedPath tmp_path{nullptr};
|
|
|
|
|
2019-01-21 21:07:34 +01:00
|
|
|
#ifdef __linux__
|
|
|
|
const FileDescriptor directory_fd;
|
|
|
|
#endif
|
|
|
|
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifdef _WIN32
|
2016-08-15 22:34:53 +02:00
|
|
|
HANDLE handle = INVALID_HANDLE_VALUE;
|
2014-07-30 19:10:28 +02:00
|
|
|
#else
|
2016-08-15 22:34:53 +02:00
|
|
|
FileDescriptor fd = FileDescriptor::Undefined();
|
2014-07-30 19:10:28 +02:00
|
|
|
#endif
|
|
|
|
|
2018-10-31 17:10:52 +01:00
|
|
|
#ifdef HAVE_O_TMPFILE
|
2016-09-04 12:07:36 +02:00
|
|
|
/**
|
|
|
|
* Was O_TMPFILE used? If yes, then linkat() must be used to
|
|
|
|
* create a link to this file.
|
|
|
|
*/
|
|
|
|
bool is_tmpfile = false;
|
2015-03-23 22:35:43 +01:00
|
|
|
#endif
|
|
|
|
|
2016-09-04 12:07:36 +02:00
|
|
|
public:
|
|
|
|
enum class Mode : uint8_t {
|
|
|
|
/**
|
|
|
|
* Create a new file, or replace an existing file.
|
|
|
|
* File contents may not be visible until Commit() has
|
|
|
|
* been called.
|
|
|
|
*/
|
|
|
|
CREATE,
|
|
|
|
|
2016-09-04 13:08:52 +02:00
|
|
|
/**
|
|
|
|
* Like #CREATE, but no attempt is made to hide file
|
|
|
|
* contents during the transaction (e.g. via O_TMPFILE
|
|
|
|
* or a hidden temporary file).
|
|
|
|
*/
|
|
|
|
CREATE_VISIBLE,
|
|
|
|
|
2016-09-04 12:07:36 +02:00
|
|
|
/**
|
|
|
|
* Append to a file that already exists. If it does
|
|
|
|
* not, an exception is thrown.
|
|
|
|
*/
|
|
|
|
APPEND_EXISTING,
|
2016-09-04 13:00:51 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Like #APPEND_EXISTING, but create the file if it
|
|
|
|
* does not exist.
|
|
|
|
*/
|
|
|
|
APPEND_OR_CREATE,
|
2016-09-04 12:07:36 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
private:
|
|
|
|
Mode mode;
|
2015-03-23 22:35:43 +01:00
|
|
|
|
2016-09-04 12:07:36 +02:00
|
|
|
public:
|
2017-01-04 10:37:55 +01:00
|
|
|
explicit FileOutputStream(Path _path, Mode _mode=Mode::CREATE);
|
2015-03-23 22:35:43 +01:00
|
|
|
|
2019-01-21 21:07:34 +01:00
|
|
|
#ifdef __linux__
|
|
|
|
FileOutputStream(FileDescriptor _directory_fd, Path _path,
|
|
|
|
Mode _mode=Mode::CREATE);
|
|
|
|
#endif
|
|
|
|
|
2018-08-21 18:56:14 +02:00
|
|
|
~FileOutputStream() noexcept {
|
2016-09-04 12:07:36 +02:00
|
|
|
if (IsDefined())
|
|
|
|
Cancel();
|
2015-03-23 22:35:43 +01:00
|
|
|
}
|
|
|
|
|
2018-09-03 14:36:01 +02:00
|
|
|
FileOutputStream(const FileOutputStream &) = delete;
|
|
|
|
FileOutputStream &operator=(const FileOutputStream &) = delete;
|
|
|
|
|
2016-09-04 12:07:36 +02:00
|
|
|
public:
|
2018-08-21 18:56:14 +02:00
|
|
|
Path GetPath() const noexcept {
|
2016-09-04 12:07:36 +02:00
|
|
|
return path;
|
2015-03-23 22:35:43 +01:00
|
|
|
}
|
|
|
|
|
2022-05-12 16:47:43 +02:00
|
|
|
/**
|
|
|
|
* Returns the current offset.
|
|
|
|
*/
|
2021-10-13 11:28:04 +02:00
|
|
|
[[gnu::pure]]
|
2017-05-08 14:44:49 +02:00
|
|
|
uint64_t Tell() const noexcept;
|
2016-09-04 12:07:36 +02:00
|
|
|
|
|
|
|
/* virtual methods from class OutputStream */
|
2023-05-15 11:00:21 +02:00
|
|
|
void Write(std::span<const std::byte> src) override;
|
2016-09-04 12:07:36 +02:00
|
|
|
|
2022-05-12 16:49:15 +02:00
|
|
|
/**
|
|
|
|
* Flush all data written to this object to disk (but does not
|
|
|
|
* commit to the final path). This method blocks until this
|
|
|
|
* flush is complete. It can be called repeatedly.
|
|
|
|
*
|
|
|
|
* Throws on error.
|
|
|
|
*/
|
|
|
|
void Sync();
|
|
|
|
|
2022-05-12 16:47:43 +02:00
|
|
|
/**
|
|
|
|
* Commit all data written to the file and make the file
|
|
|
|
* visible on the specified path.
|
|
|
|
*
|
|
|
|
* After returning, this object must not be used again.
|
|
|
|
*
|
|
|
|
* Throws on error.
|
|
|
|
*/
|
2016-09-04 12:07:36 +02:00
|
|
|
void Commit();
|
2022-05-12 16:47:43 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Attempt to roll back all changes.
|
|
|
|
*
|
|
|
|
* After returning, this object must not be used again.
|
|
|
|
*/
|
2018-08-21 18:56:14 +02:00
|
|
|
void Cancel() noexcept;
|
2016-09-04 12:07:36 +02:00
|
|
|
|
|
|
|
private:
|
2016-09-04 13:08:52 +02:00
|
|
|
void OpenCreate(bool visible);
|
2016-09-04 13:00:51 +02:00
|
|
|
void OpenAppend(bool create);
|
2019-01-21 21:09:34 +01:00
|
|
|
void Open();
|
2015-03-23 22:35:43 +01:00
|
|
|
|
2018-08-21 18:56:14 +02:00
|
|
|
bool Close() noexcept {
|
2015-03-23 22:35:43 +01:00
|
|
|
assert(IsDefined());
|
|
|
|
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifdef _WIN32
|
2015-03-23 22:35:43 +01:00
|
|
|
CloseHandle(handle);
|
|
|
|
handle = INVALID_HANDLE_VALUE;
|
|
|
|
return true;
|
|
|
|
#else
|
|
|
|
return fd.Close();
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifdef _WIN32
|
2018-08-21 18:56:14 +02:00
|
|
|
bool SeekEOF() noexcept {
|
2015-03-24 20:38:29 +01:00
|
|
|
return SetFilePointer(handle, 0, nullptr,
|
|
|
|
FILE_END) != 0xffffffff;
|
2015-03-24 21:51:34 +01:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2018-08-21 18:56:14 +02:00
|
|
|
bool IsDefined() const noexcept {
|
2017-12-12 10:22:20 +01:00
|
|
|
#ifdef _WIN32
|
2015-03-23 22:35:43 +01:00
|
|
|
return handle != INVALID_HANDLE_VALUE;
|
|
|
|
#else
|
|
|
|
return fd.IsDefined();
|
|
|
|
#endif
|
|
|
|
}
|
2022-05-13 12:22:34 +02:00
|
|
|
|
2022-05-12 19:26:49 +02:00
|
|
|
void RenameOrThrow(Path old_path, Path new_path) const;
|
2022-05-13 12:22:34 +02:00
|
|
|
void Delete(Path delete_path) const noexcept;
|
2015-03-23 22:42:07 +01:00
|
|
|
};
|