File.h 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #pragma once
  27. #include <AK/NonnullRefPtr.h>
  28. #include <AK/RefCounted.h>
  29. #include <AK/String.h>
  30. #include <AK/Types.h>
  31. #include <AK/Weakable.h>
  32. #include <Kernel/Forward.h>
  33. #include <Kernel/KResult.h>
  34. #include <Kernel/UnixTypes.h>
  35. #include <Kernel/UserOrKernelBuffer.h>
  36. #include <Kernel/VirtualAddress.h>
  37. namespace Kernel {
  38. class File;
  39. class FileBlockCondition : public Thread::BlockCondition {
  40. public:
  41. FileBlockCondition(File& file)
  42. : m_file(file)
  43. {
  44. }
  45. virtual bool should_add_blocker(Thread::Blocker& b, void* data) override
  46. {
  47. ASSERT(b.blocker_type() == Thread::Blocker::Type::File);
  48. auto& blocker = static_cast<Thread::FileBlocker&>(b);
  49. return !blocker.unblock(true, data);
  50. }
  51. void unblock()
  52. {
  53. ScopedSpinLock lock(m_lock);
  54. do_unblock([&](auto& b, void* data, bool&) {
  55. ASSERT(b.blocker_type() == Thread::Blocker::Type::File);
  56. auto& blocker = static_cast<Thread::FileBlocker&>(b);
  57. return blocker.unblock(false, data);
  58. });
  59. }
  60. private:
  61. File& m_file;
  62. };
  63. // File is the base class for anything that can be referenced by a FileDescription.
  64. //
  65. // The most important functions in File are:
  66. //
  67. // read() and write()
  68. // - Implement reading and writing.
  69. // - Return the number of bytes read/written, OR a negative error code.
  70. //
  71. // can_read() and can_write()
  72. //
  73. // - Used to implement blocking I/O, and the select() and poll() syscalls.
  74. // - Return true if read() or write() would succeed, respectively.
  75. // - Note that can_read() should return true in EOF conditions,
  76. // and a subsequent call to read() should return 0.
  77. //
  78. // ioctl()
  79. //
  80. // - Optional. If unimplemented, ioctl() on this File will fail with -ENOTTY.
  81. // - Can be overridden in subclasses to implement arbitrary functionality.
  82. // - Subclasses should take care to validate incoming addresses before dereferencing.
  83. //
  84. // mmap()
  85. //
  86. // - Optional. If unimplemented, mmap() on this File will fail with -ENODEV.
  87. // - Called by mmap() when userspace wants to memory-map this File somewhere.
  88. // - Should create a Region in the Process and return it if successful.
  89. class File
  90. : public RefCounted<File>
  91. , public Weakable<File> {
  92. public:
  93. virtual ~File();
  94. virtual KResultOr<NonnullRefPtr<FileDescription>> open(int options);
  95. virtual KResult close();
  96. virtual bool can_read(const FileDescription&, size_t) const = 0;
  97. virtual bool can_write(const FileDescription&, size_t) const = 0;
  98. virtual KResult attach(FileDescription&) { return KSuccess; }
  99. virtual void detach(FileDescription&) { }
  100. virtual void did_seek(FileDescription&, off_t) { }
  101. virtual KResultOr<size_t> read(FileDescription&, size_t, UserOrKernelBuffer&, size_t) = 0;
  102. virtual KResultOr<size_t> write(FileDescription&, size_t, const UserOrKernelBuffer&, size_t) = 0;
  103. virtual int ioctl(FileDescription&, unsigned request, FlatPtr arg);
  104. virtual KResultOr<Region*> mmap(Process&, FileDescription&, VirtualAddress preferred_vaddr, size_t offset, size_t size, int prot, bool shared);
  105. virtual KResult stat(::stat&) const { return KResult(-EBADF); }
  106. virtual String absolute_path(const FileDescription&) const = 0;
  107. virtual KResult truncate(u64) { return KResult(-EINVAL); }
  108. virtual KResult chown(FileDescription&, uid_t, gid_t) { return KResult(-EBADF); }
  109. virtual KResult chmod(FileDescription&, mode_t) { return KResult(-EBADF); }
  110. virtual const char* class_name() const = 0;
  111. virtual bool is_seekable() const { return false; }
  112. virtual bool is_inode() const { return false; }
  113. virtual bool is_fifo() const { return false; }
  114. virtual bool is_device() const { return false; }
  115. virtual bool is_tty() const { return false; }
  116. virtual bool is_master_pty() const { return false; }
  117. virtual bool is_block_device() const { return false; }
  118. virtual bool is_character_device() const { return false; }
  119. virtual bool is_socket() const { return false; }
  120. virtual FileBlockCondition& block_condition() { return m_block_condition; }
  121. protected:
  122. File();
  123. void evaluate_block_conditions()
  124. {
  125. if (Processor::current().in_irq()) {
  126. // If called from an IRQ handler we need to delay evaluation
  127. // and unblocking of waiting threads. Note that this File
  128. // instance may be deleted until the deferred call is executed!
  129. Processor::deferred_call_queue([self = make_weak_ptr()]() {
  130. if (auto file = self.strong_ref())
  131. file->do_evaluate_block_conditions();
  132. });
  133. } else {
  134. do_evaluate_block_conditions();
  135. }
  136. }
  137. private:
  138. ALWAYS_INLINE void do_evaluate_block_conditions()
  139. {
  140. ASSERT(!Processor::current().in_irq());
  141. block_condition().unblock();
  142. }
  143. FileBlockCondition m_block_condition;
  144. };
  145. }