기본 콘텐츠로 건너뛰기

집합의 정의

원문 보기:  https://dawoum.duckdns.org/wiki/집합의_정의 Main article: Set (mathematics) 집합 (set)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모임을 말합니다. 이때 집합을 이루는 대상 하나하나를 그 집합의 원소(element)라고 합니다. 어떤 대상이 집합의 원소인지는 애매하지 않고 명확해야 하며, 속하거나 그렇지 않거나 반드시 하나여야만 합니다. 또한, 집합의 원소들은 서로 다르며, 같은 원소가 여러 개 있을 수는 없습니다. 집합의 원소들 사이에는 대소 관계나 선후 관계와 같은, 순서에 따른 구분이 없으며, 덧셈이나 곱셈과 같은 연산이 주어지지 않습니다. 대개 집합은 대문자 \(A,B,C,\cdots\)로 표기하며, 원소는 소문자 \(a,b,c,\cdots\)로 표기합니다. 또한, \(x\)가 집합 \(A\)의 원소라는 것은 \(x\)가 \(A\)에 속한다 고도 하며, 기호로는 \(x \in A\)로도 나타냅니다. 반면에, 기호 \(\notin\)는 \(x \notin A\)과 같은 형식으로 쓰이며, \(x\)가 \(A\)의 원소가 아니다 라는 것을 의미합니다. 집합의 표현 집합을 표현하는 방법에는 집합에 속하는 원소를 직접 나열하는 원소나열법, 집합에 속하는 원소들이 만족하여야 하는 조건을 제시하는 조건제시법, 문자를 쓰는 대신 도형을 그려 나타내는 오일러 다이어그램이 있습니다. 원소 나열법 원소 나열법 은 집합의 원소를 나열하여 집합을 표현하는 방법으로써, \(\{\;\}\) 안에 원소를 쉼표 ','로 구별하여 나열합니다. 만약 많은 원소를 나열해야 하거나 무한개의 원소를 표현해야 하는 경우에는, 그 중의 일부를 나열하고 남은 원소는 줄임표 '\(\cdots\)'를 사용하여 유추할 수 있게끔 합니다. \(\{1, 2, 3, \cdots, 100\}\)은 1부터 100까지의 자연수의 집합입니다. \(\{2, 4, 6, 8, \cdots\}\)은 양의 짝수의 ...
댓글 쓰기

zram

원문 보기: https://dawoum.duckdns.org/wiki/Zram 

Original article: w:Zram
This article is about the Linux kernel feature. For the memory hardware technology, see Z-RAM. For the Linux kernel compressed swap cache, see zswap.

zram은, 이전에 compcache라고 불렸으며, RAM에 압축된 블록 장치, 즉 램 디스크를 생성하기 위한 리눅스 커널 모듈이지만, 즉석 디스크 압축을 사용합니다. zram으로 생성된 블록 장치는 그런-다음 스왑 또는 일반적인-목적 램 디스크로 사용될 수 있습니다. zram에 대해 가장 공통적인 두 가지 용도는 임시 파일 (/tmp)의 저장과 스왑 장치입니다. 초기에는, zram은 오직 후자의 기능을 가졌었고, 따라서 원래 이름은 "compcache" ("압축된 캐시")였습니다.

Linux kernel module

리눅스의 드라이버 스테이징 영역에서 4년을 보낸 후에, zram은 2014년 3월 30일에 출시된 버전 3.14에서 메인라인 리눅스 커널에 도입되었습니다. (2014년 6월 8일에 출시된) 리눅스 커널 버전 3.15부터, zram은 다중 압축 스트림과 다중 압축 알고리듬을 지원합니다. 압축 알고리듬은 DEFLATE (DEFLATE), LZ4 (LZ4, 및 LZ4HC "높은 압축"), LZO (LZO-RLE "실행-길이 인코딩"), Zstandard (ZSTD), 842 (842)를 포함합니다. 커널 5.1부터, 기본값은 LZO-RLE이며, 이것은 속도와 비율의 균형을 이룹니다. 대부분의 다른 시스템 매개 변수와 마찬가지로, 압축 알고리듬은 sysfs를 통해 선택될 수 있습니다.

압축된 스왑 공간으로 사용될 때, zram은 zswap과 유사하며, 이것은 범용 램 디스크가 아니라, 스왑 페이지에 대해 커널-내 압축된 캐시입니다. zswap이 도입될 때까지[when?], zswap과 달리, zram은 하드 디스크를 백업 저장소로 사용할 수 없습니다. 즉, 그것은 자주 사용하지 않는 페이지를 디스크로 이동할 수 없습니다. 다른 한편으로, zswap은 백업 저장소가 요구하지만, zram은 그렇지 않습니다.

스왑에 대해 사용할 때, (zswap과 마찬가지로) zram은 리눅스에서 램의 보다 효율적인 사용을 만드는 것을 허용하는데, 왜냐하면 운영 시스템은 만약 같은 양의 RAM이 응용 프로그램 메모리 또는 디스크 캐시로 사용되면 압축된 스왑에서 그때에 메모리의 더 많은 페이지를 보유할 수 있기 때문입니다. 이것은 메모리가 많지 않은 기계에서 특히 효과적입니다. 2012년에, 우분투는 설치된 램의 적은 양을 갖는 컴퓨터에서 기본값으로 zram을 활성화하는 것을 잠시 고려했습니다.

zram 및 zswap으로 압축된 스왑 공간은 임베디드 장치 및 넷북과 같은 저가형 하드웨어 장치에 대해 역시 이점을 제공합니다. 그러한 장치는 보통 쓰기 증폭으로 인해 수명이 제한된 플래시-기반 스토리지를 사용하고, 역시 그것을 스왑 공간을 제공하기 위해 사용합니다. zram 사용으로 인한 스왑 사용량 감소는 그러한 플래시-기반 저장소에 가해지는 마모를 효과적으로 줄여 사용 수명을 연장시킵니다. 역시, zram은 스와핑을 요구하는 리눅스 시스템에 대해 크게 감소된 I/O의 결과를 초래합니다.

구글의 크롬 OS는 2013년이래로 기본값으로 zram을 사용합니다. 안드로이드(Android)는 버전 4.4이래로 zram을 포함합니다. 루분투(Lubuntu)는 버전 13.10에서 역시 zram을 사용하기 시작했습니다.

최근에 페도라 33버전의 시험판에서 처음으로 스왑 파티션 또는 스왑 파일 대신에 zram을 사용합니다.

Enabling zram support in kernel

Original article: gentoo:Zram

커널 구성 파일에서 다음 옵션을 활성화해야 합니다:

Device Drivers  --->
    [*] Block devices  --->
        <M> Compressed RAM block device support
        [*]     lz4 compression support                         
        [*]     lz4hc compression support                  
        [*]     zstd compression support        
        [*]     deflate compression support
        [*]     842 compression support
        [*]     lzo and lzo-rle compression support
                Default zram compressor (lzo-rle)  --->
        [*] Write back incompressible or idle page to backing device 
        [*] Track zRam block status

zram은 로드 가능한 모듈로 빌드하는 것이 좋습니다. 이렇게 하면 zram 장치를 비활성화하고 새 매개변수로 모듈을 다시 로드하여 재부팅하지 않고도 zram 장치 수를 변경할 수 있습니다. 만약 zram이 내장되어 있지 않으면, 장치 수는 커널 부트 매개변수 zram.num_devices=#를 사용하여 부팅 시에만 변경할 수 있습니다. LZ4 압축 알고리즘을 사용하기 위해, 커널 구성에서 활성화하십시오:

Cryptographic API --->
    Compression --->
        <*> LZ4

Installation

데비안에서 zram을 사용하기 위해서는 패키지를 설치하고, 재시작함으로써 즉시 사용할 수 있습니다:

  • sudo apt install zram-tools

메모리를 확인하기 위한 free 명령에서는 기존의 스왑 파일 형식의 스왑과 zram 형식이 합해져서 표시됩니다.

  • free
              total        used        free      shared  buff/cache   available
Mem:        4002248      946080     2539876        9436      516292     2802888
Swap:       2946512           0     2946512

만약, 각각의 스왑을 확인하고 싶으면,

  • cat /proc/swaps
Filename				Type		Size	Used	Priority
/swapfile                               file		945416	0	-2
/dev/zram0                              partition	333516	0	5
/dev/zram1                              partition	333516	0	5
/dev/zram2                              partition	333516	0	5
/dev/zram3                              partition	333516	0	5
/dev/zram4                              partition	333516	0	5
/dev/zram5                              partition	333516	0	5

Configurations

설치 후에, 시스템을 재시작하면, 기본 설정에 따라 256M를 설정합니다:

  • cat /proc/swaps

필요에 따라, 크기를 퍼센트 또는 크기로 조절할 수 있습니다. 이것을 수정하기 위해, /etc/default/zramswap 파일에서 다음을 수정합니다:

  • PERCENT=50 (이건 실제 메모리의 50%를 사용한다는 의미입니다.)
  • SIZE=2048 (위의 것을 주석처리하고, 무조건 2G를 사용한다는 의미입니다.)

그런 다음 서비스를 재시작하고, 설정을 확인할 수 있습니다:

  • sudo systemctl restart zramswap.service
  • cat /proc/swaps

External links


라벨:

댓글

댓글 쓰기

이 블로그의 인기 게시물

리눅스 한글 입력기 (Wayland 편)

원문 보기: https://dawoum.duckdns.org/wiki/한글 입력기/On_Wayland 최근 소프트웨어들의 버전 업그레이드로 인해, X11에서도 님프 입력기에서 문제들이 발생하고 있습니다. 따라서 이제는 X11이든, Wayland이든 kime을 사용하는 것이 바람직해 보입니다!! 리눅스 생태계에서 X11에서 Wayland로의 전환은 여러 가지 새로운 장점과 단점을 만들어 냅니다. 일반 사용자들은 이런 전환이 가진 장점에 열광하기도 하지만 기존에 작동하는 메커니즘이 작동하지 않을 때 더욱 불만을 표출합니다. 리눅스에서 가장 큰 문제점은 한글 입력에 있습니다. 그러나, 이 문제는 거의 한국 사람들에 국한된 문제입니다. 물론, 중국과 일본도 비슷한 처지에 있어서 CJK로 묶어서 얘기가 되지만, 한글은 다른 두 언어에 비해 더 고려할 사항이 있어서 한글 입력기 개발에 어려움이 더해진다고 알려져 있습니다. 이런 상황 아래에서, kime과 nimf는 최근에 한국에서 개발된 두 개의 한글 입력기입니다. 먼저, 개인적인 경험을 기반으로 결론부터 얘기하자면, X11에서는 nimf를 추천합니다. Wayland에서는 kime을 추천합니다. 이유는 간단하게도, X11에서는 nimf가 더 많은 프로그램에서 올바르게 동작했지만, Wayland에서는 X11에서 잘 입력되던 프로그램에서 입력이 되지 않거나 잘못 입력되는 경우가 발생합니다. 반면에 kime은 Wayland에서 nimf가 입력하지 못하는 프로그램에서 입력이 되거나 잘못 입력되던 것이 제대로 입력되는 경우가 있기 때문입니다. 예를 들어, 그놈 Wayland에서 적어도 아래의 현상이 있습니다: gnome-calendar : nimf 입력기 전환 안됨. kime 정상 작동. nimf 이 문제는 gooroom에서 제공되는 gtk4 패치를 이용해 보십시오. kakaotalk (bottles: wine) : nimf 마지막 점을 찍으면 마지막 글자 앞에 찍힘. kime 정상 작동. alac...
댓글 쓰기
자세한 내용 보기

Btrfs 압축 수준 설정

원문 보기:  https://dawoum.duckdns.org/wiki/Btrfs 보통, 마운트 옵션에서 compress=zstd를 사용할 경우에 압축 레벨 3를 사용하고, HDD와 느린 플래시 스토리지에 적합하다고 알려져 있습니다. 좀 더 빠른 SATA SSD는 압축 레벨 2가 적당하고, NVME는 압축 레벨 1이 적당하다고 합니다: Yup, this is it. On slow storage higher compression levels tend to yield higher total storage throughput because you spend less time bound by slow storage bandwidth, instead you spend CPU time compressing/decompressing that data. The rick is to pick a compression level that yields greater total throughput than storage bandwidth can accommodate on its own. This approach works well on bandwidth limited storage like HDD pools, slow flash nand, flash nand attached to the system via slow USB, etc. On the flip side you don't want to constrain high bandwidth storage by sending data through a compression algorithm that limits throughput so lower compression levels (like zstd:1 on nvme storage, or zstd:2 on fast SATA SSDs) are usually safe choices. —  seaQueue, Btrfs compress level, https://...
댓글 쓰기
자세한 내용 보기

리눅스 한글 입력기

원문 보기:  https://dawoum.duckdns.org/wiki/한글_입력기 컴퓨터에서 한글을 입력하기 위해서 한글 입력기가 필요합니다. 리눅스 배포판마다 기본으로 설치되는 입력기가 있지만, 설치 후에 바로 한글 입력이 가능한 경우는 드뭅니다. 배포판의 설치 후에, 바로 한글 입력이 가능하려면, 적어도 언어를 한국어 ( Korean )로 선택해야 합니다. 그러나, 대부분의 배포판은 설치시에 한국어 ( Korean )를 선택하더라도 별도로 설정을 해야 한글 입력이 가능합니다. 게다가, 배포판이 기본으로 제공하는 데스크탑 환경에 따라 한글 입력기 설정이 다를 수 있습니다. 아래의 입력기는 사용 당시 일부 문제점이 발견되었고, 현재 문제가 남아 있는지 확인을 하지 않았습니다. 또한, snapd와 flatpak 아래에 설치된 프로그램들도 ibus에서 한글 입력이 입력될 가능성이 있고, 나머지에서는 지원이 되지 않는 것으로 알려져 있습니다. 다른 입력기에서 입력이 되는 것처럼 보이는 것은 ibus와 해당 입력기가 동시에 동작하고 있을 가능성이 있습니다. 한글 입력기 문제들 보고 장소 한글 입력기를 사용하면서, 만날 수 있는 문제는 아래에서 볼 수 있습니다: https://github.com/korean-input/issues 이미 보고된 내용 외에도 문제가 있는 분들은 같은 장소에 내용을 기록해 둘 필요가 있습니다. kime 한글 입력기(Korean ime)를 줄여서 만든 kime은 Rust로 작성되었습니다. 아래에서 소스를 볼 수 있습니다: https://github.com/Riey/kime 개별적인 설정을 수정 또는 추가하기 위해, 패키지에서 제공된 설정 파일을 사용자 설정으로 복사할 필요가 있습니다: mkdir -p ~/.config/kime cp /usr/share/doc/kime/default_config.yaml ~/.config/kime/config.yaml 예를 들어, 한/영 전환이 기본적으로 오른쪽 Alt 로 동작하는 ...
댓글 쓰기
자세한 내용 보기