fmt

Author: tas0dev

docs/users/README.md

@@ -0,0 +1,24 @@
+この章では、LiteCoreにおけるユーザーシステムの概要について説明します。
+
+## 概要
+ユーザーシステムは、System, Admin, Userの3つのユーザーモードで構成されており、それぞれ異なる権限レベルを持っています。Systemモードは最も高い権限を持ち、システム全体の管理を行います。Adminモードは、System以下Admin以上です。Userモードは一般的なユーザー操作を担当します。
+
+各ユーザーには、users/ユーザー名 ディレクトリが割り当てられます。ただし、Systemユーザーには専用のディレクトリはありません。Adminユーザーには admin ディレクトリが割り当てられ、Userユーザーには username1, username2, ... といったディレクトリが割り当てられます。
+
+ユーザーの権限ごとに可能な操作は以下の通りです：
+- Systemユーザー: システム全体の管理、ユーザーアカウントの作成・削除など、すべての操作。
+- Adminユーザー: ユーザーアカウントの管理や、危険な操作（システムファイルの編集・削除など）。
+- Userユーザー: 自身のファイルの作成・編集・削除、アプリケーションの実行など。
+ユーザーシステムは、セキュリティと管理の観点から重要な役割を果たしており、適切な権限管理が求められます。
+
+各ユーザーのログイン情報は、/data/passファイルに保存されます。このファイルには、ユーザー名、パスワード（ハッシュ化された形式）、権限の情報が含まれています。
+passファイルのフォーマットは以下の通りです：
+```
+username:hashed_pass:permission_level
+```
+
+ここで、usernameはユーザー名、hashed_passはハッシュ化されたパスワード、permission_levelはユーザーの権限レベル（System, Admin, User）を示します。
+
+ユーザーは、ログイン時にユーザー名とパスワードを入力し、システムはpassファイルを参照して認証を行います。認証に成功すると、対応するユーザーディレクトリにアクセスできるようになります。
+
+/data/passファイルの管理は、AdminユーザーおよびSystemユーザーのみが行うことができます。

src/include/driver/timer/apic.h

@@ -8,32 +8,32 @@
 #define APIC_BASE_DEFAULT 0xFEE00000
 
 /* APIC レジスタオフセット */
-#define APIC_ID            0x020   /* Local APIC ID */
-#define APIC_VERSION       0x030   /* Local APIC Version */
-#define APIC_TPR           0x080   /* Task Priority Register */
-#define APIC_EOI           0x0B0   /* End Of Interrupt */
-#define APIC_LDR           0x0D0   /* Logical Destination Register */
-#define APIC_DFR           0x0E0   /* Destination Format Register */
-#define APIC_SPURIOUS      0x0F0   /* Spurious Interrupt Vector Register */
-#define APIC_ESR           0x280   /* Error Status Register */
-#define APIC_TIMER_LVT     0x320   /* LVT Timer Register */
-#define APIC_TIMER_INIT    0x380   /* Timer Initial Count */
-#define APIC_TIMER_CURRENT 0x390   /* Timer Current Count */
-#define APIC_TIMER_DIV     0x3E0   /* Timer Divide Configuration */
+#define APIC_ID 0x020 /* Local APIC ID */
+#define APIC_VERSION 0x030 /* Local APIC Version */
+#define APIC_TPR 0x080 /* Task Priority Register */
+#define APIC_EOI 0x0B0 /* End Of Interrupt */
+#define APIC_LDR 0x0D0 /* Logical Destination Register */
+#define APIC_DFR 0x0E0 /* Destination Format Register */
+#define APIC_SPURIOUS 0x0F0 /* Spurious Interrupt Vector Register */
+#define APIC_ESR 0x280 /* Error Status Register */
+#define APIC_TIMER_LVT 0x320 /* LVT Timer Register */
+#define APIC_TIMER_INIT 0x380 /* Timer Initial Count */
+#define APIC_TIMER_CURRENT 0x390 /* Timer Current Count */
+#define APIC_TIMER_DIV 0x3E0 /* Timer Divide Configuration */
 
 /* APIC Timer モード */
-#define APIC_TIMER_MODE_ONESHOT  0x00000000
+#define APIC_TIMER_MODE_ONESHOT 0x00000000
 #define APIC_TIMER_MODE_PERIODIC 0x00020000
 #define APIC_TIMER_MODE_TSCDEADLINE 0x00040000
 
 /* APIC Timer 分周比 */
-#define APIC_TIMER_DIV_1   0x0B
-#define APIC_TIMER_DIV_2   0x00
-#define APIC_TIMER_DIV_4   0x01
-#define APIC_TIMER_DIV_8   0x02
-#define APIC_TIMER_DIV_16  0x03
-#define APIC_TIMER_DIV_32  0x08
-#define APIC_TIMER_DIV_64  0x09
+#define APIC_TIMER_DIV_1 0x0B
+#define APIC_TIMER_DIV_2 0x00
+#define APIC_TIMER_DIV_4 0x01
+#define APIC_TIMER_DIV_8 0x02
+#define APIC_TIMER_DIV_16 0x03
+#define APIC_TIMER_DIV_32 0x08
+#define APIC_TIMER_DIV_64 0x09
 #define APIC_TIMER_DIV_128 0x0A
 
 int apic_timer_init(void);

src/kernel/device/keyboard.c

@@ -165,7 +165,7 @@ void keyboard_init(void) {
 
 void keyboard_poll(void) {
 	kbd_isr(0, NULL);
-	
+
 	// シリアル入力もポーリング
 	char c;
 	while ((c = serial_getc_nonblock()) != 0) {

src/kernel/driver/timer/apic.c

@@ -21,15 +21,17 @@ static int apic_initialized = 0;
  * @brief APICレジスタを読み取る
  */
 static inline uint32_t apic_read(uint32_t reg) {
-	if (!apic_base) return 0;
+	if (!apic_base)
+		return 0;
 	return *(volatile uint32_t *)((uint8_t *)apic_base + reg);
 }
 
 /**
  * @brief APICレジスタに書き込む
  */
 static inline void apic_write(uint32_t reg, uint32_t value) {
-	if (!apic_base) return;
+	if (!apic_base)
+		return;
 	*(volatile uint32_t *)((uint8_t *)apic_base + reg) = value;
 }
 
@@ -38,16 +40,14 @@ static inline void apic_write(uint32_t reg, uint32_t value) {
  */
 static int check_apic_support(void) {
 	uint32_t eax, edx;
-	
+
 	/* CPUID 機能 1: プロセッサ情報と機能ビット */
-	__asm__ volatile(
-		"movl $1, %%eax\n"
-		"cpuid\n"
-		: "=a"(eax), "=d"(edx)
-		:
-		: "ebx", "ecx"
-	);
-	
+	__asm__ volatile("movl $1, %%eax\n"
+			 "cpuid\n"
+			 : "=a"(eax), "=d"(edx)
+			 :
+			 : "ebx", "ecx");
+
 	/* EDXのビット9がAPICサポートを示す */
 	return (edx & (1 << 9)) ? 1 : 0;
 }
@@ -57,16 +57,14 @@ static int check_apic_support(void) {
  */
 static uint32_t get_apic_base(void) {
 	uint32_t eax, edx;
-	
+
 	/* MSR 0x1B (IA32_APIC_BASE) を読み取る */
-	__asm__ volatile(
-		"movl $0x1B, %%ecx\n"
-		"rdmsr\n"
-		: "=a"(eax), "=d"(edx)
-		:
-		: "ecx"
-	);
-	
+	__asm__ volatile("movl $0x1B, %%ecx\n"
+			 "rdmsr\n"
+			 : "=a"(eax), "=d"(edx)
+			 :
+			 : "ecx");
+
 	/* 下位12bitをマスクしてベースアドレスを取得 */
 	return eax & 0xFFFFF000;
 }
@@ -79,14 +77,16 @@ static uint32_t get_apic_base(void) {
 /**
  * @brief ACPI PM Timerの周波数（固定）
  */
-#define ACPI_PM_TIMER_FREQ 3579545  /* 3.579545 MHz */
+#define ACPI_PM_TIMER_FREQ 3579545 /* 3.579545 MHz */
 
 /**
  * @brief ACPI PM Timerから現在のカウント値を読み取る
  */
 static inline uint32_t read_acpi_pm_timer(void) {
 	uint32_t value;
-	__asm__ volatile("inl %1, %0" : "=a"(value) : "d"((uint16_t)ACPI_PM_TIMER_PORT));
+	__asm__ volatile("inl %1, %0"
+			 : "=a"(value)
+			 : "d"((uint16_t)ACPI_PM_TIMER_PORT));
 	return value & 0x00FFFFFF;
 }
 
@@ -95,15 +95,16 @@ static inline uint32_t read_acpi_pm_timer(void) {
  */
 static uint32_t calibrate_apic_timer(void) {
 	uint32_t target_ticks = ACPI_PM_TIMER_FREQ / 100; /* 10ms */
-	
+
 	/* APIC Timer を分周比16、最大値で開始 */
 	apic_write(APIC_TIMER_DIV, APIC_TIMER_DIV_16);
 	apic_write(APIC_TIMER_INIT, 0xFFFFFFFF);
-	
+
 	/* ACPI PM Timerの開始値を読み取る */
 	uint32_t pm_start = read_acpi_pm_timer();
-	uint32_t pm_end = (pm_start + target_ticks) & 0x00FFFFFF; /* 24bitでラップアラウンド */
-	
+	uint32_t pm_end = (pm_start + target_ticks) &
+			  0x00FFFFFF; /* 24bitでラップアラウンド */
+
 	/* ACPI PM Timerが目標値に達するまで待機 */
 	uint32_t pm_current;
 	if (pm_end > pm_start) {
@@ -117,18 +118,19 @@ static uint32_t calibrate_apic_timer(void) {
 			pm_current = read_acpi_pm_timer();
 		} while (pm_current >= pm_start || pm_current < pm_end);
 	}
-	
+
 	/* APICタイマーのカウントを読み取り */
 	uint32_t apic_elapsed = 0xFFFFFFFF - apic_read(APIC_TIMER_CURRENT);
-	
+
 	uint32_t freq = apic_elapsed * 100;
-	
+
 	if (freq < 100000 || freq > 100000000) {
 		/* 異常値の場合はデフォ値 */
-		printk("APIC Timer: Calibration failed (freq=%u), using default\n", freq);
+		printk("APIC Timer: Calibration failed (freq=%u), using default\n",
+		       freq);
 		return 2000000; /* 2 MHz */
 	}
-	
+
 	return freq;
 }
 
@@ -144,7 +146,7 @@ int apic_timer_init(void) {
 		printk("APIC Timer: CPU does not support APIC\n");
 		return -1;
 	}
-	
+
 	/* APICベースアドレスを取得 */
 	uint32_t base_addr = get_apic_base();
 	apic_base = (volatile uint32_t *)base_addr;
@@ -155,7 +157,7 @@ int apic_timer_init(void) {
 	/* APICを有効化 (Spurious Interrupt Vector Register) */
 	uint32_t spurious = apic_read(APIC_SPURIOUS);
 	spurious |= (1 << 8); /* APIC Software Enable */
-	spurious |= 0xFF;     /* Spurious Vector = 0xFF */
+	spurious |= 0xFF; /* Spurious Vector = 0xFF */
 	apic_write(APIC_SPURIOUS, spurious);
 
 #ifdef INIT_MSG
@@ -164,13 +166,13 @@ int apic_timer_init(void) {
 #endif
 	apic_timer_frequency = calibrate_apic_timer();
 #ifdef INIT_MSG
-	printk("APIC Timer: Frequency = %u Hz (%u MHz)\n", 
-	       apic_timer_frequency, apic_timer_frequency / 1000000);
+	printk("APIC Timer: Frequency = %u Hz (%u MHz)\n", apic_timer_frequency,
+	       apic_timer_frequency / 1000000);
 #endif
-	
+
 	/* タイマーをPeriodic モードで設定 */
 	apic_write(APIC_TIMER_DIV, APIC_TIMER_DIV_16); /* 分周比16 */
-	
+
 	/* ベクタ番号48、Periodicモード、割り込みマスクなし */
 	uint32_t lvt = APIC_TIMER_MODE_PERIODIC | 48;
 	apic_write(APIC_TIMER_LVT, lvt);
@@ -182,7 +184,8 @@ int apic_timer_init(void) {
 	apic_write(APIC_TIMER_INIT, init_count);
 
 #ifdef INIT_MSG
-	printk("APIC Timer: Running at 1000 Hz (initial count = %u)\n", init_count);
+	printk("APIC Timer: Running at 1000 Hz (initial count = %u)\n",
+	       init_count);
 #endif
 	boot_tick_count = 0;
 	current_tick_count = 0;
@@ -210,11 +213,12 @@ int apic_timer_available(void) {
 void apic_timer_tick(uint32_t irq, void *context) {
 	(void)irq;
 	(void)context;
-	
-	if (!apic_initialized) return;
-	
+
+	if (!apic_initialized)
+		return;
+
 	current_tick_count++;
-	
+
 	/* EOI (End of Interrupt) を送信 */
 	if (apic_base) {
 		apic_write(APIC_EOI, 0);
@@ -228,10 +232,10 @@ uint64_t apic_get_uptime_us(void) {
 	if (!apic_initialized) {
 		return 0;
 	}
-	
+
 	/* current_tick_count は1msごとに増加 */
 	uint64_t ticks = current_tick_count - boot_tick_count;
-	
+
 	/* ティック数をマイクロ秒に変換 (1 tick = 1ms = 1000us) */
 	return ticks * 1000ULL;
 }
@@ -243,7 +247,7 @@ uint64_t apic_get_uptime_ms(void) {
 	if (!apic_initialized) {
 		return 0;
 	}
-	
+
 	/* current_tick_count は1msごとに増加 */
 	return current_tick_count - boot_tick_count;
 }
@@ -259,11 +263,12 @@ uint32_t apic_timer_get_frequency(void) {
  * @brief 指定マイクロ秒だけ遅延
  */
 void apic_timer_delay_us(uint32_t us) {
-	if (!apic_initialized) return;
-	
+	if (!apic_initialized)
+		return;
+
 	uint64_t start = apic_get_uptime_us();
 	uint64_t target = start + us;
-	
+
 	while (apic_get_uptime_us() < target) {
 		__asm__ volatile("pause");
 	}

src/kernel/driver/timer/timer.c

@@ -2,23 +2,22 @@
 #include <interrupt/irq.h>
 #include <util/console.h>
 
-
 /**
  * @brief 指定されたマイクロ秒だけ待つ
  * @param us 待機時間（マイクロ秒）
  * @return 0 成功, -1 APICタイマー未初期化
  */
 int kwait(uint32_t us) {
-        if (!apic_timer_available()) {
-                return -1;
-        }
+	if (!apic_timer_available()) {
+		return -1;
+	}
+
+	uint64_t start = apic_get_uptime_us();
+	uint64_t target = start + us;
+
+	while (apic_get_uptime_us() < target) {
+		interrupt_dispatch_all();
+	}
 
-        uint64_t start = apic_get_uptime_us();
-        uint64_t target = start + us;
-        
-        while (apic_get_uptime_us() < target) {
-                interrupt_dispatch_all();
-        }
-        
-        return 0;
+	return 0;
 }

src/kernel/fs/ext/ext2.c

@@ -885,7 +885,8 @@ int ext2_list_dir(struct ext2_super *sb, struct ext2_inode *dir_inode) {
 		/* ブロックデータを読み取る（キャッシュ対応） */
 		uint8_t block_data[4096]; /* 最大ブロックサイズ */
 		if (sb->cache) {
-			if (block_cache_read(sb->cache, block_num, block_data) != 0)
+			if (block_cache_read(sb->cache, block_num,
+					     block_data) != 0)
 				break;
 		} else {
 			uint32_t block_offset = block_num * sb->block_size;
@@ -933,8 +934,8 @@ int ext2_list_dir(struct ext2_super *sb, struct ext2_inode *dir_inode) {
 					file_size = file_inode.i_size;
 				}
 
-				printk("  %-20s [%-7s] size: %u\n",
-				       name, type_str, inode, file_size);
+				printk("  %-20s [%-7s] size: %u\n", name,
+				       type_str, inode, file_size);
 			}
 
 			offset += rec_len;

src/kernel/interrupt/idt.c

@@ -77,7 +77,7 @@ void irq_handler_c(uint32_t vec) {
 	if (vec >= 32 && vec < 32 + 16) {
 		uint32_t irq = vec - 32;
 		interrupt_raise((irq << 16) | 0u);
-		
+
 		if (irq >= 8)
 			outb(PIC2_COMMAND, 0x20);
 		outb(PIC1_COMMAND, 0x20);