sbcl - آنلاین در ابر

برنامه:

نام

SBCL -- Steel Bank Common Lisp

شرح

SBCL یک پیاده سازی از ANSI Common Lisp است که دارای یک بومی با کارایی بالا است
کامپایلر، رشته های بومی در چندین پلتفرم، یک رابط سوکت، یک سطح منبع
دیباگر، پروفایل آماری و موارد دیگر.

این نرم افزار رایگان است، بیشتر در حوزه عمومی، اما با برخی از زیرسیستم های تحت سبک BSD
مجوزهایی که اجازه اصلاح و استفاده مجدد را تا زمانی که اعتبار داده می شود را می دهد. ارائه شده است "به عنوان
است"، بدون هیچ نوع ضمانتی.

برای اطلاعات بیشتر در مورد مسائل مربوط به مجوز، به فایل COPYING در توزیع مراجعه کنید. برای
اطلاعات بیشتر در مورد تاریخچه، فایل اعتباری در توزیع را ببینید.

دویدن SBCL

برای اجرای SBCL، عبارت "sbcl" را تایپ کنید. پس از راه اندازی پیام، یک اعلان ("*") ظاهر می شود. یک Lisp را وارد کنید
عبارت، و SBCL آن را می خواند و اجرا می کند، هر مقداری را که برگردانده می شود چاپ می کند، مقدار دیگری را به شما می دهد
اعلان کنید و منتظر ورودی بعدی خود باشید.

$ sbcl
...[پیام های راه اندازی حذف شد]...
* (+ 1 2 3)

6
* (خروج)

اکثر مردم دوست دارند SBCL را به عنوان یک فرآیند فرعی تحت Emacs اجرا کنند. حالت Emacs "Slime" فراهم می کند
بسیاری از ویژگی‌های راحت، مانند ویرایش خط فرمان، تکمیل برگه و انواع مختلف
جفت شدن بین فایل های منبع Common Lisp و زیرفرایند تعاملی SBCL.

برای اطلاعات در مورد ایجاد "قابل اجراهای اجرایی مستقل" با استفاده از SBCL، نگاه کنید به
SB-EXT:SAVE-LISP-AND-DIE در کتابچه راهنمای کاربر.

COMMAND LINE نحو

برای استفاده معمولی تعاملی، هیچ آرگومان خط فرمان نباید لازم باشد.

برای درک نحو خط فرمان SBCL، درک این نکته مفید است
سیستم از دو بخش تشکیل شده است: یک محیط زمان اجرا و سیستم Common Lisp آن
پشتیبانی می کند. برخی از آرگومان های خط فرمان در طول اولیه سازی پردازش می شوند
زمان اجرا، و برخی در طول اولیه سازی سیستم Lisp -- هر فرمان باقی مانده
آرگومان های خط به کد کاربر منتقل می شوند.

نحو کلی خط فرمان به صورت زیر است:

sbcl [زمان اجرا گزینه ها] --end-runtime-Options [سطح بالا گزینه ها] --end-toplevel-options
[کاربر گزینه ها]

هر دو گزینه --end-runtime-options و --end-toplevel-option اختیاری هستند و ممکن است حذف شوند.
آنها برای استفاده در موقعیت هایی در نظر گرفته شده اند که هر گزینه خط فرمان زیر کاربر است
کنترل (به عنوان مثال در فایل های دسته ای): با استفاده از آنها می توانید از گزینه های در نظر گرفته شده برای خود جلوگیری کنید
برنامه به طور تصادفی توسط SBCL پردازش می شود.

گزینه های زمان اجرا پشتیبانی شده هستند

--هسته
از فایل اصلی Lisp به جای پیش فرض استفاده کنید. (بخش FILES را ببینید
هسته استاندارد یا اسناد سیستم برای SB-EXT:SAVE-LISP-AND-DIE برای اطلاعات
در مورد نحوه ایجاد یک هسته سفارشی.) توجه داشته باشید که اگر فایل هسته Lisp ساخته شده توسط کاربر باشد
فایل اصلی، ممکن است سطح بالایی غیر استاندارد را اجرا کند که استاندارد را تشخیص ندهد
گزینه های سطح بالا

--دینامیک-فضا-اندازه
اندازه فضای پویا رزرو شده در هنگام راه اندازی به مگابایت. مقدار پیش فرض پلت فرم است
وابسته

-کنترل-پشته-اندازه
اندازه پشته کنترل برای هر رشته در مگابایت رزرو شده است. مقدار پیش فرض 2 است.

-- بدون اطلاع
از چاپ هر بنر یا پیام های اطلاعاتی دیگر در هنگام راه اندازی جلوگیری کنید. (این
نوشتن برنامه های Lisp را که به طور تمیز در خطوط لوله یونیکس کار می کنند آسان تر می کند. همچنین ببینید
گزینه های "--noprint" و "--disable-debugger").

--disable-ldb
دیباگر سطح پایین را غیرفعال کنید. فقط در صورتی موثر است که SBCL با LDB کامپایل شده باشد.

- باخت در برابر فساد
برخی از خطاهای خطرناک سطح پایین وجود دارد (به عنوان مثال، پشته کنترل تمام شده است،
خطای حافظه) که (یا کنترل کننده های آن) می تواند تصویر را خراب کند. به طور پیش فرض SBCL a را چاپ می کند
هشدار می دهد، سپس سعی می کند تا خطا را در Lisp ادامه دهد و مدیریت کند، اما همیشه اینطور نیست
کار و SBCL ممکن است خراب شود یا حتی آویزان شود. با این گزینه، پس از مواجهه با چنین
خطای SBCL ldb را فراخوانی می کند (در صورت وجود و فعال بودن) یا خارج می شود.

- متن
به عنوان یک گزینه زمان اجرا معادل --noinform --disable-ldb --lose-on-corruption
--end-runtime-options --script . توضیحات --script را به صورت a ببینید
گزینه سطح بالا در زیر

---merge-core-pages
هنگامی که پشتیبانی از پلتفرم وجود دارد، نکاتی مشابه به سیستم عامل ارائه دهید
صفحات ممکن است بین فرآیندها به اشتراک گذاشته شوند تا زمانی که روی آنها نوشته شود. این می تواند مفید باشد
کاهش استفاده از حافظه در سیستم هایی با چندین فرآیند SBCL که از مشابه شروع شده اند
اما فایل های هسته ای با نام های متفاوت یا از هسته های فشرده. بدون پشتیبانی پلتفرم،
هیچ کاری نکن

--no-merge-core-pages
اطمینان حاصل می کند که هیچ راهنمایی اشتراک گذاری به سیستم عامل ارائه نمی شود.

--پیش فرض-merge-core-pages
خط مشی اشتراک گذاری راهنمایی را به حالت پیش فرض برمی گرداند: فقط هسته های فشرده باعث راه اندازی اشاره می شوند.
هسته های فشرده نشده مستقیماً از فایل هسته نقشه برداری می شوند که معمولاً کافی است
اطمینان از اشتراک گذاری

--کمک
برخی از اطلاعات اولیه در مورد SBCL را چاپ کنید، سپس خارج شوید.

- نسخه
اطلاعات نسخه SBCL را چاپ کنید، سپس خارج شوید.

در آینده، گزینه‌های زمان اجرا ممکن است به رفتار کنترلی مانند تخصیص تنبل اضافه شوند
حافظه است.

گزینه های زمان اجرا، از جمله هر گزینه --end-runtime-options، از آن حذف می شوند
خط فرمان قبل از اینکه منطق سطح بالای Lisp فرصتی برای دیدن آن پیدا کند.

گزینه های سطح بالای پشتیبانی شده توسط هسته استاندارد SBCL هستند

--سیسینیت
نام فایل را به جای فایل اولیه سازی پیش فرض در سراسر سیستم بارگیری کنید. (به فایل ها مراجعه کنید
بخش.)

-- بدون سیسینیت
فایل اولیه سازی در سراسر سیستم را بارگیری نکنید. اگر این گزینه داده شود، --sysinit
گزینه نادیده گرفته می شود

--userinit
نام فایل را به جای فایل اولیه سازی پیش فرض کاربر بارگیری کنید. (به بخش FILES مراجعه کنید.)

--بدون کاربر
فایل اولیه سازی کاربر را بارگیری نکنید. اگر این گزینه داده شد، گزینه --userinit
نادیده گرفته می شود

-- ارزشیابی
پس از اجرای هر فایل مقداردهی اولیه، اما قبل از شروع حلقه read-eval-print
در ورودی استاندارد، دستور داده شده را بخوانید و ارزیابی کنید. بیش از یک گزینه --eval می تواند
استفاده شود، و همه به ترتیبی که در دستور ظاهر می شوند خوانده و اجرا می شوند
خط.

--بار
این معادل --eval '(load" است ")'. نحو خاص در نظر گرفته شده است
کاهش سردرد نقل قول هنگام فراخوانی SBCL از اسکریپت های پوسته.

-- بدون چاپ
زمانی که به طور معمول "حلقه خواندن-ایوال-چاپ" سطح بالا اجرا می شود، یک "خواندن-" را اجرا کنید.
در عوض، به عنوان مثال درخواستی را چاپ نکنید و نتایج را تکرار نکنید. همراه با
گزینه --noinform runtime، این کار نوشتن "اسکریپت" های Lisp را آسان تر می کند
تمیز در خطوط لوله یونیکس.

- غیرفعال کردن اشکال زدایی
به‌طور پیش‌فرض وقتی SBCL با خطا مواجه می‌شود، وارد دیباگر داخلی می‌شود و اجازه می‌دهد
تشخیص تعاملی و شفاعت احتمالی این گزینه دیباگر را غیرفعال می کند،
ایجاد خطا در چاپ بک تریس و خروج با وضعیت 1 به جای آن -- که یک حالت است
عملکرد برای پردازش دسته ای مناسب تر است. راهنمای کاربر را ببینید
SB-EXT: DISABLE-DEBUGGER برای جزئیات بیشتر.

--ترک کردن
در پایان پردازش گزینه های سطح بالا، با کد موفقیت آمیز صفر از SBCL خارج شوید.
توجه داشته باشید که اثر این گزینه تا بعد از گزینه های سطح بالا به تعویق افتاده است
این یکی.

--غیر تعاملی
این گزینه حلقه read-eval-print را برای موارد استثنایی و غیر استثنایی غیرفعال می کند
دلایل مخفف --disable-debugger و --quit به صورت ترکیبی است و مفید است
برای استفاده های دسته ای که در آن پردازش گزینه ویژه ای که توسط --اسکریپت دلالت دارد مورد نظر نیست.

- متن
دلالت بر --no-sysinit --no-userinit --disable-debugger --end-toplevel-options دارد.

باعث می شود که سیستم فایل مشخص شده را بارگیری کند و بلافاصله پس از آن خارج شود
ورود به حلقه خواندن-ارزیابی-چاپ. اگر فایل با یک خط shebang شروع شود، اینطور است
نادیده گرفته شد

صرف نظر از ترتیب ظاهر شدن گزینه های سطح بالا در خط فرمان، ترتیب
اقدامات عبارتند از:

1. در صورت درخواست، دیباگر غیرفعال است.

2. هر فایل اولیه سازی سیستم بارگذاری می شود، مگر اینکه ممنوع باشد.

3. هر فایل اولیه سازی کاربر بارگذاری می شود، مگر اینکه ممنوع باشد.

4. گزینه های --eval و --load به ترتیب داده شده پردازش می شوند.

در نهایت یا حلقه read-eval-print وارد می شود یا فایلی که با --script مشخص می شود
گزینه بارگذاری شده است

هنگام اجرا در حلقه read-eval-print، سیستم در انتهای فایل خارج می شود. به طور مشابه،
سیستم بلافاصله پس از پردازش فایل مشخص شده با --script خارج می شود.

توجه داشته باشید که هنگام اجرای SBCL با گزینه --core، با استفاده از فایل اصلی ایجاد شده توسط کاربر
با SB-EXT:SAVE-LISP-AND-DIE تماس بگیرید، گزینه های سطح بالا ممکن است تحت کنترل باشند
کد کاربر به عنوان آرگومان به SB-EXT:SAVE-LISP-AND-DIE ارسال شد. برای این منظور،
گزینه --end-toplevel-options خود را می توان یک گزینه سطح بالا در نظر گرفت، به عنوان مثال کاربر
core، در اختیار خود، ممکن است از آن پشتیبانی نکند.

در دنباله راه اندازی استاندارد SBCL (به عنوان مثال بدون هیچ هسته کاربر) گزینه های سطح بالا
و هر گزینه --end-toplevel-options از لیست آرگومان خط فرمان حذف می شود
قبل از اینکه کد کاربر فرصتی برای دیدن آن پیدا کند.

بررسی اجمالی

SBCL از CMU CL مشتق شده است. (این نام برای تأیید اتصال در نظر گرفته شده است:
فولاد و بانکداری صنایعی هستند که کارنگی و ملون در آنها درآمدهای کلانی به دست آوردند.)

SBCL به طور پیش‌فرض کامپایل می‌شود: حتی توابع وارد شده در حلقه read-eval-print نیز کامپایل می‌شوند.
به کد بومی، مگر اینکه ارزیاب به صراحت روشن شده باشد. (حتی امروز حدود 30
سال‌ها پس از کامپایلر MacLisp، مردم به شما خواهند گفت که Lisp یک تفسیر است
زبان آنها را نادیده بگیر.)

هدف SBCL است اما به طور کامل مطابق با استاندارد ANSI برای Common به دست نیامده است
لیسپ اطلاعات بیشتر در مورد این در بخش BUGS در زیر موجود است.

SBCL همچنین شامل پسوندهای مختلف غیر ANSI است که به طور کامل در راهنمای کاربر توضیح داده شده است.
برخی از این ها در سیستم پایه هستند و برخی دیگر ماژول های "مشارکت" هستند که بنا به درخواست بارگیری می شوند
با استفاده از REQUIRE. به عنوان مثال، برای بارگذاری ماژول SB-BSD-SOCKETS که TCP/IP را ارائه می دهد
اتصال ،
* (نیاز به asdf)
* (نیاز به 'sb-bsd-sockets)

برای اطلاعات بیشتر، راهنمای کاربر را ببینید.

L' کامپایلر

SBCL از CMU CL کامپایلر کد بومی Python را به ارث می برد. (اگرچه ما اغلب از آن اجتناب می کنیم
برای جلوگیری از سردرگمی با زبان برنامه نویسی که پایتون نیز نامیده می شود، نام ببرید.) این
کامپایلر در درک نوع سیستم Common Lisp و استفاده از آن بسیار باهوش است
کد را بهینه کنید و در مورد تولید یادداشت ها به کاربر اطلاع دهید که کامپایلر این کار را نمی کند
اطلاعات نوع کافی برای تولید کد کارآمد داشته باشد. همچنین تلاش می کند (تقریبا همیشه
با موفقیت) از این اصل غیر معمول اما بسیار مفید پیروی کنید که "اعلامیه ها هستند
ادعاها" به عنوان مثال اعلان های نوع باید در زمان اجرا بررسی شوند مگر اینکه کاربر
به صراحت به سیستم می گوید که سرعت مهمتر از ایمنی است.

کد کامپایل شده از جمع آوری زباله برای مدیریت خودکار حافظه استفاده می کند. آشغال
اجرای کلکتور از CPU به CPU به طور قابل توجهی متفاوت است. به ویژه، در برخی از CPU ها
GC تقریباً دقیق است، در حالی که در برخی دیگر محافظه کارانه تر است، و در برخی از CPU ها GC
نسلی، در حالی که در برخی دیگر از استراتژی های توقف و کپی ساده تر استفاده می شود.

برای اطلاعات بیشتر در مورد کامپایلر، به راهنمای کاربر مراجعه کنید.

SYSTEM الزامات

SBCL در حال حاضر بر روی X86 (Linux، FreeBSD، OpenBSD، و NetBSD)، X86-64 (Linux)، آلفا اجرا می شود.
(Linux، Tru64)، PPC (Linux، Darwin/MacOS X)، SPARC (Linux و Solaris 2.x) و MIPS
(لینوکس). برای کسب اطلاعات در مورد سایر پورت های در حال انجام و احتمالی، به ایمیل sbcl-devel مراجعه کنید
لیست و/یا وب سایت

SBCL برای اجرا در سیستم های X16 به 86 مگابایت RAM نیاز دارد، البته همه آنها به جز کوچکترین
برنامه ها با 32 مگابایت یا بیشتر خوشحال تر خواهند بود.

شناخته شده اشکالات

در این بخش تلاش می‌شود تا جدی‌ترین و قدیمی‌ترین باگ‌ها را فهرست کند. برای جزئیات بیشتر
و اطلاعات فعلی در مورد اشکالات، فایل BUGS را در توزیع ببینید.

ممکن است با خسته کردن حافظه پشته در دردسر عمیقی قرار بگیرید. سیستم SBCL
حافظه را در هنگام راه‌اندازی بیش از حد متعهد می‌کند، بنابراین، در مشابه‌های معمولی یونیکس مانند لینوکس و FreeBSD، این کار را انجام می‌دهد
به این معنی که اگر معلوم شود که سیستم SBCL از حافظه مجازی بیشتری نسبت به سیستم استفاده می کند
در دسترس برای آن، فرآیندهای دیگر تمایل دارند به طور تصادفی کشته شوند (!).

مدیریت کامپایلر با مقادیر بازگشتی تابع، به طور غیر ضروری "اعلامیه ها" را نقض می کند
اصولی هستند که در غیر این صورت به آن پایبند است
نوع برگشتی یک تابع را مشخص کنید که باعث می شود کامپایلر بدون بررسی شما را باور کند.
بنابراین کامپایل یک فایل حاوی
(عدم ادعا (FTYPE (FUNCTION (T) NULL) گاهی اوقات))
(بعضی اوقات (X) (ODDP X))
(DEFUN FOO (X) (اگر (گاهی X) 'THIS-TIME' NOT-THIS-TIME))
سپس اجرای (FOO 1) NOT-THIS-TIME را نشان می دهد، زیرا کامپایلر به حقیقت
بدون بررسی آن را رد کنید.

برخی موارد بسیار ناکارآمد اجرا می شوند.

-- آرایه های چند بعدی ناکارآمد هستند، به خصوص آرایه های چند بعدی شناور
اعداد نقطه

- SBCL، مانند بسیاری از (شاید همه؟) پیاده سازی های Common Lisp روی سخت افزار سهام، دارد
مشکل در عبور کارآمد اعداد ممیز شناور، زیرا یک ممیز شناور است
عدد، به اضافه چند بیت اضافی برای شناسایی نوع آن، بزرگتر از یک کلمه ماشینی است.
(بنابراین، آنها در فضای ذخیره سازی تخصیص داده شده در جعبه قرار می گیرند و باعث سربار GC می شوند).
واحد کامپایل واحد، یا هنگام انجام عملیات داخلی مانند SQRT و AREF، یا برخی از آنها
عملیات ویژه مانند دسترسی به اسلات ساختاری، این قابل اجتناب است: به دفترچه راهنمای کاربر مراجعه کنید
برای برخی نکات کارایی اما برای فراخوانی تابع عمومی در سراسر مرزهای
واحدهای کامپایل، انتقال نتیجه یک محاسبه ممیز شناور به عنوان یک تابع
آرگومان (یا برگرداندن نتیجه ممیز شناور به عنوان مقدار تابع) اساساً یک است
عملکرد کند

گزارش نویسی اشکالات

برای گزارش یک اشکال، لطفاً نامه ای را به لیست های پستی sbcl-help یا sbcl-devel ارسال کنید. تو می توانی
آدرس های کامل لیست پستی را در صفحات وب در آدرس پیدا کنید
<http://sbcl.sourceforge.net/> توجه داشته باشید که به عنوان یک اقدام کاهش هرزنامه باید مشترک شوید
قبل از اینکه بتوانید پست کنید، به لیست ها مراجعه کنید. (همچنین ممکن است ردیابی باگ فانتزی SourceForge را پیدا کنید
ماشین آلات وجود دارد، اما فریب نخورید. به هر حال، از 2002/07/25، ما به طور فعال نظارت نمی کنیم
آن ماشین‌آلات، و فقط به این دلیل وجود دارد که ما نتوانسته‌ایم بفهمیم چگونه بچرخیم
آن را خاموش کنید.)

مانند هر گزارش باگ نرم افزاری، اگر بتوانید اطلاعات کافی ارائه دهید، بسیار مفید است
برای بازتولید علائم به طور قابل اعتماد، و اگر به وضوح بگویید علائم چیست. برای
به عنوان مثال، "به نظر می رسد مشکلی در TAN استدلال های منفی بسیار کوچک وجود دارد.
وقتی (TAN LEAST-NEGATIVE-SINGLE-FLOAT) را به صورت تعاملی روی sbcl-1.2.3 در لینوکس خود اجرا می کنم
جعبه X4.5 86، من یک خطای UNBOUND-VARIABLE دریافت می کنم."

تفاوت از CMU CL

SBCL را می توان از ابتدا با استفاده از سیستم ANSI Common Lisp وانیلی ساده و C ساخت
کامپایلر، و تمام خصوصیات آن توسط نسخه کد منبع مشخص شده است
از ایجاد شده است. این قابلیت بوت استرپ تمیز، انگیزه فوری برای فورک کردن بود
خارج از درخت توسعه CMU CL. انواع تفاوت های پیاده سازی انگیزه دارند
با این هدف طراحی

کار تعمیر و نگهداری در SBCL از آنجایی که چنگال تا حدودی از کار تعمیر و نگهداری در آن جدا شده است
CMU CL. بسیاری از رفع اشکال و بهبودها، اما نه همه، بین این دو به اشتراک گذاشته شده است
پروژه ها، و گاهی اوقات این دو پروژه در مورد اینکه چه چیزی می تواند بهبود یابد، اختلاف نظر دارند.

اکثر برنامه های افزودنی پشتیبانی شده توسط CMU CL از SBCL جدا شده اند، از جمله Motif
پشتیبانی، ویرایشگر Hemlock، مسیرهای جستجو، پروتکل WIRE، ماکروهای مختلف در سطح کاربر
و توابع (به عنوان مثال LETF، ITERATE، MEMQ، REQUIRED-ARGUMENT)، و بسیاری دیگر.

(چرا SBCL افزونه های بیشتری را به صورت بومی پشتیبانی نمی کند؟ چرا همه آن افزونه های خوب را حذف کنید
از CMU CL زمانی که کد از قبل وجود داشته باشد؟ این یک سوال متداول در مورد است
لیست پستی دو دلیل اصلی وجود دارد. اول، این یک موضوع فلسفه طراحی است:
مسلما SBCL کار خود را با ارائه یک FFI پایدار انجام داده است و تصمیم طراحی درست است
برای انتقال عملکرد به دست آمده از آن، مانند پشتیبانی سوکت، به کتابخانه های جداگانه.
برخی از این ها با SBCL به عنوان ماژول های "مشارکت" توزیع می شوند، برخی دیگر به عنوان توزیع می شوند
بسته های نرم افزاری جداگانه توسط نگهدارنده های جداگانه. دوم، این یک تصمیم عملی است -
ما امیدواریم که با تمرکز روی تعداد کمتری از چیزها، کار بهتری روی آنها انجام دهیم.)

پشتیبانی

اطلاعات مختلف در مورد SBCL در دسترس استhttp://www.sbcl.org/> لیست های پستی
مکان توصیه شده برای جستجوی پشتیبانی وجود دارد.

AUTHORS

ده ها نفر به SBCL و زیرسیستم های آن کمک های قابل توجهی کرده اند
سیستم CMU CL که در طول سالیان بر آن مبتنی بود. فایل اعتباری را در
توزیع برای اطلاعات بیشتر

محیط زیست

SBCL_HOME این متغیر مکان فایل هایی مانند "sbclrc"، "sbcl.core" و افزونه را کنترل می کند
سیستم های "مشارکت" جستجو می شوند. اگر تنظیم نشده باشد، sbcl آن را از a تنظیم می کند
مکان پیش‌فرض زمان کامپایل که معمولاً /usr/local/lib/sbcl/ است اما ممکن است داشته باشد
تغییر کرده است به عنوان مثال توسط یک بسته بندی شخص ثالث

با استفاده از خدمات onworks.net از sbcl به صورت آنلاین استفاده کنید