src/plugins/file_system/s4u_FileSystem.cpp

   1 /* Copyright (c) 2015-2022. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include <simgrid/plugins/file_system.h>
   7 #include <simgrid/s4u/Comm.hpp>
   8 #include <simgrid/s4u/Disk.hpp>
   9 #include <simgrid/s4u/Engine.hpp>
  10 #include <simgrid/s4u/Host.hpp>
  11 #include <simgrid/simix.hpp>
  12 #include <xbt/asserts.h>
  13 #include <xbt/config.hpp>
  14 #include <xbt/log.h>
  15 #include <xbt/parse_units.hpp>
  16
  17 #include "src/surf/surf_interface.hpp"
  18
  19 #include <boost/algorithm/string.hpp>
  20 #include <boost/algorithm/string/split.hpp>
  21 #include <fstream>
  22 #include <numeric>
  23
  24 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_file, s4u, "S4U files");
  25 int sg_storage_max_file_descriptors = 1024;
  26
  27 /** @defgroup plugin_filesystem Plugin FileSystem
  28  *
  29  * This adds the notion of Files on top of the storage notion that provided by the core of SimGrid.
  30  * Activate this plugin at will.
  31  */
  32
  33 namespace simgrid {
  34
  35 template class xbt::Extendable<s4u::File>;
  36
  37 namespace s4u {
  38 simgrid::xbt::Extension<Disk, FileSystemDiskExt> FileSystemDiskExt::EXTENSION_ID;
  39 simgrid::xbt::Extension<Host, FileDescriptorHostExt> FileDescriptorHostExt::EXTENSION_ID;
  40
  41 const Disk* File::find_local_disk_on(const Host* host)
  42 {
  43   const Disk* d                = nullptr;
  44   size_t longest_prefix_length = 0;
  45   for (auto const& disk : host->get_disks()) {
  46     std::string current_mount;
  47     if (disk->get_host() != host)
  48       current_mount = disk->extension<FileSystemDiskExt>()->get_mount_point(disk->get_host());
  49     else
  50       current_mount = disk->extension<FileSystemDiskExt>()->get_mount_point();
  51     mount_point_ = fullpath_.substr(0, current_mount.length());
  52     if (mount_point_ == current_mount && current_mount.length() > longest_prefix_length) {
  53       /* The current mount name is found in the full path and is bigger than the previous*/
  54       longest_prefix_length = current_mount.length();
  55       d                     = disk;
  56     }
  57     xbt_assert(longest_prefix_length > 0, "Can't find mount point for '%s' on '%s'", fullpath_.c_str(),
  58                host->get_cname());
  59     /* Mount point found, split fullpath_ into mount_name and path+filename*/
  60     mount_point_ = fullpath_.substr(0, longest_prefix_length);
  61     if (mount_point_ == std::string("/"))
  62       path_ = fullpath_;
  63     else
  64       path_ = fullpath_.substr(longest_prefix_length, fullpath_.length());
  65     XBT_DEBUG("%s + %s", mount_point_.c_str(), path_.c_str());
  66   }
  67   return d;
  68 }
  69
  70 File::File(const std::string& fullpath, void* userdata) : File(fullpath, Host::current(), userdata) {}
  71
  72 File::File(const std::string& fullpath, const_sg_host_t host, void* userdata) : fullpath_(fullpath)
  73 {
  74   kernel::actor::simcall_answered([this, &host, userdata] {
  75     this->set_data(userdata);
  76     // this cannot fail because we get a xbt_die if the mountpoint does not exist
  77     local_disk_ = find_local_disk_on(host);
  78
  79     // assign a file descriptor id to the newly opened File
  80     auto* ext = host->extension<simgrid::s4u::FileDescriptorHostExt>();
  81     if (ext->file_descriptor_table == nullptr) {
  82       ext->file_descriptor_table = std::make_unique<std::vector<int>>(sg_storage_max_file_descriptors);
  83       std::iota(ext->file_descriptor_table->rbegin(), ext->file_descriptor_table->rend(), 0); // Fill with ..., 1, 0.
  84     }
  85     xbt_assert(not ext->file_descriptor_table->empty(), "Too much files are opened! Some have to be closed.");
  86     desc_id = ext->file_descriptor_table->back();
  87     ext->file_descriptor_table->pop_back();
  88
  89     XBT_DEBUG("\tOpen file '%s'", path_.c_str());
  90     std::map<std::string, sg_size_t, std::less<>>* content = nullptr;
  91     content = local_disk_->extension<FileSystemDiskExt>()->get_content();
  92
  93     // if file does not exist create an empty file
  94     if (content) {
  95       auto sz = content->find(path_);
  96       if (sz != content->end()) {
  97         size_ = sz->second;
  98       } else {
  99         size_ = 0;
 100         content->insert({path_, size_});
 101         XBT_DEBUG("File '%s' was not found, file created.", path_.c_str());
 102       }
 103     }
 104   });
 105 }
 106
 107 File::~File() = default;
 108
 109 File* File::open(const std::string& fullpath, void* userdata)
 110 {
 111   return new File(fullpath, userdata);
 112 }
 113
 114 File* File::open(const std::string& fullpath, const_sg_host_t host, void* userdata)
 115 {
 116   return new File(fullpath, host, userdata);
 117 }
 118
 119 void File::close()
 120 {
 121   std::vector<int>* desc_table =
 122       Host::current()->extension<simgrid::s4u::FileDescriptorHostExt>()->file_descriptor_table.get();
 123   kernel::actor::simcall_answered([this, desc_table] { desc_table->push_back(this->desc_id); });
 124   delete this;
 125 }
 126
 127 void File::dump() const
 128 {
 129   XBT_INFO("File Descriptor information:\n"
 130       "\t\tFull path: '%s'\n"
 131       "\t\tSize: %llu\n"
 132       "\t\tMount point: '%s'\n"
 133       "\t\tDisk Id: '%s'\n"
 134       "\t\tHost Id: '%s'\n"
 135       "\t\tFile Descriptor Id: %d",
 136       get_path(), size_, mount_point_.c_str(), local_disk_->get_cname(), local_disk_->get_host()->get_cname(),
 137       desc_id);
 138 }
 139
 140 sg_size_t File::read(sg_size_t size)
 141 {
 142   if (size_ == 0) /* Nothing to read, return */
 143     return 0;
 144   Host* host          = nullptr;
 145   // if the current position is close to the end of the file, we may not be able to read the requested size
 146   sg_size_t to_read   = std::min(size, size_ - current_position_);
 147   sg_size_t read_size = 0;
 148
 149   /* Find the host where the file is physically located and read it */
 150   host = local_disk_->get_host();
 151   XBT_DEBUG("READ %s on disk '%s'", get_path(), local_disk_->get_cname());
 152   read_size = local_disk_->read(to_read);
 153
 154   current_position_ += read_size;
 155
 156   if (host && host->get_name() != Host::current()->get_name() && read_size > 0) {
 157     /* the file is hosted on a remote host, initiate a communication between src and dest hosts for data transfer */
 158     XBT_DEBUG("File is on %s remote host, initiate data transfer of %llu bytes.", host->get_cname(), read_size);
 159     Comm::sendto(host, Host::current(), read_size);
 160   }
 161
 162   return read_size;
 163 }
 164
 165 /** @brief Write into a file (local or remote)
 166  * @ingroup plugin_filesystem
 167  *
 168  * @param size of the file to write
 169  * @param write_inside
 170  * @return the number of bytes successfully write or -1 if an error occurred
 171  */
 172 sg_size_t File::write(sg_size_t size, bool write_inside)
 173 {
 174   if (size == 0) /* Nothing to write, return */
 175     return 0;
 176
 177   sg_size_t write_size = 0;
 178   /* Find the host where the file is physically located (remote or local)*/
 179   if (Host* host = local_disk_->get_host(); host && host->get_name() != Host::current()->get_name()) {
 180     /* the file is hosted on a remote host, initiate a communication between src and dest hosts for data transfer */
 181     XBT_DEBUG("File is on %s remote host, initiate data transfer of %llu bytes.", host->get_cname(), size);
 182     Comm::sendto(Host::current(), host, size);
 183   }
 184   XBT_DEBUG("WRITE %s on disk '%s'. size '%llu/%llu' '%llu:%llu'", get_path(), local_disk_->get_cname(), size, size_,
 185             sg_disk_get_size_used(local_disk_), sg_disk_get_size(local_disk_));
 186   // If the disk is full before even starting to write
 187   if (sg_disk_get_size_used(local_disk_) >= sg_disk_get_size(local_disk_))
 188     return 0;
 189   if (not write_inside)
 190     /* Subtract the part of the file that might disappear from the used sized on the storage element */
 191     local_disk_->extension<FileSystemDiskExt>()->decr_used_size(size_ - current_position_);
 192   write_size = local_disk_->write(size);
 193   update_position(current_position_ + write_size);
 194   kernel::actor::simcall_answered([this] {
 195     std::map<std::string, sg_size_t, std::less<>>* content = local_disk_->extension<FileSystemDiskExt>()->get_content();
 196     content->erase(path_);
 197     content->insert({path_, size_});
 198   });
 199
 200   return write_size;
 201 }
 202
 203 sg_size_t File::size() const
 204 {
 205   return size_;
 206 }
 207
 208 void File::seek(sg_offset_t offset)
 209 {
 210   current_position_ = offset;
 211 }
 212
 213 void File::seek(sg_offset_t offset, int origin)
 214 {
 215   switch (origin) {
 216     case SEEK_SET:
 217       update_position(offset);
 218      break;
 219     case SEEK_CUR:
 220       update_position(current_position_ + offset);
 221       break;
 222     case SEEK_END:
 223       update_position(size_ + offset);
 224       break;
 225     default:
 226       break;
 227   }
 228 }
 229
 230 void File::update_position(sg_offset_t position)
 231 {
 232   xbt_assert(position >= 0, "Error in seek, cannot seek before file %s", get_path());
 233   current_position_ = position;
 234   if(current_position_>size_){
 235     local_disk_->extension<FileSystemDiskExt>()->incr_used_size(current_position_-size_);
 236     size_ = current_position_;
 237   }
 238 }
 239
 240 sg_size_t File::tell() const
 241 {
 242   return current_position_;
 243 }
 244
 245 void File::move(const std::string& fullpath) const
 246 {
 247   /* Check if the new full path is on the same mount point */
 248   if (fullpath.compare(0, mount_point_.length(), mount_point_) == 0) {
 249     std::map<std::string, sg_size_t, std::less<>>* content = nullptr;
 250     content = local_disk_->extension<FileSystemDiskExt>()->get_content();
 251     if (content) {
 252       auto sz = content->find(path_);
 253       if (sz != content->end()) { // src file exists
 254         sg_size_t new_size = sz->second;
 255         content->erase(path_);
 256         std::string path = fullpath.substr(mount_point_.length(), fullpath.length());
 257         content->insert({path.c_str(), new_size});
 258         XBT_DEBUG("Move file from %s to %s, size '%llu'", path_.c_str(), fullpath.c_str(), new_size);
 259       } else {
 260         XBT_WARN("File %s doesn't exist", path_.c_str());
 261       }
 262     }
 263   } else {
 264     XBT_WARN("New full path %s is not on the same mount point: %s.", fullpath.c_str(), mount_point_.c_str());
 265   }
 266 }
 267
 268 int File::unlink() const
 269 {
 270   /* Check if the file is on local storage */
 271   auto* content    = local_disk_->extension<FileSystemDiskExt>()->get_content();
 272   const char* name = local_disk_->get_cname();
 273
 274   if (not content || content->find(path_) == content->end()) {
 275     XBT_WARN("File %s is not on disk %s. Impossible to unlink", path_.c_str(), name);
 276     return -1;
 277   } else {
 278     XBT_DEBUG("UNLINK %s on disk '%s'", path_.c_str(), name);
 279
 280     local_disk_->extension<FileSystemDiskExt>()->decr_used_size(size_);
 281
 282     // Remove the file from storage
 283     content->erase(path_);
 284
 285     return 0;
 286   }
 287 }
 288
 289 int File::remote_copy(sg_host_t host, const std::string& fullpath)
 290 {
 291   /* Find the host where the file is physically located and read it */
 292   Host* src_host      = nullptr;
 293   sg_size_t read_size = 0;
 294
 295   Host* dst_host = host;
 296   size_t longest_prefix_length = 0;
 297
 298   seek(0, SEEK_SET);
 299
 300   src_host = local_disk_->get_host();
 301   XBT_DEBUG("READ %s on disk '%s'", get_path(), local_disk_->get_cname());
 302   read_size = local_disk_->read(size_);
 303   current_position_ += read_size;
 304
 305   const Disk* dst_disk = nullptr;
 306
 307   for (auto const& disk : host->get_disks()) {
 308     std::string current_mount = disk->extension<FileSystemDiskExt>()->get_mount_point();
 309     std::string mount_point   = std::string(fullpath).substr(0, current_mount.length());
 310     if (mount_point == current_mount && current_mount.length() > longest_prefix_length) {
 311       /* The current mount name is found in the full path and is bigger than the previous*/
 312       longest_prefix_length = current_mount.length();
 313       dst_disk              = disk;
 314     }
 315   }
 316
 317   if (dst_disk == nullptr) {
 318     XBT_WARN("Can't find mount point for '%s' on destination host '%s'", fullpath.c_str(), host->get_cname());
 319     return -1;
 320   }
 321
 322   if (src_host) {
 323     XBT_DEBUG("Initiate data transfer of %llu bytes between %s and %s.", read_size, src_host->get_cname(),
 324               dst_host->get_cname());
 325     Comm::sendto(src_host, dst_host, read_size);
 326   }
 327
 328   /* Create file on remote host, write it and close it */
 329   auto* fd = File::open(fullpath, dst_host, nullptr);
 330   fd->write(read_size);
 331   fd->close();
 332   return 0;
 333 }
 334
 335 int File::remote_move(sg_host_t host, const std::string& fullpath)
 336 {
 337   int res = remote_copy(host, fullpath);
 338   unlink();
 339   return res;
 340 }
 341
 342 FileSystemDiskExt::FileSystemDiskExt(const Disk* ptr)
 343 {
 344   if (const char* size_str = ptr->get_property("size")) {
 345     std::string dummyfile;
 346     size_ = xbt_parse_get_size(dummyfile, -1, size_str, "disk size " + ptr->get_name());
 347   }
 348
 349   if (const char* current_mount_str = ptr->get_property("mount"))
 350     mount_point_ = std::string(current_mount_str);
 351   else
 352     mount_point_ = std::string("/");
 353
 354   if (const char* content_str = ptr->get_property("content"))
 355     content_.reset(parse_content(content_str));
 356 }
 357
 358 std::map<std::string, sg_size_t, std::less<>>* FileSystemDiskExt::parse_content(const std::string& filename)
 359 {
 360   if (filename.empty())
 361     return nullptr;
 362
 363   auto* parse_content = new std::map<std::string, sg_size_t, std::less<>>();
 364
 365   auto fs = std::unique_ptr<std::ifstream>(surf_ifsopen(filename));
 366   xbt_assert(not fs->fail(), "Cannot open file '%s' (path=%s)", filename.c_str(),
 367              (boost::join(surf_path, ":")).c_str());
 368
 369   std::string line;
 370   std::vector<std::string> tokens;
 371   do {
 372     std::getline(*fs, line);
 373     boost::trim(line);
 374     if (line.length() > 0) {
 375       boost::split(tokens, line, boost::is_any_of(" \t"), boost::token_compress_on);
 376       xbt_assert(tokens.size() == 2, "Parse error in %s: %s", filename.c_str(), line.c_str());
 377       sg_size_t size = std::stoull(tokens.at(1));
 378
 379       used_size_ += size;
 380       parse_content->insert({tokens.front(), size});
 381     }
 382   } while (not fs->eof());
 383   return parse_content;
 384 }
 385
 386 void FileSystemDiskExt::add_remote_mount(Host* host, const std::string& mount_point)
 387 {
 388   remote_mount_points_.try_emplace(host, mount_point);
 389 }
 390
 391 void FileSystemDiskExt::decr_used_size(sg_size_t size)
 392 {
 393   simgrid::kernel::actor::simcall_answered([this, size] { used_size_ -= size; });
 394 }
 395
 396 void FileSystemDiskExt::incr_used_size(sg_size_t size)
 397 {
 398   simgrid::kernel::actor::simcall_answered([this, size] { used_size_ += size; });
 399 }
 400 }
 401 }
 402
 403 using simgrid::s4u::FileDescriptorHostExt;
 404 using simgrid::s4u::FileSystemDiskExt;
 405
 406 static void on_disk_creation(simgrid::s4u::Disk& d)
 407 {
 408   d.extension_set(new FileSystemDiskExt(&d));
 409 }
 410
 411 static void on_host_creation(simgrid::s4u::Host& host)
 412 {
 413   host.extension_set<FileDescriptorHostExt>(new FileDescriptorHostExt());
 414 }
 415
 416 static void on_platform_created()
 417 {
 418   for (auto const& host : simgrid::s4u::Engine::get_instance()->get_all_hosts()) {
 419     const char* remote_disk_str = host->get_property("remote_disk");
 420     if (remote_disk_str) {
 421       std::vector<std::string> tokens;
 422       boost::split(tokens, remote_disk_str, boost::is_any_of(":"));
 423       std::string mount_point         = tokens[0];
 424       simgrid::s4u::Host* remote_host = simgrid::s4u::Host::by_name_or_null(tokens[2]);
 425       xbt_assert(remote_host, "You're trying to access a host that does not exist. Please check your platform file");
 426
 427       const simgrid::s4u::Disk* disk = nullptr;
 428       for (auto const& d : remote_host->get_disks())
 429         if (d->get_name() == tokens[1]) {
 430           disk = d;
 431           break;
 432         }
 433
 434       xbt_assert(disk, "You're trying to mount a disk that does not exist. Please check your platform file");
 435       disk->extension<FileSystemDiskExt>()->add_remote_mount(remote_host, mount_point);
 436       host->add_disk(disk);
 437
 438       XBT_DEBUG("Host '%s' wants to mount a remote disk: %s of %s mounted on %s", host->get_cname(), disk->get_cname(),
 439                 remote_host->get_cname(), mount_point.c_str());
 440       XBT_DEBUG("Host '%s' now has %zu disks", host->get_cname(), host->get_disks().size());
 441     }
 442   }
 443 }
 444
 445 static void on_simulation_end()
 446 {
 447   XBT_DEBUG("Simulation is over, time to unregister remote disks if any");
 448   for (auto const& host : simgrid::s4u::Engine::get_instance()->get_all_hosts()) {
 449     const char* remote_disk_str = host->get_property("remote_disk");
 450     if (remote_disk_str) {
 451       std::vector<std::string> tokens;
 452       boost::split(tokens, remote_disk_str, boost::is_any_of(":"));
 453       XBT_DEBUG("Host '%s' wants to unmount a remote disk: %s of %s mounted on %s", host->get_cname(),
 454                 tokens[1].c_str(), tokens[2].c_str(), tokens[0].c_str());
 455       host->remove_disk(tokens[1]);
 456       XBT_DEBUG("Host '%s' now has %zu disks", host->get_cname(), host->get_disks().size());
 457     }
 458   }
 459 }
 460
 461 /* **************************** Public interface *************************** */
 462 /** @brief Initialize the file system plugin.
 463     @ingroup plugin_filesystem
 464
 465     @beginrst
 466     See the examples in :ref:`s4u_ex_disk_io`.
 467     @endrst
 468  */
 469 void sg_storage_file_system_init()
 470 {
 471   sg_storage_max_file_descriptors = 1024;
 472   simgrid::config::bind_flag(sg_storage_max_file_descriptors, "storage/max_file_descriptors",
 473                              "Maximum number of concurrently opened files per host. Default is 1024");
 474
 475   if (not FileSystemDiskExt::EXTENSION_ID.valid()) {
 476     FileSystemDiskExt::EXTENSION_ID = simgrid::s4u::Disk::extension_create<FileSystemDiskExt>();
 477     simgrid::s4u::Disk::on_creation_cb(&on_disk_creation);
 478   }
 479
 480   if (not FileDescriptorHostExt::EXTENSION_ID.valid()) {
 481     FileDescriptorHostExt::EXTENSION_ID = simgrid::s4u::Host::extension_create<FileDescriptorHostExt>();
 482     simgrid::s4u::Host::on_creation_cb(&on_host_creation);
 483   }
 484   simgrid::s4u::Engine::on_platform_created_cb(&on_platform_created);
 485   simgrid::s4u::Engine::on_simulation_end_cb(&on_simulation_end);
 486 }
 487
 488 sg_file_t sg_file_open(const char* fullpath, void* data)
 489 {
 490   return simgrid::s4u::File::open(fullpath, data);
 491 }
 492
 493 sg_size_t sg_file_read(sg_file_t fd, sg_size_t size)
 494 {
 495   return fd->read(size);
 496 }
 497
 498 sg_size_t sg_file_write(sg_file_t fd, sg_size_t size)
 499 {
 500   return fd->write(size);
 501 }
 502
 503 void sg_file_close(sg_file_t fd)
 504 {
 505   fd->close();
 506 }
 507
 508 /** Retrieves the path to the file
 509  * @ingroup plugin_filesystem
 510  */
 511 const char* sg_file_get_name(const_sg_file_t fd)
 512 {
 513   xbt_assert((fd != nullptr), "Invalid file descriptor");
 514   return fd->get_path();
 515 }
 516
 517 /** Retrieves the size of the file
 518  * @ingroup plugin_filesystem
 519  */
 520 sg_size_t sg_file_get_size(const_sg_file_t fd)
 521 {
 522   return fd->size();
 523 }
 524
 525 void sg_file_dump(const_sg_file_t fd)
 526 {
 527   fd->dump();
 528 }
 529
 530 /** Retrieves the user data associated with the file
 531  * @ingroup plugin_filesystem
 532  */
 533 void* sg_file_get_data(const_sg_file_t fd)
 534 {
 535   return fd->get_data<void>();
 536 }
 537
 538 /** Changes the user data associated with the file
 539  * @ingroup plugin_filesystem
 540  */
 541 void sg_file_set_data(sg_file_t fd, void* data)
 542 {
 543   fd->set_data(data);
 544 }
 545
 546 /**
 547  * @brief Set the file position indicator in the sg_file_t by adding offset bytes to the position specified by origin (either SEEK_SET, SEEK_CUR, or SEEK_END).
 548  * @ingroup plugin_filesystem
 549  *
 550  * @param fd : file object that identifies the stream
 551  * @param offset : number of bytes to offset from origin
 552  * @param origin : Position used as reference for the offset. It is specified by one of the following constants defined
 553  *                 in \<stdio.h\> exclusively to be used as arguments for this function (SEEK_SET = beginning of file,
 554  *                 SEEK_CUR = current position of the file pointer, SEEK_END = end of file)
 555  */
 556 void sg_file_seek(sg_file_t fd, sg_offset_t offset, int origin)
 557 {
 558   fd->seek(offset, origin);
 559 }
 560
 561 sg_size_t sg_file_tell(const_sg_file_t fd)
 562 {
 563   return fd->tell();
 564 }
 565
 566 void sg_file_move(const_sg_file_t fd, const char* fullpath)
 567 {
 568   fd->move(fullpath);
 569 }
 570
 571 void sg_file_unlink(sg_file_t fd)
 572 {
 573   fd->unlink();
 574   fd->close();
 575 }
 576
 577 /**
 578  * @brief Copy a file to another location on a remote host.
 579  * @ingroup plugin_filesystem
 580  *
 581  * @param file : the file to move
 582  * @param host : the remote host where the file has to be copied
 583  * @param fullpath : the complete path destination on the remote host
 584  * @return If successful, the function returns 0. Otherwise, it returns -1.
 585  */
 586 int sg_file_rcopy(sg_file_t file, sg_host_t host, const char* fullpath)
 587 {
 588   return file->remote_copy(host, fullpath);
 589 }
 590
 591 /**
 592  * @brief Move a file to another location on a remote host.
 593  * @ingroup plugin_filesystem
 594  *
 595  * @param file : the file to move
 596  * @param host : the remote host where the file has to be moved
 597  * @param fullpath : the complete path destination on the remote host
 598  * @return If successful, the function returns 0. Otherwise, it returns -1.
 599  */
 600 int sg_file_rmove(sg_file_t file, sg_host_t host, const char* fullpath)
 601 {
 602   return file->remote_move(host, fullpath);
 603 }
 604
 605 sg_size_t sg_disk_get_size_free(const_sg_disk_t d)
 606 {
 607   return d->extension<FileSystemDiskExt>()->get_size() - d->extension<FileSystemDiskExt>()->get_used_size();
 608 }
 609
 610 sg_size_t sg_disk_get_size_used(const_sg_disk_t d)
 611 {
 612   return d->extension<FileSystemDiskExt>()->get_used_size();
 613 }
 614
 615 sg_size_t sg_disk_get_size(const_sg_disk_t d)
 616 {
 617   return d->extension<FileSystemDiskExt>()->get_size();
 618 }
 619
 620 const char* sg_disk_get_mount_point(const_sg_disk_t d)
 621 {
 622   return d->extension<FileSystemDiskExt>()->get_mount_point();
 623 }