Proponowane rozwiązania zadań

1. Wzór na maksymalną liczbę operacji łączenia bloków prezentuje się następująco:

   liczba operacji = min(MAX_ORDER, MEM_SIZE) - k
   Największy spójny blok pamięci może mieć rozmiar $2^{min(\texttt{MAX\_ORDER}, \texttt{MEM\_SIZE})}$, rozmiar zwalnianego bloku to $2^k$, przy każdym złączeniu rozmiar bloku zwiększa się dwukrotnie tak więc, aby osiągnść maksymalny rozmiar potrzebuje liczba operacji łączeń.

2. Standardowy algorytm bliźniaków z reguły działa lepiej aniżeli wersja z szukaniem wolnych obszarów od największych "w dół". Istnieją jednak scenariusze kiedy proponowana wersja wypada lepiej. Początkowa stan pamięci :
   
   Do systemu zgłaszają się 3 procesy. Oto ich żądania dotyczące pamięci : p1, p2, p3 żądają po 4j. pamięci, następnie procesy p1 i p2 oddają zaalokowaną pamięć. W ostatecznym kroku proces p1 żąda 8j. pamięci.
   • stan pamięci, gdy wykorzystywano przeszukiwanie bloków "w dół" (niestandardowo)
     
   • używamy standardowego algorytmu bliźniaków. System nie może zraelizować ostaniego żądania - nie ma spójnego bloku tej wielkości, który można zaalokować. Pamięć wygląda tak :
     
     Wprawdzie w pamięci jest spójny blok wielkości 8, ale nie możemy zaalokować jednym zamówieniem.
   Konsekwencje stosowania 2. rozwiązania : szybko może dojść do dużej fragmentacji pamięci, będzie bardzo ciężko znaleźć większy spójny blok.