🚊 🚣 😧 NimでのARC / ORCの概要 ❤️ 🍉 📇

Nimは、より効率的なメモリ管理モデルであるARCとORCに移行しています。それらがメモリでの動作方法をどのように変えるかを正確に調べてみましょう。

前書き

こんにちは！この記事では、ARCとORCとは何か、およびそれらがNimのパフォーマンスやその他の部分にどのように影響するかを説明しようと思います。ソフトウェア部分の側面については深く掘り下げませんが、多かれ少なかれ高レベルの説明をしようとします。

遠くから始めましょう：Nimは常にガベージコレクター（GC）言語でした。もちろん、GCをオフにすることもできますが、ほとんどの標準ライブラリ（およびそれはかなり大きい）で作業する場合、メモリがリークします。

GC Nim refc ( mark & sweep ), , markAndSweep, boehm, go, regions.

Nim' , , (owned ref) :

, Nim ARC

ARC?

ARC , (Automatic Reference Counting) (move semantics). , ARC Nim , ARC Swift, — Nim ARC .

. ( runtime) , . , .

ARC GC Nim , ARC — (, , , .), . ARC C++ (RAII)

, , ARC expandArc, Nim 1.4.

Nim:

proc main = 
  let mystr = stdin.readLine()

  case mystr
  of "":
    echo "!"
  of "":
    echo "!"
    quit()
  else:
    discard

main()

nim c --gc:arc --expandArc:main example.nim.

--expandArc: main

var mystr
try:
  mystr = readLine(stdin)
  case mystr
  of "":
    echo ["!"]
  of "":
    echo ["!"]
    quit(0)
  else:
    discard
finally:
  `=destroy`(mystr)
-- end of expandArc ------------------------

— Nim main try: finally ( finally , try ) =destroy mystr, .

ARC: (scope-based MM). — . , , , . Nim' : , , , , block, for while .

ARC hooks — , , // . , , , FFI.

refc ARC ( ):

( ) — .
— , .
— refc, (thread-local heap), ARC . — . RFC , ARC.
FFI — , refc "" (.. ) , ARC. , ARC , (.dll, .so, Python' )
— hard realtime
(copy elision), Nim (cursor inference) — ()

, ARC Nim , , , .

, ARC , , , --gc:arc, (.nims .cfg).

! - ? ARC , , , . — , , . : 3 (A, B, C), , :

, , — , , .

Nim' mark & sweep refc GC, ARC - . :

ORC — Nim

ORC , ARC. GC, (local tracing phase) GC, (global tracing).

async Nim ORC, Nim' , .

ORC ARC () — ORC , hard realtime ( ) — .

ORC --gc:orc, , ORC GC Nim'

! ?

— — Nim 1.4. .

! — , !

/ :

NimでのARC / ORCの概要

前書き

ARC?

ORC — Nim

! ?

More articles: