source: mainline/uspace/srv/bd/hr/hr.c@ 401b9e42

Last change on this file since 401b9e42 was 401b9e42, checked in by Miroslav Cimerman <mc@…>, 8 months ago

hr: state_changed and peding_invalidation atomic flags

These flags are used to check whether there was a state
change, or if there is a pending invalidation, so that
we can avoid the slow code paths in a lockless fashion.

  • Property mode set to 100644
File size: 12.1 KB
RevLine 
[94d84a0]1/*
[bc3d695]2 * Copyright (c) 2025 Miroslav Cimerman
[94d84a0]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
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/** @addtogroup hr
30 * @{
31 */
32/**
33 * @file
34 */
35
36#include <async.h>
37#include <bd_srv.h>
38#include <errno.h>
39#include <hr.h>
40#include <io/log.h>
41#include <inttypes.h>
42#include <ipc/hr.h>
43#include <ipc/services.h>
44#include <loc.h>
45#include <task.h>
[58d82fa]46#include <stdatomic.h>
[94d84a0]47#include <stdio.h>
48#include <stdlib.h>
[68e357e]49#include <str.h>
[94d84a0]50#include <str_error.h>
51
[bc3d695]52#include "fge.h"
53#include "io.h"
[b0f1366]54#include "superblock.h"
55#include "util.h"
[94d84a0]56#include "var.h"
57
58loc_srv_t *hr_srv;
59
60static fibril_mutex_t hr_volumes_lock;
61static list_t hr_volumes;
62
63static service_id_t ctl_sid;
64
[a19d7fc4]65static hr_volume_t *hr_get_volume(service_id_t svc_id)
66{
[d199a6f]67 HR_DEBUG("hr_get_volume(): (%" PRIun ")\n", svc_id);
[a19d7fc4]68
69 fibril_mutex_lock(&hr_volumes_lock);
[b235c67]70 list_foreach(hr_volumes, lvolumes, hr_volume_t, vol) {
71 if (vol->svc_id == svc_id) {
[a19d7fc4]72 fibril_mutex_unlock(&hr_volumes_lock);
[b235c67]73 return vol;
[a19d7fc4]74 }
75 }
76
77 fibril_mutex_unlock(&hr_volumes_lock);
78 return NULL;
79}
80
81static errno_t hr_remove_volume(service_id_t svc_id)
82{
[d199a6f]83 HR_DEBUG("hr_remove_volume(): (%" PRIun ")\n", svc_id);
[a19d7fc4]84
85 fibril_mutex_lock(&hr_volumes_lock);
[b235c67]86 list_foreach(hr_volumes, lvolumes, hr_volume_t, vol) {
87 if (vol->svc_id == svc_id) {
[bc3d695]88 hr_fpool_destroy(vol->fge);
[b235c67]89 hr_fini_devs(vol);
90 list_remove(&vol->lvolumes);
91 free(vol);
[a19d7fc4]92 fibril_mutex_unlock(&hr_volumes_lock);
93 return EOK;
94 }
95 }
96
97 fibril_mutex_unlock(&hr_volumes_lock);
98 return ENOENT;
99}
100
[c997374]101static void hr_create_srv(ipc_call_t *icall, bool assemble)
[94d84a0]102{
[d199a6f]103 HR_DEBUG("hr_create_srv()\n");
[94d84a0]104
105 errno_t rc;
[dbd91da]106 size_t i, size;
[68e357e]107 hr_config_t *cfg;
108 hr_volume_t *new_volume;
109 ipc_call_t call;
[94d84a0]110
[68e357e]111 if (!async_data_write_receive(&call, &size)) {
112 async_answer_0(&call, EREFUSED);
113 async_answer_0(icall, EREFUSED);
[94d84a0]114 return;
115 }
116
[68e357e]117 if (size != sizeof(hr_config_t)) {
118 async_answer_0(&call, EINVAL);
119 async_answer_0(icall, EINVAL);
[94d84a0]120 return;
121 }
122
[68e357e]123 cfg = calloc(1, sizeof(hr_config_t));
124 if (cfg == NULL) {
125 async_answer_0(&call, ENOMEM);
126 async_answer_0(icall, ENOMEM);
[94d84a0]127 return;
128 }
129
[68e357e]130 rc = async_data_write_finalize(&call, cfg, size);
131 if (rc != EOK) {
[4dd650a]132 free(cfg);
[68e357e]133 async_answer_0(&call, rc);
134 async_answer_0(icall, rc);
[b0f1366]135 return;
[68e357e]136 }
[94d84a0]137
[e47a032]138 /*
139 * If there was a missing device provided
140 * for creation of a new array, abort
141 */
142 if (!assemble) {
143 for (i = 0; i < cfg->dev_no; i++) {
144 if (cfg->devs[i] == 0) {
[d199a6f]145 HR_ERROR("missing device provided for array "
[5d96f427]146 "creation, aborting");
[e47a032]147 free(cfg);
148 async_answer_0(icall, EINVAL);
149 return;
150 }
151 }
152 }
153
[68e357e]154 new_volume = calloc(1, sizeof(hr_volume_t));
[94d84a0]155 if (new_volume == NULL) {
[b0f1366]156 free(cfg);
157 async_answer_0(icall, ENOMEM);
158 return;
[94d84a0]159 }
160
[bc3d695]161 hr_fpool_t *fge = hr_fpool_create(16, 32, sizeof(hr_io_t));
162 if (fge == NULL) {
163 free(new_volume);
164 free(cfg);
165 async_answer_0(icall, ENOMEM);
166 return;
167 }
168 new_volume->fge = fge;
169
[68c966e]170 str_cpy(new_volume->devname, HR_DEVNAME_LEN, cfg->devname);
[dbd91da]171 for (i = 0; i < cfg->dev_no; i++)
172 new_volume->extents[i].svc_id = cfg->devs[i];
[68e357e]173 new_volume->level = cfg->level;
[65706f1]174 new_volume->extent_no = cfg->dev_no;
[68e357e]175
[c997374]176 if (assemble) {
[50bed55d]177 if (cfg->level != HR_LVL_UNKNOWN)
[d199a6f]178 HR_WARN("level manually set when assembling, ingoring");
[50bed55d]179 new_volume->level = HR_LVL_UNKNOWN;
[c997374]180 }
181
[b0f1366]182 rc = hr_init_devs(new_volume);
183 if (rc != EOK) {
184 free(cfg);
[4dd650a]185 free(new_volume);
[b0f1366]186 async_answer_0(icall, rc);
187 return;
188 }
189
[c997374]190 if (assemble) {
191 /* just bsize needed for reading metadata later */
192 rc = hr_check_devs(new_volume, NULL, &new_volume->bsize);
193 if (rc != EOK)
194 goto error;
195
[066fed9]196 rc = hr_fill_vol_from_meta(new_volume);
[c997374]197 if (rc != EOK)
198 goto error;
199 }
200
[68e357e]201 switch (new_volume->level) {
[50bed55d]202 case HR_LVL_1:
[ea0d494]203 if (!assemble)
[37a9c1e]204 new_volume->layout = 0x00; /* XXX: yet unused */
[94d84a0]205 new_volume->hr_ops.create = hr_raid1_create;
[6b8e89b0]206 new_volume->hr_ops.init = hr_raid1_init;
[7b359f5]207 new_volume->hr_ops.status_event = hr_raid1_status_event;
[5b320ac]208 new_volume->hr_ops.add_hotspare = hr_raid1_add_hotspare;
[94d84a0]209 break;
[50bed55d]210 case HR_LVL_0:
[ea0d494]211 if (!assemble)
[37a9c1e]212 new_volume->layout = 0x00;
[a8b2d9e7]213 new_volume->hr_ops.create = hr_raid0_create;
[6b8e89b0]214 new_volume->hr_ops.init = hr_raid0_init;
[7b359f5]215 new_volume->hr_ops.status_event = hr_raid0_status_event;
[a8b2d9e7]216 break;
[50bed55d]217 case HR_LVL_4:
[ea0d494]218 if (!assemble)
[37a9c1e]219 new_volume->layout = HR_RLQ_RAID4_N;
[241c3f6]220 new_volume->hr_ops.create = hr_raid5_create;
221 new_volume->hr_ops.init = hr_raid5_init;
222 new_volume->hr_ops.status_event = hr_raid5_status_event;
223 new_volume->hr_ops.add_hotspare = hr_raid5_add_hotspare;
[4a2a6b8b]224 break;
[50bed55d]225 case HR_LVL_5:
[ea0d494]226 if (!assemble)
[37a9c1e]227 new_volume->layout = HR_RLQ_RAID5_NR;
[dceb6e7]228 new_volume->hr_ops.create = hr_raid5_create;
229 new_volume->hr_ops.init = hr_raid5_init;
[7b359f5]230 new_volume->hr_ops.status_event = hr_raid5_status_event;
[aa7864b]231 new_volume->hr_ops.add_hotspare = hr_raid5_add_hotspare;
[dceb6e7]232 break;
[94d84a0]233 default:
[d199a6f]234 HR_ERROR("unkown level: %d, aborting\n", new_volume->level);
[94d84a0]235 rc = EINVAL;
[b0f1366]236 goto error;
[94d84a0]237 }
238
[c997374]239 if (!assemble) {
240 new_volume->hr_ops.init(new_volume);
241 if (rc != EOK)
242 goto error;
[b0f1366]243
[c997374]244 rc = hr_write_meta_to_vol(new_volume);
245 if (rc != EOK)
246 goto error;
[b0f1366]247 }
248
[bc3d695]249 fibril_mutex_initialize(&new_volume->lock); /* XXX: will remove this */
250
251 fibril_mutex_initialize(&new_volume->halt_lock);
252 new_volume->halt_please = false;
253
254 fibril_rwlock_initialize(&new_volume->extents_lock);
255 fibril_rwlock_initialize(&new_volume->states_lock);
[abc2c4b]256
[58d82fa]257 fibril_mutex_initialize(&new_volume->hotspare_lock);
258
[57110ac8]259 list_initialize(&new_volume->range_lock_list);
260 fibril_mutex_initialize(&new_volume->range_lock_list_lock);
261
[5ee041e]262 fibril_mutex_initialize(&new_volume->deferred_list_lock);
263 list_initialize(&new_volume->deferred_invalidations_list);
264
[58d82fa]265 atomic_init(&new_volume->rebuild_blk, 0);
[401b9e42]266 atomic_init(&new_volume->state_changed, false);
267 atomic_init(&new_volume->pending_invalidation, false);
[58d82fa]268
[b0f1366]269 rc = new_volume->hr_ops.create(new_volume);
270 if (rc != EOK)
271 goto error;
272
[94d84a0]273 fibril_mutex_lock(&hr_volumes_lock);
274 list_append(&new_volume->lvolumes, &hr_volumes);
275 fibril_mutex_unlock(&hr_volumes_lock);
276
[c997374]277 if (assemble) {
[d199a6f]278 HR_DEBUG("assembled volume \"%s\" (%" PRIun ")\n",
[c997374]279 new_volume->devname, new_volume->svc_id);
280 } else {
[d199a6f]281 HR_DEBUG("created volume \"%s\" (%" PRIun ")\n",
[c997374]282 new_volume->devname, new_volume->svc_id);
283 }
[94d84a0]284
[68e357e]285 free(cfg);
[94d84a0]286 async_answer_0(icall, rc);
[b0f1366]287 return;
288error:
289 free(cfg);
[bc3d695]290 free(fge);
[b0f1366]291 hr_fini_devs(new_volume);
[4dd650a]292 free(new_volume);
[b0f1366]293 async_answer_0(icall, rc);
[94d84a0]294}
295
[a19d7fc4]296static void hr_stop_srv(ipc_call_t *icall)
297{
[d199a6f]298 HR_DEBUG("hr_stop_srv()\n");
[a19d7fc4]299
[cf28ffd3]300 errno_t rc = EOK;
[a19d7fc4]301 service_id_t svc_id;
[cf28ffd3]302 long fail_extent;
[a19d7fc4]303 hr_volume_t *vol;
304
305 svc_id = ipc_get_arg1(icall);
[bf0a791]306 fail_extent = (long)ipc_get_arg2(icall);
[a19d7fc4]307
308 vol = hr_get_volume(svc_id);
309 if (vol == NULL) {
310 async_answer_0(icall, ENOENT);
311 return;
312 }
313
[cf28ffd3]314 if (fail_extent == -1) {
315 rc = hr_remove_volume(svc_id);
316 if (rc != EOK) {
317 async_answer_0(icall, rc);
318 return;
319 }
320 rc = loc_service_unregister(hr_srv, svc_id);
321 } else {
[58d82fa]322 fibril_rwlock_write_lock(&vol->states_lock);
323 fibril_rwlock_read_lock(&vol->extents_lock);
[401b9e42]324
325 /* TODO: maybe expose extent state callbacks */
[cf28ffd3]326 hr_update_ext_status(vol, fail_extent, HR_EXT_FAILED);
[401b9e42]327 atomic_store(&vol->state_changed, true);
328
[58d82fa]329 fibril_rwlock_read_unlock(&vol->extents_lock);
330 fibril_rwlock_write_unlock(&vol->states_lock);
[7b359f5]331
332 vol->hr_ops.status_event(vol);
[a19d7fc4]333 }
334 async_answer_0(icall, rc);
335}
336
[5b320ac]337static void hr_add_hotspare_srv(ipc_call_t *icall)
338{
339 HR_DEBUG("hr_add_hotspare()\n");
340
341 errno_t rc = EOK;
342 service_id_t vol_svc_id;
343 service_id_t hotspare;
344 hr_volume_t *vol;
345
346 vol_svc_id = ipc_get_arg1(icall);
347 hotspare = ipc_get_arg2(icall);
348
349 vol = hr_get_volume(vol_svc_id);
350 if (vol == NULL) {
351 async_answer_0(icall, ENOENT);
352 return;
353 }
354
355 if (vol->hr_ops.add_hotspare == NULL) {
356 HR_DEBUG("hr_add_hotspare(): not supported on RAID level %d\n",
357 vol->level);
358 async_answer_0(icall, ENOTSUP);
359 return;
360 }
361
362 rc = vol->hr_ops.add_hotspare(vol, hotspare);
363
364 async_answer_0(icall, rc);
365}
366
[095a989]367static void hr_print_status_srv(ipc_call_t *icall)
368{
[d199a6f]369 HR_DEBUG("hr_status_srv()\n");
[095a989]370
371 errno_t rc;
372 size_t vol_cnt = 0;
373 hr_vol_info_t info;
374 ipc_call_t call;
375 size_t size;
376
377 fibril_mutex_lock(&hr_volumes_lock);
378
379 vol_cnt = list_count(&hr_volumes);
380
381 if (!async_data_read_receive(&call, &size)) {
382 rc = EREFUSED;
383 goto error;
384 }
385
386 if (size != sizeof(size_t)) {
387 rc = EINVAL;
388 goto error;
389 }
390
391 rc = async_data_read_finalize(&call, &vol_cnt, size);
392 if (rc != EOK)
393 goto error;
394
[b235c67]395 list_foreach(hr_volumes, lvolumes, hr_volume_t, vol) {
396 memcpy(info.extents, vol->extents,
[dfa2313]397 sizeof(hr_extent_t) * HR_MAX_EXTENTS);
[5b320ac]398 memcpy(info.hotspares, vol->hotspares,
399 sizeof(hr_extent_t) * HR_MAX_HOTSPARES);
[b235c67]400 info.svc_id = vol->svc_id;
[65706f1]401 info.extent_no = vol->extent_no;
[5b320ac]402 info.hotspare_no = vol->hotspare_no;
[b235c67]403 info.level = vol->level;
[b0f1366]404 /* print usable number of blocks */
[b235c67]405 info.nblocks = vol->data_blkno;
406 info.strip_size = vol->strip_size;
407 info.bsize = vol->bsize;
408 info.status = vol->status;
[37a9c1e]409 info.layout = vol->layout;
[095a989]410
411 if (!async_data_read_receive(&call, &size)) {
412 rc = EREFUSED;
413 goto error;
414 }
415
416 if (size != sizeof(hr_vol_info_t)) {
417 rc = EINVAL;
418 goto error;
419 }
420
421 rc = async_data_read_finalize(&call, &info, size);
422 if (rc != EOK)
423 goto error;
424 }
425
426 fibril_mutex_unlock(&hr_volumes_lock);
427 async_answer_0(icall, EOK);
428 return;
429error:
430 fibril_mutex_unlock(&hr_volumes_lock);
431 async_answer_0(&call, rc);
432 async_answer_0(icall, rc);
433}
434
[94d84a0]435static void hr_ctl_conn(ipc_call_t *icall, void *arg)
436{
[d199a6f]437 HR_DEBUG("hr_ctl_conn()\n");
[94d84a0]438
439 async_accept_0(icall);
440
441 while (true) {
442 ipc_call_t call;
443 async_get_call(&call);
444 sysarg_t method = ipc_get_imethod(&call);
445
446 if (!method) {
447 async_answer_0(&call, EOK);
448 return;
449 }
450
451 switch (method) {
452 case HR_CREATE:
[c997374]453 hr_create_srv(&call, false);
[94d84a0]454 break;
[b0f1366]455 case HR_ASSEMBLE:
[c997374]456 hr_create_srv(&call, true);
[b0f1366]457 break;
[a19d7fc4]458 case HR_STOP:
459 hr_stop_srv(&call);
460 break;
[5b320ac]461 case HR_ADD_HOTSPARE:
462 hr_add_hotspare_srv(&call);
463 break;
[a19d7fc4]464 case HR_STATUS:
465 hr_print_status_srv(&call);
466 break;
[94d84a0]467 default:
468 async_answer_0(&call, EINVAL);
469 }
470 }
471}
472
473static void hr_client_conn(ipc_call_t *icall, void *arg)
474{
[d199a6f]475 HR_DEBUG("hr_client_conn()\n");
[94d84a0]476
477 hr_volume_t *vol;
478
[da5c257]479 service_id_t svc_id = ipc_get_arg2(icall);
[94d84a0]480
481 if (svc_id == ctl_sid) {
482 hr_ctl_conn(icall, arg);
483 } else {
[d199a6f]484 HR_DEBUG("bd_conn()\n");
[94d84a0]485 vol = hr_get_volume(svc_id);
486 if (vol == NULL)
487 async_answer_0(icall, EINVAL);
488 bd_conn(icall, &vol->hr_bds);
489 }
490}
491
492int main(int argc, char **argv)
493{
494 errno_t rc;
495
496 printf("%s: HelenRAID server\n", NAME);
497
498 rc = log_init(NAME);
499 if (rc != EOK) {
500 printf("%s: failed to initialize logging\n", NAME);
501 return 1;
502 }
503
504 fibril_mutex_initialize(&hr_volumes_lock);
505 list_initialize(&hr_volumes);
506
507 async_set_fallback_port_handler(hr_client_conn, NULL);
508
509 rc = loc_server_register(NAME, &hr_srv);
510 if (rc != EOK) {
[d199a6f]511 HR_ERROR("failed registering server: %s", str_error(rc));
[94d84a0]512 return EEXIST;
513 }
514
515 rc = loc_service_register(hr_srv, SERVICE_NAME_HR, &ctl_sid);
516 if (rc != EOK) {
[d199a6f]517 HR_ERROR("failed registering service: %s", str_error(rc));
[94d84a0]518 return EEXIST;
519 }
520
521 printf("%s: accepting connections\n", NAME);
522 task_retval(0);
523 async_manager();
524
525 return 0;
526}
527
528/** @}
529 */
Note: See TracBrowser for help on using the repository browser.