👩🏽‍🔬 🧑🏾‍🤝‍🧑🏻 🖕🏽 Una introducción a ARC / ORC en Nim ✴️ 🐉 🏑

Nim se está moviendo hacia modelos de administración de memoria más eficientes: ARC y ORC. Averigüemos exactamente cómo cambiarán la forma en que funciona con la memoria.

Introducción

¡Hola! En este artículo, intentaré explicar qué son ARC y ORC y cómo afectarán el rendimiento u otras partes de Nim. No profundizaré en los aspectos de la parte del software, pero intentaré dar una explicación más o menos de alto nivel.

Empecemos desde lejos: Nim siempre ha sido un lenguaje recolector de basura (GC). Por supuesto, el GC se puede apagar, pero luego, cuando se trabaja con la mayor parte de la biblioteca estándar ( y es bastante grande ), se producirá una pérdida de memoria.

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. .

! — , !

/ :

Una introducción a ARC / ORC en Nim

Introducción

ARC?

ORC — Nim

! ?

More articles: