{ "@context":[ "https://www.w3.org/ns/activitystreams", {"Hashtag":"as:Hashtag"} ], "published":"2025-01-17T10:35:06.263Z", "attributedTo":"https://epiktistes.com/actors/toddsundsted", "replies":"https://epiktistes.com/objects/N6PziH_u8HY/replies", "to":["https://www.w3.org/ns/activitystreams#Public"], "cc":["https://epiktistes.com/actors/toddsundsted/followers"], "content":"
The Ktistec executable is now ~24.7% smaller and build times are 28% faster.
I've been blogging about optimizations here, here, and here. This is the summary of the final outcome, with links to commits for the curious. I have one more post planned with a summary of my thoughts.
Here's my approach. Use nm
to dump the symbols in a release build executable and then look for things that seem redundant. The first change and associated post below is a great example of what I mean—my original implementation led to the specialization of the #==
method for every pairwise combination of model classes even though the result of the comparison was just false
.
This might seem like a strange approach if you come from a compiled language where you mostly write all of the code yourself or invoke generics explicitly, but Crystal takes your code and does that for you. And it's not always obvious up front (to me, at least) what the final cost will be.
I've include counts of the lines added/removed because the point of this whole post is to say if you measure first and then optimize, a small change can have a big impact.
Here are the changes:
#==
. (+7 -5)Hash
. (+2 -2)__for_internal_use_only
that get passed both named tuples and hashes by going all in with named tuples. It also eliminates instantiations of the Hash
generic type itself for these cases. Reduces executable size by ~2.2%.__for_internal_use_only
entirely.InstanceMethods
instance methods. (+1 -5)map
from base ActivityPub model classes. (+10 -2)map
is a class method defined on each ActivityPub base model class. Each definition maps JSON-LD to a hash that is used to instantiate the class. Class methods defined on a base class are available on subclasses, as well. Calling the method on the subclass results in a copy of the method. This change reduces the executable size by ~5.8%.map
into helper. (+104 -88) map
method does not depend on class/instance state. This change ensures that the mapping code is not duplicated even if a subclass's map
method is accidentally again called. It looks like a lot of changes but this commit is mostly reorganization. It reduces executable size by ~0.4%.I'm off to optimize some queries now...
", "contentMap":{ "en-US":"The Ktistec executable is now ~24.7% smaller and build times are 28% faster.
I've been blogging about optimizations here, here, and here. This is the summary of the final outcome, with links to commits for the curious. I have one more post planned with a summary of my thoughts.
Here's my approach. Use nm
to dump the symbols in a release build executable and then look for things that seem redundant. The first change and associated post below is a great example of what I mean—my original implementation led to the specialization of the #==
method for every pairwise combination of model classes even though the result of the comparison was just false
.
This might seem like a strange approach if you come from a compiled language where you mostly write all of the code yourself or invoke generics explicitly, but Crystal takes your code and does that for you. And it's not always obvious up front (to me, at least) what the final cost will be.
I've include counts of the lines added/removed because the point of this whole post is to say if you measure first and then optimize, a small change can have a big impact.
Here are the changes:
#==
. (+7 -5)Hash
. (+2 -2)__for_internal_use_only
that get passed both named tuples and hashes by going all in with named tuples. It also eliminates instantiations of the Hash
generic type itself for these cases. Reduces executable size by ~2.2%.__for_internal_use_only
entirely.InstanceMethods
instance methods. (+1 -5)map
from base ActivityPub model classes. (+10 -2)map
is a class method defined on each ActivityPub base model class. Each definition maps JSON-LD to a hash that is used to instantiate the class. Class methods defined on a base class are available on subclasses, as well. Calling the method on the subclass results in a copy of the method. This change reduces the executable size by ~5.8%.map
into helper. (+104 -88) map
method does not depend on class/instance state. This change ensures that the mapping code is not duplicated even if a subclass's map
method is accidentally again called. It looks like a lot of changes but this commit is mostly reorganization. It reduces executable size by ~0.4%.I'm off to optimize some queries now...
" }, "mediaType":"text/html", "attachment":[], "tag":[ {"type":"Hashtag","name":"#ktistec","href":"https://epiktistes.com/tags/ktistec"}, {"type":"Hashtag","name":"#crystallang","href":"https://epiktistes.com/tags/crystallang"} ], "url":["https://epiktistes.com/ktistec/performance/build-time-and-server-size-growth-4"], "type":"Note", "id":"https://epiktistes.com/objects/lIZ4a6gIalg" }